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