c 1 = x@0
c 2 = x@1
c 3 = x@2
c 4 = x@3
c 5 = x@4
c 6 = x@6
c 7 = x@5
c 8 = y@0
c 9 = y@1
c 10 = y@2
c 11 = y@3
c 12 = y@4
c 13 = y@6
c 14 = y@5
p cnf 461 1342
-15 -6 0
-15 -7 0
6 7 15 0
-16 -5 0
-16 15 0
5 -15 16 0
-17 -4 0
-17 16 0
4 -16 17 0
-18 -3 0
-18 17 0
3 -17 18 0
-19 -2 0
-19 18 0
2 -18 19 0
-20 1 0
-20 19 0
-1 -19 20 0
-21 -13 0
-21 -14 0
13 14 21 0
-22 -12 0
-22 21 0
12 -21 22 0
-23 -11 0
-23 22 0
11 -22 23 0
-24 -10 0
-24 23 0
10 -23 24 0
-25 -9 0
-25 24 0
9 -24 25 0
-26 8 0
-26 25 0
-8 -25 26 0
-27 -20 0
-27 -26 0
20 26 27 0
-28 1 0
-28 8 0
-1 -8 28 0
-29 1 0
-29 9 0
-1 -9 29 0
-30 2 0
-30 8 0
-2 -8 30 0
-31 29 0
-31 30 0
-29 -30 31 0
-32 -29 0
-32 -30 0
29 30 32 0
-33 -31 0
-33 -32 0
31 32 33 0
-34 3 0
-34 8 0
-3 -8 34 0
-35 1 0
-35 10 0
-1 -10 35 0
-36 2 0
-36 9 0
-2 -9 36 0
-37 36 0
-37 -31 0
-36 31 37 0
-38 -36 0
-38 31 0
36 -31 38 0
-39 -37 0
-39 -38 0
37 38 39 0
-40 35 0
-40 -39 0
-35 39 40 0
-41 -35 0
-41 39 0
35 -39 41 0
-42 -40 0
-42 -41 0
40 41 42 0
-43 34 0
-43 42 0
-34 -42 43 0
-44 -34 0
-44 -42 0
34 42 44 0
-45 -43 0
-45 -44 0
43 44 45 0
-46 4 0
-46 8 0
-4 -8 46 0
-47 1 0
-47 11 0
-1 -11 47 0
-48 2 0
-48 10 0
-2 -10 48 0
-49 -35 0
-49 -36 0
35 36 49 0
-50 31 0
-50 -49 0
-31 49 50 0
-51 35 0
-51 36 0
-35 -36 51 0
-52 -50 0
-52 -51 0
50 51 52 0
-53 48 0
-53 52 0
-48 -52 53 0
-54 -48 0
-54 -52 0
48 52 54 0
-55 -53 0
-55 -54 0
53 54 55 0
-56 47 0
-56 -55 0
-47 55 56 0
-57 -47 0
-57 55 0
47 -55 57 0
-58 -56 0
-58 -57 0
56 57 58 0
-59 3 0
-59 9 0
-3 -9 59 0
-60 59 0
-60 -43 0
-59 43 60 0
-61 -59 0
-61 43 0
59 -43 61 0
-62 -60 0
-62 -61 0
60 61 62 0
-63 58 0
-63 -62 0
-58 62 63 0
-64 -58 0
-64 62 0
58 -62 64 0
-65 -63 0
-65 -64 0
63 64 65 0
-66 46 0
-66 65 0
-46 -65 66 0
-67 -46 0
-67 -65 0
46 65 67 0
-68 -66 0
-68 -67 0
66 67 68 0
-69 5 0
-69 8 0
-5 -8 69 0
-70 1 0
-70 12 0
-1 -12 70 0
-71 2 0
-71 11 0
-2 -11 71 0
-72 -47 0
-72 -48 0
47 48 72 0
-73 -52 0
-73 -72 0
52 72 73 0
-74 47 0
-74 48 0
-47 -48 74 0
-75 -73 0
-75 -74 0
73 74 75 0
-76 71 0
-76 75 0
-71 -75 76 0
-77 -71 0
-77 -75 0
71 75 77 0
-78 -76 0
-78 -77 0
76 77 78 0
-79 70 0
-79 -78 0
-70 78 79 0
-80 -70 0
-80 78 0
70 -78 80 0
-81 -79 0
-81 -80 0
79 80 81 0
-82 3 0
-82 10 0
-3 -10 82 0
-83 -59 0
-83 -58 0
59 58 83 0
-84 43 0
-84 -83 0
-43 83 84 0
-85 59 0
-85 58 0
-59 -58 85 0
-86 -84 0
-86 -85 0
84 85 86 0
-87 82 0
-87 86 0
-82 -86 87 0
-88 -82 0
-88 -86 0
82 86 88 0
-89 -87 0
-89 -88 0
87 88 89 0
-90 81 0
-90 -89 0
-81 89 90 0
-91 -81 0
-91 89 0
81 -89 91 0
-92 -90 0
-92 -91 0
90 91 92 0
-93 4 0
-93 9 0
-4 -9 93 0
-94 93 0
-94 -66 0
-93 66 94 0
-95 -93 0
-95 66 0
93 -66 95 0
-96 -94 0
-96 -95 0
94 95 96 0
-97 92 0
-97 -96 0
-92 96 97 0
-98 -92 0
-98 96 0
92 -96 98 0
-99 -97 0
-99 -98 0
97 98 99 0
-100 69 0
-100 99 0
-69 -99 100 0
-101 -69 0
-101 -99 0
69 99 101 0
-102 -100 0
-102 -101 0
100 101 102 0
-103 7 0
-103 8 0
-7 -8 103 0
-104 1 0
-104 14 0
-1 -14 104 0
-105 2 0
-105 12 0
-2 -12 105 0
-106 -70 0
-106 -71 0
70 71 106 0
-107 -75 0
-107 -106 0
75 106 107 0
-108 70 0
-108 71 0
-70 -71 108 0
-109 -107 0
-109 -108 0
107 108 109 0
-110 105 0
-110 109 0
-105 -109 110 0
-111 -105 0
-111 -109 0
105 109 111 0
-112 -110 0
-112 -111 0
110 111 112 0
-113 104 0
-113 -112 0
-104 112 113 0
-114 -104 0
-114 112 0
104 -112 114 0
-115 -113 0
-115 -114 0
113 114 115 0
-116 3 0
-116 11 0
-3 -11 116 0
-117 -82 0
-117 -81 0
82 81 117 0
-118 -86 0
-118 -117 0
86 117 118 0
-119 82 0
-119 81 0
-82 -81 119 0
-120 -118 0
-120 -119 0
118 119 120 0
-121 116 0
-121 120 0
-116 -120 121 0
-122 -116 0
-122 -120 0
116 120 122 0
-123 -121 0
-123 -122 0
121 122 123 0
-124 115 0
-124 -123 0
-115 123 124 0
-125 -115 0
-125 123 0
115 -123 125 0
-126 -124 0
-126 -125 0
124 125 126 0
-127 4 0
-127 10 0
-4 -10 127 0
-128 -93 0
-128 -92 0
93 92 128 0
-129 66 0
-129 -128 0
-66 128 129 0
-130 93 0
-130 92 0
-93 -92 130 0
-131 -129 0
-131 -130 0
129 130 131 0
-132 127 0
-132 131 0
-127 -131 132 0
-133 -127 0
-133 -131 0
127 131 133 0
-134 -132 0
-134 -133 0
132 133 134 0
-135 126 0
-135 -134 0
-126 134 135 0
-136 -126 0
-136 134 0
126 -134 136 0
-137 -135 0
-137 -136 0
135 136 137 0
-138 5 0
-138 9 0
-5 -9 138 0
-139 138 0
-139 -100 0
-138 100 139 0
-140 -138 0
-140 100 0
138 -100 140 0
-141 -139 0
-141 -140 0
139 140 141 0
-142 137 0
-142 -141 0
-137 141 142 0
-143 -137 0
-143 141 0
137 -141 143 0
-144 -142 0
-144 -143 0
142 143 144 0
-145 103 0
-145 144 0
-103 -144 145 0
-146 -103 0
-146 -144 0
103 144 146 0
-147 -145 0
-147 -146 0
145 146 147 0
-148 6 0
-148 8 0
-6 -8 148 0
-149 1 0
-149 13 0
-1 -13 149 0
-150 2 0
-150 14 0
-2 -14 150 0
-151 -104 0
-151 -105 0
104 105 151 0
-152 -109 0
-152 -151 0
109 151 152 0
-153 104 0
-153 105 0
-104 -105 153 0
-154 -152 0
-154 -153 0
152 153 154 0
-155 150 0
-155 154 0
-150 -154 155 0
-156 -150 0
-156 -154 0
150 154 156 0
-157 -155 0
-157 -156 0
155 156 157 0
-158 149 0
-158 -157 0
-149 157 158 0
-159 -149 0
-159 157 0
149 -157 159 0
-160 -158 0
-160 -159 0
158 159 160 0
-161 3 0
-161 12 0
-3 -12 161 0
-162 -116 0
-162 -115 0
116 115 162 0
-163 -120 0
-163 -162 0
120 162 163 0
-164 116 0
-164 115 0
-116 -115 164 0
-165 -163 0
-165 -164 0
163 164 165 0
-166 161 0
-166 165 0
-161 -165 166 0
-167 -161 0
-167 -165 0
161 165 167 0
-168 -166 0
-168 -167 0
166 167 168 0
-169 160 0
-169 -168 0
-160 168 169 0
-170 -160 0
-170 168 0
160 -168 170 0
-171 -169 0
-171 -170 0
169 170 171 0
-172 4 0
-172 11 0
-4 -11 172 0
-173 -127 0
-173 -126 0
127 126 173 0
-174 -131 0
-174 -173 0
131 173 174 0
-175 127 0
-175 126 0
-127 -126 175 0
-176 -174 0
-176 -175 0
174 175 176 0
-177 172 0
-177 176 0
-172 -176 177 0
-178 -172 0
-178 -176 0
172 176 178 0
-179 -177 0
-179 -178 0
177 178 179 0
-180 171 0
-180 -179 0
-171 179 180 0
-181 -171 0
-181 179 0
171 -179 181 0
-182 -180 0
-182 -181 0
180 181 182 0
-183 5 0
-183 10 0
-5 -10 183 0
-184 -138 0
-184 -137 0
138 137 184 0
-185 100 0
-185 -184 0
-100 184 185 0
-186 138 0
-186 137 0
-138 -137 186 0
-187 -185 0
-187 -186 0
185 186 187 0
-188 183 0
-188 187 0
-183 -187 188 0
-189 -183 0
-189 -187 0
183 187 189 0
-190 -188 0
-190 -189 0
188 189 190 0
-191 182 0
-191 -190 0
-182 190 191 0
-192 -182 0
-192 190 0
182 -190 192 0
-193 -191 0
-193 -192 0
191 192 193 0
-194 7 0
-194 9 0
-7 -9 194 0
-195 194 0
-195 -145 0
-194 145 195 0
-196 -194 0
-196 145 0
194 -145 196 0
-197 -195 0
-197 -196 0
195 196 197 0
-198 193 0
-198 -197 0
-193 197 198 0
-199 -193 0
-199 197 0
193 -197 199 0
-200 -198 0
-200 -199 0
198 199 200 0
-201 148 0
-201 200 0
-148 -200 201 0
-202 -148 0
-202 -200 0
148 200 202 0
-203 -201 0
-203 -202 0
201 202 203 0
-204 2 0
-204 13 0
-2 -13 204 0
-205 -149 0
-205 -150 0
149 150 205 0
-206 -154 0
-206 -205 0
154 205 206 0
-207 149 0
-207 150 0
-149 -150 207 0
-208 -206 0
-208 -207 0
206 207 208 0
-209 204 0
-209 -208 0
-204 208 209 0
-210 -204 0
-210 208 0
204 -208 210 0
-211 -209 0
-211 -210 0
209 210 211 0
-212 3 0
-212 14 0
-3 -14 212 0
-213 -161 0
-213 -160 0
161 160 213 0
-214 -165 0
-214 -213 0
165 213 214 0
-215 161 0
-215 160 0
-161 -160 215 0
-216 -214 0
-216 -215 0
214 215 216 0
-217 212 0
-217 216 0
-212 -216 217 0
-218 -212 0
-218 -216 0
212 216 218 0
-219 -217 0
-219 -218 0
217 218 219 0
-220 211 0
-220 -219 0
-211 219 220 0
-221 -211 0
-221 219 0
211 -219 221 0
-222 -220 0
-222 -221 0
220 221 222 0
-223 4 0
-223 12 0
-4 -12 223 0
-224 -172 0
-224 -171 0
172 171 224 0
-225 -176 0
-225 -224 0
176 224 225 0
-226 172 0
-226 171 0
-172 -171 226 0
-227 -225 0
-227 -226 0
225 226 227 0
-228 223 0
-228 227 0
-223 -227 228 0
-229 -223 0
-229 -227 0
223 227 229 0
-230 -228 0
-230 -229 0
228 229 230 0
-231 222 0
-231 -230 0
-222 230 231 0
-232 -222 0
-232 230 0
222 -230 232 0
-233 -231 0
-233 -232 0
231 232 233 0
-234 5 0
-234 11 0
-5 -11 234 0
-235 -183 0
-235 -182 0
183 182 235 0
-236 -187 0
-236 -235 0
187 235 236 0
-237 183 0
-237 182 0
-183 -182 237 0
-238 -236 0
-238 -237 0
236 237 238 0
-239 234 0
-239 238 0
-234 -238 239 0
-240 -234 0
-240 -238 0
234 238 240 0
-241 -239 0
-241 -240 0
239 240 241 0
-242 233 0
-242 -241 0
-233 241 242 0
-243 -233 0
-243 241 0
233 -241 243 0
-244 -242 0
-244 -243 0
242 243 244 0
-245 7 0
-245 10 0
-7 -10 245 0
-246 -194 0
-246 -193 0
194 193 246 0
-247 145 0
-247 -246 0
-145 246 247 0
-248 194 0
-248 193 0
-194 -193 248 0
-249 -247 0
-249 -248 0
247 248 249 0
-250 245 0
-250 249 0
-245 -249 250 0
-251 -245 0
-251 -249 0
245 249 251 0
-252 -250 0
-252 -251 0
250 251 252 0
-253 244 0
-253 -252 0
-244 252 253 0
-254 -244 0
-254 252 0
244 -252 254 0
-255 -253 0
-255 -254 0
253 254 255 0
-256 6 0
-256 9 0
-6 -9 256 0
-257 256 0
-257 -201 0
-256 201 257 0
-258 -256 0
-258 201 0
256 -201 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 3 0
-263 13 0
-3 -13 263 0
-264 -212 0
-264 -211 0
212 211 264 0
-265 -216 0
-265 -264 0
216 264 265 0
-266 212 0
-266 211 0
-212 -211 266 0
-267 -265 0
-267 -266 0
265 266 267 0
-268 263 0
-268 267 0
-263 -267 268 0
-269 -263 0
-269 -267 0
263 267 269 0
-270 -268 0
-270 -269 0
268 269 270 0
-271 209 0
-271 -270 0
-209 270 271 0
-272 -209 0
-272 270 0
209 -270 272 0
-273 -271 0
-273 -272 0
271 272 273 0
-274 4 0
-274 14 0
-4 -14 274 0
-275 -223 0
-275 -222 0
223 222 275 0
-276 -227 0
-276 -275 0
227 275 276 0
-277 223 0
-277 222 0
-223 -222 277 0
-278 -276 0
-278 -277 0
276 277 278 0
-279 274 0
-279 278 0
-274 -278 279 0
-280 -274 0
-280 -278 0
274 278 280 0
-281 -279 0
-281 -280 0
279 280 281 0
-282 273 0
-282 -281 0
-273 281 282 0
-283 -273 0
-283 281 0
273 -281 283 0
-284 -282 0
-284 -283 0
282 283 284 0
-285 5 0
-285 12 0
-5 -12 285 0
-286 -234 0
-286 -233 0
234 233 286 0
-287 -238 0
-287 -286 0
238 286 287 0
-288 234 0
-288 233 0
-234 -233 288 0
-289 -287 0
-289 -288 0
287 288 289 0
-290 285 0
-290 289 0
-285 -289 290 0
-291 -285 0
-291 -289 0
285 289 291 0
-292 -290 0
-292 -291 0
290 291 292 0
-293 284 0
-293 -292 0
-284 292 293 0
-294 -284 0
-294 292 0
284 -292 294 0
-295 -293 0
-295 -294 0
293 294 295 0
-296 7 0
-296 11 0
-7 -11 296 0
-297 -245 0
-297 -244 0
245 244 297 0
-298 -249 0
-298 -297 0
249 297 298 0
-299 245 0
-299 244 0
-245 -244 299 0
-300 -298 0
-300 -299 0
298 299 300 0
-301 296 0
-301 300 0
-296 -300 301 0
-302 -296 0
-302 -300 0
296 300 302 0
-303 -301 0
-303 -302 0
301 302 303 0
-304 295 0
-304 -303 0
-295 303 304 0
-305 -295 0
-305 303 0
295 -303 305 0
-306 -304 0
-306 -305 0
304 305 306 0
-307 6 0
-307 10 0
-6 -10 307 0
-308 -256 0
-308 -255 0
256 255 308 0
-309 201 0
-309 -308 0
-201 308 309 0
-310 256 0
-310 255 0
-256 -255 310 0
-311 -309 0
-311 -310 0
309 310 311 0
-312 307 0
-312 311 0
-307 -311 312 0
-313 -307 0
-313 -311 0
307 311 313 0
-314 -312 0
-314 -313 0
312 313 314 0
-315 306 0
-315 -314 0
-306 314 315 0
-316 -306 0
-316 314 0
306 -314 316 0
-317 -315 0
-317 -316 0
315 316 317 0
-318 -263 0
-318 -209 0
263 209 318 0
-319 -267 0
-319 -318 0
267 318 319 0
-320 263 0
-320 209 0
-263 -209 320 0
-321 -319 0
-321 -320 0
319 320 321 0
-322 4 0
-322 13 0
-4 -13 322 0
-323 -274 0
-323 -273 0
274 273 323 0
-324 -278 0
-324 -323 0
278 323 324 0
-325 274 0
-325 273 0
-274 -273 325 0
-326 -324 0
-326 -325 0
324 325 326 0
-327 322 0
-327 326 0
-322 -326 327 0
-328 -322 0
-328 -326 0
322 326 328 0
-329 -327 0
-329 -328 0
327 328 329 0
-330 -321 0
-330 -329 0
321 329 330 0
-331 321 0
-331 329 0
-321 -329 331 0
-332 -330 0
-332 -331 0
330 331 332 0
-333 5 0
-333 14 0
-5 -14 333 0
-334 -285 0
-334 -284 0
285 284 334 0
-335 -289 0
-335 -334 0
289 334 335 0
-336 285 0
-336 284 0
-285 -284 336 0
-337 -335 0
-337 -336 0
335 336 337 0
-338 333 0
-338 337 0
-333 -337 338 0
-339 -333 0
-339 -337 0
333 337 339 0
-340 -338 0
-340 -339 0
338 339 340 0
-341 332 0
-341 -340 0
-332 340 341 0
-342 -332 0
-342 340 0
332 -340 342 0
-343 -341 0
-343 -342 0
341 342 343 0
-344 7 0
-344 12 0
-7 -12 344 0
-345 -296 0
-345 -295 0
296 295 345 0
-346 -300 0
-346 -345 0
300 345 346 0
-347 296 0
-347 295 0
-296 -295 347 0
-348 -346 0
-348 -347 0
346 347 348 0
-349 344 0
-349 348 0
-344 -348 349 0
-350 -344 0
-350 -348 0
344 348 350 0
-351 -349 0
-351 -350 0
349 350 351 0
-352 343 0
-352 -351 0
-343 351 352 0
-353 -343 0
-353 351 0
343 -351 353 0
-354 -352 0
-354 -353 0
352 353 354 0
-355 6 0
-355 11 0
-6 -11 355 0
-356 -307 0
-356 -306 0
307 306 356 0
-357 -311 0
-357 -356 0
311 356 357 0
-358 307 0
-358 306 0
-307 -306 358 0
-359 -357 0
-359 -358 0
357 358 359 0
-360 355 0
-360 359 0
-355 -359 360 0
-361 -355 0
-361 -359 0
355 359 361 0
-362 -360 0
-362 -361 0
360 361 362 0
-363 354 0
-363 -362 0
-354 362 363 0
-364 -354 0
-364 362 0
354 -362 364 0
-365 -363 0
-365 -364 0
363 364 365 0
-366 -322 0
-366 321 0
322 -321 366 0
-367 -326 0
-367 -366 0
326 366 367 0
-368 322 0
-368 -321 0
-322 321 368 0
-369 -367 0
-369 -368 0
367 368 369 0
-370 5 0
-370 13 0
-5 -13 370 0
-371 -333 0
-371 -332 0
333 332 371 0
-372 -337 0
-372 -371 0
337 371 372 0
-373 333 0
-373 332 0
-333 -332 373 0
-374 -372 0
-374 -373 0
372 373 374 0
-375 370 0
-375 374 0
-370 -374 375 0
-376 -370 0
-376 -374 0
370 374 376 0
-377 -375 0
-377 -376 0
375 376 377 0
-378 -369 0
-378 -377 0
369 377 378 0
-379 369 0
-379 377 0
-369 -377 379 0
-380 -378 0
-380 -379 0
378 379 380 0
-381 7 0
-381 14 0
-7 -14 381 0
-382 -344 0
-382 -343 0
344 343 382 0
-383 -348 0
-383 -382 0
348 382 383 0
-384 344 0
-384 343 0
-344 -343 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 380 0
-389 -388 0
-380 388 389 0
-390 -380 0
-390 388 0
380 -388 390 0
-391 -389 0
-391 -390 0
389 390 391 0
-392 6 0
-392 12 0
-6 -12 392 0
-393 -355 0
-393 -354 0
355 354 393 0
-394 -359 0
-394 -393 0
359 393 394 0
-395 355 0
-395 354 0
-355 -354 395 0
-396 -394 0
-396 -395 0
394 395 396 0
-397 392 0
-397 396 0
-392 -396 397 0
-398 -392 0
-398 -396 0
392 396 398 0
-399 -397 0
-399 -398 0
397 398 399 0
-400 391 0
-400 -399 0
-391 399 400 0
-401 -391 0
-401 399 0
391 -399 401 0
-402 -400 0
-402 -401 0
400 401 402 0
-403 -370 0
-403 369 0
370 -369 403 0
-404 -374 0
-404 -403 0
374 403 404 0
-405 370 0
-405 -369 0
-370 369 405 0
-406 -404 0
-406 -405 0
404 405 406 0
-407 7 0
-407 13 0
-7 -13 407 0
-408 -381 0
-408 -380 0
381 380 408 0
-409 -385 0
-409 -408 0
385 408 409 0
-410 381 0
-410 380 0
-381 -380 410 0
-411 -409 0
-411 -410 0
409 410 411 0
-412 407 0
-412 411 0
-407 -411 412 0
-413 -407 0
-413 -411 0
407 411 413 0
-414 -412 0
-414 -413 0
412 413 414 0
-415 -406 0
-415 -414 0
406 414 415 0
-416 406 0
-416 414 0
-406 -414 416 0
-417 -415 0
-417 -416 0
415 416 417 0
-418 6 0
-418 14 0
-6 -14 418 0
-419 -392 0
-419 -391 0
392 391 419 0
-420 -396 0
-420 -419 0
396 419 420 0
-421 392 0
-421 391 0
-392 -391 421 0
-422 -420 0
-422 -421 0
420 421 422 0
-423 418 0
-423 422 0
-418 -422 423 0
-424 -418 0
-424 -422 0
418 422 424 0
-425 -423 0
-425 -424 0
423 424 425 0
-426 417 0
-426 -425 0
-417 425 426 0
-427 -417 0
-427 425 0
417 -425 427 0
-428 -426 0
-428 -427 0
426 427 428 0
-429 -418 0
-429 -417 0
418 417 429 0
-430 -422 0
-430 -429 0
422 429 430 0
-431 418 0
-431 417 0
-418 -417 431 0
-432 -430 0
-432 -431 0
430 431 432 0
-433 6 0
-433 13 0
-6 -13 433 0
-434 -407 0
-434 406 0
407 -406 434 0
-435 -411 0
-435 -434 0
411 434 435 0
-436 407 0
-436 -406 0
-407 406 436 0
-437 -435 0
-437 -436 0
435 436 437 0
-438 -433 0
-438 437 0
433 -437 438 0
-439 -432 0
-439 -438 0
432 438 439 0
-440 433 0
-440 -437 0
-433 437 440 0
-441 -439 0
-441 -440 0
439 440 441 0
-442 433 0
-442 432 0
-433 -432 442 0
-443 -433 0
-443 -432 0
433 432 443 0
-444 -442 0
-444 -443 0
442 443 444 0
-445 -437 0
-445 -444 0
437 444 445 0
-446 437 0
-446 444 0
-437 -444 446 0
-447 -445 0
-447 -446 0
445 446 447 0
-448 441 0
-448 -447 0
-441 447 448 0
-449 -428 0
-449 448 0
428 -448 449 0
-450 -402 0
-450 449 0
402 -449 450 0
-451 -365 0
-451 450 0
365 -450 451 0
-452 -317 0
-452 451 0
317 -451 452 0
-453 262 0
-453 452 0
-262 -452 453 0
-454 -203 0
-454 453 0
203 -453 454 0
-455 147 0
-455 454 0
-147 -454 455 0
-456 -102 0
-456 455 0
102 -455 456 0
-457 68 0
-457 456 0
-68 -456 457 0
-458 -45 0
-458 457 0
45 -457 458 0
-459 -33 0
-459 458 0
33 -458 459 0
-460 28 0
-460 459 0
-28 -459 460 0
-461 27 0
-461 460 0
-27 -460 461 0
461 0