puresat-0.1: dimacs/jnh/jnh4.cnf
c File: jnh4.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 850
-15 22 -28 59 0
-14 76 81 -84 -97 0
3 65 -67 -70 -91 0
22 46 -56 0
-12 50 58 0
10 96 97 0
64 -73 94 0
-8 55 -67 71 73 -76 84 0
-30 65 71 0
-1 -5 32 -56 0
-34 -44 55 56 -97 0
-8 15 20 -25 35 -56 69 0
9 52 86 -91 0
-5 25 72 -74 -79 83 89 100 0
26 43 -61 -74 78 90 -93 99 0
-11 -31 -34 -50 0
-28 -37 -57 0
16 27 -28 -38 -41 44 -52 -54 -98 0
-11 26 48 -71 -75 0
9 -19 -27 -32 -64 77 0
-2 -55 -57 81 0
-10 14 -66 -69 -94 0
6 11 70 0
-18 -58 83 0
30 64 -78 -93 98 0
10 11 -23 -53 -65 82 0
7 10 12 44 82 -88 0
16 19 20 -52 54 -74 78 -93 0
6 -76 96 0
4 -50 70 -84 0
-9 12 -61 93 0
25 -77 0
1 3 5 40 -49 52 72 73 0
4 -46 82 0
28 -37 -49 -77 -90 -100 0
-1 60 71 0
-10 19 29 -59 65 0
55 74 75 0
-31 -51 62 -67 -86 88 93 -99 0
33 96 -98 0
-3 -25 -35 78 80 -95 97 0
-21 -36 0
15 54 -98 0
-80 -93 0
-12 -14 -37 39 -40 0
18 56 -57 -71 81 0
30 57 66 -78 -82 0
51 -54 -99 0
41 52 63 66 95 0
20 -34 38 -49 -54 0
3 -10 -19 -36 -41 0
3 59 60 -76 80 82 0
5 6 -21 -24 51 88 0
8 -23 -32 -69 -94 0
-4 16 -17 83 86 0
-8 10 11 -13 15 16 -18 -23 83 0
-3 69 -75 -87 0
-61 82 0
-12 -21 33 44 -62 0
-46 54 55 74 89 0
7 -25 60 -96 0
-39 44 61 -89 0
-9 -17 45 82 99 0
-36 42 64 78 -93 0
93 -97 0
-8 19 -58 -65 0
-31 -36 83 97 0
-14 -17 27 53 85 0
2 66 73 82 84 89 100 0
-20 -29 40 41 48 -58 -85 93 0
-12 31 -36 47 -64 69 -89 0
-6 47 51 -80 0
-20 -33 52 -64 89 0
-35 54 87 0
32 42 56 -62 65 83 -85 0
-21 41 70 0
3 4 -9 -23 31 -33 -83 0
45 87 0
-27 38 0
10 -25 -30 -34 47 52 -65 69 -91 95 0
12 -19 -87 0
30 -40 -51 -88 0
29 31 49 85 -88 95 0
15 -46 0
4 54 57 -84 90 0
-40 43 -53 0
27 28 59 0
26 32 47 62 69 -74 0
-9 -26 -86 0
18 23 32 -44 -85 88 0
6 8 -29 -31 40 -46 -50 -99 0
49 54 -69 -95 0
7 34 -69 -98 0
23 79 0
-46 -56 -79 86 -92 0
12 15 -22 28 80 -84 0
31 45 46 -81 0
-21 -25 53 54 -61 -66 -72 0
8 10 27 -40 47 -48 -85 94 -97 0
-3 19 -30 -62 -68 -81 0
-2 47 54 -55 93 0
-16 -36 41 -48 -63 -67 -72 0
39 -65 -79 -83 -87 97 0
50 57 -68 -97 99 0
27 -40 -67 -70 83 0
2 -8 -32 79 -84 91 92 0
-10 36 -46 66 68 81 82 98 0
61 74 77 79 -93 0
-9 -50 -73 -79 0
-8 -19 62 63 -69 90 0
21 59 85 -98 0
21 -42 50 72 78 0
-14 -33 46 -87 -94 0
78 -91 0
-1 -16 -19 -40 -52 76 77 -88 0
18 50 -55 62 89 -90 0
-27 30 -39 -42 -78 -83 89 90 0
21 -36 40 98 0
5 -6 -9 -87 92 0
-11 21 74 -96 0
8 20 44 -45 62 63 74 82 -90 -97 0
8 -14 -58 62 -70 73 -74 0
-15 -19 -31 -74 90 0
9 93 0
55 -68 85 0
20 -51 -60 92 0
2 -64 -66 72 0
28 29 -38 -61 -67 0
22 39 49 50 -53 -63 78 -89 0
-31 34 -40 43 98 0
-36 52 92 0
42 -49 58 -65 89 98 0
-9 27 0
18 -22 -44 47 53 -60 -63 84 -92 0
-11 24 -29 -45 48 -51 -81 0
-17 -26 37 -38 -56 -96 99 0
-3 5 44 83 95 0
48 75 0
-12 -38 93 0
-31 46 -83 0
5 -11 -53 0
-2 -21 -30 50 -64 -76 0
6 -44 -58 64 71 98 0
5 30 -98 0
5 15 -43 59 74 -80 -90 97 0
22 -23 -45 69 0
-35 -46 -51 0
-29 -84 0
25 -38 -53 0
1 -9 -27 30 -40 55 73 0
-37 -49 -55 78 83 99 0
40 80 85 100 0
-18 32 -34 -54 0
40 -41 53 98 0
6 22 24 -46 49 51 -72 0
29 -34 62 73 -75 -79 0
-7 -46 50 -67 80 0
-4 24 -34 -72 0
-23 -32 38 -92 0
-8 32 34 87 0
42 55 -75 -84 -91 95 0
-17 -46 -57 -74 77 -92 0
-35 -67 0
-4 -15 26 -68 88 -93 96 0
-14 19 -32 50 -60 64 67 -69 -78 0
53 58 65 0
59 97 0
-8 -25 -62 72 90 97 98 0
41 49 52 59 -92 95 0
4 23 -29 -46 -48 -87 0
32 -49 -54 57 71 -82 0
-22 40 43 49 -65 0
-27 -56 -82 97 0
-12 47 -49 82 93 0
35 56 57 98 0
37 52 64 86 95 0
51 -54 96 0
19 -36 -80 -84 0
-15 -19 -31 88 0
-10 12 -13 23 -27 -30 34 -70 92 0
33 57 60 63 -66 0
72 -83 -94 0
5 9 -21 23 27 73 91 -96 0
-6 28 32 44 -61 -100 0
-45 -64 81 0
-25 74 84 -93 0
9 70 74 -77 0
6 9 11 -25 -41 0
-3 -8 -21 74 -89 100 0
-6 -48 -53 -60 -79 0
-23 85 90 -93 0
12 74 -76 -79 -100 0
31 55 -65 0
5 6 -21 59 67 0
3 19 0
73 -82 0
-17 64 -76 80 82 -85 93 0
-39 74 80 0
-6 -10 -14 41 -65 0
-43 -53 64 65 0
-17 24 29 -34 44 -65 78 0
9 18 61 95 -100 0
-2 8 -14 34 81 -83 -88 92 98 0
35 52 -70 -83 87 99 0
-20 -40 -43 -59 0
-7 -37 -46 -66 0
25 36 -37 -47 -50 53 -61 -63 0
-20 35 57 -80 -84 0
18 -28 -36 -41 -73 86 0
-11 -64 -66 90 0
-3 16 0
-19 23 -75 -78 0
15 20 79 0
-27 -67 92 0
-2 7 73 0
39 73 -87 0
19 20 -32 -62 -74 91 0
-2 16 19 21 53 91 -97 0
5 25 28 29 -61 63 -83 87 0
15 -85 0
2 13 -59 79 -93 0
-18 21 -70 0
34 -86 0
10 12 14 49 -58 61 81 82 0
8 13 -55 91 0
37 -46 -58 -86 -99 0
-10 69 80 0
-19 28 38 -68 74 0
2 -8 64 83 84 0
5 -7 -40 -60 71 -76 -95 97 0
-4 6 42 0
-12 -34 -44 87 89 0
-7 -30 -45 0
-2 24 63 0
-21 -23 -46 48 -49 0
27 65 -66 -80 90 0
-8 39 66 75 -87 -91 0
4 60 -63 0
50 61 72 75 0
29 -43 47 -58 -63 0
12 -19 -28 -45 -50 0
12 68 69 -85 89 91 0
-3 14 15 -30 -33 60 97 0
17 -32 -41 -78 0
-13 25 -26 92 95 0
-17 19 20 -22 24 25 -27 -32 92 0
-12 78 -84 -96 0
-70 91 0
-21 -30 42 53 -71 0
-5 -55 63 64 83 98 0
16 -34 69 0
8 -48 53 70 -98 0
-2 -18 -26 54 91 0
2 -6 -45 51 73 87 0
6 -17 28 -67 -74 0
-40 -45 92 0
9 -23 -26 36 62 94 0
2 11 75 82 91 93 98 0
-29 -38 49 50 57 -67 -94 0
-21 40 -45 56 -73 78 -98 0
-15 56 60 -89 0
-29 -42 61 -73 98 0
-44 63 96 0
41 51 65 -71 74 92 -94 0
-30 50 79 0
12 13 -18 -32 40 -42 -92 0
54 96 0
4 -36 47 0
19 -34 -39 -43 56 61 -74 78 -100 0
21 -28 -96 0
4 39 -49 -60 -97 0
38 40 58 94 -97 0
24 -55 0
13 63 66 -93 99 0
-49 52 -62 0
36 37 68 0
35 41 56 71 78 -83 0
-18 -35 -95 0
-8 27 32 41 -53 -94 97 0
-4 15 17 -38 -40 49 -55 -59 0
-7 58 63 -78 0
16 43 -78 0
-1 32 88 0
-55 -65 -88 95 0
21 24 -31 37 89 -93 0
40 54 55 -90 0
3 -6 -30 -34 62 63 -70 -75 -81 0
17 19 36 -49 56 -57 -94 0
2 -12 28 -39 -71 -77 -90 0
-11 56 63 -64 0
6 -25 -45 50 -57 -72 -76 -81 0
-6 8 48 -74 -88 -92 -96 0
59 66 -77 0
1 36 -49 -76 -79 92 0
7 11 -17 -41 88 -93 100 0
-2 -19 45 -55 75 77 90 91 0
70 83 86 88 0
-18 -59 -82 -88 0
-7 -17 -28 71 72 -78 99 0
30 68 94 0
-3 30 -51 59 81 87 0
-23 -42 55 -96 0
87 -100 0
-10 -25 -28 -49 -61 85 86 -97 0
27 59 -64 71 98 -99 0
7 -36 39 -48 -51 -87 -92 98 99 0
1 30 -45 49 0
-5 14 -15 -18 -96 0
-20 30 83 0
-6 -45 0
17 29 53 -54 71 72 83 91 -99 0
17 -23 -67 71 -79 82 -83 0
2 -24 -28 -40 -83 99 0
1 64 -77 94 0
29 -60 -69 0
11 -73 -75 81 0
37 38 -47 -70 -76 0
7 31 48 58 59 -62 -72 87 -98 0
1 -40 43 -49 52 0
7 -45 61 0
51 -58 67 -74 98 0
-1 -18 36 0
27 -31 -53 56 62 -69 -72 93 0
-5 8 -20 33 -38 -54 57 -60 -90 0
4 -26 -35 46 -47 -65 0
-12 14 53 92 0
2 57 84 0
-21 -47 0
-40 55 -92 0
14 -20 -62 0
7 -11 -30 -39 59 -73 -85 0
-7 15 -53 -67 73 80 0
-1 14 39 0
14 24 -52 68 83 -89 -99 0
31 -32 -54 78 0
-44 -55 -60 0
-38 -93 0
34 -47 -62 0
8 10 -18 -36 39 -49 64 82 0
9 -46 -58 -64 87 92 0
49 89 94 0
7 -27 41 -43 -63 0
49 -50 62 0
15 31 33 -55 58 60 -81 0
38 -43 71 82 -84 -88 0
-16 -55 59 -76 89 0
-1 -13 33 -43 -81 0
-32 -41 47 0
4 -17 41 43 96 0
-1 51 64 -84 -93 -100 0
-26 -55 -66 -83 86 0
-2 5 -44 -76 0
-13 -24 35 -77 97 0
-23 28 -41 59 -69 73 76 -78 -87 0
6 62 67 74 0
6 7 68 0
-1 4 -17 -34 -71 81 99 0
50 58 61 68 0
13 32 -38 -55 -57 -96 0
41 -58 -63 66 80 -91 0
6 -31 49 52 58 -74 0
2 -36 -65 -91 0
7 -21 56 -58 91 0
4 44 65 66 0
5 46 61 73 95 0
60 -63 0
28 -45 -89 -93 0
1 -24 -28 -40 97 0
-19 21 -22 32 -36 -39 43 -79 0
-3 42 66 69 72 -75 0
-5 81 -92 0
-9 14 18 -30 32 36 82 100 0
-15 37 41 53 -70 0
-2 -54 -73 90 0
-34 83 93 0
18 79 83 -86 0
9 15 18 20 -34 -50 0
-12 -17 -30 83 -98 0
-2 -15 -57 -62 -69 -88 0
-9 -32 94 99 0
21 83 -85 -88 0
40 64 -74 0
14 15 -30 68 76 0
12 28 0
2 82 -91 0
-26 73 -85 89 91 -94 0
-48 83 89 0
-15 -19 -23 50 -74 0
-52 -62 73 74 0
4 -9 -26 33 38 -43 53 -74 87 0
1 7 18 27 70 0
8 -11 17 -23 43 90 -92 -97 0
44 61 -79 -92 96 0
-29 -49 -52 -68 0
-16 -46 -55 -75 0
34 45 -46 -56 -59 62 -70 -72 0
-29 44 66 -89 -93 0
27 -37 -45 -50 -82 95 0
-20 -73 -75 99 0
-12 25 0
-28 32 -84 -87 0
1 24 29 88 0
-36 -76 0
-11 16 82 0
6 48 82 -96 0
-6 28 29 -41 -71 -83 100 0
-11 25 28 30 62 100 0
14 34 37 38 -70 72 -92 96 0
-2 24 -94 0
11 22 -68 88 0
-27 30 -79 0
43 -95 0
19 21 23 58 -67 70 90 91 0
17 22 -64 100 0
-8 -18 0
46 -55 -67 -95 0
-19 78 89 0
-28 37 47 -77 83 0
-4 6 11 -17 73 92 93 0
14 -16 -49 -69 80 -85 0
-13 15 51 0
-21 -43 -53 96 98 0
-16 -39 -54 0
-11 33 72 0
-30 -32 -55 57 -58 0
36 74 -75 -89 99 0
-17 48 75 84 -96 -100 0
13 69 -72 0
59 70 81 84 0
38 -52 56 -67 -72 0
21 -28 -37 -54 -59 0
6 21 77 78 -94 98 100 0
-12 23 24 -39 -42 69 0
1 4 26 -41 -50 -87 0
1 -22 34 -35 0
-5 -26 28 29 -31 33 34 -36 -41 0
-21 87 -93 0
-79 100 0
7 -30 -39 51 62 -80 0
-14 -64 72 73 92 0
-7 25 -43 78 0
17 -57 62 79 0
-11 -27 -35 63 100 0
11 -15 -54 60 82 96 0
1 15 -26 37 -76 -83 0
3 -49 -54 0
2 7 18 -32 -35 45 71 0
-3 11 20 84 91 100 0
-7 -38 -47 58 59 66 -76 0
-30 49 -54 65 -82 87 0
7 -24 65 69 -98 0
5 -38 -51 70 -82 0
1 -3 -53 72 0
50 60 74 -80 83 0
-1 -39 59 88 0
21 22 -27 -41 49 -51 0
5 33 0
-9 13 -45 56 0
-5 28 -43 -48 -52 65 70 -83 87 0
-6 30 -37 0
3 -6 13 48 -58 -69 0
47 49 67 0
-2 8 33 -64 0
22 72 75 0
-58 61 -71 0
45 46 77 0
-4 44 50 65 80 87 -92 0
-3 6 -27 -44 0
-17 36 41 50 -62 0
-13 24 26 -47 -49 58 -64 -68 0
-16 67 72 -87 0
25 52 -87 0
4 -10 41 97 0
-2 -64 -74 -97 0
30 33 -40 46 98 0
49 63 64 -99 0
-3 12 -15 -39 -43 71 72 -79 -84 -90 0
26 28 45 -58 65 -66 0
11 -21 37 -48 -80 -86 -99 0
-20 65 72 -73 0
-1 -5 15 -34 -54 59 -66 -81 -85 -90 0
-15 17 57 -83 -97 0
1 68 75 -86 0
-2 9 10 45 -58 -85 -88 0
16 20 -26 -50 97 0
-11 -28 54 -64 84 86 99 100 0
79 92 95 97 0
8 -27 -68 -91 -97 0
3 -16 -26 -37 80 81 -87 0
39 77 0
-5 -12 39 -60 68 90 96 0
-9 -32 -51 64 0
-6 96 0
7 -8 -19 -34 -37 -58 -70 94 95 0
-1 7 8 36 68 -73 80 0
16 -45 48 -57 -60 -96 0
-5 10 39 -54 58 0
-14 23 -24 -27 0
-29 39 92 0
-8 -15 -54 0
26 38 62 -63 80 81 92 100 0
8 26 -32 -76 80 -88 91 -92 0
11 -33 -37 -49 -92 0
3 27 0
10 73 -86 0
38 -69 -78 0
20 -82 -84 90 0
-7 46 47 -56 -79 -85 0
16 40 57 67 68 -71 -81 96 0
10 -49 52 -58 61 0
7 16 -54 70 0
60 -67 76 -83 0
2 -10 -27 45 0
36 -40 -62 65 71 -78 -81 0
-14 17 -29 42 -47 -63 66 -69 -99 0
1 13 -35 -44 55 -56 -74 0
-21 23 62 0
11 66 93 0
-1 -30 -56 0
-49 64 0
23 -29 -71 0
16 -20 -39 -48 68 -82 -94 0
-16 24 -62 -76 82 89 0
-10 23 48 0
-8 15 0
23 33 -61 77 92 -98 0
40 -41 -63 87 0
-2 -53 -64 -69 0
43 -56 -71 0
1 17 19 -27 -45 48 -58 73 91 0
3 18 -55 -67 -73 96 0
58 98 0
16 -36 50 -52 -72 0
58 -59 71 0
24 40 42 -64 67 69 -90 0
47 -52 80 91 -93 -97 0
-25 -64 68 -85 98 0
-10 -22 42 -52 -90 0
5 -41 -50 56 0
-2 -9 13 -26 50 52 0
-10 60 73 -93 0
-35 -64 -75 -92 95 0
6 -11 14 -53 -85 0
-22 -33 44 -86 0
-32 37 -50 68 -78 82 85 -87 -96 0
15 71 76 83 0
8 15 16 77 0
-10 13 -26 -43 -80 90 0
-5 59 67 70 77 0
22 41 -47 -64 -66 0
50 -67 -72 75 89 -100 0
15 -40 58 61 67 -83 0
11 -45 -74 -100 0
16 -30 65 -67 100 0
4 13 53 74 75 0
14 55 70 82 0
-3 69 -72 0
6 37 -54 -98 0
10 -33 -37 -49 0
-28 30 -31 41 -45 -48 52 -88 0
-1 -12 51 75 78 81 -84 0
9 -14 90 0
-18 23 27 -39 41 45 91 0
-24 46 50 62 -79 0
2 -11 -63 -82 99 0
-43 92 0
27 88 92 -95 0
-7 18 24 27 29 -43 -59 0
-21 -26 -39 92 0
3 8 -11 -24 -66 -71 -78 -97 0
-18 -41 0
30 92 -94 -97 0
49 73 -83 0
23 24 -39 77 85 0
21 37 0
-3 11 91 -100 0
-35 82 -94 98 100 0
-57 92 98 0
-24 -28 -32 59 -83 0
-61 -71 82 83 0
13 -18 -35 42 47 -52 62 -83 96 0
-1 -6 10 16 27 36 79 0
-1 5 17 -20 26 -32 52 99 0
53 70 -88 0
-38 -58 -61 -77 0
-25 -55 -64 -84 0
-2 43 54 -55 -65 -68 71 -79 -81 0
4 -38 53 75 -98 0
8 36 -46 -54 -59 -91 0
-29 -82 -84 0
-21 34 0
-37 41 -93 -96 0
10 33 38 97 0
-45 -85 0
-5 -20 25 91 0
15 57 91 0
9 -15 37 38 -50 -80 -92 0
-1 5 -20 34 37 39 71 0
-3 23 43 46 47 -79 81 0
-11 33 0
20 31 -77 97 0
-4 -36 39 -88 0
9 28 30 32 67 -76 79 99 100 0
26 31 -73 0
-4 -17 -27 0
55 -64 -76 0
-28 87 98 0
1 2 -37 46 56 -86 92 0
-13 15 20 -26 82 0
23 -25 -58 -78 89 -94 0
5 7 -22 24 60 0
-30 -52 -62 0
-25 -48 -63 0
-7 -20 42 81 0
8 -39 -41 -64 66 -67 0
-5 -9 45 83 -84 -98 0
-26 57 84 93 0
22 78 -81 0
68 79 90 93 0
47 -61 65 -76 -81 0
-3 7 9 30 -37 -46 -63 -68 0
15 30 86 87 0
-21 32 33 -48 -51 78 0
10 13 35 -50 -59 -96 0
10 -31 43 -44 0
-2 -14 -35 37 38 -40 42 43 -45 -50 0
9 -30 96 0
1 16 -39 -48 60 71 -89 0
-23 -73 81 82 0
-16 34 -52 87 0
9 26 -66 71 88 0
5 -20 -36 -44 72 0
20 -24 -63 69 91 0
10 24 -35 46 -85 -92 0
12 -58 -63 0
9 11 16 27 -41 -44 54 80 0
-12 20 29 93 100 0
-16 -47 -56 67 68 75 -85 0
-7 -39 58 -63 74 -91 96 0
16 -33 74 78 0
14 -47 -60 79 -91 0
10 -12 -62 81 0
59 69 83 -89 92 0
-10 -48 68 97 0
30 31 -36 -50 58 -60 0
14 42 0
-18 22 -54 65 0
-14 37 -52 -57 -61 74 79 -92 96 0
-15 39 -46 0
12 -15 22 57 -67 -78 0
56 58 76 0
-11 17 42 -73 0
31 81 84 0
-67 70 -80 0
-1 54 55 86 0
-13 53 59 74 89 96 0
-12 15 -36 -53 0
-26 45 50 59 -71 0
-22 33 35 -56 -58 67 -73 -77 0
-25 76 81 -96 0
6 34 61 -96 0
-6 13 -19 50 0
7 -11 -73 -83 0
-8 39 42 -49 55 0
58 72 73 0
-12 21 -24 -48 -52 80 81 -88 -93 -99 0
-8 35 37 54 -67 74 -75 0
20 -30 46 -57 -89 -95 0
-29 74 81 -82 0
-6 -10 -14 24 -43 -63 68 -75 -90 -94 -99 0
-24 26 66 -92 0
10 77 84 -95 0
6 -11 18 19 54 -67 -94 -97 0
8 9 25 29 -35 -59 0
1 4 6 -20 -37 63 -73 93 95 0
-6 88 0
17 -36 -77 -100 0
12 -25 -35 -46 89 90 -96 0
5 48 86 0
-14 -21 48 -69 77 99 0
5 -18 -41 -60 73 0
3 4 -15 0
16 -17 -28 -43 -46 -67 -79 0
-5 -10 16 17 45 77 -82 89 0
25 -54 57 -66 -69 0
-14 19 48 -63 67 0
1 -23 32 -33 -36 0
-38 48 0
1 9 -17 -24 -63 0
-1 35 47 71 -72 89 90 0
-1 17 35 -41 -85 89 -97 100 0
20 -42 -46 -58 0
12 36 0
19 82 -95 0
47 -78 -87 0
29 -91 -93 99 0
5 -16 55 56 -65 -88 -94 0
25 49 66 76 77 -80 -90 0
19 -58 61 -67 70 0
16 25 -63 79 0
69 -76 85 -92 0
11 -19 -36 54 0
-8 45 -49 -71 74 80 -87 -90 0
-23 26 -38 51 -56 -72 75 -78 0
10 22 -44 -53 64 -65 -83 0
2 -30 32 71 0
20 75 0
-10 -39 -65 0
-58 73 0
-3 32 -38 -80 0
25 -29 -48 -57 77 -91 0
-25 33 -71 -85 91 98 0
-19 32 57 0
1 -7 -17 24 0
32 42 -70 86 0
49 -50 -72 96 0
-11 -62 -73 -78 0
52 -65 -80 0
5 10 26 28 -36 -54 57 -67 82 100 0
7 12 27 -64 -76 -82 0
25 -45 59 -61 -81 0
67 -68 80 0
-2 -6 33 49 51 -73 76 78 -99 0
7 56 -61 89 100 0
-34 -73 77 -94 0
-19 -31 51 -61 -99 0
14 -50 -59 65 0
-2 -11 -18 22 -35 59 61 0
-1 4 -19 69 82 0
-44 -73 -84 0
15 -20 23 -62 -94 0
-5 -31 -42 53 -95 0
-41 46 -59 77 -87 91 94 -96 0
24 80 85 92 0
17 24 25 86 0
-19 22 -35 -52 -89 99 0
-14 68 76 79 86 0
-9 31 50 -56 -73 -75 0
59 -76 -81 84 98 0
-9 24 -49 67 70 76 -92 0
9 20 -54 -83 0
25 -39 74 -76 0
13 22 62 83 84 0
23 64 79 91 0
-12 78 -81 0
-7 -11 0
15 46 -63 0
19 -42 -46 -58 0
-37 39 -40 50 -54 -57 61 -97 0
-10 -21 60 84 87 90 -93 0
18 -23 99 0
-27 32 36 -48 50 54 100 0
8 -33 55 59 71 -88 0
1 11 -20 -72 -91 0
1 -4 -52 0
36 97 0
1 -16 27 33 36 38 -52 -68 0
-6 -30 -35 -48 0
12 17 -20 -33 -75 -80 -87 0
1 -3 -6 -27 -50 0
58 82 -92 0
32 33 -48 86 94 0
-9 30 46 0
-3 7 9 -12 20 100 0
1 7 -44 91 0
-33 -37 -41 68 -92 0
5 -70 -80 91 92 0
22 -27 -44 51 56 -61 71 -92 0
8 -10 -15 19 25 36 45 88 0
-10 14 26 -29 35 -41 61 0
62 79 -97 0
-47 -67 -70 -86 0
-34 -64 -73 -93 0
-7 -11 52 63 -64 -74 -77 80 -88 -90 0
13 -47 62 84 0
17 45 -55 -63 -68 -100 0
-38 -91 -93 0
-2 -5 -30 43 0
6 -46 50 0
19 42 47 0
-54 -94 0
-14 -29 34 100 0
24 66 100 0
-1 18 0
18 -24 46 47 -59 -89 0
-10 14 -29 43 46 48 80 0
-12 32 52 55 56 -88 90 0
6 -20 42 0
29 40 -86 0
-13 -45 48 -97 0
8 9 61 0
18 37 39 41 76 -85 88 0
35 40 -82 0
-13 -26 -36 0
7 64 -73 -85 0
1 -37 96 0
10 11 -46 55 65 -95 0
-3 -22 24 29 -35 91 0
32 -34 -67 -87 98 0
14 16 -31 33 69 0
-39 -61 -71 0
-34 -57 -72 0
-16 -29 51 90 0
-7 17 -48 -50 -73 75 -76 0
2 -14 -18 54 92 -93 0
-35 66 93 0
2 31 87 -90 0
77 88 99 0
56 -70 74 -85 -90 0
-12 16 18 39 -46 -55 -72 -77 0
24 39 95 96 0
-5 -30 41 42 -57 -60 87 0
19 22 44 -59 -68 0
19 -40 52 -53 0
5 -11 -23 -44 46 47 -49 51 52 -54 -59 0
18 -39 0
10 25 -48 -57 69 80 -98 0
-32 -82 90 91 0
-25 43 -61 96 0
18 35 -75 80 97 0
14 -29 -45 -53 81 0
29 -33 -72 78 100 0
19 33 -44 55 -94 0
21 -67 -72 0
2 9 18 20 25 36 -50 -53 63 89 0
-21 29 38 0
5 -25 -56 -65 76 77 84 -94 0
-16 -48 67 -72 83 -100 0
25 -42 83 87 0
23 -56 -69 88 -100 0
1 19 -21 -71 90 0
6 68 78 92 -98 0
-19 -57 77 0
39 40 -45 -59 67 -69 0
23 51 0
-1 5 -27 31 -63 74 0
-23 46 -61 -66 -70 83 88 0
-24 48 -55 0
21 -24 31 66 -76 -87 0
65 67 85 0
-20 26 51 -82 0
40 90 93 0
-76 79 -89 0
5 -10 63 64 95 0
-22 62 68 83 98 0
-21 24 -45 -62 0
-35 54 59 68 -80 0
-5 -31 42 44 -65 -67 76 -82 -86 0
-5 -34 85 90 0
15 43 70 0