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