source: vis_dev/sharpSAT/test @ 31

Last change on this file since 31 was 9, checked in by cecile, 13 years ago

add sharpSat

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