c ind 2 3 4 5 6 7 8 9 0
c ind 10 11 12 13 14 15 16 17 18 19 0
c ind 20 21 22 23 24 25 26 27 28 0
p cnf 715 2181
71 0
145 0
-416 0
421 0
-470 0
483 0
-420 0
545 0
541 0
138 0
538 0
-488 0
-542 0
-543 0
-544 0
136 0
137 0
144 0
-415 0
-419 0
-537 0
-539 0
-540 0
-107 0
-108 0
-109 0
-110 0
-111 0
-112 0
-113 0
-114 0
-115 0
-116 0
-117 0
-118 0
-119 0
-120 0
-121 0
-122 0
-123 0
-124 0
-125 0
-126 0
-127 0
-128 0
-129 0
-130 0
-131 0
715 0
334 0
242 0
333 0
486 0
-487 0
-490 0
-492 0
-493 0
-495 0
-496 0
-499 0
-502 0
-513 0
-515 0
-516 0
-518 0
-519 0
-522 0
-525 0
-536 0
-494 0
-497 0
-517 0
-520 0
-504 0
-527 0
-147 0
-336 0
-339 0
-428 0
-710 0
-711 0
-399 0
-414 0
-395 0
-406 0
-456 0
-468 0
-481 0
714 0
-398 0
-409 0
-413 0
426 0
712 0
423 0
425 0
713 0
511 0
135 0
-6 -72 0
-5 -72 0
72 5 6 0
-6 -73 0
-73 5 0
-5 73 6 0
-74 6 0
-5 -74 0
-6 5 74 0
-75 6 0
-75 5 0
-5 -6 75 0
72 -76 0
-4 -76 0
76 -72 4 0
72 -77 0
-77 4 0
-4 -72 77 0
-78 73 0
-4 -78 0
-73 78 4 0
-79 73 0
-79 4 0
-4 -73 79 0
-80 74 0
-4 -80 0
-74 80 4 0
-81 74 0
-81 4 0
-4 -74 81 0
-82 75 0
-4 -82 0
-75 82 4 0
-83 75 0
-83 4 0
-4 -75 83 0
76 -84 0
-84 -3 0
3 -76 84 0
76 -85 0
3 -85 0
85 -3 -76 0
-86 77 0
-86 -3 0
-77 86 3 0
-87 77 0
-87 3 0
-77 87 -3 0
-88 78 0
-88 -3 0
-78 3 88 0
-89 78 0
-89 3 0
-78 -3 89 0
-90 79 0
-90 -3 0
-79 3 90 0
-91 79 0
-91 3 0
-79 -3 91 0
-92 80 0
-92 -3 0
-80 3 92 0
-93 80 0
-93 3 0
-80 -3 93 0
-94 81 0
-94 -3 0
-81 3 94 0
-95 81 0
-95 3 0
-81 -3 95 0
-96 82 0
-96 -3 0
-82 3 96 0
-97 82 0
-97 3 0
-82 -3 97 0
-98 83 0
-98 -3 0
-83 3 98 0
-99 83 0
-99 3 0
-83 -3 99 0
-100 84 0
-100 -2 0
-84 100 2 0
-101 84 0
-101 2 0
-2 -84 101 0
85 -102 0
-2 -102 0
102 -85 2 0
-103 85 0
-103 2 0
-2 -85 103 0
-104 86 0
-104 -2 0
-86 104 2 0
-105 86 0
-105 2 0
-2 105 -86 0
-106 87 0
-106 -2 0
-87 106 2 0
-87 -2 107 0
-88 2 108 0
-88 -2 109 0
-89 2 110 0
-89 -2 111 0
-90 2 112 0
-90 -2 113 0
-91 2 114 0
-91 -2 115 0
-92 2 116 0
-92 -2 117 0
-93 2 118 0
-93 -2 119 0
-94 2 120 0
-94 -2 121 0
-95 2 122 0
-95 -2 123 0
-96 2 124 0
-96 -2 125 0
-97 2 126 0
-97 -2 127 0
-98 2 128 0
-98 -2 129 0
-99 2 130 0
-99 -2 131 0
-100 132 0
-101 132 0
-132 100 101 0
-132 133 0
133 -102 0
102 -133 132 0
134 -133 0
-103 134 0
133 -134 103 0
135 -134 0
-104 135 0
134 104 -135 0
135 105 -136 0
102 100 103 -137 0
-139 -8 0
-139 -7 0
8 7 139 0
-140 -8 0
-140 7 0
-7 8 140 0
8 -141 0
-7 -141 0
141 7 -8 0
-142 8 0
-142 7 0
-7 -8 142 0
-139 143 0
-140 143 0
-143 139 140 0
141 143 -144 0
-140 -146 0
-139 -146 0
146 139 140 0
-147 140 0
-139 -147 0
-140 139 147 0
148 -146 0
-139 148 0
146 -148 139 0
-147 -148 0
-149 139 0
-149 148 0
-139 -148 149 0
150 -146 0
-149 150 0
146 -150 149 0
150 -146 0
-149 150 0
150 -151 -148 0
148 -151 149 0
150 -151 149 0
151 -149 -150 0
-149 148 151 0
151 -150 -148 0
-18 -152 0
-152 -17 0
17 152 18 0
-18 -153 0
17 -153 0
153 -17 18 0
-154 18 0
-154 -17 0
-18 154 17 0
-155 18 0
-155 17 0
-18 -17 155 0
-156 152 0
-16 -156 0
-152 156 16 0
-157 152 0
-157 16 0
-16 -152 157 0
153 -158 0
-16 -158 0
158 -153 16 0
-159 153 0
-159 16 0
-16 -153 159 0
-160 154 0
-160 -16 0
-154 160 16 0
-161 154 0
-161 16 0
-154 -16 161 0
-162 155 0
-162 -16 0
-155 162 16 0
-163 155 0
-163 16 0
-16 -155 163 0
-164 156 0
-164 -15 0
15 -156 164 0
-165 156 0
15 -165 0
-156 -15 165 0
-166 157 0
-166 -15 0
-157 166 15 0
-167 157 0
-167 15 0
-157 167 -15 0
-168 158 0
-168 -15 0
15 168 -158 0
158 -169 0
15 -169 0
169 -15 -158 0
-170 159 0
-170 -15 0
-159 170 15 0
-171 159 0
-171 15 0
-159 -15 171 0
-172 160 0
-172 -15 0
-160 172 15 0
-173 160 0
-173 15 0
-160 -15 173 0
-174 161 0
-174 -15 0
-161 174 15 0
-175 161 0
-175 15 0
-161 -15 175 0
-176 162 0
-176 -15 0
-162 176 15 0
-177 162 0
-177 15 0
-162 -15 177 0
-178 163 0
-178 -15 0
-163 178 15 0
-179 163 0
-179 15 0
-163 -15 179 0
-180 164 0
-180 -14 0
-164 14 180 0
-181 164 0
-181 14 0
-14 -164 181 0
-182 165 0
-182 -14 0
-165 14 182 0
-183 165 0
-183 14 0
-14 -165 183 0
-184 166 0
-184 -14 0
-166 14 184 0
-185 166 0
-185 14 0
-166 -14 185 0
-186 167 0
-186 -14 0
-167 14 186 0
-187 167 0
-187 14 0
-167 187 -14 0
-188 168 0
-188 -14 0
-168 188 14 0
-189 168 0
-189 14 0
-168 -14 189 0
169 -190 0
-14 -190 0
190 -169 14 0
-191 169 0
-191 14 0
-14 -169 191 0
-192 170 0
-192 -14 0
-170 14 192 0
-193 170 0
-193 14 0
-170 -14 193 0
-194 171 0
-194 -14 0
-171 14 194 0
-195 171 0
-195 14 0
-171 -14 195 0
-196 172 0
-196 -14 0
-172 14 196 0
-197 172 0
-197 14 0
-172 -14 197 0
-198 173 0
-198 -14 0
-173 14 198 0
-199 173 0
-199 14 0
-173 -14 199 0
-200 174 0
-200 -14 0
-174 14 200 0
-201 174 0
-201 14 0
-174 -14 201 0
-202 175 0
-202 -14 0
-175 14 202 0
-203 175 0
-203 14 0
-175 -14 203 0
-204 176 0
-204 -14 0
-176 14 204 0
-205 176 0
-205 14 0
-176 -14 205 0
-206 177 0
-206 -14 0
-177 14 206 0
-207 177 0
-207 14 0
-177 -14 207 0
-208 178 0
-208 -14 0
-178 14 208 0
-209 178 0
-209 14 0
-178 -14 209 0
-210 179 0
-210 -14 0
-179 14 210 0
-211 179 0
-211 14 0
-179 -14 211 0
-180 212 0
-181 212 0
-212 181 180 0
-212 213 0
-182 213 0
-213 212 182 0
-213 214 0
-183 214 0
-214 183 213 0
-214 215 0
-184 215 0
-215 214 184 0
-215 216 0
-185 216 0
-216 215 185 0
-216 217 0
-186 217 0
-217 186 216 0
-188 -217 0
-189 -217 0
-217 -190 0
-191 -217 0
-192 -217 0
-193 -217 0
-194 -217 0
-195 -217 0
-196 -217 0
-197 -217 0
-198 -217 0
-199 -217 0
-200 -217 0
-201 -217 0
-202 -217 0
-203 -217 0
-204 -217 0
-205 -217 0
-206 -217 0
-207 -217 0
-208 -217 0
-209 -217 0
-210 -217 0
-211 -217 0
-20 -218 0
-19 -218 0
218 19 20 0
-20 -219 0
-219 19 0
-19 219 20 0
-220 20 0
-220 -19 0
-20 19 220 0
-221 20 0
-221 19 0
-20 -19 221 0
-219 -218 0
-220 -218 0
-221 -218 0
-222 -22 0
-21 -222 0
22 21 222 0
-223 -22 0
-223 21 0
-21 22 223 0
22 -224 0
-21 -224 0
224 21 -22 0
22 -225 0
-225 21 0
-21 225 -22 0
-226 -24 0
-23 -226 0
24 23 226 0
-227 -24 0
-227 23 0
-23 24 227 0
24 -228 0
-23 -228 0
228 23 -24 0
-229 24 0
-229 23 0
-23 229 -24 0
-26 -230 0
-230 -25 0
25 26 230 0
-26 -231 0
25 -231 0
231 -25 26 0
-232 26 0
-232 -25 0
-26 25 232 0
-233 26 0
-233 25 0
-26 -25 233 0
-230 -231 0
-232 -230 0
-233 -230 0
-234 -28 0
-234 -27 0
27 28 234 0
-28 -235 0
27 -235 0
235 28 -27 0
-236 28 0
-236 -27 0
-28 27 236 0
-237 28 0
-237 27 0
-28 237 -27 0
-234 -235 0
-234 -236 0
-237 -234 0
-238 -230 0
-238 183 0
-183 230 238 0
-239 234 0
-239 184 0
-184 -234 239 0
-240 218 0
-240 186 0
-186 -218 240 0
-180 241 0
-182 241 0
-238 241 0
-239 241 0
-185 241 0
-240 241 0
-241 185 180 238 182 240 239 0
-217 241 -242 0
218 217 -242 0
218 241 -242 0
-243 -13 0
-243 -12 0
12 13 243 0
-13 -244 0
12 -244 0
244 13 -12 0
-245 13 0
-245 -12 0
-13 245 12 0
-246 13 0
-246 12 0
-13 -12 246 0
-247 243 0
-11 -247 0
-243 11 247 0
-248 243 0
-248 11 0
-11 -243 248 0
244 -249 0
-11 -249 0
249 11 -244 0
-250 244 0
-250 11 0
-11 250 -244 0
-251 245 0
-11 -251 0
-245 11 251 0
-252 245 0
-252 11 0
-11 -245 252 0
-253 246 0
-253 -11 0
-246 253 11 0
-254 246 0
-254 11 0
-246 -11 254 0
-255 247 0
-10 -255 0
-247 10 255 0
-256 247 0
-256 10 0
-10 -247 256 0
-257 248 0
-10 -257 0
-248 10 257 0
-258 248 0
-258 10 0
-10 -248 258 0
249 -259 0
-10 -259 0
259 10 -249 0
-260 249 0
-260 10 0
-10 260 -249 0
-261 250 0
-10 -261 0
-250 261 10 0
-262 250 0
-262 10 0
-10 -250 262 0
-263 251 0
-10 -263 0
-251 10 263 0
-264 251 0
-264 10 0
-10 -251 264 0
-265 252 0
-10 -265 0
-252 265 10 0
-266 252 0
-266 10 0
-10 -252 266 0
-267 253 0
-10 -267 0
-253 267 10 0
-268 253 0
-268 10 0
-10 -253 268 0
-269 254 0
-10 -269 0
-254 269 10 0
-270 254 0
-270 10 0
-10 -254 270 0
-271 255 0
-271 -9 0
-255 9 271 0
-272 255 0
-272 9 0
-9 -255 272 0
-273 256 0
-273 -9 0
-256 9 273 0
-274 256 0
-274 9 0
-256 -9 274 0
-275 257 0
-9 -275 0
-257 9 275 0
-276 257 0
-276 9 0
-257 -9 276 0
-277 258 0
-277 -9 0
-258 9 277 0
-278 258 0
-278 9 0
-258 278 -9 0
259 -279 0
-9 -279 0
279 -259 9 0
-280 259 0
-280 9 0
-9 -259 280 0
-281 260 0
-281 -9 0
-260 281 9 0
-282 260 0
-282 9 0
-260 -9 282 0
-283 261 0
-283 -9 0
-261 9 283 0
-284 261 0
-284 9 0
-261 -9 284 0
-285 262 0
-285 -9 0
-262 9 285 0
-286 262 0
-286 9 0
-262 -9 286 0
-287 263 0
-9 -287 0
-263 287 9 0
-288 263 0
-288 9 0
-9 -263 288 0
-289 264 0
-289 -9 0
-264 289 9 0
-290 264 0
-290 9 0
-264 -9 290 0
-291 265 0
-291 -9 0
-265 9 291 0
-292 265 0
-292 9 0
-265 -9 292 0
-293 266 0
-293 -9 0
-266 9 293 0
-294 266 0
-294 9 0
-266 -9 294 0
-295 267 0
-295 -9 0
-267 9 295 0
-296 267 0
-296 9 0
-267 -9 296 0
-297 268 0
-297 -9 0
-268 9 297 0
-298 268 0
-298 9 0
-268 -9 298 0
-299 269 0
-299 -9 0
-269 9 299 0
-300 269 0
-300 9 0
-269 -9 300 0
-301 270 0
-301 -9 0
-270 9 301 0
-302 270 0
-302 9 0
-270 -9 302 0
-271 303 0
-272 303 0
-303 272 271 0
-303 304 0
-273 304 0
-304 303 273 0
-304 305 0
-274 305 0
-305 304 274 0
-305 306 0
-275 306 0
-306 305 275 0
-306 307 0
-276 307 0
-307 306 276 0
-307 308 0
-277 308 0
-308 277 307 0
-308 -279 0
-280 -308 0
-281 -308 0
-282 -308 0
-283 -308 0
-284 -308 0
-285 -308 0
-286 -308 0
-308 -287 0
-288 -308 0
-289 -308 0
-290 -308 0
-291 -308 0
-292 -308 0
-293 -308 0
-294 -308 0
-295 -308 0
-296 -308 0
-297 -308 0
-298 -308 0
-299 -308 0
-300 -308 0
-301 -308 0
-302 -308 0
-30 -309 0
-29 -309 0
309 29 30 0
-310 -30 0
-310 29 0
-29 310 30 0
-311 30 0
-29 -311 0
-30 311 29 0
-312 30 0
-312 29 0
-29 -30 312 0
-310 -309 0
-311 -309 0
-312 -309 0
-32 -313 0
-31 -313 0
313 31 32 0
-314 -32 0
-314 31 0
-31 32 314 0
-315 32 0
-31 -315 0
-32 315 31 0
-316 32 0
-316 31 0
-31 -32 316 0
-317 -34 0
-317 -33 0
34 317 33 0
-318 -34 0
-318 33 0
-33 34 318 0
34 -319 0
-33 -319 0
319 -34 33 0
-320 34 0
-320 33 0
-33 -34 320 0
-36 -321 0
-321 -35 0
35 36 321 0
-36 -322 0
35 -322 0
322 36 -35 0
-323 36 0
-323 -35 0
-36 35 323 0
-324 36 0
-324 35 0
-36 324 -35 0
-321 -322 0
-323 -321 0
-324 -321 0
-38 -325 0
-325 -37 0
37 38 325 0
-38 -326 0
37 -326 0
326 -37 38 0
-327 38 0
-327 -37 0
-38 37 327 0
-328 38 0
-328 37 0
-38 -37 328 0
-325 -326 0
-327 -325 0
-328 -325 0
-329 -321 0
-329 274 0
-274 321 329 0
-330 325 0
-330 275 0
-275 -325 330 0
-331 309 0
-331 277 0
-277 -309 331 0
-271 332 0
-273 332 0
-329 332 0
-330 332 0
-276 332 0
-331 332 0
-332 329 331 271 273 276 330 0
-308 332 -333 0
309 308 -333 0
309 332 -333 0
-335 -151 0
151 335 -334 0
-336 335 0
-336 147 0
-335 -147 336 0
148 -146 0
-139 148 0
148 -337 139 0
148 -337 139 0
337 -139 -148 0
-139 148 337 0
337 -148 0
-338 -337 0
337 338 -334 0
-339 338 0
-339 147 0
-338 -147 339 0
-340 146 0
-340 -218 0
218 -146 340 0
-341 -218 0
-341 -219 0
218 341 219 0
-342 -146 0
-342 221 0
-221 342 146 0
-340 343 0
-342 343 0
-343 342 340 0
-221 343 0
-344 222 0
-344 -146 0
-222 146 344 0
-345 223 0
-345 -146 0
-223 146 345 0
-344 346 0
-345 346 0
-346 345 344 0
-225 -346 0
-347 226 0
-347 -146 0
146 -226 347 0
-348 227 0
-348 -146 0
-227 146 348 0
-347 349 0
-348 349 0
-349 347 348 0
-229 -349 0
146 -350 0
-230 -350 0
350 230 -146 0
-230 -351 0
-351 -231 0
231 351 230 0
-352 -146 0
-352 233 0
-233 146 352 0
353 -350 0
-352 353 0
350 -353 352 0
-233 353 0
-354 146 0
-354 234 0
-234 354 -146 0
-355 -146 0
-355 236 0
146 -236 355 0
-354 356 0
-355 356 0
-356 354 355 0
-356 -235 0
-237 -356 0
-357 346 0
-357 181 0
-346 -181 357 0
-358 -349 0
-358 182 0
-182 349 358 0
-359 353 0
-359 183 0
-183 -353 359 0
-360 356 0
-360 184 0
-356 -184 360 0
-361 146 0
-361 185 0
-185 -146 361 0
-343 -362 0
-362 186 0
-186 362 343 0
-180 363 0
-357 363 0
-358 363 0
-359 363 0
-360 363 0
-361 363 0
-362 363 0
-363 357 359 180 358 361 362 360 0
-217 363 -364 0
-343 -364 217 0
-343 -364 363 0
-363 364 343 0
364 343 217 0
-363 364 -217 0
-365 146 0
-365 -309 0
309 -146 365 0
-366 -309 0
-310 -366 0
309 366 310 0
-367 -146 0
-367 312 0
-312 367 146 0
-365 368 0
-367 368 0
-368 367 365 0
-312 368 0
-369 313 0
-369 -146 0
146 -313 369 0
-370 314 0
-370 -146 0
-314 146 370 0
-369 371 0
-370 371 0
-371 369 370 0
-316 -371 0
-372 317 0
-372 -146 0
-317 146 372 0
-373 318 0
-373 -146 0
146 -318 373 0
-372 374 0
-373 374 0
-374 372 373 0
-320 -374 0
146 -375 0
-321 -375 0
375 321 -146 0
-376 -321 0
-376 -322 0
322 376 321 0
-377 -146 0
-377 324 0
-324 146 377 0
378 -375 0
-377 378 0
375 -378 377 0
-324 378 0
-379 146 0
-379 325 0
-325 379 -146 0
-380 -146 0
-380 327 0
-327 146 380 0
-379 381 0
-380 381 0
-381 379 380 0
-381 -326 0
-328 -381 0
-382 371 0
-382 272 0
-272 -371 382 0
-383 -374 0
-383 273 0
-273 374 383 0
-384 378 0
-384 274 0
-274 -378 384 0
-385 381 0
-385 275 0
-381 -275 385 0
-386 146 0
-386 276 0
-276 -146 386 0
-387 -368 0
-387 277 0
-277 368 387 0
-271 388 0
-382 388 0
-383 388 0
-384 388 0
-385 388 0
-386 388 0
-387 388 0
-388 382 387 383 385 386 271 384 0
-308 388 -389 0
-368 -389 308 0
-368 -389 388 0
-388 389 368 0
389 368 308 0
-388 389 -308 0
364 -390 0
389 -390 0
390 -389 -364 0
-391 -146 0
-391 390 0
146 391 -390 0
-139 -146 0
-147 -146 0
-392 391 0
-392 -146 0
-391 392 146 0
-392 -393 0
-339 -393 0
393 392 339 0
-339 -392 -394 0
-394 392 339 0
-339 392 394 0
-392 394 339 0
-395 392 0
-395 339 0
-339 -392 395 0
393 -396 0
-336 -396 0
396 -393 336 0
-336 393 -397 0
-397 394 336 0
393 394 -397 0
-394 -393 397 0
-394 397 336 0
-336 -393 397 0
-336 394 -398 0
-398 395 336 0
-398 394 395 0
-395 -394 398 0
-395 398 336 0
-336 -394 398 0
-399 395 0
-399 336 0
-336 -395 399 0
-397 -396 0
-398 -397 0
-399 -397 0
400 392 0
400 -146 0
-392 -400 146 0
400 392 0
400 -146 0
337 -401 392 0
400 -401 -392 0
400 -401 337 0
401 -337 -400 0
-392 -400 401 0
401 -337 392 0
-402 -400 0
-402 392 0
400 402 -392 0
-403 -337 0
-392 -403 0
337 403 392 0
-339 401 -404 0
400 -404 339 0
400 -404 401 0
404 -401 -400 0
404 -400 339 0
-339 -401 404 0
-339 402 -405 0
-405 -400 339 0
-405 402 -400 0
-402 405 400 0
400 405 339 0
-339 -402 405 0
-406 403 0
-406 339 0
-339 -403 406 0
151 -407 -393 0
404 -407 393 0
404 -407 151 0
407 -404 -151 0
393 -404 407 0
407 -151 -393 0
-408 405 0
-408 -393 0
-405 408 393 0
-409 406 0
-409 -393 0
-406 393 409 0
-410 -151 0
393 -410 0
151 410 -393 0
-336 407 -411 0
404 -411 336 0
404 -411 407 0
411 -407 -404 0
411 -404 336 0
-336 -407 411 0
-336 408 -412 0
-412 405 336 0
-412 405 408 0
-408 412 -405 0
-405 412 336 0
-336 -408 412 0
-336 -413 409 0
-413 406 336 0
-413 406 409 0
-406 -409 413 0
-406 413 336 0
-336 -409 413 0
-414 410 0
-414 336 0
-336 -410 414 0
-412 -411 0
-413 -411 0
-414 -411 0
-397 -411 415 0
-413 417 0
417 -411 0
411 -417 413 0
-414 418 0
418 -417 0
417 -418 414 0
-412 -418 0
418 412 0
-397 -418 419 0
-180 422 0
-182 422 0
-238 422 0
-239 422 0
-240 422 0
-422 238 182 180 239 240 0
-217 422 -423 0
218 217 -423 0
218 422 -423 0
423 -218 -422 0
423 -218 217 0
423 -422 -217 0
-271 424 0
-273 424 0
-329 424 0
-330 424 0
-331 424 0
-424 329 331 330 271 273 0
-308 424 -425 0
309 308 -425 0
309 424 -425 0
-424 425 -309 0
425 -309 308 0
-424 -308 425 0
423 -426 0
425 -426 0
426 -425 -423 0
-427 -337 0
-427 426 0
337 427 -426 0
-428 427 0
-428 147 0
-427 -147 428 0
-429 -146 0
-429 426 0
146 429 -426 0
-430 429 0
-430 -146 0
-429 430 146 0
-222 431 0
-223 431 0
-431 223 222 0
-225 -431 0
-226 432 0
-227 432 0
-432 226 227 0
-229 -432 0
-236 -235 0
-237 -236 0
-433 431 0
-433 181 0
-181 -431 433 0
-434 -432 0
-434 182 0
-182 432 434 0
-435 233 0
-435 183 0
-233 -183 435 0
-436 236 0
-436 184 0
-184 -236 436 0
-221 -437 0
-437 186 0
-186 437 221 0
-180 438 0
-433 438 0
-434 438 0
-435 438 0
-436 438 0
-437 438 0
-438 433 434 180 437 435 436 0
-217 438 -439 0
-221 -439 217 0
-221 -439 438 0
-438 439 221 0
439 221 217 0
-438 439 -217 0
440 -313 0
-314 440 0
313 -440 314 0
-316 -440 0
-317 441 0
-318 441 0
-441 317 318 0
-320 -441 0
-327 -326 0
-327 -328 0
-442 440 0
-442 272 0
-272 442 -440 0
-443 -441 0
-443 273 0
-273 441 443 0
-444 324 0
-444 274 0
-324 -274 444 0
-445 327 0
-445 275 0
-327 -275 445 0
-446 -312 0
-446 277 0
-277 312 446 0
-271 447 0
-442 447 0
-443 447 0
-444 447 0
-445 447 0
-446 447 0
-447 443 446 445 444 442 271 0
-308 447 -448 0
-312 -448 308 0
-312 -448 447 0
-447 448 312 0
448 312 308 0
-447 448 -308 0
439 -449 0
448 -449 0
449 -448 -439 0
-450 -449 0
-450 -430 0
449 450 430 0
-430 -451 -449 0
449 -451 430 0
451 449 -430 0
451 430 -449 0
-452 449 0
-452 430 0
-430 452 -449 0
-453 450 0
-453 -428 0
-450 453 428 0
-428 -454 450 0
451 -454 428 0
451 -454 450 0
-450 -451 454 0
454 -451 428 0
-450 454 -428 0
451 -455 -428 0
-455 452 428 0
451 -455 452 0
-452 -451 455 0
-452 455 428 0
-428 -451 455 0
-456 452 0
-456 428 0
-452 -428 456 0
-453 -455 0
-455 -454 0
-456 -455 0
-457 449 146 0
-457 -449 0
-457 -449 146 0
449 -146 457 0
449 -146 457 0
-458 -146 0
-458 -449 0
449 458 146 0
-459 457 -430 0
-459 430 -449 0
-459 -449 457 0
-457 459 449 0
449 459 430 0
-457 459 -430 0
-460 458 0
-460 430 0
-458 -430 460 0
-461 -450 337 0
-461 459 450 0
-461 459 337 0
-459 -337 461 0
-459 461 450 0
-450 -337 461 0
449 -462 0
-450 -462 0
462 -449 450 0
-463 460 0
-450 -463 0
-460 463 450 0
-464 -337 0
-464 450 0
-450 464 337 0
-465 461 -428 0
-465 459 428 0
-465 459 461 0
-461 -459 465 0
-459 465 428 0
-461 465 -428 0
462 -466 -428 0
449 -466 428 0
462 -466 449 0
466 -462 -449 0
466 -449 428 0
466 -462 -428 0
-467 463 -428 0
-467 460 428 0
-467 463 460 0
-463 467 -460 0
-460 467 428 0
-463 467 -428 0
-468 464 0
-468 428 0
-464 -428 468 0
-465 -466 0
-465 -467 0
-468 -465 0
-469 455 0
-469 465 0
-465 -455 469 0
-467 471 0
-465 471 0
-471 465 467 0
-468 472 0
-471 472 0
-472 471 468 0
-472 -466 0
466 472 0
473 472 0
473 455 0
-472 -455 -473 0
474 449 0
474 -146 0
146 -474 -449 0
474 449 0
474 -146 0
475 430 0
475 -474 0
474 -430 -475 0
475 430 0
475 -474 0
337 -476 -451 0
475 -476 451 0
475 -476 337 0
476 -337 -475 0
451 476 -475 0
476 -451 -337 0
-477 -475 0
-477 -451 0
475 451 477 0
-478 -337 0
451 -478 0
337 478 -451 0
476 -428 -479 0
475 -479 428 0
475 476 -479 0
479 -476 -475 0
479 -475 428 0
479 -476 -428 0
-480 477 -428 0
-480 -475 428 0
-480 477 -475 0
-477 480 475 0
475 480 428 0
-477 480 -428 0
-481 478 0
-481 428 0
-478 -428 481 0
-480 -479 0
-481 -479 0
482 -473 0
482 479 0
473 -479 -482 0
-480 484 0
484 -479 0
479 -484 480 0
485 -481 0
485 -484 0
484 -485 481 0
-139 486 0
486 140 0
-140 139 -486 0
-139 486 0
486 140 0
-487 -486 0
486 487 -334 0
-487 486 488 0
-489 486 0
-489 -218 0
218 489 -486 0
-490 -486 0
-490 221 0
-221 486 490 0
-489 491 0
-490 491 0
-491 489 490 0
-221 491 0
-492 222 0
-492 -486 0
-222 486 492 0
-493 223 0
-493 -486 0
-223 486 493 0
-492 494 0
-493 494 0
-494 493 492 0
-225 -494 0
-495 226 0
-495 -486 0
486 -226 495 0
-496 227 0
-496 -486 0
-227 486 496 0
-495 497 0
-496 497 0
-497 496 495 0
-229 -497 0
486 -498 0
-230 -498 0
498 230 -486 0
-499 -486 0
-499 233 0
-233 486 499 0
500 -498 0
-499 500 0
498 -500 499 0
-233 500 0
-501 486 0
-501 234 0
-234 501 -486 0
-502 -486 0
-502 236 0
486 -236 502 0
-501 503 0
-502 503 0
-503 501 502 0
-503 -235 0
-237 -503 0
-504 494 0
-504 181 0
-494 -181 504 0
-505 -497 0
-505 182 0
-182 505 497 0
-506 500 0
-506 183 0
-183 -500 506 0
-507 503 0
-507 184 0
-503 -184 507 0
-508 486 0
-508 185 0
-185 508 -486 0
-509 -491 0
-509 186 0
-186 491 509 0
-180 510 0
-504 510 0
-505 510 0
-506 510 0
-507 510 0
-508 510 0
-509 510 0
-510 506 504 505 507 508 509 180 0
-217 510 -511 0
-491 217 -511 0
-491 510 -511 0
-510 511 491 0
511 491 217 0
-510 511 -217 0
-512 486 0
-512 -309 0
309 512 -486 0
-513 -486 0
-513 312 0
-312 486 513 0
-512 514 0
-513 514 0
-514 512 513 0
-312 514 0
-515 313 0
-515 -486 0
486 -313 515 0
-516 314 0
-516 -486 0
-314 486 516 0
-515 517 0
-516 517 0
-517 515 516 0
-316 -517 0
-518 317 0
-518 -486 0
-317 486 518 0
-519 318 0
-519 -486 0
486 -318 519 0
-518 520 0
-519 520 0
-520 518 519 0
-320 -520 0
486 -521 0
-321 -521 0
521 321 -486 0
-522 -486 0
-522 324 0
-324 486 522 0
523 -521 0
-522 523 0
521 -523 522 0
-324 523 0
-524 486 0
-524 325 0
-325 524 -486 0
-525 -486 0
-525 327 0
-327 486 525 0
-524 526 0
-525 526 0
-526 524 525 0
-526 -326 0
-328 -526 0
-527 517 0
-527 272 0
-272 -517 527 0
-528 -520 0
-528 273 0
-273 528 520 0
-529 523 0
-529 274 0
-274 -523 529 0
-530 526 0
-530 275 0
-526 -275 530 0
-531 486 0
-531 276 0
-276 531 -486 0
-532 -514 0
-532 277 0
-277 514 532 0
-271 533 0
-527 533 0
-528 533 0
-529 533 0
-530 533 0
-531 533 0
-532 533 0
-533 271 527 532 530 531 528 529 0
-308 533 -534 0
-514 -534 308 0
-514 -534 533 0
-533 534 514 0
534 514 308 0
-533 534 -308 0
511 -535 0
534 -535 0
535 -534 -511 0
-536 -486 0
-536 535 0
486 -535 536 0
-536 486 537 0
-40 -546 0
-39 -546 0
546 39 40 0
-40 -547 0
-547 39 0
-39 547 40 0
-548 40 0
-39 -548 0
-40 39 548 0
-549 40 0
-549 39 0
-39 -40 549 0
-45 -550 0
-44 -550 0
550 44 45 0
-45 -551 0
-551 44 0
-44 551 45 0
-552 45 0
-552 -44 0
-45 552 44 0
-553 45 0
-553 44 0
-45 -44 553 0
550 -554 0
-43 -554 0
554 43 -550 0
-555 550 0
-555 43 0
-43 555 -550 0
-556 551 0
-556 -43 0
-551 43 556 0
-557 551 0
-557 43 0
-43 -551 557 0
-558 552 0
-558 -43 0
-552 43 558 0
-559 552 0
-559 43 0
-552 -43 559 0
-560 553 0
-560 -43 0
-553 43 560 0
-561 553 0
-561 43 0
-553 -43 561 0
554 -562 0
-42 -562 0
562 -554 42 0
-563 554 0
-563 42 0
-42 -554 563 0
-564 555 0
-564 -42 0
-555 564 42 0
-565 555 0
-565 42 0
-555 -42 565 0
-566 556 0
-566 -42 0
-556 42 566 0
-567 556 0
-567 42 0
-556 -42 567 0
-568 557 0
-42 -568 0
-557 42 568 0
-569 557 0
-569 42 0
-42 -557 569 0
-570 558 0
-570 -42 0
-558 42 570 0
-571 558 0
-571 42 0
-558 -42 571 0
-572 559 0
-572 -42 0
-559 42 572 0
-573 559 0
-573 42 0
-559 -42 573 0
-574 560 0
-574 -42 0
-560 42 574 0
-575 560 0
-575 42 0
-560 -42 575 0
-576 561 0
-576 -42 0
-561 42 576 0
-577 561 0
-577 42 0
-561 -42 577 0
562 -578 0
-41 -578 0
578 -562 41 0
-579 562 0
-579 41 0
-41 -562 579 0
-580 563 0
-41 -580 0
-563 580 41 0
-581 563 0
-581 41 0
-41 -563 581 0
-582 564 0
-41 -582 0
-564 582 41 0
-583 564 0
-583 41 0
-41 -564 583 0
-584 565 0
-41 -584 0
-565 584 41 0
-585 565 0
-585 41 0
-41 -565 585 0
-586 566 0
-41 -586 0
-566 586 41 0
-587 566 0
-587 41 0
-41 -566 587 0
-588 567 0
-41 -588 0
-567 588 41 0
-589 567 0
-589 41 0
-41 -567 589 0
-590 568 0
-41 -590 0
-568 590 41 0
-591 568 0
-591 41 0
-41 591 -568 0
-592 569 0
-41 -592 0
-569 592 41 0
-593 569 0
-593 41 0
-41 -569 593 0
-594 570 0
-41 -594 0
-570 594 41 0
-595 570 0
-595 41 0
-41 -570 595 0
-596 571 0
-41 -596 0
-571 596 41 0
-597 571 0
-597 41 0
-41 -571 597 0
-598 572 0
-41 -598 0
-572 598 41 0
-599 572 0
-599 41 0
-41 -572 599 0
-600 573 0
-41 -600 0
-573 600 41 0
-601 573 0
-601 41 0
-41 -573 601 0
-602 574 0
-41 -602 0
-574 602 41 0
-603 574 0
-603 41 0
-41 -574 603 0
-604 575 0
-41 -604 0
-575 604 41 0
-605 575 0
-605 41 0
-41 -575 605 0
-606 576 0
-41 -606 0
-576 606 41 0
-607 576 0
-607 41 0
-41 -576 607 0
-608 577 0
-41 -608 0
-577 608 41 0
-609 577 0
-609 41 0
-41 -577 609 0
-610 -50 0
-610 -49 0
50 49 610 0
-611 -50 0
-611 49 0
50 -49 611 0
50 -612 0
-49 -612 0
612 49 -50 0
50 -613 0
-613 49 0
-49 613 -50 0
-614 610 0
-48 -614 0
-610 614 48 0
-615 610 0
-615 48 0
-48 -610 615 0
-616 611 0
-48 -616 0
-611 616 48 0
-617 611 0
-617 48 0
-48 -611 617 0
612 -618 0
-48 -618 0
618 -612 48 0
-619 612 0
-619 48 0
-48 -612 619 0
-620 613 0
-48 -620 0
-613 620 48 0
-621 613 0
-621 48 0
-48 -613 621 0
-622 614 0
-47 -622 0
-614 622 47 0
-623 614 0
-623 47 0
-47 -614 623 0
-624 615 0
-47 -624 0
-615 624 47 0
-625 615 0
-625 47 0
-47 -615 625 0
-626 616 0
-47 -626 0
-616 626 47 0
-627 616 0
-627 47 0
-47 -616 627 0
-628 617 0
-47 -628 0
-617 628 47 0
-629 617 0
-629 47 0
-47 -617 629 0
618 -630 0
-47 -630 0
630 -618 47 0
-631 618 0
-631 47 0
-47 -618 631 0
-632 619 0
-47 -632 0
-619 632 47 0
-633 619 0
-633 47 0
-47 -619 633 0
-634 620 0
-47 -634 0
-620 634 47 0
-635 620 0
-635 47 0
-47 -620 635 0
-636 621 0
-47 -636 0
-621 636 47 0
-637 621 0
-637 47 0
-47 -621 637 0
-638 622 0
-638 -46 0
46 -622 638 0
-639 622 0
46 -639 0
-622 -46 639 0
-640 623 0
-640 -46 0
46 -623 640 0
-641 623 0
46 -641 0
-623 -46 641 0
-642 624 0
-642 -46 0
46 -624 642 0
-643 624 0
46 -643 0
-624 -46 643 0
-644 625 0
-644 -46 0
46 -625 644 0
-645 625 0
46 -645 0
-625 -46 645 0
-646 626 0
-646 -46 0
46 -626 646 0
-647 626 0
46 -647 0
-626 -46 647 0
-648 627 0
-648 -46 0
46 -627 648 0
-649 627 0
46 -649 0
-627 -46 649 0
-650 628 0
-650 -46 0
46 -628 650 0
-651 628 0
46 -651 0
-628 -46 651 0
-652 629 0
-652 -46 0
46 -629 652 0
-653 629 0
46 -653 0
-629 -46 653 0
-654 630 0
-654 -46 0
46 654 -630 0
630 -655 0
46 -655 0
655 -46 -630 0
-656 631 0
-656 -46 0
46 -631 656 0
-657 631 0
46 -657 0
-631 -46 657 0
-658 632 0
-658 -46 0
46 -632 658 0
-659 632 0
46 -659 0
-632 -46 659 0
-660 633 0
-660 -46 0
46 -633 660 0
-661 633 0
46 -661 0
-633 -46 661 0
-662 634 0
-662 -46 0
46 -634 662 0
-663 634 0
46 -663 0
-634 -46 663 0
-664 635 0
-664 -46 0
46 -635 664 0
-665 635 0
46 -665 0
-635 -46 665 0
-666 636 0
-666 -46 0
46 -636 666 0
-667 636 0
46 -667 0
-636 -46 667 0
-668 637 0
-668 -46 0
46 -637 668 0
-669 637 0
46 -669 0
-637 -46 669 0
-52 -670 0
-51 -670 0
670 51 52 0
-671 -52 0
-671 51 0
-51 52 671 0
-672 52 0
-51 -672 0
-52 51 672 0
-673 52 0
-673 51 0
-51 -52 673 0
-54 -674 0
-53 -674 0
674 53 54 0
-54 -675 0
-675 53 0
-53 675 54 0
-676 54 0
-53 -676 0
-54 53 676 0
-677 54 0
-677 53 0
-53 -54 677 0
-56 -678 0
-55 -678 0
678 56 55 0
-56 -679 0
-679 55 0
-55 679 56 0
-680 56 0
-680 -55 0
-56 680 55 0
-681 56 0
-681 55 0
-56 -55 681 0
-58 -682 0
-682 -57 0
57 58 682 0
-58 -683 0
57 -683 0
683 58 -57 0
-684 58 0
-684 -57 0
-58 57 684 0
-685 58 0
-685 57 0
-58 685 -57 0
-686 -60 0
-59 -686 0
60 686 59 0
-687 -60 0
-687 59 0
-59 687 60 0
60 -688 0
-59 -688 0
688 -60 59 0
-689 60 0
-689 59 0
-59 -60 689 0
-62 -690 0
-61 -690 0
690 61 62 0
-691 -62 0
-691 61 0
-61 691 62 0
-692 62 0
-61 -692 0
-62 692 61 0
-693 62 0
-693 61 0
-61 -62 693 0
-694 -64 0
-63 -694 0
64 63 694 0
-695 -64 0
-695 63 0
-63 695 64 0
64 -696 0
-63 -696 0
696 -64 63 0
-697 64 0
-697 63 0
-63 -64 697 0
-66 -698 0
-65 -698 0
698 66 65 0
-699 -66 0
-699 65 0
-65 66 699 0
-700 66 0
-700 -65 0
-66 65 700 0
-701 66 0
-701 65 0
-66 -65 701 0
-68 -702 0
-67 -702 0
702 67 68 0
-68 -703 0
-703 67 0
-67 703 68 0
-704 68 0
-704 -67 0
-68 704 67 0
-705 68 0
-705 67 0
-68 -67 705 0
-70 -706 0
-69 -706 0
706 69 70 0
-707 -70 0
-707 69 0
-69 707 70 0
-708 70 0
-69 -708 0
-70 708 69 0
-709 70 0
-709 69 0
-69 -70 709 0
-139 -140 0
-140 -141 0
-142 -140 0
-710 147 0
-147 710 -334 0
-711 710 0
-711 147 0
-710 711 -147 0
712 -100 0
712 -102 0
-104 712 0
712 -105 0
102 100 104 105 -712 0
-711 -713 0
712 -713 0
713 -712 711 0
426 -714 0
712 -714 0
714 -712 -426 0
714 711 -715 0