c cnf generated by mark.reason.apps.PlgToDimacs written by Mark Chavira
c cnf generated on Wed Nov 17 12:34:31 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_15_15gat_input
c 4 X_22_22gat_input
c 5 X_29_29gat_input
c 6 X_36_36gat_input
c 7 X_43_43gat_input
c 8 X_50_50gat_input
c 9 X_57_57gat_input
c 10 X_64_64gat_input
c 11 X_71_71gat_input
c 12 X_78_78gat_input
c 13 X_85_85gat_input
c 14 X_92_92gat_input
c 15 X_99_99gat_input
c 16 X_106_106gat_input
c 17 X_113_113gat_input
c 18 X_120_120gat_input
c 19 X_127_127gat_input
c 20 X_134_134gat_input
c 21 X_141_141gat_input
c 22 X_148_148gat_input
c 23 X_155_155gat_input
c 24 X_162_162gat_input
c 25 X_169_169gat_input
c 26 X_176_176gat_input
c 27 X_183_183gat_input
c 28 X_190_190gat_input
c 29 X_197_197gat_input
c 30 X_204_204gat_input
c 31 X_211_211gat_input
c 32 X_218_218gat_input
c 33 X_225_225gat_input
c 34 X_226_226gat_input
c 35 X_227_227gat_input
c 36 X_228_228gat_input
c 37 X_229_229gat_input
c 38 X_230_230gat_input
c 39 X_231_231gat_input
c 40 X_232_232gat_input
c 41 X_233_233gat_input
c 42 X_242_242gat_internal
c 43 X_245_245gat_internal
c 44 X_248_248gat_internal
c 45 X_251_251gat_internal
c 46 X_254_254gat_internal
c 47 X_257_257gat_internal
c 48 X_260_260gat_internal
c 49 X_263_263gat_internal
c 50 X_266_266gat_internal
c 51 X_269_269gat_internal
c 52 X_272_272gat_internal
c 53 X_275_275gat_internal
c 54 X_278_278gat_internal
c 55 X_281_281gat_internal
c 56 X_284_284gat_internal
c 57 X_287_287gat_internal
c 58 X_290_290gat_internal
c 59 X_293_293gat_internal
c 60 X_296_296gat_internal
c 61 X_299_299gat_internal
c 62 X_302_302gat_internal
c 63 X_305_305gat_internal
c 64 X_308_308gat_internal
c 65 X_311_311gat_internal
c 66 X_314_314gat_internal
c 67 X_317_317gat_internal
c 68 X_320_320gat_internal
c 69 X_323_323gat_internal
c 70 X_326_326gat_internal
c 71 X_329_329gat_internal
c 72 X_332_332gat_internal
c 73 X_335_335gat_internal
c 74 X_338_338gat_internal
c 75 X_341_341gat_internal
c 76 X_344_344gat_internal
c 77 X_347_347gat_internal
c 78 X_350_350gat_internal
c 79 X_353_353gat_internal
c 80 X_356_356gat_internal
c 81 X_359_359gat_internal
c 82 X_362_362gat_internal
c 83 X_363_363gat_internal
c 84 X_364_364gat_internal
c 85 X_365_365gat_internal
c 86 X_366_366gat_internal
c 87 X_367_367gat_internal
c 88 X_368_368gat_internal
c 89 X_369_369gat_internal
c 90 X_370_370gat_internal
c 91 X_371_371gat_internal
c 92 X_372_372gat_internal
c 93 X_373_373gat_internal
c 94 X_374_374gat_internal
c 95 X_375_375gat_internal
c 96 X_376_376gat_internal
c 97 X_377_377gat_internal
c 98 X_378_378gat_internal
c 99 X_379_379gat_internal
c 100 X_380_380gat_internal
c 101 X_381_381gat_internal
c 102 X_382_382gat_internal
c 103 X_383_383gat_internal
c 104 X_384_384gat_internal
c 105 X_385_385gat_internal
c 106 X_386_386gat_internal
c 107 X_387_387gat_internal
c 108 X_388_388gat_internal
c 109 X_389_389gat_internal
c 110 X_390_390gat_internal
c 111 X_391_391gat_internal
c 112 X_392_392gat_internal
c 113 X_393_393gat_internal
c 114 X_394_394gat_internal
c 115 X_395_395gat_internal
c 116 X_396_396gat_internal
c 117 X_397_397gat_internal
c 118 X_398_398gat_internal
c 119 X_399_399gat_internal
c 120 X_400_400gat_internal
c 121 X_401_401gat_internal
c 122 X_402_402gat_internal
c 123 X_403_403gat_internal
c 124 X_404_404gat_internal
c 125 X_405_405gat_internal
c 126 X_406_406gat_internal
c 127 X_407_407gat_internal
c 128 X_408_408gat_internal
c 129 X_409_409gat_internal
c 130 X_410_410gat_internal
c 131 X_411_411gat_internal
c 132 X_412_412gat_internal
c 133 X_413_413gat_internal
c 134 X_414_414gat_internal
c 135 X_415_415gat_internal
c 136 X_416_416gat_internal
c 137 X_417_417gat_internal
c 138 X_418_418gat_internal
c 139 X_419_419gat_internal
c 140 X_420_420gat_internal
c 141 X_421_421gat_internal
c 142 X_422_422gat_internal
c 143 X_423_423gat_internal
c 144 X_424_424gat_internal
c 145 X_425_425gat_internal
c 146 X_426_426gat_internal
c 147 X_429_429gat_internal
c 148 X_432_432gat_internal
c 149 X_435_435gat_internal
c 150 X_438_438gat_internal
c 151 X_441_441gat_internal
c 152 X_444_444gat_internal
c 153 X_447_447gat_internal
c 154 X_450_450gat_internal
c 155 X_453_453gat_internal
c 156 X_456_456gat_internal
c 157 X_459_459gat_internal
c 158 X_462_462gat_internal
c 159 X_465_465gat_internal
c 160 X_468_468gat_internal
c 161 X_471_471gat_internal
c 162 X_474_474gat_internal
c 163 X_477_477gat_internal
c 164 X_480_480gat_internal
c 165 X_483_483gat_internal
c 166 X_486_486gat_internal
c 167 X_489_489gat_internal
c 168 X_492_492gat_internal
c 169 X_495_495gat_internal
c 170 X_498_498gat_internal
c 171 X_501_501gat_internal
c 172 X_504_504gat_internal
c 173 X_507_507gat_internal
c 174 X_510_510gat_internal
c 175 X_513_513gat_internal
c 176 X_516_516gat_internal
c 177 X_519_519gat_internal
c 178 X_522_522gat_internal
c 179 X_525_525gat_internal
c 180 X_528_528gat_internal
c 181 X_531_531gat_internal
c 182 X_534_534gat_internal
c 183 X_537_537gat_internal
c 184 X_540_540gat_internal
c 185 X_543_543gat_internal
c 186 X_546_546gat_internal
c 187 X_549_549gat_internal
c 188 X_552_552gat_internal
c 189 X_555_555gat_internal
c 190 X_558_558gat_internal
c 191 X_561_561gat_internal
c 192 X_564_564gat_internal
c 193 X_567_567gat_internal
c 194 X_570_570gat_internal
c 195 X_571_571gat_internal
c 196 X_572_572gat_internal
c 197 X_573_573gat_internal
c 198 X_574_574gat_internal
c 199 X_575_575gat_internal
c 200 X_576_576gat_internal
c 201 X_577_577gat_internal
c 202 X_578_578gat_internal
c 203 X_579_579gat_internal
c 204 X_580_580gat_internal
c 205 X_581_581gat_internal
c 206 X_582_582gat_internal
c 207 X_583_583gat_internal
c 208 X_584_584gat_internal
c 209 X_585_585gat_internal
c 210 X_586_586gat_internal
c 211 X_587_587gat_internal
c 212 X_588_588gat_internal
c 213 X_589_589gat_internal
c 214 X_590_590gat_internal
c 215 X_591_591gat_internal
c 216 X_592_592gat_internal
c 217 X_593_593gat_internal
c 218 X_594_594gat_internal
c 219 X_595_595gat_internal
c 220 X_596_596gat_internal
c 221 X_597_597gat_internal
c 222 X_598_598gat_internal
c 223 X_599_599gat_internal
c 224 X_600_600gat_internal
c 225 X_601_601gat_internal
c 226 X_602_602gat_internal
c 227 X_607_607gat_internal
c 228 X_612_612gat_internal
c 229 X_617_617gat_internal
c 230 X_622_622gat_internal
c 231 X_627_627gat_internal
c 232 X_632_632gat_internal
c 233 X_637_637gat_internal
c 234 X_642_642gat_internal
c 235 X_645_645gat_internal
c 236 X_648_648gat_internal
c 237 X_651_651gat_internal
c 238 X_654_654gat_internal
c 239 X_657_657gat_internal
c 240 X_660_660gat_internal
c 241 X_663_663gat_internal
c 242 X_666_666gat_internal
c 243 X_669_669gat_internal
c 244 X_672_672gat_internal
c 245 X_675_675gat_internal
c 246 X_678_678gat_internal
c 247 X_681_681gat_internal
c 248 X_684_684gat_internal
c 249 X_687_687gat_internal
c 250 X_690_690gat_internal
c 251 X_691_691gat_internal
c 252 X_692_692gat_internal
c 253 X_693_693gat_internal
c 254 X_694_694gat_internal
c 255 X_695_695gat_internal
c 256 X_696_696gat_internal
c 257 X_697_697gat_internal
c 258 X_698_698gat_internal
c 259 X_699_699gat_internal
c 260 X_700_700gat_internal
c 261 X_701_701gat_internal
c 262 X_702_702gat_internal
c 263 X_703_703gat_internal
c 264 X_704_704gat_internal
c 265 X_705_705gat_internal
c 266 X_706_706gat_internal
c 267 X_709_709gat_internal
c 268 X_712_712gat_internal
c 269 X_715_715gat_internal
c 270 X_718_718gat_internal
c 271 X_721_721gat_internal
c 272 X_724_724gat_internal
c 273 X_727_727gat_internal
c 274 X_730_730gat_internal
c 275 X_733_733gat_internal
c 276 X_736_736gat_internal
c 277 X_739_739gat_internal
c 278 X_742_742gat_internal
c 279 X_745_745gat_internal
c 280 X_748_748gat_internal
c 281 X_751_751gat_internal
c 282 X_754_754gat_internal
c 283 X_755_755gat_internal
c 284 X_756_756gat_internal
c 285 X_757_757gat_internal
c 286 X_758_758gat_internal
c 287 X_759_759gat_internal
c 288 X_760_760gat_internal
c 289 X_761_761gat_internal
c 290 X_762_762gat_internal
c 291 X_763_763gat_internal
c 292 X_764_764gat_internal
c 293 X_765_765gat_internal
c 294 X_766_766gat_internal
c 295 X_767_767gat_internal
c 296 X_768_768gat_internal
c 297 X_769_769gat_internal
c 298 X_770_770gat_internal
c 299 X_773_773gat_internal
c 300 X_776_776gat_internal
c 301 X_779_779gat_internal
c 302 X_782_782gat_internal
c 303 X_785_785gat_internal
c 304 X_788_788gat_internal
c 305 X_791_791gat_internal
c 306 X_794_794gat_internal
c 307 X_797_797gat_internal
c 308 X_800_800gat_internal
c 309 X_803_803gat_internal
c 310 X_806_806gat_internal
c 311 X_809_809gat_internal
c 312 X_812_812gat_internal
c 313 X_815_815gat_internal
c 314 X_818_818gat_internal
c 315 X_819_819gat_internal
c 316 X_820_820gat_internal
c 317 X_821_821gat_internal
c 318 X_822_822gat_internal
c 319 X_823_823gat_internal
c 320 X_824_824gat_internal
c 321 X_825_825gat_internal
c 322 X_826_826gat_internal
c 323 X_827_827gat_internal
c 324 X_828_828gat_internal
c 325 X_829_829gat_internal
c 326 X_830_830gat_internal
c 327 X_831_831gat_internal
c 328 X_832_832gat_internal
c 329 X_833_833gat_internal
c 330 X_834_834gat_internal
c 331 X_847_847gat_internal
c 332 X_860_860gat_internal
c 333 X_873_873gat_internal
c 334 X_886_886gat_internal
c 335 X_899_899gat_internal
c 336 X_912_912gat_internal
c 337 X_925_925gat_internal
c 338 X_938_938gat_internal
c 339 X_939_939gat_internal
c 340 X_940_940gat_internal
c 341 X_941_941gat_internal
c 342 X_942_942gat_internal
c 343 X_943_943gat_internal
c 344 X_944_944gat_internal
c 345 X_945_945gat_internal
c 346 X_946_946gat_internal
c 347 X_947_947gat_internal
c 348 X_948_948gat_internal
c 349 X_949_949gat_internal
c 350 X_950_950gat_internal
c 351 X_951_951gat_internal
c 352 X_952_952gat_internal
c 353 X_953_953gat_internal
c 354 X_954_954gat_internal
c 355 X_955_955gat_internal
c 356 X_956_956gat_internal
c 357 X_957_957gat_internal
c 358 X_958_958gat_internal
c 359 X_959_959gat_internal
c 360 X_960_960gat_internal
c 361 X_961_961gat_internal
c 362 X_962_962gat_internal
c 363 X_963_963gat_internal
c 364 X_964_964gat_internal
c 365 X_965_965gat_internal
c 366 X_966_966gat_internal
c 367 X_967_967gat_internal
c 368 X_968_968gat_internal
c 369 X_969_969gat_internal
c 370 X_970_970gat_internal
c 371 X_971_971gat_internal
c 372 X_972_972gat_internal
c 373 X_973_973gat_internal
c 374 X_974_974gat_internal
c 375 X_975_975gat_internal
c 376 X_976_976gat_internal
c 377 X_977_977gat_internal
c 378 X_978_978gat_internal
c 379 X_979_979gat_internal
c 380 X_980_980gat_internal
c 381 X_981_981gat_internal
c 382 X_982_982gat_internal
c 383 X_983_983gat_internal
c 384 X_984_984gat_internal
c 385 X_985_985gat_internal
c 386 X_986_986gat_internal
c 387 X_991_991gat_internal
c 388 X_996_996gat_internal
c 389 X_1001_1001gat_internal
c 390 X_1006_1006gat_internal
c 391 X_1011_1011gat_internal
c 392 X_1016_1016gat_internal
c 393 X_1021_1021gat_internal
c 394 X_1026_1026gat_internal
c 395 X_1031_1031gat_internal
c 396 X_1036_1036gat_internal
c 397 X_1039_1039gat_internal
c 398 X_1042_1042gat_internal
c 399 X_1045_1045gat_internal
c 400 X_1048_1048gat_internal
c 401 X_1051_1051gat_internal
c 402 X_1054_1054gat_internal
c 403 X_1057_1057gat_internal
c 404 X_1060_1060gat_internal
c 405 X_1063_1063gat_internal
c 406 X_1066_1066gat_internal
c 407 X_1069_1069gat_internal
c 408 X_1072_1072gat_internal
c 409 X_1075_1075gat_internal
c 410 X_1078_1078gat_internal
c 411 X_1081_1081gat_internal
c 412 X_1084_1084gat_internal
c 413 X_1087_1087gat_internal
c 414 X_1090_1090gat_internal
c 415 X_1093_1093gat_internal
c 416 X_1096_1096gat_internal
c 417 X_1099_1099gat_internal
c 418 X_1102_1102gat_internal
c 419 X_1105_1105gat_internal
c 420 X_1108_1108gat_internal
c 421 X_1111_1111gat_internal
c 422 X_1114_1114gat_internal
c 423 X_1117_1117gat_internal
c 424 X_1120_1120gat_internal
c 425 X_1123_1123gat_internal
c 426 X_1126_1126gat_internal
c 427 X_1129_1129gat_internal
c 428 X_1132_1132gat_internal
c 429 X_1135_1135gat_internal
c 430 X_1138_1138gat_internal
c 431 X_1141_1141gat_internal
c 432 X_1144_1144gat_internal
c 433 X_1147_1147gat_internal
c 434 X_1150_1150gat_internal
c 435 X_1153_1153gat_internal
c 436 X_1156_1156gat_internal
c 437 X_1159_1159gat_internal
c 438 X_1162_1162gat_internal
c 439 X_1165_1165gat_internal
c 440 X_1168_1168gat_internal
c 441 X_1171_1171gat_internal
c 442 X_1174_1174gat_internal
c 443 X_1177_1177gat_internal
c 444 X_1180_1180gat_internal
c 445 X_1183_1183gat_internal
c 446 X_1186_1186gat_internal
c 447 X_1189_1189gat_internal
c 448 X_1192_1192gat_internal
c 449 X_1195_1195gat_internal
c 450 X_1198_1198gat_internal
c 451 X_1201_1201gat_internal
c 452 X_1204_1204gat_internal
c 453 X_1207_1207gat_internal
c 454 X_1210_1210gat_internal
c 455 X_1213_1213gat_internal
c 456 X_1216_1216gat_internal
c 457 X_1219_1219gat_internal
c 458 X_1222_1222gat_internal
c 459 X_1225_1225gat_internal
c 460 X_1228_1228gat_internal
c 461 X_1229_1229gat_internal
c 462 X_1230_1230gat_internal
c 463 X_1231_1231gat_internal
c 464 X_1232_1232gat_internal
c 465 X_1233_1233gat_internal
c 466 X_1234_1234gat_internal
c 467 X_1235_1235gat_internal
c 468 X_1236_1236gat_internal
c 469 X_1237_1237gat_internal
c 470 X_1238_1238gat_internal
c 471 X_1239_1239gat_internal
c 472 X_1240_1240gat_internal
c 473 X_1241_1241gat_internal
c 474 X_1242_1242gat_internal
c 475 X_1243_1243gat_internal
c 476 X_1244_1244gat_internal
c 477 X_1245_1245gat_internal
c 478 X_1246_1246gat_internal
c 479 X_1247_1247gat_internal
c 480 X_1248_1248gat_internal
c 481 X_1249_1249gat_internal
c 482 X_1250_1250gat_internal
c 483 X_1251_1251gat_internal
c 484 X_1252_1252gat_internal
c 485 X_1253_1253gat_internal
c 486 X_1254_1254gat_internal
c 487 X_1255_1255gat_internal
c 488 X_1256_1256gat_internal
c 489 X_1257_1257gat_internal
c 490 X_1258_1258gat_internal
c 491 X_1259_1259gat_internal
c 492 X_1260_1260gat_internal
c 493 X_1261_1261gat_internal
c 494 X_1262_1262gat_internal
c 495 X_1263_1263gat_internal
c 496 X_1264_1264gat_internal
c 497 X_1265_1265gat_internal
c 498 X_1266_1266gat_internal
c 499 X_1267_1267gat_internal
c 500 X_1268_1268gat_internal
c 501 X_1269_1269gat_internal
c 502 X_1270_1270gat_internal
c 503 X_1271_1271gat_internal
c 504 X_1272_1272gat_internal
c 505 X_1273_1273gat_internal
c 506 X_1274_1274gat_internal
c 507 X_1275_1275gat_internal
c 508 X_1276_1276gat_internal
c 509 X_1277_1277gat_internal
c 510 X_1278_1278gat_internal
c 511 X_1279_1279gat_internal
c 512 X_1280_1280gat_internal
c 513 X_1281_1281gat_internal
c 514 X_1282_1282gat_internal
c 515 X_1283_1283gat_internal
c 516 X_1284_1284gat_internal
c 517 X_1285_1285gat_internal
c 518 X_1286_1286gat_internal
c 519 X_1287_1287gat_internal
c 520 X_1288_1288gat_internal
c 521 X_1289_1289gat_internal
c 522 X_1290_1290gat_internal
c 523 X_1291_1291gat_internal
c 524 X_1292_1292gat_internal
c 525 X_1293_1293gat_internal
c 526 X_1294_1294gat_internal
c 527 X_1295_1295gat_internal
c 528 X_1296_1296gat_internal
c 529 X_1297_1297gat_internal
c 530 X_1298_1298gat_internal
c 531 X_1299_1299gat_internal
c 532 X_1300_1300gat_internal
c 533 X_1301_1301gat_internal
c 534 X_1302_1302gat_internal
c 535 X_1303_1303gat_internal
c 536 X_1304_1304gat_internal
c 537 X_1305_1305gat_internal
c 538 X_1306_1306gat_internal
c 539 X_1307_1307gat_internal
c 540 X_1308_1308gat_internal
c 541 X_1309_1309gat_internal
c 542 X_1310_1310gat_internal
c 543 X_1311_1311gat_internal
c 544 X_1312_1312gat_internal
c 545 X_1313_1313gat_internal
c 546 X_1314_1314gat_internal
c 547 X_1315_1315gat_internal
c 548 X_1316_1316gat_internal
c 549 X_1317_1317gat_internal
c 550 X_1318_1318gat_internal
c 551 X_1319_1319gat_internal
c 552 X_1320_1320gat_internal
c 553 X_1321_1321gat_internal
c 554 X_1322_1322gat_internal
c 555 X_1323_1323gat_internal
c
p cnf 555 1546
-555 -523 -522 0
-554 -521 -520 0
-553 -519 -518 0
-552 -517 -516 0
-551 -515 -514 0
-550 -513 -512 0
-549 -511 -510 0
-548 -509 -508 0
-547 -507 -506 0
-546 -505 -504 0
-545 -503 -502 0
-544 -501 -500 0
-543 -499 -498 0
-542 -497 -496 0
-541 -495 -494 0
-540 -493 -492 0
-539 -491 -490 0
-538 -489 -488 0
-537 -487 -486 0
-536 -485 -484 0
-535 -483 -482 0
-534 -481 -480 0
-533 -479 -478 0
-532 -477 -476 0
-531 -475 -474 0
-530 -473 -472 0
-529 -471 -470 0
-528 -469 -468 0
-527 -467 -466 0
-526 -465 -464 0
-525 -463 -462 0
-524 -461 -460 0
-523 -459 -427 0
-522 -459 -32 0
-521 -458 -426 0
-520 -458 -31 0
-519 -457 -425 0
-518 -457 -30 0
-517 -456 -424 0
-516 -456 -29 0
-515 -455 -423 0
-514 -455 -28 0
-513 -454 -422 0
-512 -454 -27 0
-511 -453 -421 0
-510 -453 -26 0
-509 -452 -420 0
-508 -452 -25 0
-507 -451 -419 0
-506 -451 -24 0
-505 -450 -418 0
-504 -450 -23 0
-503 -449 -417 0
-502 -449 -22 0
-501 -448 -416 0
-500 -448 -21 0
-499 -447 -415 0
-498 -447 -20 0
-497 -446 -414 0
-496 -446 -19 0
-495 -445 -413 0
-494 -445 -18 0
-493 -444 -412 0
-492 -444 -17 0
-491 -443 -411 0
-490 -443 -16 0
-489 -442 -410 0
-488 -442 -15 0
-487 -441 -409 0
-486 -441 -14 0
-485 -440 -408 0
-484 -440 -13 0
-483 -439 -407 0
-482 -439 -12 0
-481 -438 -406 0
-480 -438 -11 0
-479 -437 -405 0
-478 -437 -10 0
-477 -436 -404 0
-476 -436 -9 0
-475 -435 -403 0
-474 -435 -8 0
-473 -434 -402 0
-472 -434 -7 0
-471 -433 -401 0
-470 -433 -6 0
-469 -432 -400 0
-468 -432 -5 0
-467 -431 -399 0
-466 -431 -4 0
-465 -430 -398 0
-464 -430 -3 0
-463 -429 -397 0
-462 -429 -2 0
-461 -428 -396 0
-460 -428 -1 0
-459 -427 -32 0
-458 -426 -31 0
-457 -425 -30 0
-456 -424 -29 0
-455 -423 -28 0
-454 -422 -27 0
-453 -421 -26 0
-452 -420 -25 0
-451 -419 -24 0
-450 -418 -23 0
-449 -417 -22 0
-448 -416 -21 0
-447 -415 -20 0
-446 -414 -19 0
-445 -413 -18 0
-444 -412 -17 0
-443 -411 -16 0
-442 -410 -15 0
-441 -409 -14 0
-440 -408 -13 0
-439 -407 -12 0
-438 -406 -11 0
-437 -405 -10 0
-436 -404 -9 0
-435 -403 -8 0
-434 -402 -7 0
-433 -401 -6 0
-432 -400 -5 0
-431 -399 -4 0
-430 -398 -3 0
-429 -397 -2 0
-428 -396 -1 0
-427 335 0
-427 395 0
-426 336 0
-426 395 0
-425 334 0
-425 395 0
-424 337 0
-424 395 0
-423 335 0
-423 394 0
-422 336 0
-422 394 0
-421 334 0
-421 394 0
-420 337 0
-420 394 0
-419 335 0
-419 393 0
-418 336 0
-418 393 0
-417 334 0
-417 393 0
-416 337 0
-416 393 0
-415 335 0
-415 392 0
-414 336 0
-414 392 0
-413 334 0
-413 392 0
-412 337 0
-412 392 0
-411 333 0
-411 391 0
-410 332 0
-410 391 0
-409 331 0
-409 391 0
-408 330 0
-408 391 0
-407 333 0
-407 390 0
-406 332 0
-406 390 0
-405 331 0
-405 390 0
-404 330 0
-404 390 0
-403 333 0
-403 389 0
-402 332 0
-402 389 0
-401 331 0
-401 389 0
-400 330 0
-400 389 0
-399 333 0
-399 388 0
-398 332 0
-398 388 0
-397 331 0
-397 388 0
-396 330 0
-396 388 0
-395 -337 424 0
-395 -336 426 0
-395 -335 427 0
-395 -334 425 0
-395 331 0
-395 333 0
-395 376 0
-395 377 0
-395 387 0
-394 -337 420 0
-394 -336 422 0
-394 -335 423 0
-394 -334 421 0
-394 331 0
-394 332 0
-394 374 0
-394 375 0
-394 387 0
-393 -337 416 0
-393 -336 418 0
-393 -335 419 0
-393 -334 417 0
-393 330 0
-393 333 0
-393 372 0
-393 373 0
-393 387 0
-392 -337 412 0
-392 -336 414 0
-392 -335 415 0
-392 -334 413 0
-392 330 0
-392 332 0
-392 370 0
-392 371 0
-392 387 0
-391 -333 411 0
-391 -332 410 0
-391 -331 409 0
-391 -330 408 0
-391 334 0
-391 335 0
-391 356 0
-391 357 0
-391 386 0
-390 -333 407 0
-390 -332 406 0
-390 -331 405 0
-390 -330 404 0
-390 334 0
-390 336 0
-390 354 0
-390 355 0
-390 386 0
-389 -333 403 0
-389 -332 402 0
-389 -331 401 0
-389 -330 400 0
-389 335 0
-389 337 0
-389 352 0
-389 353 0
-389 386 0
-388 -333 399 0
-388 -332 398 0
-388 -331 397 0
-388 -330 396 0
-388 336 0
-388 337 0
-388 350 0
-388 351 0
-388 386 0
-387 -377 -376 -333 -331 395 0
-387 -375 -374 -332 -331 394 0
-387 -373 -372 -333 -330 393 0
-387 -371 -370 -332 -330 392 0
-387 382 383 384 385 0
-386 -357 -356 -335 -334 391 0
-386 -355 -354 -336 -334 390 0
-386 -353 -352 -337 -335 389 0
-386 -351 -350 -337 -336 388 0
-386 378 379 380 381 0
-385 337 0
-385 367 0
-385 368 0
-385 369 0
-385 387 0
-384 334 0
-384 364 0
-384 365 0
-384 366 0
-384 387 0
-383 336 0
-383 361 0
-383 362 0
-383 363 0
-383 387 0
-382 335 0
-382 358 0
-382 359 0
-382 360 0
-382 387 0
-381 330 0
-381 347 0
-381 348 0
-381 349 0
-381 386 0
-380 331 0
-380 344 0
-380 345 0
-380 346 0
-380 386 0
-379 332 0
-379 341 0
-379 342 0
-379 343 0
-379 386 0
-378 333 0
-378 338 0
-378 339 0
-378 340 0
-378 386 0
-377 -332 0
-376 -330 0
-375 -333 0
-374 -330 0
-373 -332 0
-372 -331 0
-371 -333 0
-370 -331 0
-369 -368 -367 -337 385 0
-369 -335 0
-368 -336 0
-367 -334 0
-366 -365 -364 -334 384 0
-366 -335 0
-365 -336 0
-364 -337 0
-363 -362 -361 -336 383 0
-363 -335 0
-362 -334 0
-361 -337 0
-360 -359 -358 -335 382 0
-360 -336 0
-359 -334 0
-358 -337 0
-357 -336 0
-356 -337 0
-355 -335 0
-354 -337 0
-353 -336 0
-352 -334 0
-351 -335 0
-350 -334 0
-349 -348 -347 -330 381 0
-349 -333 0
-348 -332 0
-347 -331 0
-346 -345 -344 -331 380 0
-346 -333 0
-345 -332 0
-344 -330 0
-343 -342 -341 -332 379 0
-343 -333 0
-342 -331 0
-341 -330 0
-340 -339 -338 -333 378 0
-340 -332 0
-339 -331 0
-338 -330 0
-337 -323 -322 0
-336 -327 -326 0
-335 -329 -328 0
-334 -325 -324 0
-333 -321 -320 0
-332 -319 -318 0
-331 -317 -316 0
-330 -315 -314 0
-329 -313 -305 0
-328 -313 -241 0
-327 -312 -304 0
-326 -312 -240 0
-325 -311 -303 0
-324 -311 -239 0
-323 -310 -302 0
-322 -310 -238 0
-321 -309 -301 0
-320 -309 -237 0
-319 -308 -300 0
-318 -308 -236 0
-317 -307 -299 0
-316 -307 -235 0
-315 -306 -298 0
-314 -306 -234 0
-313 -305 -241 0
-312 -304 -240 0
-311 -303 -239 0
-310 -302 -238 0
-309 -301 -237 0
-308 -300 -236 0
-307 -299 -235 0
-306 -298 -234 0
-305 -297 -296 0
-304 -295 -294 0
-303 -293 -292 0
-302 -291 -290 0
-301 -289 -288 0
-300 -287 -286 0
-299 -285 -284 0
-298 -283 -282 0
-297 -281 -269 0
-296 -281 -49 0
-295 -280 -268 0
-294 -280 -48 0
-293 -279 -267 0
-292 -279 -47 0
-291 -278 -266 0
-290 -278 -46 0
-289 -277 -273 0
-288 -277 -45 0
-287 -276 -272 0
-286 -276 -44 0
-285 -275 -271 0
-284 -275 -43 0
-283 -274 -270 0
-282 -274 -42 0
-281 -269 -49 0
-280 -268 -48 0
-279 -267 -47 0
-278 -266 -46 0
-277 -273 -45 0
-276 -272 -44 0
-275 -271 -43 0
-274 -270 -42 0
-273 -265 -264 0
-272 -263 -262 0
-271 -261 -260 0
-270 -259 -258 0
-269 -257 -256 0
-268 -255 -254 0
-267 -253 -252 0
-266 -251 -250 0
-265 -249 -233 0
-264 -249 -231 0
-263 -248 -232 0
-262 -248 -230 0
-261 -247 -233 0
-260 -247 -232 0
-259 -246 -231 0
-258 -246 -230 0
-257 -245 -229 0
-256 -245 -227 0
-255 -244 -228 0
-254 -244 -226 0
-253 -243 -229 0
-252 -243 -228 0
-251 -242 -227 0
-250 -242 -226 0
-249 -233 -231 0
-248 -232 -230 0
-247 -233 -232 0
-246 -231 -230 0
-245 -229 -227 0
-244 -228 -226 0
-243 -229 -228 0
-242 -227 -226 0
-241 -225 -224 0
-240 -223 -222 0
-239 -221 -220 0
-238 -219 -218 0
-237 -217 -216 0
-236 -215 -214 0
-235 -213 -212 0
-234 -211 -210 0
-233 -209 -208 0
-232 -207 -206 0
-231 -205 -204 0
-230 -203 -202 0
-229 -201 -200 0
-228 -199 -198 0
-227 -197 -196 0
-226 -195 -194 0
-225 -193 -177 0
-224 -193 -176 0
-223 -192 -175 0
-222 -192 -174 0
-221 -191 -173 0
-220 -191 -172 0
-219 -190 -171 0
-218 -190 -170 0
-217 -189 -169 0
-216 -189 -168 0
-215 -188 -167 0
-214 -188 -166 0
-213 -187 -165 0
-212 -187 -164 0
-211 -186 -163 0
-210 -186 -162 0
-209 -185 -161 0
-208 -185 -160 0
-207 -184 -159 0
-206 -184 -158 0
-205 -183 -157 0
-204 -183 -156 0
-203 -182 -155 0
-202 -182 -154 0
-201 -181 -153 0
-200 -181 -152 0
-199 -180 -151 0
-198 -180 -150 0
-197 -179 -149 0
-196 -179 -148 0
-195 -178 -147 0
-194 -178 -146 0
-193 -177 -176 0
-192 -175 -174 0
-191 -173 -172 0
-190 -171 -170 0
-189 -169 -168 0
-188 -167 -166 0
-187 -165 -164 0
-186 -163 -162 0
-185 -161 -160 0
-184 -159 -158 0
-183 -157 -156 0
-182 -155 -154 0
-181 -153 -152 0
-180 -151 -150 0
-179 -149 -148 0
-178 -147 -146 0
-177 -145 -144 0
-176 -143 -142 0
-175 -141 -140 0
-174 -139 -138 0
-173 -137 -136 0
-172 -135 -134 0
-171 -133 -132 0
-170 -131 -130 0
-169 -129 -128 0
-168 -127 -126 0
-167 -125 -124 0
-166 -123 -122 0
-165 -121 -120 0
-164 -119 -118 0
-163 -117 -116 0
-162 -115 -114 0
-161 -113 -112 0
-160 -111 -110 0
-159 -109 -108 0
-158 -107 -106 0
-157 -105 -104 0
-156 -103 -102 0
-155 -101 -100 0
-154 -99 -98 0
-153 -97 -96 0
-152 -95 -94 0
-151 -93 -92 0
-150 -91 -90 0
-149 -89 -88 0
-148 -87 -86 0
-147 -85 -84 0
-146 -83 -82 0
-145 -81 -32 0
-144 -81 -28 0
-143 -80 -24 0
-142 -80 -20 0
-141 -79 -31 0
-140 -79 -27 0
-139 -78 -23 0
-138 -78 -19 0
-137 -77 -30 0
-136 -77 -26 0
-135 -76 -22 0
-134 -76 -18 0
-133 -75 -29 0
-132 -75 -25 0
-131 -74 -21 0
-130 -74 -17 0
-129 -73 -16 0
-128 -73 -12 0
-127 -72 -8 0
-126 -72 -4 0
-125 -71 -15 0
-124 -71 -11 0
-123 -70 -7 0
-122 -70 -3 0
-121 -69 -14 0
-120 -69 -10 0
-119 -68 -6 0
-118 -68 -2 0
-117 -67 -13 0
-116 -67 -9 0
-115 -66 -5 0
-114 -66 -1 0
-113 -65 -32 0
-112 -65 -31 0
-111 -64 -30 0
-110 -64 -29 0
-109 -63 -28 0
-108 -63 -27 0
-107 -62 -26 0
-106 -62 -25 0
-105 -61 -24 0
-104 -61 -23 0
-103 -60 -22 0
-102 -60 -21 0
-101 -59 -20 0
-100 -59 -19 0
-99 -58 -18 0
-98 -58 -17 0
-97 -57 -16 0
-96 -57 -15 0
-95 -56 -14 0
-94 -56 -13 0
-93 -55 -12 0
-92 -55 -11 0
-91 -54 -10 0
-90 -54 -9 0
-89 -53 -8 0
-88 -53 -7 0
-87 -52 -6 0
-86 -52 -5 0
-85 -51 -4 0
-84 -51 -3 0
-83 -50 -2 0
-82 -50 -1 0
-81 -32 -28 0
-80 -24 -20 0
-79 -31 -27 0
-78 -23 -19 0
-77 -30 -26 0
-76 -22 -18 0
-75 -29 -25 0
-74 -21 -17 0
-73 -16 -12 0
-72 -8 -4 0
-71 -15 -11 0
-70 -7 -3 0
-69 -14 -10 0
-68 -6 -2 0
-67 -13 -9 0
-66 -5 -1 0
-65 -32 -31 0
-64 -30 -29 0
-63 -28 -27 0
-62 -26 -25 0
-61 -24 -23 0
-60 -22 -21 0
-59 -20 -19 0
-58 -18 -17 0
-57 -16 -15 0
-56 -14 -13 0
-55 -12 -11 0
-54 -10 -9 0
-53 -8 -7 0
-52 -6 -5 0
-51 -4 -3 0
-50 -2 -1 0
-49 40 0
-49 41 0
-48 39 0
-48 41 0
-47 38 0
-47 41 0
-46 37 0
-46 41 0
-45 36 0
-45 41 0
-44 35 0
-44 41 0
-43 34 0
-43 41 0
-42 33 0
-42 41 0
-41 -40 49 0
-41 -39 48 0
-41 -38 47 0
-41 -37 46 0
-41 -36 45 0
-41 -35 44 0
-41 -34 43 0
-41 -33 42 0
1 50 0
1 66 0
1 82 0
1 114 0
1 428 0
1 460 0
2 50 0
2 68 0
2 83 0
2 118 0
2 429 0
2 462 0
3 51 0
3 70 0
3 84 0
3 122 0
3 430 0
3 464 0
4 51 0
4 72 0
4 85 0
4 126 0
4 431 0
4 466 0
5 52 0
5 66 0
5 86 0
5 115 0
5 432 0
5 468 0
6 52 0
6 68 0
6 87 0
6 119 0
6 433 0
6 470 0
7 53 0
7 70 0
7 88 0
7 123 0
7 434 0
7 472 0
8 53 0
8 72 0
8 89 0
8 127 0
8 435 0
8 474 0
9 54 0
9 67 0
9 90 0
9 116 0
9 436 0
9 476 0
10 54 0
10 69 0
10 91 0
10 120 0
10 437 0
10 478 0
11 55 0
11 71 0
11 92 0
11 124 0
11 438 0
11 480 0
12 55 0
12 73 0
12 93 0
12 128 0
12 439 0
12 482 0
13 56 0
13 67 0
13 94 0
13 117 0
13 440 0
13 484 0
14 56 0
14 69 0
14 95 0
14 121 0
14 441 0
14 486 0
15 57 0
15 71 0
15 96 0
15 125 0
15 442 0
15 488 0
16 57 0
16 73 0
16 97 0
16 129 0
16 443 0
16 490 0
17 58 0
17 74 0
17 98 0
17 130 0
17 444 0
17 492 0
18 58 0
18 76 0
18 99 0
18 134 0
18 445 0
18 494 0
19 59 0
19 78 0
19 100 0
19 138 0
19 446 0
19 496 0
20 59 0
20 80 0
20 101 0
20 142 0
20 447 0
20 498 0
21 60 0
21 74 0
21 102 0
21 131 0
21 448 0
21 500 0
22 60 0
22 76 0
22 103 0
22 135 0
22 449 0
22 502 0
23 61 0
23 78 0
23 104 0
23 139 0
23 450 0
23 504 0
24 61 0
24 80 0
24 105 0
24 143 0
24 451 0
24 506 0
25 62 0
25 75 0
25 106 0
25 132 0
25 452 0
25 508 0
26 62 0
26 77 0
26 107 0
26 136 0
26 453 0
26 510 0
27 63 0
27 79 0
27 108 0
27 140 0
27 454 0
27 512 0
28 63 0
28 81 0
28 109 0
28 144 0
28 455 0
28 514 0
29 64 0
29 75 0
29 110 0
29 133 0
29 456 0
29 516 0
30 64 0
30 77 0
30 111 0
30 137 0
30 457 0
30 518 0
31 65 0
31 79 0
31 112 0
31 141 0
31 458 0
31 520 0
32 65 0
32 81 0
32 113 0
32 145 0
32 459 0
32 522 0
42 274 0
42 282 0
43 275 0
43 284 0
44 276 0
44 286 0
45 277 0
45 288 0
46 278 0
46 290 0
47 279 0
47 292 0
48 280 0
48 294 0
49 281 0
49 296 0
50 82 0
50 83 0
51 84 0
51 85 0
52 86 0
52 87 0
53 88 0
53 89 0
54 90 0
54 91 0
55 92 0
55 93 0
56 94 0
56 95 0
57 96 0
57 97 0
58 98 0
58 99 0
59 100 0
59 101 0
60 102 0
60 103 0
61 104 0
61 105 0
62 106 0
62 107 0
63 108 0
63 109 0
64 110 0
64 111 0
65 112 0
65 113 0
66 114 0
66 115 0
67 116 0
67 117 0
68 118 0
68 119 0
69 120 0
69 121 0
70 122 0
70 123 0
71 124 0
71 125 0
72 126 0
72 127 0
73 128 0
73 129 0
74 130 0
74 131 0
75 132 0
75 133 0
76 134 0
76 135 0
77 136 0
77 137 0
78 138 0
78 139 0
79 140 0
79 141 0
80 142 0
80 143 0
81 144 0
81 145 0
82 146 0
83 146 0
84 147 0
85 147 0
86 148 0
87 148 0
88 149 0
89 149 0
90 150 0
91 150 0
92 151 0
93 151 0
94 152 0
95 152 0
96 153 0
97 153 0
98 154 0
99 154 0
100 155 0
101 155 0
102 156 0
103 156 0
104 157 0
105 157 0
106 158 0
107 158 0
108 159 0
109 159 0
110 160 0
111 160 0
112 161 0
113 161 0
114 162 0
115 162 0
116 163 0
117 163 0
118 164 0
119 164 0
120 165 0
121 165 0
122 166 0
123 166 0
124 167 0
125 167 0
126 168 0
127 168 0
128 169 0
129 169 0
130 170 0
131 170 0
132 171 0
133 171 0
134 172 0
135 172 0
136 173 0
137 173 0
138 174 0
139 174 0
140 175 0
141 175 0
142 176 0
143 176 0
144 177 0
145 177 0
146 178 0
146 194 0
147 178 0
147 195 0
148 179 0
148 196 0
149 179 0
149 197 0
150 180 0
150 198 0
151 180 0
151 199 0
152 181 0
152 200 0
153 181 0
153 201 0
154 182 0
154 202 0
155 182 0
155 203 0
156 183 0
156 204 0
157 183 0
157 205 0
158 184 0
158 206 0
159 184 0
159 207 0
160 185 0
160 208 0
161 185 0
161 209 0
162 186 0
162 210 0
163 186 0
163 211 0
164 187 0
164 212 0
165 187 0
165 213 0
166 188 0
166 214 0
167 188 0
167 215 0
168 189 0
168 216 0
169 189 0
169 217 0
170 190 0
170 218 0
171 190 0
171 219 0
172 191 0
172 220 0
173 191 0
173 221 0
174 192 0
174 222 0
175 192 0
175 223 0
176 193 0
176 224 0
177 193 0
177 225 0
178 194 0
178 195 0
179 196 0
179 197 0
180 198 0
180 199 0
181 200 0
181 201 0
182 202 0
182 203 0
183 204 0
183 205 0
184 206 0
184 207 0
185 208 0
185 209 0
186 210 0
186 211 0
187 212 0
187 213 0
188 214 0
188 215 0
189 216 0
189 217 0
190 218 0
190 219 0
191 220 0
191 221 0
192 222 0
192 223 0
193 224 0
193 225 0
194 226 0
195 226 0
196 227 0
197 227 0
198 228 0
199 228 0
200 229 0
201 229 0
202 230 0
203 230 0
204 231 0
205 231 0
206 232 0
207 232 0
208 233 0
209 233 0
210 234 0
211 234 0
212 235 0
213 235 0
214 236 0
215 236 0
216 237 0
217 237 0
218 238 0
219 238 0
220 239 0
221 239 0
222 240 0
223 240 0
224 241 0
225 241 0
226 242 0
226 244 0
226 250 0
226 254 0
227 242 0
227 245 0
227 251 0
227 256 0
228 243 0
228 244 0
228 252 0
228 255 0
229 243 0
229 245 0
229 253 0
229 257 0
230 246 0
230 248 0
230 258 0
230 262 0
231 246 0
231 249 0
231 259 0
231 264 0
232 247 0
232 248 0
232 260 0
232 263 0
233 247 0
233 249 0
233 261 0
233 265 0
234 306 0
234 314 0
235 307 0
235 316 0
236 308 0
236 318 0
237 309 0
237 320 0
238 310 0
238 322 0
239 311 0
239 324 0
240 312 0
240 326 0
241 313 0
241 328 0
242 250 0
242 251 0
243 252 0
243 253 0
244 254 0
244 255 0
245 256 0
245 257 0
246 258 0
246 259 0
247 260 0
247 261 0
248 262 0
248 263 0
249 264 0
249 265 0
250 266 0
251 266 0
252 267 0
253 267 0
254 268 0
255 268 0
256 269 0
257 269 0
258 270 0
259 270 0
260 271 0
261 271 0
262 272 0
263 272 0
264 273 0
265 273 0
266 278 0
266 291 0
267 279 0
267 293 0
268 280 0
268 295 0
269 281 0
269 297 0
270 274 0
270 283 0
271 275 0
271 285 0
272 276 0
272 287 0
273 277 0
273 289 0
274 282 0
274 283 0
275 284 0
275 285 0
276 286 0
276 287 0
277 288 0
277 289 0
278 290 0
278 291 0
279 292 0
279 293 0
280 294 0
280 295 0
281 296 0
281 297 0
282 298 0
283 298 0
284 299 0
285 299 0
286 300 0
287 300 0
288 301 0
289 301 0
290 302 0
291 302 0
292 303 0
293 303 0
294 304 0
295 304 0
296 305 0
297 305 0
298 306 0
298 315 0
299 307 0
299 317 0
300 308 0
300 319 0
301 309 0
301 321 0
302 310 0
302 323 0
303 311 0
303 325 0
304 312 0
304 327 0
305 313 0
305 329 0
306 314 0
306 315 0
307 316 0
307 317 0
308 318 0
308 319 0
309 320 0
309 321 0
310 322 0
310 323 0
311 324 0
311 325 0
312 326 0
312 327 0
313 328 0
313 329 0
314 330 0
315 330 0
316 331 0
317 331 0
318 332 0
319 332 0
320 333 0
321 333 0
322 337 0
323 337 0
324 334 0
325 334 0
326 336 0
327 336 0
328 335 0
329 335 0
330 338 0
330 341 0
330 344 0
330 374 0
330 376 0
331 339 0
331 342 0
331 347 0
331 370 0
331 372 0
332 340 0
332 345 0
332 348 0
332 373 0
332 377 0
333 343 0
333 346 0
333 349 0
333 371 0
333 375 0
334 350 0
334 352 0
334 359 0
334 362 0
334 367 0
335 351 0
335 355 0
335 363 0
335 366 0
335 369 0
336 353 0
336 357 0
336 360 0
336 365 0
336 368 0
337 354 0
337 356 0
337 358 0
337 361 0
337 364 0
396 428 0
396 461 0
397 429 0
397 463 0
398 430 0
398 465 0
399 431 0
399 467 0
400 432 0
400 469 0
401 433 0
401 471 0
402 434 0
402 473 0
403 435 0
403 475 0
404 436 0
404 477 0
405 437 0
405 479 0
406 438 0
406 481 0
407 439 0
407 483 0
408 440 0
408 485 0
409 441 0
409 487 0
410 442 0
410 489 0
411 443 0
411 491 0
412 444 0
412 493 0
413 445 0
413 495 0
414 446 0
414 497 0
415 447 0
415 499 0
416 448 0
416 501 0
417 449 0
417 503 0
418 450 0
418 505 0
419 451 0
419 507 0
420 452 0
420 509 0
421 453 0
421 511 0
422 454 0
422 513 0
423 455 0
423 515 0
424 456 0
424 517 0
425 457 0
425 519 0
426 458 0
426 521 0
427 459 0
427 523 0
428 460 0
428 461 0
429 462 0
429 463 0
430 464 0
430 465 0
431 466 0
431 467 0
432 468 0
432 469 0
433 470 0
433 471 0
434 472 0
434 473 0
435 474 0
435 475 0
436 476 0
436 477 0
437 478 0
437 479 0
438 480 0
438 481 0
439 482 0
439 483 0
440 484 0
440 485 0
441 486 0
441 487 0
442 488 0
442 489 0
443 490 0
443 491 0
444 492 0
444 493 0
445 494 0
445 495 0
446 496 0
446 497 0
447 498 0
447 499 0
448 500 0
448 501 0
449 502 0
449 503 0
450 504 0
450 505 0
451 506 0
451 507 0
452 508 0
452 509 0
453 510 0
453 511 0
454 512 0
454 513 0
455 514 0
455 515 0
456 516 0
456 517 0
457 518 0
457 519 0
458 520 0
458 521 0
459 522 0
459 523 0
460 524 0
461 524 0
462 525 0
463 525 0
464 526 0
465 526 0
466 527 0
467 527 0
468 528 0
469 528 0
470 529 0
471 529 0
472 530 0
473 530 0
474 531 0
475 531 0
476 532 0
477 532 0
478 533 0
479 533 0
480 534 0
481 534 0
482 535 0
483 535 0
484 536 0
485 536 0
486 537 0
487 537 0
488 538 0
489 538 0
490 539 0
491 539 0
492 540 0
493 540 0
494 541 0
495 541 0
496 542 0
497 542 0
498 543 0
499 543 0
500 544 0
501 544 0
502 545 0
503 545 0
504 546 0
505 546 0
506 547 0
507 547 0
508 548 0
509 548 0
510 549 0
511 549 0
512 550 0
513 550 0
514 551 0
515 551 0
516 552 0
517 552 0
518 553 0
519 553 0
520 554 0
521 554 0
522 555 0
523 555 0
%
0