puresat-0.1: dimacs/jnh/jnh202.cnf
c File: jnh202.cnf
c
c SOURCE: John Hooker (jh38+@andrew.cmu.edu)
c
c DESCRIPTION: Random Problems with hard generator (no single clauses,
c hard density, and so on)
c
c NOTE: Part of the collection at the Forschungsinstitut fuer
c anwendungsorientierte Wissensverarbeitung in Ulm Germany.
c
c NOTE: Updated September 7, 1993 to correct format
c
c
c NOTE: Not satisfiable
c
p cnf 100 800
-15 46 -53 77 -81 89 0
30 35 -50 -76 87 89 0
15 -50 -79 0
4 60 88 0
-27 -37 -60 67 -73 0
-3 9 61 -65 0
12 26 27 -62 93 96 0
-2 -6 34 35 -42 -47 -53 0
8 -21 28 -29 -66 75 -78 0
-11 -43 -49 -62 89 91 0
28 35 -36 74 -84 100 0
-17 22 -29 -44 -48 -53 -83 0
20 -46 -60 -64 -68 78 -97 0
31 38 -49 -78 80 0
8 -21 -48 -51 64 0
-13 60 -65 72 73 0
17 -27 47 49 62 63 79 83 -89 0
42 55 58 60 -74 -91 0
-31 -54 -60 0
43 44 -50 71 -90 0
2 40 66 -79 -89 -100 0
2 -23 31 53 59 0
-14 27 -68 -75 0
59 -72 -95 0
-21 -33 57 58 -69 0
31 -36 43 70 -71 -82 -97 -100 0
-8 11 -20 -23 -59 -64 70 71 99 0
2 -17 21 79 0
-68 73 0
2 55 -77 86 -87 -90 0
-17 -92 0
1 25 -26 43 44 55 63 -71 -78 0
-39 43 -51 54 -55 89 0
-12 -55 71 89 -95 0
74 -96 -100 0
36 -49 66 90 0
1 -32 -41 73 0
-45 -47 53 0
9 10 -19 -42 -48 83 0
3 20 30 31 -34 -44 59 -70 0
-12 15 -21 24 79 0
-17 33 73 0
23 -30 39 -46 70 79 0
-3 -25 28 34 -41 -44 65 -73 -90 0
5 -10 -26 29 -32 -62 99 0
-7 18 -19 -37 -77 80 -92 0
25 64 76 -98 0
29 56 -84 86 0
-19 74 0
-12 27 -64 -93 0
-2 -11 31 -45 -57 86 -92 0
-25 -39 45 52 79 -83 0
11 -79 87 0
-73 86 0
-24 40 55 -61 -71 78 0
3 -4 -26 50 86 96 0
-16 -27 -32 0
-10 -65 0
6 -19 -34 0
-8 11 -21 36 54 0
-18 -30 -36 59 64 80 82 -90 0
21 61 66 81 0
13 -15 -35 0
21 -22 34 79 -99 0
3 5 -27 30 32 -53 0
10 -15 43 54 -56 -60 87 0
-27 31 -48 61 0
5 -15 -53 -88 0
-4 -13 19 -73 -85 0
13 15 68 0
23 36 -56 -65 -72 76 -89 0
-27 -38 -55 58 -73 0
-16 -48 -98 0
7 -49 69 -74 77 0
-13 31 -41 45 48 -50 -59 -85 -96 0
34 39 46 -95 100 0
40 78 0
-6 -43 53 71 78 79 0
22 30 33 40 -73 76 -89 0
4 -10 -27 -29 -68 0
13 -30 -35 38 52 -63 85 0
-3 21 24 30 -46 0
-8 -37 -63 78 0
28 -30 63 74 0
16 37 38 79 -93 0
18 33 45 67 76 0
32 -35 77 0
-17 -61 -65 0
-12 69 100 0
4 -8 -11 15 -51 73 -96 -100 0
14 38 41 44 -47 -91 93 -94 0
53 -64 -75 0
-2 4 8 54 72 -77 0
9 13 25 -42 -81 86 90 0
-26 -45 62 -87 0
-6 55 65 -74 0
51 55 -58 0
-6 -22 90 0
-2 55 -70 81 87 90 92 0
-29 -34 -41 -60 -84 -89 0
-4 66 71 -74 -87 0
55 -57 -60 -81 0
12 36 -46 93 0
-2 40 48 0
86 87 0
54 -63 84 100 0
45 -57 61 63 -66 74 0
-20 55 61 -98 0
22 -46 0
-24 -34 45 46 -87 -91 -95 0
5 10 -15 25 -46 59 0
42 76 -81 -98 0
15 62 -64 -69 73 79 90 99 0
16 33 -51 -64 68 80 -83 89 -95 0
-1 -21 -24 -40 0
-18 -27 -47 0
6 17 -18 -28 -31 34 -42 -44 -88 0
-1 16 38 -61 -65 0
-9 -17 -22 -54 67 0
-45 -47 71 99 0
4 -56 -59 -84 97 0
1 60 -100 0
-8 -48 73 96 0
20 54 -68 -83 88 0
1 -13 -43 -55 72 0
2 34 72 -78 100 0
6 9 10 -42 44 -64 68 -83 97 100 0
-66 86 0
-40 60 -74 96 0
2 -51 83 94 0
15 -67 -99 0
30 -39 42 62 63 0
-36 72 91 93 95 0
89 94 0
18 -27 -39 -67 -80 -90 0
50 61 0
9 19 -49 55 -91 0
45 64 65 -100 0
-21 -41 52 -57 -76 78 83 -89 0
23 86 -88 0
-15 -25 68 70 -85 87 0
-11 -26 -93 0
5 44 -88 0
-70 -83 0
-2 -4 -27 29 -30 0
8 46 -47 -61 71 0
20 47 56 -68 -72 0
41 -44 -89 0
31 42 53 56 85 0
10 -24 28 -39 -44 0
-9 -26 -31 0
49 50 -66 70 72 93 -100 0
-11 -14 41 78 93 0
-13 -22 -59 -84 95 96 0
6 -7 73 76 98 0
1 -3 5 6 -8 -13 73 -94 0
59 -65 -77 -98 100 0
-51 72 -93 0
-2 -11 23 34 -52 0
-36 44 45 64 79 0
-15 50 -86 0
-29 34 51 -79 97 0
-7 35 72 89 0
-26 32 54 68 -83 -99 0
83 -87 0
9 -48 -55 0
-21 -26 73 87 -98 0
-4 -7 17 43 75 0
56 63 72 74 79 90 0
-10 -19 30 31 38 -48 -75 83 92 0
-2 21 -26 37 -54 59 -79 0
37 41 -70 0
-10 -23 42 -54 79 -96 0
-25 44 77 0
22 32 46 -52 55 73 -75 0
-11 31 60 0
-13 21 -23 -73 0
5 93 94 -99 0
35 77 0
-17 28 0
-15 -20 -24 37 42 -55 59 -81 85 0
2 -9 -77 100 0
20 -30 -41 -78 0
19 21 39 75 -78 85 0
5 -36 0
44 47 -74 80 0
-30 33 -43 94 0
17 18 49 0
16 22 37 52 59 -64 0
-16 -76 0
8 13 22 -34 -75 78 -99 0
-19 -21 30 -36 -40 -89 0
39 44 -59 -85 96 98 0
24 -59 -88 0
13 69 97 0
-36 -46 -69 76 -82 0
2 5 -12 18 70 -74 0
21 35 36 -71 0
-11 -15 43 44 -51 -56 -62 0
17 -30 37 -38 -75 84 -87 0
9 -20 -52 -58 -71 98 100 0
37 44 -45 83 -93 0
-6 -26 31 -38 -53 -57 -62 -92 0
29 -55 -69 -73 -77 87 0
40 47 -58 -87 89 0
17 -30 -57 -60 73 0
-22 69 -74 81 82 0
26 -36 56 58 71 72 88 92 -98 0
51 64 67 69 -83 -100 0
-40 -63 -69 0
-9 52 53 -59 80 -99 0
11 49 75 -88 -98 0
11 -32 40 62 68 0
-4 -23 36 -77 -84 0
68 -81 0
-6 -9 -30 -42 66 67 -78 0
8 40 -45 52 79 -80 -91 0
-17 20 -29 -32 -68 -73 79 80 0
11 -26 30 88 0
-77 82 0
-1 11 64 -86 95 -96 -99 0
10 34 -35 52 53 64 72 -80 -87 0
-4 -48 52 -60 63 -64 98 0
-5 -9 -21 -64 80 98 0
45 -58 75 99 0
10 -41 -50 82 0
-54 -56 62 0
18 19 -28 -51 -57 92 0
12 29 39 40 -43 -53 68 -79 0
-21 24 -30 33 88 0
-26 42 82 0
32 -39 48 -55 79 88 0
8 -12 -34 37 43 -50 -53 74 -82 -99 0
-1 14 -19 -35 38 -41 -71 0
-7 -16 27 -28 -46 -86 89 0
34 73 85 0
38 65 -93 95 0
-2 -28 83 0
-21 36 -73 0
-1 -43 0
-11 -20 40 -54 -66 95 0
-34 -48 54 61 88 -92 0
20 -88 96 0
-82 95 0
5 -33 49 64 -70 -80 87 0
12 -13 -35 59 95 0
-25 -36 -41 0
-19 -74 0
15 -28 -43 0
-17 20 -30 45 63 0
-27 -39 -45 68 73 89 91 -99 0
30 70 75 90 0
-8 22 -24 -44 0
30 -31 43 88 0
12 14 -36 39 41 -62 0
19 -24 52 63 -65 -69 96 0
-36 40 -57 70 0
14 -24 -62 -97 0
-13 -22 28 -82 -94 0
22 24 77 0
32 45 -65 -74 -81 85 -98 0
-7 -36 -47 -64 67 -82 0
-25 -57 0
-5 16 -58 78 -83 86 0
-4 9 -22 40 -50 54 57 -59 -68 -94 0
43 48 55 0
49 87 0
-15 -52 62 80 87 88 0
31 39 42 49 -82 85 -98 0
13 -19 -36 -38 -77 0
22 -39 -44 47 61 -72 94 0
-12 30 33 39 -55 0
-17 -46 -72 87 0
-2 37 -39 72 83 0
25 46 47 88 0
27 42 54 76 85 0
41 -44 86 0
9 -26 -70 -74 0
-5 -9 -21 78 0
2 -3 13 -17 -20 24 -60 82 0
23 47 50 53 -56 -100 0
62 -73 -84 0
-11 13 17 63 81 -86 0
18 22 34 -51 -90 95 99 0
-35 -54 71 -96 0
-15 64 74 -83 0
60 64 -67 0
1 -15 -31 99 0
-11 64 -79 90 96 99 0
-38 -43 -50 -69 -93 -98 0
-13 75 80 -83 -96 0
2 64 -66 -69 -90 0
21 45 -55 0
-11 49 57 0
9 95 96 0
63 -72 93 0
-7 54 -66 70 72 -75 83 0
-29 64 70 0
-4 31 -55 0
-33 -43 54 55 -96 -100 0
-7 14 19 -24 34 -55 68 0
8 51 85 -90 0
-4 24 71 -73 -78 82 88 99 0
25 42 -60 -73 77 89 -92 98 0
-10 -30 -33 -49 0
-27 -36 -56 0
15 26 -27 -37 -40 43 -51 -53 -97 0
-10 25 47 -70 -74 0
8 -18 -26 -31 -63 76 0
-1 -54 -56 80 0
-9 13 -65 -68 -93 0
5 10 69 0
-17 -57 82 0
29 63 -77 -92 97 0
9 10 -22 -52 -64 81 0
6 9 11 43 81 -87 0
15 18 19 -51 53 -73 77 -92 0
5 -75 95 0
3 -49 69 -83 0
-8 11 -60 92 0
24 -76 0
2 4 39 -48 51 71 72 0
3 -45 81 100 0
27 -36 -48 -76 -89 -99 0
59 70 0
-9 18 28 -58 64 -100 0
54 73 74 0
-30 -50 61 -66 -85 87 92 -98 0
32 95 -97 0
-2 -24 -34 77 79 -94 96 0
-20 -35 0
14 53 -97 0
-79 -92 0
-11 -13 -36 38 -39 0
17 55 -56 -70 80 0
29 56 65 -77 -81 0
50 -53 -98 0
40 51 62 65 94 0
19 -33 37 -48 -53 0
2 -9 -18 -35 -40 0
2 58 59 -75 79 81 0
4 5 -20 -23 50 87 0
7 -22 -31 -68 -93 0
-3 15 -16 82 85 0
-7 9 10 -12 14 15 -17 -22 82 0
-2 68 -74 -86 0
-60 81 0
-11 -20 32 43 -61 0
-45 53 54 73 88 0
6 -24 59 -95 0
-38 43 60 -88 0
-8 -16 44 81 98 0
-35 41 63 77 -92 0
92 -96 0
-7 18 -57 -64 0
-30 -35 82 96 0
-13 -16 26 52 84 0
1 65 72 81 83 88 99 0
-19 -28 39 40 47 -57 -84 92 0
-11 30 -35 46 -63 68 -88 0
-5 46 50 -79 0
-19 -32 51 -63 88 0
-34 53 86 0
31 41 55 -61 64 82 -84 0
-20 40 69 0
2 3 -8 -22 30 -32 -82 0
44 86 0
-26 37 0
9 -24 -29 -33 46 51 -64 68 -90 94 0
11 -18 -86 0
29 -39 -50 -87 0
28 30 48 84 -87 94 0
14 -45 0
3 53 56 -83 89 0
-39 42 -52 0
26 27 58 0
25 31 46 61 68 -73 0
-8 -25 -85 0
17 22 31 -43 -84 87 0
5 7 -28 -30 39 -45 -49 -98 0
48 53 -68 -94 0
6 33 -68 -97 0
22 78 0
-45 -55 -78 85 -91 0
11 14 -21 27 79 -83 0
30 44 45 -80 0
-20 -24 52 53 -60 -65 -71 0
7 9 26 -39 46 -47 -84 93 -96 0
-2 18 -29 -61 -67 -80 0
-1 46 53 -54 92 0
-15 -35 40 -47 -62 -66 -71 0
38 -64 -78 -82 -86 96 0
49 56 -67 -96 98 0
26 -39 -66 -69 82 0
1 -7 -31 78 -83 90 91 0
-9 35 -45 65 67 80 81 97 0
60 73 76 78 -92 0
-8 -49 -72 -78 0
-7 -18 61 62 -68 89 0
20 58 84 -97 0
20 -41 49 71 77 0
-13 -32 45 -86 -93 0
77 -90 0
-15 -18 -39 -51 75 76 -87 0
17 49 -54 61 88 -89 -100 0
-26 29 -38 -41 -77 -82 88 89 0
20 -35 39 97 0
4 -5 -8 -86 91 0
-10 20 73 -95 0
7 19 43 -44 61 62 73 81 -89 -96 0
7 -13 -57 61 -69 72 -73 0
-14 -18 -30 -73 89 0
8 92 0
54 -67 84 0
19 -50 -59 91 0
1 -63 -65 71 0
27 28 -37 -60 -66 0
21 38 48 49 -52 -62 77 -88 0
-30 33 -39 42 97 0
-35 51 91 0
41 -48 57 -64 88 97 0
-8 26 0
17 -21 -43 46 52 -59 -62 83 -91 0
-10 23 -28 -44 47 -50 -80 0
-16 -25 36 -37 -55 -95 98 0
-2 4 43 82 94 0
47 74 0
-11 -37 92 0
-30 45 -82 0
4 -10 -52 0
-1 -20 -29 49 -63 -75 0
5 -43 -57 63 70 97 0
4 29 -97 0
4 14 -42 58 73 -79 -89 96 0
21 -22 -44 68 0
-34 -45 -50 0
-28 -83 0
24 -37 -52 0
-8 -26 29 -39 54 72 0
-36 -48 -54 77 82 98 100 0
39 79 84 99 0
-17 31 -33 -53 0
39 -40 52 97 0
5 21 23 -45 48 50 -71 0
28 -33 61 72 -74 -78 0
-6 -45 49 -66 79 0
-3 23 -33 -71 0
-22 -31 37 -91 0
-7 31 33 86 0
41 54 -74 -83 -90 94 0
-16 -45 -56 -73 76 -91 0
-34 -66 0
-3 -14 25 -67 87 -92 95 0
-13 18 -31 49 -59 63 66 -68 -77 0
52 57 64 0
58 96 0
-7 -24 -61 71 89 96 97 0
40 48 51 58 -91 94 0
3 22 -28 -45 -47 -86 0
31 -48 -53 56 70 -81 0
-21 39 42 48 -64 0
-26 -55 -81 96 0
-11 46 -48 81 92 0
34 55 56 97 0
36 51 63 85 94 0
50 -53 95 0
18 -35 -79 -83 0
-14 -18 -30 87 0
-9 11 -12 22 -26 -29 33 -69 91 0
32 56 59 62 -65 0
71 -82 -93 0
4 8 -20 22 26 72 90 -95 0
-5 27 31 43 -60 -99 0
-44 -63 80 0
-24 73 83 -92 0
8 69 73 -76 0
5 8 10 -24 -40 0
-2 -7 -20 73 -88 99 0
-5 -47 -52 -59 -78 0
-22 84 89 -92 0
11 73 -75 -78 -99 0
30 54 -64 0
4 5 -20 58 66 0
2 18 0
72 -81 0
-16 63 -75 79 81 -84 92 0
-38 73 79 0
-5 -9 -13 40 -64 0
-42 -52 63 64 0
-16 23 28 -33 43 -64 77 0
8 17 60 94 -99 0
-1 7 -13 33 80 -82 -87 91 97 0
34 51 -69 -82 86 98 0
-19 -39 -42 -58 0
-6 -36 -45 -65 0
24 35 -36 -46 -49 52 -60 -62 0
-19 34 56 -79 -83 0
17 -27 -35 -40 -72 85 0
-10 -63 -65 89 0
-2 15 0
-18 22 -74 -77 0
14 19 78 0
-26 -66 91 0
-1 6 72 0
38 72 -86 0
18 19 -31 -61 -73 90 0
-1 15 18 20 52 90 -96 0
4 24 27 28 -60 62 -82 86 0
14 -84 0
1 12 -58 78 -92 0
-17 20 -69 0
33 -85 0
9 11 13 48 -57 60 80 81 0
7 12 -54 90 0
36 -45 -57 -85 -98 0
-9 68 79 0
-18 27 37 -67 73 0
1 -7 63 82 83 0
4 -6 -39 -59 70 -75 -94 96 0
-3 5 41 0
-11 -33 -43 86 88 0
-6 -29 -44 0
-1 23 62 0
-20 -22 -45 47 -48 0
26 64 -65 -79 89 0
-7 38 65 74 -86 -90 0
3 59 -62 0
49 60 71 74 0
28 -42 46 -57 -62 0
11 -18 -27 -44 -49 0
11 67 68 -84 88 90 0
-2 13 14 -29 -32 59 96 0
16 -31 -40 -77 0
-12 24 -25 91 94 0
-16 18 19 -21 23 24 -26 -31 91 0
-11 77 -83 -95 0
-69 90 0
-20 -29 41 52 -70 0
-4 -54 62 63 82 97 0
15 -33 68 0
7 -47 52 69 -97 0
-1 -17 -25 53 90 0
1 -5 -44 50 72 86 0
5 -16 27 -66 -73 0
-39 -44 91 0
8 -22 -25 35 61 93 0
1 10 74 81 90 92 97 0
-28 -37 48 49 56 -66 -93 0
-20 39 -44 55 -72 77 -97 0
-14 55 59 -88 0
-28 -41 60 -72 97 0
-43 62 95 0
40 50 64 -70 73 91 -93 0
-29 49 78 0
11 12 -17 -31 39 -41 -91 0
53 95 0
3 -35 46 0
18 -33 -38 -42 55 60 -73 77 -99 0
20 -27 -95 0
3 38 -48 -59 -96 0
37 39 57 93 -96 0
23 -54 0
12 62 65 -92 98 0
-48 51 -61 0
35 36 67 0
34 40 55 70 77 -82 0
-17 -34 -94 0
-7 26 31 40 -52 -93 96 0
-3 14 16 -37 -39 48 -54 -58 0
-6 57 62 -77 0
15 42 -77 0
31 87 0
-54 -64 -87 94 -100 0
20 23 -30 36 88 -92 0
39 53 54 -89 0
2 -5 -29 -33 61 62 -69 -74 -80 0
16 18 35 -48 55 -56 -93 0
1 -11 27 -38 -70 -76 -89 0
-10 55 62 -63 0
5 -24 -44 49 -56 -71 -75 -80 0
-5 7 47 -73 -87 -91 -95 0
58 65 -76 0
35 -48 -75 -78 91 0
6 10 -16 -40 87 -92 99 100 0
-1 -18 44 -54 74 76 89 90 0
69 82 85 87 0
-17 -58 -81 -87 0
-6 -16 -27 70 71 -77 98 0
29 67 93 0
-2 29 -50 58 80 86 0
-22 -41 54 -95 0
86 -99 0
-9 -24 -27 -48 -60 84 85 -96 0
26 58 -63 70 97 -98 0
6 -35 38 -47 -50 -86 -91 97 98 0
29 -44 48 0
-4 13 -14 -17 -95 100 0
-19 29 82 0
-5 -44 0
16 28 52 -53 70 71 82 90 -98 0
16 -22 -66 70 -78 81 -82 0
1 -23 -27 -39 -82 98 0
63 -76 93 0
28 -59 -68 100 0
10 -72 -74 80 0
36 37 -46 -69 -75 0
6 30 47 57 58 -61 -71 86 -97 0
-39 42 -48 51 0
6 -44 60 100 0
50 -57 66 -73 97 0
-17 35 0
26 -30 -52 55 61 -68 -71 92 -100 0
-4 7 -19 32 -37 -53 56 -59 -89 0
3 -25 -34 45 -46 -64 0
-11 13 52 91 0
1 56 83 0
-20 -46 0
-39 54 -91 0
13 -19 -61 0
6 -10 -29 -38 58 -72 -84 0
-6 14 -52 -66 72 79 0
13 38 0
5 -100 0
13 23 -51 67 82 -88 -98 0
30 -31 -53 77 0
-43 -54 -59 0
-37 -92 0
33 -46 -61 0
7 9 -17 -35 38 -48 63 81 0
8 -45 -57 -63 86 91 0
48 88 93 0
6 -26 40 -42 -62 0
-48 -58 61 0
-4 8 -11 -60 85 0
-38 -50 -52 -74 0
11 17 -30 -60 -68 87 -97 0
5 -18 -24 -27 39 54 0
-15 -36 -45 54 74 -95 0
19 29 -34 -42 51 57 -68 -87 0
20 31 -36 63 0
18 41 42 -45 -51 -66 -81 -91 0
18 26 -82 90 0
56 83 0
-13 -44 53 0
-13 -74 78 0
25 -52 57 74 0
41 46 51 -64 -70 77 -96 0
34 -38 -55 82 0
30 -57 64 65 67 89 90 0
39 -42 44 -76 82 83 90 0
-2 13 34 47 58 -84 -89 97 0
-5 -36 42 -56 -73 80 94 0
4 5 -7 -21 -36 -42 -70 0
1 99 0
12 14 74 -87 96 98 0
-4 -26 -44 47 48 58 61 86 -94 0
-25 31 -33 84 0
-61 -71 -74 -79 0
-9 18 19 -56 60 0
-15 -30 53 59 -89 0
-42 58 0
43 -61 75 -86 90 -93 0
9 -44 -89 0
55 71 0
35 40 97 -100 0
-9 23 -33 52 -96 0
-19 26 -49 55 -82 -87 0
12 -17 -52 -57 63 -65 79 -100 0
2 -17 -23 -83 0
-22 53 69 0
-4 -6 45 -62 0
20 22 -48 -52 -79 99 0
-9 -22 -25 55 57 -59 -65 71 -79 0
7 -23 26 30 -53 -68 0
-24 39 -47 64 96 0
-2 -42 57 60 -66 -82 0
-17 -28 -41 45 67 95 0
32 -34 -47 -88 93 0
17 -27 29 -30 -59 -98 0
-3 15 -29 -49 0
-52 -60 -77 0
65 -78 -82 0
54 -71 -73 88 0
-17 -27 34 73 74 84 86 97 0
-9 29 30 32 -55 74 81 0
27 61 67 -81 0
5 -14 34 -38 -51 -56 -61 -78 0
1 -35 67 88 0
-24 -40 48 -64 72 0
-2 7 -10 -22 40 -46 79 81 -83 0
-8 -23 28 87 0
-30 -64 -78 0
-51 -68 0
2 5 52 71 -86 95 0
42 -52 -98 0
21 -33 81 -82 90 0
-2 8 -23 -32 47 54 62 -75 100 0
-31 -37 59 -62 -66 89 90 0
41 -42 -48 -71 81 -92 0
57 59 -82 -88 97 0
3 -61 85 0
-17 -34 -58 -88 0
-14 57 -58 -61 69 91 0
-8 -21 -24 -52 60 -71 -75 0
6 -30 35 -38 -77 -84 0
-31 -34 45 76 77 89 0
-32 66 -78 -95 0
1 -12 -17 -26 -29 48 -83 96 0
-13 20 40 -49 0
-26 -76 -82 0
4 -13 -30 49 -52 -74 88 95 0
17 47 80 -86 -90 0
18 24 -55 72 0
21 65 75 -79 0
-13 21 88 89 -95 0
4 80 -83 100 0
-4 -13 -18 29 41 50 -66 -78 0
1 -26 -34 -39 76 -79 -89 0
4 -39 57 -60 64 79 0
1 36 54 55 57 0
49 50 0
-14 38 -92 0
42 53 -60 79 90 -93 97 0
-4 12 -14 -65 0
-5 -17 -47 75 -77 80 0
4 -49 53 58 0
35 -38 -42 -51 56 -84 88 -95 0
-29 -32 37 -60 69 -98 0
-35 -43 -75 -96 0
43 52 61 0
9 23 -39 -50 64 72 90 0
6 20 23 53 -72 -97 0
15 -20 23 39 -86 96 99 0
-27 -34 49 54 76 86 -92 0
28 -40 -68 84 0
17 35 -50 62 98 -99 0
3 5 -15 84 -100 0
-16 42 67 0
-30 38 -41 -47 81 -88 -96 -100 0
8 -9 30 32 34 51 -89 0
4 -20 30 32 58 88 0
-8 -43 -62 0
-18 87 88 -94 0
19 -49 0
5 -20 32 -40 46 0
11 -34 39 -61 -73 0
-3 -7 -14 -35 -75 -92 0
8 12 -22 -92 94 -95 0
3 -67 -79 0
-5 38 44 -53 83 84 -91 0
-22 53 57 92 0
-13 -26 29 57 -61 -69 -76 0
-57 -82 0
-13 28 42 -46 -54 74 79 0
-26 -28 -52 64 -69 -92 -98 0
21 37 -75 -77 93 -99 0
-69 -72 90 0
5 59 -71 -85 -94 -97 0
14 15 27 -40 -71 0
-7 44 53 -79 0
-19 -36 82 0
38 -61 -80 0
-3 25 -27 -49 60 -79 89 0
-15 39 43 44 48 77 0
-12 65 75 79 80 0
53 -64 -88 -92 0
12 18 42 -57 -75 0
28 91 0
-35 -38 46 0
-12 19 44 52 61 -62 86 -92 0
-25 -63 -96 0
-27 -35 -71 0
-11 29 47 -49 -68 -83 0
33 86 0
3 9 -34 41 -59 0
-49 -58 -98 0
48 54 57 -87 100 0
-44 64 83 84 -96 0
-14 46 -83 0
-28 -63 -76 87 0
43 100 0
-54 -89 0
3 51 -69 75 0
30 33 38 -67 -76 0
-8 -20 -55 -88 0
-2 -9 -48 52 -69 -84 0
-3 6 -13 -41 52 -67 0
15 -25 81 0
24 -67 71 -83 -87 0
-13 33 44 -45 72 80 -98 0
-43 87 0
-19 28 29 -50 -60 -98 0
30 -35 45 -46 52 65 -84 -99 0
1 -5 16 -53 -67 70 71 91 93 0
19 63 68 -70 83 -84 0
-55 59 -82 -88 0
1 13 -18 22 39 49 -56 -59 0
1 -12 21 26 -47 99 0
41 -57 0
-3 -42 67 -69 -97 0