problem-2.cnf

p cnf 64 384
2 0
-1 -2 0
2 3 0
-2 -3 0
-3 4 0
3 -4 0
4 1 0
-4 -1 0
5 6 0
-5 -6 0
-6 7 0
6 -7 0
7 8 0
-7 -8 0
-8 5 0
8 -5 0
9 10 0
-9 -10 0
10 11 0
-10 -11 0
11 12 0
-11 -12 0
-12 9 0
12 -9 0
-13 14 0
13 -14 0
14 15 0
-14 -15 0
15 16 0
-15 -16 0
16 13 0
-16 -13 0
-1 5 0
-5 0
-2 6 0
2 -6 0
3 7 0
-3 -7 0
-4 8 0
4 -8 0
-5 9 0
5 -9 0
-6 10 0
6 -10 0
7 11 0
-7 -11 0
-8 12 0
8 -12 0
-9 13 0
9 -13 0
-10 14 0
10 -14 0
11 15 0
-11 -15 0
12 16 0
-12 -16 0
-13 1 0
13 -1 0
-14 2 0
14 -2 0
-15 3 0
15 -3 0
-16 4 0
16 -4 0
17 0
-1 -17 0
-2 18 0
2 -18 0
-3 19 0
3 -19 0
4 20 0
-4 -20 0
5 21 0
-5 -21 0
6 22 0
-6 -22 0
7 23 0
-7 -23 0
8 24 0
-8 -24 0
-9 25 0
9 -25 0
10 26 0
-10 -26 0
11 27 0
-11 -27 0
12 28 0
-12 -28 0
13 29 0
-13 -29 0
14 30 0
-14 -30 0
-15 31 0
15 -31 0
16 32 0
-16 -32 0
17 18 0
-17 -18 0
18 19 0
-18 -19 0
19 20 0
-19 -20 0
-20 17 0
20 -17 0
21 22 0
-21 -22 0
22 23 0
-22 -23 0
23 24 0
-23 -24 0
-24 21 0
24 -21 0
-25 26 0
25 -26 0
-26 27 0
26 -27 0
27 28 0
-27 -28 0
28 25 0
-28 -25 0
29 30 0
-29 -30 0
-30 31 0
30 -31 0
-31 32 0
31 -32 0
-32 29 0
32 -29 0
-17 21 0
17 -21 0
18 22 0
-18 -22 0
19 23 0
-19 -23 0
-20 24 0
20 -24 0
-21 25 0
21 -25 0
-22 26 0
22 -26 0
-23 27 0
23 -27 0
-24 28 0
24 -28 0
25 29 0
-25 -29 0
26 30 0
-26 -30 0
-27 31 0
27 -31 0
-28 32 0
28 -32 0
-29 17 0
29 -17 0
-30 18 0
30 -18 0
31 19 0
-31 -19 0
-32 20 0
32 -20 0
-17 33 0
17 -33 0
-18 34 0
18 -34 0
-19 35 0
19 -35 0
-20 36 0
20 -36 0
-21 37 0
21 -37 0
22 38 0
-22 -38 0
23 39 0
-23 -39 0
24 40 0
-24 -40 0
-25 41 0
25 -41 0
-26 42 0
26 -42 0
-27 43 0
27 -43 0
28 44 0
-28 -44 0
-29 45 0
29 -45 0
-30 46 0
30 -46 0
-31 47 0
31 -47 0
-32 48 0
32 -48 0
-33 34 0
33 -34 0
34 35 0
-34 -35 0
35 36 0
-35 -36 0
-36 33 0
36 -33 0
37 38 0
-37 -38 0
38 39 0
-38 -39 0
-39 40 0
39 -40 0
-40 37 0
40 -37 0
41 42 0
-41 -42 0
42 43 0
-42 -43 0
-43 44 0
43 -44 0
-44 41 0
44 -41 0
45 46 0
-45 -46 0
46 47 0
-46 -47 0
47 48 0
-47 -48 0
-48 45 0
48 -45 0
33 37 0
-33 -37 0
-34 38 0
34 -38 0
35 39 0
-35 -39 0
36 40 0
-36 -40 0
37 41 0
-37 -41 0
38 42 0
-38 -42 0
39 43 0
-39 -43 0
-40 44 0
40 -44 0
-41 45 0
41 -45 0
42 46 0
-42 -46 0
-43 47 0
43 -47 0
-44 48 0
44 -48 0
-45 33 0
45 -33 0
46 34 0
-46 -34 0
-47 35 0
47 -35 0
48 36 0
-48 -36 0
33 49 0
-33 -49 0
-34 50 0
34 -50 0
-35 51 0
35 -51 0
-36 52 0
36 -52 0
-37 53 0
37 -53 0
-38 54 0
38 -54 0
39 55 0
-39 -55 0
-40 56 0
40 -56 0
-41 57 0
41 -57 0
42 58 0
-42 -58 0
43 59 0
-43 -59 0
-44 60 0
44 -60 0
45 61 0
-45 -61 0
46 62 0
-46 -62 0
-47 63 0
47 -63 0
48 64 0
-48 -64 0
49 50 0
-49 -50 0
-50 51 0
50 -51 0
51 52 0
-51 -52 0
-52 49 0
52 -49 0
-53 54 0
53 -54 0
-54 55 0
54 -55 0
-55 56 0
55 -56 0
56 53 0
-56 -53 0
57 58 0
-57 -58 0
58 59 0
-58 -59 0
-59 60 0
59 -60 0
60 57 0
-60 -57 0
-61 62 0
61 -62 0
-62 63 0
62 -63 0
-63 64 0
63 -64 0
64 61 0
-64 -61 0
-49 53 0
49 -53 0
-50 54 0
50 -54 0
-51 55 0
51 -55 0
52 56 0
-52 -56 0
-53 57 0
53 -57 0
54 58 0
-54 -58 0
-55 59 0
55 -59 0
56 60 0
-56 -60 0
57 61 0
-57 -61 0
58 62 0
-58 -62 0
59 63 0
-59 -63 0
60 64 0
-60 -64 0
-61 49 0
61 -49 0
62 50 0
-62 -50 0
63 51 0
-63 -51 0
-64 52 0
64 -52 0
-49 1 0
49 -1 0
50 2 0
-50 -2 0
51 3 0
-51 -3 0
52 4 0
-52 -4 0
-53 5 0
53 -5 0
54 6 0
-54 -6 0
55 7 0
-55 -7 0
56 8 0
-56 -8 0
57 9 0
-57 -9 0
-58 10 0
58 -10 0
59 11 0
-59 -11 0
-60 12 0
60 -12 0
-61 13 0
61 -13 0
62 14 0
-62 -14 0
-63 15 0
63 -15 0
64 16 0
-64 -16 0