p cnf 0 310
1 0
-2 1 0
-1 2 0
-3 1 0
-1 3 0
-4 1 0
-1 4 0
-5 1 0
-1 5 0
-6 1 0
-1 6 0
-7 1 0
-1 7 0
-8 1 0
-1 8 0
-9 1 0
-1 9 0
-10 1 0
10 0
-11 1 0
-1 11 0
-12 1 0
-1 12 0
-13 1 0
-1 13 0
-14 1 0
-1 14 0
-15 2 0
-2 15 0
-16 2 0
-17 2 0
-2 17 0
-18 2 0
-2 18 0
-19 2 0
-2 19 0
-20 2 0
-2 20 0
-21 3 0
-3 21 0
-22 3 0
-3 22 0
-23 3 0
-3 23 0
-24 3 0
-3 24 0
-25 3 0
-3 25 0
-26 3 0
-3 26 0
-27 4 0
-4 27 0
-28 4 0
-4 28 0
-29 4 0
-4 29 0
-30 4 0
-4 30 0
-31 4 0
-4 31 0
-32 4 0
-4 32 0
-33 4 0
-4 33 0
-34 4 0
-4 34 0
-35 5 0
-5 35 0
-36 5 0
-5 36 0
-37 5 0
-5 37 0
-38 5 0
-5 38 0
-39 5 0
-5 39 0
-40 5 0
-5 40 0
-41 5 0
-5 41 0
-42 5 0
-5 42 0
-43 6 0
-6 43 0
-44 6 0
-6 44 0
-45 6 0
-6 45 0
-46 6 0
-6 46 0
-47 6 0
-6 47 0
-48 7 0
-49 7 0
-50 7 0
-7 48 49 50 0
-51 8 0
-52 8 0
-53 8 0
-54 8 0
-55 8 0
-56 8 0
-57 8 0
-58 8 0
-59 8 0
-60 8 0
-61 8 0
-8 51 52 53 54 55 56 57 58 59 60 61 0
-62 9 0
-9 62 0
-63 10 0
-10 63 0
-64 10 0
-10 64 0
-65 11 0
-66 11 0
-67 11 0
-68 11 0
-69 11 0
-70 11 0
-11 65 66 67 68 69 70 0
-71 13 0
-72 13 0
-73 13 0
-74 13 0
-75 13 0
-76 13 0
-13 71 72 73 74 75 76 0
-71 -72 0
-71 -73 0
-71 -74 0
-71 -75 0
-71 -76 0
-72 -73 0
-72 -74 0
-72 -75 0
-72 -76 0
-73 -74 0
-73 -75 0
-73 -76 0
-74 -75 0
-74 -76 0
-75 -76 0
-77 14 0
-78 14 0
-14 77 78 0
-77 -78 0
-79 15 0
-80 15 0
-81 15 0
-82 15 0
-83 15 0
-84 15 0
-85 15 0
-86 15 0
-87 15 0
-15 79 80 81 82 83 84 85 86 87 0
-88 16 0
-89 16 0
-16 88 89 0
-90 17 0
-17 90 0
-91 18 0
-92 18 0
-18 91 92 0
-91 -92 0
-93 22 0
-94 22 0
-95 22 0
-96 22 0
-97 22 0
-98 22 0
-22 93 94 95 96 97 98 0
-99 25 0
-100 25 0
-25 99 100 0
-101 34 0
-102 34 0
-34 101 102 0
-103 35 0
-104 35 0
-105 35 0
-106 35 0
-35 103 104 105 106 0
-107 36 0
-108 36 0
-109 36 0
-110 36 0
-36 107 108 109 110 0
-111 40 0
-112 40 0
-40 111 112 0
-113 41 0
-114 41 0
-41 113 114 0
-115 42 0
-116 42 0
-117 42 0
-42 115 116 117 0
-118 43 0
-119 43 0
-120 43 0
-43 118 119 120 0
-121 44 0
-122 44 0
-123 44 0
-124 44 0
-44 121 122 123 124 0
-125 45 0
-126 45 0
-127 45 0
-128 45 0
-129 45 0
-45 125 126 127 128 129 0
-130 51 0
-131 51 0
-132 51 0
-133 51 0
-134 51 0
-51 130 131 132 133 134 0
-135 64 0
-136 64 0
-137 64 0
-138 64 0
-139 64 0
-140 64 0
-141 64 0
-142 64 0
-143 64 0
-144 64 0
-145 64 0
-146 64 0
-64 135 136 137 138 139 140 141 142 143 144 145 146 0
-147 71 0
-148 71 0
-149 71 0
-150 71 0
-71 147 148 149 150 0
-147 -148 0
-147 -149 0
-147 -150 0
-148 -149 0
-148 -150 0
-149 -150 0
-151 72 0
-152 72 0
-153 72 0
-154 72 0
-155 72 0
-72 151 152 153 154 155 0
-151 -152 0
-151 -153 0
-151 -154 0
-151 -155 0
-152 -153 0
-152 -154 0
-152 -155 0
-153 -154 0
-153 -155 0
-154 -155 0
-156 74 0
-157 74 0
-158 74 0
-159 74 0
-74 156 157 158 159 0
-156 -157 0
-156 -158 0
-156 -159 0
-157 -158 0
-157 -159 0
-158 -159 0
-160 75 0
-161 75 0
-162 75 0
-75 160 161 162 0
-160 -161 0
-160 -162 0
-161 -162 0
-163 77 0
-164 77 0
-165 77 0
-166 77 0
-167 77 0
-77 163 164 165 166 167 0
-163 -164 0
-163 -165 0
-163 -166 0
-163 -167 0
-164 -165 0
-164 -166 0
-164 -167 0
-165 -166 0
-165 -167 0
-166 -167 0
-168 78 0
-169 78 0
-170 78 0
-171 78 0
-172 78 0
-78 168 169 170 171 172 0
-168 -169 0
-168 -170 0
-168 -171 0
-168 -172 0
-169 -170 0
-169 -171 0
-169 -172 0
-170 -171 0
-170 -172 0
-171 -172 0
