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