bin1 := (2,6)(3,7)(4,8)(5,9)(10,26)(11,27)(12,28)(13,29)(14,30)(15,31)(17,32)
     (18,33)(20,34)(21,35)(22,36)(23,37)(24,38)(25,39)(40,81)(41,82)(42,83)
     (43,84)(44,85)(46,86)(47,87)(48,88)(49,89)(50,90)(51,91)(52,92)(53,93)
     (55,94)(56,95)(57,96)(58,97)(59,98)(60,99)(61,100)(62,101)(63,102)(64,
     103)(65,104)(66,105)(67,106)(68,107)(69,108)(70,109)(72,110)(73,111)(74,
     112)(75,113)(76,114)(77,115)(78,116)(79,117)(80,118)(119,231)(121,160)
     (122,232)(123,233)(124,234)(125,235)(126,236)(127,237)(128,238)(129,239)
     (130,240)(131,241)(132,242)(133,243)(134,182)(135,244)(136,245)(137,189)
     (138,246)(140,197)(141,247)(142,248)(143,249)(144,250)(145,251)(146,252)
     (147,253)(148,254)(149,255)(150,256)(151,257)(153,258)(154,259)(155,260)
     (156,261)(157,262)(158,263)(159,178)(161,264)(162,265)(164,266)(166,267)
     (167,268)(168,269)(169,270)(170,271)(171,272)(172,273)(173,274)(174,275)
     (175,276)(176,277)(177,227)(179,278)(180,279)(181,280)(183,281)(184,282)
     (185,283)(186,284)(187,285)(188,286)(190,287)(191,288)(192,289)(193,290)
     (194,291)(195,292)(198,293)(199,294)(200,211)(201,295)(202,296)(204,297)
     (205,298)(206,299)(207,300)(209,301)(210,302)(212,303)(213,304)(214,305)
     (215,306)(216,307)(217,308)(218,309)(219,310)(220,311)(221,312)(223,313)
     (224,314)(225,315)(226,316)(228,317)(229,318)(230,319)(320,566)(321,567)
     (322,568)(323,569)(324,570)(325,571)(326,572)(327,573)(328,454)(329,574)
     (330,575)(331,576)(332,577)(333,578)(334,387)(335,579)(336,580)(337,581)
     (338,582)(339,411)(340,583)(341,584)(342,585)(343,586)(344,460)(345,587)
     (346,588)(347,589)(348,590)(349,591)(350,592)(351,593)(352,594)(353,595)
     (354,596)(355,597)(356,598)(358,599)(359,600)(360,601)(361,438)(362,602)
     (363,603)(364,511)(365,604)(366,605)(367,496)(368,606)(369,522)(370,607)
     (371,608)(372,609)(373,394)(374,610)(375,611)(376,612)(377,613)(378,614)
     (379,615)(380,616)(381,617)(382,618)(383,619)(384,620)(385,453)(386,621)
     (388,622)(389,623)(390,624)(391,625)(392,549)(393,626)(395,627)(396,628)
     (397,629)(398,630)(399,631)(400,632)(401,633)(402,634)(403,489)(404,635)
     (405,636)(406,439)(407,637)(408,638)(409,639)(410,640)(412,641)(413,457)
     (415,642)(416,643)(417,644)(419,431)(420,645)(421,646)(422,647)(423,648)
     (425,649)(426,650)(427,651)(428,652)(429,653)(430,654)(432,655)(433,656)
     (434,657)(435,658)(436,659)(437,660)(440,661)(441,662)(442,663)(443,664)
     (444,665)(445,666)(446,667)(447,668)(448,669)(449,670)(450,671)(451,461)
     (452,672)(455,673)(458,674)(459,675)(462,676)(463,677)(464,678)(465,679)
     (466,680)(467,681)(468,682)(469,683)(470,684)(471,685)(472,495)(473,686)
     (474,687)(475,688)(476,689)(477,690)(478,536)(479,691)(480,497)(481,692)
     (482,693)(483,694)(485,695)(486,696)(487,697)(488,698)(490,699)(491,700)
     (492,701)(493,702)(499,703)(500,704)(501,705)(502,706)(503,533)(504,707)
     (505,708)(506,709)(507,710)(508,514)(509,711)(510,712)(512,713)(513,714)
     (515,715)(517,716)(518,717)(519,718)(520,719)(521,720)(523,721)(524,722)
     (525,723)(526,724)(527,725)(528,726)(529,727)(530,728)(531,729)(532,730)
     (534,731)(535,732)(537,733)(538,734)(539,735)(540,736)(541,737)(542,738)
     (543,739)(544,740)(545,741)(546,742)(547,743)(548,744)(551,745)(552,746)
     (553,747)(554,748)(555,749)(556,750)(557,751)(558,752)(559,753)(560,754)
     (561,755)(562,756)(563,757)(564,758)(565,759)(760,1216)(761,1217)(762,
     774)(763,1218)(764,1219)(765,805)(766,1220)(767,1221)(768,1222)(769,1223)
     (770,1224)(771,1225)(773,1058)(775,1226)(776,1227)(778,1228)(779,1229)
     (780,1230)(781,1231)(782,1232)(783,1233)(784,1234)(785,1235)(786,1236)
     (787,1237)(788,1238)(789,1239)(790,1240)(791,1241)(792,1242)(793,1243)
     (794,1244)(795,1052)(796,1021)(797,1245)(798,1246)(799,1247)(800,1248)
     (801,1031)(802,1249)(803,1250)(804,1251)(806,1252)(807,1253)(808,1254)
     (809,1025)(810,827)(811,1255)(812,1256)(813,1257)(814,1258)(815,1259)
     (816,1260)(817,1261)(818,1262)(819,1263)(820,1188)(821,1264)(822,1265)
     (823,1266)(824,1267)(825,1268)(826,1269)(828,1270)(829,835)(830,1271)
     (831,1272)(832,1273)(833,1274)(834,1275)(836,1104)(837,1276)(838,1277)
     (839,1083)(840,1278)(841,1279)(842,1280)(843,1281)(844,1282)(845,1283)
     (846,1284)(847,1285)(848,1286)(849,1287)(850,1166)(851,1288)(852,1111)
     (853,1122)(854,1289)(855,1115)(856,1290)(857,1291)(858,1292)(859,1293)
     (860,1294)(861,1132)(862,1295)(863,1296)(864,1297)(865,1298)(866,1299)
     (867,1300)(868,1301)(869,1302)(870,1303)(871,1304)(872,1305)(873,1189)
     (874,1306)(875,1307)(876,1308)(877,1309)(878,881)(879,1310)(880,1311)
     (882,1312)(883,1313)(884,1314)(885,1315)(887,1316)(888,1317)(889,1318)
     (890,1319)(891,1320)(892,1321)(893,1322)(894,1323)(895,1324)(896,1325)
     (897,1326)(898,1327)(899,1328)(900,1329)(901,1330)(902,1127)(903,910)
     (904,1331)(905,992)(906,1332)(907,1333)(908,1005)(909,1334)(911,1335)
     (912,1336)(913,1337)(914,1338)(915,1339)(916,1340)(917,1341)(918,1342)
     (919,1343)(920,1344)(921,1345)(922,1346)(923,1347)(924,948)(925,1348)
     (926,1054)(927,1349)(928,1146)(929,1350)(930,1028)(931,1351)(932,1352)
     (933,953)(934,1353)(935,1354)(936,1355)(937,1356)(938,1357)(939,1358)
     (940,1359)(941,1360)(942,1361)(943,1362)(945,1363)(946,1364)(947,1365)
     (949,1366)(950,1367)(951,1368)(954,1048)(955,969)(956,1369)(957,1159)
     (958,1370)(959,1371)(960,1372)(961,1373)(962,985)(964,1090)(965,1374)
     (966,1375)(967,1376)(968,1377)(971,998)(972,1378)(973,1379)(974,1380)
     (975,1381)(976,1382)(977,1383)(978,1042)(979,1384)(980,1385)(981,1386)
     (982,1387)(983,1388)(984,1389)(986,1390)(987,1391)(988,1392)(989,1169)
     (990,1393)(991,1185)(993,1394)(994,1395)(995,1396)(996,1397)(997,1398)
     (999,1030)(1000,1047)(1001,1399)(1002,1116)(1003,1400)(1004,1401)(1006,
     1402)(1007,1403)(1008,1404)(1009,1405)(1010,1406)(1011,1407)(1012,1408)
     (1013,1409)(1014,1410)(1015,1158)(1016,1411)(1017,1023)(1018,1412)(1019,
     1036)(1020,1040)(1022,1413)(1024,1414)(1026,1415)(1027,1416)(1029,1417)
     (1032,1418)(1033,1419)(1034,1420)(1035,1421)(1037,1422)(1038,1423)(1039,
     1424)(1041,1425)(1043,1426)(1044,1427)(1045,1428)(1046,1429)(1049,1430)
     (1050,1431)(1051,1432)(1053,1433)(1055,1434)(1056,1435)(1057,1100)(1059,
     1436)(1060,1437)(1061,1168)(1062,1438)(1063,1214)(1064,1439)(1065,1440)
     (1066,1164)(1067,1441)(1068,1442)(1069,1443)(1070,1444)(1071,1445)(1072,
     1446)(1073,1447)(1074,1101)(1075,1448)(1076,1449)(1077,1450)(1078,1451)
     (1079,1452)(1080,1453)(1081,1454)(1082,1455)(1084,1456)(1086,1457)(1087,
     1458)(1088,1459)(1089,1460)(1091,1461)(1092,1098)(1093,1462)(1094,1463)
     (1095,1464)(1096,1210)(1097,1465)(1099,1466)(1103,1126)(1105,1467)(1106,
     1468)(1107,1469)(1108,1470)(1109,1471)(1110,1472)(1112,1473)(1113,1474)
     (1114,1475)(1117,1476)(1118,1477)(1119,1478)(1120,1479)(1123,1195)(1124,
     1480)(1125,1481)(1128,1133)(1129,1482)(1130,1483)(1131,1484)(1134,1485)
     (1135,1486)(1136,1487)(1137,1488)(1138,1489)(1139,1490)(1140,1491)(1141,
     1492)(1142,1493)(1143,1494)(1144,1495)(1145,1496)(1147,1497)(1148,1498)
     (1149,1499)(1151,1500)(1152,1501)(1153,1502)(1154,1503)(1155,1504)(1156,
     1505)(1157,1506)(1160,1507)(1161,1508)(1162,1509)(1163,1510)(1165,1511)
     (1167,1512)(1170,1513)(1171,1514)(1172,1515)(1173,1516)(1174,1517)(1175,
     1518)(1176,1519)(1177,1520)(1178,1521)(1179,1522)(1180,1523)(1181,1524)
     (1182,1525)(1183,1526)(1184,1527)(1186,1528)(1187,1529)(1190,1530)(1191,
     1531)(1192,1532)(1193,1533)(1194,1534)(1196,1535)(1197,1536)(1198,1537)
     (1199,1538)(1200,1539)(1201,1540)(1202,1541)(1203,1542)(1204,1543)(1205,
     1544)(1206,1545)(1207,1546)(1208,1547)(1209,1548)(1211,1549)(1212,1550)
     (1213,1551)(1215,1552)(1553,2256)(1554,2257)(1555,2258)(1556,1557)(1558,
     2259)(1559,2260)(1560,2261)(1561,2262)(1562,2263)(1563,2264)(1564,2265)
     (1565,2266)(1566,2267)(1567,1877)(1568,2268)(1570,2269)(1571,1811)(1572,
     2270)(1573,2271)(1574,2272)(1575,2273)(1576,2274)(1577,2275)(1579,2276)
     (1580,2277)(1581,2026)(1582,2278)(1584,2279)(1585,2280)(1586,1726)(1587,
     2281)(1588,2282)(1589,2283)(1590,2284)(1591,2285)(1593,2286)(1594,2287)
     (1595,2288)(1596,2289)(1597,2290)(1598,1870)(1599,2291)(1600,2292)(1601,
     2293)(1602,2294)(1603,2295)(1604,2296)(1605,2297)(1606,2298)(1607,2299)
     (1608,2300)(1609,2301)(1610,2302)(1611,1626)(1612,2303)(1613,2304)(1614,
     2305)(1615,2306)(1616,2307)(1617,1981)(1618,2308)(1619,1937)(1620,2309)
     (1621,2310)(1622,2311)(1623,2312)(1624,2313)(1625,2314)(1627,2315)(1628,
     1994)(1629,2316)(1630,2317)(1631,2318)(1632,2319)(1633,1768)(1634,2320)
     (1635,2321)(1636,2322)(1637,2323)(1638,2324)(1639,2325)(1640,2326)(1641,
     2327)(1642,2328)(1643,2329)(1644,2330)(1645,2331)(1646,2332)(1647,1972)
     (1648,2333)(1650,2334)(1652,2335)(1653,2336)(1654,1958)(1655,2337)(1656,
     2338)(1657,2339)(1658,2340)(1659,2040)(1660,2341)(1661,2342)(1662,2343)
     (1663,2344)(1664,2345)(1665,2346)(1666,2347)(1667,2348)(1668,2349)(1669,
     2230)(1670,2350)(1671,2351)(1672,1797)(1673,2352)(1674,2353)(1675,1743)
     (1676,2354)(1677,2355)(1678,2143)(1679,2356)(1680,2357)(1681,2358)(1682,
     2359)(1683,2360)(1684,2361)(1685,1818)(1686,2362)(1687,2363)(1688,2364)
     (1689,2172)(1690,2365)(1691,2366)(1692,2367)(1693,2368)(1694,2369)(1695,
     2370)(1696,2097)(1697,2075)(1698,2371)(1699,2372)(1700,2373)(1701,2374)
     (1702,2134)(1703,2080)(1704,2375)(1705,2376)(1706,2377)(1707,2378)(1708,
     2379)(1709,2380)(1710,2381)(1711,2382)(1712,2383)(1713,2384)(1714,2385)
     (1715,2386)(1716,2387)(1717,1757)(1718,2388)(1719,2052)(1720,2389)(1721,
     1898)(1722,2390)(1723,2391)(1724,2392)(1727,2393)(1728,2394)(1729,2395)
     (1730,2396)(1731,2397)(1732,2131)(1733,2398)(1734,2399)(1735,2400)(1736,
     2224)(1737,2401)(1738,2402)(1739,2403)(1740,2404)(1741,2405)(1742,2406)
     (1745,2110)(1746,2407)(1747,2408)(1748,1941)(1749,2409)(1750,2410)(1751,
     2411)(1753,2412)(1754,2413)(1755,2414)(1756,2415)(1758,2416)(1759,2417)
     (1760,2418)(1761,2419)(1762,2420)(1763,2421)(1764,2422)(1765,1980)(1766,
     2423)(1767,2424)(1769,2425)(1770,2426)(1771,2427)(1772,2428)(1773,2429)
     (1774,2430)(1775,2431)(1776,2432)(1777,2433)(1778,2434)(1779,2435)(1780,
     2436)(1781,2437)(1782,2438)(1783,2439)(1784,2237)(1785,2440)(1786,2441)
     (1787,2442)(1788,2443)(1789,2444)(1790,2445)(1791,1809)(1792,2446)(1793,
     2447)(1794,2448)(1795,2449)(1796,2450)(1798,2451)(1799,2452)(1800,2453)
     (1801,2454)(1802,1810)(1803,2455)(1804,2456)(1805,2457)(1806,2458)(1807,
     2459)(1808,2460)(1812,2461)(1813,2462)(1814,2463)(1815,2464)(1816,2465)
     (1817,2466)(1819,2467)(1820,2468)(1821,2469)(1822,2470)(1823,2471)(1824,
     2472)(1825,2473)(1826,2474)(1827,2475)(1828,2476)(1829,2477)(1830,2478)
     (1831,2479)(1832,2480)(1833,2481)(1834,2482)(1835,2483)(1836,2484)(1837,
     2485)(1838,2486)(1839,2487)(1840,1977)(1841,2488)(1842,2489)(1843,2490)
     (1844,2491)(1845,2492)(1846,1933)(1847,2493)(1848,2494)(1849,2495)(1850,
     2496)(1851,2048)(1852,1858)(1853,1978)(1854,2497)(1855,2498)(1856,2499)
     (1857,2500)(1859,2501)(1860,2502)(1861,2503)(1862,2504)(1863,1871)(1864,
     2505)(1865,2506)(1866,2507)(1867,2508)(1868,1875)(1869,2509)(1872,2510)
     (1873,1969)(1876,2511)(1878,2512)(1879,2116)(1880,2513)(1883,2514)(1884,
     2515)(1885,2516)(1886,1901)(1887,2517)(1889,2518)(1890,2519)(1891,2520)
     (1892,2521)(1893,1974)(1894,2522)(1895,2523)(1896,2524)(1897,2525)(1899,
     2526)(1900,2527)(1903,1905)(1904,2528)(1906,2529)(1907,1979)(1908,2013)
     (1909,2530)(1911,2531)(1913,2532)(1914,2533)(1915,2534)(1916,2535)(1917,
     2536)(1918,2537)(1919,2538)(1920,2539)(1921,2023)(1922,2540)(1923,2541)
     (1924,2182)(1926,2542)(1927,2543)(1928,2544)(1929,2545)(1930,2546)(1931,
     2547)(1932,2548)(1934,2549)(1935,2550)(1936,2194)(1938,2551)(1939,2552)
     (1940,2553)(1942,2554)(1943,2555)(1944,2556)(1945,2557)(1946,2558)(1947,
     2559)(1948,2560)(1949,2561)(1950,2562)(1951,2563)(1952,2564)(1953,2565)
     (1954,2566)(1955,2152)(1956,2567)(1957,2568)(1959,2569)(1960,2570)(1961,
     2571)(1962,2572)(1963,2573)(1964,2574)(1965,2575)(1966,2576)(1967,2577)
     (1968,2578)(1970,2579)(1971,2580)(1973,2581)(1975,2004)(1976,2018)(1982,
     2582)(1983,2046)(1984,2583)(1985,2584)(1986,2585)(1987,2586)(1988,2587)
     (1990,2588)(1991,2589)(1992,2590)(1995,2591)(1996,2592)(1997,2593)(1998,
     2594)(1999,2595)(2000,2596)(2001,2597)(2002,2598)(2003,2599)(2005,2600)
     (2006,2601)(2007,2602)(2008,2603)(2009,2604)(2010,2220)(2011,2605)(2012,
     2606)(2014,2607)(2015,2608)(2016,2609)(2017,2223)(2019,2610)(2020,2611)
     (2021,2612)(2022,2613)(2024,2614)(2025,2615)(2027,2616)(2028,2617)(2029,
     2618)(2030,2619)(2031,2620)(2032,2621)(2033,2622)(2034,2623)(2035,2624)
     (2036,2625)(2037,2626)(2038,2627)(2039,2179)(2041,2628)(2042,2049)(2043,
     2629)(2044,2630)(2045,2631)(2047,2632)(2050,2633)(2053,2634)(2054,2093)
     (2055,2635)(2056,2636)(2057,2637)(2058,2638)(2059,2639)(2060,2640)(2061,
     2641)(2062,2642)(2063,2070)(2064,2643)(2065,2644)(2066,2645)(2067,2646)
     (2068,2647)(2069,2648)(2071,2094)(2072,2649)(2073,2650)(2074,2103)(2076,
     2651)(2077,2652)(2078,2653)(2079,2654)(2081,2655)(2082,2656)(2083,2098)
     (2084,2657)(2085,2658)(2086,2659)(2087,2660)(2088,2661)(2089,2662)(2090,
     2663)(2091,2664)(2092,2665)(2095,2128)(2096,2139)(2099,2666)(2100,2667)
     (2101,2668)(2102,2669)(2104,2670)(2105,2671)(2106,2672)(2107,2673)(2108,
     2674)(2109,2675)(2111,2676)(2112,2677)(2113,2678)(2114,2679)(2115,2680)
     (2117,2681)(2118,2682)(2119,2683)(2120,2684)(2121,2685)(2122,2686)(2124,
     2687)(2125,2127)(2126,2688)(2129,2689)(2130,2690)(2132,2691)(2135,2692)
     (2136,2693)(2137,2694)(2138,2695)(2140,2696)(2141,2697)(2142,2698)(2144,
     2699)(2145,2700)(2146,2192)(2147,2701)(2148,2702)(2149,2703)(2150,2704)
     (2151,2705)(2153,2706)(2154,2707)(2155,2708)(2156,2709)(2157,2710)(2158,
     2193)(2159,2711)(2160,2712)(2161,2713)(2162,2714)(2163,2715)(2164,2716)
     (2165,2717)(2166,2718)(2167,2719)(2168,2720)(2169,2721)(2170,2722)(2171,
     2723)(2173,2724)(2174,2725)(2175,2726)(2176,2727)(2177,2218)(2178,2728)
     (2180,2729)(2181,2730)(2183,2731)(2184,2732)(2185,2733)(2186,2734)(2187,
     2735)(2188,2736)(2189,2737)(2190,2738)(2191,2739)(2195,2197)(2196,2740)
     (2198,2741)(2199,2742)(2200,2743)(2201,2744)(2202,2745)(2203,2746)(2204,
     2747)(2205,2748)(2206,2749)(2207,2750)(2208,2751)(2209,2752)(2210,2753)
     (2211,2754)(2212,2755)(2213,2756)(2214,2757)(2215,2758)(2216,2759)(2217,
     2760)(2219,2761)(2221,2762)(2222,2763)(2225,2764)(2226,2765)(2227,2766)
     (2228,2767)(2229,2768)(2231,2769)(2232,2770)(2233,2771)(2234,2772)(2235,
     2773)(2236,2774)(2238,2775)(2239,2776)(2240,2777)(2241,2778)(2242,2779)
     (2243,2780)(2244,2781)(2245,2782)(2246,2783)(2247,2784)(2248,2785)(2249,
     2786)(2250,2787)(2251,2788)(2252,2789)(2253,2790)(2254,2791)(2255,2792)
     (2793,3891)(2794,3892)(2795,3893)(2796,3894)(2797,3895)(2798,3896)(2799,
     3897)(2800,3898)(2801,2825)(2802,3321)(2803,3899)(2804,3900)(2805,3901)
     (2806,3902)(2807,3903)(2808,3904)(2809,3118)(2810,3905)(2811,3260)(2812,
     3906)(2813,3907)(2814,3908)(2815,3909)(2816,3910)(2817,3911)(2818,3912)
     (2819,3913)(2820,3914)(2821,3915)(2822,3916)(2823,3917)(2824,3918)(2826,
     3919)(2827,3920)(2828,3921)(2829,3922)(2830,3923)(2831,3924)(2832,3925)
     (2833,3926)(2834,3927)(2835,3738)(2837,3928)(2838,3741)(2839,3929)(2840,
     3930)(2841,3931)(2842,3742)(2843,2945)(2844,3932)(2845,3933)(2846,3934)
     (2848,3935)(2849,3936)(2850,3583)(2851,3937)(2852,2876)(2853,3938)(2854,
     3341)(2855,3939)(2856,3940)(2857,3941)(2858,3942)(2859,3943)(2860,3944)
     (2861,3945)(2862,3946)(2863,3947)(2864,3948)(2866,3949)(2867,3310)(2868,
     3950)(2869,3951)(2870,3952)(2871,3953)(2872,3954)(2873,3955)(2875,3683)
     (2877,3023)(2878,3956)(2879,3957)(2880,3958)(2881,3959)(2882,3960)(2883,
     3094)(2884,3961)(2885,3962)(2887,3963)(2888,3964)(2889,3965)(2890,3966)
     (2891,3967)(2892,3968)(2893,3969)(2894,3970)(2895,3971)(2896,3972)(2897,
     3694)(2898,3973)(2899,3974)(2900,3975)(2901,3976)(2902,3977)(2903,3978)
     (2904,3979)(2905,3571)(2906,3980)(2907,3981)(2908,3982)(2909,3983)(2910,
     3574)(2911,3984)(2912,3985)(2913,3986)(2914,3987)(2915,3988)(2916,2994)
     (2917,3195)(2918,3989)(2919,3033)(2920,3990)(2921,3991)(2922,3992)(2923,
     3993)(2924,3994)(2925,3995)(2926,3996)(2927,3997)(2928,3998)(2929,3999)
     (2930,4000)(2931,4001)(2932,4002)(2933,4003)(2934,4004)(2935,4005)(2936,
     4006)(2937,4007)(2938,4008)(2939,4009)(2940,3282)(2941,4010)(2942,4011)
     (2943,3517)(2944,4012)(2946,4013)(2947,3203)(2948,3031)(2949,4014)(2950,
     4015)(2951,3877)(2952,4016)(2953,3030)(2954,4017)(2955,4018)(2956,4019)
     (2957,4020)(2958,4021)(2959,3015)(2960,4022)(2961,4023)(2962,4024)(2963,
     4025)(2964,4026)(2965,3494)(2966,3598)(2967,4027)(2968,4028)(2969,4029)
     (2970,3253)(2971,4030)(2972,4031)(2973,3265)(2974,4032)(2975,4033)(2976,
     4034)(2977,3828)(2978,3461)(2979,3566)(2980,4035)(2981,3561)(2982,4036)
     (2983,4037)(2984,4038)(2985,4039)(2986,3463)(2987,4040)(2988,4041)(2989,
     4042)(2990,4043)(2991,4044)(2992,4045)(2993,3458)(2995,4046)(2996,4047)
     (2997,4048)(2998,4049)(2999,4050)(3000,4051)(3001,4052)(3002,4053)(3003,
     4054)(3004,4055)(3005,4056)(3006,4057)(3007,4058)(3008,4059)(3009,4060)
     (3010,3624)(3011,3343)(3012,4061)(3013,3215)(3014,3027)(3016,4062)(3017,
     4063)(3018,4064)(3019,3432)(3020,4065)(3021,3441)(3022,4066)(3024,4067)
     (3025,4068)(3026,3284)(3028,3058)(3029,4069)(3032,4070)(3034,4071)(3035,
     4072)(3036,4073)(3037,3428)(3038,4074)(3039,4075)(3040,4076)(3041,4077)
     (3042,4078)(3043,4079)(3044,4080)(3045,4081)(3046,4082)(3047,4083)(3048,
     4084)(3049,4085)(3050,3243)(3051,4086)(3052,4087)(3053,4088)(3054,4089)
     (3055,4090)(3056,4091)(3057,4092)(3059,4093)(3060,4094)(3061,4095)(3062,
     3093)(3063,3625)(3064,4096)(3065,4097)(3066,4098)(3067,4099)(3068,4100)
     (3069,4101)(3070,3839)(3071,4102)(3072,4103)(3073,4104)(3074,4105)(3075,
     4106)(3076,4107)(3077,4108)(3078,4109)(3079,4110)(3080,3084)(3081,4111)
     (3082,4112)(3083,3764)(3085,4113)(3086,4114)(3087,4115)(3088,3413)(3089,
     4116)(3091,4117)(3092,4118)(3095,4119)(3096,4120)(3097,4121)(3098,4122)
     (3099,4123)(3101,4124)(3102,4125)(3103,4126)(3104,4127)(3105,4128)(3106,
     3605)(3107,3637)(3108,4129)(3109,4130)(3110,4131)(3111,4132)(3112,3372)
     (3113,4133)(3114,4134)(3115,4135)(3116,4136)(3117,4137)(3119,4138)(3120,
     4139)(3121,4140)(3122,4141)(3123,3699)(3124,4142)(3125,4143)(3126,4144)
     (3127,4145)(3128,3337)(3129,4146)(3130,4147)(3131,4148)(3132,4149)(3133,
     4150)(3134,4151)(3135,4152)(3136,4153)(3137,4154)(3138,4155)(3139,4156)
     (3140,4157)(3141,4158)(3142,4159)(3143,4160)(3144,3690)(3145,4161)(3146,
     4162)(3147,4163)(3148,4164)(3149,4165)(3150,4166)(3151,3827)(3152,4167)
     (3153,4168)(3154,4169)(3155,3628)(3156,4170)(3157,4171)(3158,4172)(3159,
     4173)(3160,3535)(3161,4174)(3162,4175)(3163,4176)(3164,4177)(3165,4178)
     (3166,3335)(3167,4179)(3168,4180)(3169,4181)(3170,3349)(3171,4182)(3172,
     4183)(3173,4184)(3174,4185)(3175,4186)(3176,4187)(3177,4188)(3178,3434)
     (3179,4189)(3180,3835)(3181,3834)(3182,3460)(3183,4190)(3184,4191)(3185,
     4192)(3186,4193)(3187,4194)(3188,4195)(3189,4196)(3190,4197)(3191,4198)
     (3192,4199)(3193,4200)(3194,4201)(3196,4202)(3197,4203)(3198,4204)(3199,
     4205)(3200,4206)(3201,4207)(3202,4208)(3204,3799)(3205,4209)(3206,4210)
     (3207,4211)(3208,4212)(3209,4213)(3210,4214)(3211,4215)(3212,4216)(3213,
     4217)(3214,4218)(3216,4219)(3217,4220)(3218,4221)(3219,4222)(3220,4223)
     (3221,3513)(3222,4224)(3223,4225)(3224,3530)(3225,4226)(3226,3386)(3227,
     4227)(3228,4228)(3229,4229)(3230,4230)(3231,4231)(3232,4232)(3233,4233)
     (3234,4234)(3235,4235)(3236,4236)(3237,3870)(3238,4237)(3239,3488)(3240,
     4238)(3241,4239)(3242,4240)(3244,4241)(3245,3863)(3246,4242)(3247,4243)
     (3248,4244)(3249,4245)(3250,3881)(3251,4246)(3252,4247)(3254,4248)(3255,
     3467)(3256,4249)(3257,4250)(3258,4251)(3259,4252)(3261,4253)(3262,4254)
     (3263,4255)(3264,4256)(3266,4257)(3267,4258)(3268,4259)(3269,3489)(3270,
     4260)(3271,4261)(3272,3357)(3273,3631)(3274,4262)(3275,3798)(3276,4263)
     (3277,3388)(3278,4264)(3279,3623)(3280,4265)(3281,4266)(3283,3322)(3285,
     4267)(3286,3707)(3287,4268)(3288,4269)(3289,4270)(3290,4271)(3291,4272)
     (3292,4273)(3293,3370)(3294,4274)(3295,4275)(3296,4276)(3297,4277)(3298,
     4278)(3299,4279)(3300,3491)(3301,4280)(3302,4281)(3303,4282)(3304,3339)
     (3305,4283)(3306,4284)(3307,4285)(3308,3347)(3309,3355)(3311,4286)(3312,
     4287)(3313,4288)(3314,4289)(3315,4290)(3316,4291)(3317,4292)(3318,4293)
     (3319,3383)(3320,4294)(3323,4295)(3324,4296)(3325,4297)(3326,4298)(3327,
     4299)(3328,4300)(3329,3757)(3330,4301)(3331,3626)(3332,4302)(3333,4303)
     (3334,4304)(3338,4305)(3340,4306)(3342,4307)(3344,4308)(3345,3377)(3346,
     3484)(3348,4309)(3350,4310)(3351,3485)(3352,4311)(3353,4312)(3354,4313)
     (3356,4314)(3358,4315)(3359,4316)(3360,4317)(3361,4318)(3362,4319)(3363,
     4320)(3364,4321)(3365,3723)(3366,4322)(3367,4323)(3368,4324)(3369,4325)
     (3371,4326)(3373,4327)(3374,4328)(3375,4329)(3376,4330)(3378,4331)(3379,
     4332)(3380,3832)(3381,4333)(3382,4334)(3384,4335)(3385,4336)(3387,4337)
     (3389,4338)(3390,3597)(3391,4339)(3392,4340)(3393,4341)(3394,4342)(3395,
     4343)(3396,4344)(3397,4345)(3398,4346)(3399,4347)(3400,4348)(3401,4349)
     (3402,4350)(3403,4351)(3404,4352)(3405,4353)(3406,4354)(3407,4355)(3408,
     4356)(3409,4357)(3410,4358)(3411,4359)(3412,4360)(3414,4361)(3415,4362)
     (3416,4363)(3417,4364)(3418,4365)(3419,4366)(3420,4367)(3421,4368)(3422,
     4369)(3423,4370)(3425,4371)(3426,4372)(3427,4373)(3429,4374)(3430,4375)
     (3431,4376)(3433,4377)(3435,4378)(3436,3788)(3437,4379)(3438,4380)(3439,
     4381)(3440,4382)(3442,4383)(3443,4384)(3444,3748)(3445,4385)(3446,4386)
     (3447,4387)(3448,4388)(3449,4389)(3450,4390)(3451,4391)(3452,4392)(3453,
     4393)(3454,4394)(3455,4395)(3456,4396)(3457,3525)(3459,4397)(3462,4398)
     (3464,4399)(3465,4400)(3466,4401)(3468,4402)(3469,4403)(3470,4404)(3471,
     4405)(3472,4406)(3473,4407)(3474,4408)(3475,4409)(3476,4410)(3477,4411)
     (3478,4412)(3479,4413)(3480,4414)(3481,4415)(3483,4416)(3486,3516)(3487,
     3539)(3492,4417)(3493,4418)(3495,4419)(3496,4420)(3497,4421)(3498,4422)
     (3499,4423)(3500,3647)(3501,4424)(3502,4425)(3503,4426)(3504,3646)(3505,
     4427)(3506,4428)(3507,4429)(3508,4430)(3509,4431)(3510,4432)(3511,3584)
     (3512,3853)(3514,4433)(3515,3857)(3518,4434)(3519,4435)(3520,4436)(3521,
     4437)(3522,4438)(3523,4439)(3524,4440)(3526,4441)(3527,4442)(3528,4443)
     (3529,4444)(3531,4445)(3532,4446)(3533,4447)(3534,4448)(3536,4449)(3537,
     4450)(3538,3862)(3540,4451)(3541,4452)(3542,4453)(3543,4454)(3544,4455)
     (3545,4456)(3546,4457)(3547,4458)(3548,4459)(3549,4460)(3550,4461)(3551,
     4462)(3552,3591)(3553,4463)(3554,4464)(3555,3634)(3556,4465)(3557,4466)
     (3558,4467)(3559,4468)(3560,4469)(3562,4470)(3563,4471)(3564,4472)(3565,
     4473)(3567,4474)(3568,4475)(3569,4476)(3570,4477)(3572,3730)(3573,4478)
     (3575,4479)(3576,4480)(3578,3592)(3579,4481)(3580,4482)(3581,4483)(3582,
     4484)(3585,3794)(3586,4485)(3587,3672)(3588,4486)(3589,3875)(3590,4487)
     (3593,4488)(3594,3696)(3595,4489)(3596,3838)(3600,4490)(3601,4491)(3602,
     4492)(3603,4493)(3604,4494)(3606,4495)(3607,4496)(3608,4497)(3609,4498)
     (3610,4499)(3611,4500)(3612,4501)(3613,4502)(3614,4503)(3615,4504)(3616,
     4505)(3617,4506)(3618,4507)(3619,4508)(3620,4509)(3621,4510)(3622,4511)
     (3627,4512)(3629,3668)(3630,4513)(3632,4514)(3633,4515)(3635,4516)(3636,
     4517)(3638,4518)(3639,4519)(3640,4520)(3641,3678)(3642,3845)(3643,4521)
     (3644,4522)(3645,4523)(3648,4524)(3649,4525)(3650,4526)(3651,4527)(3652,
     4528)(3653,4529)(3654,4530)(3655,4531)(3656,3662)(3657,4532)(3658,4533)
     (3659,4534)(3660,4535)(3661,4536)(3663,3775)(3664,4537)(3665,4538)(3666,
     3673)(3667,4539)(3669,3704)(3670,3721)(3671,3681)(3674,4540)(3675,4541)
     (3676,4542)(3677,4543)(3679,4544)(3680,4545)(3682,4546)(3684,4547)(3685,
     4548)(3686,4549)(3687,4550)(3688,4551)(3689,4552)(3691,4553)(3692,4554)
     (3693,4555)(3695,4556)(3697,4557)(3698,4558)(3700,4559)(3701,4560)(3702,
     4561)(3703,4562)(3705,4563)(3706,4564)(3708,4565)(3709,4566)(3710,4567)
     (3711,4568)(3712,4569)(3713,4570)(3714,4571)(3715,3813)(3716,4572)(3717,
     4573)(3719,4574)(3720,4575)(3722,4576)(3724,4577)(3725,4578)(3726,4579)
     (3727,4580)(3728,4581)(3729,4582)(3731,4583)(3732,4584)(3733,4585)(3734,
     4586)(3735,4587)(3736,4588)(3737,4589)(3739,4590)(3740,4591)(3743,4592)
     (3744,3811)(3745,4593)(3746,4594)(3747,4595)(3749,4596)(3750,4597)(3751,
     4598)(3752,4599)(3753,4600)(3754,4601)(3755,4602)(3756,4603)(3758,4604)
     (3759,4605)(3760,4606)(3761,4607)(3762,4608)(3763,4609)(3765,3812)(3766,
     4610)(3767,4611)(3769,4612)(3770,4613)(3771,4614)(3772,4615)(3773,4616)
     (3774,4617)(3776,4618)(3777,4619)(3779,4620)(3780,4621)(3781,4622)(3782,
     4623)(3783,4624)(3784,4625)(3785,4626)(3786,4627)(3787,4628)(3789,4629)
     (3790,4630)(3791,4631)(3792,4632)(3793,4633)(3795,4634)(3796,4635)(3797,
     4636)(3800,4637)(3801,4638)(3802,4639)(3803,4640)(3804,4641)(3805,4642)
     (3806,4643)(3807,4644)(3808,4645)(3809,4646)(3810,4647)(3814,4648)(3815,
     4649)(3817,4650)(3818,4651)(3819,4652)(3820,4653)(3821,4654)(3822,4655)
     (3824,4656)(3825,4657)(3826,4658)(3829,4659)(3830,4660)(3831,4661)(3833,
     4662)(3836,4663)(3837,4664)(3840,4665)(3841,4666)(3842,4667)(3843,4668)
     (3844,4669)(3846,4670)(3847,4671)(3848,4672)(3849,4673)(3850,4674)(3851,
     4675)(3852,4676)(3854,4677)(3855,4678)(3856,4679)(3858,4680)(3859,4681)
     (3860,4682)(3861,4683)(3864,4684)(3865,4685)(3866,4686)(3867,4687)(3868,
     4688)(3869,4689)(3871,4690)(3872,4691)(3873,3888)(3874,4692)(3876,4693)
     (3878,4694)(3879,4695)(3880,4696)(3882,4697)(3883,4698)(3884,4699)(3885,
     4700)(3886,4701)(3887,4702)(3889,4703)(3890,4704)(4705,5956)(4706,4957)
     (4707,5450)(4708,5957)(4709,5958)(4710,4778)(4711,4721)(4712,5375)(4713,
     5959)(4714,5398)(4715,5960)(4716,5961)(4717,5962)(4718,4734)(4719,5963)
     (4720,5964)(4722,5965)(4723,5966)(4724,5039)(4725,5740)(4726,4975)(4727,
     5335)(4728,5126)(4729,5967)(4730,5968)(4731,5969)(4732,5970)(4733,5971)
     (4735,5320)(4736,5463)(4737,5972)(4738,5491)(4739,5973)(4740,5676)(4741,
     5378)(4742,5974)(4743,5975)(4744,5976)(4745,5977)(4746,5978)(4747,5979)
     (4748,5980)(4749,5258)(4750,5981)(4751,5982)(4752,5983)(4753,5984)(4754,
     5985)(4755,5986)(4756,5987)(4757,5988)(4758,5989)(4759,5990)(4760,5991)
     (4761,4802)(4762,5992)(4763,5993)(4764,5994)(4765,5995)(4766,5996)(4767,
     5066)(4768,5997)(4769,5998)(4770,5999)(4771,6000)(4772,6001)(4773,6002)
     (4774,5267)(4775,6003)(4776,5272)(4777,5471)(4779,6004)(4780,5385)(4781,
     6005)(4782,6006)(4783,4811)(4784,6007)(4785,5370)(4786,6008)(4787,6009)
     (4788,5008)(4789,6010)(4790,6011)(4791,6012)(4792,6013)(4793,4874)(4794,
     5571)(4795,6014)(4796,6015)(4797,6016)(4798,6017)(4799,5731)(4800,6018)
     (4801,6019)(4803,5506)(4804,6020)(4805,5576)(4806,6021)(4807,6022)(4808,
     4887)(4809,6023)(4810,6024)(4812,6025)(4813,5869)(4814,6026)(4815,5844)
     (4816,6027)(4817,6028)(4818,6029)(4819,6030)(4820,6031)(4821,6032)(4822,
     6033)(4823,6034)(4824,6035)(4825,5465)(4826,6036)(4827,6037)(4828,6038)
     (4829,5476)(4830,6039)(4831,5274)(4832,6040)(4833,6041)(4834,5654)(4835,
     4951)(4836,6042)(4837,6043)(4838,6044)(4839,5882)(4840,6045)(4841,6046)
     (4842,5082)(4843,6047)(4844,6048)(4845,5158)(4846,6049)(4847,5051)(4848,
     6050)(4849,6051)(4850,4934)(4851,5218)(4852,4938)(4853,4854)(4855,6052)
     (4856,6053)(4858,6054)(4859,5036)(4860,6055)(4861,5326)(4862,5037)(4863,
     6056)(4864,5328)(4865,6057)(4866,4974)(4867,6058)(4868,6059)(4869,6060)
     (4870,5069)(4871,6061)(4872,6062)(4873,6063)(4875,5748)(4876,6064)(4877,
     6065)(4878,6066)(4879,4971)(4880,4970)(4881,5364)(4882,6067)(4883,6068)
     (4884,4958)(4885,5232)(4886,6069)(4888,6070)(4889,6071)(4890,6072)(4891,
     5669)(4892,6073)(4893,5315)(4894,6074)(4895,5537)(4896,5322)(4897,6075)
     (4898,6076)(4899,6077)(4900,6078)(4901,6079)(4902,6080)(4903,5533)(4904,
     6081)(4905,6082)(4906,6083)(4907,6084)(4908,6085)(4909,5893)(4910,6086)
     (4911,6087)(4912,5007)(4913,5029)(4914,6088)(4915,5528)(4916,6089)(4917,
     5001)(4918,6090)(4919,5393)(4920,6091)(4921,5591)(4922,5116)(4923,5356)
     (4924,5629)(4925,6092)(4926,6093)(4927,6094)(4928,6095)(4929,6096)(4930,
     6097)(4931,6098)(4932,5032)(4933,5038)(4935,6099)(4936,5892)(4937,6100)
     (4939,6101)(4940,6102)(4941,6103)(4942,6104)(4943,5479)(4944,5171)(4945,
     6105)(4946,6106)(4947,6107)(4948,5305)(4949,5334)(4950,6108)(4952,5179)
     (4953,5919)(4955,6109)(4956,6110)(4959,6111)(4960,6112)(4961,6113)(4962,
     6114)(4963,5266)(4964,6115)(4965,6116)(4966,6117)(4967,6118)(4968,5053)
     (4969,6119)(4972,5797)(4973,5539)(4976,5540)(4977,6120)(4978,6121)(4979,
     5573)(4980,6122)(4981,5661)(4982,6123)(4983,6124)(4984,6125)(4985,6126)
     (4986,6127)(4987,6128)(4988,5151)(4989,6129)(4990,6130)(4991,5409)(4992,
     6131)(4993,6132)(4994,6133)(4995,6134)(4996,5400)(4997,6135)(4998,6136)
     (4999,6137)(5000,5459)(5002,6138)(5003,6139)(5004,6140)(5005,5443)(5006,
     5598)(5009,6141)(5010,6142)(5011,5951)(5012,5169)(5013,6143)(5014,6144)
     (5015,6145)(5016,6146)(5017,6147)(5018,6148)(5019,5943)(5020,6149)(5021,
     6150)(5022,5949)(5023,5611)(5025,6151)(5026,5141)(5027,6152)(5028,6153)
     (5030,6154)(5031,6155)(5033,5885)(5034,6156)(5035,6157)(5040,6158)(5041,
     6159)(5042,5357)(5043,6160)(5044,5800)(5045,5354)(5046,6161)(5047,5805)
     (5048,5733)(5049,6162)(5050,6163)(5052,5579)(5054,6164)(5055,5724)(5056,
     6165)(5057,5298)(5058,5716)(5059,6166)(5060,6167)(5061,5289)(5062,6168)
     (5063,6169)(5064,6170)(5065,6171)(5067,5280)(5068,6172)(5070,6173)(5071,
     5256)(5072,6174)(5073,5113)(5074,5075)(5076,6175)(5077,6176)(5078,6177)
     (5079,6178)(5080,6179)(5081,6180)(5083,6181)(5084,6182)(5085,6183)(5086,
     6184)(5087,6185)(5088,6186)(5089,6187)(5090,5254)(5091,5795)(5092,6188)
     (5093,5619)(5094,6189)(5095,6190)(5096,6191)(5097,5321)(5098,5248)(5099,
     6192)(5100,6193)(5101,5213)(5102,6194)(5103,5784)(5104,6195)(5105,5858)
     (5106,5757)(5107,6196)(5108,6197)(5109,6198)(5110,5557)(5111,6199)(5112,
     6200)(5114,5798)(5115,5408)(5117,5791)(5118,6201)(5119,5775)(5120,6202)
     (5121,6203)(5122,5801)(5123,5425)(5124,6204)(5125,5889)(5127,6205)(5128,
     6206)(5129,6207)(5130,5532)(5131,5623)(5132,6208)(5133,6209)(5134,6210)
     (5135,6211)(5136,6212)(5137,5478)(5138,6213)(5139,6214)(5140,5484)(5142,
     5754)(5143,6215)(5144,6216)(5145,5521)(5146,6217)(5147,6218)(5148,6219)
     (5149,6220)(5150,5253)(5152,6221)(5153,5251)(5154,6222)(5155,6223)(5156,
     6224)(5157,6225)(5159,6226)(5160,6227)(5161,6228)(5162,5440)(5163,6229)
     (5164,6230)(5165,5444)(5166,5278)(5167,6231)(5172,6232)(5173,6233)(5174,
     6234)(5175,6235)(5176,6236)(5177,6237)(5178,6238)(5180,6239)(5181,6240)
     (5182,6241)(5183,6242)(5184,6243)(5185,5680)(5186,5694)(5187,6244)(5188,
     6245)(5189,6246)(5190,5439)(5191,6247)(5192,5236)(5193,6248)(5194,5235)
     (5195,6249)(5196,6250)(5197,6251)(5198,6252)(5199,5568)(5201,6253)(5202,
     6254)(5203,6255)(5204,5606)(5205,6256)(5206,5643)(5207,6257)(5208,5570)
     (5209,5918)(5210,6258)(5211,6259)(5212,6260)(5214,5381)(5215,6261)(5216,
     6262)(5217,5873)(5219,6263)(5220,6264)(5221,5548)(5222,6265)(5223,6266)
     (5224,6267)(5225,6268)(5226,6269)(5227,5545)(5228,5921)(5229,6270)(5230,
     5287)(5231,6271)(5233,6272)(5234,6273)(5237,6274)(5238,5726)(5239,5698)
     (5240,6275)(5241,6276)(5242,5282)(5243,5286)(5244,5246)(5245,5719)(5247,
     6277)(5249,6278)(5250,6279)(5252,6280)(5255,6281)(5257,6282)(5259,6283)
     (5260,6284)(5261,6285)(5262,5552)(5263,5359)(5264,5441)(5265,6286)(5268,
     5720)(5269,6287)(5270,6288)(5271,6289)(5273,6290)(5275,6291)(5276,6292)
     (5277,6293)(5279,6294)(5281,6295)(5283,6296)(5284,6297)(5285,6298)(5288,
     6299)(5290,5339)(5291,6300)(5292,6301)(5293,6302)(5294,5589)(5295,5843)
     (5296,6303)(5297,5768)(5299,6304)(5300,6305)(5301,6306)(5302,5433)(5303,
     6307)(5304,5469)(5306,6308)(5307,5424)(5308,5790)(5309,6309)(5310,5553)
     (5311,6310)(5312,6311)(5313,6312)(5314,5604)(5316,6313)(5317,6314)(5318,
     5406)(5319,5802)(5323,6315)(5324,5811)(5325,5794)(5327,6316)(5329,6317)
     (5330,6318)(5331,6319)(5332,6320)(5333,6321)(5336,6322)(5337,5628)(5338,
     6323)(5340,5452)(5342,6324)(5344,5881)(5345,6325)(5346,5735)(5347,5483)
     (5348,6326)(5349,5422)(5350,5730)(5351,5900)(5352,6327)(5353,6328)(5355,
     5745)(5358,5746)(5360,6329)(5361,6330)(5362,6331)(5363,5633)(5365,5430)
     (5366,6332)(5367,6333)(5368,6334)(5369,5474)(5371,6335)(5372,6336)(5373,
     6337)(5374,6338)(5376,6339)(5377,6340)(5379,6341)(5380,6342)(5382,6343)
     (5383,6344)(5384,6345)(5386,5587)(5387,6346)(5388,5435)(5389,6347)(5390,
     6348)(5391,6349)(5392,6350)(5394,6351)(5395,6352)(5396,6353)(5397,5402)
     (5399,6354)(5401,6355)(5403,6356)(5404,5845)(5405,5457)(5407,6357)(5410,
     6358)(5411,5497)(5412,6359)(5413,6360)(5414,6361)(5415,5842)(5416,6362)
     (5417,6363)(5418,6364)(5419,5896)(5420,5438)(5421,6365)(5423,6366)(5426,
     6367)(5427,6368)(5428,6369)(5429,6370)(5431,6371)(5432,6372)(5434,5929)
     (5436,6373)(5437,6374)(5442,6375)(5445,6376)(5446,6377)(5447,6378)(5448,
     6379)(5449,6380)(5451,6381)(5453,6382)(5454,5559)(5455,6383)(5456,6384)
     (5458,6385)(5460,6386)(5461,6387)(5462,6388)(5464,6389)(5466,5834)(5467,
     6390)(5468,6391)(5470,6392)(5472,5828)(5473,6393)(5475,6394)(5477,6395)
     (5480,6396)(5481,6397)(5482,6398)(5485,6399)(5486,5830)(5487,6400)(5488,
     6401)(5489,6402)(5490,6403)(5492,6404)(5493,6405)(5494,6406)(5495,6407)
     (5496,5582)(5498,6408)(5499,5519)(5500,6409)(5501,6410)(5502,6411)(5503,
     6412)(5504,5599)(5505,6413)(5507,5663)(5508,6414)(5509,6415)(5510,6416)
     (5511,6417)(5512,6418)(5513,6419)(5514,5520)(5515,6420)(5516,6421)(5517,
     6422)(5518,5923)(5522,5756)(5523,6423)(5524,5868)(5526,6424)(5527,5940)
     (5529,5864)(5530,6425)(5531,5750)(5534,6426)(5535,6427)(5536,6428)(5538,
     6429)(5541,6430)(5542,6431)(5543,6432)(5544,6433)(5546,6434)(5547,6435)
     (5549,5670)(5550,6436)(5551,5912)(5554,5555)(5556,6437)(5558,6438)(5560,
     6439)(5561,6440)(5562,6441)(5563,6442)(5564,6443)(5565,6444)(5566,5917)
     (5567,6445)(5569,5695)(5572,6446)(5574,6447)(5575,6448)(5577,5707)(5578,
     6449)(5580,6450)(5581,6451)(5583,5597)(5584,6452)(5585,5586)(5588,6453)
     (5590,5894)(5592,5816)(5593,5660)(5594,5739)(5595,6454)(5596,5737)(5600,
     6455)(5601,5612)(5602,5627)(5603,5631)(5605,6456)(5607,5936)(5608,5610)
     (5609,6457)(5613,5624)(5614,6458)(5615,6459)(5616,6460)(5617,6461)(5618,
     6462)(5620,6463)(5621,6464)(5622,6465)(5625,6466)(5626,6467)(5630,6468)
     (5632,6469)(5634,6470)(5635,6471)(5636,6472)(5637,6473)(5638,6474)(5639,
     6475)(5640,6476)(5641,6477)(5642,6478)(5645,6479)(5646,6480)(5647,6481)
     (5648,6482)(5649,5781)(5650,6483)(5651,6484)(5652,6485)(5653,6486)(5655,
     6487)(5656,5780)(5657,6488)(5658,6489)(5659,6490)(5662,6491)(5664,6492)
     (5665,6493)(5666,6494)(5667,5734)(5668,6495)(5671,6496)(5672,6497)(5673,
     5920)(5674,6498)(5677,6499)(5678,6500)(5679,6501)(5681,6502)(5682,5728)
     (5683,6503)(5684,6504)(5685,6505)(5686,5705)(5687,6506)(5688,6507)(5689,
     6508)(5690,6509)(5691,5723)(5692,6510)(5693,5946)(5696,6511)(5697,6512)
     (5699,5887)(5700,6513)(5701,6514)(5702,6515)(5703,6516)(5706,6517)(5708,
     6518)(5710,6519)(5711,6520)(5712,6521)(5713,5931)(5715,6522)(5717,6523)
     (5718,6524)(5721,6525)(5722,5725)(5727,6526)(5729,6527)(5732,6528)(5736,
     6529)(5738,6530)(5741,5922)(5742,6531)(5743,6532)(5744,6533)(5747,6534)
     (5749,6535)(5751,5952)(5752,6536)(5753,6537)(5755,6538)(5758,6539)(5759,
     5782)(5760,6540)(5761,6541)(5762,5866)(5763,6542)(5764,6543)(5765,6544)
     (5766,6545)(5767,6546)(5769,6547)(5770,6548)(5771,6549)(5772,6550)(5773,
     6551)(5774,5862)(5776,6552)(5777,6553)(5778,5803)(5779,5807)(5783,6554)
     (5785,6555)(5786,6556)(5787,5829)(5788,6557)(5789,6558)(5792,6559)(5793,
     6560)(5796,6561)(5799,6562)(5804,6563)(5806,6564)(5808,6565)(5809,6566)
     (5810,6567)(5812,6568)(5813,6569)(5814,5939)(5815,6570)(5817,6571)(5818,
     5820)(5819,5853)(5821,5898)(5822,5848)(5823,6572)(5824,6573)(5825,6574)
     (5826,6575)(5827,6576)(5831,6577)(5832,6578)(5835,6579)(5836,6580)(5837,
     6581)(5838,6582)(5839,6583)(5840,6584)(5841,6585)(5846,6586)(5847,6587)
     (5849,5906)(5851,6588)(5852,6589)(5854,6590)(5856,6591)(5857,6592)(5859,
     5938)(5860,6593)(5861,6594)(5863,6595)(5865,6596)(5867,6597)(5870,6598)
     (5871,6599)(5872,6600)(5874,6601)(5875,6602)(5876,6603)(5877,6604)(5878,
     6605)(5879,6606)(5880,6607)(5883,6608)(5884,6609)(5886,6610)(5888,6611)
     (5890,6612)(5891,6613)(5895,6614)(5897,6615)(5902,6616)(5903,6617)(5904,
     6618)(5905,6619)(5908,6620)(5910,6621)(5911,6622)(5913,6623)(5914,6624)
     (5915,5916)(5924,6625)(5925,6626)(5926,6627)(5927,6628)(5928,6629)(5930,
     6630)(5932,6631)(5933,6632)(5934,6633)(5935,6634)(5941,6635)(5942,6636)
     (5944,6637)(5945,6638)(5947,6639)(5948,6640)(5950,6641)(5954,6642)(5955,
     6643)(6644,7216)(6645,6732)(6646,7036)(6647,7108)(6648,7188)(6649,6839)
     (6650,6953)(6651,7217)(6652,6660)(6653,7084)(6654,6834)(6655,7218)(6656,
     7219)(6657,7131)(6658,6795)(6659,6947)(6661,7220)(6662,6790)(6663,6833)
     (6664,7221)(6665,7062)(6666,7139)(6667,6866)(6668,6960)(6669,7209)(6670,
     7222)(6671,7223)(6672,6783)(6673,7224)(6674,7110)(6675,7040)(6676,7225)
     (6677,6817)(6678,7226)(6679,7063)(6680,7109)(6681,7227)(6682,7151)(6683,
     6958)(6684,7080)(6685,7228)(6686,7229)(6687,7230)(6688,6925)(6689,7231)
     (6690,6926)(6691,6805)(6692,7130)(6693,7101)(6694,6796)(6695,7232)(6696,
     7233)(6697,6872)(6698,7234)(6699,7235)(6700,7236)(6701,7094)(6702,6871)
     (6703,7100)(6704,6961)(6705,7237)(6706,7238)(6707,7239)(6708,6892)(6709,
     6945)(6710,7158)(6711,7240)(6712,6973)(6713,6803)(6714,7132)(6715,7241)
     (6716,7242)(6717,7243)(6718,6832)(6719,7022)(6720,6917)(6721,6767)(6722,
     7244)(6723,6735)(6724,6896)(6725,7245)(6726,6972)(6727,7246)(6728,7045)
     (6729,7247)(6730,7248)(6731,7046)(6733,7113)(6734,7107)(6736,7172)(6737,
     6956)(6738,7249)(6739,7250)(6740,7251)(6741,7252)(6742,7253)(6743,7061)
     (6744,6762)(6745,7254)(6746,7255)(6747,6807)(6748,6904)(6750,6887)(6751,
     7256)(6752,7257)(6753,7258)(6754,7259)(6755,7260)(6756,7048)(6757,6934)
     (6759,6760)(6761,7261)(6763,6975)(6764,6774)(6765,7262)(6766,6913)(6768,
     6939)(6769,7185)(6770,7263)(6771,7204)(6772,7264)(6773,6823)(6775,6821)
     (6776,6873)(6777,6864)(6778,6868)(6779,6829)(6780,7265)(6781,6816)(6782,
     7266)(6784,7123)(6785,7193)(6786,6959)(6787,6924)(6788,7044)(6789,7206)
     (6791,6952)(6792,7267)(6793,6878)(6794,6849)(6797,7106)(6798,7038)(6799,
     7008)(6800,6877)(6801,7268)(6802,7170)(6804,7071)(6806,7269)(6808,7069)
     (6809,7070)(6810,7115)(6811,6938)(6812,6870)(6813,6977)(6814,6993)(6815,
     7270)(6818,6974)(6819,6987)(6820,7271)(6822,7272)(6824,7273)(6825,6905)
     (6826,7047)(6827,7274)(6830,7187)(6831,6843)(6835,6994)(6836,7275)(6837,
     6983)(6838,6840)(6841,7068)(6845,7163)(6846,7276)(6847,7277)(6848,6859)
     (6850,6865)(6851,7278)(6852,6912)(6853,7279)(6854,7009)(6855,7280)(6856,
     7006)(6857,7160)(6858,6874)(6860,6954)(6861,6862)(6863,7184)(6867,6910)
     (6869,6916)(6875,7153)(6876,6962)(6879,7281)(6880,7282)(6881,7283)(6882,
     6964)(6883,7284)(6884,7285)(6885,7286)(6886,7098)(6888,7211)(6889,7287)
     (6890,7012)(6891,7288)(6893,7289)(6894,7290)(6895,7291)(6897,7292)(6898,
     7293)(6899,7294)(6900,7052)(6901,7083)(6902,7295)(6903,7296)(6906,7297)
     (6907,7298)(6908,7039)(6911,7137)(6914,7299)(6915,6980)(6919,7300)(6920,
     6932)(6921,7301)(6922,7149)(6923,7302)(6927,7303)(6928,7181)(6929,7304)
     (6930,7305)(6931,7306)(6933,7180)(6936,7173)(6937,7142)(6940,7104)(6941,
     7156)(6942,7307)(6943,7308)(6944,7102)(6946,7175)(6948,7111)(6949,7309)
     (6950,7310)(6951,7214)(6955,7311)(6957,6965)(6963,6966)(6967,7312)(6968,
     7313)(6969,7314)(6970,7051)(6971,7315)(6976,7316)(6978,7189)(6979,7317)
     (6981,7318)(6982,7319)(6985,7320)(6986,7015)(6988,7075)(6989,7074)(6990,
     7321)(6991,7203)(6992,7322)(6997,7323)(6998,7324)(7000,7213)(7001,7325)
     (7002,7326)(7003,7055)(7004,7327)(7005,7328)(7007,7164)(7010,7087)(7011,
     7166)(7013,7192)(7014,7329)(7016,7017)(7018,7138)(7019,7330)(7020,7331)
     (7021,7332)(7023,7333)(7024,7092)(7025,7334)(7026,7335)(7027,7150)(7028,
     7336)(7029,7035)(7030,7337)(7031,7155)(7032,7338)(7033,7194)(7034,7339)
     (7037,7116)(7041,7186)(7042,7200)(7049,7086)(7050,7340)(7053,7179)(7054,
     7056)(7057,7065)(7058,7066)(7059,7135)(7060,7183)(7064,7167)(7067,7165)
     (7072,7341)(7073,7342)(7076,7343)(7077,7344)(7078,7089)(7079,7088)(7081,
     7202)(7082,7345)(7085,7346)(7090,7347)(7091,7348)(7093,7349)(7095,7350)
     (7096,7351)(7097,7352)(7099,7353)(7103,7129)(7105,7354)(7112,7355)(7114,
     7356)(7117,7357)(7118,7147)(7119,7120)(7121,7358)(7122,7359)(7124,7360)
     (7125,7361)(7126,7128)(7127,7362)(7133,7212)(7134,7363)(7140,7364)(7141,
     7365)(7143,7366)(7144,7367)(7145,7368)(7148,7369)(7152,7370)(7154,7159)
     (7157,7371)(7161,7372)(7162,7373)(7168,7374)(7169,7375)(7171,7376)(7176,
     7377)(7177,7378)(7178,7379)(7182,7207)(7196,7380)(7197,7381)(7198,7382)
     (7215,7383)(7384,7414)(7385,7388)(7386,7396)(7387,7395)(7390,7425)(7391,
     7432)(7392,7431)(7393,7400)(7394,7440)(7397,7439)(7398,7408)(7399,7410)
     (7401,7402)(7404,7418)(7405,7417)(7406,7411)(7407,7427)(7409,7412)(7413,
     7419)(7415,7426)(7416,7423)(7420,7430)(7421,7422)(7428,7429)(7435,7436)
     (7437,7438);