c cnf generated by mark.reason.apps.PlgToDimacs written by Mark Chavira
c cnf generated on Wed Nov 17 12:35:18 PST 2004.
c
c Following is the map back to variable name:
c
c 1 X_1_1gat_input
c 2 X_8_8gat_input
c 3 X_13_13gat_input
c 4 X_17_17gat_input
c 5 X_26_26gat_input
c 6 X_29_29gat_input
c 7 X_36_36gat_input
c 8 X_42_42gat_input
c 9 X_51_51gat_input
c 10 X_55_55gat_input
c 11 X_59_59gat_input
c 12 X_68_68gat_input
c 13 X_72_72gat_input
c 14 X_73_73gat_input
c 15 X_74_74gat_input
c 16 X_75_75gat_input
c 17 X_80_80gat_input
c 18 X_85_85gat_input
c 19 X_86_86gat_input
c 20 X_87_87gat_input
c 21 X_88_88gat_input
c 22 X_89_89gat_input
c 23 X_90_90gat_input
c 24 X_91_91gat_input
c 25 X_96_96gat_input
c 26 X_101_101gat_input
c 27 X_106_106gat_input
c 28 X_111_111gat_input
c 29 X_116_116gat_input
c 30 X_121_121gat_input
c 31 X_126_126gat_input
c 32 X_130_130gat_input
c 33 X_135_135gat_input
c 34 X_138_138gat_input
c 35 X_143_143gat_input
c 36 X_146_146gat_input
c 37 X_149_149gat_input
c 38 X_152_152gat_input
c 39 X_153_153gat_input
c 40 X_156_156gat_input
c 41 X_159_159gat_input
c 42 X_165_165gat_input
c 43 X_171_171gat_input
c 44 X_177_177gat_input
c 45 X_183_183gat_input
c 46 X_189_189gat_input
c 47 X_195_195gat_input
c 48 X_201_201gat_input
c 49 X_207_207gat_input
c 50 X_210_210gat_input
c 51 X_219_219gat_input
c 52 X_228_228gat_input
c 53 X_237_237gat_input
c 54 X_246_246gat_input
c 55 X_255_255gat_input
c 56 X_259_259gat_input
c 57 X_260_260gat_input
c 58 X_261_261gat_input
c 59 X_267_267gat_input
c 60 X_268_268gat_input
c 61 X_269_269gat_internal
c 62 X_270_270gat_internal
c 63 X_273_273gat_internal
c 64 X_276_276gat_internal
c 65 X_279_279gat_internal
c 66 X_280_280gat_internal
c 67 X_284_284gat_internal
c 68 X_285_285gat_internal
c 69 X_286_286gat_internal
c 70 X_287_287gat_internal
c 71 X_290_290gat_internal
c 72 X_291_291gat_internal
c 73 X_292_292gat_internal
c 74 X_293_293gat_internal
c 75 X_294_294gat_internal
c 76 X_295_295gat_internal
c 77 X_296_296gat_internal
c 78 X_297_297gat_internal
c 79 X_298_298gat_internal
c 80 X_301_301gat_internal
c 81 X_302_302gat_internal
c 82 X_303_303gat_internal
c 83 X_304_304gat_internal
c 84 X_305_305gat_internal
c 85 X_306_306gat_internal
c 86 X_307_307gat_internal
c 87 X_308_308gat_internal
c 88 X_309_309gat_internal
c 89 X_310_310gat_internal
c 90 X_316_316gat_internal
c 91 X_317_317gat_internal
c 92 X_318_318gat_internal
c 93 X_319_319gat_internal
c 94 X_322_322gat_internal
c 95 X_323_323gat_internal
c 96 X_324_324gat_internal
c 97 X_325_325gat_internal
c 98 X_326_326gat_internal
c 99 X_327_327gat_internal
c 100 X_328_328gat_internal
c 101 X_329_329gat_internal
c 102 X_330_330gat_internal
c 103 X_331_331gat_internal
c 104 X_332_332gat_internal
c 105 X_333_333gat_internal
c 106 X_334_334gat_internal
c 107 X_335_335gat_internal
c 108 X_336_336gat_internal
c 109 X_337_337gat_internal
c 110 X_338_338gat_internal
c 111 X_339_339gat_internal
c 112 X_340_340gat_internal
c 113 X_341_341gat_internal
c 114 X_342_342gat_internal
c 115 X_343_343gat_internal
c 116 X_344_344gat_internal
c 117 X_345_345gat_internal
c 118 X_346_346gat_internal
c 119 X_347_347gat_internal
c 120 X_348_348gat_internal
c 121 X_349_349gat_internal
c 122 X_350_350gat_internal
c 123 X_351_351gat_internal
c 124 X_352_352gat_internal
c 125 X_353_353gat_internal
c 126 X_354_354gat_internal
c 127 X_355_355gat_internal
c 128 X_356_356gat_internal
c 129 X_357_357gat_internal
c 130 X_360_360gat_internal
c 131 X_363_363gat_internal
c 132 X_366_366gat_internal
c 133 X_369_369gat_internal
c 134 X_375_375gat_internal
c 135 X_376_376gat_internal
c 136 X_379_379gat_internal
c 137 X_382_382gat_internal
c 138 X_385_385gat_internal
c 139 X_392_392gat_internal
c 140 X_393_393gat_internal
c 141 X_399_399gat_internal
c 142 X_400_400gat_internal
c 143 X_401_401gat_internal
c 144 X_402_402gat_internal
c 145 X_403_403gat_internal
c 146 X_404_404gat_internal
c 147 X_405_405gat_internal
c 148 X_406_406gat_internal
c 149 X_407_407gat_internal
c 150 X_408_408gat_internal
c 151 X_409_409gat_internal
c 152 X_410_410gat_internal
c 153 X_411_411gat_internal
c 154 X_412_412gat_internal
c 155 X_413_413gat_internal
c 156 X_414_414gat_internal
c 157 X_415_415gat_internal
c 158 X_416_416gat_internal
c 159 X_417_417gat_internal
c 160 X_424_424gat_internal
c 161 X_425_425gat_internal
c 162 X_426_426gat_internal
c 163 X_427_427gat_internal
c 164 X_432_432gat_internal
c 165 X_437_437gat_internal
c 166 X_442_442gat_internal
c 167 X_443_443gat_internal
c 168 X_444_444gat_internal
c 169 X_445_445gat_internal
c 170 X_451_451gat_internal
c 171 X_460_460gat_internal
c 172 X_463_463gat_internal
c 173 X_466_466gat_internal
c 174 X_475_475gat_internal
c 175 X_476_476gat_internal
c 176 X_477_477gat_internal
c 177 X_478_478gat_internal
c 178 X_479_479gat_internal
c 179 X_480_480gat_internal
c 180 X_481_481gat_internal
c 181 X_482_482gat_internal
c 182 X_483_483gat_internal
c 183 X_488_488gat_internal
c 184 X_489_489gat_internal
c 185 X_490_490gat_internal
c 186 X_491_491gat_internal
c 187 X_492_492gat_internal
c 188 X_495_495gat_internal
c 189 X_498_498gat_internal
c 190 X_499_499gat_internal
c 191 X_500_500gat_internal
c 192 X_501_501gat_internal
c 193 X_502_502gat_internal
c 194 X_503_503gat_internal
c 195 X_504_504gat_internal
c 196 X_505_505gat_internal
c 197 X_506_506gat_internal
c 198 X_507_507gat_internal
c 199 X_508_508gat_internal
c 200 X_509_509gat_internal
c 201 X_510_510gat_internal
c 202 X_511_511gat_internal
c 203 X_512_512gat_internal
c 204 X_513_513gat_internal
c 205 X_514_514gat_internal
c 206 X_515_515gat_internal
c 207 X_516_516gat_internal
c 208 X_517_517gat_internal
c 209 X_518_518gat_internal
c 210 X_519_519gat_internal
c 211 X_520_520gat_internal
c 212 X_521_521gat_internal
c 213 X_522_522gat_internal
c 214 X_523_523gat_internal
c 215 X_524_524gat_internal
c 216 X_525_525gat_internal
c 217 X_526_526gat_internal
c 218 X_527_527gat_internal
c 219 X_528_528gat_internal
c 220 X_529_529gat_internal
c 221 X_530_530gat_internal
c 222 X_533_533gat_internal
c 223 X_536_536gat_internal
c 224 X_537_537gat_internal
c 225 X_538_538gat_internal
c 226 X_539_539gat_internal
c 227 X_540_540gat_internal
c 228 X_541_541gat_internal
c 229 X_542_542gat_internal
c 230 X_543_543gat_internal
c 231 X_544_544gat_internal
c 232 X_547_547gat_internal
c 233 X_550_550gat_internal
c 234 X_551_551gat_internal
c 235 X_552_552gat_internal
c 236 X_553_553gat_internal
c 237 X_557_557gat_internal
c 238 X_561_561gat_internal
c 239 X_565_565gat_internal
c 240 X_569_569gat_internal
c 241 X_573_573gat_internal
c 242 X_577_577gat_internal
c 243 X_581_581gat_internal
c 244 X_585_585gat_internal
c 245 X_586_586gat_internal
c 246 X_587_587gat_internal
c 247 X_588_588gat_internal
c 248 X_589_589gat_internal
c 249 X_590_590gat_internal
c 250 X_593_593gat_internal
c 251 X_596_596gat_internal
c 252 X_597_597gat_internal
c 253 X_600_600gat_internal
c 254 X_605_605gat_internal
c 255 X_606_606gat_internal
c 256 X_609_609gat_internal
c 257 X_615_615gat_internal
c 258 X_616_616gat_internal
c 259 X_619_619gat_internal
c 260 X_624_624gat_internal
c 261 X_625_625gat_internal
c 262 X_628_628gat_internal
c 263 X_631_631gat_internal
c 264 X_632_632gat_internal
c 265 X_635_635gat_internal
c 266 X_640_640gat_internal
c 267 X_641_641gat_internal
c 268 X_644_644gat_internal
c 269 X_650_650gat_internal
c 270 X_651_651gat_internal
c 271 X_654_654gat_internal
c 272 X_659_659gat_internal
c 273 X_660_660gat_internal
c 274 X_661_661gat_internal
c 275 X_662_662gat_internal
c 276 X_665_665gat_internal
c 277 X_669_669gat_internal
c 278 X_670_670gat_internal
c 279 X_673_673gat_internal
c 280 X_677_677gat_internal
c 281 X_678_678gat_internal
c 282 X_682_682gat_internal
c 283 X_686_686gat_internal
c 284 X_687_687gat_internal
c 285 X_692_692gat_internal
c 286 X_696_696gat_internal
c 287 X_697_697gat_internal
c 288 X_700_700gat_internal
c 289 X_704_704gat_internal
c 290 X_705_705gat_internal
c 291 X_708_708gat_internal
c 292 X_712_712gat_internal
c 293 X_713_713gat_internal
c 294 X_717_717gat_internal
c 295 X_721_721gat_internal
c 296 X_722_722gat_internal
c 297 X_727_727gat_internal
c 298 X_731_731gat_internal
c 299 X_732_732gat_internal
c 300 X_733_733gat_internal
c 301 X_734_734gat_internal
c 302 X_735_735gat_internal
c 303 X_736_736gat_internal
c 304 X_737_737gat_internal
c 305 X_738_738gat_internal
c 306 X_739_739gat_internal
c 307 X_740_740gat_internal
c 308 X_741_741gat_internal
c 309 X_742_742gat_internal
c 310 X_743_743gat_internal
c 311 X_744_744gat_internal
c 312 X_745_745gat_internal
c 313 X_746_746gat_internal
c 314 X_747_747gat_internal
c 315 X_748_748gat_internal
c 316 X_749_749gat_internal
c 317 X_750_750gat_internal
c 318 X_751_751gat_internal
c 319 X_752_752gat_internal
c 320 X_753_753gat_internal
c 321 X_754_754gat_internal
c 322 X_755_755gat_internal
c 323 X_756_756gat_internal
c 324 X_757_757gat_internal
c 325 X_758_758gat_internal
c 326 X_759_759gat_internal
c 327 X_760_760gat_internal
c 328 X_761_761gat_internal
c 329 X_762_762gat_internal
c 330 X_763_763gat_internal
c 331 X_764_764gat_internal
c 332 X_765_765gat_internal
c 333 X_766_766gat_internal
c 334 X_769_769gat_internal
c 335 X_770_770gat_internal
c 336 X_771_771gat_internal
c 337 X_772_772gat_internal
c 338 X_773_773gat_internal
c 339 X_777_777gat_internal
c 340 X_778_778gat_internal
c 341 X_781_781gat_internal
c 342 X_782_782gat_internal
c 343 X_785_785gat_internal
c 344 X_786_786gat_internal
c 345 X_787_787gat_internal
c 346 X_788_788gat_internal
c 347 X_789_789gat_internal
c 348 X_790_790gat_internal
c 349 X_791_791gat_internal
c 350 X_792_792gat_internal
c 351 X_793_793gat_internal
c 352 X_794_794gat_internal
c 353 X_795_795gat_internal
c 354 X_796_796gat_internal
c 355 X_802_802gat_internal
c 356 X_803_803gat_internal
c 357 X_804_804gat_internal
c 358 X_805_805gat_internal
c 359 X_806_806gat_internal
c 360 X_807_807gat_internal
c 361 X_808_808gat_internal
c 362 X_809_809gat_internal
c 363 X_810_810gat_internal
c 364 X_811_811gat_internal
c 365 X_812_812gat_internal
c 366 X_813_813gat_internal
c 367 X_814_814gat_internal
c 368 X_815_815gat_internal
c 369 X_819_819gat_internal
c 370 X_822_822gat_internal
c 371 X_825_825gat_internal
c 372 X_826_826gat_internal
c 373 X_827_827gat_internal
c 374 X_828_828gat_internal
c 375 X_829_829gat_internal
c 376 X_830_830gat_internal
c 377 X_831_831gat_internal
c 378 X_832_832gat_internal
c 379 X_833_833gat_internal
c 380 X_834_834gat_internal
c 381 X_835_835gat_internal
c 382 X_836_836gat_internal
c 383 X_837_837gat_internal
c 384 X_838_838gat_internal
c 385 X_839_839gat_internal
c 386 X_840_840gat_internal
c 387 X_841_841gat_internal
c 388 X_842_842gat_internal
c 389 X_843_843gat_internal
c 390 X_844_844gat_internal
c 391 X_845_845gat_internal
c 392 X_846_846gat_internal
c 393 X_847_847gat_internal
c 394 X_848_848gat_internal
c 395 X_849_849gat_internal
c 396 X_851_851gat_internal
c 397 X_852_852gat_internal
c 398 X_853_853gat_internal
c 399 X_854_854gat_internal
c 400 X_855_855gat_internal
c 401 X_856_856gat_internal
c 402 X_857_857gat_internal
c 403 X_858_858gat_internal
c 404 X_859_859gat_internal
c 405 X_860_860gat_internal
c 406 X_861_861gat_internal
c 407 X_862_862gat_internal
c 408 X_867_867gat_internal
c 409 X_868_868gat_internal
c 410 X_869_869gat_internal
c 411 X_870_870gat_internal
c 412 X_871_871gat_internal
c 413 X_872_872gat_internal
c 414 X_873_873gat_internal
c 415 X_875_875gat_internal
c 416 X_876_876gat_internal
c 417 X_877_877gat_internal
c
p cnf 417 1060
-417 -414 0
-416 -413 0
-415 -412 0
-414 -410 0
-413 -409 0
-412 -408 0
-411 -407 0
-410 -406 -336 -283 0
-409 -405 -335 -280 0
-408 -404 -334 -277 0
-407 -399 0
-406 -398 0
-406 -105 0
-405 -397 0
-405 -104 0
-404 -396 0
-404 -159 0
-403 -395 0
-402 -394 0
-401 -393 0
-400 -392 0
-399 -391 -337 -286 0
-398 51 0
-398 390 0
-397 51 0
-397 389 0
-396 51 0
-396 388 0
-395 302 0
-395 387 0
-394 -385 0
-393 -384 0
-392 -383 0
-391 -382 0
-391 -106 0
-390 -381 0
-390 -380 0
-390 -51 398 0
-389 -379 0
-389 -378 0
-389 -51 397 0
-388 -377 0
-388 -376 0
-388 -51 396 0
-387 -368 -250 0
-387 -302 395 0
-386 -375 0
-385 -374 -343 -295 -219 0
-384 -373 -341 -292 -218 0
-383 -372 -339 -289 0
-382 51 0
-382 371 0
-381 282 0
-381 370 0
-380 -370 0
-380 -282 0
-379 279 0
-379 369 0
-378 -369 0
-378 -279 0
-377 276 0
-377 368 0
-376 -368 0
-376 -276 0
-375 -364 0
-374 -363 0
-374 -110 0
-373 -362 0
-373 -108 0
-372 -361 0
-372 -107 0
-371 -360 0
-371 -359 0
-371 -51 382 0
-370 -365 -311 0
-370 -282 381 0
-369 -366 -331 -308 0
-369 -279 379 0
-368 -367 -333 -332 -305 0
-368 -276 377 0
-367 -354 -259 -256 -253 0
-366 -354 -259 -256 0
-365 -354 -259 0
-364 -358 -345 -298 -220 0
-363 51 0
-363 357 0
-362 51 0
-362 356 0
-361 51 0
-361 355 0
-360 285 0
-360 354 0
-359 -354 0
-359 -285 0
-358 -352 0
-358 -112 0
-357 -351 0
-357 -350 0
-357 -51 363 0
-356 -349 0
-356 -348 0
-356 -51 362 0
-355 -347 0
-355 -346 0
-355 -51 361 0
-354 -353 -314 0
-354 -285 360 0
-353 -338 -262 0
-352 51 0
-352 344 0
-351 294 0
-351 342 0
-350 -342 0
-350 -294 0
-349 291 0
-349 340 0
-348 -340 0
-348 -291 0
-347 288 0
-347 338 0
-346 -338 0
-346 -288 0
-345 -327 0
-345 -326 0
-344 -325 0
-344 -324 0
-344 -51 352 0
-343 -322 0
-343 -321 0
-342 -323 -299 0
-342 -294 351 0
-341 -319 0
-341 -318 0
-340 -328 -320 -300 0
-340 -291 349 0
-339 -316 0
-339 -315 0
-338 -330 -329 -317 -301 0
-338 -288 347 0
-337 -313 0
-337 -312 0
-336 -310 0
-336 -309 0
-335 -307 0
-335 -306 0
-334 -304 0
-334 -303 0
-333 -284 -256 -253 0
-332 -281 -253 0
-331 -284 -256 0
-330 -296 -268 -265 0
-329 -293 -265 0
-328 -296 -268 0
-327 53 0
-327 296 0
-326 52 0
-326 297 0
-325 58 0
-325 297 0
-324 -297 0
-324 -58 0
-323 -296 0
-322 53 0
-322 293 0
-321 52 0
-321 294 0
-320 -293 0
-319 53 0
-319 290 0
-318 52 0
-318 291 0
-317 -290 0
-316 53 0
-316 287 0
-315 52 0
-315 288 0
-314 -287 0
-313 53 0
-313 284 0
-312 52 0
-312 285 0
-311 -284 0
-310 53 0
-310 281 0
-309 52 0
-309 282 0
-308 -281 0
-307 53 0
-307 278 0
-306 52 0
-306 279 0
-305 -278 0
-304 53 0
-304 275 0
-303 52 0
-303 276 0
-302 -275 0
-301 -271 -268 -265 -58 0
-300 -271 -268 -58 0
-299 -271 -58 0
-298 -272 0
-298 -113 0
-297 -58 325 0
-297 -52 326 0
-297 270 0
-297 271 0
-296 -270 0
-296 -53 327 0
-295 -269 0
-295 -111 0
-294 -52 321 0
-294 267 0
-294 268 0
-293 -267 0
-293 -53 322 0
-292 -266 0
-292 -109 0
-291 -52 318 0
-291 264 0
-291 265 0
-290 -264 0
-290 -53 319 0
-289 -263 0
-289 -217 0
-288 -52 315 0
-288 261 0
-288 262 0
-287 -261 0
-287 -53 316 0
-286 -260 0
-286 -216 0
-285 -52 312 0
-285 258 0
-285 259 0
-284 -258 0
-284 -53 313 0
-283 -257 0
-283 -215 0
-282 -52 309 0
-282 255 0
-282 256 0
-281 -255 0
-281 -53 310 0
-280 -254 0
-280 -214 0
-279 -52 306 0
-279 252 0
-279 253 0
-278 -252 0
-278 -53 307 0
-277 -251 0
-277 -213 0
-276 -52 303 0
-276 249 0
-276 250 0
-275 -249 0
-275 -53 304 0
-274 -248 0
-274 -246 0
-273 -247 0
-273 -235 0
-272 54 0
-272 243 0
-271 -270 297 0
-271 48 243 0
-270 -243 -48 0
-269 54 0
-269 242 0
-268 -267 294 0
-268 47 242 0
-267 -242 -47 0
-266 54 0
-266 241 0
-265 -264 291 0
-265 46 241 0
-264 -241 -46 0
-263 54 0
-263 240 0
-262 -261 288 0
-262 45 240 0
-261 -240 -45 0
-260 54 0
-260 239 0
-259 -258 285 0
-259 44 239 0
-258 -239 -44 0
-257 54 0
-257 238 0
-256 -255 282 0
-256 43 238 0
-255 -238 -43 0
-254 54 0
-254 237 0
-253 -252 279 0
-253 42 237 0
-252 -237 -42 0
-251 54 0
-251 236 0
-250 -249 276 0
-250 41 236 0
-249 -236 -41 0
-248 244 0
-248 245 0
-247 233 0
-247 234 0
-246 231 0
-246 232 0
-245 -244 248 0
-245 -232 0
-244 -231 0
-243 -230 -186 0
-243 -54 272 0
-243 271 0
-242 -229 -185 0
-242 -54 269 0
-242 268 0
-241 -228 -184 0
-241 -54 266 0
-241 265 0
-240 -227 -183 0
-240 -54 263 0
-240 262 0
-239 -226 -200 0
-239 -54 260 0
-239 259 0
-238 -225 -198 0
-238 -54 257 0
-238 256 0
-237 -224 -196 0
-237 -54 254 0
-237 253 0
-236 -223 -194 0
-236 -54 251 0
-236 250 0
-235 221 0
-235 222 0
-234 -233 247 0
-234 -222 0
-233 -221 0
-232 -231 246 0
-232 -212 -211 0
-231 -210 -209 0
-230 -208 0
-230 -207 0
-229 -206 0
-229 -205 0
-228 -204 0
-228 -203 0
-227 -202 0
-227 -201 0
-226 -199 0
-226 -92 0
-225 -197 0
-225 -91 0
-224 -195 0
-224 -90 0
-223 -193 0
-223 -88 0
-222 -221 235 0
-222 -192 -191 0
-221 -190 -189 0
-220 -170 -48 0
-219 -170 -47 0
-218 -170 -46 0
-217 45 0
-217 170 0
-216 44 0
-216 170 0
-215 43 0
-215 170 0
-214 42 0
-214 170 0
-213 41 0
-213 170 0
-212 49 188 0
-211 -188 -49 0
-210 32 187 0
-209 -187 -32 0
-208 31 0
-208 173 0
-207 39 0
-207 182 0
-206 30 0
-206 173 0
-205 37 0
-205 182 0
-204 29 0
-204 173 0
-203 36 0
-203 182 0
-202 28 0
-202 173 0
-201 35 0
-201 182 0
-200 -181 0
-200 -180 0
-199 27 0
-199 173 0
-198 -179 0
-198 -178 0
-197 26 0
-197 173 0
-196 -177 0
-196 -176 0
-195 25 0
-195 173 0
-194 -175 0
-194 -174 0
-193 24 0
-193 173 0
-192 33 172 0
-191 -172 -33 0
-190 32 171 0
-189 -171 -32 0
-188 -169 0
-188 -158 0
-188 212 0
-187 -168 0
-187 -155 0
-187 210 0
-186 133 165 0
-185 133 165 0
-184 133 165 0
-183 133 165 0
-182 -167 -1 0
-182 -39 207 0
-182 -37 205 0
-182 -36 203 0
-182 -35 201 0
-181 89 0
-181 164 0
-180 39 0
-180 163 0
-179 89 0
-179 164 0
-178 37 0
-178 163 0
-177 89 0
-177 164 0
-176 36 0
-176 163 0
-175 89 0
-175 164 0
-174 35 0
-174 163 0
-173 -166 -152 0
-173 -31 208 0
-173 -30 206 0
-173 -29 204 0
-173 -28 202 0
-173 -27 199 0
-173 -26 197 0
-173 -25 195 0
-173 -24 193 0
-172 -162 0
-172 -151 0
-172 192 0
-171 -161 0
-171 -148 0
-171 190 0
-170 -160 0
-170 -45 217 0
-170 -44 216 0
-170 -43 215 0
-170 -42 214 0
-170 -41 213 0
-169 156 0
-169 157 0
-168 153 0
-168 154 0
-167 -140 -93 -4 0
-166 -140 -134 -40 -11 0
-165 -140 -70 -10 0
-165 183 0
-165 184 0
-165 185 0
-165 186 0
-164 -89 175 0
-164 -89 177 0
-164 -89 179 0
-164 -89 181 0
-164 4 0
-164 70 0
-164 140 0
-163 -39 180 0
-163 -37 178 0
-163 -36 176 0
-163 -35 174 0
-163 10 0
-163 93 0
-163 140 0
-162 149 0
-162 150 0
-161 146 0
-161 147 0
-160 -142 0
-159 50 0
-159 133 0
-158 137 0
-158 138 0
-157 -156 169 0
-157 -138 0
-156 -137 0
-155 135 0
-155 136 0
-154 -153 168 0
-154 -136 0
-153 -135 0
-152 -124 -119 0
-151 131 0
-151 132 0
-150 -149 162 0
-150 -132 0
-149 -131 0
-148 129 0
-148 130 0
-147 -146 161 0
-147 -130 0
-146 -129 0
-145 -127 0
-144 -122 0
-143 -121 0
-142 14 0
-142 120 0
-141 -118 0
-140 -117 0
-140 -93 -10 163 0
-140 -70 -4 164 0
-139 62 115 0
-138 -137 158 0
-138 -103 -102 0
-137 -101 -100 0
-136 -135 155 0
-136 -99 -98 0
-135 -97 -96 0
-134 -95 0
-134 -94 0
-133 -89 0
-133 -50 159 0
-133 183 0
-133 184 0
-133 185 0
-133 186 0
-132 -131 151 0
-132 -87 -86 0
-131 -85 -84 0
-130 -129 148 0
-130 -83 -82 0
-129 -81 -80 0
-128 23 0
-128 79 0
-127 -79 -22 0
-126 -77 0
-125 -76 0
-124 -75 0
-123 -74 0
-122 66 69 0
-121 66 68 0
-120 -67 0
-120 -66 0
-120 -14 142 0
-119 -65 0
-118 -64 0
-117 -64 0
-116 62 63 0
-115 -63 0
-115 139 0
-114 -61 0
-113 55 0
-113 59 0
-112 30 0
-112 50 0
-111 55 0
-111 57 0
-110 29 0
-110 50 0
-109 55 0
-109 56 0
-108 28 0
-108 50 0
-107 27 0
-107 50 0
-106 26 0
-106 50 0
-105 25 0
-105 50 0
-104 24 0
-104 50 0
-103 47 48 0
-102 -48 -47 0
-101 45 46 0
-100 -46 -45 0
-99 43 44 0
-98 -44 -43 0
-97 41 42 0
-96 -42 -41 0
-95 4 0
-95 8 0
-94 -8 0
-94 -4 0
-93 -40 -11 0
-92 34 0
-92 38 0
-91 4 0
-91 34 0
-90 9 0
-90 34 0
-89 -60 0
-88 2 0
-88 34 0
-87 30 31 0
-86 -31 -30 0
-85 28 29 0
-84 -29 -28 0
-83 26 27 0
-82 -27 -26 0
-81 24 25 0
-80 -25 -24 0
-79 -23 128 0
-79 20 21 0
-78 18 0
-78 19 0
-77 7 0
-77 8 0
-77 11 0
-76 7 0
-76 11 0
-76 17 0
-75 8 0
-75 11 0
-75 16 0
-74 11 0
-74 16 0
-74 17 0
-73 6 0
-73 7 0
-73 8 0
-72 6 0
-72 7 0
-72 17 0
-71 6 0
-71 8 0
-71 16 0
-70 6 0
-70 16 0
-70 17 0
-69 -15 -12 -11 0
-69 122 0
-68 -12 -6 0
-68 121 0
-67 -13 -12 -11 -8 0
-66 -10 -3 -2 -1 0
-66 121 0
-66 122 0
-65 -9 -4 -2 -1 0
-64 1 0
-64 5 0
-64 9 0
-63 6 0
-63 7 0
-63 8 0
-63 116 0
-62 -5 -4 -3 -1 0
-62 116 0
-62 139 0
-61 -4 -3 -2 -1 0
-59 -55 113 0
-57 -55 111 0
-56 -55 109 0
-50 -30 112 0
-50 -29 110 0
-50 -28 108 0
-50 -27 107 0
-50 -26 106 0
-50 -25 105 0
-50 -24 104 0
-49 212 0
-48 103 0
-48 271 0
-47 103 0
-47 268 0
-46 101 0
-46 265 0
-45 101 0
-45 262 0
-44 99 0
-44 259 0
-43 99 0
-43 256 0
-42 97 0
-42 253 0
-41 97 0
-41 250 0
-38 -34 92 0
-34 -9 90 0
-34 -4 91 0
-34 -2 88 0
-33 192 0
-32 190 0
-32 210 0
-31 87 0
-30 87 0
-29 85 0
-28 85 0
-27 83 0
-26 83 0
-25 81 0
-24 81 0
-21 79 0
-20 79 0
-19 -18 78 0
-17 -16 -11 74 0
-17 -16 -6 70 0
-17 -11 -7 76 0
-17 -7 -6 72 0
-16 -11 -8 75 0
-16 -8 -6 71 0
-11 -8 -7 77 0
-9 -5 -1 64 0
-8 -7 -6 63 0
-8 -7 -6 73 0
-8 -4 95 0
1 61 0
1 62 0
1 65 0
1 66 0
1 182 0
2 61 0
2 65 0
2 66 0
3 61 0
3 62 0
3 66 0
4 8 94 0
4 61 0
4 62 0
4 65 0
4 167 0
5 62 0
6 68 0
8 67 0
9 65 0
10 66 0
10 165 0
11 67 0
11 69 0
11 93 0
11 166 0
12 67 0
12 68 0
12 69 0
13 67 0
15 69 0
22 127 0
24 80 0
25 80 0
26 82 0
27 82 0
28 84 0
29 84 0
30 86 0
31 86 0
32 189 0
32 209 0
33 191 0
40 93 0
40 166 0
41 96 0
41 249 0
42 96 0
42 252 0
43 98 0
43 255 0
44 98 0
44 258 0
45 100 0
45 261 0
46 100 0
46 218 0
46 264 0
47 102 0
47 219 0
47 267 0
48 102 0
48 220 0
48 270 0
49 211 0
58 297 324 0
58 299 0
58 300 0
58 301 0
60 89 0
61 114 0
63 115 0
64 117 0
64 118 0
65 119 0
66 67 120 0
70 165 0
74 123 0
75 124 0
76 125 0
77 126 0
79 127 0
80 129 0
81 129 0
82 130 0
83 130 0
84 131 0
85 131 0
86 132 0
87 132 0
88 193 223 0
89 133 0
90 195 224 0
91 197 225 0
92 199 226 0
93 167 0
94 95 134 0
96 135 0
97 135 0
98 136 0
99 136 0
100 137 0
101 137 0
102 138 0
103 138 0
104 397 405 0
105 398 406 0
106 382 391 0
107 361 372 0
108 362 373 0
109 266 292 0
110 363 374 0
111 269 295 0
112 352 358 0
113 272 298 0
117 140 0
118 141 0
119 152 0
121 143 0
122 144 0
124 152 0
127 145 0
129 146 0
130 147 0
131 149 0
132 150 0
134 166 0
135 153 0
136 154 0
137 156 0
138 157 0
140 165 0
140 166 0
140 167 0
142 160 0
148 161 171 0
151 162 172 0
152 173 0
155 168 187 0
158 169 188 0
159 396 404 0
160 170 0
166 173 0
167 182 0
170 218 0
170 219 0
170 220 0
171 189 0
172 191 0
174 175 194 0
176 177 196 0
178 179 198 0
180 181 200 0
183 240 0
184 241 0
185 242 0
186 243 0
187 209 0
188 211 0
189 221 0
190 221 0
191 222 0
192 222 0
194 236 0
196 237 0
198 238 0
200 239 0
201 202 227 0
203 204 228 0
205 206 229 0
207 208 230 0
209 231 0
210 231 0
211 232 0
212 232 0
213 251 277 0
214 254 280 0
215 257 283 0
216 260 286 0
217 263 289 0
218 384 0
219 385 0
220 364 0
221 233 0
222 234 0
223 236 0
224 237 0
225 238 0
226 239 0
227 240 0
228 241 0
229 242 0
230 243 0
231 244 0
232 245 0
235 247 273 0
236 249 0
237 252 0
238 255 0
239 258 0
240 261 0
241 264 0
242 267 0
243 270 0
246 248 274 0
249 275 0
250 387 0
252 278 0
253 332 0
253 333 0
253 367 0
255 281 0
256 331 0
256 333 0
256 366 0
256 367 0
258 284 0
259 365 0
259 366 0
259 367 0
261 287 0
262 353 0
264 290 0
265 301 0
265 329 0
265 330 0
267 293 0
268 300 0
268 301 0
268 328 0
268 330 0
270 296 0
271 299 0
271 300 0
271 301 0
275 302 0
276 368 376 0
277 408 0
278 305 0
279 369 378 0
280 409 0
281 308 0
281 332 0
282 370 380 0
283 410 0
284 311 0
284 331 0
284 333 0
285 354 359 0
286 399 0
287 314 0
288 338 346 0
289 383 0
290 317 0
291 340 348 0
292 384 0
293 320 0
293 329 0
294 342 350 0
295 385 0
296 323 0
296 328 0
296 330 0
298 364 0
299 342 0
300 340 0
301 338 0
303 304 334 0
305 368 0
306 307 335 0
308 369 0
309 310 336 0
311 370 0
312 313 337 0
314 354 0
315 316 339 0
317 338 0
318 319 341 0
320 340 0
321 322 343 0
323 342 0
324 325 344 0
326 327 345 0
328 340 0
329 338 0
330 338 0
331 369 0
332 368 0
333 368 0
334 408 0
335 409 0
336 410 0
337 399 0
338 353 0
339 383 0
341 384 0
343 385 0
345 364 0
346 347 355 0
348 349 356 0
350 351 357 0
353 354 0
354 365 0
354 366 0
354 367 0
358 364 0
359 360 371 0
364 375 0
365 370 0
366 369 0
367 368 0
368 387 0
372 383 0
373 384 0
374 385 0
375 386 0
376 377 388 0
378 379 389 0
380 381 390 0
383 392 0
384 393 0
385 394 0
391 399 0
392 400 0
393 401 0
394 402 0
395 403 0
399 407 0
404 408 0
405 409 0
406 410 0
407 411 0
408 412 0
409 413 0
410 414 0
412 415 0
413 416 0
414 417 0
%
0