c pigeon-16: placing 17 pigeons into 16 holes
c 
c File generated by 'pigeonhole', (c) Tjark Weber
c 
c The SAT encoding of this problem is very straightforward.  For each pigeon i
c and each hole j we have a variable x_{n*(i-1)+j} which means that pigeon i
c is placed in hole j.  Then we have n+1 clauses which say that a pigeon has
c to be placed in some hole.  Then for each hole we have a set of clauses
c ensuring that only one single pigeon is placed into that hole.
c 
c This encoding leads to a total of (n+1) * n propositional variables and
c (n+1) + n * (n * (n+1) / 2) clauses.
c 
c The resulting SAT problem is unsatisfiable.
c 
p cnf 272 2193
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 0
17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 0
33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 0
49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 0
65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 0
81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 0
97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 0
113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 0
129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 0
145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 0
161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 0
177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 0
193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 0
209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 0
225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 0
241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 0
257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 0
-1 -17 0
-1 -33 0
-1 -49 0
-1 -65 0
-1 -81 0
-1 -97 0
-1 -113 0
-1 -129 0
-1 -145 0
-1 -161 0
-1 -177 0
-1 -193 0
-1 -209 0
-1 -225 0
-1 -241 0
-1 -257 0
-17 -33 0
-17 -49 0
-17 -65 0
-17 -81 0
-17 -97 0
-17 -113 0
-17 -129 0
-17 -145 0
-17 -161 0
-17 -177 0
-17 -193 0
-17 -209 0
-17 -225 0
-17 -241 0
-17 -257 0
-33 -49 0
-33 -65 0
-33 -81 0
-33 -97 0
-33 -113 0
-33 -129 0
-33 -145 0
-33 -161 0
-33 -177 0
-33 -193 0
-33 -209 0
-33 -225 0
-33 -241 0
-33 -257 0
-49 -65 0
-49 -81 0
-49 -97 0
-49 -113 0
-49 -129 0
-49 -145 0
-49 -161 0
-49 -177 0
-49 -193 0
-49 -209 0
-49 -225 0
-49 -241 0
-49 -257 0
-65 -81 0
-65 -97 0
-65 -113 0
-65 -129 0
-65 -145 0
-65 -161 0
-65 -177 0
-65 -193 0
-65 -209 0
-65 -225 0
-65 -241 0
-65 -257 0
-81 -97 0
-81 -113 0
-81 -129 0
-81 -145 0
-81 -161 0
-81 -177 0
-81 -193 0
-81 -209 0
-81 -225 0
-81 -241 0
-81 -257 0
-97 -113 0
-97 -129 0
-97 -145 0
-97 -161 0
-97 -177 0
-97 -193 0
-97 -209 0
-97 -225 0
-97 -241 0
-97 -257 0
-113 -129 0
-113 -145 0
-113 -161 0
-113 -177 0
-113 -193 0
-113 -209 0
-113 -225 0
-113 -241 0
-113 -257 0
-129 -145 0
-129 -161 0
-129 -177 0
-129 -193 0
-129 -209 0
-129 -225 0
-129 -241 0
-129 -257 0
-145 -161 0
-145 -177 0
-145 -193 0
-145 -209 0
-145 -225 0
-145 -241 0
-145 -257 0
-161 -177 0
-161 -193 0
-161 -209 0
-161 -225 0
-161 -241 0
-161 -257 0
-177 -193 0
-177 -209 0
-177 -225 0
-177 -241 0
-177 -257 0
-193 -209 0
-193 -225 0
-193 -241 0
-193 -257 0
-209 -225 0
-209 -241 0
-209 -257 0
-225 -241 0
-225 -257 0
-241 -257 0
-2 -18 0
-2 -34 0
-2 -50 0
-2 -66 0
-2 -82 0
-2 -98 0
-2 -114 0
-2 -130 0
-2 -146 0
-2 -162 0
-2 -178 0
-2 -194 0
-2 -210 0
-2 -226 0
-2 -242 0
-2 -258 0
-18 -34 0
-18 -50 0
-18 -66 0
-18 -82 0
-18 -98 0
-18 -114 0
-18 -130 0
-18 -146 0
-18 -162 0
-18 -178 0
-18 -194 0
-18 -210 0
-18 -226 0
-18 -242 0
-18 -258 0
-34 -50 0
-34 -66 0
-34 -82 0
-34 -98 0
-34 -114 0
-34 -130 0
-34 -146 0
-34 -162 0
-34 -178 0
-34 -194 0
-34 -210 0
-34 -226 0
-34 -242 0
-34 -258 0
-50 -66 0
-50 -82 0
-50 -98 0
-50 -114 0
-50 -130 0
-50 -146 0
-50 -162 0
-50 -178 0
-50 -194 0
-50 -210 0
-50 -226 0
-50 -242 0
-50 -258 0
-66 -82 0
-66 -98 0
-66 -114 0
-66 -130 0
-66 -146 0
-66 -162 0
-66 -178 0
-66 -194 0
-66 -210 0
-66 -226 0
-66 -242 0
-66 -258 0
-82 -98 0
-82 -114 0
-82 -130 0
-82 -146 0
-82 -162 0
-82 -178 0
-82 -194 0
-82 -210 0
-82 -226 0
-82 -242 0
-82 -258 0
-98 -114 0
-98 -130 0
-98 -146 0
-98 -162 0
-98 -178 0
-98 -194 0
-98 -210 0
-98 -226 0
-98 -242 0
-98 -258 0
-114 -130 0
-114 -146 0
-114 -162 0
-114 -178 0
-114 -194 0
-114 -210 0
-114 -226 0
-114 -242 0
-114 -258 0
-130 -146 0
-130 -162 0
-130 -178 0
-130 -194 0
-130 -210 0
-130 -226 0
-130 -242 0
-130 -258 0
-146 -162 0
-146 -178 0
-146 -194 0
-146 -210 0
-146 -226 0
-146 -242 0
-146 -258 0
-162 -178 0
-162 -194 0
-162 -210 0
-162 -226 0
-162 -242 0
-162 -258 0
-178 -194 0
-178 -210 0
-178 -226 0
-178 -242 0
-178 -258 0
-194 -210 0
-194 -226 0
-194 -242 0
-194 -258 0
-210 -226 0
-210 -242 0
-210 -258 0
-226 -242 0
-226 -258 0
-242 -258 0
-3 -19 0
-3 -35 0
-3 -51 0
-3 -67 0
-3 -83 0
-3 -99 0
-3 -115 0
-3 -131 0
-3 -147 0
-3 -163 0
-3 -179 0
-3 -195 0
-3 -211 0
-3 -227 0
-3 -243 0
-3 -259 0
-19 -35 0
-19 -51 0
-19 -67 0
-19 -83 0
-19 -99 0
-19 -115 0
-19 -131 0
-19 -147 0
-19 -163 0
-19 -179 0
-19 -195 0
-19 -211 0
-19 -227 0
-19 -243 0
-19 -259 0
-35 -51 0
-35 -67 0
-35 -83 0
-35 -99 0
-35 -115 0
-35 -131 0
-35 -147 0
-35 -163 0
-35 -179 0
-35 -195 0
-35 -211 0
-35 -227 0
-35 -243 0
-35 -259 0
-51 -67 0
-51 -83 0
-51 -99 0
-51 -115 0
-51 -131 0
-51 -147 0
-51 -163 0
-51 -179 0
-51 -195 0
-51 -211 0
-51 -227 0
-51 -243 0
-51 -259 0
-67 -83 0
-67 -99 0
-67 -115 0
-67 -131 0
-67 -147 0
-67 -163 0
-67 -179 0
-67 -195 0
-67 -211 0
-67 -227 0
-67 -243 0
-67 -259 0
-83 -99 0
-83 -115 0
-83 -131 0
-83 -147 0
-83 -163 0
-83 -179 0
-83 -195 0
-83 -211 0
-83 -227 0
-83 -243 0
-83 -259 0
-99 -115 0
-99 -131 0
-99 -147 0
-99 -163 0
-99 -179 0
-99 -195 0
-99 -211 0
-99 -227 0
-99 -243 0
-99 -259 0
-115 -131 0
-115 -147 0
-115 -163 0
-115 -179 0
-115 -195 0
-115 -211 0
-115 -227 0
-115 -243 0
-115 -259 0
-131 -147 0
-131 -163 0
-131 -179 0
-131 -195 0
-131 -211 0
-131 -227 0
-131 -243 0
-131 -259 0
-147 -163 0
-147 -179 0
-147 -195 0
-147 -211 0
-147 -227 0
-147 -243 0
-147 -259 0
-163 -179 0
-163 -195 0
-163 -211 0
-163 -227 0
-163 -243 0
-163 -259 0
-179 -195 0
-179 -211 0
-179 -227 0
-179 -243 0
-179 -259 0
-195 -211 0
-195 -227 0
-195 -243 0
-195 -259 0
-211 -227 0
-211 -243 0
-211 -259 0
-227 -243 0
-227 -259 0
-243 -259 0
-4 -20 0
-4 -36 0
-4 -52 0
-4 -68 0
-4 -84 0
-4 -100 0
-4 -116 0
-4 -132 0
-4 -148 0
-4 -164 0
-4 -180 0
-4 -196 0
-4 -212 0
-4 -228 0
-4 -244 0
-4 -260 0
-20 -36 0
-20 -52 0
-20 -68 0
-20 -84 0
-20 -100 0
-20 -116 0
-20 -132 0
-20 -148 0
-20 -164 0
-20 -180 0
-20 -196 0
-20 -212 0
-20 -228 0
-20 -244 0
-20 -260 0
-36 -52 0
-36 -68 0
-36 -84 0
-36 -100 0
-36 -116 0
-36 -132 0
-36 -148 0
-36 -164 0
-36 -180 0
-36 -196 0
-36 -212 0
-36 -228 0
-36 -244 0
-36 -260 0
-52 -68 0
-52 -84 0
-52 -100 0
-52 -116 0
-52 -132 0
-52 -148 0
-52 -164 0
-52 -180 0
-52 -196 0
-52 -212 0
-52 -228 0
-52 -244 0
-52 -260 0
-68 -84 0
-68 -100 0
-68 -116 0
-68 -132 0
-68 -148 0
-68 -164 0
-68 -180 0
-68 -196 0
-68 -212 0
-68 -228 0
-68 -244 0
-68 -260 0
-84 -100 0
-84 -116 0
-84 -132 0
-84 -148 0
-84 -164 0
-84 -180 0
-84 -196 0
-84 -212 0
-84 -228 0
-84 -244 0
-84 -260 0
-100 -116 0
-100 -132 0
-100 -148 0
-100 -164 0
-100 -180 0
-100 -196 0
-100 -212 0
-100 -228 0
-100 -244 0
-100 -260 0
-116 -132 0
-116 -148 0
-116 -164 0
-116 -180 0
-116 -196 0
-116 -212 0
-116 -228 0
-116 -244 0
-116 -260 0
-132 -148 0
-132 -164 0
-132 -180 0
-132 -196 0
-132 -212 0
-132 -228 0
-132 -244 0
-132 -260 0
-148 -164 0
-148 -180 0
-148 -196 0
-148 -212 0
-148 -228 0
-148 -244 0
-148 -260 0
-164 -180 0
-164 -196 0
-164 -212 0
-164 -228 0
-164 -244 0
-164 -260 0
-180 -196 0
-180 -212 0
-180 -228 0
-180 -244 0
-180 -260 0
-196 -212 0
-196 -228 0
-196 -244 0
-196 -260 0
-212 -228 0
-212 -244 0
-212 -260 0
-228 -244 0
-228 -260 0
-244 -260 0
-5 -21 0
-5 -37 0
-5 -53 0
-5 -69 0
-5 -85 0
-5 -101 0
-5 -117 0
-5 -133 0
-5 -149 0
-5 -165 0
-5 -181 0
-5 -197 0
-5 -213 0
-5 -229 0
-5 -245 0
-5 -261 0
-21 -37 0
-21 -53 0
-21 -69 0
-21 -85 0
-21 -101 0
-21 -117 0
-21 -133 0
-21 -149 0
-21 -165 0
-21 -181 0
-21 -197 0
-21 -213 0
-21 -229 0
-21 -245 0
-21 -261 0
-37 -53 0
-37 -69 0
-37 -85 0
-37 -101 0
-37 -117 0
-37 -133 0
-37 -149 0
-37 -165 0
-37 -181 0
-37 -197 0
-37 -213 0
-37 -229 0
-37 -245 0
-37 -261 0
-53 -69 0
-53 -85 0
-53 -101 0
-53 -117 0
-53 -133 0
-53 -149 0
-53 -165 0
-53 -181 0
-53 -197 0
-53 -213 0
-53 -229 0
-53 -245 0
-53 -261 0
-69 -85 0
-69 -101 0
-69 -117 0
-69 -133 0
-69 -149 0
-69 -165 0
-69 -181 0
-69 -197 0
-69 -213 0
-69 -229 0
-69 -245 0
-69 -261 0
-85 -101 0
-85 -117 0
-85 -133 0
-85 -149 0
-85 -165 0
-85 -181 0
-85 -197 0
-85 -213 0
-85 -229 0
-85 -245 0
-85 -261 0
-101 -117 0
-101 -133 0
-101 -149 0
-101 -165 0
-101 -181 0
-101 -197 0
-101 -213 0
-101 -229 0
-101 -245 0
-101 -261 0
-117 -133 0
-117 -149 0
-117 -165 0
-117 -181 0
-117 -197 0
-117 -213 0
-117 -229 0
-117 -245 0
-117 -261 0
-133 -149 0
-133 -165 0
-133 -181 0
-133 -197 0
-133 -213 0
-133 -229 0
-133 -245 0
-133 -261 0
-149 -165 0
-149 -181 0
-149 -197 0
-149 -213 0
-149 -229 0
-149 -245 0
-149 -261 0
-165 -181 0
-165 -197 0
-165 -213 0
-165 -229 0
-165 -245 0
-165 -261 0
-181 -197 0
-181 -213 0
-181 -229 0
-181 -245 0
-181 -261 0
-197 -213 0
-197 -229 0
-197 -245 0
-197 -261 0
-213 -229 0
-213 -245 0
-213 -261 0
-229 -245 0
-229 -261 0
-245 -261 0
-6 -22 0
-6 -38 0
-6 -54 0
-6 -70 0
-6 -86 0
-6 -102 0
-6 -118 0
-6 -134 0
-6 -150 0
-6 -166 0
-6 -182 0
-6 -198 0
-6 -214 0
-6 -230 0
-6 -246 0
-6 -262 0
-22 -38 0
-22 -54 0
-22 -70 0
-22 -86 0
-22 -102 0
-22 -118 0
-22 -134 0
-22 -150 0
-22 -166 0
-22 -182 0
-22 -198 0
-22 -214 0
-22 -230 0
-22 -246 0
-22 -262 0
-38 -54 0
-38 -70 0
-38 -86 0
-38 -102 0
-38 -118 0
-38 -134 0
-38 -150 0
-38 -166 0
-38 -182 0
-38 -198 0
-38 -214 0
-38 -230 0
-38 -246 0
-38 -262 0
-54 -70 0
-54 -86 0
-54 -102 0
-54 -118 0
-54 -134 0
-54 -150 0
-54 -166 0
-54 -182 0
-54 -198 0
-54 -214 0
-54 -230 0
-54 -246 0
-54 -262 0
-70 -86 0
-70 -102 0
-70 -118 0
-70 -134 0
-70 -150 0
-70 -166 0
-70 -182 0
-70 -198 0
-70 -214 0
-70 -230 0
-70 -246 0
-70 -262 0
-86 -102 0
-86 -118 0
-86 -134 0
-86 -150 0
-86 -166 0
-86 -182 0
-86 -198 0
-86 -214 0
-86 -230 0
-86 -246 0
-86 -262 0
-102 -118 0
-102 -134 0
-102 -150 0
-102 -166 0
-102 -182 0
-102 -198 0
-102 -214 0
-102 -230 0
-102 -246 0
-102 -262 0
-118 -134 0
-118 -150 0
-118 -166 0
-118 -182 0
-118 -198 0
-118 -214 0
-118 -230 0
-118 -246 0
-118 -262 0
-134 -150 0
-134 -166 0
-134 -182 0
-134 -198 0
-134 -214 0
-134 -230 0
-134 -246 0
-134 -262 0
-150 -166 0
-150 -182 0
-150 -198 0
-150 -214 0
-150 -230 0
-150 -246 0
-150 -262 0
-166 -182 0
-166 -198 0
-166 -214 0
-166 -230 0
-166 -246 0
-166 -262 0
-182 -198 0
-182 -214 0
-182 -230 0
-182 -246 0
-182 -262 0
-198 -214 0
-198 -230 0
-198 -246 0
-198 -262 0
-214 -230 0
-214 -246 0
-214 -262 0
-230 -246 0
-230 -262 0
-246 -262 0
-7 -23 0
-7 -39 0
-7 -55 0
-7 -71 0
-7 -87 0
-7 -103 0
-7 -119 0
-7 -135 0
-7 -151 0
-7 -167 0
-7 -183 0
-7 -199 0
-7 -215 0
-7 -231 0
-7 -247 0
-7 -263 0
-23 -39 0
-23 -55 0
-23 -71 0
-23 -87 0
-23 -103 0
-23 -119 0
-23 -135 0
-23 -151 0
-23 -167 0
-23 -183 0
-23 -199 0
-23 -215 0
-23 -231 0
-23 -247 0
-23 -263 0
-39 -55 0
-39 -71 0
-39 -87 0
-39 -103 0
-39 -119 0
-39 -135 0
-39 -151 0
-39 -167 0
-39 -183 0
-39 -199 0
-39 -215 0
-39 -231 0
-39 -247 0
-39 -263 0
-55 -71 0
-55 -87 0
-55 -103 0
-55 -119 0
-55 -135 0
-55 -151 0
-55 -167 0
-55 -183 0
-55 -199 0
-55 -215 0
-55 -231 0
-55 -247 0
-55 -263 0
-71 -87 0
-71 -103 0
-71 -119 0
-71 -135 0
-71 -151 0
-71 -167 0
-71 -183 0
-71 -199 0
-71 -215 0
-71 -231 0
-71 -247 0
-71 -263 0
-87 -103 0
-87 -119 0
-87 -135 0
-87 -151 0
-87 -167 0
-87 -183 0
-87 -199 0
-87 -215 0
-87 -231 0
-87 -247 0
-87 -263 0
-103 -119 0
-103 -135 0
-103 -151 0
-103 -167 0
-103 -183 0
-103 -199 0
-103 -215 0
-103 -231 0
-103 -247 0
-103 -263 0
-119 -135 0
-119 -151 0
-119 -167 0
-119 -183 0
-119 -199 0
-119 -215 0
-119 -231 0
-119 -247 0
-119 -263 0
-135 -151 0
-135 -167 0
-135 -183 0
-135 -199 0
-135 -215 0
-135 -231 0
-135 -247 0
-135 -263 0
-151 -167 0
-151 -183 0
-151 -199 0
-151 -215 0
-151 -231 0
-151 -247 0
-151 -263 0
-167 -183 0
-167 -199 0
-167 -215 0
-167 -231 0
-167 -247 0
-167 -263 0
-183 -199 0
-183 -215 0
-183 -231 0
-183 -247 0
-183 -263 0
-199 -215 0
-199 -231 0
-199 -247 0
-199 -263 0
-215 -231 0
-215 -247 0
-215 -263 0
-231 -247 0
-231 -263 0
-247 -263 0
-8 -24 0
-8 -40 0
-8 -56 0
-8 -72 0
-8 -88 0
-8 -104 0
-8 -120 0
-8 -136 0
-8 -152 0
-8 -168 0
-8 -184 0
-8 -200 0
-8 -216 0
-8 -232 0
-8 -248 0
-8 -264 0
-24 -40 0
-24 -56 0
-24 -72 0
-24 -88 0
-24 -104 0
-24 -120 0
-24 -136 0
-24 -152 0
-24 -168 0
-24 -184 0
-24 -200 0
-24 -216 0
-24 -232 0
-24 -248 0
-24 -264 0
-40 -56 0
-40 -72 0
-40 -88 0
-40 -104 0
-40 -120 0
-40 -136 0
-40 -152 0
-40 -168 0
-40 -184 0
-40 -200 0
-40 -216 0
-40 -232 0
-40 -248 0
-40 -264 0
-56 -72 0
-56 -88 0
-56 -104 0
-56 -120 0
-56 -136 0
-56 -152 0
-56 -168 0
-56 -184 0
-56 -200 0
-56 -216 0
-56 -232 0
-56 -248 0
-56 -264 0
-72 -88 0
-72 -104 0
-72 -120 0
-72 -136 0
-72 -152 0
-72 -168 0
-72 -184 0
-72 -200 0
-72 -216 0
-72 -232 0
-72 -248 0
-72 -264 0
-88 -104 0
-88 -120 0
-88 -136 0
-88 -152 0
-88 -168 0
-88 -184 0
-88 -200 0
-88 -216 0
-88 -232 0
-88 -248 0
-88 -264 0
-104 -120 0
-104 -136 0
-104 -152 0
-104 -168 0
-104 -184 0
-104 -200 0
-104 -216 0
-104 -232 0
-104 -248 0
-104 -264 0
-120 -136 0
-120 -152 0
-120 -168 0
-120 -184 0
-120 -200 0
-120 -216 0
-120 -232 0
-120 -248 0
-120 -264 0
-136 -152 0
-136 -168 0
-136 -184 0
-136 -200 0
-136 -216 0
-136 -232 0
-136 -248 0
-136 -264 0
-152 -168 0
-152 -184 0
-152 -200 0
-152 -216 0
-152 -232 0
-152 -248 0
-152 -264 0
-168 -184 0
-168 -200 0
-168 -216 0
-168 -232 0
-168 -248 0
-168 -264 0
-184 -200 0
-184 -216 0
-184 -232 0
-184 -248 0
-184 -264 0
-200 -216 0
-200 -232 0
-200 -248 0
-200 -264 0
-216 -232 0
-216 -248 0
-216 -264 0
-232 -248 0
-232 -264 0
-248 -264 0
-9 -25 0
-9 -41 0
-9 -57 0
-9 -73 0
-9 -89 0
-9 -105 0
-9 -121 0
-9 -137 0
-9 -153 0
-9 -169 0
-9 -185 0
-9 -201 0
-9 -217 0
-9 -233 0
-9 -249 0
-9 -265 0
-25 -41 0
-25 -57 0
-25 -73 0
-25 -89 0
-25 -105 0
-25 -121 0
-25 -137 0
-25 -153 0
-25 -169 0
-25 -185 0
-25 -201 0
-25 -217 0
-25 -233 0
-25 -249 0
-25 -265 0
-41 -57 0
-41 -73 0
-41 -89 0
-41 -105 0
-41 -121 0
-41 -137 0
-41 -153 0
-41 -169 0
-41 -185 0
-41 -201 0
-41 -217 0
-41 -233 0
-41 -249 0
-41 -265 0
-57 -73 0
-57 -89 0
-57 -105 0
-57 -121 0
-57 -137 0
-57 -153 0
-57 -169 0
-57 -185 0
-57 -201 0
-57 -217 0
-57 -233 0
-57 -249 0
-57 -265 0
-73 -89 0
-73 -105 0
-73 -121 0
-73 -137 0
-73 -153 0
-73 -169 0
-73 -185 0
-73 -201 0
-73 -217 0
-73 -233 0
-73 -249 0
-73 -265 0
-89 -105 0
-89 -121 0
-89 -137 0
-89 -153 0
-89 -169 0
-89 -185 0
-89 -201 0
-89 -217 0
-89 -233 0
-89 -249 0
-89 -265 0
-105 -121 0
-105 -137 0
-105 -153 0
-105 -169 0
-105 -185 0
-105 -201 0
-105 -217 0
-105 -233 0
-105 -249 0
-105 -265 0
-121 -137 0
-121 -153 0
-121 -169 0
-121 -185 0
-121 -201 0
-121 -217 0
-121 -233 0
-121 -249 0
-121 -265 0
-137 -153 0
-137 -169 0
-137 -185 0
-137 -201 0
-137 -217 0
-137 -233 0
-137 -249 0
-137 -265 0
-153 -169 0
-153 -185 0
-153 -201 0
-153 -217 0
-153 -233 0
-153 -249 0
-153 -265 0
-169 -185 0
-169 -201 0
-169 -217 0
-169 -233 0
-169 -249 0
-169 -265 0
-185 -201 0
-185 -217 0
-185 -233 0
-185 -249 0
-185 -265 0
-201 -217 0
-201 -233 0
-201 -249 0
-201 -265 0
-217 -233 0
-217 -249 0
-217 -265 0
-233 -249 0
-233 -265 0
-249 -265 0
-10 -26 0
-10 -42 0
-10 -58 0
-10 -74 0
-10 -90 0
-10 -106 0
-10 -122 0
-10 -138 0
-10 -154 0
-10 -170 0
-10 -186 0
-10 -202 0
-10 -218 0
-10 -234 0
-10 -250 0
-10 -266 0
-26 -42 0
-26 -58 0
-26 -74 0
-26 -90 0
-26 -106 0
-26 -122 0
-26 -138 0
-26 -154 0
-26 -170 0
-26 -186 0
-26 -202 0
-26 -218 0
-26 -234 0
-26 -250 0
-26 -266 0
-42 -58 0
-42 -74 0
-42 -90 0
-42 -106 0
-42 -122 0
-42 -138 0
-42 -154 0
-42 -170 0
-42 -186 0
-42 -202 0
-42 -218 0
-42 -234 0
-42 -250 0
-42 -266 0
-58 -74 0
-58 -90 0
-58 -106 0
-58 -122 0
-58 -138 0
-58 -154 0
-58 -170 0
-58 -186 0
-58 -202 0
-58 -218 0
-58 -234 0
-58 -250 0
-58 -266 0
-74 -90 0
-74 -106 0
-74 -122 0
-74 -138 0
-74 -154 0
-74 -170 0
-74 -186 0
-74 -202 0
-74 -218 0
-74 -234 0
-74 -250 0
-74 -266 0
-90 -106 0
-90 -122 0
-90 -138 0
-90 -154 0
-90 -170 0
-90 -186 0
-90 -202 0
-90 -218 0
-90 -234 0
-90 -250 0
-90 -266 0
-106 -122 0
-106 -138 0
-106 -154 0
-106 -170 0
-106 -186 0
-106 -202 0
-106 -218 0
-106 -234 0
-106 -250 0
-106 -266 0
-122 -138 0
-122 -154 0
-122 -170 0
-122 -186 0
-122 -202 0
-122 -218 0
-122 -234 0
-122 -250 0
-122 -266 0
-138 -154 0
-138 -170 0
-138 -186 0
-138 -202 0
-138 -218 0
-138 -234 0
-138 -250 0
-138 -266 0
-154 -170 0
-154 -186 0
-154 -202 0
-154 -218 0
-154 -234 0
-154 -250 0
-154 -266 0
-170 -186 0
-170 -202 0
-170 -218 0
-170 -234 0
-170 -250 0
-170 -266 0
-186 -202 0
-186 -218 0
-186 -234 0
-186 -250 0
-186 -266 0
-202 -218 0
-202 -234 0
-202 -250 0
-202 -266 0
-218 -234 0
-218 -250 0
-218 -266 0
-234 -250 0
-234 -266 0
-250 -266 0
-11 -27 0
-11 -43 0
-11 -59 0
-11 -75 0
-11 -91 0
-11 -107 0
-11 -123 0
-11 -139 0
-11 -155 0
-11 -171 0
-11 -187 0
-11 -203 0
-11 -219 0
-11 -235 0
-11 -251 0
-11 -267 0
-27 -43 0
-27 -59 0
-27 -75 0
-27 -91 0
-27 -107 0
-27 -123 0
-27 -139 0
-27 -155 0
-27 -171 0
-27 -187 0
-27 -203 0
-27 -219 0
-27 -235 0
-27 -251 0
-27 -267 0
-43 -59 0
-43 -75 0
-43 -91 0
-43 -107 0
-43 -123 0
-43 -139 0
-43 -155 0
-43 -171 0
-43 -187 0
-43 -203 0
-43 -219 0
-43 -235 0
-43 -251 0
-43 -267 0
-59 -75 0
-59 -91 0
-59 -107 0
-59 -123 0
-59 -139 0
-59 -155 0
-59 -171 0
-59 -187 0
-59 -203 0
-59 -219 0
-59 -235 0
-59 -251 0
-59 -267 0
-75 -91 0
-75 -107 0
-75 -123 0
-75 -139 0
-75 -155 0
-75 -171 0
-75 -187 0
-75 -203 0
-75 -219 0
-75 -235 0
-75 -251 0
-75 -267 0
-91 -107 0
-91 -123 0
-91 -139 0
-91 -155 0
-91 -171 0
-91 -187 0
-91 -203 0
-91 -219 0
-91 -235 0
-91 -251 0
-91 -267 0
-107 -123 0
-107 -139 0
-107 -155 0
-107 -171 0
-107 -187 0
-107 -203 0
-107 -219 0
-107 -235 0
-107 -251 0
-107 -267 0
-123 -139 0
-123 -155 0
-123 -171 0
-123 -187 0
-123 -203 0
-123 -219 0
-123 -235 0
-123 -251 0
-123 -267 0
-139 -155 0
-139 -171 0
-139 -187 0
-139 -203 0
-139 -219 0
-139 -235 0
-139 -251 0
-139 -267 0
-155 -171 0
-155 -187 0
-155 -203 0
-155 -219 0
-155 -235 0
-155 -251 0
-155 -267 0
-171 -187 0
-171 -203 0
-171 -219 0
-171 -235 0
-171 -251 0
-171 -267 0
-187 -203 0
-187 -219 0
-187 -235 0
-187 -251 0
-187 -267 0
-203 -219 0
-203 -235 0
-203 -251 0
-203 -267 0
-219 -235 0
-219 -251 0
-219 -267 0
-235 -251 0
-235 -267 0
-251 -267 0
-12 -28 0
-12 -44 0
-12 -60 0
-12 -76 0
-12 -92 0
-12 -108 0
-12 -124 0
-12 -140 0
-12 -156 0
-12 -172 0
-12 -188 0
-12 -204 0
-12 -220 0
-12 -236 0
-12 -252 0
-12 -268 0
-28 -44 0
-28 -60 0
-28 -76 0
-28 -92 0
-28 -108 0
-28 -124 0
-28 -140 0
-28 -156 0
-28 -172 0
-28 -188 0
-28 -204 0
-28 -220 0
-28 -236 0
-28 -252 0
-28 -268 0
-44 -60 0
-44 -76 0
-44 -92 0
-44 -108 0
-44 -124 0
-44 -140 0
-44 -156 0
-44 -172 0
-44 -188 0
-44 -204 0
-44 -220 0
-44 -236 0
-44 -252 0
-44 -268 0
-60 -76 0
-60 -92 0
-60 -108 0
-60 -124 0
-60 -140 0
-60 -156 0
-60 -172 0
-60 -188 0
-60 -204 0
-60 -220 0
-60 -236 0
-60 -252 0
-60 -268 0
-76 -92 0
-76 -108 0
-76 -124 0
-76 -140 0
-76 -156 0
-76 -172 0
-76 -188 0
-76 -204 0
-76 -220 0
-76 -236 0
-76 -252 0
-76 -268 0
-92 -108 0
-92 -124 0
-92 -140 0
-92 -156 0
-92 -172 0
-92 -188 0
-92 -204 0
-92 -220 0
-92 -236 0
-92 -252 0
-92 -268 0
-108 -124 0
-108 -140 0
-108 -156 0
-108 -172 0
-108 -188 0
-108 -204 0
-108 -220 0
-108 -236 0
-108 -252 0
-108 -268 0
-124 -140 0
-124 -156 0
-124 -172 0
-124 -188 0
-124 -204 0
-124 -220 0
-124 -236 0
-124 -252 0
-124 -268 0
-140 -156 0
-140 -172 0
-140 -188 0
-140 -204 0
-140 -220 0
-140 -236 0
-140 -252 0
-140 -268 0
-156 -172 0
-156 -188 0
-156 -204 0
-156 -220 0
-156 -236 0
-156 -252 0
-156 -268 0
-172 -188 0
-172 -204 0
-172 -220 0
-172 -236 0
-172 -252 0
-172 -268 0
-188 -204 0
-188 -220 0
-188 -236 0
-188 -252 0
-188 -268 0
-204 -220 0
-204 -236 0
-204 -252 0
-204 -268 0
-220 -236 0
-220 -252 0
-220 -268 0
-236 -252 0
-236 -268 0
-252 -268 0
-13 -29 0
-13 -45 0
-13 -61 0
-13 -77 0
-13 -93 0
-13 -109 0
-13 -125 0
-13 -141 0
-13 -157 0
-13 -173 0
-13 -189 0
-13 -205 0
-13 -221 0
-13 -237 0
-13 -253 0
-13 -269 0
-29 -45 0
-29 -61 0
-29 -77 0
-29 -93 0
-29 -109 0
-29 -125 0
-29 -141 0
-29 -157 0
-29 -173 0
-29 -189 0
-29 -205 0
-29 -221 0
-29 -237 0
-29 -253 0
-29 -269 0
-45 -61 0
-45 -77 0
-45 -93 0
-45 -109 0
-45 -125 0
-45 -141 0
-45 -157 0
-45 -173 0
-45 -189 0
-45 -205 0
-45 -221 0
-45 -237 0
-45 -253 0
-45 -269 0
-61 -77 0
-61 -93 0
-61 -109 0
-61 -125 0
-61 -141 0
-61 -157 0
-61 -173 0
-61 -189 0
-61 -205 0
-61 -221 0
-61 -237 0
-61 -253 0
-61 -269 0
-77 -93 0
-77 -109 0
-77 -125 0
-77 -141 0
-77 -157 0
-77 -173 0
-77 -189 0
-77 -205 0
-77 -221 0
-77 -237 0
-77 -253 0
-77 -269 0
-93 -109 0
-93 -125 0
-93 -141 0
-93 -157 0
-93 -173 0
-93 -189 0
-93 -205 0
-93 -221 0
-93 -237 0
-93 -253 0
-93 -269 0
-109 -125 0
-109 -141 0
-109 -157 0
-109 -173 0
-109 -189 0
-109 -205 0
-109 -221 0
-109 -237 0
-109 -253 0
-109 -269 0
-125 -141 0
-125 -157 0
-125 -173 0
-125 -189 0
-125 -205 0
-125 -221 0
-125 -237 0
-125 -253 0
-125 -269 0
-141 -157 0
-141 -173 0
-141 -189 0
-141 -205 0
-141 -221 0
-141 -237 0
-141 -253 0
-141 -269 0
-157 -173 0
-157 -189 0
-157 -205 0
-157 -221 0
-157 -237 0
-157 -253 0
-157 -269 0
-173 -189 0
-173 -205 0
-173 -221 0
-173 -237 0
-173 -253 0
-173 -269 0
-189 -205 0
-189 -221 0
-189 -237 0
-189 -253 0
-189 -269 0
-205 -221 0
-205 -237 0
-205 -253 0
-205 -269 0
-221 -237 0
-221 -253 0
-221 -269 0
-237 -253 0
-237 -269 0
-253 -269 0
-14 -30 0
-14 -46 0
-14 -62 0
-14 -78 0
-14 -94 0
-14 -110 0
-14 -126 0
-14 -142 0
-14 -158 0
-14 -174 0
-14 -190 0
-14 -206 0
-14 -222 0
-14 -238 0
-14 -254 0
-14 -270 0
-30 -46 0
-30 -62 0
-30 -78 0
-30 -94 0
-30 -110 0
-30 -126 0
-30 -142 0
-30 -158 0
-30 -174 0
-30 -190 0
-30 -206 0
-30 -222 0
-30 -238 0
-30 -254 0
-30 -270 0
-46 -62 0
-46 -78 0
-46 -94 0
-46 -110 0
-46 -126 0
-46 -142 0
-46 -158 0
-46 -174 0
-46 -190 0
-46 -206 0
-46 -222 0
-46 -238 0
-46 -254 0
-46 -270 0
-62 -78 0
-62 -94 0
-62 -110 0
-62 -126 0
-62 -142 0
-62 -158 0
-62 -174 0
-62 -190 0
-62 -206 0
-62 -222 0
-62 -238 0
-62 -254 0
-62 -270 0
-78 -94 0
-78 -110 0
-78 -126 0
-78 -142 0
-78 -158 0
-78 -174 0
-78 -190 0
-78 -206 0
-78 -222 0
-78 -238 0
-78 -254 0
-78 -270 0
-94 -110 0
-94 -126 0
-94 -142 0
-94 -158 0
-94 -174 0
-94 -190 0
-94 -206 0
-94 -222 0
-94 -238 0
-94 -254 0
-94 -270 0
-110 -126 0
-110 -142 0
-110 -158 0
-110 -174 0
-110 -190 0
-110 -206 0
-110 -222 0
-110 -238 0
-110 -254 0
-110 -270 0
-126 -142 0
-126 -158 0
-126 -174 0
-126 -190 0
-126 -206 0
-126 -222 0
-126 -238 0
-126 -254 0
-126 -270 0
-142 -158 0
-142 -174 0
-142 -190 0
-142 -206 0
-142 -222 0
-142 -238 0
-142 -254 0
-142 -270 0
-158 -174 0
-158 -190 0
-158 -206 0
-158 -222 0
-158 -238 0
-158 -254 0
-158 -270 0
-174 -190 0
-174 -206 0
-174 -222 0
-174 -238 0
-174 -254 0
-174 -270 0
-190 -206 0
-190 -222 0
-190 -238 0
-190 -254 0
-190 -270 0
-206 -222 0
-206 -238 0
-206 -254 0
-206 -270 0
-222 -238 0
-222 -254 0
-222 -270 0
-238 -254 0
-238 -270 0
-254 -270 0
-15 -31 0
-15 -47 0
-15 -63 0
-15 -79 0
-15 -95 0
-15 -111 0
-15 -127 0
-15 -143 0
-15 -159 0
-15 -175 0
-15 -191 0
-15 -207 0
-15 -223 0
-15 -239 0
-15 -255 0
-15 -271 0
-31 -47 0
-31 -63 0
-31 -79 0
-31 -95 0
-31 -111 0
-31 -127 0
-31 -143 0
-31 -159 0
-31 -175 0
-31 -191 0
-31 -207 0
-31 -223 0
-31 -239 0
-31 -255 0
-31 -271 0
-47 -63 0
-47 -79 0
-47 -95 0
-47 -111 0
-47 -127 0
-47 -143 0
-47 -159 0
-47 -175 0
-47 -191 0
-47 -207 0
-47 -223 0
-47 -239 0
-47 -255 0
-47 -271 0
-63 -79 0
-63 -95 0
-63 -111 0
-63 -127 0
-63 -143 0
-63 -159 0
-63 -175 0
-63 -191 0
-63 -207 0
-63 -223 0
-63 -239 0
-63 -255 0
-63 -271 0
-79 -95 0
-79 -111 0
-79 -127 0
-79 -143 0
-79 -159 0
-79 -175 0
-79 -191 0
-79 -207 0
-79 -223 0
-79 -239 0
-79 -255 0
-79 -271 0
-95 -111 0
-95 -127 0
-95 -143 0
-95 -159 0
-95 -175 0
-95 -191 0
-95 -207 0
-95 -223 0
-95 -239 0
-95 -255 0
-95 -271 0
-111 -127 0
-111 -143 0
-111 -159 0
-111 -175 0
-111 -191 0
-111 -207 0
-111 -223 0
-111 -239 0
-111 -255 0
-111 -271 0
-127 -143 0
-127 -159 0
-127 -175 0
-127 -191 0
-127 -207 0
-127 -223 0
-127 -239 0
-127 -255 0
-127 -271 0
-143 -159 0
-143 -175 0
-143 -191 0
-143 -207 0
-143 -223 0
-143 -239 0
-143 -255 0
-143 -271 0
-159 -175 0
-159 -191 0
-159 -207 0
-159 -223 0
-159 -239 0
-159 -255 0
-159 -271 0
-175 -191 0
-175 -207 0
-175 -223 0
-175 -239 0
-175 -255 0
-175 -271 0
-191 -207 0
-191 -223 0
-191 -239 0
-191 -255 0
-191 -271 0
-207 -223 0
-207 -239 0
-207 -255 0
-207 -271 0
-223 -239 0
-223 -255 0
-223 -271 0
-239 -255 0
-239 -271 0
-255 -271 0
-16 -32 0
-16 -48 0
-16 -64 0
-16 -80 0
-16 -96 0
-16 -112 0
-16 -128 0
-16 -144 0
-16 -160 0
-16 -176 0
-16 -192 0
-16 -208 0
-16 -224 0
-16 -240 0
-16 -256 0
-16 -272 0
-32 -48 0
-32 -64 0
-32 -80 0
-32 -96 0
-32 -112 0
-32 -128 0
-32 -144 0
-32 -160 0
-32 -176 0
-32 -192 0
-32 -208 0
-32 -224 0
-32 -240 0
-32 -256 0
-32 -272 0
-48 -64 0
-48 -80 0
-48 -96 0
-48 -112 0
-48 -128 0
-48 -144 0
-48 -160 0
-48 -176 0
-48 -192 0
-48 -208 0
-48 -224 0
-48 -240 0
-48 -256 0
-48 -272 0
-64 -80 0
-64 -96 0
-64 -112 0
-64 -128 0
-64 -144 0
-64 -160 0
-64 -176 0
-64 -192 0
-64 -208 0
-64 -224 0
-64 -240 0
-64 -256 0
-64 -272 0
-80 -96 0
-80 -112 0
-80 -128 0
-80 -144 0
-80 -160 0
-80 -176 0
-80 -192 0
-80 -208 0
-80 -224 0
-80 -240 0
-80 -256 0
-80 -272 0
-96 -112 0
-96 -128 0
-96 -144 0
-96 -160 0
-96 -176 0
-96 -192 0
-96 -208 0
-96 -224 0
-96 -240 0
-96 -256 0
-96 -272 0
-112 -128 0
-112 -144 0
-112 -160 0
-112 -176 0
-112 -192 0
-112 -208 0
-112 -224 0
-112 -240 0
-112 -256 0
-112 -272 0
-128 -144 0
-128 -160 0
-128 -176 0
-128 -192 0
-128 -208 0
-128 -224 0
-128 -240 0
-128 -256 0
-128 -272 0
-144 -160 0
-144 -176 0
-144 -192 0
-144 -208 0
-144 -224 0
-144 -240 0
-144 -256 0
-144 -272 0
-160 -176 0
-160 -192 0
-160 -208 0
-160 -224 0
-160 -240 0
-160 -256 0
-160 -272 0
-176 -192 0
-176 -208 0
-176 -224 0
-176 -240 0
-176 -256 0
-176 -272 0
-192 -208 0
-192 -224 0
-192 -240 0
-192 -256 0
-192 -272 0
-208 -224 0
-208 -240 0
-208 -256 0
-208 -272 0
-224 -240 0
-224 -256 0
-224 -272 0
-240 -256 0
-240 -272 0
-256 -272 0