G:=PermutationGroup<9240| (   2,   3)(   4,   5)(   6,   8)(   7,  10)(   9,  13)(  11,  15)
    (  12,  17)(  14,  20)(  16,  23)(  18,  25)(  19,  27)(  21,  30)
    (  22,  32)(  24,  35)(  26,  38)(  28,  40)(  29,  42)(  31,  45)
    (  33,  47)(  36,  51)(  37,  53)(  39,  55)(  41,  58)(  43,  60)
    (  44,  62)(  46,  65)(  49,  68)(  50,  70)(  52,  73)(  54,  75)
    (  56,  78)(  59,  82)(  63,  86)(  64,  88)(  66,  91)(  67,  93)
    (  69,  96)(  71,  98)(  72, 100)(  74, 103)(  76, 106)(  77, 108)
    (  80,  94)(  81, 112)(  83, 115)(  84, 117)(  85, 119)(  87, 122)
    (  89, 124)(  90, 126)(  92, 129)(  95, 132)(  97, 135)(  99, 138)
    ( 101, 140)( 102, 142)( 105, 146)( 107, 149)( 109, 151)( 110, 153)
    ( 111, 155)( 113, 157)( 114, 158)( 116, 161)( 118, 163)( 120, 166)
    ( 121, 168)( 123, 171)( 125, 174)( 127, 176)( 128, 178)( 130, 181)
    ( 131, 183)( 133, 169)( 134, 186)( 136, 189)( 139, 193)( 141, 196)
    ( 143, 198)( 144, 200)( 145, 202)( 147, 204)( 148, 206)( 150, 209)
    ( 152, 212)( 154, 214)( 156, 217)( 160, 221)( 162, 224)( 164, 227)
    ( 165, 228)( 167, 231)( 170, 234)( 172, 237)( 173, 239)( 175, 242)
    ( 177, 245)( 180, 248)( 182, 251)( 184, 254)( 185, 256)( 187, 258)
    ( 188, 260)( 190, 263)( 191, 264)( 192, 266)( 194, 269)( 195, 271)
    ( 197, 274)( 199, 277)( 201, 279)( 203, 282)( 205, 238)( 207, 272)
    ( 208, 287)( 210, 290)( 211, 292)( 213, 295)( 215, 298)( 216, 299)
    ( 218, 302)( 219, 304)( 220, 306)( 223, 309)( 225, 312)( 226, 314)
    ( 229, 318)( 230, 320)( 232, 323)( 233, 325)( 235, 327)( 236, 329)
    ( 240, 315)( 241, 334)( 243, 337)( 244, 339)( 246, 342)( 247, 344)
    ( 249, 346)( 250, 348)( 252, 351)( 253, 352)( 255, 355)( 257, 358)
    ( 259, 361)( 261, 363)( 262, 365)( 265, 369)( 267, 371)( 268, 373)
    ( 270, 376)( 273, 379)( 275, 382)( 276, 384)( 278, 387)( 280, 390)
    ( 281, 391)( 283, 394)( 284, 396)( 285, 398)( 286, 400)( 288, 402)
    ( 289, 404)( 291, 407)( 294, 410)( 296, 413)( 297, 415)( 300, 419)
    ( 301, 421)( 303, 383)( 305, 416)( 307, 427)( 308, 429)( 311, 432)
    ( 313, 435)( 316, 438)( 317, 440)( 319, 443)( 321, 445)( 322, 447)
    ( 324, 450)( 326, 453)( 328, 456)( 330, 458)( 331, 460)( 332, 462)
    ( 333, 464)( 335, 466)( 336, 468)( 338, 471)( 340, 473)( 341, 475)
    ( 343, 478)( 345, 481)( 347, 484)( 349, 486)( 350, 488)( 353, 491)
    ( 354, 493)( 356, 496)( 357, 497)( 359, 500)( 360, 502)( 362, 505)
    ( 364, 508)( 366, 510)( 367, 512)( 368, 514)( 370, 517)( 372, 520)
    ( 374, 522)( 375, 524)( 377, 527)( 378, 528)( 380, 530)( 381, 532)
    ( 385, 515)( 386, 537)( 388, 540)( 389, 542)( 392, 545)( 393, 547)
    ( 395, 550)( 397, 552)( 399, 555)( 401, 558)( 403, 561)( 405, 563)
    ( 406, 565)( 408, 568)( 409, 570)( 411, 572)( 412, 574)( 414, 577)
    ( 417, 580)( 418, 582)( 420, 585)( 422, 587)( 423, 589)( 424, 591)
    ( 425, 593)( 426, 594)( 428, 597)( 430, 600)( 431, 602)( 433, 604)
    ( 434, 606)( 436, 609)( 439, 612)( 441, 615)( 442, 617)( 444, 620)
    ( 446, 623)( 448, 625)( 451, 629)( 452, 630)( 454, 621)( 455, 634)
    ( 457, 637)( 459, 640)( 461, 642)( 463, 645)( 465, 648)( 467, 651)
    ( 469, 653)( 470, 655)( 472, 658)( 474, 661)( 476, 663)( 477, 665)
    ( 479, 668)( 480, 669)( 482, 672)( 483, 674)( 485, 677)( 490, 682)
    ( 492, 685)( 494, 686)( 495, 688)( 498, 692)( 499, 694)( 501, 673)
    ( 504, 699)( 506, 701)( 507, 703)( 509, 706)( 511, 709)( 513, 711)
    ( 516, 715)( 518, 718)( 519, 719)( 521, 722)( 523, 725)( 525, 727)
    ( 526, 729)( 529, 733)( 531, 736)( 533, 738)( 534, 740)( 535, 742)
    ( 536, 744)( 538, 746)( 539, 748)( 541, 751)( 543, 753)( 544, 755)
    ( 546, 758)( 548, 760)( 549, 762)( 551, 765)( 553, 768)( 556, 771)
    ( 557, 772)( 559, 775)( 560, 777)( 562, 780)( 564, 783)( 566, 785)
    ( 567, 787)( 569, 790)( 571, 792)( 573, 795)( 575, 797)( 576, 799)
    ( 578, 802)( 579, 804)( 581, 806)( 583, 809)( 584, 811)( 586, 814)
    ( 588, 817)( 590, 819)( 592, 822)( 595, 826)( 596, 828)( 598, 831)
    ( 599, 832)( 601, 835)( 603, 838)( 607, 842)( 610, 846)( 611, 848)
    ( 613, 851)( 614, 852)( 616, 855)( 618, 857)( 619, 859)( 622, 863)
    ( 624, 865)( 626, 868)( 627, 869)( 628, 871)( 631, 874)( 632, 876)
    ( 633, 836)( 635, 864)( 636, 880)( 638, 883)( 639, 885)( 641, 888)
    ( 643, 891)( 644, 892)( 646, 895)( 647, 896)( 649, 899)( 650, 901)
    ( 652, 904)( 654, 907)( 656, 909)( 657, 910)( 659, 913)( 660, 915)
    ( 662, 918)( 664, 921)( 666, 923)( 667, 925)( 670, 803)( 671, 929)
    ( 675, 916)( 676, 934)( 678, 937)( 679, 939)( 680, 941)( 681, 943)
    ( 684, 947)( 687, 950)( 689, 952)( 690, 954)( 691, 956)( 693, 959)
    ( 695, 961)( 696, 963)( 697, 965)( 698, 967)( 700, 969)( 702, 971)
    ( 704, 973)( 705, 975)( 707, 978)( 708, 980)( 710, 983)( 712, 986)
    ( 713, 987)( 714, 989)( 716, 990)( 717, 992)( 720, 981)( 723, 999)
    ( 726,1003)( 728,1006)( 730,1008)( 731,1010)( 732,1012)( 734,1014)
    ( 735,1016)( 737,1019)( 739,1022)( 741,1024)( 743,1026)( 745,1029)
    ( 747,1032)( 749,1034)( 750,1036)( 752,1039)( 754,1042)( 756,1044)
    ( 757,1046)( 759,1049)( 761,1052)( 763, 886)( 764,1055)( 766,1058)
    ( 767,1060)( 769,1063)( 770,1065)( 773,1069)( 774,1071)( 776,1045)
    ( 778,1061)( 779,1076)( 781,1078)( 782,1080)( 784,1082)( 786,1085)
    ( 788,1087)( 789, 877)( 791,1090)( 793,1092)( 794,1094)( 796,1097)
    ( 798,1100)( 800,1102)( 805,1108)( 807, 945)( 808,1111)( 810,1093)
    ( 813,1116)( 815,1119)( 818,1123)( 820,1126)( 821,1127)( 823,1130)
    ( 824,1131)( 825,1133)( 827,1136)( 829,1138)( 830,1140)( 833,1144)
    ( 834,1146)( 837,1149)( 839,1152)( 840,1154)( 841,1156)( 843,1159)
    ( 844,1160)( 845,1162)( 847,1164)( 849,1166)( 850,1168)( 853,1171)
    ( 854,1173)( 856,1175)( 858,1178)( 860,1180)( 861,1182)( 862,1184)
    ( 866,1188)( 867,1190)( 870,1194)( 872,1196)( 873,1198)( 875,1201)
    ( 878,1204)( 879,1206)( 881,1099)( 882,1209)( 884,1211)( 887,1213)
    ( 889,1216)( 890,1218)( 894,1223)( 897,1227)( 898,1229)( 900,1189)
    ( 902,1219)( 903,1234)( 905,1236)( 906,1238)( 908,1241)( 911,1244)
    ( 912,1246)( 914,1249)( 917,1252)( 919,1255)( 920,1257)( 924,1262)
    ( 926,1264)( 927,1266)( 928,1268)( 930,1270)( 931,1272)( 932,1274)
    ( 933,1276)( 935,1278)( 936,1280)( 938,1283)( 940,1285)( 944,1288)
    ( 946,1256)( 948,1291)( 949,1293)( 951,1296)( 955,1300)( 957,1303)
    ( 958,1305)( 960,1308)( 962,1311)( 964,1313)( 966,1316)( 968,1318)
    ( 970,1321)( 972,1324)( 974,1326)( 976,1328)( 977,1330)( 979,1333)
    ( 982,1336)( 984,1339)( 985,1083)( 988,1344)( 991,1347)( 993,1349)
    ( 994,1351)( 995,1353)( 996,1355)( 997,1356)( 998,1358)(1000,1361)
    (1001,1362)(1002,1364)(1004,1367)(1005,1369)(1007,1372)(1009,1375)
    (1013,1379)(1015,1340)(1017,1370)(1018,1384)(1020,1387)(1021,1389)
    (1023,1392)(1025,1395)(1027,1398)(1028,1399)(1030,1402)(1031,1404)
    (1033,1407)(1035,1410)(1037,1412)(1040,1416)(1041,1418)(1043,1421)
    (1047,1419)(1048,1426)(1050,1429)(1051,1431)(1053,1434)(1054,1436)
    (1056,1438)(1057,1440)(1059,1443)(1062,1446)(1064,1449)(1066,1451)
    (1067,1453)(1068,1455)(1070,1458)(1072,1460)(1073,1462)(1074,1464)
    (1077,1467)(1079,1469)(1081,1471)(1084,1475)(1088,1480)(1089,1481)
    (1091,1484)(1095,1476)(1096,1489)(1098,1492)(1101,1496)(1103,1499)
    (1104,1500)(1105,1502)(1106,1504)(1107,1505)(1109,1507)(1112,1511)
    (1113,1513)(1114,1515)(1115,1516)(1117,1518)(1118,1520)(1120,1523)
    (1121,1390)(1122,1525)(1124,1528)(1125,1530)(1128,1533)(1129,1535)
    (1132,1538)(1134,1541)(1137,1544)(1139,1547)(1141,1549)(1142,1551)
    (1143,1553)(1145,1556)(1147,1558)(1148,1560)(1150,1563)(1151,1374)
    (1153,1567)(1155,1568)(1157,1571)(1158,1573)(1161,1576)(1163,1578)
    (1165,1581)(1167,1542)(1169,1574)(1170,1586)(1172,1589)(1174,1591)
    (1176,1594)(1177,1596)(1181,1601)(1183,1603)(1185,1606)(1186,1607)
    (1187,1608)(1191,1597)(1192,1613)(1193,1615)(1195,1618)(1197,1621)
    (1199,1624)(1200,1626)(1202,1628)(1203,1630)(1205,1632)(1207,1635)
    (1208,1637)(1210,1639)(1212,1642)(1214,1644)(1215,1646)(1217,1649)
    (1220,1652)(1221,1654)(1222,1656)(1224,1658)(1225,1660)(1226,1662)
    (1228,1665)(1230,1667)(1231,1669)(1232,1671)(1235,1674)(1237,1676)
    (1239,1678)(1240,1680)(1242,1683)(1245,1687)(1247,1689)(1248,1691)
    (1250,1694)(1251,1696)(1253,1698)(1254,1700)(1258,1327)(1259,1705)
    (1260,1707)(1261,1709)(1263,1712)(1265,1715)(1267,1718)(1269,1721)
    (1271,1724)(1273,1726)(1275,1729)(1277,1732)(1279,1734)(1281,1736)
    (1282,1737)(1284,1740)(1286,1743)(1287,1745)(1289,1747)(1290,1749)
    (1294,1753)(1295,1617)(1297,1757)(1299,1760)(1301,1763)(1302,1764)
    (1306,1759)(1307,1769)(1309,1772)(1310,1774)(1312,1777)(1314,1780)
    (1315,1781)(1317,1783)(1319,1479)(1320,1786)(1322,1789)(1323,1791)
    (1325,1794)(1329,1799)(1331,1801)(1332,1803)(1334,1806)(1335,1808)
    (1337,1810)(1338,1812)(1341,1795)(1342,1815)(1343,1536)(1345,1819)
    (1346,1821)(1348,1824)(1350,1827)(1352,1829)(1354,1832)(1357,1836)
    (1359,1838)(1360,1840)(1363,1844)(1365,1846)(1366,1848)(1368,1851)
    (1371,1854)(1373,1857)(1376,1861)(1377,1863)(1378,1864)(1380,1867)
    (1381,1869)(1382,1871)(1383,1873)(1385,1875)(1386,1877)(1388,1879)
    (1391,1882)(1393,1885)(1394,1887)(1396,1890)(1397,1892)(1400,1442)
    (1401,1897)(1403,1858)(1405,1888)(1406,1902)(1408,1904)(1409,1905)
    (1411,1908)(1413,1911)(1414,1912)(1415,1914)(1417,1917)(1420,1920)
    (1422,1923)(1423,1925)(1424,1927)(1425,1929)(1427,1931)(1428,1932)
    (1430,1934)(1432,1936)(1433,1938)(1435,1941)(1437,1943)(1439,1946)
    (1441,1948)(1444,1784)(1445,1953)(1447,1955)(1448,1957)(1452,1962)
    (1454,1964)(1456,1545)(1457,1968)(1459,1971)(1463,1975)(1465,1978)
    (1466,1980)(1468,1983)(1470,1986)(1472,1989)(1473,1990)(1474,1992)
    (1477,1995)(1478,1997)(1482,2002)(1483,2003)(1485,2005)(1486,2007)
    (1487,2009)(1488,2011)(1490,2013)(1491,2015)(1493,2017)(1494,2018)
    (1495,2019)(1497,2022)(1501,2027)(1503,2029)(1506,2033)(1508,1998)
    (1509,2024)(1510,2037)(1512,2040)(1514,2042)(1517,2046)(1519,2049)
    (1521,2051)(1522,2053)(1524,2056)(1526,2058)(1527,2059)(1529,2062)
    (1531,2064)(1532,2066)(1534,2069)(1537,2072)(1539,2075)(1540,2076)
    (1543,2079)(1546,2083)(1548,2086)(1552,2089)(1554,2092)(1555,2093)
    (1557,2096)(1559,2099)(1561,2101)(1562,2102)(1564,2105)(1565,2106)
    (1566,2108)(1569,2112)(1570,2113)(1572,2116)(1575,2119)(1577,2122)
    (1579,2125)(1580,2126)(1582,2128)(1583,2130)(1584,2132)(1585,2134)
    (1587,2136)(1588,2137)(1590,2140)(1592,2143)(1593,2061)(1595,2146)
    (1598,2148)(1599,2150)(1600,2152)(1602,2155)(1604,1956)(1605,2158)
    (1609,2161)(1610,2163)(1611,2165)(1612,2167)(1614,2169)(1616,2172)
    (1619,2176)(1620,2178)(1622,2181)(1623,2182)(1625,2151)(1627,2186)
    (1629,2189)(1631,2192)(1633,2195)(1634,2196)(1636,2198)(1638,2201)
    (1640,2204)(1641,2205)(1643,2208)(1645,2210)(1647,2212)(1648,2214)
    (1650,2217)(1651,2219)(1653,2221)(1655,2223)(1659,2228)(1663,2232)
    (1664,2234)(1666,2237)(1670,2240)(1672,2243)(1673,2245)(1675,2248)
    (1677,2251)(1679,2254)(1681,2256)(1682,2258)(1684,2261)(1685,2262)
    (1686,2264)(1688,2267)(1690,2270)(1692,2272)(1693,2274)(1697,2279)
    (1699,2281)(1701,2283)(1702,2285)(1703,2287)(1704,2289)(1706,2291)
    (1708,2294)(1710,2296)(1713,2300)(1714,2302)(1716,2305)(1717,2306)
    (1719,2263)(1720,2309)(1722,2312)(1723,2314)(1725,2317)(1727,2320)
    (1728,2321)(1730,2324)(1731,2325)(1733,2328)(1735,2331)(1739,2336)
    (1741,1817)(1742,2339)(1744,1823)(1746,2342)(1748,2345)(1750,2347)
    (1751,2348)(1752,2350)(1754,2353)(1755,2354)(1756,2356)(1758,2358)
    (1762,2361)(1765,2365)(1766,2367)(1767,2369)(1768,2371)(1770,2068)
    (1771,1900)(1773,2375)(1775,2315)(1776,2377)(1778,2380)(1779,2382)
    (1782,2386)(1785,2360)(1787,2383)(1788,2391)(1790,2394)(1792,2396)
    (1793,2398)(1796,2402)(1797,2404)(1798,1984)(1800,2407)(1802,2410)
    (1804,2412)(1805,2414)(1807,2417)(1809,2419)(1811,2422)(1813,2424)
    (1814,2426)(1816,2428)(1818,2431)(1820,2434)(1825,2440)(1826,2442)
    (1828,2444)(1830,2447)(1831,2448)(1833,2451)(1834,2452)(1837,2456)
    (1839,2459)(1841,2461)(1842,2462)(1843,2464)(1845,2467)(1847,2470)
    (1849,2472)(1850,2474)(1852,2477)(1853,2335)(1855,2480)(1856,2482)
    (1859,2465)(1860,2486)(1862,2489)(1865,2493)(1866,2495)(1868,2498)
    (1870,2500)(1872,2503)(1874,2506)(1880,2511)(1881,2513)(1883,2515)
    (1884,2517)(1886,2520)(1889,2522)(1891,2091)(1893,2526)(1894,2528)
    (1895,2530)(1896,2532)(1898,2534)(1899,2535)(1901,2538)(1903,2540)
    (1906,2543)(1907,2545)(1909,2548)(1910,2550)(1913,2553)(1915,2555)
    (1916,2557)(1918,2560)(1921,2562)(1922,2564)(1924,2567)(1926,2569)
    (1928,2441)(1930,2574)(1933,2577)(1935,2579)(1937,2582)(1939,2584)
    (1940,2586)(1942,2589)(1944,2591)(1945,2593)(1947,2596)(1949,2599)
    (1950,2600)(1951,2216)(1952,2478)(1954,2411)(1958,2607)(1959,2491)
    (1960,2610)(1961,2432)(1963,2614)(1965,2617)(1966,2618)(1967,2592)
    (1969,2612)(1970,2622)(1972,2625)(1973,2627)(1974,2629)(1976,2632)
    (1977,2633)(1979,2636)(1981,2637)(1982,2639)(1985,2643)(1987,2646)
    (1991,2651)(1993,2654)(1994,2656)(1996,2658)(1999,2648)(2000,2662)
    (2001,2664)(2004,2668)(2006,2670)(2008,2672)(2010,2675)(2014,2679)
    (2016,2681)(2020,2685)(2021,2687)(2023,2690)(2025,2242)(2026,2693)
    (2028,2696)(2030,2699)(2031,2700)(2032,2702)(2035,2706)(2036,2708)
    (2038,2709)(2039,2711)(2041,2714)(2043,2717)(2045,2719)(2047,2721)
    (2048,2723)(2050,2726)(2052,2729)(2054,2731)(2055,2733)(2057,2736)
    (2060,2739)(2063,2392)(2065,2745)(2067,2747)(2070,2751)(2071,2753)
    (2073,2755)(2074,2749)(2077,2760)(2078,2762)(2080,2765)(2081,2767)
    (2084,2770)(2087,2774)(2088,2776)(2090,2525)(2094,2227)(2095,2782)
    (2097,2785)(2098,2787)(2100,2789)(2103,2793)(2107,2797)(2110,2800)
    (2111,2801)(2114,2652)(2115,2805)(2117,2808)(2118,2810)(2120,2812)
    (2121,2813)(2123,2816)(2124,2818)(2127,2821)(2129,2824)(2131,2826)
    (2133,2829)(2135,2832)(2138,2836)(2139,2838)(2141,2841)(2144,2844)
    (2145,2846)(2149,2850)(2153,2842)(2154,2855)(2156,2858)(2157,2860)
    (2159,2863)(2160,2865)(2162,2867)(2164,2869)(2166,2872)(2168,2875)
    (2170,2878)(2171,2879)(2173,2882)(2174,2883)(2175,2885)(2177,2888)
    (2179,2889)(2180,2518)(2185,2895)(2187,2898)(2188,2900)(2190,2903)
    (2191,2904)(2193,2510)(2194,2907)(2197,2910)(2199,2890)(2200,2913)
    (2202,2915)(2203,2917)(2206,2921)(2207,2922)(2209,2925)(2211,2928)
    (2213,2931)(2215,2933)(2218,2809)(2220,2938)(2222,2606)(2224,2942)
    (2225,2819)(2226,2944)(2229,2948)(2230,2950)(2231,2951)(2233,2926)
    (2235,2946)(2238,2958)(2239,2960)(2241,2963)(2244,2966)(2246,2968)
    (2247,2970)(2249,2973)(2250,2975)(2252,2978)(2253,2980)(2255,2983)
    (2257,2986)(2259,2988)(2260,2990)(2265,2981)(2266,2996)(2268,2999)
    (2269,3001)(2271,3004)(2273,3006)(2275,3008)(2276,3010)(2277,3012)
    (2278,2665)(2280,3015)(2282,2512)(2284,3020)(2286,3022)(2288,3025)
    (2292,3030)(2293,3031)(2295,3034)(2297,3036)(2298,3037)(2299,3039)
    (2301,3042)(2303,3044)(2304,3046)(2308,3050)(2310,3052)(2311,3054)
    (2313,3057)(2316,3060)(2318,3063)(2319,3065)(2322,3067)(2323,3069)
    (2326,3073)(2327,3075)(2329,3045)(2330,3078)(2332,3080)(2333,3082)
    (2334,3083)(2337,3085)(2338,3087)(2340,3089)(2341,3090)(2343,3093)
    (2344,3094)(2346,3097)(2349,3099)(2352,3103)(2355,3106)(2357,3108)
    (2359,3111)(2362,3104)(2363,3115)(2364,3117)(2366,3120)(2368,2953)
    (2370,3124)(2372,3127)(2373,3129)(2374,2542)(2376,3132)(2378,3134)
    (2379,3136)(2381,3138)(2384,3140)(2385,3142)(2387,3144)(2388,3146)
    (2389,3147)(2390,3149)(2393,3152)(2395,2894)(2397,3156)(2399,3158)
    (2400,3160)(2401,3162)(2403,3163)(2405,3153)(2406,3166)(2408,3169)
    (2409,3171)(2413,3175)(2415,3177)(2418,3181)(2420,3183)(2421,3185)
    (2423,3188)(2425,3191)(2427,3193)(2429,3196)(2430,2757)(2433,3199)
    (2435,3200)(2436,3201)(2437,3203)(2438,3204)(2439,3206)(2443,3210)
    (2445,3213)(2446,3215)(2449,3219)(2450,3221)(2453,3225)(2454,3216)
    (2455,3228)(2458,3231)(2460,3234)(2463,3237)(2466,3240)(2468,3243)
    (2469,3245)(2471,3248)(2473,3081)(2475,3251)(2476,3252)(2479,3256)
    (2481,3259)(2483,3261)(2484,3263)(2487,3266)(2488,3268)(2490,3271)
    (2492,3273)(2494,3244)(2496,3277)(2497,3279)(2499,3282)(2501,3285)
    (2505,2814)(2507,3290)(2508,3291)(2509,3293)(2514,3297)(2516,3298)
    (2519,3300)(2521,3302)(2523,3305)(2524,3307)(2527,3311)(2529,3313)
    (2531,3316)(2533,3319)(2536,3323)(2537,3325)(2539,3328)(2541,3330)
    (2544,3334)(2546,3336)(2549,3338)(2551,3339)(2552,3341)(2554,3344)
    (2558,3347)(2559,3349)(2561,3352)(2563,3355)(2565,3357)(2566,3359)
    (2568,3362)(2570,3365)(2571,3366)(2572,3368)(2573,3369)(2575,3372)
    (2576,3374)(2578,3377)(2580,3379)(2581,3381)(2583,3384)(2585,3387)
    (2587,3389)(2588,3391)(2590,3394)(2594,3382)(2595,3399)(2597,3402)
    (2598,3404)(2601,3408)(2602,3409)(2603,3411)(2604,3412)(2605,3414)
    (2608,3416)(2609,3417)(2611,3420)(2615,3424)(2616,3426)(2619,3430)
    (2620,3432)(2621,3434)(2623,2772)(2624,3437)(2626,3440)(2628,3360)
    (2630,3443)(2631,3445)(2634,3449)(2635,2790)(2638,3425)(2640,3446)
    (2641,3456)(2642,3458)(2644,3460)(2645,3462)(2647,3465)(2649,3467)
    (2650,3469)(2653,3472)(2657,3477)(2659,3480)(2660,3481)(2661,3482)
    (2663,3484)(2667,3488)(2669,3491)(2671,3494)(2673,3497)(2674,3498)
    (2676,3501)(2677,3502)(2678,3014)(2680,3506)(2682,3509)(2683,3511)
    (2684,3513)(2686,3516)(2689,3091)(2691,2743)(2692,3521)(2694,3512)
    (2695,3525)(2697,2777)(2698,3528)(2701,3532)(2703,3535)(2704,3537)
    (2705,3539)(2707,3541)(2710,3545)(2712,3492)(2713,3547)(2715,3550)
    (2716,2945)(2718,3553)(2720,3556)(2722,3100)(2724,3552)(2725,3561)
    (2727,3563)(2728,3565)(2730,3568)(2732,3571)(2734,3573)(2735,3575)
    (2737,2994)(2738,3579)(2741,3581)(2742,3301)(2744,3017)(2746,3587)
    (2748,3589)(2750,3530)(2752,3593)(2754,3595)(2756,2866)(2758,3599)
    (2759,3601)(2761,3604)(2763,3606)(2764,3608)(2766,3611)(2768,3613)
    (2769,3615)(2771,3617)(2773,3619)(2775,3622)(2778,3625)(2779,3598)
    (2780,3628)(2781,3630)(2783,3119)(2786,3390)(2791,3635)(2792,3637)
    (2794,3624)(2795,3636)(2796,3640)(2798,3580)(2799,3643)(2802,3646)
    (2803,3648)(2804,3650)(2806,3652)(2807,3654)(2811,3658)(2815,3662)
    (2817,3665)(2820,3668)(2822,3670)(2823,3671)(2825,3674)(2827,3485)
    (2828,3677)(2830,3680)(2831,3264)(2833,3683)(2834,3685)(2835,3687)
    (2837,3690)(2839,3692)(2840,3694)(2843,3697)(2847,3701)(2848,3703)
    (2849,3705)(2851,3708)(2853,3710)(2854,3711)(2856,3713)(2857,3715)
    (2859,3717)(2861,3719)(2862,3720)(2864,3723)(2868,3725)(2870,3727)
    (2871,3728)(2873,3731)(2874,3732)(2876,3735)(2877,3737)(2880,3740)
    (2881,3351)(2884,3744)(2887,3747)(2891,3741)(2892,3750)(2893,3751)
    (2896,3274)(2897,3755)(2899,3758)(2901,3760)(2902,3761)(2905,3764)
    (2906,3766)(2908,3139)(2909,3769)(2911,3772)(2912,3773)(2914,3776)
    (2916,3777)(2918,3779)(2919,3781)(2920,3783)(2923,3787)(2924,3427)
    (2927,3791)(2929,3794)(2930,3796)(2932,3799)(2934,3802)(2935,3029)
    (2936,3418)(2937,3789)(2939,3807)(2940,3809)(2941,3811)(2943,3814)
    (2947,3815)(2949,3816)(2952,3820)(2954,3823)(2955,3825)(2956,3180)
    (2957,3109)(2959,3828)(2961,3830)(2962,3832)(2964,3835)(2965,3392)
    (2969,3817)(2971,3833)(2972,3843)(2974,3846)(2976,3847)(2977,3849)
    (2979,3852)(2982,3854)(2984,3857)(2985,3858)(2987,3861)(2989,3864)
    (2991,3866)(2992,3868)(2993,3757)(2995,3871)(2997,3873)(2998,3875)
    (3000,3878)(3002,3880)(3003,3486)(3005,3882)(3007,3885)(3009,3888)
    (3011,3890)(3016,3883)(3018,3896)(3019,3209)(3021,3900)(3023,3903)
    (3024,3904)(3026,3907)(3027,3908)(3032,3656)(3033,3914)(3035,3917)
    (3038,3921)(3041,3923)(3043,3925)(3047,3927)(3048,3929)(3049,3931)
    (3051,3933)(3055,3936)(3056,3938)(3058,3941)(3061,3944)(3062,3946)
    (3064,3948)(3066,3950)(3068,3602)(3070,3954)(3071,3956)(3072,3958)
    (3074,3961)(3076,3963)(3077,3965)(3079,3967)(3084,3970)(3086,3586)
    (3092,3976)(3095,3898)(3096,3981)(3098,3984)(3101,3987)(3102,3988)
    (3105,3991)(3107,3994)(3110,3997)(3112,4000)(3113,4002)(3114,4003)
    (3118,4007)(3121,4011)(3122,4013)(3123,4014)(3125,4017)(3126,4018)
    (3128,4021)(3130,3689)(3131,4024)(3133,3804)(3137,4029)(3141,4034)
    (3143,4037)(3145,4038)(3148,4042)(3150,4045)(3151,4047)(3154,4049)
    (3155,4051)(3157,4053)(3159,4056)(3161,3722)(3164,4061)(3165,4062)
    (3167,4065)(3168,4067)(3170,4070)(3172,4072)(3173,4074)(3174,4076)
    (3176,4079)(3178,4082)(3179,3435)(3182,4086)(3184,4050)(3186,4077)
    (3187,4091)(3189,4094)(3190,4096)(3192,4099)(3194,4102)(3195,4104)
    (3197,4107)(3198,4108)(3202,3303)(3205,4114)(3207,4116)(3208,4117)
    (3211,4120)(3212,4122)(3214,4125)(3217,4127)(3218,4129)(3220,4132)
    (3222,4134)(3223,4136)(3224,4138)(3226,4140)(3227,4141)(3229,4143)
    (3230,4144)(3232,4146)(3233,4148)(3235,4151)(3236,4073)(3238,4155)
    (3239,4156)(3241,3679)(3242,4160)(3246,4152)(3249,4043)(3253,4168)
    (3254,4170)(3255,4171)(3257,4173)(3258,3702)(3260,4176)(3265,4181)
    (3267,4183)(3269,4185)(3270,4019)(3272,3450)(3275,3529)(3276,3918)
    (3278,4192)(3280,4097)(3281,3660)(3283,4196)(3284,4198)(3286,4200)
    (3287,3320)(3288,4203)(3289,4205)(3292,4199)(3294,4210)(3295,4211)
    (3296,4213)(3299,4215)(3304,4221)(3306,4224)(3308,4226)(3309,4228)
    (3310,4084)(3312,4230)(3314,4233)(3315,4234)(3317,3699)(3318,4237)
    (3322,4242)(3324,4244)(3326,4245)(3327,4150)(3329,4248)(3331,4251)
    (3332,4253)(3335,4257)(3337,4260)(3340,4264)(3342,4255)(3343,4268)
    (3345,4270)(3346,4272)(3348,4275)(3350,4277)(3353,4227)(3354,4281)
    (3356,4283)(3358,4285)(3361,4287)(3363,4290)(3364,4292)(3367,4295)
    (3370,4299)(3371,4301)(3375,4293)(3376,4305)(3378,4308)(3380,4311)
    (3383,4313)(3385,4316)(3386,4318)(3388,4320)(3393,4323)(3395,4326)
    (3397,4090)(3398,4330)(3400,4332)(3403,4336)(3405,4337)(3406,4339)
    (3407,4340)(3410,4344)(3413,4317)(3415,4341)(3419,3920)(3421,3978)
    (3422,4351)(3423,4353)(3428,4357)(3429,4358)(3431,4360)(3433,4362)
    (3436,4366)(3438,4368)(3439,4370)(3442,4373)(3444,4376)(3447,4378)
    (3448,4380)(3452,4384)(3453,4386)(3454,4388)(3455,4389)(3457,4391)
    (3459,4393)(3461,4396)(3463,3785)(3464,4399)(3466,4401)(3468,4403)
    (3470,4405)(3471,4407)(3473,4410)(3474,4412)(3475,4413)(3476,4414)
    (3478,4417)(3479,4419)(3487,4424)(3489,4426)(3493,4431)(3495,4434)
    (3499,4438)(3500,4440)(3503,4444)(3504,4427)(3505,4446)(3507,4448)
    (3508,4450)(3510,4453)(3514,4457)(3515,4459)(3517,4461)(3518,4463)
    (3519,4464)(3520,4235)(3522,4468)(3524,4012)(3526,4471)(3527,4473)
    (3531,4477)(3534,4480)(3536,4458)(3538,4484)(3540,4487)(3542,4490)
    (3543,4491)(3544,4492)(3546,4493)(3548,4495)(3549,4497)(3551,3959)
    (3554,3934)(3555,4502)(3557,4504)(3558,4506)(3559,3818)(3560,4509)
    (3562,4511)(3564,4512)(3566,4514)(3567,4515)(3569,4518)(3570,4520)
    (3572,4523)(3574,4526)(3576,4528)(3577,4530)(3578,4521)(3582,4535)
    (3583,4455)(3584,4537)(3588,4540)(3590,4542)(3591,4543)(3592,4544)
    (3594,3603)(3596,4548)(3597,4549)(3600,4552)(3605,4557)(3607,4560)
    (3609,4562)(3610,4564)(3612,4567)(3614,4570)(3616,4572)(3618,4575)
    (3620,4577)(3621,4579)(3623,4582)(3626,4573)(3627,4585)(3629,4587)
    (3631,4590)(3632,4592)(3633,4593)(3634,4595)(3638,4202)(3639,4597)
    (3641,4598)(3642,4163)(3644,4601)(3645,4603)(3647,4605)(3649,4608)
    (3653,4612)(3655,4614)(3657,4617)(3659,4619)(3661,4622)(3663,4624)
    (3664,3939)(3666,4627)(3667,4629)(3669,4632)(3672,4556)(3673,4179)
    (3675,4637)(3676,4639)(3678,4642)(3681,4646)(3682,4648)(3684,4633)
    (3686,4640)(3688,4653)(3691,4655)(3693,4658)(3695,4660)(3696,4429)
    (3698,4663)(3700,4665)(3704,4195)(3706,4671)(3707,4673)(3709,4676)
    (3712,4679)(3714,4128)(3716,4682)(3718,4685)(3721,4687)(3724,4691)
    (3729,4697)(3730,4698)(3733,4702)(3734,4704)(3736,4688)(3738,4694)
    (3739,4708)(3742,4711)(3743,4713)(3746,4717)(3748,4718)(3749,4720)
    (3752,4723)(3753,4725)(3754,4727)(3756,4481)(3759,4456)(3762,4732)
    (3763,4684)(3765,4736)(3767,4738)(3768,4740)(3770,4742)(3771,4743)
    (3774,4746)(3775,4747)(3778,4751)(3780,4754)(3782,4756)(3784,4757)
    (3786,4760)(3788,4763)(3790,4764)(3792,4475)(3793,4767)(3795,4197)
    (3797,4771)(3798,4356)(3800,4105)(3801,4776)(3803,4778)(3805,4618)
    (3806,4781)(3808,4758)(3810,4777)(3812,4769)(3813,4786)(3819,4165)
    (3821,4792)(3822,4793)(3826,3968)(3827,4796)(3829,4799)(3831,4802)
    (3834,4804)(3836,4807)(3838,4808)(3839,4809)(3840,4811)(3841,4145)
    (3842,4814)(3844,4816)(3845,3909)(3848,3928)(3850,4821)(3851,4823)
    (3853,4826)(3855,4828)(3856,4830)(3859,4818)(3860,4834)(3862,4836)
    (3863,4838)(3865,4841)(3867,4844)(3869,4846)(3870,4848)(3872,4851)
    (3874,4854)(3876,4856)(3877,4858)(3881,4861)(3884,4071)(3886,4864)
    (3887,4866)(3889,4868)(3891,4871)(3892,4428)(3893,4872)(3894,4874)
    (3895,4408)(3897,4875)(3899,4877)(3902,4880)(3905,4883)(3906,4884)
    (3910,4865)(3911,4881)(3912,4890)(3913,4892)(3915,4894)(3916,4896)
    (3922,4901)(3924,4404)(3926,4904)(3930,4908)(3932,4911)(3935,4914)
    (3940,4916)(3942,4919)(3945,4923)(3947,4925)(3949,4927)(3951,4547)
    (3952,4931)(3953,4933)(3955,4935)(3957,4937)(3960,4940)(3964,4944)
    (3966,4945)(3971,4949)(3972,4950)(3974,4951)(3975,4953)(3977,4955)
    (3979,4958)(3980,4959)(3982,4961)(3983,4963)(3985,4965)(3986,4967)
    (3989,4971)(3990,4972)(3992,4968)(3993,4975)(3995,4976)(3996,4978)
    (3998,4981)(3999,4630)(4001,4984)(4004,4986)(4005,4987)(4006,4988)
    (4008,4991)(4010,4993)(4015,4889)(4016,5000)(4020,5005)(4022,4729)
    (4023,5008)(4025,5011)(4026,5013)(4027,5014)(4028,5016)(4030,5019)
    (4031,4926)(4033,5022)(4035,4700)(4036,5024)(4039,5015)(4040,4992)
    (4041,5027)(4044,5029)(4046,5032)(4048,5035)(4052,5038)(4054,5041)
    (4055,5043)(4057,5046)(4058,5048)(4059,5049)(4060,5051)(4063,5054)
    (4064,4650)(4066,5058)(4068,5060)(4069,5062)(4075,5068)(4078,5070)
    (4080,5073)(4081,5075)(4083,5078)(4085,5080)(4087,5083)(4088,5085)
    (4089,5087)(4092,5089)(4093,4263)(4095,5092)(4098,5094)(4100,4420)
    (4101,5098)(4103,5074)(4106,5103)(4109,5105)(4110,5106)(4111,4216)
    (4112,5107)(4113,5108)(4115,5110)(4118,5113)(4119,5115)(4121,5118)
    (4123,5120)(4126,5123)(4130,5127)(4131,5129)(4133,5132)(4135,5135)
    (4137,5137)(4139,5140)(4142,5144)(4147,5148)(4153,5154)(4154,5156)
    (4157,5159)(4158,5161)(4159,5163)(4161,5164)(4162,5165)(4164,5167)
    (4166,4536)(4167,5170)(4169,5172)(4172,5174)(4174,5155)(4175,5169)
    (4177,5178)(4178,5180)(4180,5183)(4184,5186)(4186,5189)(4187,4381)
    (4188,5191)(4189,5193)(4190,5194)(4191,5023)(4193,5197)(4194,5198)
    (4201,5203)(4206,5206)(4207,5207)(4208,5209)(4209,5211)(4212,5213)
    (4214,5214)(4217,5218)(4218,5220)(4219,5221)(4220,5222)(4222,5223)
    (4223,5225)(4229,4476)(4231,5229)(4238,5234)(4240,5237)(4241,5181)
    (4243,5240)(4246,5244)(4247,5245)(4249,4474)(4250,5248)(4252,5063)
    (4254,5251)(4256,5253)(4258,5255)(4259,5257)(4261,5260)(4262,5262)
    (4265,5266)(4266,5267)(4267,5269)(4269,5271)(4271,5274)(4273,4517)
    (4274,5278)(4276,4922)(4278,5283)(4279,5284)(4280,5256)(4282,5279)
    (4284,5287)(4286,5289)(4288,5291)(4289,5293)(4291,5295)(4294,5297)
    (4296,4479)(4297,5299)(4298,5241)(4300,5302)(4302,4909)(4303,5305)
    (4304,5307)(4306,5309)(4307,5311)(4309,5313)(4310,5315)(4312,5317)
    (4314,4863)(4315,5320)(4319,4335)(4321,5325)(4322,5327)(4324,5329)
    (4327,5332)(4328,5333)(4329,5335)(4331,5337)(4333,5340)(4334,5341)
    (4338,5344)(4342,4616)(4343,5347)(4345,5350)(4346,5351)(4347,5353)
    (4348,5355)(4349,5142)(4350,5358)(4352,5360)(4354,5362)(4355,5363)
    (4359,5366)(4361,5368)(4363,5371)(4364,5372)(4365,5374)(4367,5376)
    (4372,5381)(4374,5383)(4375,5385)(4377,5388)(4379,5390)(4382,5393)
    (4383,5395)(4385,5397)(4387,5399)(4390,5403)(4392,5406)(4394,5408)
    (4395,5410)(4397,5412)(4398,5414)(4400,5416)(4402,5418)(4406,5421)
    (4409,5424)(4411,5425)(4416,5429)(4418,5409)(4421,5420)(4423,5433)
    (4425,5435)(4430,5440)(4432,5442)(4433,5444)(4435,4921)(4436,5446)
    (4437,5448)(4439,5451)(4441,5453)(4442,5455)(4443,5457)(4445,5459)
    (4447,5461)(4449,5463)(4451,5465)(4452,5467)(4460,5468)(4462,5474)
    (4465,5478)(4467,5480)(4469,5483)(4470,5485)(4472,5488)(4478,4791)
    (4482,5496)(4483,5497)(4485,5500)(4486,5501)(4488,5504)(4489,5506)
    (4494,5510)(4496,5513)(4498,5515)(4499,5517)(4500,4835)(4501,5519)
    (4503,5521)(4505,5524)(4507,5526)(4508,5528)(4510,5530)(4513,5533)
    (4516,5536)(4519,5540)(4522,5543)(4524,5546)(4525,5548)(4527,5551)
    (4529,5002)(4531,5553)(4532,5555)(4533,5556)(4534,5470)(4538,5547)
    (4539,5560)(4541,5563)(4545,5566)(4546,5568)(4550,5428)(4551,5572)
    (4553,4554)(4555,5574)(4558,5577)(4559,5578)(4561,5581)(4565,5579)
    (4568,5585)(4569,5586)(4571,5589)(4574,5321)(4576,5593)(4578,5596)
    (4581,5598)(4583,5601)(4584,5602)(4586,5604)(4588,5606)(4589,4905)
    (4591,5608)(4594,5612)(4596,5614)(4600,5185)(4602,5401)(4604,5620)
    (4606,5623)(4607,5624)(4609,5627)(4610,5628)(4611,5630)(4613,5633)
    (4615,5636)(4620,5631)(4621,5640)(4623,5643)(4625,5646)(4626,5648)
    (4628,4806)(4631,5653)(4634,5655)(4635,5657)(4636,5658)(4638,5661)
    (4643,5664)(4644,5665)(4645,4654)(4647,5184)(4649,5669)(4651,5672)
    (4656,5676)(4657,5678)(4659,5680)(4661,5682)(4662,5683)(4664,5686)
    (4666,5688)(4667,5690)(4668,5692)(4669,5694)(4670,5695)(4672,5677)
    (4674,5691)(4675,5700)(4677,5703)(4680,5122)(4681,4853)(4683,5352)
    (4689,5709)(4690,5613)(4692,5714)(4693,5716)(4695,5719)(4696,5721)
    (4699,5724)(4701,5726)(4703,5656)(4705,5729)(4706,5731)(4707,5732)
    (4709,5734)(4710,5735)(4712,5126)(4715,5737)(4716,5738)(4721,5742)
    (4722,5744)(4724,5747)(4726,5749)(4728,5752)(4730,5754)(4731,5252)
    (4733,5757)(4734,5758)(4735,5760)(4737,4788)(4739,5765)(4741,5195)
    (4744,5021)(4745,5771)(4748,5775)(4749,5777)(4750,5779)(4752,5782)
    (4753,5783)(4755,5786)(4759,5784)(4761,4960)(4762,5792)(4765,5491)
    (4766,5795)(4768,5797)(4770,5799)(4772,5802)(4773,5803)(4774,5805)
    (4775,5806)(4779,5810)(4780,5811)(4782,5813)(4784,5814)(4785,5816)
    (4787,5818)(4789,5821)(4790,5373)(4794,5825)(4795,5826)(4798,5830)
    (4800,5833)(4801,5835)(4803,5153)(4805,5839)(4810,5842)(4812,5844)
    (4813,5846)(4815,5849)(4817,5850)(4819,5851)(4820,5852)(4822,5853)
    (4824,5855)(4825,5856)(4827,5859)(4829,5862)(4831,5864)(4832,5866)
    (4833,5867)(4837,5026)(4839,5871)(4840,5873)(4843,5876)(4845,5877)
    (4849,5880)(4852,5881)(4855,5884)(4857,5887)(4859,5263)(4860,5889)
    (4862,5892)(4867,5896)(4869,5898)(4870,5025)(4873,5900)(4876,4974)
    (4878,5903)(4882,5907)(4885,4977)(4886,5911)(4887,5912)(4888,5895)
    (4893,5495)(4897,5917)(4898,5918)(4899,5637)(4900,5920)(4906,5926)
    (4907,5927)(4910,5490)(4912,5931)(4915,5933)(4917,5935)(4918,5937)
    (4920,5939)(4924,5943)(4928,5812)(4929,5949)(4930,5950)(4932,5952)
    (4934,5955)(4936,5958)(4938,5960)(4939,5940)(4941,5057)(4942,5964)
    (4943,5966)(4946,5969)(4947,5970)(4948,5622)(4952,5975)(4954,5978)
    (4956,5976)(4962,5983)(4964,5081)(4966,5986)(4969,5989)(4970,5990)
    (4973,5296)(4979,5994)(4980,5996)(4982,5999)(4983,6000)(4985,6002)
    (4989,6005)(4990,6007)(4994,6010)(4995,6012)(4996,6014)(4997,6015)
    (4998,6017)(5001,6020)(5003,6023)(5004,6025)(5006,6027)(5007,6028)
    (5009,6031)(5010,6032)(5017,6035)(5018,6037)(5020,6040)(5028,6043)
    (5030,5400)(5031,6047)(5033,6050)(5034,6051)(5036,6054)(5037,6056)
    (5039,6059)(5040,6061)(5042,6064)(5044,6066)(5045,6068)(5047,6071)
    (5050,5910)(5052,6076)(5053,6078)(5055,6081)(5059,6084)(5061,6087)
    (5064,6090)(5065,6092)(5066,6094)(5067,6096)(5069,6099)(5071,5261)
    (5072,5265)(5076,6095)(5077,6107)(5079,6110)(5082,6112)(5084,6115)
    (5086,6117)(5088,6119)(5090,6122)(5091,6123)(5093,6126)(5095,6128)
    (5096,6130)(5099,6132)(5101,6134)(5102,6136)(5104,6138)(5109,5392)
    (5111,6143)(5112,6144)(5114,6147)(5116,5963)(5117,6149)(5119,6151)
    (5121,6153)(5124,6100)(5125,5885)(5128,6159)(5130,6161)(5131,6109)
    (5133,6164)(5134,5711)(5136,6168)(5138,6171)(5139,6172)(5141,6166)
    (5143,6176)(5145,6178)(5146,5642)(5147,6181)(5149,6184)(5150,6185)
    (5151,6186)(5152,6188)(5157,6192)(5158,6193)(5160,6195)(5162,6197)
    (5166,6200)(5168,6202)(5171,6157)(5173,6206)(5175,6209)(5176,6211)
    (5177,6213)(5179,6215)(5182,6218)(5188,6223)(5190,6141)(5192,6227)
    (5196,6230)(5199,6233)(5200,6234)(5201,6235)(5202,6236)(5204,6238)
    (5205,6239)(5210,6243)(5212,6246)(5215,6249)(5216,6251)(5217,6253)
    (5219,6254)(5224,6256)(5226,6258)(5227,6260)(5228,6262)(5230,6265)
    (5231,6267)(5232,6268)(5233,6270)(5235,6273)(5236,6274)(5238,6277)
    (5239,6278)(5242,6281)(5243,6089)(5246,6284)(5247,6285)(5249,6286)
    (5250,6288)(5254,6290)(5258,6287)(5259,6295)(5264,6300)(5268,6304)
    (5270,6307)(5272,6310)(5273,6140)(5275,5860)(5276,6314)(5277,6315)
    (5280,6316)(5281,6318)(5282,6319)(5285,5565)(5286,6322)(5288,6325)
    (5290,6326)(5292,6329)(5300,6336)(5301,5475)(5303,6339)(5304,6340)
    (5306,6343)(5308,6345)(5310,6348)(5312,6350)(5314,5541)(5316,6354)
    (5318,6357)(5319,5984)(5322,6360)(5323,6362)(5324,6364)(5326,6367)
    (5328,6370)(5330,6373)(5331,6349)(5334,6376)(5336,6377)(5338,6378)
    (5339,5904)(5342,6382)(5343,6383)(5346,6387)(5348,6384)(5349,6390)
    (5354,6395)(5356,6398)(5359,6401)(5361,6403)(5364,6406)(5365,6408)
    (5367,6410)(5369,6412)(5370,6414)(5375,6419)(5377,6421)(5378,6423)
    (5379,6425)(5380,6427)(5382,6429)(5384,6242)(5386,6433)(5387,6332)
    (5389,6436)(5391,6439)(5394,6441)(5396,6444)(5402,6449)(5405,6453)
    (5407,6456)(5411,6459)(5413,6461)(5415,6463)(5417,6464)(5419,6467)
    (5422,6468)(5423,6470)(5426,6472)(5427,6474)(5430,6476)(5431,6417)
    (5432,6478)(5434,6480)(5437,6484)(5438,6485)(5439,6486)(5441,6488)
    (5443,6491)(5445,6492)(5447,6413)(5449,6496)(5450,6498)(5452,6501)
    (5454,6503)(5456,6505)(5458,6507)(5462,6512)(5464,6514)(5469,6519)
    (5471,6521)(5472,6523)(5473,6524)(5476,6526)(5477,6443)(5479,6529)
    (5481,6528)(5484,6533)(5486,6535)(5487,6536)(5489,6539)(5492,6540)
    (5493,5979)(5494,6207)(5498,6544)(5499,6546)(5502,6549)(5503,6551)
    (5505,6224)(5507,6554)(5508,6556)(5509,6558)(5511,6435)(5512,6560)
    (5514,6562)(5516,6565)(5518,6567)(5520,6569)(5523,6532)(5525,6573)
    (5527,6575)(5529,6577)(5531,5838)(5532,6580)(5534,6582)(5535,5998)
    (5537,6585)(5538,6586)(5539,6588)(5542,6591)(5544,6593)(5545,6595)
    (5549,6583)(5550,6599)(5552,6601)(5554,6603)(5557,6605)(5558,6607)
    (5559,6609)(5562,6610)(5564,6613)(5567,6616)(5569,6618)(5570,6619)
    (5571,6497)(5573,6621)(5575,6623)(5580,6625)(5582,6628)(5583,6629)
    (5584,6630)(5588,6359)(5590,6632)(5591,5674)(5592,6634)(5594,6637)
    (5595,6639)(5599,6642)(5600,6643)(5603,5924)(5605,6649)(5607,6651)
    (5610,6654)(5611,5870)(5615,5663)(5616,6657)(5617,6658)(5618,5673)
    (5619,6103)(5621,6661)(5625,6663)(5626,6665)(5629,6669)(5632,6672)
    (5634,6674)(5635,6676)(5638,5988)(5639,6069)(5641,6675)(5644,5748)
    (5645,6681)(5647,5941)(5649,6038)(5650,6685)(5651,6687)(5652,6688)
    (5654,5899)(5659,6693)(5660,6694)(5662,6645)(5667,6699)(5668,6701)
    (5670,6704)(5671,5679)(5675,6707)(5681,6712)(5684,6715)(5685,6717)
    (5687,6719)(5689,6722)(5693,6527)(5696,6566)(5697,6729)(5698,6481)
    (5701,6732)(5702,6734)(5704,6737)(5705,6725)(5706,6735)(5707,6740)
    (5708,6334)(5710,6743)(5712,6399)(5713,6745)(5715,6747)(5717,6749)
    (5718,6750)(5720,5790)(5722,6754)(5723,6756)(5725,6758)(5727,6761)
    (5728,6763)(5730,6766)(5733,6770)(5736,6772)(5739,6774)(5740,6776)
    (5741,6777)(5743,6780)(5745,6782)(5746,6783)(5751,6786)(5753,6788)
    (5755,6791)(5759,6795)(5761,6793)(5762,6797)(5763,6799)(5764,6800)
    (5766,6802)(5767,6803)(5768,6805)(5769,6807)(5770,6808)(5772,6810)
    (5774,6368)(5776,6804)(5778,6812)(5780,6815)(5781,6816)(5785,6820)
    (5787,6822)(5788,6824)(5789,6826)(5791,6823)(5793,6511)(5794,6828)
    (5796,6830)(5798,6833)(5800,6684)(5801,6836)(5804,5822)(5807,6841)
    (5808,6843)(5809,6844)(5815,6114)(5817,6660)(5819,6854)(5820,6855)
    (5823,6858)(5824,6042)(5828,6860)(5829,6862)(5831,6864)(5832,6865)
    (5834,6868)(5836,6870)(5837,6842)(5840,6874)(5841,6846)(5845,6879)
    (5847,6881)(5848,6882)(5854,6888)(5857,6892)(5858,6894)(5861,6897)
    (5863,6900)(5865,6903)(5868,6905)(5869,6906)(5874,6909)(5875,6827)
    (5878,6911)(5879,6913)(5882,6912)(5883,6917)(5886,6920)(5888,6923)
    (5891,6924)(5894,6928)(5897,5921)(5901,5944)(5902,6537)(5905,6939)
    (5906,6941)(5908,6204)(5909,6942)(5913,6946)(5914,6948)(5915,6949)
    (5916,6950)(5919,6698)(5922,6954)(5923,6543)(5925,6957)(5928,6885)
    (5930,6961)(5932,6964)(5934,6967)(5936,6969)(5942,6974)(5945,6977)
    (5946,6978)(5947,6980)(5948,6981)(5951,6983)(5953,6173)(5954,6986)
    (5956,6989)(5957,6990)(5959,6993)(5962,6994)(5965,6996)(5967,6999)
    (5968,7000)(5971,7003)(5972,7004)(5973,7006)(5974,7008)(5977,7010)
    (5980,7014)(5982,6194)(5985,7016)(5987,7019)(5992,7021)(5993,7023)
    (5995,7026)(5997,7028)(6001,7031)(6003,7034)(6004,6915)(6006,7038)
    (6008,7040)(6009,7042)(6011,7045)(6013,7046)(6016,7050)(6018,7052)
    (6019,7054)(6021,7056)(6022,7057)(6026,7061)(6029,7065)(6033,7068)
    (6034,7070)(6036,7073)(6039,6057)(6041,7077)(6044,6446)(6045,6308)
    (6046,7082)(6048,7083)(6049,7084)(6052,7086)(6053,7087)(6055,7089)
    (6060,7092)(6062,6137)(6063,7095)(6065,6604)(6067,7097)(6070,6861)
    (6072,7102)(6073,7103)(6074,7104)(6077,7106)(6080,7110)(6082,7111)
    (6083,7113)(6085,7115)(6086,7116)(6088,7119)(6091,7121)(6093,7124)
    (6097,6296)(6098,7128)(6101,6965)(6106,7134)(6108,6594)(6113,6916)
    (6116,7141)(6118,6302)(6120,7144)(6121,6884)(6124,7147)(6125,6829)
    (6129,7153)(6131,7155)(6133,7158)(6135,7159)(6139,7120)(6142,7164)
    (6145,7166)(6146,6792)(6148,7169)(6150,7168)(6152,7172)(6154,7174)
    (6155,7175)(6156,6321)(6158,7177)(6160,7180)(6162,6477)(6163,7184)
    (6165,7186)(6167,7188)(6169,7191)(6170,7192)(6174,6405)(6175,7197)
    (6177,6297)(6180,7201)(6182,7204)(6183,7205)(6187,7208)(6189,7210)
    (6190,7212)(6191,7213)(6196,7216)(6198,7219)(6199,7221)(6201,7224)
    (6203,7226)(6205,7002)(6208,6386)(6210,7234)(6212,7236)(6216,6927)
    (6217,6746)(6219,7242)(6220,7243)(6221,7244)(6222,7245)(6226,7247)
    (6228,7249)(6229,7250)(6231,7252)(6232,7253)(6240,6875)(6244,7261)
    (6245,6670)(6248,7265)(6250,7267)(6252,7269)(6255,6956)(6257,7273)
    (6261,6516)(6263,7278)(6264,7280)(6266,7282)(6269,7284)(6271,7285)
    (6272,7287)(6275,7289)(6276,6962)(6279,7293)(6280,7294)(6282,7296)
    (6283,7298)(6289,7305)(6291,7308)(6292,7272)(6293,7310)(6298,6837)
    (6299,7313)(6301,7312)(6303,7315)(6305,7318)(6306,7319)(6309,7322)
    (6311,7323)(6312,7324)(6317,7329)(6320,7326)(6323,7334)(6324,7336)
    (6327,7337)(6328,7339)(6330,6557)(6331,7341)(6333,7342)(6335,6851)
    (6337,7338)(6341,7348)(6342,7349)(6344,7352)(6346,7355)(6351,6513)
    (6352,6944)(6353,7357)(6356,7359)(6358,7361)(6361,7364)(6363,7365)
    (6366,7368)(6369,7371)(6371,7374)(6372,7053)(6374,7376)(6375,7377)
    (6379,7375)(6380,7378)(6381,7383)(6385,7386)(6388,7389)(6391,7060)
    (6392,7391)(6394,7392)(6396,7395)(6397,7396)(6400,7398)(6402,7401)
    (6404,7404)(6407,7096)(6409,7407)(6411,7410)(6415,7414)(6416,7167)
    (6418,7416)(6420,7373)(6422,7420)(6424,7422)(6426,7300)(6428,7426)
    (6430,7428)(6431,7429)(6432,7430)(6434,7433)(6437,7435)(6438,7437)
    (6440,7098)(6442,7442)(6445,6555)(6447,7444)(6448,7292)(6450,7281)
    (6451,6716)(6452,6615)(6454,6682)(6455,7446)(6457,7449)(6460,7152)
    (6462,7452)(6465,6502)(6466,7457)(6469,7459)(6471,7461)(6473,6878)
    (6475,7463)(6479,6975)(6482,7467)(6483,7469)(6487,6757)(6489,7260)
    (6490,7472)(6493,7411)(6494,7350)(6495,6568)(6499,7478)(6500,6617)
    (6504,7482)(6506,7484)(6508,7481)(6509,7477)(6510,7094)(6515,6794)
    (6517,7492)(6520,7079)(6522,7494)(6525,7496)(6530,6752)(6531,7501)
    (6534,7148)(6541,7058)(6542,7507)(6545,7117)(6547,7508)(6548,7510)
    (6550,7512)(6552,6907)(6553,6751)(6559,7516)(6561,7517)(6563,7519)
    (6564,7521)(6570,6787)(6571,7017)(6572,7525)(6574,7528)(6576,7531)
    (6578,7354)(6579,7535)(6581,6863)(6584,7393)(6587,7541)(6589,7543)
    (6590,7262)(6592,7547)(6596,7551)(6597,7460)(6598,7553)(6600,7555)
    (6602,7557)(6606,7559)(6611,7561)(6614,7563)(6620,7112)(6622,7568)
    (6626,7571)(6627,7573)(6631,7577)(6633,7163)(6635,7581)(6636,7583)
    (6638,7586)(6640,7587)(6641,7588)(6644,7591)(6646,7384)(6647,7593)
    (6650,7491)(6652,7596)(6653,7598)(6655,7600)(6656,7601)(6659,6872)
    (6662,7602)(6664,7606)(6666,7607)(6667,6686)(6671,6798)(6673,7610)
    (6677,7613)(6678,7615)(6679,7533)(6680,7617)(6689,7619)(6690,7623)
    (6691,7624)(6695,7465)(6697,7628)(6700,7631)(6702,7495)(6703,7440)
    (6705,7636)(6706,7637)(6708,7434)(6709,7022)(6711,7640)(6713,7642)
    (6714,7644)(6720,7648)(6721,7650)(6724,7653)(6726,7654)(6727,7622)
    (6730,7657)(6731,7659)(6733,7661)(6736,7663)(6738,7666)(6739,7667)
    (6742,7669)(6744,7397)(6748,7673)(6753,7676)(6755,7678)(6759,7680)
    (6760,7681)(6762,7679)(6764,7483)(6765,7580)(6767,7687)(6768,7688)
    (6769,7387)(6771,7473)(6773,7692)(6775,7380)(6778,7696)(6779,7698)
    (6781,7694)(6784,7701)(6785,7702)(6789,7706)(6790,7632)(6796,7710)
    (6801,7714)(6806,7264)(6811,6919)(6813,7720)(6814,7722)(6817,7527)
    (6818,7725)(6819,7727)(6821,7423)(6825,7730)(6831,7506)(6832,7734)
    (6834,7340)(6835,7737)(6838,7735)(6839,7739)(6840,7741)(6845,7745)
    (6848,7746)(6849,7747)(6850,7749)(6852,7751)(6856,7752)(6857,7755)
    (6859,7030)(6866,7763)(6867,6992)(6871,7766)(6873,7767)(6876,7771)
    (6877,7773)(6880,7776)(6883,7777)(6887,7176)(6889,7783)(6890,7520)
    (6891,7786)(6895,7024)(6898,7785)(6899,7643)(6901,7793)(6902,7794)
    (6904,7797)(6908,7801)(6910,7554)(6914,7805)(6918,7808)(6921,7809)
    (6922,7811)(6925,7814)(6926,7085)(6929,7399)(6930,7566)(6931,7818)
    (6932,7820)(6933,7795)(6934,7823)(6935,7825)(6937,7815)(6938,7828)
    (6940,7802)(6943,7832)(6945,7834)(6947,7826)(6951,7838)(6952,7839)
    (6953,7840)(6955,7475)(6958,7843)(6959,7844)(6960,7845)(6963,7847)
    (6966,7850)(6968,7853)(6970,7855)(6971,7037)(6972,7857)(6973,7859)
    (6976,7369)(6979,7862)(6982,7864)(6984,7170)(6985,7866)(6988,7868)
    (6991,7641)(6995,7872)(6997,7875)(6998,7876)(7001,7878)(7005,7693)
    (7007,7883)(7009,7885)(7011,7887)(7012,7413)(7013,7804)(7015,7889)
    (7020,7895)(7025,7899)(7027,7902)(7029,7900)(7032,7907)(7033,7904)
    (7035,7909)(7036,7756)(7039,7912)(7041,7914)(7043,7915)(7044,7916)
    (7047,7732)(7049,7891)(7059,7922)(7064,7925)(7066,7928)(7067,7297)
    (7071,7621)(7072,7930)(7075,7933)(7076,7934)(7078,7935)(7080,7937)
    (7081,7685)(7088,7941)(7090,7944)(7091,7946)(7093,7731)(7099,7950)
    (7100,7485)(7101,7952)(7105,7955)(7107,7957)(7108,7958)(7109,7608)
    (7118,7962)(7126,7489)(7129,7967)(7131,7700)(7132,7970)(7133,7548)
    (7135,7973)(7136,7975)(7137,7976)(7139,7921)(7140,7295)(7142,7854)
    (7145,7165)(7146,7982)(7149,7662)(7150,7942)(7151,7986)(7154,7911)
    (7156,7989)(7157,7991)(7160,7995)(7161,7996)(7173,8004)(7178,7464)
    (7179,7871)(7181,8011)(7182,8013)(7183,7827)(7185,8016)(7187,7833)
    (7189,7879)(7190,8020)(7193,8014)(7194,8025)(7195,8027)(7196,8028)
    (7198,7849)(7199,8032)(7200,8033)(7202,8035)(7203,8036)(7206,8038)
    (7207,7920)(7209,8041)(7215,7542)(7217,8044)(7218,7511)(7220,8048)
    (7223,8045)(7225,7439)(7227,8054)(7228,8055)(7229,8056)(7230,8058)
    (7231,8059)(7232,8060)(7233,8062)(7235,7829)(7237,7682)(7238,8065)
    (7240,8066)(7248,8070)(7251,8072)(7254,8074)(7255,8075)(7256,8077)
    (7257,8078)(7259,7703)(7263,8081)(7266,8084)(7268,7738)(7270,7757)
    (7271,8088)(7274,8091)(7275,8092)(7277,8093)(7279,8095)(7283,8097)
    (7286,7998)(7288,8099)(7290,8101)(7291,8102)(7299,8109)(7301,8111)
    (7302,8113)(7303,7867)(7306,8068)(7307,8115)(7311,7665)(7314,8120)
    (7316,8121)(7317,8123)(7320,8127)(7321,8128)(7325,8131)(7327,8132)
    (7328,8133)(7330,7620)(7332,8135)(7333,8136)(7335,8057)(7343,8142)
    (7344,8049)(7345,7812)(7346,8144)(7351,8147)(7353,8150)(7356,8153)
    (7358,7886)(7362,8154)(7363,8157)(7366,8160)(7367,8108)(7370,7963)
    (7372,8164)(7379,8169)(7381,8172)(7385,8174)(7388,8177)(7390,8179)
    (7394,8181)(7400,8187)(7402,8189)(7403,8191)(7405,8193)(7406,8186)
    (7409,8196)(7412,8200)(7415,8203)(7417,8205)(7418,7974)(7419,7454)
    (7421,8210)(7424,7544)(7425,8213)(7427,8215)(7431,7744)(7432,8220)
    (7436,8216)(7438,8221)(7441,7754)(7443,8227)(7445,8229)(7448,7905)
    (7450,8232)(7451,8233)(7453,8236)(7455,8239)(7456,8241)(7458,8242)
    (7462,8244)(7466,7513)(7468,8247)(7470,8085)(7471,8250)(7474,7683)
    (7476,7509)(7479,8254)(7480,7968)(7486,8260)(7487,7824)(7488,7948)
    (7493,7625)(7497,8266)(7498,8267)(7499,7863)(7502,8270)(7503,8272)
    (7504,8029)(7505,8274)(7514,8282)(7515,8279)(7518,8284)(7523,8287)
    (7524,8289)(7529,8293)(7530,8294)(7532,8296)(7534,8299)(7536,7609)
    (7537,8301)(7538,8303)(7539,8304)(7540,8305)(7545,7574)(7546,7595)
    (7549,8312)(7550,8313)(7552,8314)(7556,7906)(7558,8320)(7560,8322)
    (7562,8324)(7564,8326)(7565,8327)(7567,8329)(7569,8331)(7570,8332)
    (7572,7592)(7575,8336)(7576,8337)(7578,8338)(7579,8340)(7582,8342)
    (7584,8344)(7585,8345)(7589,8348)(7590,8349)(7594,7984)(7597,7765)
    (7599,8352)(7603,7992)(7604,7769)(7605,7697)(7611,8359)(7612,8360)
    (7614,8363)(7616,8290)(7618,8368)(7626,8371)(7627,7672)(7629,8373)
    (7630,8375)(7634,7822)(7635,7717)(7638,8380)(7639,8381)(7645,8383)
    (7647,8030)(7651,7884)(7652,8387)(7655,8390)(7656,8392)(7658,8394)
    (7660,7803)(7664,8397)(7668,8285)(7670,8402)(7671,8089)(7674,7987)
    (7675,8370)(7677,8388)(7684,8410)(7686,7733)(7689,8413)(7691,8415)
    (7695,7898)(7699,8369)(7707,8423)(7708,8424)(7709,8426)(7712,7874)
    (7713,8428)(7715,7790)(7716,8431)(7718,8433)(7719,8434)(7721,8436)
    (7723,7772)(7724,8298)(7726,8439)(7729,8396)(7736,8446)(7740,8448)
    (7742,8040)(7743,8451)(7748,8455)(7750,8457)(7753,8460)(7758,8463)
    (7759,8465)(7760,8466)(7761,8467)(7762,8321)(7764,7983)(7768,8468)
    (7770,8472)(7774,8475)(7778,8477)(7779,8478)(7780,7919)(7781,8479)
    (7782,8480)(7787,8116)(7788,8483)(7789,8485)(7791,8487)(7792,8488)
    (7796,8492)(7798,8495)(7799,8497)(7800,8499)(7806,8502)(7807,8110)
    (7810,8171)(7813,8507)(7816,8509)(7817,8511)(7821,8355)(7830,8470)
    (7831,8219)(7835,8275)(7836,8517)(7837,7926)(7841,8520)(7842,8522)
    (7846,8525)(7848,8421)(7851,8528)(7852,8442)(7856,8353)(7860,8534)
    (7861,8535)(7865,8538)(7869,8540)(7870,8541)(7873,8544)(7877,8546)
    (7880,8542)(7881,8548)(7882,8550)(7888,8481)(7892,8377)(7894,8556)
    (7896,8559)(7897,8183)(7901,8561)(7903,8237)(7908,8564)(7910,8567)
    (7913,8235)(7917,8469)(7918,8572)(7923,8575)(7924,8148)(7927,8271)
    (7929,8577)(7931,8549)(7932,8580)(7936,8176)(7938,8585)(7939,8587)
    (7943,8590)(7947,8493)(7949,8593)(7951,8594)(7953,8595)(7954,8596)
    (7956,8598)(7959,8199)(7964,8602)(7965,8604)(7966,8606)(7969,8603)
    (7971,8611)(7972,8612)(7977,8615)(7978,8616)(7979,8529)(7980,8618)
    (7981,8619)(7985,8621)(7990,8623)(7993,8624)(7994,8625)(7999,8579)
    (8000,8530)(8002,8628)(8005,8629)(8006,8630)(8008,8631)(8009,8633)
    (8010,8634)(8012,8637)(8015,8638)(8017,8639)(8018,8393)(8019,8641)
    (8021,8042)(8023,8645)(8024,8647)(8026,8649)(8031,8652)(8034,8655)
    (8037,8657)(8039,8264)(8043,8662)(8046,8664)(8047,8666)(8050,8669)
    (8051,8376)(8052,8670)(8053,8671)(8061,8676)(8063,8114)(8064,8403)
    (8067,8679)(8069,8636)(8071,8682)(8073,8361)(8076,8685)(8080,8450)
    (8082,8689)(8083,8417)(8086,8692)(8087,8245)(8090,8222)(8094,8255)
    (8096,8526)(8098,8650)(8100,8697)(8103,8555)(8104,8702)(8105,8482)
    (8106,8703)(8107,8705)(8112,8708)(8117,8710)(8119,8389)(8124,8713)
    (8125,8715)(8126,8716)(8129,8719)(8130,8204)(8134,8724)(8137,8726)
    (8139,8727)(8140,8729)(8143,8730)(8145,8583)(8146,8731)(8149,8734)
    (8151,8736)(8155,8738)(8156,8330)(8159,8277)(8161,8399)(8162,8608)
    (8163,8741)(8165,8743)(8166,8443)(8167,8565)(8168,8745)(8170,8747)
    (8173,8188)(8175,8752)(8178,8753)(8180,8755)(8182,8323)(8185,8756)
    (8192,8309)(8194,8762)(8195,8759)(8197,8763)(8198,8764)(8201,8437)
    (8202,8523)(8206,8769)(8207,8770)(8209,8772)(8211,8362)(8212,8306)
    (8217,8774)(8218,8230)(8223,8776)(8224,8570)(8225,8777)(8226,8474)
    (8228,8778)(8231,8780)(8234,8400)(8238,8627)(8243,8248)(8246,8788)
    (8249,8691)(8252,8791)(8253,8793)(8257,8513)(8258,8489)(8259,8795)
    (8261,8307)(8263,8560)(8265,8786)(8268,8518)(8269,8800)(8273,8802)
    (8276,8804)(8278,8654)(8280,8644)(8283,8588)(8286,8773)(8288,8811)
    (8292,8582)(8295,8812)(8297,8814)(8300,8805)(8302,8714)(8308,8820)
    (8310,8797)(8311,8817)(8316,8547)(8317,8826)(8318,8828)(8319,8830)
    (8325,8740)(8328,8836)(8333,8374)(8335,8840)(8339,8438)(8341,8845)
    (8343,8562)(8346,8847)(8347,8849)(8350,8851)(8351,8422)(8354,8853)
    (8356,8855)(8357,8856)(8358,8704)(8364,8859)(8366,8860)(8367,8398)
    (8372,8768)(8378,8866)(8379,8867)(8382,8868)(8384,8471)(8385,8871)
    (8386,8872)(8391,8723)(8395,8407)(8401,8854)(8404,8879)(8405,8880)
    (8408,8881)(8409,8882)(8411,8690)(8412,8884)(8416,8887)(8418,8890)
    (8420,8694)(8429,8892)(8430,8893)(8432,8896)(8435,8491)(8440,8531)
    (8441,8667)(8445,8900)(8447,8901)(8449,8903)(8452,8905)(8453,8906)
    (8454,8907)(8456,8910)(8458,8911)(8459,8912)(8461,8914)(8462,8916)
    (8464,8848)(8473,8599)(8476,8923)(8484,8925)(8486,8722)(8490,8928)
    (8494,8931)(8496,8578)(8500,8620)(8501,8512)(8503,8933)(8504,8862)
    (8505,8934)(8508,8936)(8510,8938)(8514,8941)(8515,8942)(8516,8899)
    (8519,8843)(8521,8943)(8532,8948)(8536,8950)(8537,8850)(8539,8609)
    (8543,8952)(8545,8712)(8551,8846)(8558,8693)(8563,8574)(8566,8783)
    (8568,8683)(8569,8962)(8571,8918)(8576,8954)(8586,8970)(8589,8971)
    (8591,8929)(8592,8927)(8597,8921)(8600,8875)(8601,8766)(8605,8975)
    (8607,8823)(8610,8977)(8613,8980)(8614,8976)(8617,8983)(8622,8985)
    (8626,8660)(8632,8940)(8635,8991)(8640,8994)(8643,8997)(8646,8999)
    (8648,9000)(8651,9002)(8656,8968)(8658,8894)(8659,8684)(8661,8668)
    (8663,8701)(8665,8930)(8672,9010)(8673,9011)(8674,9012)(8677,8782)
    (8678,9014)(8680,9016)(8681,9017)(8686,8711)(8687,9020)(8688,8932)
    (8695,8750)(8698,9024)(8699,9026)(8700,9028)(8706,9030)(8707,9027)
    (8709,9015)(8717,8784)(8718,9037)(8720,8895)(8725,8819)(8728,9040)
    (8732,9042)(8733,9043)(8735,9045)(8737,9046)(8739,9048)(8742,9049)
    (8744,9051)(8746,9053)(8748,9054)(8749,9055)(8751,9056)(8754,9058)
    (8757,9060)(8760,9062)(8761,9018)(8767,8841)(8771,9064)(8775,9067)
    (8779,8821)(8781,9069)(8785,9071)(8787,9072)(8789,9074)(8790,8832)
    (8796,9075)(8798,9076)(8799,8837)(8803,8995)(8806,9078)(8807,9079)
    (8809,8951)(8813,8889)(8815,9006)(8816,9033)(8818,9082)(8822,9085)
    (8824,9086)(8825,9063)(8827,9084)(8829,9088)(8831,9090)(8833,9091)
    (8834,9092)(8835,9029)(8839,9093)(8842,9095)(8844,9096)(8852,9097)
    (8857,9025)(8858,9101)(8861,9105)(8863,9106)(8869,9108)(8870,9073)
    (8874,9110)(8876,9112)(8877,9022)(8878,8964)(8883,8963)(8885,9116)
    (8886,9066)(8888,9118)(8902,9121)(8908,9122)(8909,9124)(8915,9126)
    (8917,9117)(8919,8957)(8920,9100)(8922,9127)(8924,9081)(8926,9130)
    (8935,9133)(8937,9134)(8944,9102)(8946,9123)(8949,9139)(8953,9140)
    (8958,9129)(8960,9143)(8965,9145)(8966,9004)(8967,9034)(8969,9149)
    (8973,9152)(8974,8978)(8979,9154)(8981,9155)(8982,9156)(8984,9151)
    (8986,9157)(8987,9021)(8988,9159)(8989,9160)(8990,9162)(8992,9164)
    (8993,9165)(8996,9166)(9003,9169)(9005,9171)(9008,9150)(9009,9119)
    (9013,9174)(9019,9170)(9023,9177)(9032,9181)(9035,9183)(9038,9182)
    (9041,9184)(9044,9185)(9047,9186)(9052,9180)(9057,9190)(9065,9193)
    (9070,9080)(9089,9098)(9094,9199)(9099,9142)(9103,9202)(9104,9138)
    (9107,9204)(9109,9188)(9113,9146)(9114,9178)(9115,9144)(9120,9194)
    (9125,9208)(9128,9176)(9131,9197)(9132,9195)(9137,9210)(9141,9153)
    (9147,9212)(9158,9205)(9161,9215)(9163,9200)(9172,9218)(9173,9207)
    (9189,9217)(9192,9223)(9198,9216)(9203,9224)(9211,9229)(9213,9225)
    (9214,9230)(9220,9227)(9226,9228)(9234,9237)(9235,9240)(9236,9239), 
  (   1,   2)(   3,   4,   6,   9)(   5,   7,  11,  16)(   8,  12,  18,  26)
    (  10,  14,  21,  31)(  13,  19,  28,  41)(  15,  22,  33,  48)
    (  17,  24,  36,  52)(  20,  29,  43,  61)(  23,  34,  49,  69)(  25,  37)
    (  27,  39,  56,  79)(  30,  44,  63,  87)(  32,  46,  66,  92)
    (  35,  50,  71,  99)(  38,  54,  76, 107)(  40,  57,  80, 111)
    (  42,  59,  83, 116)(  45,  64,  89, 125)(  47,  67,  94, 131)
    (  51,  72, 101, 141)(  53,  74, 104, 145)(  55,  77, 109, 152)
    (  58,  81, 113, 158)(  60,  84, 118, 164)(  62,  85, 120, 167)
    (  65,  90, 127, 177)(  68,  95, 133, 185)(  70,  97, 136, 190)
    (  73, 102, 143, 199)(  75, 105, 147, 205)(  78, 110, 154, 215)
    (  82, 114, 159, 220)(  86, 121, 169, 233)(  88, 123, 172, 238)
    (  91, 128, 179, 247)(  93, 130, 182, 252)(  96, 134, 187, 259)
    (  98, 137, 191, 265)( 100, 139, 194, 270)( 103, 144, 201, 280)
    ( 106, 148, 207, 286)( 108, 150, 210, 291)( 112, 156, 218, 303)
    ( 115, 160, 222, 308)( 117, 162, 225, 313)( 119, 165, 229, 319)
    ( 122, 170, 235, 328)( 124, 173, 240, 333)( 126, 175, 243, 338)
    ( 129, 180, 249, 347)( 132, 184, 255, 356)( 135, 188, 261, 364)
    ( 138, 192, 267, 372)( 140, 195, 272, 378)( 142, 197, 275, 383)
    ( 146, 203, 283, 395)( 149, 208, 288, 403)( 151, 211, 293, 409)
    ( 153, 213, 296, 414)( 155, 216, 300, 420)( 157, 219, 305, 425)
    ( 161, 223, 310, 431)( 163, 226, 315, 437)( 166, 230, 321, 446)
    ( 168, 232, 324, 451)( 171, 236, 330, 459)( 174, 241, 335, 467)
    ( 176, 244, 340, 474)( 178, 246, 343, 479)( 181, 250, 349, 487)
    ( 183, 253, 353, 492)( 186, 257, 359, 501)( 189, 262, 366, 511)
    ( 193, 268, 374, 523)( 196, 273, 380, 531)( 198, 276, 385, 536)
    ( 200, 278, 388, 541)( 202, 281, 392, 546)( 204, 284, 397, 553)
    ( 206, 285, 399, 556)( 209, 289, 405, 564)( 212, 294, 411, 573)
    ( 214, 297, 416, 579)( 217, 301, 422, 588)( 221, 307, 428, 598)
    ( 224, 311, 433, 605)( 227, 316, 439, 613)( 228, 317, 441, 616)
    ( 231, 322, 448, 626)( 234, 326, 454, 633)( 237, 331, 461, 643)
    ( 239, 332, 463, 646)( 242, 336, 469, 654)( 245, 341, 476, 664)
    ( 248, 345, 482, 673)( 251, 350, 271, 377)( 254, 354, 494, 687)
    ( 256, 357, 498, 693)( 258, 360, 503, 698)( 260, 362, 506, 702)
    ( 263, 367, 513, 712)( 264, 368, 515, 714)( 266, 370, 518, 390)
    ( 269, 375, 525, 728)( 274, 381, 533, 739)( 277, 386, 538, 747)
    ( 279, 389, 543, 754)( 282, 393, 548, 761)( 287, 401, 559, 776)
    ( 290, 406, 566, 786)( 292, 408, 569, 791)( 295, 412, 575, 798)
    ( 298, 417, 581, 807)( 299, 418, 583, 810)( 302, 423, 590, 820)
    ( 304, 424, 592, 823)( 306, 426, 595, 827)( 309, 430, 601, 836)
    ( 312, 434, 607, 843)( 314, 436, 610, 847)( 318, 442, 618, 858)
    ( 320, 444, 621, 862)( 323, 449, 627, 870)( 325, 452, 631, 875)
    ( 327, 455, 635, 879)( 329, 457, 638, 884)( 334, 465, 649, 900)
    ( 337, 470, 656, 715)( 339, 472, 659, 914)( 342, 477, 666, 924)
    ( 344, 480, 670, 928)( 346, 483, 675, 933)( 348, 485, 678, 938)
    ( 351, 489, 681, 944)( 352, 490, 683, 946)( 355, 495, 689, 953)
    ( 358, 499, 695, 962)( 361, 504, 700, 505)( 363, 507, 704, 974)
    ( 365, 509, 707, 979)( 369, 516, 716, 991)( 371, 519, 720, 996)
    ( 373, 521, 723,1000)( 376, 526, 730,1009)( 379, 529, 734,1015)
    ( 382, 534, 741, 883)( 384, 535, 743,1027)( 387, 539, 749,1035)
    ( 391, 544, 756,1045)( 394, 549, 763,1054)( 396, 551, 766,1059)
    ( 398, 554, 769,1064)( 400, 557, 773,1070)( 402, 560, 778,1075)
    ( 404, 562, 781,1079)( 407, 567, 788,1088)( 410, 571, 793,1093)
    ( 413, 576, 800,1103)( 415, 578, 803,1106)( 419, 584, 812,1115)
    ( 421, 586, 815,1120)( 427, 596, 829,1139)( 429, 599, 833,1145)
    ( 432, 603, 839,1153)( 435, 608, 844,1161)( 438, 611, 849,1167)
    ( 440, 614, 853,1172)( 443, 619, 860,1181)( 445, 622, 864,1186)
    ( 447, 624, 866,1189)( 450, 628, 811,1114)( 453, 632, 877,1203)
    ( 456, 636, 881,1208)( 458, 639, 886,1212)( 460, 641, 889,1217)
    ( 462, 644, 893,1222)( 464, 647, 897,1228)( 466, 650, 902,1233)
    ( 468, 652, 905,1237)( 471, 657, 911,1245)( 473, 660, 916,1251)
    ( 475, 662, 919,1256)( 478, 667, 804,1107)( 481, 671, 930,1271)
    ( 484, 676, 935,1279)( 486, 679, 940, 570)( 488, 680, 942,1287)
    ( 491, 684, 528, 732)( 493, 685, 948,1292)( 496, 690, 955,1301)
    ( 497, 691, 957,1304)( 500, 696, 964,1314)( 502, 697, 966, 943)
    ( 508, 705, 976,1329)( 510, 708, 981,1335)( 512, 710, 984,1340)
    ( 514, 713, 988, 790)( 517, 717, 993,1350)( 520, 721, 997,1357)
    ( 522, 724,1001,1363)( 524, 726,1004,1368)( 527, 731,1011,1377)
    ( 530, 735,1017,1383)( 532, 737,1020,1388)( 537, 745,1030,1403)
    ( 540, 750,1037,1413)( 542, 752,1040,1417)( 545, 757,1047,1425)
    ( 547, 759,1050,1430)( 550, 764,1056,1439)( 552, 767,1061,1445)
    ( 555, 770,1066,1452)( 558, 774,1072,1461)( 561, 779,1077, 780)
    ( 563, 782,1081,1472)( 565, 784,1083,1474)( 568, 789,1089,1482)
    ( 572, 794,1095,1488)( 574, 796,1098,1493)( 577, 801,1104,1501)
    ( 580, 805,1109,1508)( 582, 808,1112,1512)( 585, 813,1117,1519)
    ( 587, 816,1121,1524)( 589, 818,1124,1529)( 591, 821,1128,1534)
    ( 593, 824,1132,1539)( 594, 825,1134,1542)( 597, 830,1141,1550)
    ( 600, 834,1147,1559)( 602, 837,1150,1564)( 604, 840,1155,1569)
    ( 606, 841,1157,1572)( 609, 845,1163,1579)( 612, 850,1169,1585)
    ( 615, 854,1174,1592)( 617, 856,1176,1595)( 620, 861,1183,1604)
    ( 623, 797,1099,1494)( 625, 867,1191,1612)( 629, 872,1197,1622)
    ( 630, 873,1199,1625)( 634, 878,1205,1633)( 637, 882,1210,1640)
    ( 640, 887,1214,1645)( 642, 890,1219,1651)( 645, 894,1224,1659)
    ( 648, 898,1230,1668)( 651, 903,1235, 904)( 653, 906,1239,1679)
    ( 655, 908,1242,1684)( 658, 912,1247,1690)( 661, 917,1253,1699)
    ( 663, 920,1258,1704)( 665, 922,1260,1708)( 668, 926,1265,1716)
    ( 669, 927,1267,1719)( 672, 931,1273,1727)( 674, 932,1275,1730)
    ( 677, 936,1281, 783)( 682, 945,1289,1748)( 686, 949,1294,1754)
    ( 688, 951,1297,1758)( 692, 958,1306,1768)( 694, 960,1309,1773)
    ( 699, 968,1319,1785)( 701, 970,1322,1790)( 703, 972)( 706, 977,1331,1802)
    ( 709, 982,1337,1811)( 711, 985,1341,1814)( 718, 994,1352,1830)
    ( 719, 995,1354,1833)( 722, 998,1359,1839)( 725,1002,1365,1847)
    ( 727,1005,1370,1853)( 729,1007,1373,1858)( 733,1013,1380,1868)
    ( 736,1018,1385,1876)( 738,1021,1390,1881)( 740,1023,1393,1886)
    ( 742,1025,1396,1891)( 744,1028,1400,1896)( 746,1031,1405,1901)
    ( 748,1033,1408,1429)( 751,1038,1414,1913)( 753,1041,1419,1919)
    ( 755,1043,1422,1924)( 758,1048,1427,1932)( 760,1051,1432,1937)
    ( 762,1053,1435,1942)( 765,1057,1441,1949)( 768,1062,1447,1956)
    ( 771,1067,1454,1965)( 772,1068,1456,1967)( 775,1073,1463,1976)
    ( 777,1074,1465,1979)( 785,1084,1476,1994)( 787,1086,1478,1998)
    ( 792,1091,1485,2006)( 795,1096,1490,2014)( 799,1101,1497,2023)
    ( 802,1105,1503,2030)( 806,1110,1509,2036)( 809,1113,1514,2043)
    ( 814,1118,1521,2052)( 817,1122,1526,1667)( 819,1125, 826,1135)
    ( 822,1129,1536,2071)( 828,1137,1545,2082)( 831,1142,1552,2090)
    ( 832,1143,1554,1130)( 835,1148,1561, 885)( 838,1151,1565,2107)
    ( 842,1158,1574,2118)( 846, 952,1298,1759)( 848,1165,1582,2129)
    ( 851,1170,1587, 852)( 855,1097,1491,1436)( 857,1177,1597,2147)
    ( 859,1179,1599,2151)( 863,1185,1316,1782)( 865,1187,1609,2162)
    ( 868,1192,1614,2170)( 869,1193,1616,2173)( 871,1195,1619,2177)
    ( 874,1200,1516,2045)( 876,1202,1629,2190)( 880,1207,1636,2199)
    ( 888,1215,1647,2213)( 891,1220,1653,2222)( 892,1221,1655,2224)
    ( 895,1225,1661,2230)( 896,1226,1663,2233)( 899,1231,1670,2241)
    ( 901,1232,1672,2244)( 907,1240,1681,2257)( 909, 975,1327,1797)
    ( 910,1243,1685,2263)( 913,1248,1692,2273)( 915,1250,1695,2277)
    ( 918,1254,1701,2284)( 921,1259,1706,2292)( 923,1261,1710,2297)
    ( 925,1263,1713,2301)( 929,1269,1722,2313)( 934,1277,1733,2329)
    ( 937,1282,1738,2335)( 939,1284,1741,2338)( 941,1286,1744,2340)
    ( 947,1290,1750,2296)( 950,1295,1755,2355)( 954,1299,1761,2360)
    ( 956,1302,1765,2366)( 959,1307,1770,2373)( 961,1310,1775,2013)
    ( 963,1312,1778,2381)( 965,1315,1285,1742)( 967,1317,1784,2388)
    ( 969,1320,1787,2390)( 971,1323,1792,2397)( 973,1325,1795,2401)
    ( 978,1332,1804,2413)( 980,1334,1807,2418)( 983,1338,1813,2425)
    ( 986,1342,1816,2429)( 987,1343,1817,2430)( 989,1345,1820,2435)
    ( 990,1346,1822,2437)( 992,1348,1825,2441)( 999,1360,1841,1160)
    (1003,1366,1849,2473)(1006,1371,1855,2481)(1008,1374,1859,2485)
    (1010,1376,1862,2490)(1012,1378,1865,2494)(1014,1381,1870,2501)
    (1016,1382,1872,2504)(1019,1386)(1022,1391,1883,2516)(1024,1394,1888,2093)
    (1026,1397,1893,2527)(1029,1401,1898,1154)(1032,1406,1903,1407)
    (1034,1409,1906,2544)(1036,1411,1909,2549)(1039,1415,1915,2556)
    (1042,1420,1921,2563)(1044,1423,1926,2570)(1046,1424,1928,2572)
    (1049,1428,1933,2578)(1052,1433,1939,2585)(1055,1437,1944,2592)
    (1058,1442,1950,2601)(1060,1444,1952,1607)(1063,1448,1958,2608)
    (1065,1450,1960,2611)(1069,1457,1969,2621)(1071,1459,1972,2626)
    (1076,1466,1981,2638)(1078,1468,1984,2642)(1080,1470,1987,2647)
    (1082,1473,1991,2652)(1085,1477,1996,2659)(1087,1479,1999,2661)
    (1090,1483,2004,1743)(1092,1486,2008,2673)(1094,1487,2010,2676)
    (1100,1495,2020,2686)(1102,1498,2024,2691)(1108,1506,2034,2705)
    (1111,1510,2038,2710)(1116,1517,2047,2722)(1119,1522,2054,2732)
    (1123,1527,2060,2740)(1126,1531,2065,2746)(1127,1532,2067,2748)
    (1131,1537,2073,2756)(1133,1540,2077,2761)(1136,1543,2080,2766)
    (1138,1546,2084,2771)(1140,1548,2087,2775)(1144,1555,2094,2781)
    (1146,1557,2097,2786)(1149,1562,2103,2794)(1152,1566,2109,2799)
    (1156,1570,2114,2804)(1159,1575,2120,2410)(1162,1577,2123,2817)
    (1164,1580,1736,2333)(1166,1583,2131,2827)(1168,1584,2133,2830)
    (1171,1588,2138,2837)(1173,1590,2141,1934)(1175,1593,2144,2845)
    (1178,1598,2149,2851)(1180,1600,2153,2854)(1182,1602,2156,2859)
    (1184,1605,2159,2864)(1188,1610,2164,2870)(1190,1611,2166,2873)
    (1194,1617,2174,2884)(1196,1620,2179,2890)(1198,1623,2183,2894)
    (1201,1627,2187,2899)(1204,1631,2193,2906)(1206,1634,2197,2911)
    (1209,1638,2202,2916)(1211,1641,2206,2192)(1213,1643,2209,2926)
    (1216,1648,2215,1339)(1218,1650,2218,2936)(1223,1657,2226,2945)
    (1227,1664,2235,2955)(1229,1666,2238,2959)(1234,1673,2246,2969)
    (1236,1675,2249,2974)(1238,1677,2252,2979)(1241,1682,2259,2989)
    (1244,1686,2265,2995)(1246,1688,2268,3000)(1249,1693,2275,3009)
    (1252,1697,1997,2660)(1255,1702,2286,3023)(1257,1703,2288,3026)
    (1262,1711,2298,3038)(1264,1714,2303,3045)(1266,1717,2307,3049)
    (1268,1720,2310,3053)(1270,1723,2315,3059)(1272,1725,2318,3064)
    (1274,1728,2322,3068)(1276,1731,2326,3074)(1278,1511,2039,2712)
    (1280,1735,2332,3081)(1283,1739,1578,2124)(1288,1746,2343,2394)
    (1291,1751,2349,3100)(1293,1752,2351,3102)(1296,1756,2357,3109)
    (1300,1762,2362,3114)(1303,1766,2368,3122)(1305,1767,2370,3125)
    (1308,1771,2374,3130)(1311,1776,2378,3135)(1313,1779,2383,1596)
    (1318,1581,2127,2822)(1321,1788,2392,3151)(1324,1793,2399,3159)
    (1326,1796,2403,3164)(1328,1798,2405,3080)(1330,1800,2408,3170)
    (1333,1805,2415,3178)(1336,1809,2420,3184)(1344,1818,2432,3198)
    (1347,1823,2438,3205)(1349,1826,1412,1910)(1351,1828,2445,3214)
    (1353,1831,2449,3220)(1355,1834,2453,3226)(1356,1835,2454,3227)
    (1358,1837,2457,3230)(1361,1842,2463,3238)(1362,1843,2465,2105)
    (1364,1845,2468,3244)(1367,1850,2475,2915)(1369,1852,2478,3255)
    (1372,1856,2483,3262)(1375,1860,2487,3267)(1379,1866,2496,3278)
    (1384,1874,2507,3089)(1387,1878,2509,3294)(1389,1880,2512,3296)
    (1392,1884,2518,2865)(1395,1889,2523,3306)(1398,1894,2529,3314)
    (1399,1895,2531,3317)(1402,1899,2536,3324)(1404,1900,2537,3326)
    (1410,1907,2546,3004)(1416,1916,2558,3348)(1418,1918)(1421,1922,2565,3358)
    (1426,1930,2575,3373)(1431,1935,2580,3380)(1434,1940,2587,3390)
    (1438,1945,2594,3398)(1440,1947,2597,3403)(1443,1951,2602,3410)
    (1446,1954,2604,3413)(1449,1959,2609,3418)(1451,1961,2612,3421)
    (1453,1963,2615,3425)(1455,1966,2619,3431)(1458,1970,2623,3436)
    (1460,1973,2628,3441)(1462,1974,2630,3444)(1464,1977,2634,3450)
    (1467,1982,2640,3455)(1469,1985,2644,3461)(1471,1988,2648,3466)
    (1475,1993,2655,3475)(1480,2000,2663,3485)(1481,2001,2665,3487)
    (1484,1615,2171,2880)(1489,2012,2678,3504)(1492,2016,2682,3510)
    (1496,2021,2688,3518)(1499,2025,2692,3522)(1500,2026,2694,3524)
    (1502,2028,2697,3527)(1504,2031,2701,3533)(1505,2032,2703,3536)
    (1507,2035,2707,3542)(1513,2041,2715,3551)(1515,2044,2718,3554)
    (1518,2048,2724,3560)(1520,2050,2727,3564)(1523,2055,2734,3574)
    (1525,2057,2161,2866)(1528,2061,2741,3582)(1530,2063,2743,3584)
    (1533,2068,2749,3590)(1535,2070,2752,3594)(1538,2074,2757,3598)
    (1541,2078,2763,3607)(1544,2081,2768,3614)(1547,2085,2772,3618)
    (1549,1658,2227,2946)(1551,2088,2777,3624)(1553,2091,2779,3627)
    (1556,2095,2783,2785)(1558,2098,2002,2666)(1560,2100,2790,3634)
    (1563,2104,2795,3639)(1567,2110,2106,2796)(1568,2111,1840,2460)
    (1571,2115,2806,3653)(1573,2117,2809,1808)(1576,2121,2814,3661)
    (1586,2135,2833,3684)(1589,2139,2839,3693)(1591,2142,2842,3696)
    (1594,2145,2847,3702)(1601,2154,2856,3714)(1603,2157,2861,1654)
    (1606,2160,2228,2947)(1608,1885,2519,1644)(1613,2168,2876,3736)
    (1618,2175,2886,3746)(1621,2180,2891,3381)(1624,2184,1819,2433)
    (1626,2185,2896,3754)(1628,2188,2901,3747)(1630,2191,2905,3765)
    (1632,2194,2908,3768)(1635,1829,2446,3216)(1637,2200,2914,2201)
    (1639,2203,2918,3780)(1642,2207,2923,3788)(1646,2211,2929,3795)
    (1649,2216,2934,3803)(1652,2220,2939,3808)(1656,2225,2943,1772)
    (1660,2229,2949,3817)(1662,2231,2952,3821)(1665,2236,2956,1757)
    (1669,2239,2961,3831)(1671,2242,2964,3836)(1674,2247,2971,3842)
    (1676,2250,2976,3848)(1678,2253,2981,3853)(1680,2255,2984,3481)
    (1683,2260,2991,3867)(1687,2266,2997,3874)(1689,2269,3002,3881)
    (1691,2271,2646,3464)(1694,2276,3011,3891)(1696,2278,3013,3892)
    (1698,2280,3016,3895)(1700,2282,3018,3897)(1705,2290,3028,3910)
    (1707,2293,3032,3913)(1709,2295,3035,3918)(1712,2299,3040,3710)
    (1715,2304,1749,2346)(1718,2308,2477,3254)(1721,2311,3055,3937)
    (1724,2316,3061,3945)(1726,2319,2711,3546)(1729,2323,3070,3955)
    (1732,2327,3076,3964)(1734,2330,3079,2331)(1737,2334,1953,2603)
    (1740,2337,3086,3791)(1745,2341,3091,3975)(1747,2344,3095,3980)
    (1753,2352,3104,3990)(1760,2359,3112,4001)(1763,2363,3116,4005)
    (1764,2364,3118,4008)(1769,2372,3128,4022)(1774,2376,2672,3496)
    (1777,2379,2709,3544)(1780,2384,3141,4035)(1781,2385,2560,3351)
    (1783,2387,3145,4039)(1786,2389,3148,4043)(1789,2393,3153,2037)
    (1791,2395,3154,4050)(1794,2400,3161,4058)(1799,2406,3167,4066)
    (1801,2409,3172,4073)(1803,2411,3173,4075)(1806,2416,3179,4083)
    (1810,2421,3186,4090)(1812,2423,3189,4095)(1815,2427,3194,4103)
    (1821,2436,3202,4112)(1824,2439,3207,2550)(1827,2443,3211,4121)
    (1832,2450,3222,4135)(1836,2455,3229,2456)(1838,2458,3232,4147)
    (1844,2466,3241,4159)(1846,2469,3246,4146)(1848,2471,3249,2402)
    (1851,2476,3253,4169)(1854,2479,3257,4174)(1857,2484,3264,4180)
    (1861,2488,3269,4186)(1863,2491,3272,3144)(1864,2492,3274,4189)
    (1867,2497,3280,4193)(1869,2499,3283,4197)(1871,2502,3286,4201)
    (1873,2505,3288,4204)(1875,2508,3292,1877)(1879,2510,3295,4212)
    (1882,2514,2844,3699)(1887,2521,3303,4220)(1890,2524,3308,4227)
    (1892,2525,3309,4229)(1897,2533,3320,4240)(1902,2539,2584,3386)
    (1904,2541,3331,4252)(1905,2542,3332,4254)(1908,2547,2270,3003)
    (1911,2551,3340,4265)(1912,2552,3342,4267)(1914,2554)(1917,2559,3350,4278)
    (1920,2561,3353,4280)(1923,2566,3360,4286)(1925,2568,3363,4291)
    (1927,2571,3367,4296)(1929,2573,3370,4300)(1931,2576,3375,4304)
    (1936,2581,3382,4312)(1938,2583,3385,4317)(1941,2588,3392,4322)
    (1943,2590,3395,4327)(1946,2595,3400,4333)(1948,2598,3405,4338)
    (1955,2605,3415,3637)(1957,2606)(1962,2613,3422,4352)(1964,2616,3427,4356)
    (1968,2620,3433,4363)(1971,2624,3438,4369)(1975,2631,3446,4377)
    (1978,2635,3451,4383)(1980,2195,2909,3770)(1983,2641,3457,4392)
    (1986,2645,3463,4398)(1989,2649,3468,4404)(1990,2650,3470,4406)
    (1992,2653,3473,4411)(1995,2657,3478,4418)(2003,2667,3489,4427)
    (2005,2669,3492,4430)(2007,2671,3495,4435)(2009,2674,3499,4439)
    (2011,2677,3503,4445)(2015,2680,3507,4449)(2017,2243,2965,3837)
    (2018,2683,3512,4455)(2019,2684,3514,4458)(2022,2689,3519,4465)
    (2027,2695,2787,3632)(2029,2698,3529,4475)(2033,2704,3538,4485)
    (2040,2713,3548,4496)(2042,2716,3552,4500)(2046,2720,3557,4505)
    (2049,2725,3562,2726)(2051,2728,3566,2789)(2053,2730,3569,4519)
    (2056,2735,3576,4529)(2058,2737,3578,4532)(2059,2738,2708,3543)
    (2062,2742,3583,4536)(2064,2744,3585,4538)(2066,2204,2919,3782)
    (2069,2750,3591,3359)(2072,2754,3596,3279)(2075,2758,3600,4553)
    (2076,2759,3602,4555)(2079,2764,3609,4563)(2083,2769,3366,4294)
    (2086,2773,3620,4578)(2089,2778,3626,4584)(2092,2780,3629,4588)(2096,2784)
    (2099,2788,3633,4594)(2101,2791,3636,3581)(2102,2792,2889,3749)
    (2108,2798,3642,3445)(2112,2802,3647,4606)(2113,2803,3649,4609)
    (2116,2807,3655,4615)(2119,2811,3330,4250)(2122,2815,3663,4176)
    (2125,2819,3667,4630)(2126,2820,3669,4633)(2128,2823,3672,4635)
    (2130,2825,3675,4638)(2132,2828,3678,4643)(2134,2831,3681,4647)
    (2136,2834,3686,2196)(2137,2835,3688,2944)(2140,2840,3695,4661)
    (2143,2843,3698,4664)(2146,2848,3704,4669)(2148,2849,3706,4672)
    (2150,2852,3709,4677)(2152,2853,3599,4551)(2155,2857,3368,4297)
    (2158,2862,3721,4688)(2163,2868)(2165,2871,3729,4492)(2167,2874,3733,4703)
    (2169,2877,3738,4707)(2172,2881,3741,2347)(2176,2887,2431,3197)
    (2178,2412,3174,4077)(2181,2892,2776,3623)(2182,2893,3752,4724)
    (2186,2897,3756,4729)(2189,2902,3762,4733)(2198,2912,3774,2948)
    (2205,2920,3784,4758)(2208,2924,3789,2607)(2210,2927,3792,4766)
    (2212,2930,3797,4772)(2214,2932,3800,4775)(2217,2935,3804,4779)
    (2219,2937,3805,4780)(2221,2940,3810,4783)(2223,2941,3812,4785)
    (2232,2953,3822,4542)(2234,2954,3824,4794)(2237,2957,3826,2980)
    (2240,2962,3833,3761)(2245,2967,3839,4810)(2248,2972,3844,4817)
    (2251,2977,3850,4822)(2254,2982,3855,4829)(2256,2985,3859,4833)
    (2258,2987,3862,4837)(2261,2992,2361,3113)(2262,2993,3869,4847)
    (2264,2994,3870,4849)(2267,2998,3876,4857)(2272,3005,3883,4862)
    (2274,3007,3886,4865)(2279,3014,3893,4873)(2281,3017,3484,3285)
    (2283,3019,3898,4876)(2285,3021,3901,4879)(2287,3024,3905,2472)
    (2289,3027,3909,4888)(2291,3029,3911,4889)(2294,3033,3915,4895)
    (2300,3041,3083,3969)(2302,3043,2452,3224)(2305,3047,3928,4906)
    (2306,3048,3930,4909)(2309,3051,3934,4913)(2312,3056,3939,3259)
    (2314,3058,3942,4920)(2317,3062)(2320,3066,3951,4930)(2321,2872,3730,4699)
    (2324,3071,3957,3563)(2325,3072,3959,4939)(2328,3077,3502,4443)
    (2336,3084,3971,3271)(2339,3088)(2342,3092,3977,4956)(2345,3096,3982,4962)
    (2348,3098,3985,4966)(2350,3101,2860,3718)(2353,3036,3919,4898)
    (2354,3105,3992,4974)(2356,3107,3995,4977)(2358,3110,3998,4982)
    (2365,3119,4009,4992)(2367,3121,4012,4996)(2369,3123,4015,4999)
    (2371,3126,4019,5004)(2375,3131,4025,5012)(2377,3133,4027,5015)
    (2380,3137,4030,5020)(2382,3139,4032,5021)(2386,3143,3687,4652)
    (2391,3150,4046,5033)(2396,3155,3482,4422)(2398,3157,4054,5042)
    (2404,3165,4063,5055)(2407,3168,4068,5061)(2414,3176,4080,5074)
    (2417,3180,4084,5079)(2419,3182,4087,5084)(2422,3187,4092,5090)
    (2424,3190,4097,5093)(2426,3192,4100,5097)(2428,3195,4105,5102)
    (2434,3093,3978,4957)(2440,3208,4118,5114)(2442,3209)(2444,3212,4123,5121)
    (2447,3217,4128,4283)(2448,3218,4130,5128)(2451,3223,4137,5138)
    (2459,3233,4149,5150)(2461,3235,4152,5153)(2462,3236,4153,5155)
    (2464,3239,4157,5160)(2467,3242,2719,3555)(2470,3247,4163,5166)
    (2474,3250,4165,5168)(2480,3258,4175,5177)(2482,3260,4177,5179)(2486,3265)
    (2489,3270,4187,5190)(2493,3275,3142,4036)(2495,3276,4190,5195)
    (2498,3281,4194,5199)(2500,3284,4199,4213)(2503,3287,4202,5204)
    (2506,3289,4206,2513)(2511,2883,3743,4714)(2515,2614,3423,4354)
    (2517,3299,4216,5217)(2520,3301,4218,4198)(2522,3304,4222,5224)
    (2526,3310,3408,4342)(2528,3312,4231,4318)(2530,3315,4235,5231)
    (2532,3318,4238,5235)(2534,3321,4241,5238)(2535,3322,4243,5241)
    (2538,3327,4246,3389)(2540,3329,4249,5247)(2543,3333,4255,5252)
    (2545,3335,4258,5256)(2548,3337,4261,5261)(2553,3343)(2555,3345,4271,5275)
    (2557,3346,4273,5277)(2562,3354,4282,3365)(2564,3356)(2567,3361,4288,5292)
    (2569,3364,4293,5296)(2574,3371)(2577,3376,4306,5310)(2579,3378,4309,5314)
    (2582,3383,4314,5319)(2586,3388)(2589,3393,4324,5330)(2591,3396,4328,5334)
    (2593,3397,4329,5336)(2596,3401,4334,5342)(2599,3406,3402,4335)
    (2600,3407,4341,5346)(2610,3419,3625,4583)(2617,3428,2875,3734)
    (2618,3429,4359,4963)(2622,3435,4365,3046)(2625,3439,4371,5380)
    (2627,3127,4020,5006)(2629,3442,4374,5384)(2632,3447,4379,5391)
    (2633,3448,4381,5392)(2636,3452,4385,4511)(2637,3453,4387,5400)
    (2639,3454,3849,4820)(2643,3459,4394,5409)(2651,3471,4408,5423)
    (2654,3474,3593,4546)(2656,3476,4415,5428)(2658,3479,4420,3880)
    (2662,3483,4423,5424)(2664,3486,3020,3899)(2668,3490,4428,5438)
    (2670,3493,4432,5443)(2675,3500,4441,5454)(2679,3505,4447,3506)
    (2681,3508,4451,5466)(2685,3515,4460,5473)(2687,3517,4462,5475)
    (2690,3520,4466,5479)(2693,3523,4469,5484)(2696,3526,4472,5489)
    (2699,3530,4476,5492)(2700,3531,4478,4959)(2702,3534,4481,5495)
    (2706,3540,4488,5505)(2714,3549,4498,5516)(2717,2986,3860,4658)
    (2721,3558,4507,5527)(2723,3559,4508,4000)(2729,3567,4516,5537)
    (2731,3570,4521,5542)(2733,3572,4524,5547)(2736,3577,4531,5554)
    (2739,3580,4534,4340)(2745,3586,3635,3012)(2747,3588,4541,5564)
    (2751,3592,4545,5567)(2753,3196,4106,3783)(2755,3597,4550,5571)
    (2760,3603,4556,5575)(2762,3605,4558,4326)(2765,3610,4565,5584)
    (2767,3612,4568,5080)(2770,3616,4573,4972)(2774,3621,4580,4038)
    (2782,3631,4591,5609)(2793,3638,4596,5615)(2797,3641,4599,5618)
    (2800,3644,4602,5248)(2801,3645,4459,5472)(2805,3651,3039,3922)
    (2808,3656,4616,5637)(2810,3657,4618,5638)(2812,3659,4620,5639)
    (2813,3660,4621,5641)(2816,3664,4625,5647)(2818,3666,4628,5651)
    (2821,2950,3818,3426)(2824,3673,4636,5659)(2826,3676,4640,2904)
    (2829,3679,4644,5666)(2832,3682,4649,5670)(2836,3689,4448,5462)
    (2838,3691,4656,5677)(2841,3339,4263,5264)(2846,3700,4666,5689)
    (2850,3707,4674,5699)(2855,3712,4680,5705)(2858,3716,4683,4226)
    (2863,3722,4689,5711)(2867,3724,4692,5715)(2869,3726,4694,5718)
    (2878,3739,4709,2879)(2882,3742,4712,3355)(2885,3745,4716,5350)
    (2888,3748,4719,5740)(2895,3753,4726,5750)(2898,3757,3200,4110)
    (2900,3759,3050,3932)(2903,3763,4734,5759)(2907,3767,4739,5766)
    (2910,3771,4744,5770)(2913,3775,4748,5776)(2917,3778,4752,3404)
    (2921,3785,4759,5789)(2922,3786,4761,5791)(2925,3790,4765,5657)
    (2928,3793,4768,4858)(2931,3798,4773,5804)(2933,3801,4777,5808)
    (2938,3806,4102,5100)(2942,3813,4787,5819)(2951,3819,4790,4756)
    (2958,3827,4797,5829)(2960,3829,4800,5834)(2963,3834,4805,5840)
    (2966,3838,3106,3993)(2968,3840,4812,5845)(2970,3841,4813,5847)
    (2973,3845,4818,3994)(2975,3630,4589,3203)(2978,3851,4824,4230)
    (2983,3856,4831,5865)(2988,3863,4839,5872)(2990,3865,4842,5875)
    (2996,3872,4852,5877)(2999,3877,4859,5888)(3001,3879,4860,5890)
    (3006,3884,4403,3927)(3008,3887,4419,5432)(3010,3889,4869,5586)
    (3015,3894,4410,4192)(3022,3902,4881,5906)(3025,3906,4885,3311)
    (3030,3912,4891,3031)(3034,3916,4897,5734)(3037,3920,4899,5919)
    (3042,3924,4903,5923)(3044,3926,4905,5925)(3052,3935,4171,3054)
    (3057,3940,4917,5936)(3060,3943,4921,5940)(3063,3947,4440,5452)
    (3065,3949,4928,5948)(3067,3952,4932,5953)(3069,3953,4934,5956)
    (3073,3960,4941,5963)(3075,3962,4943,5967)(3078,3966,3147,4041)
    (3082,3968,4947,5971)(3085,3972,4841,5874)(3087,3973,3890,4870)
    (3090,3974,4952,5976)(3094,3979,3575,4527)(3097,3983,4964,5984)
    (3099,3986,4968,5988)(3103,3989,3201,4111)(3108,3996,4979,5995)
    (3111,3999,4983,3134)(3115,4004,4122,5119)(3117,4006,4989,6006)
    (3120,4010,4994,6011)(3124,4016,5001,6021)(3129,4023,5009,3325)
    (3132,4026,4099,5096)(3136,4028,5017,6036)(3138,4031,4495,5512)
    (3140,4033,5023,6032)(3146,4040,5026,4587)(3149,4044,5030,6046)
    (3152,4048,4417,5431)(3156,4052,5039,6060)(3158,4055,5044,6067)
    (3160,4057,5047,6072)(3162,4059,5050,6075)(3163,4060)(3166,4064,5056,6064)
    (3169,4069,5063,6089)(3171,4071,5065,6093)(3175,4078,5071,6102)
    (3177,4081,5076,6106)(3181,4085,5081,6111)(3183,4088,5086,6118)
    (3185,4089,5088,6120)(3188,4093,4564,5583)(3191,4098,5095,6129)
    (3193,4101,5099,6133)(3199,4109,3923,4902)(3204,4113,3866,4843)(3206,4115)
    (3210,4119,5116,3925)(3213,4124,5122,6154)(3215,4126,5124,5289)
    (3219,4131,5130,5163)(3221,4133,5133,6165)(3225,4139,5141,6175)
    (3228,4142,4148,5149)(3231,4145,5147,6182)(3234,4150,5151,6187)
    (3237,4154,3245,4162)(3240,4158,5162,5144)(3243,4161,3643,4600)
    (3248,4164,3799,4774)(3251,4166,5169,4713)(3252,4167,4648,4181)
    (3256,4172,5175,6210)(3261,4178,5181,6217)(3263,4179,5182,6219)
    (3266,4182,5184,3984)(3268,4184,5187,6222)(3273,4188,5192,6228)
    (3277,4191,5196,6231)(3282,4195,5200,3298)(3290,4207,5208,6242)
    (3291,4208,5210,6244)(3293,4209,4353,5361)(3297,4214,5215,6250)
    (3300,4217,5219,6255)(3302,4219,3917,3814)(3305,4223,5226,6259)
    (3307,4225,5227,6261)(3313,4232,4682,5707)(3316,4236,5232,6269)
    (3319,4239,5236,6275)(3323,3528,4474,5491)(3328,4247,5246,6270)
    (3334,4256,4253,5250)(3336,4259,5258,6294)(3338,4262,5263,6299)
    (3341,4266,5268,6305)(3344,4269,5272,6311)(3347,4274,5279,4292)
    (3349,4276,5281,4125)(3352,4279,5285,4285)(3357,4284,5288,5572)
    (3362,4289,3846,4808)(3369,4298,5300,6337)(3372,4302,5304,6341)
    (3374,4303,5306,3658)(3377,4307,5312,6351)(3379,4310,5316,6355)
    (3384,4315,5321,4916)(3387,4319,5323,6363)(3391,4321,5326,6368)
    (3394,4325,5331,6374)(3399,4331,5338,6379)(3409,4343,5348,6389)
    (3411,4345,3535,4482)(3412,4346,5352,6393)(3414,4347,5354,6396)
    (3416,4348,5356,6399)(3417,4349,5357,4809)(3420,4350,3608,4561)
    (3424,4355,3720,4619)(3430,3903,4557,5576)(3432,4361,5369,6413)
    (3434,4364,5373,6417)(3437,4367,5377,6422)(3440,4372,5382,6430)
    (3443,4375,5386,6434)(3449,4382,5394,6442)(3456,4390,5404,6452)
    (3458,4384,5396,5526)(3460,4395,5399,6447)(3462,4397,5413,5251)
    (3465,4400,5038,6058)(3467,4402,5419,5852)(3469,3683,4650,5671)(3472,4409)
    (3477,4416,5430,6477)(3480,4421,3545,3858)(3488,4425,5436,6483)
    (3491,4429,5439,6487)(3494,4433,4691,5713)(3497,4436,5447,6495)
    (3498,4437,5449,6497)(3501,4442,5456,6310)(3509,4452,5468,6518)
    (3511,4454,5470,6520)(3513,4456,3758,4730)(3516,4141,5143,6177)
    (3521,4467,5481,6531)(3525,4470,5486,4234)(3532,4479,5024,5950)
    (3537,4483,5498,6545)(3539,4486,5502,6550)(3541,4489,4961,5982)
    (3547,4494,5511,4160)(3550,4499,5518,4816)(3553,4501,4108,5104)
    (3556,4503,5522,5620)(3561,4510,5531,4717)(3565,4513,4502,5520)
    (3568,4517,5538,6587)(3571,4522,5544,6594)(3573,4525,5549,6598)
    (3579,4533,5557,6606)(3587,4539,5561,4221)(3589,4104,5101,6135)
    (3595,4547,5569,6503)(3601,4554,4245,5243)(3604,4045,5031,6048)
    (3606,4559,5579,4875)(3611,4566,5337,4567)(3613,4569,5587,4308)
    (3615,4571,5590,4685)(3617,4574,3950,4929)(3619,4576,5594,6638)
    (3622,4581,5599,6565)(3628,4586,5605,3671)(3640,4388,5401,6448)
    (3646,4604,5621,6662)(3648,4607,5625,6664)(3650,4610,5629,6621)
    (3652,4611,5631,6671)(3654,4613,5634,6675)(3662,4623,5644,6680)
    (3665,4626,5649,6684)(3668,4631,5654,6690)(3670,4634,5656,6692)
    (3674,4277,5282,6320)(3677,4641,5662,6696)(3680,4645,5667,6700)
    (3685,4651,5403,6451)(3690,4654,5674,6706)(3692,4657,5679,5448)
    (3694,4659,3843,4815)(3697,4662,5684,6716)(3701,4667,5691,6723)
    (3703,4668,5693,6725)(3705,4670,5696,6728)(3708,4675,5701,6733)
    (3711,4678,5062,6088)(3713,4681,5706,6739)(3715,4127,5125,6156)
    (3717,4684,5708,6741)(3719,4686,5709,6742)(3723,4690,5712,5218)
    (3725,4693,5717,6230)(3727,4695,5720,6752)(3728,4696,5722,6755)
    (3731,4700,5725,6759)(3732,4701,5658,5444)(3735,4705,5730,6767)
    (3737,4706,4518,5539)(3740,4710,4156,5158)(3744,4715,3835,4806)
    (3750,4721,5743,6781)(3751,4722,5745,3936)(3755,4728,5753,6789)
    (3760,4731,5755,6792)(3764,4735,5761,6788)(3766,4737,5763,6665)
    (3769,4741,5767,6804)(3772,4745,5772,6811)(3773,4140,5142,3963)
    (3776,4749,5778,6814)(3777,4750,5780,5051)(3779,4753,5784,6819)
    (3781,4755,5787,6823)(3787,4762,5395,6443)(3794,4769,5798,5221)
    (3796,4770,5800,6835)(3802,3825,4795,5827)(3807,4782)(3809,3864,4840,4617)
    (3811,4784,5815,6850)(3815,4788,5820,6856)(3816,4789,5822,6153)
    (3820,4791,5811,6847)(3823,4412,5426,6473)(3828,4798,5831,5556)
    (3830,4801,5836,6871)(3832,4803,5837,6872)(3847,4819,5844,6878)
    (3852,4825,5857,6893)(3854,4827,5860,6881)(3857,4832,5676,6709)
    (3861,4835,4579,5597)(3868,4845)(3871,4850,4883,5909)(3873,4853,5882,6916)
    (3875,4855,5885,6919)(3878,4072,5066,6095)(3882,4781,5812,6848)
    (3885,4863,5893,6927)(3888,4867,5581,6627)(3896,4673,5698,4210)
    (3900,4878,5904,6938)(3904,4882,5908,4224)(3907,4886,4848,5879)
    (3908,4887,5913,6947)(3914,4893)(3921,4900,5921,6953)(3929,4907,5928,6959)
    (3931,4910,5930,6962)(3933,4912,5932,6965)(3938,4915,5934,6968)
    (3941,4918,5938,6971)(3944,4922,5941,6973)(3946,4924,5944,6976)
    (3948,4926,5946,6979)(3954,4065,5057,6082)(3956,4936,5959,5027)
    (3958,4938,5961,6957)(3961,4942,5965,6997)(3965,4431,5441,6489)
    (3967,4946,5459,6509)(3970,4948,4487,5503)(3976,4954,5979,7013)
    (3981,4960,5981,5193)(3987,4969,5035,6053)(3988,4970,5818,6853)(3991,4973)
    (3997,4980,5997,6151)(4002,4490,5507,6555)(4003,4985,5871,6908)
    (4007,4990,6008,7041)(4011,4995,6013,7047)(4013,4997,6016,7051)
    (4014,4998,6018,7053)(4017,5002,6022,7058)(4018,5003,6024,7060)
    (4021,5007,6029,7066)(4024,5010)(4029,5018,6038,7075)(4034,4708,5733,6771)
    (4037,5025,6042,7079)(4042,5028,6044,6816)(4047,5034,6052,6864)
    (4049,5036,6055,5533)(4051,5037,6057,7091)(4053,5040,6062,7094)
    (4056,5045,6069,7099)(4061,5052,6077,7107)(4062,5053,6079,7109)
    (4067,5059,6085,6623)(4070,5064,6091,7122)(4074,5067,6097,7127)
    (4076,5069,6100,7130)(4079,5072,6103,7132)(4082,5077,6108,7136)
    (4086,5082,6113,4851)(4091,4570,5588,5585)(4094,5091,6124,7148)
    (4096,4585,5603,6647)(4107,4480,5494,6542)(4114,5109,5478,5110)
    (4116,5111,4299,5301)(4117,5112,6145,7167)(4120,5117,6150,7171)
    (4129,5126,6157,6195)(4132,5131,6162,7183)(4134,5134,6166,7187)
    (4136,5136,6169,6184)(4138,5139,6173,7195)(4143,5145,6179,7200)
    (4144,5146,6180,7202)(4151,5152,6189,7211)(4155,5157,6181,7203)
    (4168,5171,6204,7228)(4170,5173,6207,7231)(4173,5176,6212,7237)
    (4183,5185,6221,5186)(4185,5188,6224,5866)(4196,5201,4523,5545)
    (4200,5202,6237,7257)(4203,4642,5663,6697)(4205,5205,5578,5388)(4211,5212)
    (4215,5216,6252,7270)(4228,5228,6263,7279)(4233,5230,6266,7283)
    (4237,5233,6271,7286)(4242,5239,6279,7115)(4244,5242,5335,4821)
    (4248,5164,6198,7220)(4251,5249,6287,7303)(4257,5254,6291,7309)
    (4260,5259,6296,4461)(4264,5265,6301,7314)(4268,5270,6308,7322)
    (4270,5273,6312,7325)(4272,5276,5418,6466)(4275,5280,6317,7330)
    (4281,5286,6323,7335)(4287,5290,6327,7338)(4290,5294,6331,5752)
    (4295,5298,6334,7344)(4301,5303,5425,6471)(4305,5308,6346,6059)
    (4311,4336,4892,5915)(4313,5318,6358,7362)(4316,5322,6361,7144)
    (4320,5324,6365,7367)(4323,5328,6371,7375)(4330,5283,5240,6280)
    (4332,5339,6380,7382)(4337,5343,6384,6613)(4339,5345,6386,5496)
    (4344,5349,6391,4993)(4351,5359,5602,6646)(4357,5364,6407,7406)
    (4358,5365,6409,7408)(4360,5367)(4362,5370,4792,5823)(4366,5375,6420,5376)
    (4368,5378,6424,5896)(4370,5379,6426,7424)(4373,4543,5546,6596)
    (4376,5387,6435,7434)(4378,5389,6437,7436)(4380,5278)(4386,5398,6446,4919)
    (4389,5402,6450,6717)(4391,5405,6454,6567)(4393,5407,6457,7450)(4396,5411)
    (4399,5415,5075,6105)(4401,5417,6465,7456)(4405,5420,4614,5635)
    (4407,5422,6469,7460)(4413,5421,5103,6137)(4414,5427,4552,5573)
    (4424,5434,6481,7466)(4426,5437,5206,6240)(4434,5445,6493,7337)
    (4438,5450,6499,6470)(4444,5458,6508,7486)(4446,5460,6510,7482)
    (4450,5464,6515,7490)(4453,5469,6206,7230)(4457,5471,6522,6149)
    (4463,5476,6527,7497)(4464,5477,6528,7498)(4468,5482,6532,7052)
    (4471,5487,6537,7505)(4473,5490,6071,7101)(4477,5493,6541,6981)
    (4484,5499,6235,7256)(4491,5508,6557,7515)(4493,5509,6559,7119)
    (4497,5514,6563,7520)(4504,5523,6571,6484)(4506,5525,6574,7529)
    (4509,5529,6578,7534)(4512,5532,6581,5087)(4514,5534,6583,7538)
    (4515,5535,5118,4958)(4520,5541,6590,7545)(4526,5550,5207,6241)
    (4528,5008,6030,7067)(4530,5552,6602,6253)(4535,5558,6608,6807)
    (4537,5559,4955,5980)(4540,5562,6611,7562)(4544,5565,6614,7564)
    (4548,5570,6620,7567)(4549,5433,6479,7465)(4560,5580,6626,7572)
    (4562,5582,6370,7373)(4572,5591,6633,7579)(4575,5592,6635,7582)
    (4577,5595,6640,6941)(4582,5600,6644,4988)(4590,5607,6652,7597)
    (4592,5610,6655,6536)(4593,5611,5608,6653)(4595,5613,5510,5960)
    (4597,5616,6485,7470)(4598,5617,6659,7602)(4601,5229,6264,5735)
    (4603,5619,6660,7603)(4605,5622,6238,7258)(4608,5626,6666,6523)
    (4612,5632,5287,6324)(4622,5642,6679,5643)(4624,5645,6040,7076)
    (4627,5650,6686,5738)(4629,5652,6689,7252)(4632,4935,5957,6991)
    (4637,5660,6695,7627)(4639,5317,6356,5220)(4646,5668,6702,7633)
    (4653,5673,6705,7210)(4655,5675,6708,7638)(4660,5681,5309,6347)
    (4663,5685,6629,7575)(4665,5687,6720,7649)(4671,5697,6730,7658)
    (4676,5702,6735,7662)(4679,5704,6738,6362)(4687,5710,6744,7124)
    (4697,5633,6673,7611)(4698,5723,6047,5765)(4702,5727,6762,7684)
    (4704,5728,6764,7247)(4711,5736,6260,7276)(4718,5739,6775,7694)
    (4720,5741,6778,7697)(4723,5746,5083,6114)(4725,5748,6188,7209)
    (4727,5751,6787,7705)(4732,5756,6793,7596)(4736,5762,6798,7711)
    (4738,5764,6801,4945)(4740,5412,6460,5011)(4742,5768,6806,7716)
    (4743,5769,6582,6923)(4746,5773,6812,7719)(4747,5774,5917,6951)
    (4751,5781,6817,7724)(4754,5785,6821,6478)(4757,5788,6825,6909)(4760,5790)
    (4763,5793,6227,7248)(4764,5794,6829,7732)(4767,5796,6831,7733)
    (4771,5801,5826,6474)(4776,5807,6842,6828)(4778,5809,6845,5596)
    (4786,5817,6852,7752)(4793,5824,6110,7138)(4796,5828,6861,7759)
    (4799,5832,6866,7764)(4802,5716,6748,5198)(4804,5838,6873,7768)
    (4807,5841,6875,7770)(4811,5843,6877,7774)(4814,5848,6883,7778)
    (4823,5854,6889,7784)(4826,5858,6895,7789)(4828,5861,6898,7791)
    (4830,5863,6901,6743)(4834,5868,6453,7445)(4836,5869,4967,5987)
    (4838,5870,6907,7800)(4844,5604,6648,7594)(4846,5878,6912,7804)
    (4854,5883,6918,5884)(4856,5886,6921,7810)(4861,5891,6925,7815)
    (4864,5894,6929,7817)(4866,5895,6930,7155)(4868,5897,6931,7819)
    (4871,5574,6622,6512)(4872,5899,6933,7822)(4874,5901,6935,5813)
    (4877,5902,6936,7826)(4880,5905,6940,7830)(4884,5910,6943,7833)
    (4890,5914,5313,6352)(4894,5577,6624,7569)(4896,5916,6766,7686)
    (4901,5922,6955,7842)(4904,5924,6956,5209)(4908,5929,6960,7846)(4911,5203)
    (4914,5771,6809,7718)(4923,5942,6747,7672)(4925,5945,5777,6268)
    (4927,5947,4951,5974)(4931,5951,6984,6669)(4933,5954,6987,6326)
    (4937,4984,6001,7032)(4940,5962,6585,7539)(4944,5968,6663,7605)
    (4949,5972,7005,7000)(4950,5973,7007,7884)(4953,5977,7011,6408)
    (4965,5985,7017,7892)(4971,5991,6855,7754)(4975,5992,7022,7897)
    (4976,5993,7024,7786)(4978,5485,6534,7503)(4981,5998,7029,7904)
    (4986,6003,7035,7910)(4987,6004,7036,5744)(4991,6009,7043,7368)
    (5000,6019,7055,7919)(5005,6026,7062,7924)(5013,5094,6127,7151)
    (5014,6033,7069,6783)(5016,6034,7071,6050)(5019,6039,6770,7690)
    (5022,6041,7078,7936)(5029,6045,7081,7624)(5032,6049,7085,6905)
    (5041,6063,5363,6405)(5043,6065,7096,7949)(5046,6070,7100,7951)
    (5048,6073,5488,6538)(5049,6074,5351,6392)(5054,6080,7111,7959)
    (5058,6083,7114,6084)(5060,6086,7117,7961)(5068,6098,5949,6982)
    (5070,6101,7131,7969)(5073,6104,7133,7971)(5078,6109,7137,7977)
    (5085,6116,7142,7980)(5089,6121,7145,7981)(5092,6125,7149,7984)
    (5098,6131,7156,7990)(5105,6139,6514,7489)(5106,6140,7162,7998)
    (5107,6141,7163,6020)(5108,6142,6639,6147)(5113,6146,7168,8001)
    (5115,6148,7170,8003)(5120,6152,7173,8005)(5123,6155,7176,8007)
    (5127,6158,7178,8009)(5129,6160,7181,8012)(5132,6163,7185,6913)
    (5135,6167,7189,8019)(5137,6170,7193,8024)(5140,6174,7196,8029)
    (5148,6183,5154,6190)(5156,6191,7214,7663)(5159,6194,5614,6656)
    (5161,6196,7217,8045)(5165,6199,7222,8050)(5167,6201,7225,8052)
    (5170,6203,7227,7773)(5172,6205,7229,8057)(5174,6208,7232,8061)
    (5178,6214,7239,6551)(5180,6216,5783,6354)(5183,6220,6288,7304)
    (5189,6225,7246,8069)(5191,6226,6136,7160)(5194,6229,7251,8073)
    (5197,6232,7254,8013)(5211,6245,7262,8080)(5213,6247,7264,8083)
    (5214,6248,7266,8085)(5222,5779,5918,6952)(5223,5688,6721,7651)
    (5225,6257,7274,7040)(5234,6272,6977,6820)(5237,6276,7290,7952)
    (5244,6282,7297,8107)(5245,6283,7299,8110)(5253,6289,7306,8048)
    (5255,6292,7134,7972)(5257,6293,7311,7084)(5260,6297,7312,8118)
    (5262,6298,5271,6309)(5266,6302,6969,7854)(5267,6303,7316,8122)
    (5269,6306,7320,6776)(5274,6313,7326,7706)(5284,6321)(5291,6328,7340,8141)
    (5293,6330,6223,6651)(5295,6332,5517,6566)(5297,6333,7343,8143)
    (5299,6335,7345,6348)(5302,6338,7346,8145)(5305,6342,7350,7457)
    (5307,6344,7353,8151)(5311,6349,7356,8154)(5315,6353,7358,8155)
    (5320,6359,6300,6122)(5325,6366,7369,8162)(5327,6369,7372,8165)
    (5329,6372,7208,8040)(5332,6319,7332,5661)(5333,6375,7378,8168)
    (5340,6381,7384,5341)(5344,6385,7387,8176)(5347,6388)(5353,6394,7393,7559)
    (5355,6397,7397,8184)(5358,6400,7399,8186)(5360,6402,7402,8190)
    (5362,6404,6803,6476)(5366,6172)(5368,6411,7411,8199)(5371,6415,7415,8204)
    (5372,6416,5589,6631)(5374,6418,7417,8206)(5381,6428,7427,8216)
    (5383,6431,5513,6561)(5385,6432,7431,8219)(5390,6438,7438,6754)
    (5393,6440,7440,8226)(5397,6445,7443,6480)(5406,6455,7447,6756)(5408,5786)
    (5410,6458,7451,8234)(5414,6462,7453,8237)(5416,6051,6202,7003)
    (5429,6475,7464,8246)(5435,6482,7468,8248)(5440,5737,6773,7693)
    (5442,6490,7473,6383)(5446,6494,7476,7280)(5451,6500,7479,5839)
    (5453,6502,7481,8256)(5455,6504)(5457,6506,5729,6765)(5461,6511,7487,5560)
    (5463,6513,7488,8153)(5465,6516,7491,8261)(5467,6517,6015,7049)
    (5474,6525,5694,6726)(5480,6530,7500,8268)(5483,6017,7050,7598)
    (5497,6543,7121,7467)(5500,6547,7509,8277)(5501,6548,7511,8279)
    (5504,6552,7513,8281)(5506,6553,5792,6827)(5515,6564,6996,7874)
    (5519,6568,7522,6544)(5521,6570,7524,8177)(5524,6572,7526,8291)
    (5528,6576,7532,8297)(5530,6579,7536,8300)(5536,6584,6993,7528)
    (5540,6589,7544,7028)(5543,6592,7548,8311)(5548,6597,7552,8315)
    (5551,6600,7556,8319)(5553,6081,7112,7960)(5555,6604,7558,8321)
    (5563,6612,7551,8091)(5566,6615,7113,6810)(5568,6617,7054,6870)
    (5593,6636,7584,7828)(5598,6641,7589,8095)(5601,6645,7592,8351)
    (5606,6650,7595,8059)(5612,5994,7025,7900)(5623,5624)(5627,6667,5966,6998)
    (5628,6668,7608,5873)(5630,6670,7359,6012)(5636,6677,7614,8364)
    (5640,6678,7616,8366)(5646,6682,7619,8370)(5648,6683,7620,6025)
    (5653,5978,7012,7888)(5655,6691)(5664,6698,7629,8374)(5665,6524,7495,8264)
    (5669,6703,7634,8377)(5672,5849,6884,7294)(5678,6710,7639,6558)
    (5680,6711,6318,7331)(5682,6713,7643,8382)(5683,6714,7645,7850)
    (5686,6718,5747,6784)(5690,6444,6750,7675)(5692,6724,6178,7199)
    (5695,6727,7655,8391)(5700,6731,6802,7082)(5703,6736,7664,8398)
    (5714,6746,7671,7377)(5719,6751,6830,5795)(5721,6753,7677,8405)
    (5724,6757,7679,8406)(5726,6760,7682,8408)(5731,6768,7689,8414)
    (5732,6769,6593,7549)(5742,6779,6774,7383)(5749,6785,7703,7628)(5754,6790)
    (5757,6236,6843,7743)(5758,6794,7708,8425)(5760,6796,6027,7063)
    (5775,6813,7721,8437)(5782,6818,7726,8440)(5797,6832,7735,8070)
    (5799,6834,7736,6325)(5802,6837,6316,7328)(5803,6838,7738,6234)
    (5805,6839,7740,7681)(5806,6840,7106,7687)(5810,6846,7057,7921)
    (5814,6849,7748,6546)(5816,6851,7750,8458)(5821,6857,7756,8462)
    (5825,6859,7757,6643)(5830,6863,7761,8468)(5833,6867,7188,8018)
    (5835,6869,6144,6468)(5842,6876,7772,8474)(5846,6880,6619,7566)
    (5850,6885,7779,6897)(5851,6886,7780,7746)(5853,6887,7781,6540)
    (5855,6890,7785,8481)(5856,6891,7640,8229)(5859,6896,7790,8486)
    (5862,6899,7792,8478)(5864,6902,7795,8491)(5867,6904,7798,8496)
    (5876,6910,7802,8500)(5880,6914,7806,6758)(5881,6915,7807,5935)
    (5887,6922,7812,8506)(5889,6423,7421,8211)(5892,6926,7516,8283)
    (5898,6932,7821,8512)(5900,6934,7824,6609)(5903,6937,7827,8514)
    (5907,5983,7015,7890)(5911,6944)(5912,6945,7835,6556)(5920,6674,7612,8361)
    (5926,6958,6900,5927)(5931,6963,7848,7116)(5933,6966,7851,8213)
    (5937,6970,7856,8531)(5939,6972,7858,7095)(5943,6975,7861,8381)
    (5952,6985,7031,7906)(5955,6988,7869,7392)(5958,6992,7871,7912)
    (5964,6995,7873,6657)(5969,7001,7879,7623)(5970,7002,7880,7642)
    (5975,7009,7801,8187)(5986,7018,7893,8555)(5989,6575,7530,7395)
    (5990,7020,7396,8183)(5996,7027,7903,7357)(5999,7030,7905,8563)
    (6000,6939,7829,7070)(6002,7033,7887,7866)(6005,7037,7911,8274)
    (6007,7039,7913,8568)(6010,7044,7273,8090)(6014,7048)(6023,7059,7745,8453)
    (6028,7064,7926,8331)(6031,6791,7707,8424)(6035,7072,7437,8224)
    (6037,7074,7932,8581)(6043,7080,7938,8586)(6054,7088,7942,8589)
    (6056,7090,7945,8179)(6061,7093,7948,8592)(6066,6603)(6068,7098,7763,7391)
    (6076,7105,7956,8595)(6078,7108,6836,6858)(6087,7118,7963,7864)
    (6090,7120,7964,8603)(6092,7123,6209,7233)(6094,7125,7965,8605)
    (6096,7126,7701,8421)(6099,7129,7968,8609)(6107,7135,7974,8614)(6112,7139)
    (6115,7140,7978,7845)(6117,6143,7165,8000)(6119,7143,6920,6989)
    (6123,7146,7983,8620)(6126,7150,7985,8622)(6128,7152,7987,7446)
    (6130,7154,7988,8305)(6132,7157,7992,6192)(6134,6967,7852,7236)
    (6138,7161,7997,6616)(6159,7179,6610,7560)(6161,7182,8014,6560)
    (6164,6496,7477,8253)(6168,7190,8021,8643)(6171,7194,8026,7243)
    (6176,7198,8031,8653)(6185,7206,7201,8034)(6186,7207,8039,8659)
    (6193,7215,7282,7644)(6197,7218,8046,8665)(6200,7223,8051,7224)
    (6211,7235,8064,8677)(6213,7238,7006,7882)(6215,7240,8067,8680)
    (6218,7241,8068,8681)(6233,7255,8076,8686)(6239,7259,6387,7388)(6243,7260)
    (6246,7263,8082,8690)(6249,6946,6529,7499)(6251,7268,8087,6833)
    (6254,7271,8089,8594)(6256,7272,7734,8445)(6258,7275,7593,8220)
    (6262,7277,7008,7517)(6265,7281,8096,8479)(6267,6390,7390,8180)
    (6273,7288,7285,6274)(6277,7291,8103,8701)(6278,7292,8104,6315)
    (6281,7295,8105,6961)(6284,7300,7783,8446)(6285,7301,8112,6658)
    (6286,7302,8114,8587)(6290,7307,7339,8140)(6295,6795,7709,8427)
    (6304,7317,8124,8714)(6307,7321,8129,8720)(6314,7327,7349,8146)
    (6322,7333,8137,7442)(6329,6595,7550,6549)(6336,6693,7625,7242)
    (6339,7077,7496,8265)(6340,7347,6350,6519)(6343,7351,8148,8733)
    (6345,7354,7089,7943)(6357,7360,8135,8631)(6360,7363,8123,8712)
    (6364,7366,8161,8740)(6367,7370,8163,8702)(6373,6950,7837,8518)
    (6376,7379,8170,8748)(6377,7380,8171,8749)(6378,7381,8173,6948)
    (6382,7385,8175,7814)(6395,7394,8182,8233)(6398,6978)(6401,7400,8188,8758)
    (6403,7403,8192,8760)(6406,7405,8194,7386)(6410,7409,8197,7577)
    (6412,7412,8201,8766)(6414,7413,7751,8459)(6419,7418,8207,8771)
    (6421,7419,8208,6429)(6425,7423,8212,8773)(6427,7425,7737,7172)
    (6433,7432,8221,8181)(6436,7376,8167,8744)(6439,7439,8225,7342)
    (6441,7441,8227,6797)(6449,7204,8037,8658)(6456,7448,8230,8779)
    (6459,7147,6749,7674)(6461,7192,8023,8646)(6463,7454,8238,7422)
    (6464,7455,8240,8783)(6467,7458,8243,8785)(6472,7462,8245,8787)
    (6486,6990,7870,8542)(6488,7471,7741,8449)(6491,7474)(6492,7475,8252,8792)
    (6498,7169,8002,8387)(6501,7480,8255,8794)(6505,7483,8257,7097)
    (6507,7485,8259,7989)(6521,7493,8262,8797)(6526,7410,8198,7014)
    (6533,7502,8271,7587)(6535,7504,8273,8803)(6539,7506,8275,6607)(6554,7514)
    (6562,7518,6911,7803)(6569,7523,8288,7212)(6573,7527,8292,8312)
    (6577,7533,8298,8815)(6580,7537,8302,8817)(6586,7540,8306,7915)
    (6588,7542,8036,8629)(6591,7546,8309,8822)(6599,7554,8317,8827)
    (6601,7056,7920,8573)(6605,6868,7765,8469)(6618,7565,8328,7249)
    (6625,7570,8333,8839)(6628,7574,8205,7818)(6630,7576,6734,7661)
    (6632,7578,8339,8844)(6634,7580,8341,8777)(6637,7585,8346,8848)
    (6642,7590,8270,8392)(6649,7494,8263,8652)(6654,7599,8353,8349)(6661,7604)
    (6672,7609,8357,6685)(6676,7226,8053,8672)(6681,7618,8369,8088)
    (6687,7621,8157,8550)(6688,7622,7680,8407)(6694,7626,8372,7463)
    (6699,7630,7702,8422)(6701,7632,6786,7704)(6704,7635,8378,8320)(6707,7244)
    (6712,7641,6888,7782)(6715,7646,6782,7700)(6719,7647,8384,8870)
    (6722,7652,8388,8873)(6729,7656,8393,8876)(6732,7660,8396,8877)
    (6737,7665,7364,8158)(6740,7668,8400,7982)(6745,7670,8403,8344)
    (6761,7683,8409,8689)(6763,7685,8411,8814)(6772,7691,8416,8888)
    (6777,7695,8418,8544)(6780,7699,8420,8128)(6799,7712,7730,8444)
    (6800,7713,8322,8831)(6805,7715,8430,8894)(6808,7717,8432,8502)
    (6815,7723,8436,8898)(6822,7728,8442,8826)(6824,7729,8443,7657)
    (6826,7731,7092,7947)(6841,7742,8450,8499)(6844,7744,8452,8250)
    (6854,7753,7958,8600)(6860,7758,8464,8917)(6862,7760,8368,8862)
    (6865,7762,7026,7901)(6874,7769,8294,7676)(6879,7775,8476,8924)
    (6882,7510,8278,8806)(6892,7787,8482,8463)(6894,7788,8484,7175)
    (6903,7796,8493,8930)(6906,7799,8498,7038)(6917,7296,8106,8704)
    (6924,7813,8508,8630)(6928,7816,8510,8939)(6942,7831,8515,8910)
    (6949,7836,7698,8419)(6954,7841,8521,8944)(6964,7849,8527,7710)
    (6974,7860,7794,8490)(6980,7863,8537,8623)(6983,7865,7607,8356)
    (6986,7867,7293,6994)(6999,7877,8547,8953)(7004,7881,8549,8906)
    (7010,7886,8553,8956)(7016,7891,8136,7265)(7019,7894,8557,8736)
    (7021,7896,7967,8608)(7023,7898,7310,8117)(7034,7908,8565,8936)
    (7042,7872,8543,7492)(7045,7917,8571,7950)(7046,7918)(7061,7923,8150,8735)
    (7065,7927,8423,8891)(7068,7929,8457,7586)(7073,7931,8579,8890)
    (7083,7766,8470,8196)(7086,7939,8588,7166)(7087,7940,7767,8471)
    (7102,7461,7158,7993)(7103,7953)(7104,7954,8597,8710)(7110,7478,7823,8513)
    (7128,7966,8607,8976)(7141,7979,8617,7315)(7153,7433,8222,8753)
    (7159,7994,8327,8835)(7164,7999,8113,8065)(7174,8006,7811,8505)
    (7177,8008,8632,8988)(7180,8010,8635,7933)(7184,8015)(7186,8017,8640,8380)
    (7191,8022,8644,8998)(7197,8030,8651,9003)(7205,7962,8601,7653)
    (7213,8042,8661,8044)(7216,8043,8663,8534)(7219,8047,8667,9007)
    (7221,8049,8668,8975)(7234,8063,8301,8816)(7245,7637,7305,8078)
    (7250,8071,8363,8719)(7253,7449,8231,7404)(7261,8079,8621,8828)
    (7267,8086,8693,9002)(7269,8074,8684,8836)(7278,8094,7832,8516)(7284,8098)
    (7287,7323,7776,8075)(7289,8100,8698,9025)(7298,8108,7808,8503)
    (7308,8116,8326,8834)(7313,8119,8711,7459)(7318,8125,7973,8613)
    (7319,8126,8717,9036)(7324,8130,8488,8926)(7329,8134,8725,8575)
    (7334,8138,7341,8058)(7336,8139,8728,8933)(7348,7991,8487,8413)
    (7352,8149,8244,8786)(7355,8152,8737,8038)(7361,8156,7407,8195)
    (7365,8159,8739,8160)(7371,7535,7563,8325)(7374,8166,7928,8576)
    (7389,8178,8754,8903)(7398,8185,8757,8892)(7401,7507)(7414,8202,8767,9064)
    (7416,7975,7420,8209)(7426,8214,8567,8961)(7428,7902,8562,8342)
    (7429,8217,8284,8808)(7430,8218,8775,9012)(7435,8223,7484,8258)
    (7444,8228,8092,8694)(7452,8235,7909,8566)(7469,8249,8612,8979)
    (7472,8251,8790,8483)(7501,8269,8801,8896)(7508,8276,8805,8282)
    (7512,8280,8807,9014)(7519,8285,8809,8820)(7521,8286,8810,8439)
    (7525,8290,8666,9006)(7531,8295,7659,8395)(7541,8307,8819,9083)
    (7543,8308,8821,9084)(7547,8310,8060,8144)(7553,8316,8825,9087)
    (7555,8318,8829,8872)(7557,7839)(7561,8323,8832,7696)(7568,8330,8837,9093)
    (7571,8334,7925,7581)(7573,8335,8520,7840)(7583,8343,8615,8981)
    (7588,8347,8850,7878)(7591,8350,8778,9068)(7600,8354,8854,8931)
    (7601,8355,8267,8799)(7606,8314,8824,8428)(7610,8358,7805,8501)
    (7613,8362,8858,9102)(7615,8365,8637,8992)(7617,8367,8861,8669)
    (7631,8376,8451,8904)(7636,8379,8340,8741)(7648,8385,7678,8027)
    (7650,8386,7889,8554)(7654,8389,8874,8628)(7666,7725,8033,8654)
    (7667,8399,8616,8982)(7669,8401,8434,8802)(7673,8404,8641,8995)
    (7688,8412,8885,8731)(7692,8417,8889,9082)(7714,8429,8337,8842)
    (7720,8435,8203,8768)(7722,8438,8899,9119)(7727,8441,8745,9052)
    (7739,8447,7749,8456)(7747,8454,8908,9123)(7755,8461,8915,9074)
    (7771,8473,8921,9078)(7777,8121,8329,8606)(7793,8489,8927,9122)
    (7797,8494,8932,9131)(7809,8504,8604,8974)(7820,8383,8869,8619)
    (7825,8394,8072,8683)(7834,7957,8599,8973)(7838,8519,8535,8949)
    (7843,8523,8528,8772)(7844,8524,7853,8529)(7847,8526,8947,9045)
    (7855,8530,8477,8426)(7857,8532,8879,8928)(7859,8533,8004,8397)
    (7862,8536,8780,8692)(7868,8539,8467,8919)(7875,8545,8596,7876)
    (7883,8551,8954,8980)(7885,8552,8955,8747)(7895,8558,8957,9141)
    (7899,8560,8959,9085)(7907,8236,8782,9070)(7914,8569,8963,9091)
    (7916,8570,8964,8593)(7922,8574,8293,8497)(7930,8578,8561,8960)
    (7934,8582,8967,8548)(7935,8583)(7937,8584,8968,9148)(7941,8336,8841,9094)
    (7944,8120,8272,8466)(7946,8591,8972,9139)(7955,8371,8863,8914)
    (7970,8610,8978,9153)(7976,8332,8838,9062)(7986,8402,8878,9113)
    (7995,8626,8987,9158)(7996,8627,8743,9050)(8011,8636,8664,9005)
    (8016,8390,8875,9111)(8020,8642,8996,9167)(8025,8648,9001,9165)
    (8028,8650,8950,8907)(8032,8313,8823,8791)(8035,8656,9004,9170)
    (8041,8660,8679,8756)(8054,8673)(8055,8674,8324,8833)(8056,8675,8866,9107)
    (8062,8132,8722,8884)(8066,8678,9015,8649)(8077,8687,8776,8546)
    (8081,8688,9021,8538)(8084,8691,8977,8662)(8093,8695,9022,9176)
    (8097,8696,8724,8602)(8099,8111,8707,8289)(8101,8699,9027,9179)
    (8102,8700,8670,9008)(8109,8706,8131,8721)(8115,8709,9032,9177)
    (8127,8718,9038,8287)(8133,8723,8682,9018)(8142,8671,9009,8495)
    (8147,8732,8465,8918)(8164,8742,8867,8254)(8169,8746,8360,8564)(8172,8750)
    (8174,8751,8210,8762)(8189,8759,9061,8191)(8193,8761,8734,9044)
    (8200,8765,9037,9116)(8215,8633,8989,9161)(8232,8781,8962,9144)
    (8239,8410,8883,8625)(8241,8755,9059,9042)(8242,8784,9040,9055)
    (8247,8789,8900,9120)(8260,8796,8266,8798)(8296,8813,8590,8541)
    (8299,8556,8585,8969)(8303,8818,8800,9077)(8304,8713,9033,9182)
    (8338,8843,8598,8853)(8345,8846,9043,8893)(8348,8540,8951,8480)
    (8352,8852,9098,8882)(8359,8857,8685,9019)(8373,8864,8375,8865)
    (8415,8886,8943,9136)(8431,8895,8715,9034)(8433,8897,8703,8655)
    (8448,8902,8730,8997)(8455,8909,8881,9115)(8460,8913,8994,8942)(8472,8920)
    (8475,8922,8774,9067)(8485,8905,9088,8847)(8492,8929,9079,9197)
    (8507,8935,8934,9132)(8509,8937)(8511,8940,9133,9145)(8517,8859,9103,9203)
    (8522,8945,9137,9193)(8525,8946)(8559,8958,9142,9112)(8572,8727,9039,9156)
    (8577,8965,9146,9211)(8580,8966,9147,9105)(8611,8618,8984,8983)
    (8624,8986,9110,9205)(8634,8990,9163,9026)(8638,8752,9057,9191)(8639,8993)
    (8645,8811,9080,8985)(8647,8901,8916,9127)(8657,8911,9125,9046)
    (8676,9013,9048,9187)(8697,9023,8970,9150)(8705,9029,9108,9097)
    (8708,9031,9180,9171)(8716,9035)(8726,8912,8868,8849)(8729,9041,9181,8991)
    (8738,9047,8845,8938)(8763,9063,9192,9090)(8764,9054,8795,8840)
    (8769,9065,8770,9066)(8788,9073,9194,9020)(8793,9056,9049,9060)
    (8804,8856,9100,9071)(8812,9081,9185,9204)(8830,9089,8925,9129)(8851,9069)
    (8855,9099,9143,8952)(8860,9104,9184,9220)(8871,9109)(8880,9114)
    (8887,9117,9206,9226)(8923,9128,9010,9172)(8941,9135,9053,9189)
    (8948,9138,9154,9166)(8971,9151,9130,9209)(8999,9058,9126,9183)
    (9000,9168,9011,9173)(9016,9175,9028,9134)(9017,9121,9207,9227)
    (9024,9178,9219,9235)(9030,9106)(9051,9188,9221,9236)(9072,9092,9149,9213)
    (9075,9195,9224,9186)(9076,9196,9101,9201)(9086,9198)(9095,9200,9157,9212)
    (9096,9140,9152,9169)(9118,9160,9210,9155)(9124,9174)(9159,9214,9231,9239)
    (9162,9216,9233,9240)(9164,9217)(9190,9222,9237,9202)(9199,9225,9208,9228)
    (9215,9232,9229,9238)(9218,9234)(9223,9230)>;





print("a permutation representation of 2.M22.2 on 9240 points");