ssa2670-141.processed.cnf

p cnf 91 377
-1 -2 0
-1 -3 0
-3 -4 0
2 5 0
2 6 0
-7 -8 0
-9 -8 0
-10 -11 0
-10 -12 0
-12 -13 0
11 14 0
11 15 0
3 4 16 0
17 18 0
17 19 0
-20 -21 0
-22 -20 0
-23 -19 0
23 19 0
-23 -24 0
-25 -24 0
-26 24 0
-23 -27 0
-25 -27 0
-25 -28 0
-23 -28 0
15 -29 0
15 30 0
31 15 0
19 32 0
33 32 0
-33 -19 -34 -32 0
-23 -34 0
-25 -34 0
23 25 34 32 0
6 35 0
6 -36 0
6 -37 0
-38 -23 0
-38 -39 0
-40 -23 0
-40 -39 0
39 18 0
-39 -18 0
41 18 0
41 19 0
42 19 0
42 18 0
21 -42 0
21 19 0
-21 42 0
21 18 0
-43 -23 0
-43 -39 0
43 -44 0
-23 -44 0
-39 -44 0
-43 44 0
-9 -45 0
43 -9 0
-40 -9 0
-46 -9 0
46 40 -43 9 45 0
47 19 0
47 18 0
-48 -23 0
-48 -39 0
16 49 0
16 50 0
51 16 0
-51 -16 -49 -50 0
35 52 0
-35 -52 0
-53 -39 0
-53 -23 0
54 19 0
54 18 0
-55 -23 0
-55 -39 0
19 56 0
33 56 0
-57 -12 0
-58 -12 0
39 19 0
19 59 0
33 59 0
-45 -7 0
-42 -7 0
-60 -7 0
61 62 0
-61 -62 0
61 4 0
63 4 0
64 19 0
64 18 0
5 63 0
-60 -39 0
-60 -23 0
-25 -65 0
-66 -67 0
66 67 0
68 49 0
-68 -49 0
69 18 0
69 19 0
-23 -26 0
-25 -26 0
26 -24 0
70 54 38 0
-22 -71 0
-71 72 0
-71 44 0
22 -17 71 -72 -44 0
17 -71 0
73 14 0
-58 14 0
-33 -25 0
33 25 0
40 17 39 23 0
-40 -17 -18 -19 0
-38 -64 -18 -19 0
38 39 23 64 0
48 41 39 23 0
-48 -41 -18 -19 0
23 -74 -75 0
-76 -25 0
76 -74 -75 0
-20 72 0
-20 77 0
33 30 0
-57 14 0
31 14 0
-78 14 0
-79 14 0
78 -31 58 -73 57 79 -14 0
33 37 0
33 80 0
-25 -36 0
81 19 51 0
-81 -23 -51 0
-62 6 0
6 -82 0
62 -6 -35 37 36 82 0
-83 -1 0
8 83 1 0
-29 37 0
33 29 0
-62 5 0
5 -52 0
-78 5 0
5 -84 0
-10 -34 27 0
81 19 85 0
-81 -23 -85 0
-13 -67 86 0
87 -7 0
-88 -10 0
-70 88 10 0
-8 47 -64 0
-57 15 0
-58 15 0
-31 58 57 -15 -30 29 0
-25 -74 0
25 74 75 0
-1 32 -56 0
-19 -79 84 0
-19 79 -84 0
-23 79 -84 0
-23 -79 84 0
-33 -19 -27 -56 0
23 25 27 56 0
87 -8 -83 0
31 -12 0
73 -12 0
-23 -89 86 0
-23 89 -86 0
-19 89 -86 0
-19 -89 86 0
70 -20 0
70 -71 0
-69 -60 -18 -19 0
69 60 39 23 0
-81 51 -85 0
-19 51 -85 0
-19 -51 85 0
-81 -51 85 0
70 -88 77 0
70 -88 72 0
-37 -63 -36 0
-37 63 36 0
37 63 -36 0
37 -63 36 0
-59 -24 -35 0
-59 24 35 0
59 -24 35 0
59 24 -35 0
-57 -34 -27 0
57 34 -27 0
57 -34 27 0
-57 34 27 0
73 -30 -29 0
-73 30 -29 0
-73 -30 29 0
73 30 29 0
78 62 -5 -63 52 82 84 0
-82 4 0
5 -82 0
-66 89 50 0
-66 -89 -50 0
66 89 -50 0
66 -89 50 0
31 -26 -28 0
-31 -26 28 0
-31 26 -28 0
31 26 28 0
87 -40 -43 0
-87 -40 43 0
-87 40 -43 0
87 40 43 0
-74 -65 -82 0
-74 65 82 0
74 -65 82 0
74 65 -82 0
-46 -47 -64 0
46 -47 64 0
46 47 -64 0
-46 47 64 0
45 -48 55 0
-45 -48 -55 0
-45 48 55 0
45 48 -55 0
-78 -79 -12 0
78 79 -12 0
78 -31 58 -73 57 -79 12 13 0
-78 -31 58 -73 57 79 12 13 0
-32 61 -56 0
32 -61 -56 0
-32 -61 56 0
32 61 56 0
81 -47 -18 -19 0
81 -54 -18 -19 0
-81 47 0
-54 47 0
-81 54 0
54 -47 0
-17 77 44 0
-17 -77 -44 0
17 -77 44 0
17 77 -44 0
-54 38 72 0
-54 -38 -72 0
54 38 -72 0
54 -38 72 0
-76 -80 58 0
-76 80 -58 0
76 -80 -58 0
76 80 58 0
-66 -86 90 0
-66 86 -90 0
66 -86 -90 0
66 86 90 0
19 75 0
19 -76 74 0
23 -76 -75 0
-76 74 -75 0
76 25 75 0
22 -41 -53 0
-22 41 -53 0
-22 -41 53 0
22 41 53 0
3 4 -67 89 0
29 -37 0
46 -87 45 60 42 7 0
-46 -7 0
-46 -8 -83 0
-31 -76 -80 57 11 0
-57 -11 0
31 -11 0
76 -11 -14 -15 0
80 -11 -14 -15 0
-74 -61 65 2 -35 0
-65 -2 -5 -6 0
74 -2 -5 -6 0
61 -2 -5 -6 0
-2 -5 35 0
-33 -19 -28 -59 0
23 25 28 59 0
-23 80 25 65 0
-19 80 25 65 0
-33 19 -80 -65 0
-33 23 -80 -65 0
-19 25 30 36 0
-23 25 30 36 0
-33 19 -30 -36 0
-33 23 -30 -36 0
46 48 -55 -8 0
9 -48 7 8 64 0
-46 8 64 0
9 55 7 8 64 0
9 -48 7 8 -47 0
-46 8 -47 0
9 55 7 8 -47 0
-10 57 -26 28 0
10 26 34 11 12 0
10 34 -28 11 12 0
10 -57 34 0
10 26 -27 11 12 0
10 -27 -28 11 12 0
10 -57 -27 0
-20 69 0
-1 -59 62 -24 0
1 56 -62 2 3 0
1 56 24 2 3 0
1 56 59 2 3 0
1 -32 -62 2 3 0
1 -32 24 2 3 0
1 -32 59 2 3 0
-41 -53 70 -72 0
53 -70 -54 71 20 0
53 -70 -38 71 20 0
-70 -54 72 0
-70 -38 72 0
41 -70 -54 71 20 0
41 -70 -38 71 20 0
-45 -8 -83 0
60 42 -8 -83 0
-60 -42 -8 -83 0
46 -87 45 -60 42 83 1 0
46 -87 45 60 -42 83 1 0
-52 4 0
78 84 4 0
-78 -84 4 0
78 -61 -63 52 82 -84 -4 0
-78 -61 -63 52 82 84 -4 0
-13 -85 90 -91 0
13 67 -90 0
13 -86 -90 0
-3 67 50 0
-3 -89 50 0
-68 -3 51 67 0
-68 -3 51 -89 0
68 -3 -51 67 -16 0
68 -3 -51 -89 -16 0
88 10 -8 83 0
88 10 83 1 0
70 88 -8 83 0
70 88 83 1 0
-88 -83 0
-70 -10 -83 0
-88 8 -1 0
-70 -10 8 -1 0
-22 70 -88 0
70 -88 -21 69 0
70 -88 21 -69 0
22 88 10 -21 -69 -72 -77 0
22 88 10 21 69 -72 -77 0
22 88 10 20 21 -72 -77 0
22 20 21 -69 -72 -77 0
13 85 67 49 0
13 85 -86 49 0
68 -13 90 -91 0
-13 -49 90 -91 0
-55 53 0
55 -53 0
-23 -3 67 -16 91 0
-23 -3 -89 -16 91 0
-19 -3 67 -16 91 0
-19 -3 -89 -16 91 0
23 -68 3 4 -51 -91 -50 0
19 -68 3 4 -51 -91 -50 0
23 68 3 4 51 -91 -50 0
19 68 3 4 51 -91 -50 0
-68 13 67 91 0
13 85 67 91 0
-68 13 -86 91 0
13 85 -86 91 0
68 -13 -85 90 0