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