p cnf 1123 3111
25 -10 11 0
26 9 -25 0
27 8 -26 0
28 7 -27 0
29 6 -28 0
30 5 -29 0
31 -4 -30 0
32 3 -31 0
33 -2 -32 0
34 1 -33 0
35 12 -13 0
-36 10 0
-36 -14 0
37 -35 36 0
38 10 -14 0
-39 -37 0
-39 -38 0
-40 -11 0
-40 -15 0
-41 39 40 0
42 -11 -15 0
-43 41 0
-43 -42 0
-44 -9 0
-44 -16 0
-45 43 44 0
46 -9 -16 0
-47 45 0
-47 -46 0
-48 -8 0
-48 -17 0
-49 47 48 0
50 -8 -17 0
-51 49 0
-51 -50 0
-52 -7 0
-52 -18 0
-53 51 52 0
54 -7 -18 0
-55 53 0
-55 -54 0
-56 -6 0
-56 19 0
-57 55 56 0
58 -6 19 0
-59 57 0
-59 -58 0
-60 -5 0
-60 20 0
-61 59 60 0
62 -5 20 0
-63 61 0
-63 -62 0
-64 4 0
-64 21 0
-65 63 64 0
-66 4 21 0
-67 65 0
-67 66 0
-68 -3 0
-68 22 0
-69 67 68 0
70 -3 22 0
-71 69 0
-71 -70 0
-72 2 0
-72 23 0
-73 71 72 0
-74 2 23 0
-75 73 0
-75 74 0
76 -1 0
76 -24 0
77 75 -76 0
78 -1 -24 0
79 -77 0
79 -78 0
80 -34 0
80 -79 0
81 -12 0
81 -13 0
82 -10 0
82 -13 0
-82 10 13 0
83 -12 0
83 -14 0
-83 12 14 0
84 -82 0
84 -83 0
-84 82 83 0
-85 82 0
-85 83 0
86 -84 85 0
-87 11 0
-87 -13 0
87 -11 13 0
88 -10 0
88 -14 0
-88 10 14 0
-89 87 0
-89 -88 0
89 -87 88 0
-90 -87 0
-90 88 0
90 87 -88 0
91 -89 0
91 -90 0
-91 89 90 0
92 -84 0
92 -91 0
-92 84 91 0
-93 84 0
-93 91 0
93 -84 -91 0
-94 92 0
-94 -93 0
94 -92 93 0
95 -12 0
95 -15 0
-95 12 15 0
-96 94 0
-96 -95 0
96 -94 95 0
97 94 -95 0
98 -96 0
98 -97 0
-99 -89 0
-99 92 0
99 89 -92 0
-100 9 0
-100 -13 0
100 -9 13 0
-101 11 0
-101 -14 0
101 -11 14 0
-102 100 0
-102 101 0
102 -100 -101 0
103 -100 0
103 -101 0
-103 100 101 0
-104 -102 0
-104 103 0
104 102 -103 0
-105 -99 0
-105 104 0
105 99 -104 0
-106 99 0
-106 -104 0
106 -99 104 0
107 -105 0
107 -106 0
-107 105 106 0
108 -10 0
108 -15 0
-108 10 15 0
109 -107 0
109 -108 0
-109 107 108 0
-110 107 0
-110 108 0
110 -107 -108 0
-111 109 0
-111 -110 0
111 -109 110 0
-112 96 0
-112 111 0
112 -96 -111 0
113 -96 0
113 -111 0
-113 96 111 0
-114 -112 0
-114 113 0
114 112 -113 0
115 -12 0
115 -16 0
-115 12 16 0
-116 114 0
-116 -115 0
116 -114 115 0
117 114 -115 0
118 -116 0
118 -117 0
-119 109 0
-119 -112 0
119 -109 112 0
120 -102 0
120 -105 0
-120 102 105 0
-121 8 0
-121 -13 0
121 -8 13 0
-122 9 0
-122 -14 0
122 -9 14 0
-123 121 0
-123 122 0
123 -121 -122 0
124 -121 0
124 -122 0
-124 121 122 0
-125 -123 0
-125 124 0
125 123 -124 0
-126 120 0
-126 125 0
126 -120 -125 0
127 -120 0
127 -125 0
-127 120 125 0
-128 -126 0
-128 127 0
128 126 -127 0
-129 11 0
-129 -15 0
129 -11 15 0
-130 128 0
-130 129 0
130 -128 -129 0
131 -128 0
131 -129 0
-131 128 129 0
-132 -130 0
-132 131 0
132 130 -131 0
-133 -119 0
-133 132 0
133 119 -132 0
-134 119 0
-134 -132 0
134 -119 132 0
135 -133 0
135 -134 0
-135 133 134 0
136 -10 0
136 -16 0
-136 10 16 0
137 -135 0
137 -136 0
-137 135 136 0
-138 135 0
-138 136 0
138 -135 -136 0
-139 137 0
-139 -138 0
139 -137 138 0
-140 116 0
-140 139 0
140 -116 -139 0
141 -116 0
141 -139 0
-141 116 139 0
-142 -140 0
-142 141 0
142 140 -141 0
143 -12 0
143 -17 0
-143 12 17 0
-144 142 0
-144 -143 0
144 -142 143 0
145 142 -143 0
146 -144 0
146 -145 0
-147 137 0
-147 -140 0
147 -137 140 0
148 -130 0
148 -133 0
-148 130 133 0
149 -123 0
149 -126 0
-149 123 126 0
-150 7 0
-150 -13 0
150 -7 13 0
-151 8 0
-151 -14 0
151 -8 14 0
-152 150 0
-152 151 0
152 -150 -151 0
153 -150 0
153 -151 0
-153 150 151 0
-154 -152 0
-154 153 0
154 152 -153 0
-155 149 0
-155 154 0
155 -149 -154 0
156 -149 0
156 -154 0
-156 149 154 0
-157 -155 0
-157 156 0
157 155 -156 0
-158 9 0
-158 -15 0
158 -9 15 0
-159 157 0
-159 158 0
159 -157 -158 0
160 -157 0
160 -158 0
-160 157 158 0
-161 -159 0
-161 160 0
161 159 -160 0
-162 148 0
-162 161 0
162 -148 -161 0
163 -148 0
163 -161 0
-163 148 161 0
-164 -162 0
-164 163 0
164 162 -163 0
-165 11 0
-165 -16 0
165 -11 16 0
-166 164 0
-166 165 0
166 -164 -165 0
167 -164 0
167 -165 0
-167 164 165 0
-168 -166 0
-168 167 0
168 166 -167 0
-169 -147 0
-169 168 0
169 147 -168 0
-170 147 0
-170 -168 0
170 -147 168 0
171 -169 0
171 -170 0
-171 169 170 0
172 -10 0
172 -17 0
-172 10 17 0
173 -171 0
173 -172 0
-173 171 172 0
-174 171 0
-174 172 0
174 -171 -172 0
-175 173 0
-175 -174 0
175 -173 174 0
-176 144 0
-176 175 0
176 -144 -175 0
177 -144 0
177 -175 0
-177 144 175 0
-178 -176 0
-178 177 0
178 176 -177 0
179 -12 0
179 -18 0
-179 12 18 0
-180 178 0
-180 -179 0
180 -178 179 0
181 178 -179 0
182 -180 0
182 -181 0
-183 173 0
-183 -176 0
183 -173 176 0
184 -166 0
184 -169 0
-184 166 169 0
185 -159 0
185 -162 0
-185 159 162 0
186 -152 0
186 -155 0
-186 152 155 0
-187 6 0
-187 -13 0
187 -6 13 0
-188 7 0
-188 -14 0
188 -7 14 0
-189 187 0
-189 188 0
189 -187 -188 0
190 -187 0
190 -188 0
-190 187 188 0
-191 -189 0
-191 190 0
191 189 -190 0
-192 186 0
-192 191 0
192 -186 -191 0
193 -186 0
193 -191 0
-193 186 191 0
-194 -192 0
-194 193 0
194 192 -193 0
-195 8 0
-195 -15 0
195 -8 15 0
-196 194 0
-196 195 0
196 -194 -195 0
197 -194 0
197 -195 0
-197 194 195 0
-198 -196 0
-198 197 0
198 196 -197 0
-199 185 0
-199 198 0
199 -185 -198 0
200 -185 0
200 -198 0
-200 185 198 0
-201 -199 0
-201 200 0
201 199 -200 0
-202 9 0
-202 -16 0
202 -9 16 0
-203 201 0
-203 202 0
203 -201 -202 0
204 -201 0
204 -202 0
-204 201 202 0
-205 -203 0
-205 204 0
205 203 -204 0
-206 184 0
-206 205 0
206 -184 -205 0
207 -184 0
207 -205 0
-207 184 205 0
-208 -206 0
-208 207 0
208 206 -207 0
-209 11 0
-209 -17 0
209 -11 17 0
-210 208 0
-210 209 0
210 -208 -209 0
211 -208 0
211 -209 0
-211 208 209 0
-212 -210 0
-212 211 0
212 210 -211 0
-213 -183 0
-213 212 0
213 183 -212 0
-214 183 0
-214 -212 0
214 -183 212 0
215 -213 0
215 -214 0
-215 213 214 0
216 -10 0
216 -18 0
-216 10 18 0
217 -215 0
217 -216 0
-217 215 216 0
-218 215 0
-218 216 0
218 -215 -216 0
-219 217 0
-219 -218 0
219 -217 218 0
-220 180 0
-220 219 0
220 -180 -219 0
221 -180 0
221 -219 0
-221 180 219 0
-222 -220 0
-222 221 0
222 220 -221 0
-223 -12 0
-223 19 0
223 12 -19 0
-224 222 0
-224 223 0
224 -222 -223 0
225 -222 0
225 -223 0
226 224 -225 0
-227 217 0
-227 -220 0
227 -217 220 0
228 -210 0
228 -213 0
-228 210 213 0
229 -203 0
229 -206 0
-229 203 206 0
230 -196 0
230 -199 0
-230 196 199 0
231 -189 0
231 -192 0
-231 189 192 0
-232 5 0
-232 -13 0
232 -5 13 0
-233 6 0
-233 -14 0
233 -6 14 0
-234 232 0
-234 233 0
234 -232 -233 0
235 -232 0
235 -233 0
-235 232 233 0
-236 -234 0
-236 235 0
236 234 -235 0
-237 231 0
-237 236 0
237 -231 -236 0
238 -231 0
238 -236 0
-238 231 236 0
-239 -237 0
-239 238 0
239 237 -238 0
-240 7 0
-240 -15 0
240 -7 15 0
-241 239 0
-241 240 0
241 -239 -240 0
242 -239 0
242 -240 0
-242 239 240 0
-243 -241 0
-243 242 0
243 241 -242 0
-244 230 0
-244 243 0
244 -230 -243 0
245 -230 0
245 -243 0
-245 230 243 0
-246 -244 0
-246 245 0
246 244 -245 0
-247 8 0
-247 -16 0
247 -8 16 0
-248 246 0
-248 247 0
248 -246 -247 0
249 -246 0
249 -247 0
-249 246 247 0
-250 -248 0
-250 249 0
250 248 -249 0
-251 229 0
-251 250 0
251 -229 -250 0
252 -229 0
252 -250 0
-252 229 250 0
-253 -251 0
-253 252 0
253 251 -252 0
-254 9 0
-254 -17 0
254 -9 17 0
-255 253 0
-255 254 0
255 -253 -254 0
256 -253 0
256 -254 0
-256 253 254 0
-257 -255 0
-257 256 0
257 255 -256 0
-258 228 0
-258 257 0
258 -228 -257 0
259 -228 0
259 -257 0
-259 228 257 0
-260 -258 0
-260 259 0
260 258 -259 0
-261 11 0
-261 -18 0
261 -11 18 0
-262 260 0
-262 261 0
262 -260 -261 0
263 -260 0
263 -261 0
-263 260 261 0
-264 -262 0
-264 263 0
264 262 -263 0
-265 -227 0
-265 264 0
265 227 -264 0
-266 227 0
-266 -264 0
266 -227 264 0
267 -265 0
267 -266 0
-267 265 266 0
-268 -10 0
-268 19 0
268 10 -19 0
-269 -267 0
-269 268 0
269 267 -268 0
-270 267 0
-270 -268 0
270 -267 268 0
271 -269 0
271 -270 0
-271 269 270 0
-272 224 0
-272 -271 0
272 -224 271 0
-273 -224 0
-273 271 0
273 224 -271 0
274 -272 0
274 -273 0
-274 272 273 0
-275 -12 0
-275 20 0
275 12 -20 0
-276 -274 0
-276 275 0
276 274 -275 0
277 -274 275 0
278 -276 0
278 -277 0
279 -269 0
279 -272 0
-279 269 272 0
280 -262 0
280 -265 0
-280 262 265 0
281 -255 0
281 -258 0
-281 255 258 0
282 -248 0
282 -251 0
-282 248 251 0
283 -241 0
283 -244 0
-283 241 244 0
284 -234 0
284 -237 0
-284 234 237 0
285 -4 0
285 -13 0
-285 4 13 0
-286 5 0
-286 -14 0
286 -5 14 0
-287 -285 0
-287 286 0
287 285 -286 0
-288 285 0
-288 -286 0
288 -285 286 0
289 -287 0
289 -288 0
-289 287 288 0
-290 284 0
-290 -289 0
290 -284 289 0
-291 -284 0
-291 289 0
291 284 -289 0
292 -290 0
292 -291 0
-292 290 291 0
-293 6 0
-293 -15 0
293 -6 15 0
-294 -292 0
-294 293 0
294 292 -293 0
-295 292 0
-295 -293 0
295 -292 293 0
296 -294 0
296 -295 0
-296 294 295 0
-297 283 0
-297 -296 0
297 -283 296 0
-298 -283 0
-298 296 0
298 283 -296 0
299 -297 0
299 -298 0
-299 297 298 0
-300 7 0
-300 -16 0
300 -7 16 0
-301 -299 0
-301 300 0
301 299 -300 0
-302 299 0
-302 -300 0
302 -299 300 0
303 -301 0
303 -302 0
-303 301 302 0
-304 282 0
-304 -303 0
304 -282 303 0
-305 -282 0
-305 303 0
305 282 -303 0
306 -304 0
306 -305 0
-306 304 305 0
-307 8 0
-307 -17 0
307 -8 17 0
-308 -306 0
-308 307 0
308 306 -307 0
-309 306 0
-309 -307 0
309 -306 307 0
310 -308 0
310 -309 0
-310 308 309 0
-311 281 0
-311 -310 0
311 -281 310 0
-312 -281 0
-312 310 0
312 281 -310 0
313 -311 0
313 -312 0
-313 311 312 0
-314 9 0
-314 -18 0
314 -9 18 0
-315 -313 0
-315 314 0
315 313 -314 0
-316 313 0
-316 -314 0
316 -313 314 0
317 -315 0
317 -316 0
-317 315 316 0
-318 280 0
-318 -317 0
318 -280 317 0
-319 -280 0
-319 317 0
319 280 -317 0
320 -318 0
320 -319 0
-320 318 319 0
-321 11 0
-321 19 0
321 -11 -19 0
-322 -320 0
-322 321 0
322 320 -321 0
-323 320 0
-323 -321 0
323 -320 321 0
324 -322 0
324 -323 0
-324 322 323 0
-325 279 0
-325 -324 0
325 -279 324 0
-326 -279 0
-326 324 0
326 279 -324 0
327 -325 0
327 -326 0
-327 325 326 0
-328 -10 0
-328 20 0
328 10 -20 0
-329 -327 0
-329 328 0
329 327 -328 0
-330 327 0
-330 -328 0
330 -327 328 0
331 -329 0
331 -330 0
-331 329 330 0
-332 276 0
-332 -331 0
332 -276 331 0
-333 -276 0
-333 331 0
333 276 -331 0
334 -332 0
334 -333 0
-334 332 333 0
-335 -12 0
-335 21 0
335 12 -21 0
-336 -334 0
-336 335 0
336 334 -335 0
337 -334 335 0
338 -336 0
338 -337 0
339 -329 0
339 -332 0
-339 329 332 0
340 -322 0
340 -325 0
-340 322 325 0
341 -315 0
341 -318 0
-341 315 318 0
342 -308 0
342 -311 0
-342 308 311 0
343 -301 0
343 -304 0
-343 301 304 0
344 -294 0
344 -297 0
-344 294 297 0
345 -287 0
345 -290 0
-345 287 290 0
-346 3 0
-346 -13 0
346 -3 13 0
347 -4 0
347 -14 0
-347 4 14 0
-348 346 0
-348 -347 0
348 -346 347 0
-349 -346 0
-349 347 0
349 346 -347 0
350 -348 0
350 -349 0
-350 348 349 0
-351 345 0
-351 -350 0
351 -345 350 0
-352 -345 0
-352 350 0
352 345 -350 0
353 -351 0
353 -352 0
-353 351 352 0
-354 5 0
-354 -15 0
354 -5 15 0
-355 -353 0
-355 354 0
355 353 -354 0
-356 353 0
-356 -354 0
356 -353 354 0
357 -355 0
357 -356 0
-357 355 356 0
-358 344 0
-358 -357 0
358 -344 357 0
-359 -344 0
-359 357 0
359 344 -357 0
360 -358 0
360 -359 0
-360 358 359 0
-361 6 0
-361 -16 0
361 -6 16 0
-362 -360 0
-362 361 0
362 360 -361 0
-363 360 0
-363 -361 0
363 -360 361 0
364 -362 0
364 -363 0
-364 362 363 0
-365 343 0
-365 -364 0
365 -343 364 0
-366 -343 0
-366 364 0
366 343 -364 0
367 -365 0
367 -366 0
-367 365 366 0
-368 7 0
-368 -17 0
368 -7 17 0
-369 -367 0
-369 368 0
369 367 -368 0
-370 367 0
-370 -368 0
370 -367 368 0
371 -369 0
371 -370 0
-371 369 370 0
-372 342 0
-372 -371 0
372 -342 371 0
-373 -342 0
-373 371 0
373 342 -371 0
374 -372 0
374 -373 0
-374 372 373 0
-375 8 0
-375 -18 0
375 -8 18 0
-376 -374 0
-376 375 0
376 374 -375 0
-377 374 0
-377 -375 0
377 -374 375 0
378 -376 0
378 -377 0
-378 376 377 0
-379 341 0
-379 -378 0
379 -341 378 0
-380 -341 0
-380 378 0
380 341 -378 0
381 -379 0
381 -380 0
-381 379 380 0
-382 9 0
-382 19 0
382 -9 -19 0
-383 -381 0
-383 382 0
383 381 -382 0
-384 381 0
-384 -382 0
384 -381 382 0
385 -383 0
385 -384 0
-385 383 384 0
-386 340 0
-386 -385 0
386 -340 385 0
-387 -340 0
-387 385 0
387 340 -385 0
388 -386 0
388 -387 0
-388 386 387 0
-389 11 0
-389 20 0
389 -11 -20 0
-390 -388 0
-390 389 0
390 388 -389 0
-391 388 0
-391 -389 0
391 -388 389 0
392 -390 0
392 -391 0
-392 390 391 0
-393 339 0
-393 -392 0
393 -339 392 0
-394 -339 0
-394 392 0
394 339 -392 0
395 -393 0
395 -394 0
-395 393 394 0
-396 -10 0
-396 21 0
396 10 -21 0
-397 -395 0
-397 396 0
397 395 -396 0
-398 395 0
-398 -396 0
398 -395 396 0
399 -397 0
399 -398 0
-399 397 398 0
-400 336 0
-400 -399 0
400 -336 399 0
-401 -336 0
-401 399 0
401 336 -399 0
402 -400 0
402 -401 0
-402 400 401 0
-403 -12 0
-403 22 0
403 12 -22 0
-404 -402 0
-404 403 0
404 402 -403 0
405 -402 403 0
406 -404 0
406 -405 0
407 -397 0
407 -400 0
-407 397 400 0
408 -390 0
408 -393 0
-408 390 393 0
409 -383 0
409 -386 0
-409 383 386 0
410 -376 0
410 -379 0
-410 376 379 0
411 -369 0
411 -372 0
-411 369 372 0
412 -362 0
412 -365 0
-412 362 365 0
413 -355 0
413 -358 0
-413 355 358 0
414 -348 0
414 -351 0
-414 348 351 0
415 -2 0
415 -13 0
-415 2 13 0
-416 3 0
-416 -14 0
416 -3 14 0
-417 -415 0
-417 416 0
417 415 -416 0
-418 415 0
-418 -416 0
418 -415 416 0
419 -417 0
419 -418 0
-419 417 418 0
-420 414 0
-420 -419 0
420 -414 419 0
-421 -414 0
-421 419 0
421 414 -419 0
422 -420 0
422 -421 0
-422 420 421 0
423 -4 0
423 -15 0
-423 4 15 0
424 -422 0
424 -423 0
-424 422 423 0
-425 422 0
-425 423 0
425 -422 -423 0
-426 424 0
-426 -425 0
426 -424 425 0
-427 413 0
-427 426 0
427 -413 -426 0
428 -413 0
428 -426 0
-428 413 426 0
-429 -427 0
-429 428 0
429 427 -428 0
-430 5 0
-430 -16 0
430 -5 16 0
-431 429 0
-431 430 0
431 -429 -430 0
432 -429 0
432 -430 0
-432 429 430 0
-433 -431 0
-433 432 0
433 431 -432 0
-434 412 0
-434 433 0
434 -412 -433 0
435 -412 0
435 -433 0
-435 412 433 0
-436 -434 0
-436 435 0
436 434 -435 0
-437 6 0
-437 -17 0
437 -6 17 0
-438 436 0
-438 437 0
438 -436 -437 0
439 -436 0
439 -437 0
-439 436 437 0
-440 -438 0
-440 439 0
440 438 -439 0
-441 411 0
-441 440 0
441 -411 -440 0
442 -411 0
442 -440 0
-442 411 440 0
-443 -441 0
-443 442 0
443 441 -442 0
-444 7 0
-444 -18 0
444 -7 18 0
-445 443 0
-445 444 0
445 -443 -444 0
446 -443 0
446 -444 0
-446 443 444 0
-447 -445 0
-447 446 0
447 445 -446 0
-448 410 0
-448 447 0
448 -410 -447 0
449 -410 0
449 -447 0
-449 410 447 0
-450 -448 0
-450 449 0
450 448 -449 0
-451 8 0
-451 19 0
451 -8 -19 0
-452 450 0
-452 451 0
452 -450 -451 0
453 -450 0
453 -451 0
-453 450 451 0
-454 -452 0
-454 453 0
454 452 -453 0
-455 409 0
-455 454 0
455 -409 -454 0
456 -409 0
456 -454 0
-456 409 454 0
-457 -455 0
-457 456 0
457 455 -456 0
-458 9 0
-458 20 0
458 -9 -20 0
-459 457 0
-459 458 0
459 -457 -458 0
460 -457 0
460 -458 0
-460 457 458 0
-461 -459 0
-461 460 0
461 459 -460 0
-462 408 0
-462 461 0
462 -408 -461 0
463 -408 0
463 -461 0
-463 408 461 0
-464 -462 0
-464 463 0
464 462 -463 0
-465 11 0
-465 21 0
465 -11 -21 0
-466 464 0
-466 465 0
466 -464 -465 0
467 -464 0
467 -465 0
-467 464 465 0
-468 -466 0
-468 467 0
468 466 -467 0
-469 407 0
-469 468 0
469 -407 -468 0
470 -407 0
470 -468 0
-470 407 468 0
-471 -469 0
-471 470 0
471 469 -470 0
-472 -10 0
-472 22 0
472 10 -22 0
-473 471 0
-473 472 0
473 -471 -472 0
474 -471 0
474 -472 0
-474 471 472 0
-475 -473 0
-475 474 0
475 473 -474 0
-476 404 0
-476 475 0
476 -404 -475 0
477 -404 0
477 -475 0
-477 404 475 0
-478 -476 0
-478 477 0
478 476 -477 0
-479 -12 0
-479 23 0
479 12 -23 0
-480 478 0
-480 479 0
480 -478 -479 0
481 -478 0
481 -479 0
482 480 -481 0
483 -473 0
483 -476 0
-483 473 476 0
484 -466 0
484 -469 0
-484 466 469 0
485 -459 0
485 -462 0
-485 459 462 0
486 -452 0
486 -455 0
-486 452 455 0
487 -445 0
487 -448 0
-487 445 448 0
488 -438 0
488 -441 0
-488 438 441 0
489 -431 0
489 -434 0
-489 431 434 0
-490 424 0
-490 -427 0
490 -424 427 0
491 -417 0
491 -420 0
-491 417 420 0
-492 1 0
-492 -13 0
492 -1 13 0
493 -2 0
493 -14 0
-493 2 14 0
-494 492 0
-494 -493 0
494 -492 493 0
-495 -492 0
-495 493 0
495 492 -493 0
496 -494 0
496 -495 0
-496 494 495 0
-497 491 0
-497 -496 0
497 -491 496 0
-498 -491 0
-498 496 0
498 491 -496 0
499 -497 0
499 -498 0
-499 497 498 0
-500 3 0
-500 -15 0
500 -3 15 0
-501 -499 0
-501 500 0
501 499 -500 0
-502 499 0
-502 -500 0
502 -499 500 0
503 -501 0
503 -502 0
-503 501 502 0
504 -490 0
504 -503 0
-504 490 503 0
-505 490 0
-505 503 0
505 -490 -503 0
-506 504 0
-506 -505 0
506 -504 505 0
507 -4 0
507 -16 0
-507 4 16 0
-508 506 0
-508 -507 0
508 -506 507 0
-509 -506 0
-509 507 0
509 506 -507 0
510 -508 0
510 -509 0
-510 508 509 0
-511 489 0
-511 -510 0
511 -489 510 0
-512 -489 0
-512 510 0
512 489 -510 0
513 -511 0
513 -512 0
-513 511 512 0
-514 5 0
-514 -17 0
514 -5 17 0
-515 -513 0
-515 514 0
515 513 -514 0
-516 513 0
-516 -514 0
516 -513 514 0
517 -515 0
517 -516 0
-517 515 516 0
-518 488 0
-518 -517 0
518 -488 517 0
-519 -488 0
-519 517 0
519 488 -517 0
520 -518 0
520 -519 0
-520 518 519 0
-521 6 0
-521 -18 0
521 -6 18 0
-522 -520 0
-522 521 0
522 520 -521 0
-523 520 0
-523 -521 0
523 -520 521 0
524 -522 0
524 -523 0
-524 522 523 0
-525 487 0
-525 -524 0
525 -487 524 0
-526 -487 0
-526 524 0
526 487 -524 0
527 -525 0
527 -526 0
-527 525 526 0
-528 7 0
-528 19 0
528 -7 -19 0
-529 -527 0
-529 528 0
529 527 -528 0
-530 527 0
-530 -528 0
530 -527 528 0
531 -529 0
531 -530 0
-531 529 530 0
-532 486 0
-532 -531 0
532 -486 531 0
-533 -486 0
-533 531 0
533 486 -531 0
534 -532 0
534 -533 0
-534 532 533 0
-535 8 0
-535 20 0
535 -8 -20 0
-536 -534 0
-536 535 0
536 534 -535 0
-537 534 0
-537 -535 0
537 -534 535 0
538 -536 0
538 -537 0
-538 536 537 0
-539 485 0
-539 -538 0
539 -485 538 0
-540 -485 0
-540 538 0
540 485 -538 0
541 -539 0
541 -540 0
-541 539 540 0
-542 9 0
-542 21 0
542 -9 -21 0
-543 -541 0
-543 542 0
543 541 -542 0
-544 541 0
-544 -542 0
544 -541 542 0
545 -543 0
545 -544 0
-545 543 544 0
-546 484 0
-546 -545 0
546 -484 545 0
-547 -484 0
-547 545 0
547 484 -545 0
548 -546 0
548 -547 0
-548 546 547 0
-549 11 0
-549 22 0
549 -11 -22 0
-550 -548 0
-550 549 0
550 548 -549 0
-551 548 0
-551 -549 0
551 -548 549 0
552 -550 0
552 -551 0
-552 550 551 0
-553 483 0
-553 -552 0
553 -483 552 0
-554 -483 0
-554 552 0
554 483 -552 0
555 -553 0
555 -554 0
-555 553 554 0
-556 -10 0
-556 23 0
556 10 -23 0
-557 -555 0
-557 556 0
557 555 -556 0
-558 555 0
-558 -556 0
558 -555 556 0
559 -557 0
559 -558 0
-559 557 558 0
-560 480 0
-560 -559 0
560 -480 559 0
-561 -480 0
-561 559 0
561 480 -559 0
562 -560 0
562 -561 0
-562 560 561 0
563 -12 0
563 -24 0
-563 12 24 0
564 -562 0
564 -563 0
-564 562 563 0
-565 562 0
-565 563 0
566 -564 565 0
567 -557 0
567 -560 0
-567 557 560 0
568 -550 0
568 -553 0
-568 550 553 0
569 -543 0
569 -546 0
-569 543 546 0
570 -536 0
570 -539 0
-570 536 539 0
571 -529 0
571 -532 0
-571 529 532 0
572 -522 0
572 -525 0
-572 522 525 0
573 -515 0
573 -518 0
-573 515 518 0
574 -508 0
574 -511 0
-574 508 511 0
-575 -501 0
-575 504 0
575 501 -504 0
576 -494 0
576 -497 0
-576 494 497 0
-577 1 0
-577 -14 0
577 -1 14 0
-578 576 0
-578 577 0
578 -576 -577 0
579 -576 0
579 -577 0
-579 576 577 0
-580 -578 0
-580 579 0
580 578 -579 0
581 -2 0
581 -15 0
-581 2 15 0
-582 580 0
-582 -581 0
582 -580 581 0
-583 -580 0
-583 581 0
583 580 -581 0
584 -582 0
584 -583 0
-584 582 583 0
585 -575 0
585 -584 0
-585 575 584 0
-586 575 0
-586 584 0
586 -575 -584 0
-587 585 0
-587 -586 0
587 -585 586 0
-588 3 0
-588 -16 0
588 -3 16 0
-589 587 0
-589 588 0
589 -587 -588 0
590 -587 0
590 -588 0
-590 587 588 0
-591 -589 0
-591 590 0
591 589 -590 0
-592 574 0
-592 591 0
592 -574 -591 0
593 -574 0
593 -591 0
-593 574 591 0
-594 -592 0
-594 593 0
594 592 -593 0
595 -4 0
595 -17 0
-595 4 17 0
-596 594 0
-596 -595 0
596 -594 595 0
-597 -594 0
-597 595 0
597 594 -595 0
598 -596 0
598 -597 0
-598 596 597 0
-599 573 0
-599 -598 0
599 -573 598 0
-600 -573 0
-600 598 0
600 573 -598 0
601 -599 0
601 -600 0
-601 599 600 0
-602 5 0
-602 -18 0
602 -5 18 0
-603 -601 0
-603 602 0
603 601 -602 0
-604 601 0
-604 -602 0
604 -601 602 0
605 -603 0
605 -604 0
-605 603 604 0
-606 572 0
-606 -605 0
606 -572 605 0
-607 -572 0
-607 605 0
607 572 -605 0
608 -606 0
608 -607 0
-608 606 607 0
-609 6 0
-609 19 0
609 -6 -19 0
-610 -608 0
-610 609 0
610 608 -609 0
-611 608 0
-611 -609 0
611 -608 609 0
612 -610 0
612 -611 0
-612 610 611 0
-613 571 0
-613 -612 0
613 -571 612 0
-614 -571 0
-614 612 0
614 571 -612 0
615 -613 0
615 -614 0
-615 613 614 0
-616 7 0
-616 20 0
616 -7 -20 0
-617 -615 0
-617 616 0
617 615 -616 0
-618 615 0
-618 -616 0
618 -615 616 0
619 -617 0
619 -618 0
-619 617 618 0
-620 570 0
-620 -619 0
620 -570 619 0
-621 -570 0
-621 619 0
621 570 -619 0
622 -620 0
622 -621 0
-622 620 621 0
-623 8 0
-623 21 0
623 -8 -21 0
-624 -622 0
-624 623 0
624 622 -623 0
-625 622 0
-625 -623 0
625 -622 623 0
626 -624 0
626 -625 0
-626 624 625 0
-627 569 0
-627 -626 0
627 -569 626 0
-628 -569 0
-628 626 0
628 569 -626 0
629 -627 0
629 -628 0
-629 627 628 0
-630 9 0
-630 22 0
630 -9 -22 0
-631 -629 0
-631 630 0
631 629 -630 0
-632 629 0
-632 -630 0
632 -629 630 0
633 -631 0
633 -632 0
-633 631 632 0
-634 568 0
-634 -633 0
634 -568 633 0
-635 -568 0
-635 633 0
635 568 -633 0
636 -634 0
636 -635 0
-636 634 635 0
-637 11 0
-637 23 0
637 -11 -23 0
-638 -636 0
-638 637 0
638 636 -637 0
-639 636 0
-639 -637 0
639 -636 637 0
640 -638 0
640 -639 0
-640 638 639 0
-641 567 0
-641 -640 0
641 -567 640 0
-642 -567 0
-642 640 0
642 567 -640 0
643 -641 0
643 -642 0
-643 641 642 0
644 -10 0
644 -24 0
-644 10 24 0
645 -643 0
645 -644 0
-645 643 644 0
-646 643 0
-646 644 0
646 -643 -644 0
-647 645 0
-647 -646 0
647 -645 646 0
-648 -564 0
-648 647 0
648 564 -647 0
649 -564 647 0
650 -648 0
650 -649 0
-651 645 0
-651 -648 0
651 -645 648 0
652 -638 0
652 -641 0
-652 638 641 0
653 -631 0
653 -634 0
-653 631 634 0
654 -624 0
654 -627 0
-654 624 627 0
655 -617 0
655 -620 0
-655 617 620 0
656 -610 0
656 -613 0
-656 610 613 0
657 -603 0
657 -606 0
-657 603 606 0
658 -596 0
658 -599 0
-658 596 599 0
659 -589 0
659 -592 0
-659 589 592 0
-660 -582 0
-660 585 0
660 582 -585 0
-661 1 0
-661 -15 0
661 -1 15 0
-662 578 0
-662 661 0
662 -578 -661 0
663 -578 0
663 -661 0
-663 578 661 0
-664 -662 0
-664 663 0
664 662 -663 0
-665 -660 0
-665 664 0
665 660 -664 0
-666 660 0
-666 -664 0
666 -660 664 0
667 -665 0
667 -666 0
-667 665 666 0
668 -2 0
668 -16 0
-668 2 16 0
669 -667 0
669 -668 0
-669 667 668 0
-670 667 0
-670 668 0
670 -667 -668 0
-671 669 0
-671 -670 0
671 -669 670 0
-672 659 0
-672 671 0
672 -659 -671 0
673 -659 0
673 -671 0
-673 659 671 0
-674 -672 0
-674 673 0
674 672 -673 0
-675 3 0
-675 -17 0
675 -3 17 0
-676 674 0
-676 675 0
676 -674 -675 0
677 -674 0
677 -675 0
-677 674 675 0
-678 -676 0
-678 677 0
678 676 -677 0
-679 658 0
-679 678 0
679 -658 -678 0
680 -658 0
680 -678 0
-680 658 678 0
-681 -679 0
-681 680 0
681 679 -680 0
682 -4 0
682 -18 0
-682 4 18 0
-683 681 0
-683 -682 0
683 -681 682 0
-684 -681 0
-684 682 0
684 681 -682 0
685 -683 0
685 -684 0
-685 683 684 0
-686 657 0
-686 -685 0
686 -657 685 0
-687 -657 0
-687 685 0
687 657 -685 0
688 -686 0
688 -687 0
-688 686 687 0
-689 5 0
-689 19 0
689 -5 -19 0
-690 -688 0
-690 689 0
690 688 -689 0
-691 688 0
-691 -689 0
691 -688 689 0
692 -690 0
692 -691 0
-692 690 691 0
-693 656 0
-693 -692 0
693 -656 692 0
-694 -656 0
-694 692 0
694 656 -692 0
695 -693 0
695 -694 0
-695 693 694 0
-696 6 0
-696 20 0
696 -6 -20 0
-697 -695 0
-697 696 0
697 695 -696 0
-698 695 0
-698 -696 0
698 -695 696 0
699 -697 0
699 -698 0
-699 697 698 0
-700 655 0
-700 -699 0
700 -655 699 0
-701 -655 0
-701 699 0
701 655 -699 0
702 -700 0
702 -701 0
-702 700 701 0
-703 7 0
-703 21 0
703 -7 -21 0
-704 -702 0
-704 703 0
704 702 -703 0
-705 702 0
-705 -703 0
705 -702 703 0
706 -704 0
706 -705 0
-706 704 705 0
-707 654 0
-707 -706 0
707 -654 706 0
-708 -654 0
-708 706 0
708 654 -706 0
709 -707 0
709 -708 0
-709 707 708 0
-710 8 0
-710 22 0
710 -8 -22 0
-711 -709 0
-711 710 0
711 709 -710 0
-712 709 0
-712 -710 0
712 -709 710 0
713 -711 0
713 -712 0
-713 711 712 0
-714 653 0
-714 -713 0
714 -653 713 0
-715 -653 0
-715 713 0
715 653 -713 0
716 -714 0
716 -715 0
-716 714 715 0
-717 9 0
-717 23 0
717 -9 -23 0
-718 -716 0
-718 717 0
718 716 -717 0
-719 716 0
-719 -717 0
719 -716 717 0
720 -718 0
720 -719 0
-720 718 719 0
-721 652 0
-721 -720 0
721 -652 720 0
-722 -652 0
-722 720 0
722 652 -720 0
723 -721 0
723 -722 0
-723 721 722 0
-724 11 0
-724 -24 0
724 -11 24 0
-725 -723 0
-725 724 0
725 723 -724 0
-726 723 0
-726 -724 0
726 -723 724 0
727 -725 0
727 -726 0
-727 725 726 0
728 -651 0
728 -727 0
-728 651 727 0
-729 651 0
-729 727 0
730 -728 729 0
-731 -725 0
-731 728 0
731 725 -728 0
732 -718 0
732 -721 0
-732 718 721 0
733 -711 0
733 -714 0
-733 711 714 0
734 -704 0
734 -707 0
-734 704 707 0
735 -697 0
735 -700 0
-735 697 700 0
736 -690 0
736 -693 0
-736 690 693 0
737 -683 0
737 -686 0
-737 683 686 0
738 -676 0
738 -679 0
-738 676 679 0
-739 669 0
-739 -672 0
739 -669 672 0
740 -662 0
740 -665 0
-740 662 665 0
-741 1 0
-741 -16 0
741 -1 16 0
-742 740 0
-742 741 0
742 -740 -741 0
743 -740 0
743 -741 0
-743 740 741 0
-744 -742 0
-744 743 0
744 742 -743 0
-745 -739 0
-745 744 0
745 739 -744 0
-746 739 0
-746 -744 0
746 -739 744 0
747 -745 0
747 -746 0
-747 745 746 0
748 -2 0
748 -17 0
-748 2 17 0
749 -747 0
749 -748 0
-749 747 748 0
-750 747 0
-750 748 0
750 -747 -748 0
-751 749 0
-751 -750 0
751 -749 750 0
-752 738 0
-752 751 0
752 -738 -751 0
753 -738 0
753 -751 0
-753 738 751 0
-754 -752 0
-754 753 0
754 752 -753 0
-755 3 0
-755 -18 0
755 -3 18 0
-756 754 0
-756 755 0
756 -754 -755 0
757 -754 0
757 -755 0
-757 754 755 0
-758 -756 0
-758 757 0
758 756 -757 0
-759 737 0
-759 758 0
759 -737 -758 0
760 -737 0
760 -758 0
-760 737 758 0
-761 -759 0
-761 760 0
761 759 -760 0
-762 -4 0
-762 19 0
762 4 -19 0
-763 761 0
-763 762 0
763 -761 -762 0
764 -761 0
764 -762 0
-764 761 762 0
-765 -763 0
-765 764 0
765 763 -764 0
-766 736 0
-766 765 0
766 -736 -765 0
767 -736 0
767 -765 0
-767 736 765 0
-768 -766 0
-768 767 0
768 766 -767 0
-769 5 0
-769 20 0
769 -5 -20 0
-770 768 0
-770 769 0
770 -768 -769 0
771 -768 0
771 -769 0
-771 768 769 0
-772 -770 0
-772 771 0
772 770 -771 0
-773 735 0
-773 772 0
773 -735 -772 0
774 -735 0
774 -772 0
-774 735 772 0
-775 -773 0
-775 774 0
775 773 -774 0
-776 6 0
-776 21 0
776 -6 -21 0
-777 775 0
-777 776 0
777 -775 -776 0
778 -775 0
778 -776 0
-778 775 776 0
-779 -777 0
-779 778 0
779 777 -778 0
-780 734 0
-780 779 0
780 -734 -779 0
781 -734 0
781 -779 0
-781 734 779 0
-782 -780 0
-782 781 0
782 780 -781 0
-783 7 0
-783 22 0
783 -7 -22 0
-784 782 0
-784 783 0
784 -782 -783 0
785 -782 0
785 -783 0
-785 782 783 0
-786 -784 0
-786 785 0
786 784 -785 0
-787 733 0
-787 786 0
787 -733 -786 0
788 -733 0
788 -786 0
-788 733 786 0
-789 -787 0
-789 788 0
789 787 -788 0
-790 8 0
-790 23 0
790 -8 -23 0
-791 789 0
-791 790 0
791 -789 -790 0
792 -789 0
792 -790 0
-792 789 790 0
-793 -791 0
-793 792 0
793 791 -792 0
-794 732 0
-794 793 0
794 -732 -793 0
795 -732 0
795 -793 0
-795 732 793 0
-796 -794 0
-796 795 0
796 794 -795 0
-797 9 0
-797 -24 0
797 -9 24 0
-798 796 0
-798 797 0
798 -796 -797 0
799 -796 0
799 -797 0
-799 796 797 0
-800 -798 0
-800 799 0
800 798 -799 0
-801 -731 0
-801 800 0
801 731 -800 0
802 -731 800 0
803 -801 0
803 -802 0
804 -798 0
804 -801 0
-804 798 801 0
805 -791 0
805 -794 0
-805 791 794 0
806 -784 0
806 -787 0
-806 784 787 0
807 -777 0
807 -780 0
-807 777 780 0
808 -770 0
808 -773 0
-808 770 773 0
809 -763 0
809 -766 0
-809 763 766 0
810 -756 0
810 -759 0
-810 756 759 0
-811 749 0
-811 -752 0
811 -749 752 0
812 -742 0
812 -745 0
-812 742 745 0
-813 1 0
-813 -17 0
813 -1 17 0
-814 812 0
-814 813 0
814 -812 -813 0
815 -812 0
815 -813 0
-815 812 813 0
-816 -814 0
-816 815 0
816 814 -815 0
-817 -811 0
-817 816 0
817 811 -816 0
-818 811 0
-818 -816 0
818 -811 816 0
819 -817 0
819 -818 0
-819 817 818 0
820 -2 0
820 -18 0
-820 2 18 0
821 -819 0
821 -820 0
-821 819 820 0
-822 819 0
-822 820 0
822 -819 -820 0
-823 821 0
-823 -822 0
823 -821 822 0
-824 810 0
-824 823 0
824 -810 -823 0
825 -810 0
825 -823 0
-825 810 823 0
-826 -824 0
-826 825 0
826 824 -825 0
-827 3 0
-827 19 0
827 -3 -19 0
-828 826 0
-828 827 0
828 -826 -827 0
829 -826 0
829 -827 0
-829 826 827 0
-830 -828 0
-830 829 0
830 828 -829 0
-831 809 0
-831 830 0
831 -809 -830 0
832 -809 0
832 -830 0
-832 809 830 0
-833 -831 0
-833 832 0
833 831 -832 0
-834 -4 0
-834 20 0
834 4 -20 0
-835 833 0
-835 834 0
835 -833 -834 0
836 -833 0
836 -834 0
-836 833 834 0
-837 -835 0
-837 836 0
837 835 -836 0
-838 808 0
-838 837 0
838 -808 -837 0
839 -808 0
839 -837 0
-839 808 837 0
-840 -838 0
-840 839 0
840 838 -839 0
-841 5 0
-841 21 0
841 -5 -21 0
-842 840 0
-842 841 0
842 -840 -841 0
843 -840 0
843 -841 0
-843 840 841 0
-844 -842 0
-844 843 0
844 842 -843 0
-845 807 0
-845 844 0
845 -807 -844 0
846 -807 0
846 -844 0
-846 807 844 0
-847 -845 0
-847 846 0
847 845 -846 0
-848 6 0
-848 22 0
848 -6 -22 0
-849 847 0
-849 848 0
849 -847 -848 0
850 -847 0
850 -848 0
-850 847 848 0
-851 -849 0
-851 850 0
851 849 -850 0
-852 806 0
-852 851 0
852 -806 -851 0
853 -806 0
853 -851 0
-853 806 851 0
-854 -852 0
-854 853 0
854 852 -853 0
-855 7 0
-855 23 0
855 -7 -23 0
-856 854 0
-856 855 0
856 -854 -855 0
857 -854 0
857 -855 0
-857 854 855 0
-858 -856 0
-858 857 0
858 856 -857 0
-859 805 0
-859 858 0
859 -805 -858 0
860 -805 0
860 -858 0
-860 805 858 0
-861 -859 0
-861 860 0
861 859 -860 0
-862 8 0
-862 -24 0
862 -8 24 0
-863 861 0
-863 862 0
863 -861 -862 0
864 -861 0
864 -862 0
-864 861 862 0
-865 -863 0
-865 864 0
865 863 -864 0
-866 804 0
-866 865 0
866 -804 -865 0
867 -804 0
867 -865 0
868 866 -867 0
869 -863 0
869 -866 0
-869 863 866 0
870 -856 0
870 -859 0
-870 856 859 0
871 -849 0
871 -852 0
-871 849 852 0
872 -842 0
872 -845 0
-872 842 845 0
873 -835 0
873 -838 0
-873 835 838 0
874 -828 0
874 -831 0
-874 828 831 0
-875 821 0
-875 -824 0
875 -821 824 0
876 -814 0
876 -817 0
-876 814 817 0
-877 1 0
-877 -18 0
877 -1 18 0
-878 876 0
-878 877 0
878 -876 -877 0
879 -876 0
879 -877 0
-879 876 877 0
-880 -878 0
-880 879 0
880 878 -879 0
-881 -875 0
-881 880 0
881 875 -880 0
-882 875 0
-882 -880 0
882 -875 880 0
883 -881 0
883 -882 0
-883 881 882 0
-884 -2 0
-884 19 0
884 2 -19 0
-885 -883 0
-885 884 0
885 883 -884 0
-886 883 0
-886 -884 0
886 -883 884 0
887 -885 0
887 -886 0
-887 885 886 0
-888 874 0
-888 -887 0
888 -874 887 0
-889 -874 0
-889 887 0
889 874 -887 0
890 -888 0
890 -889 0
-890 888 889 0
-891 3 0
-891 20 0
891 -3 -20 0
-892 -890 0
-892 891 0
892 890 -891 0
-893 890 0
-893 -891 0
893 -890 891 0
894 -892 0
894 -893 0
-894 892 893 0
-895 873 0
-895 -894 0
895 -873 894 0
-896 -873 0
-896 894 0
896 873 -894 0
897 -895 0
897 -896 0
-897 895 896 0
-898 -4 0
-898 21 0
898 4 -21 0
-899 -897 0
-899 898 0
899 897 -898 0
-900 897 0
-900 -898 0
900 -897 898 0
901 -899 0
901 -900 0
-901 899 900 0
-902 872 0
-902 -901 0
902 -872 901 0
-903 -872 0
-903 901 0
903 872 -901 0
904 -902 0
904 -903 0
-904 902 903 0
-905 5 0
-905 22 0
905 -5 -22 0
-906 -904 0
-906 905 0
906 904 -905 0
-907 904 0
-907 -905 0
907 -904 905 0
908 -906 0
908 -907 0
-908 906 907 0
-909 871 0
-909 -908 0
909 -871 908 0
-910 -871 0
-910 908 0
910 871 -908 0
911 -909 0
911 -910 0
-911 909 910 0
-912 6 0
-912 23 0
912 -6 -23 0
-913 -911 0
-913 912 0
913 911 -912 0
-914 911 0
-914 -912 0
914 -911 912 0
915 -913 0
915 -914 0
-915 913 914 0
-916 870 0
-916 -915 0
916 -870 915 0
-917 -870 0
-917 915 0
917 870 -915 0
918 -916 0
918 -917 0
-918 916 917 0
-919 7 0
-919 -24 0
919 -7 24 0
-920 -918 0
-920 919 0
920 918 -919 0
-921 918 0
-921 -919 0
921 -918 919 0
922 -920 0
922 -921 0
-922 920 921 0
-923 869 0
-923 -922 0
923 -869 922 0
924 869 -922 0
925 -923 0
925 -924 0
926 -920 0
926 -923 0
-926 920 923 0
927 -913 0
927 -916 0
-927 913 916 0
928 -906 0
928 -909 0
-928 906 909 0
929 -899 0
929 -902 0
-929 899 902 0
930 -892 0
930 -895 0
-930 892 895 0
931 -885 0
931 -888 0
-931 885 888 0
932 -878 0
932 -881 0
-932 878 881 0
-933 1 0
-933 19 0
933 -1 -19 0
-934 932 0
-934 933 0
934 -932 -933 0
935 -932 0
935 -933 0
-935 932 933 0
-936 -934 0
-936 935 0
936 934 -935 0
-937 931 0
-937 936 0
937 -931 -936 0
938 -931 0
938 -936 0
-938 931 936 0
-939 -937 0
-939 938 0
939 937 -938 0
-940 -2 0
-940 20 0
940 2 -20 0
-941 939 0
-941 940 0
941 -939 -940 0
942 -939 0
942 -940 0
-942 939 940 0
-943 -941 0
-943 942 0
943 941 -942 0
-944 930 0
-944 943 0
944 -930 -943 0
945 -930 0
945 -943 0
-945 930 943 0
-946 -944 0
-946 945 0
946 944 -945 0
-947 3 0
-947 21 0
947 -3 -21 0
-948 946 0
-948 947 0
948 -946 -947 0
949 -946 0
949 -947 0
-949 946 947 0
-950 -948 0
-950 949 0
950 948 -949 0
-951 929 0
-951 950 0
951 -929 -950 0
952 -929 0
952 -950 0
-952 929 950 0
-953 -951 0
-953 952 0
953 951 -952 0
-954 -4 0
-954 22 0
954 4 -22 0
-955 953 0
-955 954 0
955 -953 -954 0
956 -953 0
956 -954 0
-956 953 954 0
-957 -955 0
-957 956 0
957 955 -956 0
-958 928 0
-958 957 0
958 -928 -957 0
959 -928 0
959 -957 0
-959 928 957 0
-960 -958 0
-960 959 0
960 958 -959 0
-961 5 0
-961 23 0
961 -5 -23 0
-962 960 0
-962 961 0
962 -960 -961 0
963 -960 0
963 -961 0
-963 960 961 0
-964 -962 0
-964 963 0
964 962 -963 0
-965 927 0
-965 964 0
965 -927 -964 0
966 -927 0
966 -964 0
-966 927 964 0
-967 -965 0
-967 966 0
967 965 -966 0
-968 6 0
-968 -24 0
968 -6 24 0
-969 967 0
-969 968 0
969 -967 -968 0
970 -967 0
970 -968 0
-970 967 968 0
-971 -969 0
-971 970 0
971 969 -970 0
-972 926 0
-972 971 0
972 -926 -971 0
973 -926 0
973 -971 0
974 972 -973 0
975 -969 0
975 -972 0
-975 969 972 0
976 -962 0
976 -965 0
-976 962 965 0
977 -955 0
977 -958 0
-977 955 958 0
978 -948 0
978 -951 0
-978 948 951 0
979 -941 0
979 -944 0
-979 941 944 0
980 -934 0
980 -937 0
-980 934 937 0
-981 1 0
-981 20 0
981 -1 -20 0
-982 980 0
-982 981 0
982 -980 -981 0
983 -980 0
983 -981 0
-983 980 981 0
-984 -982 0
-984 983 0
984 982 -983 0
-985 979 0
-985 984 0
985 -979 -984 0
986 -979 0
986 -984 0
-986 979 984 0
-987 -985 0
-987 986 0
987 985 -986 0
-988 -2 0
-988 21 0
988 2 -21 0
-989 987 0
-989 988 0
989 -987 -988 0
990 -987 0
990 -988 0
-990 987 988 0
-991 -989 0
-991 990 0
991 989 -990 0
-992 978 0
-992 991 0
992 -978 -991 0
993 -978 0
993 -991 0
-993 978 991 0
-994 -992 0
-994 993 0
994 992 -993 0
-995 3 0
-995 22 0
995 -3 -22 0
-996 994 0
-996 995 0
996 -994 -995 0
997 -994 0
997 -995 0
-997 994 995 0
-998 -996 0
-998 997 0
998 996 -997 0
-999 977 0
-999 998 0
999 -977 -998 0
1000 -977 0
1000 -998 0
-1000 977 998 0
-1001 -999 0
-1001 1000 0
1001 999 -1000 0
-1002 -4 0
-1002 23 0
1002 4 -23 0
-1003 1001 0
-1003 1002 0
1003 -1001 -1002 0
1004 -1001 0
1004 -1002 0
-1004 1001 1002 0
-1005 -1003 0
-1005 1004 0
1005 1003 -1004 0
-1006 976 0
-1006 1005 0
1006 -976 -1005 0
1007 -976 0
1007 -1005 0
-1007 976 1005 0
-1008 -1006 0
-1008 1007 0
1008 1006 -1007 0
-1009 5 0
-1009 -24 0
1009 -5 24 0
-1010 1008 0
-1010 1009 0
1010 -1008 -1009 0
1011 -1008 0
1011 -1009 0
-1011 1008 1009 0
-1012 -1010 0
-1012 1011 0
1012 1010 -1011 0
-1013 975 0
-1013 1012 0
1013 -975 -1012 0
1014 -975 0
1014 -1012 0
1015 1013 -1014 0
1016 -1010 0
1016 -1013 0
-1016 1010 1013 0
1017 -1003 0
1017 -1006 0
-1017 1003 1006 0
1018 -996 0
1018 -999 0
-1018 996 999 0
1019 -989 0
1019 -992 0
-1019 989 992 0
1020 -982 0
1020 -985 0
-1020 982 985 0
-1021 1 0
-1021 21 0
1021 -1 -21 0
-1022 1020 0
-1022 1021 0
1022 -1020 -1021 0
1023 -1020 0
1023 -1021 0
-1023 1020 1021 0
-1024 -1022 0
-1024 1023 0
1024 1022 -1023 0
-1025 1019 0
-1025 1024 0
1025 -1019 -1024 0
1026 -1019 0
1026 -1024 0
-1026 1019 1024 0
-1027 -1025 0
-1027 1026 0
1027 1025 -1026 0
-1028 -2 0
-1028 22 0
1028 2 -22 0
-1029 1027 0
-1029 1028 0
1029 -1027 -1028 0
1030 -1027 0
1030 -1028 0
-1030 1027 1028 0
-1031 -1029 0
-1031 1030 0
1031 1029 -1030 0
-1032 1018 0
-1032 1031 0
1032 -1018 -1031 0
1033 -1018 0
1033 -1031 0
-1033 1018 1031 0
-1034 -1032 0
-1034 1033 0
1034 1032 -1033 0
-1035 3 0
-1035 23 0
1035 -3 -23 0
-1036 1034 0
-1036 1035 0
1036 -1034 -1035 0
1037 -1034 0
1037 -1035 0
-1037 1034 1035 0
-1038 -1036 0
-1038 1037 0
1038 1036 -1037 0
-1039 1017 0
-1039 1038 0
1039 -1017 -1038 0
1040 -1017 0
1040 -1038 0
-1040 1017 1038 0
-1041 -1039 0
-1041 1040 0
1041 1039 -1040 0
1042 -4 0
1042 -24 0
-1042 4 24 0
-1043 1041 0
-1043 -1042 0
1043 -1041 1042 0
-1044 -1041 0
-1044 1042 0
1044 1041 -1042 0
1045 -1043 0
1045 -1044 0
-1045 1043 1044 0
-1046 1016 0
-1046 -1045 0
1046 -1016 1045 0
1047 1016 -1045 0
1048 -1046 0
1048 -1047 0
1049 -1043 0
1049 -1046 0
-1049 1043 1046 0
1050 -1036 0
1050 -1039 0
-1050 1036 1039 0
1051 -1029 0
1051 -1032 0
-1051 1029 1032 0
1052 -1022 0
1052 -1025 0
-1052 1022 1025 0
-1053 1 0
-1053 22 0
1053 -1 -22 0
-1054 1052 0
-1054 1053 0
1054 -1052 -1053 0
1055 -1052 0
1055 -1053 0
-1055 1052 1053 0
-1056 -1054 0
-1056 1055 0
1056 1054 -1055 0
-1057 1051 0
-1057 1056 0
1057 -1051 -1056 0
1058 -1051 0
1058 -1056 0
-1058 1051 1056 0
-1059 -1057 0
-1059 1058 0
1059 1057 -1058 0
-1060 -2 0
-1060 23 0
1060 2 -23 0
-1061 1059 0
-1061 1060 0
1061 -1059 -1060 0
1062 -1059 0
1062 -1060 0
-1062 1059 1060 0
-1063 -1061 0
-1063 1062 0
1063 1061 -1062 0
-1064 1050 0
-1064 1063 0
1064 -1050 -1063 0
1065 -1050 0
1065 -1063 0
-1065 1050 1063 0
-1066 -1064 0
-1066 1065 0
1066 1064 -1065 0
-1067 3 0
-1067 -24 0
1067 -3 24 0
-1068 1066 0
-1068 1067 0
1068 -1066 -1067 0
1069 -1066 0
1069 -1067 0
-1069 1066 1067 0
-1070 -1068 0
-1070 1069 0
1070 1068 -1069 0
-1071 1049 0
-1071 1070 0
1071 -1049 -1070 0
1072 -1049 0
1072 -1070 0
1073 1071 -1072 0
1074 -1068 0
1074 -1071 0
-1074 1068 1071 0
1075 -1061 0
1075 -1064 0
-1075 1061 1064 0
1076 -1054 0
1076 -1057 0
-1076 1054 1057 0
-1077 1 0
-1077 23 0
1077 -1 -23 0
-1078 1076 0
-1078 1077 0
1078 -1076 -1077 0
1079 -1076 0
1079 -1077 0
-1079 1076 1077 0
-1080 -1078 0
-1080 1079 0
1080 1078 -1079 0
-1081 1075 0
-1081 1080 0
1081 -1075 -1080 0
1082 -1075 0
1082 -1080 0
-1082 1075 1080 0
-1083 -1081 0
-1083 1082 0
1083 1081 -1082 0
1084 -2 0
1084 -24 0
-1084 2 24 0
-1085 1083 0
-1085 -1084 0
1085 -1083 1084 0
-1086 -1083 0
-1086 1084 0
1086 1083 -1084 0
1087 -1085 0
1087 -1086 0
-1087 1085 1086 0
1088 -1074 1087 0
1089 1074 -1087 0
1090 -1088 0
1090 -1089 0
1091 -1085 0
1091 -1088 0
1092 -1078 0
1092 -1081 0
-1092 1078 1081 0
-1093 1 0
-1093 -24 0
1093 -1 24 0
-1094 1092 0
-1094 1093 0
1094 -1092 -1093 0
1095 -1092 0
1095 -1093 0
1096 1094 -1095 0
1097 -1091 0
1097 -1096 0
1098 -1091 -1096 0
1099 -1094 0
1099 -1098 0
1100 -1097 0
1100 -1099 0
1101 -1090 0
1101 -1100 0
1102 -1073 0
1102 -1101 0
1103 -1048 0
1103 -1102 0
1104 -1015 0
1104 -1103 0
1105 -974 0
1105 -1104 0
1106 -925 0
1106 -1105 0
1107 -868 0
1107 -1106 0
1108 -803 0
1108 -1107 0
1109 -730 0
1109 -1108 0
1110 -650 0
1110 -1109 0
1111 -566 0
1111 -1110 0
1112 -482 0
1112 -1111 0
1113 -406 0
1113 -1112 0
1114 -338 0
1114 -1113 0
1115 -278 0
1115 -1114 0
1116 -226 0
1116 -1115 0
1117 -182 0
1117 -1116 0
1118 -146 0
1118 -1117 0
1119 -118 0
1119 -1118 0
1120 -98 0
1120 -1119 0
1121 -86 0
1121 -1120 0
1122 -81 0
1122 -1121 0
1123 -80 0
1123 -1122 0
-1123 0