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