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