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