c pigeon-18: placing 19 pigeons into 18 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 342 3097
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 0
19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 0
37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 0
55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 0
73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 0
91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 0
109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 0
127 128 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 161 162 0
163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 0
181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 0
199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 0
217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 0
235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 0
253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 0
271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 0
289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 0
307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 0
325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 0
-1 -19 0
-1 -37 0
-1 -55 0
-1 -73 0
-1 -91 0
-1 -109 0
-1 -127 0
-1 -145 0
-1 -163 0
-1 -181 0
-1 -199 0
-1 -217 0
-1 -235 0
-1 -253 0
-1 -271 0
-1 -289 0
-1 -307 0
-1 -325 0
-19 -37 0
-19 -55 0
-19 -73 0
-19 -91 0
-19 -109 0
-19 -127 0
-19 -145 0
-19 -163 0
-19 -181 0
-19 -199 0
-19 -217 0
-19 -235 0
-19 -253 0
-19 -271 0
-19 -289 0
-19 -307 0
-19 -325 0
-37 -55 0
-37 -73 0
-37 -91 0
-37 -109 0
-37 -127 0
-37 -145 0
-37 -163 0
-37 -181 0
-37 -199 0
-37 -217 0
-37 -235 0
-37 -253 0
-37 -271 0
-37 -289 0
-37 -307 0
-37 -325 0
-55 -73 0
-55 -91 0
-55 -109 0
-55 -127 0
-55 -145 0
-55 -163 0
-55 -181 0
-55 -199 0
-55 -217 0
-55 -235 0
-55 -253 0
-55 -271 0
-55 -289 0
-55 -307 0
-55 -325 0
-73 -91 0
-73 -109 0
-73 -127 0
-73 -145 0
-73 -163 0
-73 -181 0
-73 -199 0
-73 -217 0
-73 -235 0
-73 -253 0
-73 -271 0
-73 -289 0
-73 -307 0
-73 -325 0
-91 -109 0
-91 -127 0
-91 -145 0
-91 -163 0
-91 -181 0
-91 -199 0
-91 -217 0
-91 -235 0
-91 -253 0
-91 -271 0
-91 -289 0
-91 -307 0
-91 -325 0
-109 -127 0
-109 -145 0
-109 -163 0
-109 -181 0
-109 -199 0
-109 -217 0
-109 -235 0
-109 -253 0
-109 -271 0
-109 -289 0
-109 -307 0
-109 -325 0
-127 -145 0
-127 -163 0
-127 -181 0
-127 -199 0
-127 -217 0
-127 -235 0
-127 -253 0
-127 -271 0
-127 -289 0
-127 -307 0
-127 -325 0
-145 -163 0
-145 -181 0
-145 -199 0
-145 -217 0
-145 -235 0
-145 -253 0
-145 -271 0
-145 -289 0
-145 -307 0
-145 -325 0
-163 -181 0
-163 -199 0
-163 -217 0
-163 -235 0
-163 -253 0
-163 -271 0
-163 -289 0
-163 -307 0
-163 -325 0
-181 -199 0
-181 -217 0
-181 -235 0
-181 -253 0
-181 -271 0
-181 -289 0
-181 -307 0
-181 -325 0
-199 -217 0
-199 -235 0
-199 -253 0
-199 -271 0
-199 -289 0
-199 -307 0
-199 -325 0
-217 -235 0
-217 -253 0
-217 -271 0
-217 -289 0
-217 -307 0
-217 -325 0
-235 -253 0
-235 -271 0
-235 -289 0
-235 -307 0
-235 -325 0
-253 -271 0
-253 -289 0
-253 -307 0
-253 -325 0
-271 -289 0
-271 -307 0
-271 -325 0
-289 -307 0
-289 -325 0
-307 -325 0
-2 -20 0
-2 -38 0
-2 -56 0
-2 -74 0
-2 -92 0
-2 -110 0
-2 -128 0
-2 -146 0
-2 -164 0
-2 -182 0
-2 -200 0
-2 -218 0
-2 -236 0
-2 -254 0
-2 -272 0
-2 -290 0
-2 -308 0
-2 -326 0
-20 -38 0
-20 -56 0
-20 -74 0
-20 -92 0
-20 -110 0
-20 -128 0
-20 -146 0
-20 -164 0
-20 -182 0
-20 -200 0
-20 -218 0
-20 -236 0
-20 -254 0
-20 -272 0
-20 -290 0
-20 -308 0
-20 -326 0
-38 -56 0
-38 -74 0
-38 -92 0
-38 -110 0
-38 -128 0
-38 -146 0
-38 -164 0
-38 -182 0
-38 -200 0
-38 -218 0
-38 -236 0
-38 -254 0
-38 -272 0
-38 -290 0
-38 -308 0
-38 -326 0
-56 -74 0
-56 -92 0
-56 -110 0
-56 -128 0
-56 -146 0
-56 -164 0
-56 -182 0
-56 -200 0
-56 -218 0
-56 -236 0
-56 -254 0
-56 -272 0
-56 -290 0
-56 -308 0
-56 -326 0
-74 -92 0
-74 -110 0
-74 -128 0
-74 -146 0
-74 -164 0
-74 -182 0
-74 -200 0
-74 -218 0
-74 -236 0
-74 -254 0
-74 -272 0
-74 -290 0
-74 -308 0
-74 -326 0
-92 -110 0
-92 -128 0
-92 -146 0
-92 -164 0
-92 -182 0
-92 -200 0
-92 -218 0
-92 -236 0
-92 -254 0
-92 -272 0
-92 -290 0
-92 -308 0
-92 -326 0
-110 -128 0
-110 -146 0
-110 -164 0
-110 -182 0
-110 -200 0
-110 -218 0
-110 -236 0
-110 -254 0
-110 -272 0
-110 -290 0
-110 -308 0
-110 -326 0
-128 -146 0
-128 -164 0
-128 -182 0
-128 -200 0
-128 -218 0
-128 -236 0
-128 -254 0
-128 -272 0
-128 -290 0
-128 -308 0
-128 -326 0
-146 -164 0
-146 -182 0
-146 -200 0
-146 -218 0
-146 -236 0
-146 -254 0
-146 -272 0
-146 -290 0
-146 -308 0
-146 -326 0
-164 -182 0
-164 -200 0
-164 -218 0
-164 -236 0
-164 -254 0
-164 -272 0
-164 -290 0
-164 -308 0
-164 -326 0
-182 -200 0
-182 -218 0
-182 -236 0
-182 -254 0
-182 -272 0
-182 -290 0
-182 -308 0
-182 -326 0
-200 -218 0
-200 -236 0
-200 -254 0
-200 -272 0
-200 -290 0
-200 -308 0
-200 -326 0
-218 -236 0
-218 -254 0
-218 -272 0
-218 -290 0
-218 -308 0
-218 -326 0
-236 -254 0
-236 -272 0
-236 -290 0
-236 -308 0
-236 -326 0
-254 -272 0
-254 -290 0
-254 -308 0
-254 -326 0
-272 -290 0
-272 -308 0
-272 -326 0
-290 -308 0
-290 -326 0
-308 -326 0
-3 -21 0
-3 -39 0
-3 -57 0
-3 -75 0
-3 -93 0
-3 -111 0
-3 -129 0
-3 -147 0
-3 -165 0
-3 -183 0
-3 -201 0
-3 -219 0
-3 -237 0
-3 -255 0
-3 -273 0
-3 -291 0
-3 -309 0
-3 -327 0
-21 -39 0
-21 -57 0
-21 -75 0
-21 -93 0
-21 -111 0
-21 -129 0
-21 -147 0
-21 -165 0
-21 -183 0
-21 -201 0
-21 -219 0
-21 -237 0
-21 -255 0
-21 -273 0
-21 -291 0
-21 -309 0
-21 -327 0
-39 -57 0
-39 -75 0
-39 -93 0
-39 -111 0
-39 -129 0
-39 -147 0
-39 -165 0
-39 -183 0
-39 -201 0
-39 -219 0
-39 -237 0
-39 -255 0
-39 -273 0
-39 -291 0
-39 -309 0
-39 -327 0
-57 -75 0
-57 -93 0
-57 -111 0
-57 -129 0
-57 -147 0
-57 -165 0
-57 -183 0
-57 -201 0
-57 -219 0
-57 -237 0
-57 -255 0
-57 -273 0
-57 -291 0
-57 -309 0
-57 -327 0
-75 -93 0
-75 -111 0
-75 -129 0
-75 -147 0
-75 -165 0
-75 -183 0
-75 -201 0
-75 -219 0
-75 -237 0
-75 -255 0
-75 -273 0
-75 -291 0
-75 -309 0
-75 -327 0
-93 -111 0
-93 -129 0
-93 -147 0
-93 -165 0
-93 -183 0
-93 -201 0
-93 -219 0
-93 -237 0
-93 -255 0
-93 -273 0
-93 -291 0
-93 -309 0
-93 -327 0
-111 -129 0
-111 -147 0
-111 -165 0
-111 -183 0
-111 -201 0
-111 -219 0
-111 -237 0
-111 -255 0
-111 -273 0
-111 -291 0
-111 -309 0
-111 -327 0
-129 -147 0
-129 -165 0
-129 -183 0
-129 -201 0
-129 -219 0
-129 -237 0
-129 -255 0
-129 -273 0
-129 -291 0
-129 -309 0
-129 -327 0
-147 -165 0
-147 -183 0
-147 -201 0
-147 -219 0
-147 -237 0
-147 -255 0
-147 -273 0
-147 -291 0
-147 -309 0
-147 -327 0
-165 -183 0
-165 -201 0
-165 -219 0
-165 -237 0
-165 -255 0
-165 -273 0
-165 -291 0
-165 -309 0
-165 -327 0
-183 -201 0
-183 -219 0
-183 -237 0
-183 -255 0
-183 -273 0
-183 -291 0
-183 -309 0
-183 -327 0
-201 -219 0
-201 -237 0
-201 -255 0
-201 -273 0
-201 -291 0
-201 -309 0
-201 -327 0
-219 -237 0
-219 -255 0
-219 -273 0
-219 -291 0
-219 -309 0
-219 -327 0
-237 -255 0
-237 -273 0
-237 -291 0
-237 -309 0
-237 -327 0
-255 -273 0
-255 -291 0
-255 -309 0
-255 -327 0
-273 -291 0
-273 -309 0
-273 -327 0
-291 -309 0
-291 -327 0
-309 -327 0
-4 -22 0
-4 -40 0
-4 -58 0
-4 -76 0
-4 -94 0
-4 -112 0
-4 -130 0
-4 -148 0
-4 -166 0
-4 -184 0
-4 -202 0
-4 -220 0
-4 -238 0
-4 -256 0
-4 -274 0
-4 -292 0
-4 -310 0
-4 -328 0
-22 -40 0
-22 -58 0
-22 -76 0
-22 -94 0
-22 -112 0
-22 -130 0
-22 -148 0
-22 -166 0
-22 -184 0
-22 -202 0
-22 -220 0
-22 -238 0
-22 -256 0
-22 -274 0
-22 -292 0
-22 -310 0
-22 -328 0
-40 -58 0
-40 -76 0
-40 -94 0
-40 -112 0
-40 -130 0
-40 -148 0
-40 -166 0
-40 -184 0
-40 -202 0
-40 -220 0
-40 -238 0
-40 -256 0
-40 -274 0
-40 -292 0
-40 -310 0
-40 -328 0
-58 -76 0
-58 -94 0
-58 -112 0
-58 -130 0
-58 -148 0
-58 -166 0
-58 -184 0
-58 -202 0
-58 -220 0
-58 -238 0
-58 -256 0
-58 -274 0
-58 -292 0
-58 -310 0
-58 -328 0
-76 -94 0
-76 -112 0
-76 -130 0
-76 -148 0
-76 -166 0
-76 -184 0
-76 -202 0
-76 -220 0
-76 -238 0
-76 -256 0
-76 -274 0
-76 -292 0
-76 -310 0
-76 -328 0
-94 -112 0
-94 -130 0
-94 -148 0
-94 -166 0
-94 -184 0
-94 -202 0
-94 -220 0
-94 -238 0
-94 -256 0
-94 -274 0
-94 -292 0
-94 -310 0
-94 -328 0
-112 -130 0
-112 -148 0
-112 -166 0
-112 -184 0
-112 -202 0
-112 -220 0
-112 -238 0
-112 -256 0
-112 -274 0
-112 -292 0
-112 -310 0
-112 -328 0
-130 -148 0
-130 -166 0
-130 -184 0
-130 -202 0
-130 -220 0
-130 -238 0
-130 -256 0
-130 -274 0
-130 -292 0
-130 -310 0
-130 -328 0
-148 -166 0
-148 -184 0
-148 -202 0
-148 -220 0
-148 -238 0
-148 -256 0
-148 -274 0
-148 -292 0
-148 -310 0
-148 -328 0
-166 -184 0
-166 -202 0
-166 -220 0
-166 -238 0
-166 -256 0
-166 -274 0
-166 -292 0
-166 -310 0
-166 -328 0
-184 -202 0
-184 -220 0
-184 -238 0
-184 -256 0
-184 -274 0
-184 -292 0
-184 -310 0
-184 -328 0
-202 -220 0
-202 -238 0
-202 -256 0
-202 -274 0
-202 -292 0
-202 -310 0
-202 -328 0
-220 -238 0
-220 -256 0
-220 -274 0
-220 -292 0
-220 -310 0
-220 -328 0
-238 -256 0
-238 -274 0
-238 -292 0
-238 -310 0
-238 -328 0
-256 -274 0
-256 -292 0
-256 -310 0
-256 -328 0
-274 -292 0
-274 -310 0
-274 -328 0
-292 -310 0
-292 -328 0
-310 -328 0
-5 -23 0
-5 -41 0
-5 -59 0
-5 -77 0
-5 -95 0
-5 -113 0
-5 -131 0
-5 -149 0
-5 -167 0
-5 -185 0
-5 -203 0
-5 -221 0
-5 -239 0
-5 -257 0
-5 -275 0
-5 -293 0
-5 -311 0
-5 -329 0
-23 -41 0
-23 -59 0
-23 -77 0
-23 -95 0
-23 -113 0
-23 -131 0
-23 -149 0
-23 -167 0
-23 -185 0
-23 -203 0
-23 -221 0
-23 -239 0
-23 -257 0
-23 -275 0
-23 -293 0
-23 -311 0
-23 -329 0
-41 -59 0
-41 -77 0
-41 -95 0
-41 -113 0
-41 -131 0
-41 -149 0
-41 -167 0
-41 -185 0
-41 -203 0
-41 -221 0
-41 -239 0
-41 -257 0
-41 -275 0
-41 -293 0
-41 -311 0
-41 -329 0
-59 -77 0
-59 -95 0
-59 -113 0
-59 -131 0
-59 -149 0
-59 -167 0
-59 -185 0
-59 -203 0
-59 -221 0
-59 -239 0
-59 -257 0
-59 -275 0
-59 -293 0
-59 -311 0
-59 -329 0
-77 -95 0
-77 -113 0
-77 -131 0
-77 -149 0
-77 -167 0
-77 -185 0
-77 -203 0
-77 -221 0
-77 -239 0
-77 -257 0
-77 -275 0
-77 -293 0
-77 -311 0
-77 -329 0
-95 -113 0
-95 -131 0
-95 -149 0
-95 -167 0
-95 -185 0
-95 -203 0
-95 -221 0
-95 -239 0
-95 -257 0
-95 -275 0
-95 -293 0
-95 -311 0
-95 -329 0
-113 -131 0
-113 -149 0
-113 -167 0
-113 -185 0
-113 -203 0
-113 -221 0
-113 -239 0
-113 -257 0
-113 -275 0
-113 -293 0
-113 -311 0
-113 -329 0
-131 -149 0
-131 -167 0
-131 -185 0
-131 -203 0
-131 -221 0
-131 -239 0
-131 -257 0
-131 -275 0
-131 -293 0
-131 -311 0
-131 -329 0
-149 -167 0
-149 -185 0
-149 -203 0
-149 -221 0
-149 -239 0
-149 -257 0
-149 -275 0
-149 -293 0
-149 -311 0
-149 -329 0
-167 -185 0
-167 -203 0
-167 -221 0
-167 -239 0
-167 -257 0
-167 -275 0
-167 -293 0
-167 -311 0
-167 -329 0
-185 -203 0
-185 -221 0
-185 -239 0
-185 -257 0
-185 -275 0
-185 -293 0
-185 -311 0
-185 -329 0
-203 -221 0
-203 -239 0
-203 -257 0
-203 -275 0
-203 -293 0
-203 -311 0
-203 -329 0
-221 -239 0
-221 -257 0
-221 -275 0
-221 -293 0
-221 -311 0
-221 -329 0
-239 -257 0
-239 -275 0
-239 -293 0
-239 -311 0
-239 -329 0
-257 -275 0
-257 -293 0
-257 -311 0
-257 -329 0
-275 -293 0
-275 -311 0
-275 -329 0
-293 -311 0
-293 -329 0
-311 -329 0
-6 -24 0
-6 -42 0
-6 -60 0
-6 -78 0
-6 -96 0
-6 -114 0
-6 -132 0
-6 -150 0
-6 -168 0
-6 -186 0
-6 -204 0
-6 -222 0
-6 -240 0
-6 -258 0
-6 -276 0
-6 -294 0
-6 -312 0
-6 -330 0
-24 -42 0
-24 -60 0
-24 -78 0
-24 -96 0
-24 -114 0
-24 -132 0
-24 -150 0
-24 -168 0
-24 -186 0
-24 -204 0
-24 -222 0
-24 -240 0
-24 -258 0
-24 -276 0
-24 -294 0
-24 -312 0
-24 -330 0
-42 -60 0
-42 -78 0
-42 -96 0
-42 -114 0
-42 -132 0
-42 -150 0
-42 -168 0
-42 -186 0
-42 -204 0
-42 -222 0
-42 -240 0
-42 -258 0
-42 -276 0
-42 -294 0
-42 -312 0
-42 -330 0
-60 -78 0
-60 -96 0
-60 -114 0
-60 -132 0
-60 -150 0
-60 -168 0
-60 -186 0
-60 -204 0
-60 -222 0
-60 -240 0
-60 -258 0
-60 -276 0
-60 -294 0
-60 -312 0
-60 -330 0
-78 -96 0
-78 -114 0
-78 -132 0
-78 -150 0
-78 -168 0
-78 -186 0
-78 -204 0
-78 -222 0
-78 -240 0
-78 -258 0
-78 -276 0
-78 -294 0
-78 -312 0
-78 -330 0
-96 -114 0
-96 -132 0
-96 -150 0
-96 -168 0
-96 -186 0
-96 -204 0
-96 -222 0
-96 -240 0
-96 -258 0
-96 -276 0
-96 -294 0
-96 -312 0
-96 -330 0
-114 -132 0
-114 -150 0
-114 -168 0
-114 -186 0
-114 -204 0
-114 -222 0
-114 -240 0
-114 -258 0
-114 -276 0
-114 -294 0
-114 -312 0
-114 -330 0
-132 -150 0
-132 -168 0
-132 -186 0
-132 -204 0
-132 -222 0
-132 -240 0
-132 -258 0
-132 -276 0
-132 -294 0
-132 -312 0
-132 -330 0
-150 -168 0
-150 -186 0
-150 -204 0
-150 -222 0
-150 -240 0
-150 -258 0
-150 -276 0
-150 -294 0
-150 -312 0
-150 -330 0
-168 -186 0
-168 -204 0
-168 -222 0
-168 -240 0
-168 -258 0
-168 -276 0
-168 -294 0
-168 -312 0
-168 -330 0
-186 -204 0
-186 -222 0
-186 -240 0
-186 -258 0
-186 -276 0
-186 -294 0
-186 -312 0
-186 -330 0
-204 -222 0
-204 -240 0
-204 -258 0
-204 -276 0
-204 -294 0
-204 -312 0
-204 -330 0
-222 -240 0
-222 -258 0
-222 -276 0
-222 -294 0
-222 -312 0
-222 -330 0
-240 -258 0
-240 -276 0
-240 -294 0
-240 -312 0
-240 -330 0
-258 -276 0
-258 -294 0
-258 -312 0
-258 -330 0
-276 -294 0
-276 -312 0
-276 -330 0
-294 -312 0
-294 -330 0
-312 -330 0
-7 -25 0
-7 -43 0
-7 -61 0
-7 -79 0
-7 -97 0
-7 -115 0
-7 -133 0
-7 -151 0
-7 -169 0
-7 -187 0
-7 -205 0
-7 -223 0
-7 -241 0
-7 -259 0
-7 -277 0
-7 -295 0
-7 -313 0
-7 -331 0
-25 -43 0
-25 -61 0
-25 -79 0
-25 -97 0
-25 -115 0
-25 -133 0
-25 -151 0
-25 -169 0
-25 -187 0
-25 -205 0
-25 -223 0
-25 -241 0
-25 -259 0
-25 -277 0
-25 -295 0
-25 -313 0
-25 -331 0
-43 -61 0
-43 -79 0
-43 -97 0
-43 -115 0
-43 -133 0
-43 -151 0
-43 -169 0
-43 -187 0
-43 -205 0
-43 -223 0
-43 -241 0
-43 -259 0
-43 -277 0
-43 -295 0
-43 -313 0
-43 -331 0
-61 -79 0
-61 -97 0
-61 -115 0
-61 -133 0
-61 -151 0
-61 -169 0
-61 -187 0
-61 -205 0
-61 -223 0
-61 -241 0
-61 -259 0
-61 -277 0
-61 -295 0
-61 -313 0
-61 -331 0
-79 -97 0
-79 -115 0
-79 -133 0
-79 -151 0
-79 -169 0
-79 -187 0
-79 -205 0
-79 -223 0
-79 -241 0
-79 -259 0
-79 -277 0
-79 -295 0
-79 -313 0
-79 -331 0
-97 -115 0
-97 -133 0
-97 -151 0
-97 -169 0
-97 -187 0
-97 -205 0
-97 -223 0
-97 -241 0
-97 -259 0
-97 -277 0
-97 -295 0
-97 -313 0
-97 -331 0
-115 -133 0
-115 -151 0
-115 -169 0
-115 -187 0
-115 -205 0
-115 -223 0
-115 -241 0
-115 -259 0
-115 -277 0
-115 -295 0
-115 -313 0
-115 -331 0
-133 -151 0
-133 -169 0
-133 -187 0
-133 -205 0
-133 -223 0
-133 -241 0
-133 -259 0
-133 -277 0
-133 -295 0
-133 -313 0
-133 -331 0
-151 -169 0
-151 -187 0
-151 -205 0
-151 -223 0
-151 -241 0
-151 -259 0
-151 -277 0
-151 -295 0
-151 -313 0
-151 -331 0
-169 -187 0
-169 -205 0
-169 -223 0
-169 -241 0
-169 -259 0
-169 -277 0
-169 -295 0
-169 -313 0
-169 -331 0
-187 -205 0
-187 -223 0
-187 -241 0
-187 -259 0
-187 -277 0
-187 -295 0
-187 -313 0
-187 -331 0
-205 -223 0
-205 -241 0
-205 -259 0
-205 -277 0
-205 -295 0
-205 -313 0
-205 -331 0
-223 -241 0
-223 -259 0
-223 -277 0
-223 -295 0
-223 -313 0
-223 -331 0
-241 -259 0
-241 -277 0
-241 -295 0
-241 -313 0
-241 -331 0
-259 -277 0
-259 -295 0
-259 -313 0
-259 -331 0
-277 -295 0
-277 -313 0
-277 -331 0
-295 -313 0
-295 -331 0
-313 -331 0
-8 -26 0
-8 -44 0
-8 -62 0
-8 -80 0
-8 -98 0
-8 -116 0
-8 -134 0
-8 -152 0
-8 -170 0
-8 -188 0
-8 -206 0
-8 -224 0
-8 -242 0
-8 -260 0
-8 -278 0
-8 -296 0
-8 -314 0
-8 -332 0
-26 -44 0
-26 -62 0
-26 -80 0
-26 -98 0
-26 -116 0
-26 -134 0
-26 -152 0
-26 -170 0
-26 -188 0
-26 -206 0
-26 -224 0
-26 -242 0
-26 -260 0
-26 -278 0
-26 -296 0
-26 -314 0
-26 -332 0
-44 -62 0
-44 -80 0
-44 -98 0
-44 -116 0
-44 -134 0
-44 -152 0
-44 -170 0
-44 -188 0
-44 -206 0
-44 -224 0
-44 -242 0
-44 -260 0
-44 -278 0
-44 -296 0
-44 -314 0
-44 -332 0
-62 -80 0
-62 -98 0
-62 -116 0
-62 -134 0
-62 -152 0
-62 -170 0
-62 -188 0
-62 -206 0
-62 -224 0
-62 -242 0
-62 -260 0
-62 -278 0
-62 -296 0
-62 -314 0
-62 -332 0
-80 -98 0
-80 -116 0
-80 -134 0
-80 -152 0
-80 -170 0
-80 -188 0
-80 -206 0
-80 -224 0
-80 -242 0
-80 -260 0
-80 -278 0
-80 -296 0
-80 -314 0
-80 -332 0
-98 -116 0
-98 -134 0
-98 -152 0
-98 -170 0
-98 -188 0
-98 -206 0
-98 -224 0
-98 -242 0
-98 -260 0
-98 -278 0
-98 -296 0
-98 -314 0
-98 -332 0
-116 -134 0
-116 -152 0
-116 -170 0
-116 -188 0
-116 -206 0
-116 -224 0
-116 -242 0
-116 -260 0
-116 -278 0
-116 -296 0
-116 -314 0
-116 -332 0
-134 -152 0
-134 -170 0
-134 -188 0
-134 -206 0
-134 -224 0
-134 -242 0
-134 -260 0
-134 -278 0
-134 -296 0
-134 -314 0
-134 -332 0
-152 -170 0
-152 -188 0
-152 -206 0
-152 -224 0
-152 -242 0
-152 -260 0
-152 -278 0
-152 -296 0
-152 -314 0
-152 -332 0
-170 -188 0
-170 -206 0
-170 -224 0
-170 -242 0
-170 -260 0
-170 -278 0
-170 -296 0
-170 -314 0
-170 -332 0
-188 -206 0
-188 -224 0
-188 -242 0
-188 -260 0
-188 -278 0
-188 -296 0
-188 -314 0
-188 -332 0
-206 -224 0
-206 -242 0
-206 -260 0
-206 -278 0
-206 -296 0
-206 -314 0
-206 -332 0
-224 -242 0
-224 -260 0
-224 -278 0
-224 -296 0
-224 -314 0
-224 -332 0
-242 -260 0
-242 -278 0
-242 -296 0
-242 -314 0
-242 -332 0
-260 -278 0
-260 -296 0
-260 -314 0
-260 -332 0
-278 -296 0
-278 -314 0
-278 -332 0
-296 -314 0
-296 -332 0
-314 -332 0
-9 -27 0
-9 -45 0
-9 -63 0
-9 -81 0
-9 -99 0
-9 -117 0
-9 -135 0
-9 -153 0
-9 -171 0
-9 -189 0
-9 -207 0
-9 -225 0
-9 -243 0
-9 -261 0
-9 -279 0
-9 -297 0
-9 -315 0
-9 -333 0
-27 -45 0
-27 -63 0
-27 -81 0
-27 -99 0
-27 -117 0
-27 -135 0
-27 -153 0
-27 -171 0
-27 -189 0
-27 -207 0
-27 -225 0
-27 -243 0
-27 -261 0
-27 -279 0
-27 -297 0
-27 -315 0
-27 -333 0
-45 -63 0
-45 -81 0
-45 -99 0
-45 -117 0
-45 -135 0
-45 -153 0
-45 -171 0
-45 -189 0
-45 -207 0
-45 -225 0
-45 -243 0
-45 -261 0
-45 -279 0
-45 -297 0
-45 -315 0
-45 -333 0
-63 -81 0
-63 -99 0
-63 -117 0
-63 -135 0
-63 -153 0
-63 -171 0
-63 -189 0
-63 -207 0
-63 -225 0
-63 -243 0
-63 -261 0
-63 -279 0
-63 -297 0
-63 -315 0
-63 -333 0
-81 -99 0
-81 -117 0
-81 -135 0
-81 -153 0
-81 -171 0
-81 -189 0
-81 -207 0
-81 -225 0
-81 -243 0
-81 -261 0
-81 -279 0
-81 -297 0
-81 -315 0
-81 -333 0
-99 -117 0
-99 -135 0
-99 -153 0
-99 -171 0
-99 -189 0
-99 -207 0
-99 -225 0
-99 -243 0
-99 -261 0
-99 -279 0
-99 -297 0
-99 -315 0
-99 -333 0
-117 -135 0
-117 -153 0
-117 -171 0
-117 -189 0
-117 -207 0
-117 -225 0
-117 -243 0
-117 -261 0
-117 -279 0
-117 -297 0
-117 -315 0
-117 -333 0
-135 -153 0
-135 -171 0
-135 -189 0
-135 -207 0
-135 -225 0
-135 -243 0
-135 -261 0
-135 -279 0
-135 -297 0
-135 -315 0
-135 -333 0
-153 -171 0
-153 -189 0
-153 -207 0
-153 -225 0
-153 -243 0
-153 -261 0
-153 -279 0
-153 -297 0
-153 -315 0
-153 -333 0
-171 -189 0
-171 -207 0
-171 -225 0
-171 -243 0
-171 -261 0
-171 -279 0
-171 -297 0
-171 -315 0
-171 -333 0
-189 -207 0
-189 -225 0
-189 -243 0
-189 -261 0
-189 -279 0
-189 -297 0
-189 -315 0
-189 -333 0
-207 -225 0
-207 -243 0
-207 -261 0
-207 -279 0
-207 -297 0
-207 -315 0
-207 -333 0
-225 -243 0
-225 -261 0
-225 -279 0
-225 -297 0
-225 -315 0
-225 -333 0
-243 -261 0
-243 -279 0
-243 -297 0
-243 -315 0
-243 -333 0
-261 -279 0
-261 -297 0
-261 -315 0
-261 -333 0
-279 -297 0
-279 -315 0
-279 -333 0
-297 -315 0
-297 -333 0
-315 -333 0
-10 -28 0
-10 -46 0
-10 -64 0
-10 -82 0
-10 -100 0
-10 -118 0
-10 -136 0
-10 -154 0
-10 -172 0
-10 -190 0
-10 -208 0
-10 -226 0
-10 -244 0
-10 -262 0
-10 -280 0
-10 -298 0
-10 -316 0
-10 -334 0
-28 -46 0
-28 -64 0
-28 -82 0
-28 -100 0
-28 -118 0
-28 -136 0
-28 -154 0
-28 -172 0
-28 -190 0
-28 -208 0
-28 -226 0
-28 -244 0
-28 -262 0
-28 -280 0
-28 -298 0
-28 -316 0
-28 -334 0
-46 -64 0
-46 -82 0
-46 -100 0
-46 -118 0
-46 -136 0
-46 -154 0
-46 -172 0
-46 -190 0
-46 -208 0
-46 -226 0
-46 -244 0
-46 -262 0
-46 -280 0
-46 -298 0
-46 -316 0
-46 -334 0
-64 -82 0
-64 -100 0
-64 -118 0
-64 -136 0
-64 -154 0
-64 -172 0
-64 -190 0
-64 -208 0
-64 -226 0
-64 -244 0
-64 -262 0
-64 -280 0
-64 -298 0
-64 -316 0
-64 -334 0
-82 -100 0
-82 -118 0
-82 -136 0
-82 -154 0
-82 -172 0
-82 -190 0
-82 -208 0
-82 -226 0
-82 -244 0
-82 -262 0
-82 -280 0
-82 -298 0
-82 -316 0
-82 -334 0
-100 -118 0
-100 -136 0
-100 -154 0
-100 -172 0
-100 -190 0
-100 -208 0
-100 -226 0
-100 -244 0
-100 -262 0
-100 -280 0
-100 -298 0
-100 -316 0
-100 -334 0
-118 -136 0
-118 -154 0
-118 -172 0
-118 -190 0
-118 -208 0
-118 -226 0
-118 -244 0
-118 -262 0
-118 -280 0
-118 -298 0
-118 -316 0
-118 -334 0
-136 -154 0
-136 -172 0
-136 -190 0
-136 -208 0
-136 -226 0
-136 -244 0
-136 -262 0
-136 -280 0
-136 -298 0
-136 -316 0
-136 -334 0
-154 -172 0
-154 -190 0
-154 -208 0
-154 -226 0
-154 -244 0
-154 -262 0
-154 -280 0
-154 -298 0
-154 -316 0
-154 -334 0
-172 -190 0
-172 -208 0
-172 -226 0
-172 -244 0
-172 -262 0
-172 -280 0
-172 -298 0
-172 -316 0
-172 -334 0
-190 -208 0
-190 -226 0
-190 -244 0
-190 -262 0
-190 -280 0
-190 -298 0
-190 -316 0
-190 -334 0
-208 -226 0
-208 -244 0
-208 -262 0
-208 -280 0
-208 -298 0
-208 -316 0
-208 -334 0
-226 -244 0
-226 -262 0
-226 -280 0
-226 -298 0
-226 -316 0
-226 -334 0
-244 -262 0
-244 -280 0
-244 -298 0
-244 -316 0
-244 -334 0
-262 -280 0
-262 -298 0
-262 -316 0
-262 -334 0
-280 -298 0
-280 -316 0
-280 -334 0
-298 -316 0
-298 -334 0
-316 -334 0
-11 -29 0
-11 -47 0
-11 -65 0
-11 -83 0
-11 -101 0
-11 -119 0
-11 -137 0
-11 -155 0
-11 -173 0
-11 -191 0
-11 -209 0
-11 -227 0
-11 -245 0
-11 -263 0
-11 -281 0
-11 -299 0
-11 -317 0
-11 -335 0
-29 -47 0
-29 -65 0
-29 -83 0
-29 -101 0
-29 -119 0
-29 -137 0
-29 -155 0
-29 -173 0
-29 -191 0
-29 -209 0
-29 -227 0
-29 -245 0
-29 -263 0
-29 -281 0
-29 -299 0
-29 -317 0
-29 -335 0
-47 -65 0
-47 -83 0
-47 -101 0
-47 -119 0
-47 -137 0
-47 -155 0
-47 -173 0
-47 -191 0
-47 -209 0
-47 -227 0
-47 -245 0
-47 -263 0
-47 -281 0
-47 -299 0
-47 -317 0
-47 -335 0
-65 -83 0
-65 -101 0
-65 -119 0
-65 -137 0
-65 -155 0
-65 -173 0
-65 -191 0
-65 -209 0
-65 -227 0
-65 -245 0
-65 -263 0
-65 -281 0
-65 -299 0
-65 -317 0
-65 -335 0
-83 -101 0
-83 -119 0
-83 -137 0
-83 -155 0
-83 -173 0
-83 -191 0
-83 -209 0
-83 -227 0
-83 -245 0
-83 -263 0
-83 -281 0
-83 -299 0
-83 -317 0
-83 -335 0
-101 -119 0
-101 -137 0
-101 -155 0
-101 -173 0
-101 -191 0
-101 -209 0
-101 -227 0
-101 -245 0
-101 -263 0
-101 -281 0
-101 -299 0
-101 -317 0
-101 -335 0
-119 -137 0
-119 -155 0
-119 -173 0
-119 -191 0
-119 -209 0
-119 -227 0
-119 -245 0
-119 -263 0
-119 -281 0
-119 -299 0
-119 -317 0
-119 -335 0
-137 -155 0
-137 -173 0
-137 -191 0
-137 -209 0
-137 -227 0
-137 -245 0
-137 -263 0
-137 -281 0
-137 -299 0
-137 -317 0
-137 -335 0
-155 -173 0
-155 -191 0
-155 -209 0
-155 -227 0
-155 -245 0
-155 -263 0
-155 -281 0
-155 -299 0
-155 -317 0
-155 -335 0
-173 -191 0
-173 -209 0
-173 -227 0
-173 -245 0
-173 -263 0
-173 -281 0
-173 -299 0
-173 -317 0
-173 -335 0
-191 -209 0
-191 -227 0
-191 -245 0
-191 -263 0
-191 -281 0
-191 -299 0
-191 -317 0
-191 -335 0
-209 -227 0
-209 -245 0
-209 -263 0
-209 -281 0
-209 -299 0
-209 -317 0
-209 -335 0
-227 -245 0
-227 -263 0
-227 -281 0
-227 -299 0
-227 -317 0
-227 -335 0
-245 -263 0
-245 -281 0
-245 -299 0
-245 -317 0
-245 -335 0
-263 -281 0
-263 -299 0
-263 -317 0
-263 -335 0
-281 -299 0
-281 -317 0
-281 -335 0
-299 -317 0
-299 -335 0
-317 -335 0
-12 -30 0
-12 -48 0
-12 -66 0
-12 -84 0
-12 -102 0
-12 -120 0
-12 -138 0
-12 -156 0
-12 -174 0
-12 -192 0
-12 -210 0
-12 -228 0
-12 -246 0
-12 -264 0
-12 -282 0
-12 -300 0
-12 -318 0
-12 -336 0
-30 -48 0
-30 -66 0
-30 -84 0
-30 -102 0
-30 -120 0
-30 -138 0
-30 -156 0
-30 -174 0
-30 -192 0
-30 -210 0
-30 -228 0
-30 -246 0
-30 -264 0
-30 -282 0
-30 -300 0
-30 -318 0
-30 -336 0
-48 -66 0
-48 -84 0
-48 -102 0
-48 -120 0
-48 -138 0
-48 -156 0
-48 -174 0
-48 -192 0
-48 -210 0
-48 -228 0
-48 -246 0
-48 -264 0
-48 -282 0
-48 -300 0
-48 -318 0
-48 -336 0
-66 -84 0
-66 -102 0
-66 -120 0
-66 -138 0
-66 -156 0
-66 -174 0
-66 -192 0
-66 -210 0
-66 -228 0
-66 -246 0
-66 -264 0
-66 -282 0
-66 -300 0
-66 -318 0
-66 -336 0
-84 -102 0
-84 -120 0
-84 -138 0
-84 -156 0
-84 -174 0
-84 -192 0
-84 -210 0
-84 -228 0
-84 -246 0
-84 -264 0
-84 -282 0
-84 -300 0
-84 -318 0
-84 -336 0
-102 -120 0
-102 -138 0
-102 -156 0
-102 -174 0
-102 -192 0
-102 -210 0
-102 -228 0
-102 -246 0
-102 -264 0
-102 -282 0
-102 -300 0
-102 -318 0
-102 -336 0
-120 -138 0
-120 -156 0
-120 -174 0
-120 -192 0
-120 -210 0
-120 -228 0
-120 -246 0
-120 -264 0
-120 -282 0
-120 -300 0
-120 -318 0
-120 -336 0
-138 -156 0
-138 -174 0
-138 -192 0
-138 -210 0
-138 -228 0
-138 -246 0
-138 -264 0
-138 -282 0
-138 -300 0
-138 -318 0
-138 -336 0
-156 -174 0
-156 -192 0
-156 -210 0
-156 -228 0
-156 -246 0
-156 -264 0
-156 -282 0
-156 -300 0
-156 -318 0
-156 -336 0
-174 -192 0
-174 -210 0
-174 -228 0
-174 -246 0
-174 -264 0
-174 -282 0
-174 -300 0
-174 -318 0
-174 -336 0
-192 -210 0
-192 -228 0
-192 -246 0
-192 -264 0
-192 -282 0
-192 -300 0
-192 -318 0
-192 -336 0
-210 -228 0
-210 -246 0
-210 -264 0
-210 -282 0
-210 -300 0
-210 -318 0
-210 -336 0
-228 -246 0
-228 -264 0
-228 -282 0
-228 -300 0
-228 -318 0
-228 -336 0
-246 -264 0
-246 -282 0
-246 -300 0
-246 -318 0
-246 -336 0
-264 -282 0
-264 -300 0
-264 -318 0
-264 -336 0
-282 -300 0
-282 -318 0
-282 -336 0
-300 -318 0
-300 -336 0
-318 -336 0
-13 -31 0
-13 -49 0
-13 -67 0
-13 -85 0
-13 -103 0
-13 -121 0
-13 -139 0
-13 -157 0
-13 -175 0
-13 -193 0
-13 -211 0
-13 -229 0
-13 -247 0
-13 -265 0
-13 -283 0
-13 -301 0
-13 -319 0
-13 -337 0
-31 -49 0
-31 -67 0
-31 -85 0
-31 -103 0
-31 -121 0
-31 -139 0
-31 -157 0
-31 -175 0
-31 -193 0
-31 -211 0
-31 -229 0
-31 -247 0
-31 -265 0
-31 -283 0
-31 -301 0
-31 -319 0
-31 -337 0
-49 -67 0
-49 -85 0
-49 -103 0
-49 -121 0
-49 -139 0
-49 -157 0
-49 -175 0
-49 -193 0
-49 -211 0
-49 -229 0
-49 -247 0
-49 -265 0
-49 -283 0
-49 -301 0
-49 -319 0
-49 -337 0
-67 -85 0
-67 -103 0
-67 -121 0
-67 -139 0
-67 -157 0
-67 -175 0
-67 -193 0
-67 -211 0
-67 -229 0
-67 -247 0
-67 -265 0
-67 -283 0
-67 -301 0
-67 -319 0
-67 -337 0
-85 -103 0
-85 -121 0
-85 -139 0
-85 -157 0
-85 -175 0
-85 -193 0
-85 -211 0
-85 -229 0
-85 -247 0
-85 -265 0
-85 -283 0
-85 -301 0
-85 -319 0
-85 -337 0
-103 -121 0
-103 -139 0
-103 -157 0
-103 -175 0
-103 -193 0
-103 -211 0
-103 -229 0
-103 -247 0
-103 -265 0
-103 -283 0
-103 -301 0
-103 -319 0
-103 -337 0
-121 -139 0
-121 -157 0
-121 -175 0
-121 -193 0
-121 -211 0
-121 -229 0
-121 -247 0
-121 -265 0
-121 -283 0
-121 -301 0
-121 -319 0
-121 -337 0
-139 -157 0
-139 -175 0
-139 -193 0
-139 -211 0
-139 -229 0
-139 -247 0
-139 -265 0
-139 -283 0
-139 -301 0
-139 -319 0
-139 -337 0
-157 -175 0
-157 -193 0
-157 -211 0
-157 -229 0
-157 -247 0
-157 -265 0
-157 -283 0
-157 -301 0
-157 -319 0
-157 -337 0
-175 -193 0
-175 -211 0
-175 -229 0
-175 -247 0
-175 -265 0
-175 -283 0
-175 -301 0
-175 -319 0
-175 -337 0
-193 -211 0
-193 -229 0
-193 -247 0
-193 -265 0
-193 -283 0
-193 -301 0
-193 -319 0
-193 -337 0
-211 -229 0
-211 -247 0
-211 -265 0
-211 -283 0
-211 -301 0
-211 -319 0
-211 -337 0
-229 -247 0
-229 -265 0
-229 -283 0
-229 -301 0
-229 -319 0
-229 -337 0
-247 -265 0
-247 -283 0
-247 -301 0
-247 -319 0
-247 -337 0
-265 -283 0
-265 -301 0
-265 -319 0
-265 -337 0
-283 -301 0
-283 -319 0
-283 -337 0
-301 -319 0
-301 -337 0
-319 -337 0
-14 -32 0
-14 -50 0
-14 -68 0
-14 -86 0
-14 -104 0
-14 -122 0
-14 -140 0
-14 -158 0
-14 -176 0
-14 -194 0
-14 -212 0
-14 -230 0
-14 -248 0
-14 -266 0
-14 -284 0
-14 -302 0
-14 -320 0
-14 -338 0
-32 -50 0
-32 -68 0
-32 -86 0
-32 -104 0
-32 -122 0
-32 -140 0
-32 -158 0
-32 -176 0
-32 -194 0
-32 -212 0
-32 -230 0
-32 -248 0
-32 -266 0
-32 -284 0
-32 -302 0
-32 -320 0
-32 -338 0
-50 -68 0
-50 -86 0
-50 -104 0
-50 -122 0
-50 -140 0
-50 -158 0
-50 -176 0
-50 -194 0
-50 -212 0
-50 -230 0
-50 -248 0
-50 -266 0
-50 -284 0
-50 -302 0
-50 -320 0
-50 -338 0
-68 -86 0
-68 -104 0
-68 -122 0
-68 -140 0
-68 -158 0
-68 -176 0
-68 -194 0
-68 -212 0
-68 -230 0
-68 -248 0
-68 -266 0
-68 -284 0
-68 -302 0
-68 -320 0
-68 -338 0
-86 -104 0
-86 -122 0
-86 -140 0
-86 -158 0
-86 -176 0
-86 -194 0
-86 -212 0
-86 -230 0
-86 -248 0
-86 -266 0
-86 -284 0
-86 -302 0
-86 -320 0
-86 -338 0
-104 -122 0
-104 -140 0
-104 -158 0
-104 -176 0
-104 -194 0
-104 -212 0
-104 -230 0
-104 -248 0
-104 -266 0
-104 -284 0
-104 -302 0
-104 -320 0
-104 -338 0
-122 -140 0
-122 -158 0
-122 -176 0
-122 -194 0
-122 -212 0
-122 -230 0
-122 -248 0
-122 -266 0
-122 -284 0
-122 -302 0
-122 -320 0
-122 -338 0
-140 -158 0
-140 -176 0
-140 -194 0
-140 -212 0
-140 -230 0
-140 -248 0
-140 -266 0
-140 -284 0
-140 -302 0
-140 -320 0
-140 -338 0
-158 -176 0
-158 -194 0
-158 -212 0
-158 -230 0
-158 -248 0
-158 -266 0
-158 -284 0
-158 -302 0
-158 -320 0
-158 -338 0
-176 -194 0
-176 -212 0
-176 -230 0
-176 -248 0
-176 -266 0
-176 -284 0
-176 -302 0
-176 -320 0
-176 -338 0
-194 -212 0
-194 -230 0
-194 -248 0
-194 -266 0
-194 -284 0
-194 -302 0
-194 -320 0
-194 -338 0
-212 -230 0
-212 -248 0
-212 -266 0
-212 -284 0
-212 -302 0
-212 -320 0
-212 -338 0
-230 -248 0
-230 -266 0
-230 -284 0
-230 -302 0
-230 -320 0
-230 -338 0
-248 -266 0
-248 -284 0
-248 -302 0
-248 -320 0
-248 -338 0
-266 -284 0
-266 -302 0
-266 -320 0
-266 -338 0
-284 -302 0
-284 -320 0
-284 -338 0
-302 -320 0
-302 -338 0
-320 -338 0
-15 -33 0
-15 -51 0
-15 -69 0
-15 -87 0
-15 -105 0
-15 -123 0
-15 -141 0
-15 -159 0
-15 -177 0
-15 -195 0
-15 -213 0
-15 -231 0
-15 -249 0
-15 -267 0
-15 -285 0
-15 -303 0
-15 -321 0
-15 -339 0
-33 -51 0
-33 -69 0
-33 -87 0
-33 -105 0
-33 -123 0
-33 -141 0
-33 -159 0
-33 -177 0
-33 -195 0
-33 -213 0
-33 -231 0
-33 -249 0
-33 -267 0
-33 -285 0
-33 -303 0
-33 -321 0
-33 -339 0
-51 -69 0
-51 -87 0
-51 -105 0
-51 -123 0
-51 -141 0
-51 -159 0
-51 -177 0
-51 -195 0
-51 -213 0
-51 -231 0
-51 -249 0
-51 -267 0
-51 -285 0
-51 -303 0
-51 -321 0
-51 -339 0
-69 -87 0
-69 -105 0
-69 -123 0
-69 -141 0
-69 -159 0
-69 -177 0
-69 -195 0
-69 -213 0
-69 -231 0
-69 -249 0
-69 -267 0
-69 -285 0
-69 -303 0
-69 -321 0
-69 -339 0
-87 -105 0
-87 -123 0
-87 -141 0
-87 -159 0
-87 -177 0
-87 -195 0
-87 -213 0
-87 -231 0
-87 -249 0
-87 -267 0
-87 -285 0
-87 -303 0
-87 -321 0
-87 -339 0
-105 -123 0
-105 -141 0
-105 -159 0
-105 -177 0
-105 -195 0
-105 -213 0
-105 -231 0
-105 -249 0
-105 -267 0
-105 -285 0
-105 -303 0
-105 -321 0
-105 -339 0
-123 -141 0
-123 -159 0
-123 -177 0
-123 -195 0
-123 -213 0
-123 -231 0
-123 -249 0
-123 -267 0
-123 -285 0
-123 -303 0
-123 -321 0
-123 -339 0
-141 -159 0
-141 -177 0
-141 -195 0
-141 -213 0
-141 -231 0
-141 -249 0
-141 -267 0
-141 -285 0
-141 -303 0
-141 -321 0
-141 -339 0
-159 -177 0
-159 -195 0
-159 -213 0
-159 -231 0
-159 -249 0
-159 -267 0
-159 -285 0
-159 -303 0
-159 -321 0
-159 -339 0
-177 -195 0
-177 -213 0
-177 -231 0
-177 -249 0
-177 -267 0
-177 -285 0
-177 -303 0
-177 -321 0
-177 -339 0
-195 -213 0
-195 -231 0
-195 -249 0
-195 -267 0
-195 -285 0
-195 -303 0
-195 -321 0
-195 -339 0
-213 -231 0
-213 -249 0
-213 -267 0
-213 -285 0
-213 -303 0
-213 -321 0
-213 -339 0
-231 -249 0
-231 -267 0
-231 -285 0
-231 -303 0
-231 -321 0
-231 -339 0
-249 -267 0
-249 -285 0
-249 -303 0
-249 -321 0
-249 -339 0
-267 -285 0
-267 -303 0
-267 -321 0
-267 -339 0
-285 -303 0
-285 -321 0
-285 -339 0
-303 -321 0
-303 -339 0
-321 -339 0
-16 -34 0
-16 -52 0
-16 -70 0
-16 -88 0
-16 -106 0
-16 -124 0
-16 -142 0
-16 -160 0
-16 -178 0
-16 -196 0
-16 -214 0
-16 -232 0
-16 -250 0
-16 -268 0
-16 -286 0
-16 -304 0
-16 -322 0
-16 -340 0
-34 -52 0
-34 -70 0
-34 -88 0
-34 -106 0
-34 -124 0
-34 -142 0
-34 -160 0
-34 -178 0
-34 -196 0
-34 -214 0
-34 -232 0
-34 -250 0
-34 -268 0
-34 -286 0
-34 -304 0
-34 -322 0
-34 -340 0
-52 -70 0
-52 -88 0
-52 -106 0
-52 -124 0
-52 -142 0
-52 -160 0
-52 -178 0
-52 -196 0
-52 -214 0
-52 -232 0
-52 -250 0
-52 -268 0
-52 -286 0
-52 -304 0
-52 -322 0
-52 -340 0
-70 -88 0
-70 -106 0
-70 -124 0
-70 -142 0
-70 -160 0
-70 -178 0
-70 -196 0
-70 -214 0
-70 -232 0
-70 -250 0
-70 -268 0
-70 -286 0
-70 -304 0
-70 -322 0
-70 -340 0
-88 -106 0
-88 -124 0
-88 -142 0
-88 -160 0
-88 -178 0
-88 -196 0
-88 -214 0
-88 -232 0
-88 -250 0
-88 -268 0
-88 -286 0
-88 -304 0
-88 -322 0
-88 -340 0
-106 -124 0
-106 -142 0
-106 -160 0
-106 -178 0
-106 -196 0
-106 -214 0
-106 -232 0
-106 -250 0
-106 -268 0
-106 -286 0
-106 -304 0
-106 -322 0
-106 -340 0
-124 -142 0
-124 -160 0
-124 -178 0
-124 -196 0
-124 -214 0
-124 -232 0
-124 -250 0
-124 -268 0
-124 -286 0
-124 -304 0
-124 -322 0
-124 -340 0
-142 -160 0
-142 -178 0
-142 -196 0
-142 -214 0
-142 -232 0
-142 -250 0
-142 -268 0
-142 -286 0
-142 -304 0
-142 -322 0
-142 -340 0
-160 -178 0
-160 -196 0
-160 -214 0
-160 -232 0
-160 -250 0
-160 -268 0
-160 -286 0
-160 -304 0
-160 -322 0
-160 -340 0
-178 -196 0
-178 -214 0
-178 -232 0
-178 -250 0
-178 -268 0
-178 -286 0
-178 -304 0
-178 -322 0
-178 -340 0
-196 -214 0
-196 -232 0
-196 -250 0
-196 -268 0
-196 -286 0
-196 -304 0
-196 -322 0
-196 -340 0
-214 -232 0
-214 -250 0
-214 -268 0
-214 -286 0
-214 -304 0
-214 -322 0
-214 -340 0
-232 -250 0
-232 -268 0
-232 -286 0
-232 -304 0
-232 -322 0
-232 -340 0
-250 -268 0
-250 -286 0
-250 -304 0
-250 -322 0
-250 -340 0
-268 -286 0
-268 -304 0
-268 -322 0
-268 -340 0
-286 -304 0
-286 -322 0
-286 -340 0
-304 -322 0
-304 -340 0
-322 -340 0
-17 -35 0
-17 -53 0
-17 -71 0
-17 -89 0
-17 -107 0
-17 -125 0
-17 -143 0
-17 -161 0
-17 -179 0
-17 -197 0
-17 -215 0
-17 -233 0
-17 -251 0
-17 -269 0
-17 -287 0
-17 -305 0
-17 -323 0
-17 -341 0
-35 -53 0
-35 -71 0
-35 -89 0
-35 -107 0
-35 -125 0
-35 -143 0
-35 -161 0
-35 -179 0
-35 -197 0
-35 -215 0
-35 -233 0
-35 -251 0
-35 -269 0
-35 -287 0
-35 -305 0
-35 -323 0
-35 -341 0
-53 -71 0
-53 -89 0
-53 -107 0
-53 -125 0
-53 -143 0
-53 -161 0
-53 -179 0
-53 -197 0
-53 -215 0
-53 -233 0
-53 -251 0
-53 -269 0
-53 -287 0
-53 -305 0
-53 -323 0
-53 -341 0
-71 -89 0
-71 -107 0
-71 -125 0
-71 -143 0
-71 -161 0
-71 -179 0
-71 -197 0
-71 -215 0
-71 -233 0
-71 -251 0
-71 -269 0
-71 -287 0
-71 -305 0
-71 -323 0
-71 -341 0
-89 -107 0
-89 -125 0
-89 -143 0
-89 -161 0
-89 -179 0
-89 -197 0
-89 -215 0
-89 -233 0
-89 -251 0
-89 -269 0
-89 -287 0
-89 -305 0
-89 -323 0
-89 -341 0
-107 -125 0
-107 -143 0
-107 -161 0
-107 -179 0
-107 -197 0
-107 -215 0
-107 -233 0
-107 -251 0
-107 -269 0
-107 -287 0
-107 -305 0
-107 -323 0
-107 -341 0
-125 -143 0
-125 -161 0
-125 -179 0
-125 -197 0
-125 -215 0
-125 -233 0
-125 -251 0
-125 -269 0
-125 -287 0
-125 -305 0
-125 -323 0
-125 -341 0
-143 -161 0
-143 -179 0
-143 -197 0
-143 -215 0
-143 -233 0
-143 -251 0
-143 -269 0
-143 -287 0
-143 -305 0
-143 -323 0
-143 -341 0
-161 -179 0
-161 -197 0
-161 -215 0
-161 -233 0
-161 -251 0
-161 -269 0
-161 -287 0
-161 -305 0
-161 -323 0
-161 -341 0
-179 -197 0
-179 -215 0
-179 -233 0
-179 -251 0
-179 -269 0
-179 -287 0
-179 -305 0
-179 -323 0
-179 -341 0
-197 -215 0
-197 -233 0
-197 -251 0
-197 -269 0
-197 -287 0
-197 -305 0
-197 -323 0
-197 -341 0
-215 -233 0
-215 -251 0
-215 -269 0
-215 -287 0
-215 -305 0
-215 -323 0
-215 -341 0
-233 -251 0
-233 -269 0
-233 -287 0
-233 -305 0
-233 -323 0
-233 -341 0
-251 -269 0
-251 -287 0
-251 -305 0
-251 -323 0
-251 -341 0
-269 -287 0
-269 -305 0
-269 -323 0
-269 -341 0
-287 -305 0
-287 -323 0
-287 -341 0
-305 -323 0
-305 -341 0
-323 -341 0
-18 -36 0
-18 -54 0
-18 -72 0
-18 -90 0
-18 -108 0
-18 -126 0
-18 -144 0
-18 -162 0
-18 -180 0
-18 -198 0
-18 -216 0
-18 -234 0
-18 -252 0
-18 -270 0
-18 -288 0
-18 -306 0
-18 -324 0
-18 -342 0
-36 -54 0
-36 -72 0
-36 -90 0
-36 -108 0
-36 -126 0
-36 -144 0
-36 -162 0
-36 -180 0
-36 -198 0
-36 -216 0
-36 -234 0
-36 -252 0
-36 -270 0
-36 -288 0
-36 -306 0
-36 -324 0
-36 -342 0
-54 -72 0
-54 -90 0
-54 -108 0
-54 -126 0
-54 -144 0
-54 -162 0
-54 -180 0
-54 -198 0
-54 -216 0
-54 -234 0
-54 -252 0
-54 -270 0
-54 -288 0
-54 -306 0
-54 -324 0
-54 -342 0
-72 -90 0
-72 -108 0
-72 -126 0
-72 -144 0
-72 -162 0
-72 -180 0
-72 -198 0
-72 -216 0
-72 -234 0
-72 -252 0
-72 -270 0
-72 -288 0
-72 -306 0
-72 -324 0
-72 -342 0
-90 -108 0
-90 -126 0
-90 -144 0
-90 -162 0
-90 -180 0
-90 -198 0
-90 -216 0
-90 -234 0
-90 -252 0
-90 -270 0
-90 -288 0
-90 -306 0
-90 -324 0
-90 -342 0
-108 -126 0
-108 -144 0
-108 -162 0
-108 -180 0
-108 -198 0
-108 -216 0
-108 -234 0
-108 -252 0
-108 -270 0
-108 -288 0
-108 -306 0
-108 -324 0
-108 -342 0
-126 -144 0
-126 -162 0
-126 -180 0
-126 -198 0
-126 -216 0
-126 -234 0
-126 -252 0
-126 -270 0
-126 -288 0
-126 -306 0
-126 -324 0
-126 -342 0
-144 -162 0
-144 -180 0
-144 -198 0
-144 -216 0
-144 -234 0
-144 -252 0
-144 -270 0
-144 -288 0
-144 -306 0
-144 -324 0
-144 -342 0
-162 -180 0
-162 -198 0
-162 -216 0
-162 -234 0
-162 -252 0
-162 -270 0
-162 -288 0
-162 -306 0
-162 -324 0
-162 -342 0
-180 -198 0
-180 -216 0
-180 -234 0
-180 -252 0
-180 -270 0
-180 -288 0
-180 -306 0
-180 -324 0
-180 -342 0
-198 -216 0
-198 -234 0
-198 -252 0
-198 -270 0
-198 -288 0
-198 -306 0
-198 -324 0
-198 -342 0
-216 -234 0
-216 -252 0
-216 -270 0
-216 -288 0
-216 -306 0
-216 -324 0
-216 -342 0
-234 -252 0
-234 -270 0
-234 -288 0
-234 -306 0
-234 -324 0
-234 -342 0
-252 -270 0
-252 -288 0
-252 -306 0
-252 -324 0
-252 -342 0
-270 -288 0
-270 -306 0
-270 -324 0
-270 -342 0
-288 -306 0
-288 -324 0
-288 -342 0
-306 -324 0
-306 -342 0
-324 -342 0