c CNF file in DIMACS format
p cnf 64 130
2 0
8 0
9 11 0
-9 -11 0
13 0
17 19 0
-17 -19 0
21 23 0
-21 -23 0
25 27 28 0
-25 -27 0
-25 -28 0
-27 -28 0
29 30 32 0
-29 -30 0
-29 -32 0
-30 -32 0
33 36 0
-33 -36 0
37 0
42 0
47 0
49 51 52 0
-49 -51 0
-49 -52 0
-51 -52 0
53 54 55 0
-53 -54 0
-53 -55 0
-54 -55 0
57 60 0
-57 -60 0
61 64 0
-61 -64 0
9 13 0
-9 -13 0
11 0
17 21 25 29 0
-17 -21 0
-17 -25 0
-17 -29 0
-21 -25 0
-21 -29 0
-25 -29 0
30 0
19 23 27 0
-19 -23 0
-19 -27 0
-23 -27 0
28 32 0
-28 -32 0
33 37 0
-33 -37 0
36 0
49 53 57 61 0
-49 -53 0
-49 -57 0
-49 -61 0
-53 -57 0
-53 -61 0
-57 -61 0
54 0
51 55 0
-51 -55 0
52 60 64 0
-52 -60 0
-52 -64 0
-60 -64 0
17 33 49 0
-17 -33 0
-17 -49 0
-33 -49 0
19 51 0
-19 -51 0
36 52 0
-36 -52 0
21 37 53 0
-21 -37 0
-21 -53 0
-37 -53 0
54 0
23 55 0
-23 -55 0
9 25 57 0
-9 -25 0
-9 -57 0
-25 -57 0
11 27 0
-11 -27 0
28 60 0
-28 -60 0
13 29 61 0
-13 -29 0
-13 -61 0
-29 -61 0
30 0
32 64 0
-32 -64 0
17 21 0
-17 -21 0
19 23 0
-19 -23 0
9 13 25 29 0
-9 -13 0
-9 -25 0
-9 -29 0
-13 -25 0
-13 -29 0
-25 -29 0
30 0
11 27 0
-11 -27 0
28 32 0
-28 -32 0
33 37 49 53 0
-33 -37 0
-33 -49 0
-33 -53 0
-37 -49 0
-37 -53 0
-49 -53 0
54 0
51 55 0
-51 -55 0
36 52 0
-36 -52 0
57 61 0
-57 -61 0
60 64 0
-60 -64 0