c cnf generated by mark.reason.apps.PlgToDimacs written by Mark Chavira
c cnf generated on Wed Nov 17 12:34:39 PST 2004.
c
c Following is the map back to variable name:
c
c 1 X_1_1_input
c 2 X_2_2_input
c 3 X_3_3_input
c 4 X_4_4_input
c 5 X_5_5_input
c 6 X_6_6_input
c 7 X_7_7_input
c 8 X_8_8_input
c 9 X_11_11_input
c 10 X_14_14_input
c 11 X_15_15_input
c 12 X_16_16_input
c 13 X_19_19_input
c 14 X_20_20_input
c 15 X_21_21_input
c 16 X_22_22_input
c 17 X_23_23_input
c 18 X_24_24_input
c 19 X_25_25_input
c 20 X_26_26_input
c 21 X_27_27_input
c 22 X_28_28_input
c 23 X_29_29_input
c 24 X_32_32_input
c 25 X_33_33_input
c 26 X_34_34_input
c 27 X_35_35_input
c 28 X_36_36_input
c 29 X_37_37_input
c 30 X_40_40_input
c 31 X_43_43_input
c 32 X_44_44_input
c 33 X_47_47_input
c 34 X_48_48_input
c 35 X_49_49_input
c 36 X_50_50_input
c 37 X_51_51_input
c 38 X_52_52_input
c 39 X_53_53_input
c 40 X_54_54_input
c 41 X_55_55_input
c 42 X_56_56_input
c 43 X_57_57_input
c 44 X_60_60_input
c 45 X_61_61_input
c 46 X_62_62_input
c 47 X_63_63_input
c 48 X_64_64_input
c 49 X_65_65_input
c 50 X_66_66_input
c 51 X_67_67_input
c 52 X_68_68_input
c 53 X_69_69_input
c 54 X_72_72_input
c 55 X_73_73_input
c 56 X_74_74_input
c 57 X_75_75_input
c 58 X_76_76_input
c 59 X_77_77_input
c 60 X_78_78_input
c 61 X_79_79_input
c 62 X_80_80_input
c 63 X_81_81_input
c 64 X_82_82_input
c 65 X_85_85_input
c 66 X_86_86_input
c 67 X_87_87_input
c 68 X_88_88_input
c 69 X_89_89_input
c 70 X_90_90_input
c 71 X_91_91_input
c 72 X_92_92_input
c 73 X_93_93_input
c 74 X_94_94_input
c 75 X_95_95_input
c 76 X_96_96_input
c 77 X_99_99_input
c 78 X_100_100_input
c 79 X_101_101_input
c 80 X_102_102_input
c 81 X_103_103_input
c 82 X_104_104_input
c 83 X_105_105_input
c 84 X_106_106_input
c 85 X_107_107_input
c 86 X_108_108_input
c 87 X_111_111_input
c 88 X_112_112_input
c 89 X_113_113_input
c 90 X_114_114_input
c 91 X_115_115_input
c 92 X_116_116_input
c 93 X_117_117_input
c 94 X_118_118_input
c 95 X_119_119_input
c 96 X_120_120_input
c 97 X_123_123_input
c 98 X_124_124_input
c 99 X_125_125_input
c 100 X_126_126_input
c 101 X_127_127_input
c 102 X_128_128_input
c 103 X_129_129_input
c 104 X_130_130_input
c 105 X_131_131_input
c 106 X_132_132_input
c 107 X_135_135_input
c 108 X_136_136_input
c 109 X_137_137_input
c 110 X_138_138_input
c 111 X_139_139_input
c 112 X_140_140_input
c 113 X_141_141_input
c 114 X_142_142_input
c 115 X_143_169_input
c 116 X_144_174_input
c 117 X_145_177_input
c 118 X_146_178_input
c 119 X_147_179_input
c 120 X_148_180_input
c 121 X_149_181_input
c 122 X_150_182_input
c 123 X_151_183_input
c 124 X_152_184_input
c 125 X_153_185_input
c 126 X_154_186_input
c 127 X_155_189_input
c 128 X_156_190_input
c 129 X_157_191_input
c 130 X_158_192_input
c 131 X_159_193_input
c 132 X_160_194_input
c 133 X_161_195_input
c 134 X_162_196_input
c 135 X_163_197_input
c 136 X_164_198_input
c 137 X_165_199_input
c 138 X_166_200_input
c 139 X_167_201_input
c 140 X_168_202_input
c 141 X_169_203_input
c 142 X_170_204_input
c 143 X_171_205_input
c 144 X_172_206_input
c 145 X_173_207_input
c 146 X_174_208_input
c 147 X_175_209_input
c 148 X_176_210_input
c 149 X_177_211_input
c 150 X_178_212_input
c 151 X_179_213_input
c 152 X_180_214_input
c 153 X_181_215_input
c 154 X_182_239_input
c 155 X_183_240_input
c 156 X_184_241_input
c 157 X_185_242_input
c 158 X_186_243_input
c 159 X_187_244_input
c 160 X_188_245_input
c 161 X_189_246_input
c 162 X_190_247_input
c 163 X_191_248_input
c 164 X_192_249_input
c 165 X_193_250_input
c 166 X_194_251_input
c 167 X_195_252_input
c 168 X_196_253_input
c 169 X_197_254_input
c 170 X_198_255_input
c 171 X_199_256_input
c 172 X_200_257_input
c 173 X_201_262_input
c 174 X_202_263_input
c 175 X_203_264_input
c 176 X_204_265_input
c 177 X_205_266_input
c 178 X_206_267_input
c 179 X_207_268_input
c 180 X_208_269_input
c 181 X_209_270_input
c 182 X_210_271_input
c 183 X_211_272_input
c 184 X_212_273_input
c 185 X_213_274_input
c 186 X_214_275_input
c 187 X_215_276_input
c 188 X_216_277_input
c 189 X_217_278_input
c 190 X_218_279_input
c 191 X_219_452_input
c 192 X_224_483_input
c 193 X_227_543_input
c 194 X_230_559_input
c 195 X_231_567_input
c 196 X_234_651_input
c 197 X_237_661_input
c 198 X_241_860_input
c 199 X_246_868_input
c 200 X_253_1083_input
c 201 X_256_1341_input
c 202 X_259_1348_input
c 203 X_262_1384_input
c 204 X_263_1956_input
c 205 X_266_1961_input
c 206 X_269_1966_input
c 207 X_272_1971_input
c 208 X_275_1976_input
c 209 X_278_1981_input
c 210 X_281_1986_input
c 211 X_284_1991_input
c 212 X_287_1996_input
c 213 X_290_2066_input
c 214 X_294_2067_input
c 215 X_297_2072_input
c 216 X_301_2078_input
c 217 X_305_2084_input
c 218 X_309_2090_input
c 219 X_313_2096_input
c 220 X_316_2100_input
c 221 X_319_2104_input
c 222 X_322_2105_input
c 223 X_325_2106_input
c 224 X_328_2427_input
c 225 X_331_2430_input
c 226 X_334_2435_input
c 227 X_337_2438_input
c 228 X_340_2443_input
c 229 X_343_2446_input
c 230 X_346_2451_input
c 231 X_349_2454_input
c 232 X_352_2474_input
c 233 X_355_2678_input
c 234 X_405_546_internal
c 235 X_408_560_internal
c 236 X_425_1385_internal
c 237 X_485_157_internal
c 238 X_486_547_internal
c 239 X_487_218_output
c 240 X_488_219_output
c 241 X_489_220_output
c 242 X_490_221_output
c 243 X_491_235_output
c 244 X_492_236_output
c 245 X_493_237_output
c 246 X_494_238_output
c 247 X_495_258_internal
c 248 X_499_486_internal
c 249 X_533_865_internal
c 250 X_537_875_internal
c 251 X_543_882_internal
c 252 X_544_1251_internal
c 253 X_547_1254_internal
c 254 X_574_1344_internal
c 255 X_578_1351_internal
c 256 X_606_2433_internal
c 257 X_607_2434_internal
c 258 X_608_2441_internal
c 259 X_609_2442_internal
c 260 X_610_2449_internal
c 261 X_611_2450_internal
c 262 X_612_2478_internal
c 263 X_650_2682_internal
c 264 X_651_1955_internal
c 265 X_655_1959_internal
c 266 X_659_1964_internal
c 267 X_663_1969_internal
c 268 X_667_1974_internal
c 269 X_671_1979_internal
c 270 X_675_1984_internal
c 271 X_679_1989_internal
c 272 X_683_1994_internal
c 273 X_687_1999_internal
c 274 X_705_2070_internal
c 275 X_711_2076_internal
c 276 X_715_2082_internal
c 277 X_719_2088_internal
c 278 X_723_2094_internal
c 279 X_727_2099_internal
c 280 X_730_2103_internal
c 281 X_733_2457_internal
c 282 X_734_2458_internal
c 283 X_792_158_output
c 284 X_799_259_output
c 285 X_800_487_internal
c 286 X_900_1475_internal
c 287 X_901_1476_internal
c 288 X_902_1484_internal
c 289 X_903_1485_internal
c 290 X_904_1493_internal
c 291 X_905_1494_internal
c 292 X_998_2459_internal
c 293 X_999_2460_internal
c 294 X_1026_173_output
c 295 X_1027_216_internal
c 296 X_1028_223_output
c 297 X_1029_234_output
c 298 X_1032_1253_internal
c 299 X_1033_1256_internal
c 300 X_1034_558_internal
c 301 X_1042_784_internal
c 302 X_1053_807_internal
c 303 X_1064_821_internal
c 304 X_1065_825_internal
c 305 X_1066_829_internal
c 306 X_1067_833_internal
c 307 X_1068_837_internal
c 308 X_1069_881_internal
c 309 X_1075_1273_internal
c 310 X_1086_1296_internal
c 311 X_1097_1310_internal
c 312 X_1098_1314_internal
c 313 X_1099_1318_internal
c 314 X_1100_1322_internal
c 315 X_1101_1326_internal
c 316 X_1102_1406_internal
c 317 X_1113_1430_internal
c 318 X_1124_1444_internal
c 319 X_1125_1448_internal
c 320 X_1126_1452_internal
c 321 X_1127_1456_internal
c 322 X_1128_1460_internal
c 323 X_1129_1477_internal
c 324 X_1133_1486_internal
c 325 X_1137_1495_internal
c 326 X_1140_2477_internal
c 327 X_1141_1499_internal
c 328 X_1142_2485_internal
c 329 X_1143_2486_internal
c 330 X_1144_2493_internal
c 331 X_1145_2494_internal
c 332 X_1146_1643_internal
c 333 X_1157_1667_internal
c 334 X_1168_1681_internal
c 335 X_1169_1685_internal
c 336 X_1170_1689_internal
c 337 X_1171_1693_internal
c 338 X_1172_1697_internal
c 339 X_1173_1716_internal
c 340 X_1178_1728_internal
c 341 X_1184_2681_internal
c 342 X_1185_1776_internal
c 343 X_1186_2689_internal
c 344 X_1187_2690_internal
c 345 X_1188_2697_internal
c 346 X_1189_2698_internal
c 347 X_1200_2007_internal
c 348 X_1205_2018_internal
c 349 X_1210_2467_internal
c 350 X_1211_2468_internal
c 351 X_1212_2501_internal
c 352 X_1213_2502_internal
c 353 X_1214_2511_internal
c 354 X_1215_2512_internal
c 355 X_1216_2518_internal
c 356 X_1249_2705_internal
c 357 X_1250_2706_internal
c 358 X_1269_217_output
c 359 X_1275_550_internal
c 360 X_1276_552_internal
c 361 X_1302_894_internal
c 362 X_1351_1498_internal
c 363 X_1352_1507_internal
c 364 X_1353_1508_internal
c 365 X_1354_1516_internal
c 366 X_1355_1517_internal
c 367 X_1395_1775_internal
c 368 X_1396_1784_internal
c 369 X_1397_1785_internal
c 370 X_1398_1793_internal
c 371 X_1399_1794_internal
c 372 X_1422_2469_internal
c 373 X_1423_2470_internal
c 374 X_1424_2503_internal
c 375 X_1425_2504_internal
c 376 X_1426_2513_internal
c 377 X_1427_2514_internal
c 378 X_1440_2707_internal
c 379 X_1441_2708_internal
c 380 X_1448_261_output
c 381 X_1449_551_internal
c 382 X_1450_553_internal
c 383 X_1451_818_internal
c 384 X_1452_819_internal
c 385 X_1453_820_internal
c 386 X_1454_822_internal
c 387 X_1455_823_internal
c 388 X_1456_824_internal
c 389 X_1457_826_internal
c 390 X_1458_827_internal
c 391 X_1459_828_internal
c 392 X_1460_830_internal
c 393 X_1461_831_internal
c 394 X_1462_832_internal
c 395 X_1463_834_internal
c 396 X_1464_835_internal
c 397 X_1465_836_internal
c 398 X_1466_1307_internal
c 399 X_1467_1308_internal
c 400 X_1468_1309_internal
c 401 X_1469_1311_internal
c 402 X_1470_1312_internal
c 403 X_1471_1313_internal
c 404 X_1472_1315_internal
c 405 X_1473_1316_internal
c 406 X_1474_1317_internal
c 407 X_1475_1319_internal
c 408 X_1476_1320_internal
c 409 X_1477_1321_internal
c 410 X_1478_1323_internal
c 411 X_1479_1324_internal
c 412 X_1480_1325_internal
c 413 X_1481_1441_internal
c 414 X_1482_1442_internal
c 415 X_1483_1443_internal
c 416 X_1484_1445_internal
c 417 X_1485_1446_internal
c 418 X_1486_1447_internal
c 419 X_1487_1449_internal
c 420 X_1488_1450_internal
c 421 X_1489_1451_internal
c 422 X_1490_1453_internal
c 423 X_1491_1454_internal
c 424 X_1492_1455_internal
c 425 X_1493_1457_internal
c 426 X_1494_1458_internal
c 427 X_1495_1459_internal
c 428 X_1496_1481_internal
c 429 X_1499_1490_internal
c 430 X_1502_1500_internal
c 431 X_1506_1509_internal
c 432 X_1510_1518_internal
c 433 X_1519_2557_internal
c 434 X_1520_2565_internal
c 435 X_1521_2573_internal
c 436 X_1522_2581_internal
c 437 X_1523_2589_internal
c 438 X_1524_2597_internal
c 439 X_1525_2605_internal
c 440 X_1526_2613_internal
c 441 X_1527_2621_internal
c 442 X_1528_2629_internal
c 443 X_1529_1678_internal
c 444 X_1530_1679_internal
c 445 X_1531_1680_internal
c 446 X_1532_1682_internal
c 447 X_1533_1683_internal
c 448 X_1534_1684_internal
c 449 X_1535_1686_internal
c 450 X_1536_1687_internal
c 451 X_1537_1688_internal
c 452 X_1538_1690_internal
c 453 X_1539_1691_internal
c 454 X_1540_1692_internal
c 455 X_1541_1694_internal
c 456 X_1542_1695_internal
c 457 X_1543_1696_internal
c 458 X_1544_1734_internal
c 459 X_1545_1736_internal
c 460 X_1546_1738_internal
c 461 X_1547_1740_internal
c 462 X_1548_1742_internal
c 463 X_1549_1744_internal
c 464 X_1550_1746_internal
c 465 X_1551_1748_internal
c 466 X_1552_1750_internal
c 467 X_1553_1777_internal
c 468 X_1557_1786_internal
c 469 X_1561_1795_internal
c 470 X_1564_2023_internal
c 471 X_1565_2025_internal
c 472 X_1566_2027_internal
c 473 X_1567_2029_internal
c 474 X_1568_2031_internal
c 475 X_1569_2033_internal
c 476 X_1570_2035_internal
c 477 X_1571_2037_internal
c 478 X_1572_2741_internal
c 479 X_1573_2749_internal
c 480 X_1574_2757_internal
c 481 X_1575_2765_internal
c 482 X_1576_2773_internal
c 483 X_1577_2781_internal
c 484 X_1578_2515_internal
c 485 X_1581_2522_internal
c 486 X_1582_2525_internal
c 487 X_1585_2528_internal
c 488 X_1588_2730_internal
c 489 X_1591_554_internal
c 490 X_1596_838_internal
c 491 X_1600_841_internal
c 492 X_1606_846_internal
c 493 X_1612_854_internal
c 494 X_1615_857_internal
c 495 X_1619_1327_internal
c 496 X_1624_1329_internal
c 497 X_1628_1331_internal
c 498 X_1631_1333_internal
c 499 X_1634_1335_internal
c 500 X_1637_1461_internal
c 501 X_1642_1464_internal
c 502 X_1647_1467_internal
c 503 X_1651_1470_internal
c 504 X_1656_1473_internal
c 505 X_1676_1698_internal
c 506 X_1681_1701_internal
c 507 X_1686_1704_internal
c 508 X_1690_1707_internal
c 509 X_1708_2634_internal
c 510 X_1770_1504_internal
c 511 X_1773_1513_internal
c 512 X_1776_1524_internal
c 513 X_1777_1528_internal
c 514 X_1784_1538_internal
c 515 X_1785_1541_internal
c 516 X_1795_1781_internal
c 517 X_1798_1790_internal
c 518 X_1807_2734_internal
c 519 X_1808_2521_internal
c 520 X_1809_2524_internal
c 521 X_1810_2531_internal
c 522 X_1811_2532_internal
c 523 X_1813_144_internal
c 524 X_1814_147_internal
c 525 X_1815_152_internal
c 526 X_1816_160_output
c 527 X_1817_162_output
c 528 X_1818_164_output
c 529 X_1819_166_output
c 530 X_1820_168_output
c 531 X_1821_171_output
c 532 X_1822_175_internal
c 533 X_1823_187_internal
c 534 X_1827_852_internal
c 535 X_1830_885_internal
c 536 X_1831_887_internal
c 537 X_1832_893_internal
c 538 X_1833_1028_internal
c 539 X_1836_1031_internal
c 540 X_1841_1035_internal
c 541 X_1885_1213_internal
c 542 X_1888_1218_internal
c 543 X_1894_1387_internal
c 544 X_1897_1389_internal
c 545 X_1908_1537_internal
c 546 X_1909_1540_internal
c 547 X_1910_1735_internal
c 548 X_1911_1737_internal
c 549 X_1912_1739_internal
c 550 X_1913_1741_internal
c 551 X_1914_1743_internal
c 552 X_1915_1745_internal
c 553 X_1916_1747_internal
c 554 X_1917_1749_internal
c 555 X_1918_1751_internal
c 556 X_1919_2638_internal
c 557 X_1928_2024_internal
c 558 X_1929_2026_internal
c 559 X_1930_2028_internal
c 560 X_1931_2030_internal
c 561 X_1932_2032_internal
c 562 X_1933_2034_internal
c 563 X_1934_2036_internal
c 564 X_1935_2038_internal
c 565 X_1939_2523_internal
c 566 X_1940_2533_internal
c 567 X_1941_2534_internal
c 568 X_1969_153_output
c 569 X_1970_176_output
c 570 X_1971_188_output
c 571 X_2028_1532_internal
c 572 X_2029_1536_internal
c 573 X_2030_1539_internal
c 574 X_2031_1542_internal
c 575 X_2032_1544_internal
c 576 X_2033_1547_internal
c 577 X_2034_2065_internal
c 578 X_2040_1809_internal
c 579 X_2041_1813_internal
c 580 X_2042_1821_internal
c 581 X_2043_1824_internal
c 582 X_2046_2538_internal
c 583 X_2049_2546_internal
c 584 X_2052_2554_internal
c 585 X_2055_2562_internal
c 586 X_2058_2570_internal
c 587 X_2061_2578_internal
c 588 X_2064_2586_internal
c 589 X_2067_2594_internal
c 590 X_2070_2602_internal
c 591 X_2073_2610_internal
c 592 X_2076_2618_internal
c 593 X_2079_2626_internal
c 594 X_2095_2738_internal
c 595 X_2098_2746_internal
c 596 X_2101_2754_internal
c 597 X_2104_2762_internal
c 598 X_2107_2770_internal
c 599 X_2110_2778_internal
c 600 X_2113_456_internal
c 601 X_2119_466_internal
c 602 X_2120_562_internal
c 603 X_2125_883_internal
c 604 X_2126_889_internal
c 605 X_2127_891_internal
c 606 X_2128_1043_internal
c 607 X_2135_1051_internal
c 608 X_2141_1062_internal
c 609 X_2144_1068_internal
c 610 X_2147_1074_internal
c 611 X_2150_1080_internal
c 612 X_2153_1225_internal
c 613 X_2154_1227_internal
c 614 X_2155_1232_internal
c 615 X_2156_1234_internal
c 616 X_2157_1543_internal
c 617 X_2158_1546_internal
c 618 X_2171_2637_internal
c 619 X_2172_1753_internal
c 620 X_2173_2645_internal
c 621 X_2174_2646_internal
c 622 X_2175_2653_internal
c 623 X_2176_2654_internal
c 624 X_2177_1820_internal
c 625 X_2178_1823_internal
c 626 X_2194_2123_internal
c 627 X_2197_2151_internal
c 628 X_2200_2158_internal
c 629 X_2219_2535_internal
c 630 X_2234_2661_internal
c 631 X_2235_2662_internal
c 632 X_2236_2671_internal
c 633 X_2237_2672_internal
c 634 X_2250_468_internal
c 635 X_2266_897_internal
c 636 X_2269_898_internal
c 637 X_2291_1228_internal
c 638 X_2294_1235_internal
c 639 X_2297_1545_internal
c 640 X_2298_1548_internal
c 641 X_2300_2542_internal
c 642 X_2301_2550_internal
c 643 X_2302_1561_internal
c 644 X_2303_2558_internal
c 645 X_2304_1565_internal
c 646 X_2305_2566_internal
c 647 X_2306_1569_internal
c 648 X_2307_2574_internal
c 649 X_2308_1573_internal
c 650 X_2309_2582_internal
c 651 X_2310_1577_internal
c 652 X_2311_2590_internal
c 653 X_2312_1581_internal
c 654 X_2313_2598_internal
c 655 X_2314_1585_internal
c 656 X_2315_2606_internal
c 657 X_2316_1589_internal
c 658 X_2317_2614_internal
c 659 X_2318_1593_internal
c 660 X_2319_2622_internal
c 661 X_2320_1597_internal
c 662 X_2321_2630_internal
c 663 X_2322_1752_internal
c 664 X_2323_1761_internal
c 665 X_2324_1762_internal
c 666 X_2325_1770_internal
c 667 X_2326_1771_internal
c 668 X_2327_1822_internal
c 669 X_2328_1825_internal
c 670 X_2329_2039_internal
c 671 X_2330_2742_internal
c 672 X_2331_2043_internal
c 673 X_2332_2750_internal
c 674 X_2333_2047_internal
c 675 X_2334_2758_internal
c 676 X_2335_2051_internal
c 677 X_2336_2766_internal
c 678 X_2337_2055_internal
c 679 X_2338_2774_internal
c 680 X_2339_2059_internal
c 681 X_2340_2782_internal
c 682 X_2354_2663_internal
c 683 X_2355_2664_internal
c 684 X_2356_2673_internal
c 685 X_2357_2674_internal
c 686 X_2358_146_internal
c 687 X_2359_462_internal
c 688 X_2364_2113_internal
c 689 X_2365_2114_internal
c 690 X_2366_2122_internal
c 691 X_2367_2129_internal
c 692 X_2372_2167_internal
c 693 X_2373_2168_internal
c 694 X_2374_2176_internal
c 695 X_2375_2241_internal
c 696 X_2376_2266_internal
c 697 X_2377_743_internal
c 698 X_2386_886_internal
c 699 X_2395_1006_internal
c 700 X_2400_1550_internal
c 701 X_2403_2354_internal
c 702 X_2406_2541_internal
c 703 X_2407_1562_internal
c 704 X_2408_1566_internal
c 705 X_2409_1570_internal
c 706 X_2410_1574_internal
c 707 X_2411_1578_internal
c 708 X_2412_1582_internal
c 709 X_2413_1586_internal
c 710 X_2414_1590_internal
c 711 X_2415_1594_internal
c 712 X_2416_1598_internal
c 713 X_2417_1754_internal
c 714 X_2421_1763_internal
c 715 X_2425_1772_internal
c 716 X_2428_2040_internal
c 717 X_2429_2044_internal
c 718 X_2430_2048_internal
c 719 X_2431_2052_internal
c 720 X_2432_2056_internal
c 721 X_2433_2060_internal
c 722 X_2452_2157_internal
c 723 X_2453_2160_internal
c 724 X_2469_2207_internal
c 725 X_2484_2543_internal
c 726 X_2487_2709_internal
c 727 X_2490_2712_internal
c 728 X_2493_2727_internal
c 729 X_2496_148_output
c 730 X_2503_569_internal
c 731 X_2504_570_internal
c 732 X_2510_599_internal
c 733 X_2511_600_internal
c 734 X_2521_896_internal
c 735 X_2528_1549_internal
c 736 X_2531_1243_internal
c 737 X_2534_1245_internal
c 738 X_2544_1563_internal
c 739 X_2545_1567_internal
c 740 X_2546_1571_internal
c 741 X_2547_1575_internal
c 742 X_2548_1579_internal
c 743 X_2549_1583_internal
c 744 X_2550_1587_internal
c 745 X_2551_1591_internal
c 746 X_2552_1595_internal
c 747 X_2553_1599_internal
c 748 X_2563_2041_internal
c 749 X_2564_2045_internal
c 750 X_2565_2049_internal
c 751 X_2566_2053_internal
c 752 X_2567_2057_internal
c 753 X_2568_2061_internal
c 754 X_2579_2159_internal
c 755 X_2607_490_internal
c 756 X_2608_496_internal
c 757 X_2609_502_internal
c 758 X_2610_508_internal
c 759 X_2611_765_internal
c 760 X_2612_769_internal
c 761 X_2613_571_internal
c 762 X_2617_2121_internal
c 763 X_2618_579_internal
c 764 X_2619_587_internal
c 765 X_2620_2130_internal
c 766 X_2621_596_internal
c 767 X_2624_601_internal
c 768 X_2628_2175_internal
c 769 X_2629_609_internal
c 770 X_2630_2258_internal
c 771 X_2631_1014_internal
c 772 X_2632_1018_internal
c 773 X_2633_717_internal
c 774 X_2634_723_internal
c 775 X_2635_729_internal
c 776 X_2636_735_internal
c 777 X_2638_753_internal
c 778 X_2645_2338_internal
c 779 X_2646_999_internal
c 780 X_2652_1091_internal
c 781 X_2655_2346_internal
c 782 X_2656_2426_internal
c 783 X_2663_2549_internal
c 784 X_2664_1552_internal
c 785 X_2665_1600_internal
c 786 X_2666_1596_internal
c 787 X_2667_1592_internal
c 788 X_2668_1588_internal
c 789 X_2669_1584_internal
c 790 X_2670_1580_internal
c 791 X_2671_1576_internal
c 792 X_2672_1572_internal
c 793 X_2673_1568_internal
c 794 X_2674_1564_internal
c 795 X_2675_2062_internal
c 796 X_2676_2058_internal
c 797 X_2677_2054_internal
c 798 X_2678_2050_internal
c 799 X_2679_2046_internal
c 800 X_2680_2042_internal
c 801 X_2681_1758_internal
c 802 X_2684_1767_internal
c 803 X_2693_2733_internal
c 804 X_2694_1829_internal
c 805 X_2695_2137_internal
c 806 X_2696_2138_internal
c 807 X_2697_2147_internal
c 808 X_2698_2148_internal
c 809 X_2699_2183_internal
c 810 X_2700_2184_internal
c 811 X_2701_2193_internal
c 812 X_2702_2194_internal
c 813 X_2703_2210_internal
c 814 X_2706_2213_internal
c 815 X_2707_2715_internal
c 816 X_2708_2716_internal
c 817 X_2709_1094_internal
c 818 X_2710_1096_internal
c 819 X_2719_578_internal
c 820 X_2720_588_internal
c 821 X_2726_608_internal
c 822 X_2743_1092_internal
c 823 X_2747_1551_internal
c 824 X_2748_1554_internal
c 825 X_2749_1555_internal
c 826 X_2750_1557_internal
c 827 X_2751_1558_internal
c 828 X_2760_1828_internal
c 829 X_2771_2139_internal
c 830 X_2772_2140_internal
c 831 X_2773_2149_internal
c 832 X_2774_2150_internal
c 833 X_2775_2185_internal
c 834 X_2776_2186_internal
c 835 X_2777_2195_internal
c 836 X_2778_2196_internal
c 837 X_2781_2717_internal
c 838 X_2782_2718_internal
c 839 X_2783_154_internal
c 840 X_2784_155_internal
c 841 X_2789_763_internal
c 842 X_2790_767_internal
c 843 X_2791_531_internal
c 844 X_2792_537_internal
c 845 X_2793_575_internal
c 846 X_2796_580_internal
c 847 X_2800_589_internal
c 848 X_2803_605_internal
c 849 X_2806_610_internal
c 850 X_2809_1012_internal
c 851 X_2810_1016_internal
c 852 X_2811_705_internal
c 853 X_2812_711_internal
c 854 X_2817_1093_internal
c 855 X_2826_1553_internal
c 856 X_2829_1556_internal
c 857 X_2830_1559_internal
c 858 X_2837_1801_internal
c 859 X_2838_1805_internal
c 860 X_2839_1815_internal
c 861 X_2840_1818_internal
c 862 X_2841_1830_internal
c 863 X_2874_2197_internal
c 864 X_2877_2200_internal
c 865 X_2880_2214_internal
c 866 X_2881_2215_internal
c 867 X_2882_2217_internal
c 868 X_2885_2220_internal
c 869 X_2888_2722_internal
c 870 X_2891_156_output
c 871 X_2894_492_internal
c 872 X_2895_498_internal
c 873 X_2896_504_internal
c 874 X_2897_510_internal
c 875 X_2898_519_internal
c 876 X_2899_525_internal
c 877 X_2900_533_internal
c 878 X_2901_539_internal
c 879 X_2914_693_internal
c 880 X_2915_699_internal
c 881 X_2916_707_internal
c 882 X_2917_713_internal
c 883 X_2918_719_internal
c 884 X_2919_725_internal
c 885 X_2920_731_internal
c 886 X_2921_737_internal
c 887 X_2931_1560_internal
c 888 X_2938_1814_internal
c 889 X_2939_1817_internal
c 890 X_2963_2216_internal
c 891 X_2970_227_output
c 892 X_2971_229_output
c 893 X_2972_493_internal
c 894 X_2975_499_internal
c 895 X_2978_505_internal
c 896 X_2981_511_internal
c 897 X_2984_521_internal
c 898 X_2985_527_internal
c 899 X_2986_534_internal
c 900 X_2989_540_internal
c 901 X_2992_584_internal
c 902 X_3007_676_internal
c 903 X_3008_695_internal
c 904 X_3009_701_internal
c 905 X_3010_708_internal
c 906 X_3013_714_internal
c 907 X_3016_720_internal
c 908 X_3019_726_internal
c 909 X_3022_732_internal
c 910 X_3025_738_internal
c 911 X_3028_1087_internal
c 912 X_3029_1108_internal
c 913 X_3030_1361_internal
c 914 X_3035_1369_internal
c 915 X_3036_1373_internal
c 916 X_3037_1377_internal
c 917 X_3039_1607_internal
c 918 X_3044_1615_internal
c 919 X_3045_1619_internal
c 920 X_3046_1623_internal
c 921 X_3047_1816_internal
c 922 X_3048_1819_internal
c 923 X_3049_2726_internal
c 924 X_3050_1842_internal
c 925 X_3053_1858_internal
c 926 X_3054_1863_internal
c 927 X_3055_1866_internal
c 928 X_3056_1868_internal
c 929 X_3057_1870_internal
c 930 X_3058_1872_internal
c 931 X_3059_1874_internal
c 932 X_3060_1876_internal
c 933 X_3061_1904_internal
c 934 X_3064_1920_internal
c 935 X_3065_1925_internal
c 936 X_3066_1928_internal
c 937 X_3067_1930_internal
c 938 X_3068_1932_internal
c 939 X_3069_1934_internal
c 940 X_3070_1936_internal
c 941 X_3071_1938_internal
c 942 X_3072_2203_internal
c 943 X_3073_2204_internal
c 944 X_3074_2223_internal
c 945 X_3075_2224_internal
c 946 X_3076_2238_internal
c 947 X_3079_150_output
c 948 X_3088_522_internal
c 949 X_3091_528_internal
c 950 X_3110_696_internal
c 951 X_3113_702_internal
c 952 X_3137_1881_internal
c 953 X_3140_1883_internal
c 954 X_3143_1885_internal
c 955 X_3146_1887_internal
c 956 X_3149_1889_internal
c 957 X_3152_1891_internal
c 958 X_3157_1943_internal
c 959 X_3160_1945_internal
c 960 X_3163_1947_internal
c 961 X_3166_1949_internal
c 962 X_3169_1951_internal
c 963 X_3172_1953_internal
c 964 X_3175_2205_internal
c 965 X_3176_2206_internal
c 966 X_3177_2225_internal
c 967 X_3178_2226_internal
c 968 X_3180_2719_internal
c 969 X_3187_616_internal
c 970 X_3188_620_internal
c 971 X_3189_624_internal
c 972 X_3190_628_internal
c 973 X_3191_630_internal
c 974 X_3192_633_internal
c 975 X_3193_636_internal
c 976 X_3194_639_internal
c 977 X_3195_645_internal
c 978 X_3196_2242_internal
c 979 X_3197_675_internal
c 980 X_3208_1107_internal
c 981 X_3215_1368_internal
c 982 X_3216_1371_internal
c 983 X_3217_1375_internal
c 984 X_3218_1614_internal
c 985 X_3219_1617_internal
c 986 X_3220_1621_internal
c 987 X_3222_1856_internal
c 988 X_3223_1861_internal
c 989 X_3230_1918_internal
c 990 X_3231_1923_internal
c 991 X_3238_2230_internal
c 992 X_3241_2246_internal
c 993 X_3281_629_internal
c 994 X_3282_632_internal
c 995 X_3283_635_internal
c 996 X_3284_638_internal
c 997 X_3286_646_internal
c 998 X_3288_677_internal
c 999 X_3289_1827_internal
c 1000 X_3291_907_internal
c 1001 X_3293_915_internal
c 1002 X_3295_922_internal
c 1003 X_3296_924_internal
c 1004 X_3299_937_internal
c 1005 X_3301_946_internal
c 1006 X_3302_1109_internal
c 1007 X_3304_1125_internal
c 1008 X_3306_1133_internal
c 1009 X_3308_1140_internal
c 1010 X_3309_1142_internal
c 1011 X_3312_1155_internal
c 1012 X_3314_1164_internal
c 1013 X_3315_1378_internal
c 1014 X_3318_1380_internal
c 1015 X_3321_1382_internal
c 1016 X_3324_1624_internal
c 1017 X_3327_1626_internal
c 1018 X_3330_1628_internal
c 1019 X_3333_2725_internal
c 1020 X_3334_1859_internal
c 1021 X_3335_1864_internal
c 1022 X_3336_1921_internal
c 1023 X_3337_1926_internal
c 1024 X_3400_647_internal
c 1025 X_3401_631_internal
c 1026 X_3402_634_internal
c 1027 X_3403_637_internal
c 1028 X_3404_640_internal
c 1029 X_3405_2234_internal
c 1030 X_3406_2250_internal
c 1031 X_3409_679_internal
c 1032 X_3410_1826_internal
c 1033 X_3412_2274_internal
c 1034 X_3414_2282_internal
c 1035 X_3416_2290_internal
c 1036 X_3418_2298_internal
c 1037 X_3420_2306_internal
c 1038 X_3422_2314_internal
c 1039 X_3428_1110_internal
c 1040 X_3430_2362_internal
c 1041 X_3432_2370_internal
c 1042 X_3434_2378_internal
c 1043 X_3436_2386_internal
c 1044 X_3438_2394_internal
c 1045 X_3440_2402_internal
c 1046 X_3450_1877_internal
c 1047 X_3453_1879_internal
c 1048 X_3456_1939_internal
c 1049 X_3459_1941_internal
c 1050 X_3478_143_internal
c 1051 X_3479_671_internal
c 1052 X_3480_674_internal
c 1053 X_3481_686_internal
c 1054 X_3482_2273_internal
c 1055 X_3483_900_internal
c 1056 X_3484_2281_internal
c 1057 X_3485_909_internal
c 1058 X_3486_2289_internal
c 1059 X_3487_917_internal
c 1060 X_3488_2297_internal
c 1061 X_3489_926_internal
c 1062 X_3490_2305_internal
c 1063 X_3491_929_internal
c 1064 X_3492_2313_internal
c 1065 X_3493_939_internal
c 1066 X_3494_2322_internal
c 1067 X_3496_2330_internal
c 1068 X_3498_967_internal
c 1069 X_3499_1104_internal
c 1070 X_3500_1106_internal
c 1071 X_3501_2361_internal
c 1072 X_3502_1118_internal
c 1073 X_3503_2369_internal
c 1074 X_3504_1127_internal
c 1075 X_3505_2377_internal
c 1076 X_3506_1135_internal
c 1077 X_3507_2385_internal
c 1078 X_3508_1144_internal
c 1079 X_3509_2393_internal
c 1080 X_3510_1147_internal
c 1081 X_3511_2401_internal
c 1082 X_3512_1157_internal
c 1083 X_3513_2410_internal
c 1084 X_3515_2418_internal
c 1085 X_3517_1184_internal
c 1086 X_3522_2227_internal
c 1087 X_3525_2243_internal
c 1088 X_3546_145_output
c 1089 X_3551_687_internal
c 1090 X_3552_899_internal
c 1091 X_3553_908_internal
c 1092 X_3554_916_internal
c 1093 X_3555_925_internal
c 1094 X_3556_928_internal
c 1095 X_3557_938_internal
c 1096 X_3558_954_internal
c 1097 X_3559_961_internal
c 1098 X_3563_1117_internal
c 1099 X_3564_1126_internal
c 1100 X_3565_1134_internal
c 1101 X_3566_1143_internal
c 1102 X_3567_1146_internal
c 1103 X_3568_1156_internal
c 1104 X_3569_1172_internal
c 1105 X_3570_1179_internal
c 1106 X_3592_2233_internal
c 1107 X_3593_642_internal
c 1108 X_3594_2249_internal
c 1109 X_3595_649_internal
c 1110 X_3596_2257_internal
c 1111 X_3597_665_internal
c 1112 X_3598_684_internal
c 1113 X_3599_2265_internal
c 1114 X_3600_688_internal
c 1115 X_3603_901_internal
c 1116 X_3608_910_internal
c 1117 X_3612_918_internal
c 1118 X_3615_927_internal
c 1119 X_3616_930_internal
c 1120 X_3622_940_internal
c 1121 X_3629_2337_internal
c 1122 X_3630_963_internal
c 1123 X_3631_2345_internal
c 1124 X_3632_1099_internal
c 1125 X_3633_1115_internal
c 1126 X_3634_2353_internal
c 1127 X_3635_1119_internal
c 1128 X_3640_1128_internal
c 1129 X_3644_1136_internal
c 1130 X_3647_1145_internal
c 1131 X_3648_1148_internal
c 1132 X_3654_1158_internal
c 1133 X_3661_2425_internal
c 1134 X_3662_1181_internal
c 1135 X_3667_641_internal
c 1136 X_3668_648_internal
c 1137 X_3669_664_internal
c 1138 X_3670_683_internal
c 1139 X_3691_2321_internal
c 1140 X_3692_948_internal
c 1141 X_3693_2329_internal
c 1142 X_3694_956_internal
c 1143 X_3695_962_internal
c 1144 X_3696_1098_internal
c 1145 X_3697_1114_internal
c 1146 X_3716_2409_internal
c 1147 X_3717_1166_internal
c 1148 X_3718_2417_internal
c 1149 X_3719_1174_internal
c 1150 X_3720_1180_internal
c 1151 X_3721_643_internal
c 1152 X_3722_650_internal
c 1153 X_3723_666_internal
c 1154 X_3726_681_internal
c 1155 X_3727_690_internal
c 1156 X_3728_947_internal
c 1157 X_3729_955_internal
c 1158 X_3730_964_internal
c 1159 X_3731_968_internal
c 1160 X_3732_970_internal
c 1161 X_3733_971_internal
c 1162 X_3734_972_internal
c 1163 X_3735_978_internal
c 1164 X_3736_979_internal
c 1165 X_3737_1100_internal
c 1166 X_3740_1112_internal
c 1167 X_3741_1165_internal
c 1168 X_3742_1173_internal
c 1169 X_3743_1182_internal
c 1170 X_3744_1185_internal
c 1171 X_3745_1187_internal
c 1172 X_3746_1188_internal
c 1173 X_3747_1189_internal
c 1174 X_3748_1195_internal
c 1175 X_3749_1196_internal
c 1176 X_3750_644_internal
c 1177 X_3753_884_internal
c 1178 X_3754_949_internal
c 1179 X_3758_957_internal
c 1180 X_3761_969_internal
c 1181 X_3762_973_internal
c 1182 X_3767_1167_internal
c 1183 X_3771_1175_internal
c 1184 X_3774_1186_internal
c 1185 X_3775_1190_internal
c 1186 X_3778_680_internal
c 1187 X_3779_682_internal
c 1188 X_3780_895_internal
c 1189 X_3790_1025_internal
c 1190 X_3793_1111_internal
c 1191 X_3794_1113_internal
c 1192 X_3802_685_internal
c 1193 X_3805_976_internal
c 1194 X_3806_977_internal
c 1195 X_3807_980_internal
c 1196 X_3808_981_internal
c 1197 X_3811_1116_internal
c 1198 X_3812_1193_internal
c 1199 X_3813_1194_internal
c 1200 X_3814_1197_internal
c 1201 X_3815_1198_internal
c 1202 X_3816_982_internal
c 1203 X_3817_983_internal
c 1204 X_3818_988_internal
c 1205 X_3819_1027_internal
c 1206 X_3820_1199_internal
c 1207 X_3821_1200_internal
c 1208 X_3822_1205_internal
c 1209 X_3823_984_internal
c 1210 X_3826_1085_internal
c 1211 X_3827_1201_internal
c 1212 X_3834_987_internal
c 1213 X_3835_990_internal
c 1214 X_3836_1204_internal
c 1215 X_3837_1207_internal
c 1216 X_3838_989_internal
c 1217 X_3839_1206_internal
c 1218 X_3840_991_internal
c 1219 X_3843_1208_internal
c 1220 X_3852_1221_internal
c 1221 X_3857_1238_internal
c 1222 X_3858_1239_internal
c 1223 X_3859_1240_internal
c 1224 X_3864_1247_internal
c 1225 X_3869_471_internal
c 1226 X_3870_473_internal
c 1227 X_3875_231_output
c 1228 X_3876_1088_internal
c 1229 X_3877_1089_internal
c 1230 X_3882_225_output
c
p cnf 1230 2876
-1230 -1229 0
-1229 489 0
-1229 1210 0
-1229 1228 0
-1228 -1210 -489 1229 0
-1228 855 0
-1228 911 0
-1228 1226 0
-1227 -1226 0
-1226 -911 -855 1228 0
-1226 1224 1225 0
-1225 1223 0
-1225 1224 0
-1225 1226 0
-1224 -1223 0
-1224 -1223 1225 0
-1224 1226 0
-1223 1221 1222 0
-1222 1218 0
-1222 1220 0
-1222 1223 0
-1221 1219 0
-1221 1220 0
-1221 1223 0
-1220 -1219 -1218 0
-1220 -1219 1221 0
-1220 -1218 1222 0
-1219 1215 1217 0
-1218 1213 1216 0
-1217 1185 0
-1217 1214 0
-1217 1219 0
-1216 1181 0
-1216 1212 0
-1216 1218 0
-1215 1208 0
-1215 1211 0
-1215 1219 0
-1214 -1211 0
-1214 -1185 1217 0
-1213 1204 0
-1213 1209 0
-1213 1218 0
-1212 -1209 0
-1212 -1181 1216 0
-1211 -1208 1215 0
-1211 1206 1207 0
-1210 862 0
-1210 1155 0
-1210 1205 0
-1209 -1204 1213 0
-1209 1202 1203 0
-1208 -1198 -1184 0
-1207 1197 0
-1207 1199 0
-1207 1211 0
-1206 1011 1174 1175 1200 1201 0
-1206 1211 0
-1205 -1189 0
-1205 -1155 -862 1210 0
-1204 -1193 -1180 0
-1203 1192 0
-1203 1194 0
-1203 1209 0
-1202 1004 1163 1164 1195 1196 0
-1202 1209 0
-1201 1085 0
-1201 1131 0
-1201 1132 0
-1201 1182 0
-1201 1183 0
-1201 1206 0
-1200 1105 0
-1200 1131 0
-1200 1132 0
-1200 1182 0
-1200 1206 0
-1199 -1197 1207 0
-1199 1131 0
-1199 1132 0
-1199 1169 0
-1199 1182 0
-1199 1183 0
-1198 -1185 0
-1197 1069 1190 1191 0
-1196 1068 0
-1196 1119 0
-1196 1120 0
-1196 1178 0
-1196 1179 0
-1196 1202 0
-1195 1097 0
-1195 1119 0
-1195 1120 0
-1195 1178 0
-1195 1202 0
-1194 -1192 1203 0
-1194 1119 0
-1194 1120 0
-1194 1158 0
-1194 1178 0
-1194 1179 0
-1193 -1181 0
-1192 1051 1186 1187 0
-1191 1039 0
-1191 1165 0
-1191 1166 0
-1191 1197 0
-1190 1070 0
-1190 1165 0
-1190 1197 0
-1189 285 0
-1189 1176 0
-1188 603 1177 0
-1187 1031 0
-1187 1153 0
-1187 1154 0
-1187 1192 0
-1186 1052 0
-1186 1153 0
-1186 1192 0
-1185 1007 1171 1172 1173 0
-1184 -1170 0
-1183 -1182 -1169 -1132 -1131 1199 0
-1183 -1182 -1132 -1131 -1085 1201 0
-1183 -1168 -1149 0
-1182 -1167 -1147 0
-1182 -1132 -1131 -1105 1200 0
-1181 1000 1160 1161 1162 0
-1180 -1159 0
-1179 -1178 -1158 -1120 -1119 1194 0
-1179 -1178 -1120 -1119 -1068 1196 0
-1179 -1157 -1142 0
-1178 -1156 -1140 0
-1178 -1120 -1119 -1097 1195 0
-1177 199 0
-1177 1152 0
-1177 1188 0
-1176 -1151 0
-1176 -285 1189 0
-1175 1104 0
-1175 1131 0
-1175 1132 0
-1175 1206 0
-1174 1012 0
-1174 1131 0
-1174 1206 0
-1173 1010 0
-1173 1127 0
-1173 1128 0
-1173 1129 0
-1173 1185 0
-1172 1009 0
-1172 1127 0
-1172 1128 0
-1172 1185 0
-1171 1008 0
-1171 1127 0
-1171 1185 0
-1170 1127 0
-1170 1128 0
-1170 1129 0
-1170 1130 0
-1169 -1150 -1134 0
-1168 -1148 -950 0
-1167 -1146 -951 0
-1166 -1165 -1039 1191 0
-1166 -1145 -1125 0
-1165 -1144 -1124 0
-1165 -1070 1190 0
-1164 1096 0
-1164 1119 0
-1164 1120 0
-1164 1202 0
-1163 1005 0
-1163 1119 0
-1163 1202 0
-1162 1003 0
-1162 1115 0
-1162 1116 0
-1162 1117 0
-1162 1181 0
-1161 1002 0
-1161 1115 0
-1161 1116 0
-1161 1181 0
-1160 1001 0
-1160 1115 0
-1160 1181 0
-1159 1115 0
-1159 1116 0
-1159 1117 0
-1159 1118 0
-1158 -1143 -1122 0
-1157 -1141 -948 0
-1156 -1139 -949 0
-1155 -1114 0
-1154 -1153 -1031 1187 0
-1154 -1138 -1112 0
-1153 -1137 -1111 0
-1153 -1052 1186 0
-1152 -1136 -1109 0
-1152 -199 1177 0
-1151 -1135 -1107 0
-1150 -1133 -607 0
-1149 -1084 -1048 0
-1148 -1048 0
-1147 -1083 -1049 0
-1146 -1049 0
-1145 -1126 -540 0
-1144 -1123 -606 0
-1143 -1121 -607 0
-1142 -1067 -1046 0
-1141 -1046 0
-1140 -1066 -1047 0
-1139 -1047 0
-1138 -1113 -540 0
-1137 -1110 -606 0
-1136 -1108 -992 0
-1135 -1106 -991 0
-1134 -1018 -782 0
-1133 -1018 0
-1132 -1131 -1104 1175 0
-1132 -1103 -1082 0
-1131 -1102 -1080 0
-1131 -1012 1174 0
-1130 -1129 -1128 -1127 1170 0
-1130 -1101 -1078 0
-1129 -1128 -1127 -1010 1173 0
-1129 -1100 -1076 0
-1128 -1127 -1009 1172 0
-1128 -1099 -1074 0
-1127 -1098 -1072 0
-1127 -1008 1171 0
-1126 -1016 0
-1125 -1016 -701 0
-1124 -1017 -781 0
-1123 -1017 0
-1122 -1015 -778 0
-1121 -1015 0
-1120 -1119 -1096 1164 0
-1120 -1095 -1065 0
-1119 -1094 -1063 0
-1119 -1005 1163 0
-1118 -1117 -1116 -1115 1159 0
-1118 -1093 -1061 0
-1117 -1116 -1115 -1003 1162 0
-1117 -1092 -1059 0
-1116 -1115 -1002 1161 0
-1116 -1091 -1057 0
-1115 -1090 -1055 0
-1115 -1001 1160 0
-1114 285 0
-1114 1089 0
-1113 -1013 0
-1112 -1013 -696 0
-1111 -1014 -770 0
-1110 -1014 0
-1109 -1087 -1030 0
-1108 -1087 0
-1107 -1086 -1029 0
-1106 -1086 0
-1105 950 0
-1105 1048 0
-1104 951 0
-1104 1049 0
-1103 -1081 -905 0
-1102 -1079 -906 0
-1101 -1077 -907 0
-1100 -1075 -908 0
-1099 -1073 -909 0
-1098 -1071 -910 0
-1097 948 0
-1097 1046 0
-1096 949 0
-1096 1047 0
-1095 -1064 -899 0
-1094 -1062 -900 0
-1093 -1060 -893 0
-1092 -1058 -894 0
-1091 -1056 -895 0
-1090 -1054 -896 0
-1089 -1053 0
-1089 -285 1114 0
-1088 523 1050 0
-1087 -1028 -1027 0
-1086 -1026 -1025 0
-1085 607 0
-1085 1018 0
-1084 -950 0
-1083 -951 0
-1082 -1045 -958 0
-1081 -958 0
-1080 -1044 -959 0
-1079 -959 0
-1078 -1043 -960 0
-1077 -960 0
-1076 -1042 -961 0
-1075 -961 0
-1074 -1041 -962 0
-1073 -962 0
-1072 -1040 -963 0
-1071 -963 0
-1070 540 0
-1070 1016 0
-1069 606 0
-1069 1017 0
-1069 1197 0
-1068 607 0
-1068 1015 0
-1067 -948 0
-1066 -949 0
-1065 -1038 -952 0
-1064 -952 0
-1063 -1037 -953 0
-1062 -953 0
-1061 -1036 -954 0
-1060 -954 0
-1059 -1035 -955 0
-1058 -955 0
-1057 -1034 -956 0
-1056 -956 0
-1055 -1033 -957 0
-1054 -957 0
-1053 -1032 -999 0
-1052 540 0
-1052 1013 0
-1051 606 0
-1051 1014 0
-1051 1192 0
-1050 249 0
-1050 1024 0
-1050 1088 0
-1049 -951 1104 0
-1049 8 0
-1049 1023 0
-1048 -950 1105 0
-1048 8 0
-1048 1022 0
-1047 -949 1096 0
-1047 8 0
-1047 1021 0
-1046 -948 1097 0
-1046 8 0
-1046 1020 0
-1045 -905 0
-1044 -906 0
-1043 -907 0
-1042 -908 0
-1041 -909 0
-1040 -910 0
-1039 539 0
-1039 1006 0
-1038 -899 0
-1037 -900 0
-1036 -893 0
-1035 -894 0
-1034 -895 0
-1033 -896 0
-1032 -1019 -869 0
-1031 539 0
-1031 998 0
-1030 -992 0
-1029 -991 0
-1028 -996 0
-1028 -976 0
-1027 -995 0
-1027 -975 0
-1026 -994 0
-1026 -974 0
-1025 -993 0
-1025 -973 0
-1024 -997 -977 0
-1024 -249 1050 0
-1023 -8 1049 0
-1023 935 990 0
-1022 -8 1048 0
-1022 934 989 0
-1021 -8 1047 0
-1021 926 988 0
-1020 -8 1046 0
-1020 925 987 0
-1019 -968 0
-1018 -607 1085 0
-1018 920 986 0
-1017 -606 1069 0
-1017 919 985 0
-1016 -540 1070 0
-1016 918 984 0
-1015 -607 1068 0
-1015 916 983 0
-1014 -606 1051 0
-1014 915 982 0
-1013 -540 1052 0
-1013 914 981 0
-1012 905 0
-1012 958 0
-1011 906 0
-1011 959 0
-1011 1206 0
-1010 907 0
-1010 960 0
-1009 908 0
-1009 961 0
-1008 909 0
-1008 962 0
-1007 910 0
-1007 963 0
-1007 1185 0
-1006 -539 1039 0
-1006 912 980 0
-1005 899 0
-1005 952 0
-1004 900 0
-1004 953 0
-1004 1202 0
-1003 893 0
-1003 954 0
-1002 894 0
-1002 955 0
-1001 895 0
-1001 956 0
-1000 896 0
-1000 957 0
-1000 1181 0
-999 -968 -923 0
-998 -539 1031 0
-998 902 979 0
-997 -978 -490 0
-996 602 0
-996 848 0
-996 972 0
-995 766 0
-995 767 0
-995 971 0
-994 761 0
-994 901 0
-994 970 0
-993 845 0
-993 846 0
-993 969 0
-992 -967 -966 0
-991 -965 -964 0
-990 278 0
-990 933 0
-990 1023 0
-989 277 0
-989 933 0
-989 1022 0
-988 278 0
-988 924 0
-988 1021 0
-987 277 0
-987 924 0
-987 1020 0
-986 276 0
-986 917 0
-986 1018 0
-985 275 0
-985 917 0
-985 1017 0
-984 274 0
-984 917 0
-984 1016 0
-983 276 0
-983 913 0
-983 1015 0
-982 275 0
-982 913 0
-982 1014 0
-981 274 0
-981 913 0
-981 1013 0
-980 273 0
-980 917 0
-980 1006 0
-979 273 0
-979 913 0
-979 998 0
-978 -946 0
-977 -946 -695 0
-976 766 0
-976 848 0
-976 849 0
-975 602 0
-975 767 0
-975 849 0
-974 845 0
-974 847 0
-974 901 0
-973 761 0
-973 846 0
-973 847 0
-972 -849 0
-972 -848 -602 996 0
-971 -849 0
-971 -767 -766 995 0
-970 -901 -761 994 0
-970 -847 0
-969 -847 0
-969 -846 -845 993 0
-968 -922 -921 0
-967 -945 -867 0
-966 -944 -868 0
-965 -943 -863 0
-964 -942 -864 0
-963 -910 1007 0
-963 634 0
-963 941 0
-962 -909 1008 0
-962 634 0
-962 940 0
-961 -908 1009 0
-961 634 0
-961 939 0
-960 -907 1010 0
-960 634 0
-960 938 0
-959 -906 1011 0
-959 8 0
-959 937 0
-958 -905 1012 0
-958 8 0
-958 936 0
-957 -896 1000 0
-957 634 0
-957 932 0
-956 -895 1001 0
-956 634 0
-956 931 0
-955 -894 1002 0
-955 634 0
-955 930 0
-954 -893 1003 0
-954 634 0
-954 929 0
-953 -900 1004 0
-953 8 0
-953 928 0
-952 -899 1005 0
-952 8 0
-952 927 0
-951 -904 0
-950 -903 0
-949 -898 0
-948 -897 0
-947 -887 0
-946 -890 -866 0
-945 -868 0
-944 -867 0
-943 -864 0
-942 -863 0
-941 -634 963 0
-941 274 0
-941 687 0
-940 -634 962 0
-940 273 0
-940 687 0
-939 -634 961 0
-939 272 0
-939 687 0
-938 -634 960 0
-938 271 0
-938 687 0
-937 -8 959 0
-937 270 0
-937 687 0
-936 -8 958 0
-936 269 0
-936 687 0
-935 268 0
-935 687 0
-935 1023 0
-934 267 0
-934 687 0
-934 1022 0
-933 -687 0
-933 -278 990 0
-933 -277 989 0
-932 -634 957 0
-932 274 0
-932 687 0
-931 -634 956 0
-931 273 0
-931 687 0
-930 -634 955 0
-930 272 0
-930 687 0
-929 -634 954 0
-929 271 0
-929 687 0
-928 -8 953 0
-928 270 0
-928 687 0
-927 -8 952 0
-927 269 0
-927 687 0
-926 268 0
-926 687 0
-926 1021 0
-925 267 0
-925 687 0
-925 1020 0
-924 -687 0
-924 -278 988 0
-924 -277 987 0
-923 -869 0
-922 -889 0
-922 -861 0
-921 -888 0
-921 -860 0
-920 266 0
-920 687 0
-920 1018 0
-919 265 0
-919 687 0
-919 1017 0
-918 255 0
-918 687 0
-918 1016 0
-917 -687 0
-917 -276 986 0
-917 -275 985 0
-917 -274 984 0
-917 -273 980 0
-916 266 0
-916 687 0
-916 1015 0
-915 265 0
-915 687 0
-915 1014 0
-914 255 0
-914 687 0
-914 1013 0
-913 -687 0
-913 -276 983 0
-913 -275 982 0
-913 -274 981 0
-913 -273 979 0
-912 254 0
-912 687 0
-912 1006 0
-911 -854 0
-910 -886 0
-909 -885 0
-908 -884 0
-907 -883 0
-906 -882 0
-905 -881 0
-904 8 0
-904 880 0
-903 8 0
-903 879 0
-902 254 0
-902 687 0
-902 998 0
-901 -847 -845 974 0
-901 -846 0
-900 -878 0
-899 -877 0
-898 8 0
-898 876 0
-897 8 0
-897 875 0
-896 -874 0
-895 -873 0
-894 -872 0
-893 -871 0
-892 -855 0
-891 -862 0
-890 -865 -724 0
-889 713 0
-889 802 0
-889 859 0
-888 714 0
-888 801 0
-888 858 0
-887 361 0
-887 856 0
-887 857 0
-886 634 0
-886 776 0
-885 634 0
-885 775 0
-884 634 0
-884 774 0
-883 634 0
-883 773 0
-882 8 0
-882 853 0
-881 8 0
-881 852 0
-880 -8 904 0
-880 772 851 0
-879 -8 903 0
-879 771 850 0
-878 8 0
-878 844 0
-877 8 0
-877 843 0
-876 -8 898 0
-876 760 842 0
-875 -8 897 0
-875 759 841 0
-874 634 0
-874 758 0
-873 634 0
-873 757 0
-872 634 0
-872 756 0
-871 634 0
-871 755 0
-870 -840 -839 0
-869 -838 -837 0
-868 -834 -833 0
-867 -836 -835 0
-866 -814 -813 0
-865 -813 0
-864 -830 -829 0
-863 -832 -831 0
-862 -828 -804 0
-861 715 0
-861 801 0
-861 802 0
-860 713 0
-860 714 0
-860 715 0
-859 -802 -713 889 0
-859 -715 0
-858 -801 -714 888 0
-858 -715 0
-857 -856 -361 887 0
-857 826 0
-857 827 0
-856 824 0
-856 825 0
-855 -823 -784 0
-854 10 0
-854 822 0
-853 -8 882 0
-853 498 0
-853 779 0
-852 -8 881 0
-852 497 0
-852 779 0
-851 496 0
-851 779 0
-851 880 0
-850 495 0
-850 779 0
-850 879 0
-849 -848 -766 976 0
-849 -821 -769 0
-849 -767 -602 975 0
-848 -767 0
-847 -846 -761 973 0
-847 -820 -764 0
-846 -819 -763 0
-845 -761 0
-844 -8 878 0
-844 498 0
-844 777 0
-843 -8 877 0
-843 497 0
-843 777 0
-842 496 0
-842 777 0
-842 876 0
-841 495 0
-841 777 0
-841 875 0
-840 736 818 0
-839 737 817 0
-838 -816 -726 0
-837 -815 -727 0
-836 -812 -611 0
-835 -811 -610 0
-834 -810 -609 0
-833 -809 -608 0
-832 -808 -611 0
-831 -807 -610 0
-830 -806 -609 0
-829 -805 -608 0
-828 -803 -488 0
-827 -826 857 0
-827 796 0
-827 797 0
-827 798 0
-827 799 0
-827 800 0
-826 577 0
-826 795 0
-825 -824 856 0
-825 790 0
-825 791 0
-825 792 0
-825 793 0
-825 794 0
-824 785 0
-824 786 0
-824 787 0
-824 788 0
-824 789 0
-823 -783 -583 0
-822 -780 0
-822 -10 854 0
-821 -768 -540 0
-820 -765 -626 0
-819 -762 -540 0
-818 637 0
-818 736 0
-818 840 0
-817 638 0
-817 737 0
-817 839 0
-816 -727 0
-815 -726 0
-814 -724 0
-813 -754 -723 0
-812 -610 0
-811 -611 0
-810 -608 0
-809 -609 0
-808 -610 0
-807 -611 0
-806 -608 0
-805 -609 0
-804 -728 -518 0
-803 -728 0
-802 -801 -715 861 0
-802 -714 0
-801 -713 0
-800 -799 -798 -797 -796 827 0
-800 -748 0
-799 -749 0
-798 -750 0
-797 -751 0
-796 -752 0
-795 -753 0
-795 -577 826 0
-794 -793 -792 -791 -790 825 0
-794 -738 0
-793 -739 0
-792 -740 0
-791 -741 0
-790 -742 0
-789 -788 -787 -786 -785 824 0
-789 -743 0
-788 -744 0
-787 -745 0
-786 -746 0
-785 -747 0
-784 -725 -642 0
-783 -725 0
-782 -607 0
-781 -606 0
-780 -735 -700 0
-779 -600 0
-779 -498 853 0
-779 -497 852 0
-779 -496 851 0
-779 -495 850 0
-778 -607 0
-777 -600 0
-777 -498 844 0
-777 -497 843 0
-777 -496 842 0
-777 -495 841 0
-776 -634 886 0
-776 507 0
-776 699 0
-775 -634 885 0
-775 506 0
-775 699 0
-774 -634 884 0
-774 505 0
-774 699 0
-773 -634 883 0
-773 499 0
-773 699 0
-772 496 0
-772 600 0
-772 880 0
-771 495 0
-771 600 0
-771 879 0
-770 -606 0
-769 -694 -606 0
-768 -606 0
-767 -733 -732 0
-766 -602 0
-765 -607 0
-764 -691 -607 0
-763 -690 -606 0
-762 -606 0
-761 -731 -730 0
-760 496 0
-760 600 0
-760 876 0
-759 495 0
-759 600 0
-759 875 0
-758 -634 874 0
-758 507 0
-758 697 0
-757 -634 873 0
-757 506 0
-757 697 0
-756 -634 872 0
-756 505 0
-756 697 0
-755 -634 871 0
-755 499 0
-755 697 0
-754 -722 -491 0
-753 -721 -680 0
-752 -720 -678 0
-751 -719 -676 0
-750 -718 -674 0
-749 -717 -672 0
-748 -716 -670 0
-747 -712 -661 0
-746 -711 -659 0
-745 -710 -657 0
-744 -709 -655 0
-743 -708 -653 0
-742 -707 -651 0
-741 -706 -649 0
-740 -705 -647 0
-739 -704 -645 0
-738 -703 -643 0
-737 -638 0
-737 -638 817 0
-737 839 0
-736 -637 0
-736 -637 818 0
-736 840 0
-735 -702 -582 0
-734 535 698 0
-733 -693 -539 0
-732 -692 -538 0
-731 -689 -539 0
-730 -688 -538 0
-729 524 686 0
-728 -669 -668 0
-727 -683 -682 0
-726 -685 -684 0
-725 -640 -639 0
-724 -602 0
-723 -628 -627 0
-722 -627 0
-721 -681 -278 0
-720 -679 -277 0
-719 -677 -276 0
-718 -675 -275 0
-717 -673 -274 0
-716 -671 -273 0
-715 -714 -713 860 0
-715 -667 -666 0
-714 -665 -664 0
-713 -663 -619 0
-712 -662 -272 0
-711 -660 -271 0
-710 -658 -270 0
-709 -656 -269 0
-708 -654 -268 0
-707 -652 -267 0
-706 -650 -266 0
-705 -648 -265 0
-704 -646 -255 0
-703 -644 -254 0
-702 -629 0
-701 -540 0
-700 -641 -629 0
-699 -600 0
-699 -507 776 0
-699 -506 775 0
-699 -505 774 0
-699 -499 773 0
-698 199 0
-698 602 0
-698 734 0
-697 -600 0
-697 -507 758 0
-697 -506 757 0
-697 -505 756 0
-697 -499 755 0
-696 -540 0
-695 -490 0
-694 -540 0
-693 -538 0
-692 -539 0
-691 -626 0
-690 -540 0
-689 -538 0
-688 -539 0
-687 -600 0
-687 -274 932 0
-687 -274 941 0
-687 -273 931 0
-687 -273 940 0
-687 -272 930 0
-687 -272 939 0
-687 -271 929 0
-687 -271 938 0
-687 -270 928 0
-687 -270 937 0
-687 -269 927 0
-687 -269 936 0
-687 -268 926 0
-687 -268 935 0
-687 -267 925 0
-687 -267 934 0
-687 -266 916 0
-687 -266 920 0
-687 -265 915 0
-687 -265 919 0
-687 -255 914 0
-687 -255 918 0
-687 -254 902 0
-687 -254 912 0
-686 249 0
-686 602 0
-686 729 0
-685 -633 -504 0
-684 -632 -503 0
-683 -631 -502 0
-682 -630 -501 0
-681 -599 0
-680 -599 -483 0
-679 -598 0
-678 -598 -482 0
-677 -597 0
-676 -597 -481 0
-675 -596 0
-674 -596 -480 0
-673 -595 0
-672 -595 -479 0
-671 -594 0
-670 -594 -478 0
-669 -625 0
-669 -581 0
-668 -624 0
-668 -580 0
-667 -623 -500 0
-666 -622 -508 0
-665 -621 -507 0
-664 -620 -506 0
-663 -618 -509 0
-662 -593 0
-661 -593 -442 0
-660 -592 0
-659 -592 -441 0
-658 -591 0
-657 -591 -440 0
-656 -590 0
-655 -590 -439 0
-654 -589 0
-653 -589 -438 0
-652 -588 0
-651 -588 -437 0
-650 -587 0
-649 -587 -436 0
-648 -586 0
-647 -586 -435 0
-646 -585 0
-645 -585 -434 0
-644 -584 0
-643 -584 -433 0
-642 -583 0
-641 -582 0
-640 -617 0
-640 -576 0
-639 -616 0
-639 -575 0
-638 614 615 0
-637 612 613 0
-636 537 605 0
-635 536 604 0
-634 30 0
-634 544 0
-634 601 0
-633 -503 0
-632 -504 0
-631 -501 0
-630 -502 0
-629 -574 -573 0
-628 -491 0
-627 -534 0
-626 -495 0
-625 467 0
-625 517 0
-625 579 0
-624 468 0
-624 516 0
-624 578 0
-623 -508 0
-622 -500 0
-621 -506 0
-620 -507 0
-619 -556 -505 0
-618 -505 0
-617 430 0
-617 511 0
-617 572 0
-616 431 0
-616 510 0
-616 571 0
-615 504 0
-615 542 0
-615 638 0
-614 280 0
-614 542 0
-614 638 0
-613 503 0
-613 541 0
-613 637 0
-612 279 0
-612 541 0
-612 637 0
-611 -499 0
-610 -498 0
-609 -497 0
-608 -496 0
-607 -494 0
-606 -493 0
-605 250 0
-605 493 0
-605 636 0
-604 199 0
-604 494 0
-604 635 0
-603 250 0
-603 490 0
-603 1188 0
-602 -534 -235 0
-602 -249 686 0
-602 -199 698 0
-601 -544 -30 634 0
-601 -543 0
-600 -496 760 0
-600 -496 772 0
-600 -495 759 0
-600 -495 771 0
-600 30 0
-600 543 0
-600 544 0
-599 476 563 0
-598 475 562 0
-597 474 561 0
-596 473 560 0
-595 472 559 0
-594 471 558 0
-593 470 557 0
-592 466 555 0
-591 465 554 0
-590 464 553 0
-589 463 552 0
-588 462 551 0
-587 461 550 0
-586 460 549 0
-585 459 548 0
-584 458 547 0
-583 -567 -566 0
-582 -565 -520 0
-581 469 0
-581 516 0
-581 517 0
-580 467 0
-580 468 0
-580 469 0
-579 -517 -467 625 0
-579 -469 0
-578 -516 -468 624 0
-578 -469 0
-577 477 564 0
-576 432 0
-576 510 0
-576 511 0
-575 430 0
-575 431 0
-575 432 0
-574 -546 0
-574 -515 0
-573 -545 0
-573 -514 0
-572 -511 -430 617 0
-572 -432 0
-571 -510 -431 616 0
-571 -432 0
-570 -533 0
-569 -532 0
-568 249 525 0
-567 -522 -486 0
-566 -521 -487 0
-565 -519 -355 0
-564 23 0
-564 503 0
-564 577 0
-563 23 0
-563 502 0
-563 599 0
-562 23 0
-562 501 0
-562 598 0
-561 23 0
-561 500 0
-561 597 0
-560 23 0
-560 508 0
-560 596 0
-559 23 0
-559 507 0
-559 595 0
-558 23 0
-558 506 0
-558 594 0
-557 23 0
-557 505 0
-557 593 0
-556 -509 0
-555 12 0
-555 499 0
-555 592 0
-554 12 0
-554 498 0
-554 591 0
-553 12 0
-553 497 0
-553 590 0
-552 12 0
-552 496 0
-552 589 0
-551 12 0
-551 495 0
-551 588 0
-550 12 0
-550 494 0
-550 587 0
-549 12 0
-549 493 0
-549 586 0
-548 12 0
-548 492 0
-548 585 0
-547 12 0
-547 491 0
-547 584 0
-546 323 0
-546 429 0
-546 513 0
-545 324 0
-545 428 0
-545 512 0
-544 -543 -30 600 0
-544 -501 0
-543 236 0
-543 500 0
-542 -504 -280 0
-542 -504 615 0
-542 -280 614 0
-541 -503 -279 0
-541 -503 613 0
-541 -279 612 0
-540 -492 0
-539 -491 0
-538 -490 0
-537 199 0
-537 495 0
-537 636 0
-536 250 0
-536 492 0
-536 635 0
-535 250 0
-535 491 0
-535 734 0
-534 -492 0
-533 192 0
-533 197 0
-533 238 0
-533 489 0
-532 28 0
-532 192 0
-532 197 0
-532 489 0
-531 -494 0
-530 -495 0
-529 -496 0
-528 -500 0
-527 -502 0
-526 -501 0
-525 198 0
-525 491 0
-525 568 0
-524 198 0
-524 492 0
-524 729 0
-523 198 0
-523 490 0
-523 1088 0
-522 -487 0
-521 -486 0
-520 -485 -484 0
-519 -484 0
-518 -488 0
-517 -516 -469 581 0
-517 -468 0
-516 -467 0
-515 325 0
-515 428 0
-515 429 0
-514 323 0
-514 324 0
-514 325 0
-513 -429 -323 546 0
-513 -325 0
-512 -428 -324 545 0
-512 -325 0
-511 -510 -432 576 0
-511 -431 0
-510 -430 0
-509 334 443 444 445 0
-508 -23 560 0
-508 338 455 456 457 0
-507 -23 559 0
-507 337 452 453 454 0
-506 -23 558 0
-506 336 449 450 451 0
-505 -23 557 0
-505 335 446 447 448 0
-504 322 425 426 427 0
-503 -23 564 0
-503 321 422 423 424 0
-502 -23 563 0
-502 320 419 420 421 0
-501 -23 562 0
-501 319 416 417 418 0
-500 -236 543 0
-500 -23 561 0
-500 318 413 414 415 0
-499 -12 555 0
-499 315 410 411 412 0
-498 -12 554 0
-498 314 407 408 409 0
-497 -12 553 0
-497 313 404 405 406 0
-496 -12 552 0
-496 312 401 402 403 0
-495 -199 537 0
-495 -12 551 0
-495 311 398 399 400 0
-494 -199 604 0
-494 -12 550 0
-494 307 395 396 397 0
-493 -250 605 0
-493 -12 549 0
-493 306 392 393 394 0
-492 -250 536 0
-492 -198 524 0
-492 -12 548 0
-492 305 389 390 391 0
-491 -250 535 0
-491 -198 525 0
-491 -12 547 0
-491 304 386 387 388 0
-490 -250 603 0
-490 -198 523 0
-490 303 383 384 385 0
-489 -238 -197 -192 533 0
-489 -197 -192 -28 532 0
-489 381 0
-489 382 0
-488 -379 -378 0
-487 -375 -374 0
-486 -377 -376 0
-485 -355 0
-484 -373 -372 0
-483 -278 0
-482 -277 0
-481 -276 0
-480 -275 0
-479 -274 0
-478 -273 0
-477 22 0
-477 348 0
-477 577 0
-476 27 0
-476 348 0
-476 599 0
-475 26 0
-475 348 0
-475 598 0
-474 21 0
-474 348 0
-474 597 0
-473 25 0
-473 347 0
-473 596 0
-472 20 0
-472 347 0
-472 595 0
-471 24 0
-471 347 0
-471 594 0
-470 19 0
-470 347 0
-470 593 0
-469 -468 -467 580 0
-469 -371 -370 0
-468 -369 -368 0
-467 -367 -342 0
-466 18 0
-466 340 0
-466 592 0
-465 6 0
-465 340 0
-465 591 0
-464 17 0
-464 340 0
-464 590 0
-463 16 0
-463 340 0
-463 589 0
-462 15 0
-462 340 0
-462 588 0
-461 5 0
-461 339 0
-461 587 0
-460 14 0
-460 339 0
-460 586 0
-459 4 0
-459 339 0
-459 585 0
-458 13 0
-458 339 0
-458 584 0
-457 101 0
-457 222 0
-457 332 0
-457 508 0
-456 81 0
-456 221 0
-456 333 0
-456 508 0
-455 111 0
-455 332 0
-455 333 0
-455 508 0
-454 102 0
-454 222 0
-454 332 0
-454 507 0
-453 82 0
-453 221 0
-453 333 0
-453 507 0
-452 112 0
-452 332 0
-452 333 0
-452 507 0
-451 103 0
-451 222 0
-451 332 0
-451 506 0
-450 83 0
-450 221 0
-450 333 0
-450 506 0
-449 113 0
-449 332 0
-449 333 0
-449 506 0
-448 95 0
-448 222 0
-448 332 0
-448 505 0
-447 75 0
-447 221 0
-447 333 0
-447 505 0
-446 105 0
-446 332 0
-446 333 0
-446 505 0
-445 104 0
-445 222 0
-445 332 0
-445 509 0
-444 84 0
-444 221 0
-444 333 0
-444 509 0
-443 114 0
-443 332 0
-443 333 0
-443 509 0
-442 -272 0
-441 -271 0
-440 -270 0
-439 -269 0
-438 -268 0
-437 -267 0
-436 -266 0
-435 -265 0
-434 -255 0
-433 -254 0
-432 -431 -430 575 0
-432 -366 -365 0
-431 -364 -363 0
-430 -362 -327 0
-429 -428 -325 515 0
-429 -324 0
-428 -323 0
-427 222 0
-427 316 0
-427 504 0
-426 221 0
-426 317 0
-426 504 0
-425 316 0
-425 317 0
-425 504 0
-424 97 0
-424 222 0
-424 316 0
-424 503 0
-423 77 0
-423 221 0
-423 317 0
-423 503 0
-422 107 0
-422 316 0
-422 317 0
-422 503 0
-421 98 0
-421 222 0
-421 316 0
-421 502 0
-420 78 0
-420 221 0
-420 317 0
-420 502 0
-419 108 0
-419 316 0
-419 317 0
-419 502 0
-418 99 0
-418 222 0
-418 316 0
-418 501 0
-417 79 0
-417 221 0
-417 317 0
-417 501 0
-416 109 0
-416 316 0
-416 317 0
-416 501 0
-415 100 0
-415 222 0
-415 316 0
-415 500 0
-414 80 0
-414 221 0
-414 317 0
-414 500 0
-413 110 0
-413 316 0
-413 317 0
-413 500 0
-412 44 0
-412 196 0
-412 309 0
-412 499 0
-411 33 0
-411 193 0
-411 310 0
-411 499 0
-410 65 0
-410 309 0
-410 310 0
-410 499 0
-409 45 0
-409 196 0
-409 309 0
-409 498 0
-408 34 0
-408 193 0
-408 310 0
-408 498 0
-407 66 0
-407 309 0
-407 310 0
-407 498 0
-406 196 0
-406 309 0
-406 497 0
-405 35 0
-405 193 0
-405 310 0
-405 497 0
-404 67 0
-404 309 0
-404 310 0
-404 497 0
-403 46 0
-403 196 0
-403 309 0
-403 496 0
-402 36 0
-402 193 0
-402 310 0
-402 496 0
-401 68 0
-401 309 0
-401 310 0
-401 496 0
-400 47 0
-400 196 0
-400 309 0
-400 495 0
-399 37 0
-399 193 0
-399 310 0
-399 495 0
-398 69 0
-398 309 0
-398 310 0
-398 495 0
-397 48 0
-397 196 0
-397 301 0
-397 494 0
-396 38 0
-396 193 0
-396 302 0
-396 494 0
-395 70 0
-395 301 0
-395 302 0
-395 494 0
-394 49 0
-394 196 0
-394 301 0
-394 493 0
-393 39 0
-393 193 0
-393 302 0
-393 493 0
-392 71 0
-392 301 0
-392 302 0
-392 493 0
-391 50 0
-391 196 0
-391 301 0
-391 492 0
-390 40 0
-390 193 0
-390 302 0
-390 492 0
-389 72 0
-389 301 0
-389 302 0
-389 492 0
-388 42 0
-388 196 0
-388 301 0
-388 491 0
-387 31 0
-387 193 0
-387 302 0
-387 491 0
-386 63 0
-386 301 0
-386 302 0
-386 491 0
-385 51 0
-385 196 0
-385 301 0
-385 490 0
-384 41 0
-384 193 0
-384 302 0
-384 490 0
-383 73 0
-383 301 0
-383 302 0
-383 490 0
-382 -381 489 0
-382 -360 0
-381 -359 0
-380 -300 0
-379 -357 -220 0
-378 -356 -219 0
-377 -354 -212 0
-376 -353 -211 0
-375 -352 -210 0
-374 -351 -209 0
-373 -350 -202 0
-372 -349 -201 0
-371 -346 -218 0
-370 -345 -217 0
-369 -344 -216 0
-368 -343 -215 0
-367 -341 -233 0
-366 -331 -208 0
-365 -330 -207 0
-364 -329 -206 0
-363 -328 -205 0
-362 -326 -232 0
-361 251 308 0
-360 195 0
-360 299 0
-359 223 0
-359 298 0
-358 -295 0
-357 -219 0
-356 -220 0
-355 -293 -292 0
-354 -211 0
-353 -212 0
-352 -209 0
-351 -210 0
-350 -201 0
-349 -202 0
-348 -27 476 0
-348 -26 475 0
-348 -23 0
-348 -22 477 0
-348 -21 474 0
-347 -25 473 0
-347 -24 471 0
-347 -23 0
-347 -20 472 0
-347 -19 470 0
-346 -217 0
-345 -218 0
-344 -215 0
-343 -216 0
-342 -263 -214 0
-341 -214 0
-340 -18 466 0
-340 -17 464 0
-340 -16 463 0
-340 -15 462 0
-340 -12 0
-340 -6 465 0
-339 -14 460 0
-339 -13 458 0
-339 -12 0
-339 -5 461 0
-339 -4 459 0
-338 91 0
-338 221 0
-338 222 0
-338 508 0
-337 92 0
-337 221 0
-337 222 0
-337 507 0
-336 93 0
-336 221 0
-336 222 0
-336 506 0
-335 85 0
-335 221 0
-335 222 0
-335 505 0
-334 94 0
-334 221 0
-334 222 0
-334 509 0
-333 -332 -114 443 0
-333 -332 -113 449 0
-333 -332 -112 452 0
-333 -332 -111 455 0
-333 -332 -105 446 0
-333 -222 0
-333 -221 -84 444 0
-333 -221 -83 450 0
-333 -221 -82 453 0
-333 -221 -81 456 0
-333 -221 -75 447 0
-332 -222 -104 445 0
-332 -222 -103 451 0
-332 -222 -102 454 0
-332 -222 -101 457 0
-332 -222 -95 448 0
-332 -221 0
-331 -207 0
-330 -208 0
-329 -205 0
-328 -206 0
-327 -262 -204 0
-326 -204 0
-325 -324 -323 514 0
-325 -291 -290 0
-324 -289 -288 0
-323 -287 -286 0
-322 221 0
-322 222 0
-322 504 0
-321 87 0
-321 221 0
-321 222 0
-321 503 0
-320 88 0
-320 221 0
-320 222 0
-320 502 0
-319 89 0
-319 221 0
-319 222 0
-319 501 0
-318 90 0
-318 221 0
-318 222 0
-318 500 0
-317 -316 -110 413 0
-317 -316 -109 416 0
-317 -316 -108 419 0
-317 -316 -107 422 0
-317 -316 425 0
-317 -222 0
-317 -221 -80 414 0
-317 -221 -79 417 0
-317 -221 -78 420 0
-317 -221 -77 423 0
-317 -221 426 0
-316 -222 -100 415 0
-316 -222 -99 418 0
-316 -222 -98 421 0
-316 -222 -97 424 0
-316 -222 427 0
-316 -221 0
-315 54 0
-315 193 0
-315 196 0
-315 499 0
-314 55 0
-314 193 0
-314 196 0
-314 498 0
-313 56 0
-313 193 0
-313 196 0
-313 497 0
-312 57 0
-312 193 0
-312 196 0
-312 496 0
-311 58 0
-311 193 0
-311 196 0
-311 495 0
-310 -309 -69 398 0
-310 -309 -68 401 0
-310 -309 -67 404 0
-310 -309 -66 407 0
-310 -309 -65 410 0
-310 -196 0
-310 -193 -37 399 0
-310 -193 -36 402 0
-310 -193 -35 405 0
-310 -193 -34 408 0
-310 -193 -33 411 0
-309 -196 -47 400 0
-309 -196 -46 403 0
-309 -196 -45 409 0
-309 -196 -44 412 0
-309 -196 406 0
-309 -193 0
-308 9 0
-308 250 0
-308 361 0
-307 59 0
-307 193 0
-307 196 0
-307 494 0
-306 60 0
-306 193 0
-306 196 0
-306 493 0
-305 61 0
-305 193 0
-305 196 0
-305 492 0
-304 52 0
-304 193 0
-304 196 0
-304 491 0
-303 62 0
-303 193 0
-303 196 0
-303 490 0
-302 -301 -73 383 0
-302 -301 -72 389 0
-302 -301 -71 392 0
-302 -301 -70 395 0
-302 -301 -63 386 0
-302 -196 0
-302 -193 -41 384 0
-302 -193 -40 390 0
-302 -193 -39 393 0
-302 -193 -38 396 0
-302 -193 -31 387 0
-301 -196 -51 385 0
-301 -196 -50 391 0
-301 -196 -49 394 0
-301 -196 -48 397 0
-301 -196 -42 388 0
-301 -193 0
-300 252 0
-300 253 0
-299 -253 0
-299 -195 360 0
-298 -252 0
-298 -223 359 0
-297 -264 -195 0
-296 -264 0
-295 223 0
-295 264 0
-294 74 0
-294 191 0
-293 -282 -230 0
-292 -281 -231 0
-291 -261 -228 0
-290 -260 -229 0
-289 -259 -226 0
-288 -258 -227 0
-287 -257 -224 0
-286 -256 -225 0
-285 -248 0
-284 -247 0
-283 -237 0
-282 -231 0
-281 -230 0
-280 -220 0
-279 -219 0
-278 -218 0
-277 -217 0
-276 -216 0
-275 -215 0
-274 -214 0
-273 -212 0
-272 -211 0
-271 -210 0
-270 -209 0
-269 -208 0
-268 -207 0
-267 -206 0
-266 -205 0
-265 -204 0
-264 -223 295 0
-264 7 0
-264 197 0
-263 -233 0
-262 -232 0
-261 -229 0
-260 -228 0
-259 -227 0
-258 -226 0
-257 -225 0
-256 -224 0
-255 -202 0
-254 -201 0
-253 -252 300 0
-253 43 0
-253 53 0
-253 86 0
-253 96 0
-252 32 0
-252 64 0
-252 76 0
-252 106 0
-251 9 0
-251 199 0
-251 361 0
-250 -199 0
-250 -9 308 0
-249 -198 0
-249 568 0
-248 29 0
-247 2 0
-247 11 0
-247 197 0
-246 -86 0
-245 -43 0
-244 -96 0
-243 -53 0
-242 -76 0
-241 -64 0
-240 -106 0
-239 -32 0
-238 -234 0
-237 215 0
-237 216 0
-237 217 0
-237 218 0
-236 -203 0
-235 -194 0
-234 1 0
-234 3 0
-222 -221 -94 334 0
-222 -221 -93 336 0
-222 -221 -92 337 0
-222 -221 -91 338 0
-222 -221 -90 318 0
-222 -221 -89 319 0
-222 -221 -88 320 0
-222 -221 -87 321 0
-222 -221 -85 335 0
-222 -221 322 0
-218 -217 -216 -215 237 0
-199 -9 251 0
-197 -11 -2 247 0
-197 -7 264 0
-196 -193 -62 303 0
-196 -193 -61 305 0
-196 -193 -60 306 0
-196 -193 -59 307 0
-196 -193 -58 311 0
-196 -193 -57 312 0
-196 -193 -56 313 0
-196 -193 -55 314 0
-196 -193 -54 315 0
-196 -193 -52 304 0
-191 -74 294 0
-106 -76 -64 -32 252 0
-96 -86 -53 -43 253 0
-29 248 0
-3 -1 234 0
12 339 0
12 340 0
23 347 0
23 348 0
32 239 0
43 245 0
53 243 0
64 241 0
76 242 0
86 246 0
96 244 0
106 240 0
193 301 0
193 309 0
194 235 0
195 297 0
196 302 0
196 310 0
198 249 0
199 250 0
201 254 0
201 350 0
201 372 0
202 255 0
202 349 0
202 373 0
203 236 0
204 265 0
204 326 0
204 327 0
205 266 0
205 329 0
205 363 0
206 267 0
206 328 0
206 364 0
207 268 0
207 331 0
207 365 0
208 269 0
208 330 0
208 366 0
209 270 0
209 352 0
209 374 0
210 271 0
210 351 0
210 375 0
211 272 0
211 354 0
211 376 0
212 273 0
212 353 0
212 377 0
214 274 0
214 341 0
214 342 0
215 275 0
215 344 0
215 368 0
216 276 0
216 343 0
216 369 0
217 277 0
217 346 0
217 370 0
218 278 0
218 345 0
218 371 0
219 279 0
219 357 0
219 378 0
220 280 0
220 356 0
220 379 0
221 316 0
221 332 0
222 317 0
222 333 0
224 256 0
224 287 0
225 257 0
225 286 0
226 258 0
226 289 0
227 259 0
227 288 0
228 260 0
228 291 0
229 261 0
229 290 0
230 281 0
230 293 0
231 282 0
231 292 0
232 262 0
232 362 0
233 263 0
233 367 0
234 238 0
235 602 0
237 283 0
247 284 0
248 285 0
252 298 0
253 299 0
254 433 0
254 703 0
255 434 0
255 704 0
256 286 0
257 287 0
258 288 0
259 289 0
260 290 0
261 291 0
262 327 0
263 342 0
264 296 0
264 297 0
265 435 0
265 705 0
266 436 0
266 706 0
267 437 0
267 707 0
268 438 0
268 708 0
269 439 0
269 709 0
270 440 0
270 710 0
271 441 0
271 711 0
272 442 0
272 712 0
273 478 0
273 716 0
274 479 0
274 717 0
275 480 0
275 718 0
276 481 0
276 719 0
277 482 0
277 720 0
278 483 0
278 721 0
279 541 0
280 542 0
281 292 0
282 293 0
286 323 0
287 323 0
288 324 0
289 324 0
290 325 0
291 325 0
292 355 0
293 355 0
295 358 0
300 380 0
323 428 0
324 429 0
325 512 0
325 513 0
326 362 0
327 430 0
328 363 0
329 364 0
330 365 0
331 366 0
341 367 0
342 467 0
343 368 0
344 369 0
345 370 0
346 371 0
349 372 0
350 373 0
351 374 0
352 375 0
353 376 0
354 377 0
355 485 0
355 565 0
356 378 0
357 379 0
359 381 0
360 382 0
362 430 0
363 431 0
364 431 0
365 432 0
366 432 0
367 467 0
368 468 0
369 468 0
370 469 0
371 469 0
372 484 0
373 484 0
374 487 0
375 487 0
376 486 0
377 486 0
378 488 0
379 488 0
430 510 0
431 511 0
432 571 0
432 572 0
433 643 0
434 645 0
435 647 0
436 649 0
437 651 0
438 653 0
439 655 0
440 657 0
441 659 0
442 661 0
467 516 0
468 517 0
469 578 0
469 579 0
478 670 0
479 672 0
480 674 0
481 676 0
482 678 0
483 680 0
484 519 0
484 520 0
485 520 0
486 521 0
486 567 0
487 522 0
487 566 0
488 518 0
488 828 0
490 538 0
490 695 0
490 997 0
491 539 0
491 628 0
491 754 0
492 534 0
492 540 0
493 606 0
494 531 0
494 607 0
495 530 0
495 626 0
496 529 0
496 608 0
497 609 0
498 610 0
499 611 0
500 528 0
500 622 0
500 667 0
501 526 0
501 544 0
501 631 0
501 682 0
502 527 0
502 630 0
502 683 0
503 541 0
503 633 0
503 684 0
504 542 0
504 632 0
504 685 0
505 618 0
505 619 0
506 621 0
506 664 0
507 620 0
507 665 0
508 623 0
508 666 0
509 556 0
509 663 0
514 545 573 0
515 546 574 0
518 804 0
519 565 0
520 582 0
521 566 0
522 567 0
532 569 0
533 570 0
534 602 0
534 627 0
538 689 0
538 693 0
538 730 0
538 732 0
539 688 0
539 692 0
539 731 0
539 733 0
540 690 0
540 694 0
540 696 0
540 701 0
540 819 0
540 821 0
540 1138 0
540 1145 0
543 601 0
556 619 0
565 582 0
566 583 0
567 583 0
573 629 0
574 629 0
575 616 639 0
576 617 640 0
580 624 668 0
581 625 669 0
582 641 0
582 735 0
583 642 0
583 823 0
584 643 0
584 644 0
585 645 0
585 646 0
586 647 0
586 648 0
587 649 0
587 650 0
588 651 0
588 652 0
589 653 0
589 654 0
590 655 0
590 656 0
591 657 0
591 658 0
592 659 0
592 660 0
593 661 0
593 662 0
594 670 0
594 671 0
595 672 0
595 673 0
596 674 0
596 675 0
597 676 0
597 677 0
598 678 0
598 679 0
599 680 0
599 681 0
600 687 0
600 697 0
600 699 0
600 777 0
600 779 0
602 724 0
602 766 0
606 762 0
606 763 0
606 768 0
606 769 0
606 770 0
606 781 0
606 1137 0
606 1144 0
607 764 0
607 765 0
607 778 0
607 782 0
607 1143 0
607 1150 0
608 806 0
608 810 0
608 829 0
608 833 0
609 805 0
609 809 0
609 830 0
609 834 0
610 808 0
610 812 0
610 831 0
610 835 0
611 807 0
611 811 0
611 832 0
611 836 0
618 663 0
619 713 0
620 664 0
621 665 0
622 666 0
623 667 0
626 691 0
626 820 0
627 722 0
627 723 0
628 723 0
629 700 0
629 702 0
630 682 0
631 683 0
632 684 0
633 685 0
637 736 0
638 737 0
639 725 0
640 725 0
641 700 0
642 784 0
643 738 0
644 703 0
645 739 0
646 704 0
647 740 0
648 705 0
649 741 0
650 706 0
651 742 0
652 707 0
653 743 0
654 708 0
655 744 0
656 709 0
657 745 0
658 710 0
659 746 0
660 711 0
661 747 0
662 712 0
663 713 0
664 714 0
665 714 0
666 715 0
667 715 0
668 728 0
669 728 0
670 748 0
671 716 0
672 749 0
673 717 0
674 750 0
675 718 0
676 751 0
677 719 0
678 752 0
679 720 0
680 753 0
681 721 0
682 727 0
683 727 0
684 726 0
685 726 0
687 913 0
687 917 0
687 924 0
687 933 0
688 730 0
689 731 0
690 763 0
691 764 0
692 732 0
693 733 0
694 769 0
695 977 0
696 1112 0
700 780 0
701 1125 0
702 735 0
703 738 0
704 739 0
705 740 0
706 741 0
707 742 0
708 743 0
709 744 0
710 745 0
711 746 0
712 747 0
713 801 0
714 802 0
715 858 0
715 859 0
716 748 0
717 749 0
718 750 0
719 751 0
720 752 0
721 753 0
722 754 0
723 813 0
724 814 0
724 890 0
725 783 0
725 784 0
726 815 0
726 838 0
727 816 0
727 837 0
728 803 0
728 804 0
730 761 0
731 761 0
732 767 0
733 767 0
735 780 0
738 794 0
739 793 0
740 792 0
741 791 0
742 790 0
743 789 0
744 788 0
745 787 0
746 786 0
747 785 0
748 800 0
749 799 0
750 798 0
751 797 0
752 796 0
753 795 0
754 813 0
761 845 0
762 819 0
763 846 0
764 847 0
765 820 0
767 848 0
768 821 0
769 849 0
770 1111 0
778 1122 0
780 822 0
781 1124 0
782 1134 0
783 823 0
784 855 0
803 828 0
804 862 0
805 829 0
806 830 0
807 831 0
808 832 0
809 833 0
810 834 0
811 835 0
812 836 0
813 865 0
813 866 0
814 866 0
815 837 0
816 838 0
819 846 0
820 847 0
821 849 0
823 855 0
828 862 0
829 864 0
830 864 0
831 863 0
832 863 0
833 868 0
834 868 0
835 867 0
836 867 0
837 869 0
838 869 0
839 870 0
840 870 0
846 901 0
847 969 0
847 970 0
849 971 0
849 972 0
854 911 0
855 892 0
860 888 921 0
861 889 922 0
862 891 0
863 942 0
863 965 0
864 943 0
864 964 0
865 890 0
866 946 0
867 944 0
867 967 0
868 945 0
868 966 0
869 923 0
869 1032 0
871 893 0
872 894 0
873 895 0
874 896 0
877 899 0
878 900 0
881 905 0
882 906 0
883 907 0
884 908 0
885 909 0
886 910 0
887 947 0
890 946 0
893 1036 0
893 1093 0
894 1035 0
894 1092 0
895 1034 0
895 1091 0
896 1033 0
896 1090 0
897 948 0
898 949 0
899 1038 0
899 1095 0
900 1037 0
900 1094 0
903 950 0
904 951 0
905 1045 0
905 1103 0
906 1044 0
906 1102 0
907 1043 0
907 1101 0
908 1042 0
908 1100 0
909 1041 0
909 1099 0
910 1040 0
910 1098 0
921 968 0
922 968 0
923 999 0
942 964 0
943 965 0
944 966 0
945 967 0
946 977 0
946 978 0
948 1067 0
948 1157 0
949 1066 0
949 1156 0
950 1084 0
950 1168 0
951 1083 0
951 1167 0
952 1064 0
952 1065 0
953 1062 0
953 1063 0
954 1060 0
954 1061 0
955 1058 0
955 1059 0
956 1056 0
956 1057 0
957 1054 0
957 1055 0
958 1081 0
958 1082 0
959 1079 0
959 1080 0
960 1077 0
960 1078 0
961 1075 0
961 1076 0
962 1073 0
962 1074 0
963 1071 0
963 1072 0
964 991 0
965 991 0
966 992 0
967 992 0
968 999 0
968 1019 0
973 993 1025 0
974 994 1026 0
975 995 1027 0
976 996 1028 0
977 1024 0
978 997 0
991 1029 0
991 1135 0
992 1030 0
992 1136 0
997 1024 0
999 1053 0
1013 1112 0
1013 1113 0
1014 1110 0
1014 1111 0
1015 1121 0
1015 1122 0
1016 1125 0
1016 1126 0
1017 1123 0
1017 1124 0
1018 1133 0
1018 1134 0
1019 1032 0
1025 1086 0
1026 1086 0
1027 1087 0
1028 1087 0
1029 1107 0
1030 1109 0
1032 1053 0
1033 1055 0
1034 1057 0
1035 1059 0
1036 1061 0
1037 1063 0
1038 1065 0
1040 1072 0
1041 1074 0
1042 1076 0
1043 1078 0
1044 1080 0
1045 1082 0
1046 1141 0
1046 1142 0
1047 1139 0
1047 1140 0
1048 1148 0
1048 1149 0
1049 1146 0
1049 1147 0
1053 1089 0
1054 1090 0
1055 1115 0
1056 1091 0
1057 1116 0
1058 1092 0
1059 1117 0
1060 1093 0
1061 1118 0
1062 1094 0
1063 1119 0
1064 1095 0
1065 1120 0
1066 1140 0
1067 1142 0
1071 1098 0
1072 1127 0
1073 1099 0
1074 1128 0
1075 1100 0
1076 1129 0
1077 1101 0
1078 1130 0
1079 1102 0
1080 1131 0
1081 1103 0
1082 1132 0
1083 1147 0
1084 1149 0
1086 1106 0
1086 1107 0
1087 1108 0
1087 1109 0
1090 1115 0
1091 1116 0
1092 1117 0
1093 1118 0
1094 1119 0
1095 1120 0
1098 1127 0
1099 1128 0
1100 1129 0
1101 1130 0
1102 1131 0
1103 1132 0
1106 1135 0
1107 1151 0
1108 1136 0
1109 1152 0
1110 1137 0
1111 1153 0
1112 1154 0
1113 1138 0
1114 1155 0
1121 1143 0
1122 1158 0
1123 1144 0
1124 1165 0
1125 1166 0
1126 1145 0
1133 1150 0
1134 1169 0
1135 1151 0
1136 1152 0
1137 1153 0
1138 1154 0
1139 1156 0
1140 1178 0
1141 1157 0
1142 1179 0
1143 1158 0
1144 1165 0
1145 1166 0
1146 1167 0
1147 1182 0
1148 1168 0
1149 1183 0
1150 1169 0
1151 1176 0
1156 1178 0
1157 1179 0
1159 1180 0
1167 1182 0
1168 1183 0
1170 1184 0
1180 1204 0
1181 1193 0
1184 1208 0
1185 1198 0
1189 1205 0
1193 1204 0
1198 1208 0
1209 1212 0
1211 1214 0
1218 1220 0
1219 1220 0
1223 1224 0
1226 1227 0
1229 1230 0
%
0