z1 := (2,4)(3,5)(6,10)(7,11)(8,12)(9,13)(14,19)(15,20)(16,21)(17,22)(18,23)
     (24,34)(25,35)(26,36)(27,37)(28,38)(29,39)(30,40)(31,41)(32,42)(33,43)
     (44,64)(45,65)(46,66)(47,67)(48,68)(49,69)(50,70)(51,71)(52,72)(53,73)
     (54,74)(55,75)(56,76)(57,77)(58,78)(59,79)(60,80)(61,81)(62,82)(63,83)
     (84,124)(85,125)(86,126)(87,127)(88,128)(89,129)(90,130)(92,131)(93,132)
     (94,133)(95,134)(96,135)(97,136)(98,137)(99,138)(101,139)(102,140)(103,
     141)(104,142)(105,143)(106,144)(107,145)(108,146)(109,147)(110,148)(111,
     149)(112,150)(113,151)(114,152)(115,153)(116,154)(117,155)(118,156)(119,
     157)(120,158)(121,159)(122,160)(123,161)(162,238)(163,239)(164,240)(165,
     241)(166,242)(168,243)(169,244)(170,245)(171,246)(172,247)(173,248)(174,
     249)(175,250)(176,251)(177,252)(178,253)(179,254)(180,255)(181,256)(182,
     257)(183,258)(184,259)(185,260)(186,261)(187,262)(188,263)(189,264)(190,
     265)(191,266)(192,267)(193,268)(194,269)(195,270)(196,271)(197,272)(198,
     273)(199,274)(200,275)(201,276)(202,277)(203,278)(204,279)(205,280)(206,
     281)(207,282)(208,283)(209,284)(210,285)(211,286)(212,287)(213,288)(214,
     289)(215,290)(216,291)(217,292)(218,293)(219,294)(220,295)(221,296)(222,
     297)(223,298)(224,299)(225,300)(226,301)(227,302)(228,303)(229,304)(230,
     305)(231,306)(233,307)(234,308)(235,309)(236,310)(237,311)(312,457)(313,
     458)(314,459)(315,460)(316,392)(317,461)(318,462)(319,463)(320,464)(321,
     465)(322,466)(323,467)(324,468)(325,469)(326,470)(327,471)(328,472)(329,
     473)(330,474)(331,475)(332,476)(333,477)(334,478)(335,479)(336,480)(337,
     481)(338,482)(339,483)(340,484)(341,485)(342,486)(343,487)(344,488)(345,
     489)(346,490)(347,491)(348,492)(349,493)(350,494)(351,495)(352,496)(353,
     497)(354,498)(355,499)(356,500)(357,501)(358,502)(359,503)(360,504)(361,
     505)(362,506)(363,507)(364,508)(365,509)(366,510)(367,511)(368,512)(369,
     513)(370,514)(371,515)(372,516)(373,517)(374,518)(375,519)(376,520)(377,
     521)(378,522)(379,523)(380,524)(381,525)(382,526)(383,527)(384,528)(385,
     529)(386,530)(387,405)(388,531)(389,532)(390,533)(391,534)(393,535)(394,
     536)(395,537)(396,538)(397,539)(398,540)(399,541)(400,542)(401,543)(402,
     544)(403,545)(404,546)(406,547)(407,548)(408,549)(409,550)(410,551)(411,
     552)(412,553)(413,554)(414,555)(415,556)(416,557)(417,558)(418,559)(419,
     560)(420,561)(421,562)(422,563)(423,564)(424,565)(425,566)(426,567)(427,
     568)(428,569)(429,570)(430,571)(431,572)(432,573)(433,574)(434,575)(435,
     576)(436,577)(437,578)(438,579)(439,580)(440,581)(441,582)(442,583)(443,
     584)(444,585)(445,586)(446,587)(447,588)(448,589)(449,590)(450,591)(451,
     592)(452,593)(453,594)(454,595)(455,596)(456,597)(598,604)(599,844)(600,
     845)(601,846)(602,847)(603,611)(605,848)(606,849)(607,850)(609,851)(610,
     852)(612,853)(613,854)(614,855)(615,856)(616,857)(617,858)(618,859)(619,
     860)(620,861)(621,862)(622,863)(623,864)(624,865)(625,866)(626,867)(627,
     868)(628,787)(629,869)(630,870)(631,871)(632,872)(633,873)(634,647)(635,
     874)(636,875)(637,876)(638,877)(639,878)(640,879)(641,880)(642,881)(643,
     882)(644,883)(645,884)(646,885)(648,886)(649,887)(650,888)(651,889)(652,
     890)(653,891)(654,892)(655,893)(656,894)(657,895)(658,896)(659,897)(660,
     816)(661,898)(662,899)(663,900)(664,901)(665,902)(666,903)(667,904)(668,
     905)(669,906)(670,907)(671,908)(672,909)(673,716)(674,910)(675,911)(676,
     912)(677,913)(678,914)(679,915)(680,916)(681,917)(682,918)(683,919)(684,
     920)(685,921)(686,922)(687,923)(688,924)(689,925)(690,926)(691,927)(692,
     928)(693,929)(694,930)(695,931)(696,932)(697,933)(698,934)(699,935)(700,
     936)(701,937)(702,938)(703,939)(704,940)(705,941)(706,942)(707,943)(708,
     944)(709,945)(710,946)(711,947)(712,948)(713,949)(714,950)(715,951)(717,
     828)(718,952)(719,953)(720,831)(721,954)(722,955)(723,815)(724,956)(725,
     957)(726,958)(727,959)(728,960)(729,961)(730,761)(731,962)(733,963)(734,
     964)(735,965)(736,966)(737,967)(738,968)(739,969)(740,970)(741,971)(742,
     972)(743,973)(744,974)(745,975)(746,800)(747,976)(748,977)(749,978)(750,
     979)(751,980)(752,981)(753,982)(754,983)(755,984)(756,985)(757,986)(758,
     987)(759,988)(760,989)(762,990)(763,991)(764,992)(765,993)(766,994)(767,
     995)(768,996)(769,997)(770,998)(771,999)(772,1000)(773,1001)(774,1002)
     (775,1003)(776,1004)(777,1005)(778,1006)(779,1007)(780,1008)(781,1009)
     (782,1010)(783,1011)(784,1012)(785,1013)(786,1014)(788,1015)(789,1016)
     (790,1017)(792,1018)(793,1019)(794,1020)(795,1021)(796,1022)(797,1023)
     (798,1024)(799,1025)(801,1026)(802,1027)(803,1028)(804,1029)(805,1030)
     (806,1031)(807,1032)(808,1033)(809,1034)(810,1035)(811,1036)(812,1037)
     (813,1038)(814,1039)(817,1040)(818,1041)(819,1042)(820,1043)(821,1044)
     (822,1045)(823,1046)(824,1047)(825,1048)(826,1049)(827,1050)(829,1051)
     (830,839)(832,1052)(833,1053)(834,1054)(835,1055)(836,1056)(837,1057)
     (838,843)(840,1058)(841,1059)(842,1060)(1061,1451)(1062,1452)(1063,1453)
     (1064,1274)(1065,1454)(1066,1080)(1067,1455)(1068,1456)(1069,1457)(1070,
     1458)(1071,1459)(1072,1460)(1073,1461)(1074,1462)(1075,1463)(1076,1126)
     (1077,1464)(1078,1465)(1079,1466)(1081,1467)(1082,1230)(1083,1468)(1084,
     1469)(1085,1470)(1086,1143)(1087,1471)(1088,1375)(1089,1472)(1090,1473)
     (1091,1474)(1092,1475)(1093,1476)(1094,1477)(1095,1478)(1096,1479)(1097,
     1480)(1098,1481)(1099,1482)(1100,1483)(1101,1484)(1102,1485)(1103,1486)
     (1104,1487)(1105,1488)(1106,1489)(1107,1490)(1108,1491)(1109,1492)(1110,
     1493)(1112,1494)(1113,1495)(1114,1496)(1115,1497)(1116,1498)(1117,1499)
     (1118,1500)(1119,1501)(1120,1502)(1121,1503)(1122,1504)(1123,1505)(1124,
     1506)(1125,1507)(1127,1337)(1128,1228)(1129,1260)(1130,1508)(1131,1509)
     (1132,1510)(1133,1511)(1134,1512)(1135,1513)(1136,1514)(1137,1515)(1138,
     1516)(1139,1226)(1140,1517)(1141,1518)(1142,1519)(1144,1520)(1145,1521)
     (1146,1522)(1147,1523)(1148,1524)(1149,1525)(1150,1526)(1151,1527)(1152,
     1528)(1153,1529)(1154,1530)(1155,1531)(1156,1532)(1157,1533)(1158,1534)
     (1159,1535)(1160,1536)(1161,1537)(1162,1538)(1163,1539)(1164,1325)(1165,
     1224)(1166,1540)(1167,1541)(1168,1542)(1169,1543)(1170,1544)(1171,1545)
     (1172,1546)(1173,1547)(1174,1548)(1175,1549)(1176,1550)(1177,1551)(1178,
     1552)(1179,1553)(1180,1554)(1181,1555)(1182,1556)(1183,1557)(1184,1558)
     (1185,1559)(1186,1560)(1187,1561)(1188,1562)(1189,1563)(1190,1564)(1191,
     1565)(1192,1566)(1193,1567)(1194,1568)(1195,1319)(1196,1569)(1197,1570)
     (1198,1328)(1199,1571)(1200,1572)(1201,1573)(1202,1574)(1203,1575)(1204,
     1576)(1205,1577)(1206,1578)(1207,1579)(1208,1580)(1209,1581)(1210,1582)
     (1211,1583)(1212,1367)(1213,1584)(1214,1585)(1216,1586)(1217,1587)(1218,
     1588)(1219,1589)(1220,1590)(1221,1591)(1222,1592)(1223,1593)(1225,1300)
     (1227,1594)(1229,1595)(1231,1596)(1232,1597)(1233,1598)(1234,1599)(1235,
     1600)(1236,1601)(1237,1602)(1238,1603)(1239,1604)(1240,1605)(1241,1606)
     (1242,1607)(1243,1608)(1244,1609)(1245,1610)(1246,1611)(1247,1612)(1248,
     1613)(1249,1614)(1250,1615)(1251,1616)(1252,1617)(1253,1359)(1254,1618)
     (1255,1619)(1256,1620)(1257,1621)(1258,1622)(1259,1623)(1261,1624)(1262,
     1625)(1263,1626)(1264,1627)(1265,1628)(1266,1629)(1267,1630)(1268,1631)
     (1269,1632)(1270,1633)(1271,1634)(1272,1635)(1273,1636)(1275,1637)(1276,
     1638)(1277,1639)(1278,1640)(1279,1641)(1280,1642)(1281,1643)(1282,1644)
     (1283,1645)(1284,1646)(1285,1647)(1286,1648)(1287,1649)(1288,1650)(1289,
     1651)(1290,1652)(1291,1653)(1292,1654)(1293,1434)(1294,1655)(1295,1656)
     (1296,1657)(1297,1658)(1298,1659)(1299,1660)(1301,1661)(1302,1662)(1303,
     1663)(1304,1664)(1305,1665)(1306,1335)(1307,1666)(1308,1667)(1309,1668)
     (1310,1669)(1311,1670)(1312,1671)(1313,1672)(1314,1344)(1315,1673)(1316,
     1674)(1317,1675)(1318,1676)(1320,1677)(1321,1678)(1322,1378)(1323,1679)
     (1324,1680)(1326,1681)(1327,1682)(1329,1683)(1330,1684)(1331,1685)(1332,
     1686)(1333,1687)(1334,1688)(1336,1689)(1338,1690)(1339,1691)(1340,1692)
     (1341,1693)(1342,1694)(1343,1695)(1345,1696)(1346,1697)(1347,1698)(1348,
     1699)(1349,1700)(1350,1701)(1351,1702)(1352,1703)(1353,1704)(1354,1705)
     (1355,1706)(1356,1707)(1357,1708)(1358,1709)(1360,1710)(1361,1711)(1362,
     1712)(1363,1713)(1364,1714)(1365,1715)(1366,1716)(1368,1717)(1369,1718)
     (1370,1719)(1371,1720)(1372,1721)(1373,1722)(1374,1723)(1376,1724)(1377,
     1725)(1379,1726)(1380,1727)(1381,1728)(1382,1729)(1383,1730)(1384,1731)
     (1385,1732)(1386,1733)(1387,1734)(1388,1735)(1389,1736)(1390,1737)(1391,
     1738)(1392,1739)(1393,1740)(1394,1741)(1395,1742)(1396,1743)(1397,1744)
     (1398,1745)(1399,1746)(1400,1747)(1401,1748)(1402,1749)(1403,1750)(1404,
     1751)(1405,1752)(1406,1753)(1407,1754)(1408,1755)(1409,1756)(1410,1757)
     (1411,1758)(1412,1759)(1413,1760)(1414,1761)(1415,1762)(1416,1763)(1417,
     1764)(1418,1765)(1419,1766)(1420,1767)(1421,1768)(1422,1769)(1423,1770)
     (1424,1771)(1425,1772)(1426,1773)(1427,1774)(1428,1775)(1429,1776)(1430,
     1777)(1431,1778)(1432,1779)(1433,1780)(1435,1781)(1436,1782)(1437,1783)
     (1438,1784)(1439,1785)(1440,1786)(1441,1787)(1442,1788)(1443,1789)(1444,
     1790)(1445,1791)(1446,1792)(1447,1793)(1448,1794)(1450,1795)(1796,2354)
     (1797,2355)(1798,2356)(1799,2279)(1800,2357)(1801,2358)(1802,2359)(1803,
     2360)(1804,1961)(1805,2361)(1806,2362)(1807,2363)(1808,2364)(1809,2107)
     (1810,2305)(1811,2365)(1812,2178)(1813,2366)(1815,2367)(1816,2294)(1817,
     2216)(1818,2368)(1819,2369)(1820,2370)(1821,2371)(1822,1903)(1823,2372)
     (1824,2373)(1825,2374)(1826,2375)(1827,2376)(1828,2377)(1829,2378)(1830,
     2379)(1831,2380)(1832,2123)(1833,2381)(1834,2382)(1835,2027)(1836,2383)
     (1837,2321)(1838,2384)(1839,2385)(1840,2386)(1841,2387)(1842,2388)(1843,
     2389)(1844,2390)(1845,2391)(1846,2392)(1847,2099)(1848,2393)(1849,2352)
     (1850,2394)(1851,2395)(1852,2396)(1853,2397)(1854,2398)(1855,2399)(1856,
     2400)(1857,2342)(1858,2401)(1859,2402)(1860,2403)(1861,1899)(1862,2404)
     (1863,2405)(1864,2406)(1865,2069)(1866,2407)(1867,2408)(1868,2409)(1869,
     2410)(1870,2010)(1871,2411)(1872,2412)(1873,2037)(1874,2202)(1875,2413)
     (1876,2414)(1877,2415)(1878,1928)(1879,2416)(1880,2280)(1881,2417)(1882,
     2418)(1883,2419)(1884,2420)(1885,2326)(1886,2112)(1887,2421)(1888,2422)
     (1889,2423)(1890,2424)(1891,2425)(1892,2426)(1893,2121)(1894,2427)(1895,
     2428)(1896,2429)(1897,2430)(1898,2431)(1900,2432)(1901,2433)(1904,2434)
     (1905,2435)(1906,2436)(1907,2437)(1908,1991)(1909,2135)(1910,2438)(1911,
     2439)(1912,2264)(1913,2440)(1914,2441)(1915,2442)(1916,2443)(1917,2444)
     (1918,2445)(1919,1975)(1920,2446)(1921,2447)(1922,2448)(1923,2449)(1924,
     2450)(1925,2451)(1926,2452)(1927,2453)(1929,2266)(1930,2454)(1931,2176)
     (1932,2455)(1933,2167)(1934,2214)(1935,2456)(1936,2348)(1937,2457)(1938,
     2458)(1939,2459)(1940,2460)(1941,2461)(1942,2072)(1943,2462)(1944,2463)
     (1945,2464)(1946,2465)(1947,2466)(1948,2467)(1949,2468)(1950,2469)(1951,
     2470)(1952,2471)(1953,2472)(1954,2473)(1955,2474)(1956,2475)(1957,2476)
     (1958,2477)(1959,2015)(1960,2221)(1962,2478)(1963,2479)(1964,2480)(1965,
     2481)(1966,2482)(1967,2483)(1968,2484)(1969,2166)(1970,2485)(1971,2204)
     (1972,2486)(1973,2487)(1974,2488)(1976,2489)(1977,2490)(1978,2491)(1979,
     2492)(1980,2493)(1981,1996)(1982,2494)(1983,2495)(1984,2496)(1985,2497)
     (1986,2498)(1987,2499)(1988,2500)(1989,2501)(1990,2502)(1992,2503)(1993,
     2504)(1994,2505)(1995,2020)(1997,2506)(1998,2507)(2000,2508)(2001,2509)
     (2002,2277)(2003,2510)(2004,2511)(2005,2512)(2006,2250)(2007,2513)(2008,
     2514)(2009,2515)(2011,2516)(2012,2517)(2013,2518)(2014,2519)(2016,2520)
     (2017,2521)(2018,2522)(2019,2523)(2021,2149)(2022,2524)(2023,2525)(2024,
     2526)(2025,2527)(2026,2528)(2028,2529)(2029,2530)(2030,2531)(2031,2532)
     (2032,2533)(2033,2162)(2034,2534)(2035,2535)(2036,2536)(2038,2537)(2039,
     2538)(2040,2539)(2041,2540)(2042,2541)(2043,2542)(2044,2543)(2045,2544)
     (2046,2545)(2047,2546)(2048,2547)(2049,2548)(2050,2549)(2051,2550)(2052,
     2551)(2053,2552)(2054,2057)(2055,2553)(2056,2554)(2058,2555)(2059,2556)
     (2060,2557)(2061,2190)(2062,2558)(2063,2559)(2064,2560)(2065,2561)(2066,
     2562)(2067,2563)(2068,2564)(2070,2565)(2071,2566)(2073,2567)(2074,2568)
     (2075,2569)(2076,2570)(2077,2571)(2078,2572)(2079,2573)(2080,2343)(2081,
     2574)(2082,2575)(2083,2576)(2084,2577)(2085,2578)(2086,2579)(2087,2580)
     (2088,2136)(2089,2303)(2090,2581)(2091,2582)(2092,2583)(2093,2584)(2094,
     2183)(2095,2254)(2096,2585)(2097,2586)(2098,2587)(2100,2588)(2101,2589)
     (2102,2590)(2103,2591)(2104,2592)(2105,2593)(2106,2594)(2108,2595)(2109,
     2596)(2110,2328)(2111,2597)(2113,2598)(2114,2599)(2115,2600)(2116,2601)
     (2117,2602)(2118,2603)(2119,2122)(2120,2604)(2124,2605)(2125,2606)(2126,
     2607)(2127,2608)(2128,2609)(2129,2610)(2130,2611)(2131,2612)(2132,2613)
     (2133,2614)(2134,2203)(2137,2615)(2138,2616)(2139,2617)(2140,2618)(2141,
     2619)(2142,2222)(2143,2620)(2144,2293)(2145,2621)(2146,2622)(2147,2623)
     (2148,2624)(2150,2625)(2151,2626)(2152,2627)(2153,2174)(2154,2628)(2155,
     2629)(2156,2179)(2157,2630)(2158,2631)(2159,2632)(2160,2633)(2161,2634)
     (2163,2635)(2164,2636)(2165,2637)(2168,2638)(2169,2639)(2170,2640)(2171,
     2641)(2172,2642)(2173,2643)(2175,2644)(2177,2645)(2180,2232)(2181,2646)
     (2182,2647)(2184,2648)(2185,2649)(2186,2650)(2187,2651)(2188,2652)(2189,
     2653)(2191,2654)(2192,2655)(2193,2656)(2194,2657)(2195,2658)(2196,2659)
     (2197,2660)(2198,2200)(2199,2661)(2201,2662)(2205,2663)(2206,2664)(2207,
     2665)(2208,2666)(2209,2667)(2210,2668)(2211,2669)(2212,2670)(2213,2671)
     (2215,2672)(2217,2673)(2218,2674)(2219,2675)(2220,2676)(2223,2677)(2224,
     2678)(2225,2679)(2226,2680)(2227,2681)(2228,2682)(2230,2683)(2231,2263)
     (2233,2684)(2234,2685)(2235,2686)(2236,2687)(2237,2688)(2238,2689)(2239,
     2690)(2240,2691)(2241,2313)(2242,2692)(2243,2693)(2245,2694)(2246,2695)
     (2247,2696)(2248,2697)(2249,2698)(2251,2699)(2252,2700)(2253,2701)(2255,
     2702)(2256,2703)(2257,2704)(2258,2705)(2259,2706)(2260,2707)(2261,2708)
     (2262,2709)(2265,2710)(2267,2711)(2269,2712)(2270,2713)(2271,2714)(2272,
     2715)(2273,2716)(2274,2717)(2275,2718)(2276,2719)(2278,2720)(2281,2721)
     (2282,2722)(2283,2723)(2284,2327)(2285,2724)(2286,2725)(2287,2726)(2288,
     2727)(2289,2728)(2290,2729)(2291,2730)(2292,2731)(2295,2732)(2296,2733)
     (2297,2734)(2298,2735)(2299,2736)(2300,2737)(2301,2738)(2302,2739)(2304,
     2740)(2306,2741)(2307,2742)(2308,2743)(2309,2744)(2310,2745)(2311,2746)
     (2312,2747)(2314,2748)(2315,2749)(2316,2750)(2317,2350)(2318,2751)(2319,
     2752)(2320,2753)(2322,2754)(2323,2755)(2324,2756)(2325,2757)(2329,2758)
     (2330,2759)(2331,2760)(2332,2761)(2333,2762)(2334,2763)(2335,2764)(2336,
     2765)(2337,2766)(2338,2767)(2339,2768)(2340,2769)(2341,2770)(2344,2771)
     (2345,2772)(2346,2773)(2347,2774)(2349,2775)(2351,2776)(2353,2777)(2778,
     2914)(2779,3280)(2780,3281)(2781,3113)(2782,3282)(2783,2993)(2784,3283)
     (2785,3284)(2786,3285)(2787,3286)(2788,3287)(2789,3288)(2791,3289)(2792,
     3190)(2793,3290)(2794,3291)(2795,3292)(2796,3032)(2797,3293)(2798,3294)
     (2799,3295)(2800,3296)(2801,3297)(2802,2821)(2803,3298)(2804,3299)(2805,
     3300)(2806,3248)(2807,3301)(2809,3302)(2810,2871)(2811,3303)(2812,3028)
     (2813,3183)(2814,2938)(2815,3304)(2816,3305)(2817,3169)(2818,3306)(2819,
     3156)(2820,3307)(2822,3308)(2823,3309)(2824,2987)(2825,3310)(2826,3049)
     (2827,3311)(2828,3143)(2829,3312)(2830,2921)(2831,2961)(2832,3170)(2833,
     3313)(2834,3260)(2835,3314)(2836,2890)(2837,3315)(2838,3316)(2839,3317)
     (2840,3318)(2841,3319)(2842,3320)(2843,3321)(2844,3322)(2845,3323)(2846,
     3324)(2847,3325)(2848,3326)(2849,3327)(2850,3328)(2851,3329)(2852,3330)
     (2853,3331)(2854,3332)(2855,3333)(2856,3334)(2857,3107)(2858,3335)(2859,
     3336)(2860,3337)(2861,3338)(2862,2966)(2863,3229)(2864,2943)(2865,3339)
     (2866,3340)(2867,3341)(2868,2996)(2869,3342)(2872,3343)(2873,3171)(2874,
     3152)(2875,3344)(2876,3345)(2877,3346)(2878,3347)(2879,3348)(2880,3090)
     (2881,3349)(2882,3226)(2883,3350)(2884,3351)(2885,3352)(2886,3353)(2887,
     3354)(2888,3355)(2889,3356)(2891,3000)(2892,3357)(2893,3205)(2894,3358)
     (2895,2923)(2896,3359)(2897,3360)(2898,3361)(2899,3088)(2900,3362)(2901,
     3363)(2902,3364)(2903,3365)(2904,3366)(2905,3367)(2906,3097)(2907,3010)
     (2908,3368)(2909,3003)(2910,3369)(2911,3370)(2912,3371)(2913,3372)(2915,
     3373)(2916,3374)(2917,3375)(2918,3376)(2919,3377)(2920,3378)(2922,2951)
     (2924,2931)(2925,2981)(2926,3379)(2927,3380)(2928,3381)(2929,3382)(2930,
     3383)(2932,3091)(2933,3384)(2934,3385)(2935,3386)(2936,3387)(2937,3388)
     (2939,3389)(2940,2972)(2941,3390)(2942,3391)(2944,3392)(2945,3393)(2946,
     3111)(2947,3146)(2948,2994)(2949,3394)(2950,3030)(2952,3395)(2953,3396)
     (2954,3397)(2955,3398)(2956,3121)(2957,3399)(2958,3400)(2959,3401)(2960,
     3402)(2962,3403)(2963,3404)(2964,3405)(2965,3406)(2967,3407)(2968,3408)
     (2969,3409)(2970,3057)(2971,3134)(2973,3410)(2974,3411)(2975,3412)(2976,
     3413)(2977,3414)(2978,3415)(2979,3416)(2980,3011)(2982,3211)(2983,3417)
     (2984,3264)(2985,3418)(2986,3419)(2988,3162)(2989,3161)(2990,3208)(2991,
     3151)(2992,3420)(2995,3421)(2997,3422)(2998,3423)(2999,3144)(3001,3424)
     (3002,3073)(3004,3425)(3005,3426)(3006,3137)(3007,3200)(3008,3427)(3009,
     3093)(3012,3257)(3013,3176)(3015,3428)(3016,3118)(3017,3429)(3018,3430)
     (3019,3204)(3020,3431)(3021,3259)(3022,3432)(3023,3433)(3024,3050)(3025,
     3434)(3026,3214)(3027,3216)(3029,3278)(3031,3435)(3033,3436)(3034,3437)
     (3035,3438)(3036,3122)(3037,3439)(3038,3440)(3039,3441)(3040,3442)(3041,
     3279)(3042,3045)(3043,3094)(3044,3240)(3046,3443)(3047,3444)(3048,3445)
     (3051,3196)(3052,3086)(3053,3446)(3054,3447)(3055,3448)(3056,3449)(3058,
     3450)(3059,3451)(3061,3254)(3062,3452)(3063,3453)(3064,3109)(3065,3454)
     (3067,3455)(3068,3456)(3069,3457)(3070,3458)(3071,3459)(3072,3460)(3074,
     3461)(3075,3462)(3076,3225)(3077,3157)(3078,3130)(3079,3463)(3080,3464)
     (3081,3465)(3082,3466)(3083,3467)(3084,3468)(3085,3469)(3087,3470)(3089,
     3239)(3092,3471)(3095,3472)(3096,3101)(3098,3103)(3099,3142)(3100,3155)
     (3102,3473)(3104,3184)(3105,3474)(3106,3475)(3108,3476)(3110,3477)(3112,
     3478)(3114,3479)(3115,3480)(3116,3481)(3117,3482)(3119,3483)(3120,3484)
     (3123,3485)(3124,3486)(3125,3487)(3126,3488)(3127,3489)(3128,3490)(3129,
     3491)(3131,3492)(3132,3493)(3133,3494)(3135,3265)(3136,3220)(3138,3189)
     (3139,3495)(3140,3496)(3141,3497)(3145,3498)(3147,3499)(3148,3500)(3149,
     3501)(3150,3502)(3153,3503)(3154,3504)(3158,3505)(3159,3506)(3160,3507)
     (3163,3508)(3164,3509)(3165,3510)(3166,3511)(3167,3512)(3168,3238)(3172,
     3513)(3173,3514)(3174,3515)(3175,3516)(3177,3517)(3178,3518)(3179,3228)
     (3180,3519)(3181,3520)(3182,3521)(3185,3522)(3186,3523)(3187,3524)(3188,
     3525)(3191,3526)(3192,3527)(3193,3528)(3194,3529)(3195,3530)(3197,3531)
     (3198,3532)(3199,3533)(3201,3534)(3202,3535)(3203,3536)(3206,3537)(3207,
     3538)(3209,3539)(3210,3540)(3212,3541)(3213,3542)(3215,3543)(3217,3544)
     (3218,3545)(3219,3546)(3221,3547)(3222,3548)(3223,3549)(3224,3550)(3227,
     3551)(3231,3552)(3232,3553)(3233,3554)(3234,3555)(3235,3556)(3236,3557)
     (3237,3558)(3242,3559)(3243,3560)(3244,3561)(3245,3562)(3246,3563)(3247,
     3564)(3249,3565)(3250,3274)(3251,3566)(3252,3567)(3253,3568)(3255,3569)
     (3256,3570)(3258,3571)(3261,3572)(3262,3573)(3263,3574)(3266,3575)(3267,
     3576)(3268,3577)(3269,3578)(3270,3579)(3271,3580)(3272,3581)(3273,3582)
     (3275,3583)(3276,3584)(3277,3585)(3586,3780)(3587,3704)(3588,3757)(3589,
     3743)(3590,3744)(3591,3620)(3592,3739)(3593,3778)(3594,3729)(3595,3764)
     (3596,3687)(3597,3640)(3598,3816)(3599,3812)(3601,3623)(3602,3654)(3603,
     3817)(3604,3769)(3605,3818)(3606,3657)(3607,3819)(3608,3702)(3609,3820)
     (3610,3789)(3611,3821)(3612,3766)(3613,3671)(3614,3722)(3615,3664)(3616,
     3813)(3617,3740)(3618,3822)(3619,3787)(3621,3688)(3622,3823)(3624,3659)
     (3625,3693)(3626,3824)(3627,3686)(3628,3692)(3629,3709)(3630,3696)(3631,
     3825)(3632,3777)(3633,3735)(3634,3774)(3635,3802)(3636,3826)(3637,3717)
     (3638,3771)(3639,3760)(3641,3827)(3642,3800)(3643,3828)(3644,3829)(3645,
     3830)(3646,3831)(3647,3767)(3648,3832)(3649,3680)(3650,3685)(3651,3833)
     (3652,3718)(3653,3790)(3655,3761)(3656,3834)(3658,3703)(3660,3768)(3661,
     3798)(3662,3724)(3663,3835)(3665,3749)(3666,3836)(3667,3701)(3668,3716)
     (3669,3753)(3670,3745)(3672,3730)(3673,3697)(3674,3794)(3675,3837)(3676,
     3792)(3677,3715)(3678,3799)(3679,3838)(3681,3811)(3682,3839)(3683,3726)
     (3684,3815)(3690,3840)(3691,3841)(3695,3727)(3698,3754)(3699,3747)(3700,
     3782)(3705,3712)(3706,3842)(3707,3843)(3708,3808)(3710,3844)(3711,3755)
     (3713,3801)(3714,3807)(3720,3845)(3721,3796)(3723,3805)(3728,3814)(3731,
     3846)(3732,3847)(3733,3848)(3734,3736)(3737,3752)(3738,3762)(3742,3849)
     (3746,3791)(3748,3850)(3750,3851)(3751,3772)(3756,3806)(3758,3852)(3759,
     3853)(3763,3779)(3765,3773)(3770,3854)(3775,3776)(3781,3788)(3783,3785)
     (3786,3855)(3793,3795)(3797,3810)(3803,3856)(3804,3857)(3858,3867)(3859,
     3869)(3860,3874)(3861,3866)(3862,3872)(3864,3875)(3868,3873)(3870,3871);