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