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