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