DPLL/test.cnf at master · recons/DPLL · GitHub

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