Free cookie consent management tool by TermsFeed Policy Generator

source: branches/OKBJavaConnector/ECJClient/src/ec/app/sat/data-1000.cnf @ 6152

Last change on this file since 6152 was 6152, checked in by bfarka, 13 years ago

added ecj and custom statistics to communicate with the okb services #1441

File size: 14.7 KB
Line 
1c mkcnf random cnf with seed 55651, max clause length 3
2c FORCED SATISFIABLE
3c
4p cnf 50  1000
524  31  -5  0
616  -44  21  0
730  -24  -32  0
8-19  -9  -44  0
9-32  -15  12  0
10-13  27  -3  0
1118  25  1  0
125  -21  27  0
13-10  -33  -7  0
14-41  -39  31  0
158  37  -14  0
1629  6  -47  0
1715  25  21  0
18-6  -5  -4  0
1931  3  -4  0
20-33  -18  7  0
21-28  21  -16  0
227  17  2  0
23-48  2  -41  0
24-48  -13  -35  0
25-35  -19  49  0
26-43  34  38  0
2745  11  30  0
28-2  -8  23  0
29-2  37  3  0
30-24  -21  8  0
3132  14  -35  0
3230  -26  46  0
33-42  -21  -48  0
348  37  5  0
35-5  -15  34  0
3636  21  -17  0
37-49  23  6  0
3813  21  12  0
3915  -34  40  0
4048  29  41  0
4128  16  -25  0
42-20  12  2  0
4319  -39  -49  0
44-14  48  41  0
45-50  40  -19  0
4649  34  4  0
47-18  -4  -29  0
48-5  24  -28  0
4931  47  40  0
5050  -34  -26  0
51-14  6  45  0
52-17  -38  46  0
53-17  27  34  0
54-45  13  -11  0
55-40  -37  46  0
5640  -45  3  0
5724  35  13  0
58-26  -10  -32  0
5912  37  18  0
6021  -19  50  0
611  8  2  0
62-33  -40  -27  0
63-15  1  -48  0
641  -20  -12  0
65-50  -5  11  0
6645  -43  -22  0
6712  -15  28  0
68-40  -2  23  0
6943  3  27  0
70-32  3  22  0
7111  -20  -34  0
7223  40  -24  0
739  12  41  0
74-19  -2  36  0
7520  28  37  0
7644  42  -39  0
77-2  -35  5  0
78-35  -3  -10  0
7937  11  26  0
80-40  7  -20  0
81-38  -46  7  0
8228  27  -40  0
83-28  15  -5  0
8448  -45  -49  0
85-23  42  25  0
8611  -42  38  0
87-3  42  46  0
88-41  -19  -33  0
8920  33  -26  0
90-49  -40  12  0
91-36  -7  9  0
9243  -39  -30  0
9334  3  24  0
94-4  31  6  0
95-3  39  -31  0
9643  46  -39  0
97-31  -9  30  0
9832  -7  -28  0
9914  -31  29  0
100-37  15  -32  0
10127  9  -40  0
102-14  -5  -3  0
1032  24  37  0
104-39  -37  -21  0
10517  43  -8  0
106-12  30  -20  0
10713  -21  -7  0
108-23  -6  -36  0
109-7  1  -21  0
1108  27  18  0
111-35  -44  -40  0
11214  -12  25  0
11330  21  34  0
11411  24  -1  0
115-48  2  -31  0
116-1  42  37  0
11718  -38  -12  0
11825  8  3  0
119-42  12  43  0
12014  -32  -9  0
12142  44  50  0
12228  -7  -20  0
123-46  -16  40  0
12431  -4  44  0
12534  1  -16  0
126-46  -26  -33  0
12733  -18  -40  0
12819  47  43  0
12941  -27  -30  0
130-40  -43  -8  0
13133  -6  -40  0
132-16  49  35  0
13324  49  -41  0
134-43  -23  26  0
13520  11  -5  0
13626  14  37  0
13749  -23  -34  0
13828  25  -47  0
1399  -26  2  0
140-43  -5  34  0
14115  24  -12  0
14239  -31  -45  0
14347  -15  -2  0
14436  -39  13  0
145-39  -11  9  0
14630  -6  -4  0
14741  24  25  0
14850  20  -32  0
14943  -12  9  0
15024  34  35  0
15146  -11  -47  0
15226  -6  4  0
15339  -20  25  0
154-45  33  29  0
155-31  2  50  0
1561  -31  18  0
15744  -49  -41  0
158-2  -6  29  0
159-16  -26  38  0
16019  11  42  0
161-8  2  -33  0
162-20  50  26  0
163-14  -7  -25  0
164-9  48  -30  0
165-25  40  28  0
16639  16  17  0
1679  -26  19  0
16810  -9  -18  0
1695  -1  -30  0
17037  11  -1  0
171-25  4  27  0
17217  9  49  0
173-16  41  -27  0
174-18  -23  -20  0
17547  -21  -23  0
176-50  26  49  0
177-6  36  -35  0
178-20  38  -11  0
17938  14  26  0
18035  -4  -33  0
181-3  35  11  0
18243  3  -45  0
18343  3  -18  0
18440  -49  32  0
1851  33  2  0
186-47  40  15  0
187-14  42  37  0
18829  44  -27  0
18910  -37  28  0
1902  -28  -16  0
19122  -35  -10  0
192-24  -19  16  0
193-18  -44  3  0
194-32  33  21  0
1953  29  19  0
19627  26  30  0
197-15  38  42  0
19840  -24  17  0
199-47  44  -33  0
2008  44  37  0
201-16  22  -48  0
20243  -46  -40  0
20319  -33  32  0
204-18  -40  13  0
2058  6  10  0
206-46  -48  -4  0
207-30  36  -47  0
2085  33  -45  0
20917  -23  47  0
210-23  -34  5  0
211-35  -14  38  0
21248  38  -26  0
213-24  -35  -48  0
21420  -38  -17  0
215-33  -8  -13  0
21630  38  39  0
217-44  2  -39  0
21827  -1  10  0
219-29  -34  47  0
22021  -44  -31  0
2216  -28  46  0
222-6  24  46  0
22310  40  21  0
22439  -27  -1  0
22517  16  31  0
22644  -18  50  0
22711  -33  -39  0
228-39  1  3  0
229-11  48  31  0
23041  -21  12  0
231-15  -18  12  0
232-12  36  -8  0
233-19  -10  50  0
234-4  -25  -17  0
2353  -44  -29  0
23643  -12  47  0
23725  16  -17  0
238-20  -47  -45  0
239-2  -34  7  0
240-38  -16  -4  0
24129  -8  5  0
24240  20  -3  0
243-24  -12  -25  0
24447  29  -18  0
245-22  -3  -29  0
246-50  -37  20  0
24720  -12  -37  0
248-8  -49  -46  0
24933  20  -21  0
250-39  50  -23  0
2511  -48  -33  0
252-48  -44  29  0
25316  -43  13  0
254-17  -27  -33  0
255-20  34  48  0
256-17  -25  26  0
25744  47  13  0
258-35  -12  -46  0
259-21  -50  14  0
260-14  -25  -50  0
261-19  42  44  0
262-48  -17  11  0
2631  -33  42  0
2643  -22  48  0
26528  38  26  0
266-4  21  49  0
267-23  44  32  0
268-42  49  32  0
269-8  -41  7  0
27027  1  -50  0
2712  -7  -38  0
27226  -23  -33  0
27323  26  30  0
274-3  14  41  0
2753  -8  48  0
276-12  -5  23  0
27744  -42  -17  0
27844  31  19  0
279-44  42  -14  0
2808  31  30  0
28129  43  9  0
28248  6  -1  0
28317  46  23  0
28446  30  42  0
285-20  -3  6  0
28618  -36  -19  0
28711  -2  31  0
28832  2  -1  0
289-16  -11  -8  0
29013  -50  30  0
291-19  50  -37  0
292-42  -29  25  0
29314  29  -3  0
294-38  -28  44  0
295-46  5  -44  0
296-26  34  -23  0
29720  -25  5  0
298-29  44  8  0
29927  42  29  0
30027  8  6  0
30146  -43  -7  0
302-44  -9  -26  0
303-8  -27  -9  0
3043  -25  2  0
305-22  -36  9  0
306-4  46  -22  0
307-31  -4  -6  0
308-45  -12  8  0
309-20  -10  28  0
310-2  44  23  0
311-28  -7  -22  0
31243  17  -13  0
31344  -34  -37  0
314-34  10  47  0
3158  9  21  0
31622  3  27  0
3178  -19  46  0
318-11  27  -26  0
31920  -30  -8  0
32020  -8  6  0
321-28  -34  -12  0
32224  40  21  0
323-22  -27  -34  0
3247  -28  37  0
325-27  -36  30  0
326-18  -7  33  0
327-9  -4  -8  0
3289  -13  37  0
329-5  44  7  0
330-33  -32  -26  0
33117  -19  3  0
332-10  -12  35  0
33350  23  -8  0
33443  -13  38  0
33511  -15  40  0
33619  22  -18  0
33720  7  37  0
338-14  24  12  0
33935  -25  5  0
340-29  47  -27  0
3419  24  21  0
342-40  12  7  0
34350  -10  -44  0
344-45  29  -5  0
34541  13  -21  0
34631  -4  -40  0
347-49  8  -12  0
348-20  -12  25  0
34920  -16  19  0
350-5  -3  -17  0
35135  42  11  0
352-47  9  -48  0
353-18  -45  -28  0
354-32  35  -29  0
35528  -41  18  0
35630  -5  19  0
357-22  12  8  0
35827  -1  43  0
35935  17  23  0
360-28  26  20  0
361-3  -35  -27  0
36226  43  25  0
363-31  38  41  0
36429  -16  -10  0
36531  9  -5  0
36636  -41  22  0
367-18  -26  44  0
36840  -12  -39  0
36915  -40  -21  0
37032  -35  1  0
3714  -45  -22  0
3722  -9  -50  0
373-40  -1  19  0
37446  -41  -31  0
37510  39  47  0
376-23  -40  36  0
37740  14  41  0
378-50  -12  -30  0
37938  -39  -4  0
380-19  -28  -5  0
38115  5  43  0
382-2  9  -25  0
383-31  45  -29  0
38418  12  17  0
385-25  -26  10  0
38640  -6  -25  0
38716  -35  2  0
38840  46  22  0
389-26  -50  -6  0
3905  -30  46  0
391-17  42  38  0
39216  23  -1  0
39337  -6  44  0
394-18  25  -14  0
39547  -4  -21  0
396-31  40  26  0
397-21  18  13  0
398-1  -18  25  0
399-3  -37  -44  0
400-34  11  -2  0
40143  -41  -14  0
402-45  5  50  0
403-24  -7  31  0
404-47  -50  36  0
40516  -46  -47  0
406-46  -48  20  0
4072  -38  -22  0
4089  -47  16  0
409-24  16  13  0
410-7  31  46  0
41138  24  -1  0
412-45  37  -34  0
413-13  -23  41  0
414-33  -44  10  0
415-32  10  -8  0
416-8  -5  11  0
4173  -13  -50  0
4182  28  -48  0
41944  40  -45  0
420-46  -13  -39  0
421-22  4  -35  0
422-37  -19  50  0
423-20  23  48  0
424-17  -8  19  0
425-6  34  39  0
42628  6  -36  0
42739  -2  1  0
42824  -43  -41  0
42947  48  14  0
4302  17  8  0
43113  -17  23  0
4322  3  -15  0
43313  20  -6  0
434-11  5  -16  0
43528  -9  42  0
436-13  -23  -28  0
43716  -3  44  0
438-4  -36  11  0
439-17  -4  -42  0
44014  -27  4  0
44110  -26  21  0
44246  6  32  0
443-22  11  -35  0
44422  -24  50  0
4458  42  -7  0
446-42  31  -16  0
447-33  39  -28  0
448-2  -31  18  0
449-39  9  44  0
45035  10  4  0
45127  -40  -45  0
452-39  41  15  0
45319  7  42  0
45439  -11  6  0
45516  46  22  0
45617  27  -38  0
457-26  -11  33  0
45837  -49  -27  0
459-48  -40  8  0
460-33  -24  44  0
461-47  27  -19  0
46245  25  13  0
46332  8  -21  0
46438  39  -21  0
46514  34  -11  0
466-35  -36  -11  0
467-42  12  11  0
46810  -2  -23  0
469-39  -25  7  0
470-35  -31  -22  0
471-14  11  -35  0
472-41  -42  1  0
4733  -16  44  0
4746  -48  34  0
47518  -50  6  0
47634  20  7  0
477-25  -47  46  0
47839  23  -2  0
47945  -29  -5  0
48025  -10  15  0
48140  -21  -15  0
482-10  17  27  0
483-3  -47  16  0
48426  12  14  0
48548  42  34  0
48626  -34  48  0
487-7  34  -5  0
488-5  -20  6  0
48927  40  45  0
49017  46  -3  0
49113  12  -14  0
492-39  -8  -5  0
49315  -23  -26  0
494-38  -34  -7  0
495-39  -12  -26  0
496-28  -46  -20  0
49743  -14  -18  0
498-20  -36  -9  0
499-43  -5  13  0
500-50  23  9  0
5016  -48  24  0
5025  -8  -13  0
503-46  -39  5  0
504-12  9  -39  0
50544  -36  -2  0
506-45  36  -21  0
5074  -41  -1  0
50832  -50  44  0
50913  38  -42  0
510-40  7  -41  0
5119  1  19  0
512-48  -23  -44  0
51318  -41  1  0
51434  37  3  0
51518  -20  30  0
516-9  -26  30  0
51714  1  -7  0
51817  -42  -21  0
519-33  12  13  0
520-16  -24  -47  0
52139  1  -5  0
522-45  37  41  0
523-50  -32  37  0
524-13  -16  48  0
52523  -14  8  0
52615  -7  14  0
527-37  -44  -26  0
52817  50  -16  0
52927  15  49  0
530-6  -14  -29  0
531-20  -27  37  0
532-3  -39  49  0
53314  -6  -23  0
5349  46  -29  0
53531  37  42  0
536-11  -43  45  0
53723  -2  46  0
53830  13  31  0
53928  33  3  0
5408  -1  40  0
541-5  35  -39  0
54216  -44  -8  0
543-23  -47  -9  0
544-39  -5  -4  0
545-18  47  19  0
546-50  31  -11  0
547-49  -26  -37  0
548-36  -14  37  0
549-39  -40  -5  0
550-22  38  13  0
55118  -32  8  0
552-7  -44  14  0
55319  -11  -14  0
55420  28  42  0
555-31  9  39  0
556-13  22  -32  0
557-44  50  46  0
558-31  -10  38  0
55910  46  16  0
560-35  20  50  0
56142  44  -3  0
562-13  3  46  0
563-26  22  -23  0
5642  10  -5  0
565-26  50  -25  0
566-21  -13  -49  0
56744  -12  -7  0
56830  -29  3  0
569-19  32  -2  0
570-16  30  -32  0
57117  25  6  0
57247  7  -13  0
57330  -44  -28  0
574-46  -21  -43  0
5758  9  -14  0
576-20  38  -27  0
577-4  -14  -11  0
578-33  7  -46  0
579-16  35  -7  0
58027  1  -14  0
58121  47  37  0
582-14  -18  -19  0
583-46  -13  24  0
584-10  49  -33  0
58523  -21  -10  0
58610  49  -44  0
58734  -50  42  0
588-20  -11  38  0
589-9  -49  8  0
5903  7  9  0
591-5  31  -18  0
592-44  36  40  0
59337  27  29  0
59436  -24  -17  0
59544  35  18  0
59641  -12  -13  0
597-38  -23  3  0
598-48  -42  -3  0
599-3  47  19  0
60031  39  -34  0
6015  40  50  0
602-36  -13  -3  0
603-15  20  -24  0
604-23  37  33  0
605-21  38  -4  0
606-46  3  -39  0
607-11  39  -14  0
608-45  -9  30  0
609-25  6  -7  0
610-21  48  -36  0
6114  -10  -46  0
612-18  10  35  0
6131  -45  48  0
61446  20  -13  0
61521  -30  48  0
61610  -2  44  0
61740  38  -12  0
61833  10  35  0
619-44  49  17  0
620-32  -22  14  0
621-37  49  32  0
622-48  -8  -19  0
623-30  -19  10  0
62444  -42  -11  0
625-26  -12  24  0
626-22  -20  10  0
627-8  -12  48  0
628-6  -34  15  0
62937  -31  -13  0
630-13  -26  1  0
63117  50  -22  0
63226  36  49  0
63340  -43  -35  0
634-39  12  3  0
63542  43  18  0
636-26  34  -28  0
63729  -30  -15  0
638-15  23  -19  0
639-45  -1  -46  0
640-14  46  -47  0
641-9  -16  -34  0
64231  1  15  0
64349  3  45  0
644-50  23  43  0
64540  37  49  0
6461  -49  20  0
64727  43  -4  0
64827  -11  -6  0
649-30  -40  -50  0
650-8  46  -42  0
651-38  36  -23  0
65231  47  4  0
653-44  -10  -39  0
654-41  -5  -24  0
655-15  -6  -2  0
65611  19  50  0
657-27  -32  -26  0
658-15  18  -33  0
65918  40  16  0
66015  43  -14  0
6611  -48  31  0
66218  48  -28  0
66335  6  -4  0
66438  36  -48  0
66523  2  -44  0
66636  -49  37  0
6679  -8  -6  0
66816  -35  -33  0
6691  24  -34  0
6702  -24  -40  0
671-20  41  16  0
672-26  50  31  0
673-30  -12  48  0
674-34  20  5  0
67550  -5  26  0
676-29  -3  -14  0
677-35  13  -25  0
678-13  -46  -19  0
67929  -36  -19  0
680-12  32  29  0
681-1  4  24  0
682-19  4  -16  0
683-45  33  31  0
684-8  36  44  0
685-48  -13  16  0
6868  40  -37  0
68745  -48  30  0
688-16  -37  -40  0
689-6  -34  7  0
690-4  24  22  0
6917  -22  -49  0
692-50  -47  -8  0
693-23  -32  -44  0
69433  -47  17  0
695-28  -5  30  0
696-11  -35  43  0
69734  39  7  0
69833  -41  -14  0
699-24  39  -10  0
70047  41  -5  0
701-22  32  -7  0
702-46  -26  -40  0
70346  22  -26  0
70440  -50  -44  0
705-35  -33  40  0
706-5  41  -49  0
70716  25  -38  0
70811  -2  -34  0
709-47  -8  -22  0
710-34  19  20  0
71139  -42  -28  0
712-10  2  -40  0
7135  18  -4  0
71435  23  -49  0
71521  3  -11  0
71610  -23  -46  0
71725  12  26  0
718-48  1  -38  0
71910  -27  47  0
720-30  -46  -29  0
72130  2  43  0
7227  -11  -41  0
723-21  32  -48  0
7246  -9  -14  0
72512  47  -50  0
726-18  -19  -10  0
72732  -20  50  0
72820  47  -5  0
72930  -25  8  0
73025  31  17  0
73141  -12  -47  0
732-39  5  -41  0
733-2  6  9  0
73411  -25  16  0
735-4  28  14  0
73627  -42  -32  0
73725  21  9  0
7383  -6  -20  0
73934  -20  -28  0
740-12  -37  -22  0
741-33  -13  6  0
74243  -31  -8  0
743-48  -31  19  0
744-46  50  -15  0
74546  37  -41  0
7463  10  9  0
747-10  -20  -35  0
74833  41  30  0
74927  -30  -32  0
75018  -31  12  0
751-4  12  23  0
75238  37  19  0
75323  -47  27  0
75431  25  1  0
755-48  20  -3  0
756-31  -28  -18  0
757-14  5  32  0
758-38  -45  33  0
75928  -49  -14  0
76042  21  33  0
76144  34  -20  0
762-36  -11  37  0
763-40  49  -7  0
764-41  36  13  0
7651  -49  -37  0
766-44  2  10  0
767-42  28  11  0
768-5  -8  7  0
7692  9  13  0
770-39  26  50  0
771-47  -3  1  0
7728  32  -44  0
77322  4  -40  0
7747  -48  -47  0
77543  -6  -14  0
7761  -24  23  0
777-48  -22  -29  0
778-25  15  -49  0
77910  6  -20  0
780-25  42  24  0
781-1  -18  -46  0
78210  49  25  0
783-41  -15  47  0
784-45  1  -50  0
785-39  9  -27  0
786-35  -32  19  0
7878  -20  18  0
788-4  -14  19  0
789-14  47  28  0
790-48  30  44  0
79117  -15  12  0
79242  -33  30  0
793-41  -14  24  0
79423  -20  5  0
795-20  -47  -49  0
796-16  48  45  0
7978  -42  28  0
798-32  19  10  0
7997  49  34  0
800-22  -30  -9  0
80126  -3  4  0
802-25  -27  -28  0
803-25  20  -27  0
804-32  -38  4  0
8054  -6  3  0
806-50  -3  -31  0
80747  7  26  0
808-36  50  21  0
809-44  31  -19  0
81022  34  -28  0
81127  42  -38  0
81243  -33  34  0
81324  -21  39  0
814-47  -3  -35  0
81515  -3  -24  0
81646  -50  -1  0
817-27  -39  -35  0
81833  -4  16  0
81940  49  -3  0
820-27  -44  12  0
821-1  29  2  0
8222  -36  -5  0
823-29  38  -40  0
824-44  -48  5  0
825-9  -36  12  0
826-41  27  19  0
827-4  -19  40  0
82828  15  26  0
829-12  -41  50  0
830-2  -40  -21  0
83117  -37  -20  0
83241  -39  17  0
8337  4  49  0
834-16  -44  22  0
835-48  20  -44  0
8366  5  -10  0
837-19  -10  30  0
8381  -36  -25  0
83916  -50  -21  0
8403  -44  43  0
84132  24  50  0
842-28  49  32  0
84337  -11  14  0
844-11  -10  -16  0
84521  42  30  0
846-34  46  -12  0
847-50  -9  -4  0
848-2  10  36  0
849-47  35  -25  0
850-13  -42  -33  0
85121  50  42  0
8521  -33  38  0
85342  14  -43  0
85431  -18  22  0
855-19  -50  42  0
856-20  -43  8  0
85724  -16  -36  0
858-7  -40  21  0
859-11  -50  -27  0
860-47  -1  -27  0
861-15  -7  45  0
862-33  -29  14  0
86350  -26  -28  0
864-43  20  -9  0
86511  24  -4  0
866-29  33  21  0
867-45  11  -33  0
86823  29  47  0
869-8  33  34  0
870-8  5  29  0
871-14  36  -38  0
87235  -27  -7  0
87342  -24  -45  0
87430  26  14  0
875-20  -8  25  0
87610  17  -28  0
877-1  16  -46  0
878-30  -13  -12  0
879-41  -13  -48  0
880-30  -38  49  0
88135  12  22  0
88242  25  32  0
8837  44  -19  0
884-49  -32  3  0
885-24  6  -11  0
886-26  31  9  0
8877  -34  -45  0
88835  5  -16  0
889-25  47  42  0
890-42  7  11  0
891-30  27  7  0
8927  32  22  0
8931  -16  -44  0
894-9  8  -3  0
895-5  -28  -2  0
89628  -34  42  0
897-25  -15  -38  0
89820  18  -13  0
89935  -3  -6  0
9003  1  34  0
901-45  -29  -4  0
902-34  -19  40  0
90328  -11  1  0
904-43  17  34  0
905-17  46  -1  0
90615  24  -17  0
907-35  26  1  0
90818  -2  -36  0
9094  -45  -33  0
9103  -49  40  0
91148  -32  -3  0
91239  4  27  0
91346  -10  -15  0
914-2  9  41  0
915-49  23  21  0
916-11  32  -27  0
91736  -43  19  0
91814  35  17  0
91943  -26  18  0
920-28  -21  13  0
921-1  20  3  0
922-25  -31  17  0
923-25  -36  15  0
92427  -32  -11  0
9259  -20  -42  0
92645  -40  39  0
927-9  -44  24  0
928-1  14  34  0
929-22  19  -27  0
9308  -11  -39  0
93131  24  1  0
932-44  12  21  0
933-24  47  -6  0
934-26  12  -7  0
93541  32  -14  0
936-19  16  -42  0
93712  27  -24  0
93849  -6  43  0
939-43  25  4  0
94033  32  -31  0
941-32  44  47  0
9423  -47  -17  0
943-38  42  22  0
944-32  -2  -7  0
9457  44  1  0
946-14  22  -6  0
9472  -44  -20  0
948-24  -37  -28  0
949-3  30  29  0
95046  -44  30  0
95144  21  18  0
95226  -21  37  0
9536  19  -28  0
95420  30  -29  0
955-20  -7  40  0
95621  32  26  0
95732  16  -35  0
958-8  38  27  0
95933  14  -17  0
960-10  39  -47  0
961-33  -24  -38  0
962-13  -24  -4  0
963-8  -17  -42  0
96441  -2  -3  0
965-19  1  -42  0
96618  -25  46  0
967-13  26  -37  0
968-45  20  50  0
969-44  -4  -19  0
97019  -20  42  0
97138  -9  7  0
9727  8  18  0
97333  -4  -26  0
97410  16  29  0
97522  6  -18  0
976-32  -24  -26  0
97740  7  -23  0
97845  31  -7  0
979-42  -22  -12  0
980-31  -1  15  0
981-3  -46  -16  0
98247  25  44  0
983-8  11  9  0
984-9  -21  34  0
98535  -14  -17  0
986-21  4  -33  0
987-39  -20  49  0
98840  4  -11  0
989-47  -30  45  0
990-9  25  -26  0
991-49  -17  37  0
992-9  -22  49  0
9936  -9  -10  0
994-15  -35  -46  0
99525  -50  17  0
99616  -34  28  0
997-5  -45  -37  0
998-35  -43  -3  0
999-21  4  -13  0
1000-27  11  43  0
100137  -21  -25  0
1002-24  -10  36  0
1003-32  -12  -49  0
1004-29  20  4  0
Note: See TracBrowser for help on using the repository browser.