z1 := (2,4)(3,6)(5,10)(7,14)(8,16)(11,21)(13,23)(15,27)(17,30)(18,32)(19,34)
     (20,29)(22,39)(24,43)(25,41)(26,46)(28,50)(31,40)(33,57)(35,60)(36,62)
     (37,64)(38,59)(42,70)(44,74)(45,75)(47,79)(48,77)(49,82)(52,87)(53,67)
     (54,85)(56,92)(58,96)(61,101)(63,104)(65,106)(66,108)(69,112)(71,116)(72,
     114)(73,119)(76,125)(78,127)(80,131)(81,132)(83,135)(86,138)(88,141)(89,
     142)(90,144)(91,146)(93,150)(94,148)(95,122)(97,156)(98,158)(99,160)(100,
     155)(102,139)(103,166)(105,168)(107,172)(109,175)(110,176)(111,178)(113,
     182)(115,184)(118,188)(120,192)(121,190)(123,196)(124,181)(126,201)(128,
     205)(129,203)(130,208)(133,214)(134,215)(136,218)(137,220)(140,225)(143,
     231)(145,234)(147,237)(149,239)(151,243)(152,244)(153,246)(154,248)(157,
     252)(159,255)(161,258)(162,260)(163,262)(164,257)(169,270)(170,272)(171,
     269)(173,253)(174,278)(177,284)(179,286)(180,287)(183,290)(185,294)(186,
     292)(189,300)(191,302)(193,306)(194,307)(195,309)(199,315)(200,312)(202,
     320)(204,322)(206,326)(207,327)(209,331)(210,329)(211,334)(212,336)(213,
     319)(216,342)(217,340)(219,346)(221,349)(222,350)(226,356)(227,354)(228,
     359)(229,361)(230,283)(232,347)(233,367)(235,371)(238,375)(240,379)(241,
     377)(242,382)(245,388)(247,391)(250,394)(251,393)(254,400)(256,404)(264,
     413)(265,415)(268,417)(273,424)(274,426)(275,428)(276,423)(277,366)(279,
     434)(280,432)(281,437)(282,439)(285,444)(289,449)(291,454)(293,344)(295,
     459)(296,460)(297,462)(298,464)(299,453)(301,469)(303,473)(304,471)(305,
     476)(308,482)(310,485)(313,488)(314,489)(316,491)(317,493)(318,495)(321,
     500)(323,504)(324,502)(325,507)(328,513)(330,515)(332,519)(333,520)(337,
     526)(338,466)(339,525)(341,531)(343,535)(348,542)(351,547)(352,549)(353,
     551)(355,553)(357,557)(358,558)(360,561)(362,565)(363,567)(364,569)(365,
     564)(368,575)(369,573)(370,578)(372,582)(373,583)(374,581)(376,588)(378,
     590)(380,594)(381,475)(383,598)(384,596)(385,601)(386,603)(387,587)(389,
     483)(390,609)(395,616)(396,618)(397,620)(398,615)(399,541)(401,626)(402,
     624)(403,629)(405,633)(406,635)(408,632)(409,448)(412,641)(414,644)(416,
     647)(418,650)(419,652)(421,649)(422,656)(425,661)(427,663)(429,665)(430,
     667)(431,669)(433,671)(435,675)(436,676)(438,679)(440,682)(441,684)(442,
     686)(443,681)(445,691)(446,689)(447,693)(450,697)(451,699)(452,701)(455,
     706)(456,540)(457,537)(458,710)(461,716)(463,719)(465,722)(467,725)(468,
     721)(470,729)(472,731)(474,735)(477,739)(478,737)(479,742)(480,744)(481,
     728)(484,750)(487,755)(490,761)(492,765)(494,768)(497,703)(498,773)(499,
     770)(501,707)(503,563)(505,782)(506,783)(508,787)(509,785)(510,790)(511,
     792)(512,777)(514,796)(516,800)(517,798)(518,803)(521,809)(524,811)(527,
     816)(528,817)(529,818)(530,695)(532,822)(533,820)(536,821)(538,826)(539,
     828)(543,834)(544,832)(545,837)(546,839)(548,843)(550,846)(552,849)(554,
     853)(555,851)(556,856)(559,861)(560,862)(562,866)(566,871)(568,874)(570,
     876)(571,878)(572,880)(574,882)(576,886)(577,887)(579,890)(580,892)(584,
     898)(585,900)(586,902)(589,730)(592,908)(593,911)(595,915)(597,917)(599,
     921)(600,922)(602,925)(604,929)(606,932)(607,928)(608,935)(610,939)(611,
     937)(612,942)(613,944)(614,946)(617,951)(619,954)(621,956)(623,959)(625,
     961)(627,965)(628,966)(630,969)(631,971)(634,975)(636,978)(637,979)(638,
     981)(639,983)(642,976)(643,988)(648,994)(651,999)(653,1001)(654,1002)
     (655,1004)(658,1008)(659,1010)(660,1006)(662,1015)(664,1019)(666,1023)
     (668,1026)(670,1029)(672,1033)(673,1031)(674,1036)(678,1041)(683,1047)
     (685,1050)(687,1052)(688,1054)(690,1056)(692,815)(694,1060)(696,1063)
     (698,1067)(700,813)(702,1071)(704,1074)(705,1070)(708,1079)(711,1083)
     (712,1081)(713,1086)(714,1088)(715,1078)(718,1094)(720,1098)(723,1103)
     (724,1104)(726,1106)(727,1108)(732,1116)(733,1114)(734,1119)(736,1123)
     (738,1125)(740,1129)(741,1130)(743,1133)(745,1137)(746,1090)(747,1140)
     (748,1136)(749,1143)(751,1147)(752,1145)(753,1150)(754,1115)(756,1154)
     (757,1155)(760,1159)(762,1162)(763,1164)(764,841)(766,1152)(767,1170)
     (771,1175)(772,1073)(774,1177)(775,1179)(776,1077)(778,1182)(779,870)
     (780,867)(781,1186)(784,1192)(786,1194)(788,1198)(789,1199)(793,1205)
     (794,1206)(795,1204)(797,1211)(799,1212)(801,1216)(802,1217)(804,1221)
     (805,1219)(806,1224)(807,1226)(808,1210)(810,1165)(812,1231)(814,1234)
     (823,1243)(824,1245)(827,1248)(829,1250)(830,1252)(831,1254)(833,1256)
     (836,1260)(838,1263)(842,1266)(845,1271)(847,1274)(850,1278)(852,1280)
     (855,1284)(857,1288)(858,1286)(859,1291)(860,1292)(863,1297)(864,1295)
     (865,1299)(868,1304)(869,1306)(872,1048)(873,1311)(875,1315)(877,1319)
     (879,1322)(881,1325)(884,1327)(885,1331)(889,1336)(891,1340)(893,1343)
     (894,1345)(895,1347)(896,1342)(897,1349)(899,1353)(901,1356)(903,1359)
     (905,1362)(906,1358)(907,1364)(909,1365)(910,1366)(912,1370)(913,1368)
     (914,1373)(916,1376)(918,1380)(919,1378)(920,1383)(923,1389)(924,1390)
     (926,1393)(927,1394)(930,1397)(931,1398)(933,1400)(934,1401)(936,1403)
     (938,1405)(940,1409)(941,1410)(943,1413)(945,1417)(947,1420)(949,1367)
     (950,1419)(952,1415)(953,1427)(955,1431)(957,1434)(958,1202)(960,1437)
     (962,1305)(963,1439)(964,1443)(967,1011)(968,1449)(970,1453)(972,1456)
     (973,1457)(974,1455)(977,1462)(980,1466)(984,1470)(985,1471)(987,1426)
     (990,1475)(991,1478)(992,1480)(995,1484)(996,1486)(997,1488)(998,1483)
     (1000,1493)(1003,1499)(1005,1502)(1007,1503)(1009,1506)(1012,1510)(1013,
     1512)(1014,1508)(1016,1517)(1017,1515)(1018,1519)(1020,1523)(1021,1525)
     (1022,1522)(1024,1504)(1025,1531)(1027,1534)(1028,1324)(1030,1539)(1032,
     1541)(1034,1545)(1035,1546)(1037,1547)(1038,1549)(1040,1538)(1042,1555)
     (1043,1553)(1045,1558)(1046,1242)(1049,1563)(1051,1567)(1053,1571)(1055,
     1574)(1057,1575)(1058,1578)(1059,1580)(1061,1584)(1062,1572)(1064,1174)
     (1065,1586)(1068,1585)(1069,1592)(1072,1597)(1075,1599)(1076,1601)(1080,
     1606)(1082,1404)(1084,1609)(1085,1610)(1087,1613)(1089,1616)(1091,1619)
     (1092,1615)(1093,1622)(1096,1624)(1097,1627)(1099,1631)(1100,1633)(1101,
     1635)(1102,1630)(1105,1642)(1107,1646)(1110,1603)(1111,1649)(1112,1548)
     (1113,1652)(1117,1656)(1118,1570)(1120,1659)(1121,1657)(1122,1662)(1124,
     1184)(1126,1669)(1127,1667)(1128,1671)(1131,1677)(1132,1678)(1134,1682)
     (1135,1683)(1138,1688)(1139,1689)(1141,1691)(1142,1692)(1144,1694)(1146,
     1696)(1148,1700)(1149,1701)(1151,1704)(1153,1628)(1156,1709)(1158,1712)
     (1160,1715)(1161,1717)(1163,1721)(1166,1269)(1167,1726)(1168,1723)(1169,
     1591)(1171,1731)(1172,1442)(1173,1440)(1176,1736)(1178,1739)(1180,1740)
     (1181,1741)(1183,1676)(1185,1744)(1187,1748)(1188,1746)(1189,1605)(1190,
     1752)(1191,1743)(1193,1757)(1195,1761)(1196,1759)(1197,1764)(1200,1769)
     (1203,1770)(1207,1458)(1208,1621)(1209,1778)(1213,1411)(1214,1782)(1215,
     1786)(1218,1791)(1220,1793)(1222,1796)(1223,1797)(1225,1799)(1227,1803)
     (1228,1754)(1230,1802)(1232,1808)(1233,1809)(1235,1812)(1236,1814)(1237,
     1811)(1238,1640)(1239,1818)(1241,1821)(1244,1826)(1247,1829)(1249,1833)
     (1251,1837)(1253,1840)(1255,1843)(1257,1846)(1258,1845)(1261,1852)(1262,
     1853)(1264,1857)(1267,1859)(1268,1860)(1270,1828)(1272,1864)(1273,1862)
     (1275,1866)(1276,1868)(1277,1870)(1279,1873)(1281,1876)(1282,1875)(1287,
     1883)(1289,1886)(1290,1887)(1293,1892)(1294,1891)(1296,1896)(1300,1903)
     (1301,1901)(1302,1906)(1303,1908)(1307,1341)(1308,1910)(1309,1912)(1310,
     1909)(1312,1917)(1313,1915)(1314,1920)(1316,1924)(1317,1926)(1318,1923)
     (1320,1733)(1321,1932)(1323,1936)(1326,1941)(1329,1942)(1330,1943)(1332,
     1945)(1333,1948)(1335,1940)(1337,1954)(1338,1952)(1339,1956)(1344,1962)
     (1346,1965)(1348,1967)(1350,1970)(1351,1971)(1352,1969)(1354,1963)(1355,
     1977)(1357,1576)(1360,1983)(1361,1984)(1363,1986)(1369,1993)(1371,1995)
     (1374,1998)(1375,1665)(1377,2002)(1379,1684)(1381,2007)(1382,2008)(1384,
     2012)(1385,2010)(1386,2015)(1387,2017)(1388,2001)(1391,2021)(1392,2023)
     (1395,2028)(1396,2027)(1399,2034)(1402,2037)(1406,2043)(1407,2041)(1408,
     2046)(1412,2051)(1414,2055)(1416,2056)(1418,2059)(1421,2064)(1422,1626)
     (1423,2065)(1424,2067)(1425,2069)(1428,2073)(1429,2072)(1430,2076)(1432,
     2079)(1433,2081)(1435,2084)(1436,1842)(1438,2087)(1441,2090)(1444,2093)
     (1445,2091)(1446,2096)(1447,1507)(1448,2086)(1450,2102)(1451,2100)(1452,
     2104)(1454,2108)(1460,2117)(1461,2114)(1463,2120)(1464,2123)(1469,2127)
     (1474,2133)(1477,2134)(1479,2136)(1481,1874)(1487,2144)(1489,2147)(1491,
     2150)(1492,2146)(1494,2154)(1495,2152)(1496,2156)(1497,2158)(1500,2142)
     (1501,2164)(1505,2171)(1509,2177)(1511,2180)(1513,1618)(1516,2185)(1518,
     2189)(1520,2192)(1521,2194)(1524,2199)(1526,2202)(1527,2204)(1528,2206)
     (1529,2201)(1530,2163)(1532,2211)(1533,2213)(1535,2215)(1536,2217)(1537,
     2219)(1540,2224)(1542,2227)(1543,2226)(1544,2230)(1550,2062)(1551,2239)
     (1552,2099)(1554,2242)(1556,2246)(1557,2248)(1559,2252)(1560,2254)(1561,
     2256)(1562,2251)(1564,2260)(1565,2258)(1566,2263)(1568,2265)(1569,2266)
     (1573,2272)(1577,2278)(1579,2281)(1581,2285)(1582,2283)(1583,2287)(1587,
     2293)(1588,2295)(1589,2297)(1590,1865)(1593,2303)(1594,2305)(1595,2307)
     (1596,2302)(1598,2312)(1600,2316)(1602,1728)(1604,1838)(1607,2040)(1608,
     2324)(1611,2022)(1612,2330)(1614,2334)(1617,2071)(1623,2340)(1629,2342)
     (1632,2343)(1634,2346)(1636,2349)(1637,2351)(1638,2353)(1639,2348)(1641,
     2357)(1643,2361)(1644,2363)(1645,2360)(1647,2344)(1650,2370)(1651,2372)
     (1653,2376)(1655,2379)(1658,2384)(1660,2388)(1661,2389)(1663,2392)(1664,
     2394)(1666,2396)(1668,2398)(1670,2395)(1672,2403)(1673,2401)(1674,2405)
     (1675,2407)(1679,2414)(1680,2412)(1681,2416)(1685,2422)(1686,2424)(1687,
     2420)(1690,2430)(1693,2435)(1695,2438)(1697,2440)(1698,1911)(1699,2442)
     (1703,2448)(1705,2451)(1706,2291)(1707,2453)(1708,2455)(1710,2459)(1711,
     2460)(1713,2462)(1714,2463)(1716,2467)(1718,2469)(1719,2470)(1720,2468)
     (1722,2473)(1727,2477)(1729,2480)(1730,2481)(1734,2310)(1737,2488)(1738,
     2487)(1742,2268)(1745,2496)(1747,2498)(1749,2304)(1750,2502)(1751,2504)
     (1753,2478)(1755,2296)(1756,2507)(1758,2514)(1760,2516)(1762,2520)(1763,
     2521)(1765,2524)(1766,2523)(1767,2294)(1768,2513)(1771,2531)(1772,2029)
     (1773,2532)(1774,2530)(1775,2113)(1776,2535)(1777,2337)(1780,2493)(1781,
     2538)(1783,2289)(1784,2541)(1785,2542)(1787,2546)(1788,2544)(1789,2549)
     (1790,2551)(1792,2555)(1794,2331)(1795,2559)(1798,2564)(1800,2364)(1801,
     2567)(1804,2569)(1805,2570)(1806,2571)(1807,2290)(1810,2577)(1813,2582)
     (1815,2584)(1816,2586)(1817,2356)(1819,2590)(1820,2592)(1822,2593)(1823,
     2562)(1825,2595)(1827,2599)(1830,2603)(1831,2601)(1834,2608)(1835,2610)
     (1836,2607)(1839,2616)(1844,2624)(1847,2627)(1848,2628)(1849,2183)(1850,
     2631)(1851,2623)(1854,2637)(1855,2329)(1856,2638)(1858,2641)(1863,2647)
     (1869,2651)(1872,2652)(1877,2178)(1878,2658)(1879,2660)(1881,2656)(1882,
     2663)(1884,2666)(1885,2668)(1889,2125)(1890,2674)(1893,2678)(1894,2679)
     (1897,2682)(1898,2681)(1899,2684)(1900,2686)(1902,2688)(1904,2691)(1905,
     2692)(1907,2695)(1913,2702)(1914,2704)(1916,2707)(1918,2711)(1919,2712)
     (1921,2280)(1922,2715)(1925,2718)(1927,2553)(1928,2721)(1929,2723)(1930,
     2719)(1931,2271)(1933,2727)(1934,2725)(1935,2729)(1937,2732)(1938,2734)
     (1939,2735)(1944,2744)(1946,2031)(1949,2749)(1950,2751)(1951,2633)(1953,
     2754)(1955,2757)(1957,2760)(1958,2758)(1960,2763)(1961,2764)(1964,2769)
     (1966,2447)(1968,2772)(1972,2778)(1973,2780)(1974,2782)(1975,2777)(1978,
     2787)(1979,2789)(1980,2111)(1981,2790)(1982,2277)(1985,2797)(1987,2801)
     (1988,2375)(1990,2804)(1991,2058)(1994,2809)(1996,2813)(1997,2814)(1999,
     2818)(2000,2431)(2003,2068)(2004,2823)(2005,2421)(2006,2826)(2011,2833)
     (2013,2836)(2014,2837)(2016,2840)(2018,2806)(2019,2842)(2020,2095)(2024,
     2846)(2025,2299)(2026,2848)(2030,2852)(2033,2856)(2035,2088)(2036,2858)
     (2038,2862)(2039,2103)(2042,2301)(2044,2867)(2045,2130)(2048,2868)(2049,
     2872)(2050,2874)(2052,2878)(2053,2876)(2054,2761)(2057,2882)(2060,2888)
     (2061,2890)(2063,2887)(2066,2831)(2070,2899)(2074,2181)(2075,2902)(2077,
     2905)(2078,2907)(2080,2911)(2082,2528)(2083,2912)(2085,2916)(2092,2354)
     (2094,2929)(2098,2931)(2101,2935)(2105,2941)(2106,2939)(2107,2943)(2109,
     2945)(2112,2613)(2115,2951)(2118,2759)(2119,2954)(2121,2724)(2122,2957)
     (2128,2963)(2129,2961)(2131,2967)(2132,2645)(2135,2971)(2137,2655)(2139,
     2976)(2143,2979)(2145,2982)(2148,2986)(2149,2987)(2151,2989)(2153,2992)
     (2155,2995)(2157,2997)(2160,3002)(2161,3004)(2162,3000)(2166,3008)(2167,
     3012)(2168,3014)(2170,2978)(2172,3019)(2173,3017)(2174,3022)(2175,3024)
     (2179,3028)(2182,2428)(2184,3033)(2186,3036)(2187,2970)(2188,3039)(2190,
     2903)(2191,3042)(2193,3045)(2195,3048)(2196,3050)(2197,3052)(2198,3047)
     (2200,3057)(2207,3063)(2208,2267)(2209,3065)(2210,3066)(2214,3070)(2216,
     3074)(2218,3077)(2221,2918)(2222,3082)(2223,3079)(2225,3087)(2228,3090)
     (2229,3091)(2231,3092)(2232,3095)(2233,3097)(2234,3086)(2235,2625)(2236,
     3099)(2237,3100)(2238,2895)(2240,3104)(2241,3105)(2243,2785)(2244,3106)
     (2245,3109)(2247,3112)(2249,3114)(2250,3115)(2253,3120)(2255,2417)(2257,
     3124)(2259,3126)(2261,3130)(2262,3131)(2264,3134)(2269,3141)(2270,3138)
     (2273,3146)(2274,3144)(2275,3148)(2276,2377)(2279,3153)(2282,3156)(2284,
     3157)(2286,3161)(2288,3164)(2292,3167)(2300,3171)(2306,3177)(2309,3181)
     (2311,3179)(2313,2630)(2314,3186)(2315,3184)(2317,3175)(2318,3191)(2319,
     3192)(2321,3194)(2323,3196)(2325,3199)(2326,3198)(2327,3202)(2328,2843)
     (2332,3205)(2333,3208)(2336,3212)(2338,3213)(2341,3217)(2345,2701)(2347,
     3224)(2350,3229)(2352,2808)(2355,3233)(2358,3237)(2359,3239)(2362,3243)
     (2366,3245)(2367,3190)(2368,3249)(2369,3251)(2371,3083)(2373,3257)(2374,
     3258)(2378,3261)(2380,3001)(2381,3262)(2382,3265)(2383,3267)(2385,3269)
     (2386,3268)(2387,3272)(2390,3276)(2391,3277)(2393,3280)(2397,2565)(2399,
     3260)(2400,3282)(2402,3286)(2404,3290)(2406,3292)(2408,3296)(2409,3140)
     (2410,2988)(2411,3295)(2413,3299)(2415,3301)(2418,3303)(2419,3306)(2423,
     3311)(2425,3314)(2426,3315)(2427,3313)(2429,3319)(2432,3323)(2433,3321)
     (2434,3309)(2436,3329)(2437,3328)(2439,3331)(2441,3333)(2443,3336)(2444,
     3334)(2445,2832)(2449,3343)(2450,3341)(2452,3346)(2454,3349)(2456,3352)
     (2457,3354)(2458,3351)(2461,2913)(2464,3362)(2465,3361)(2466,3364)(2471,
     2859)(2472,3370)(2474,3368)(2475,3374)(2476,3376)(2479,2492)(2482,3384)
     (2483,3382)(2485,3387)(2486,3230)(2489,3390)(2490,3392)(2491,2811)(2494,
     3393)(2495,2698)(2497,3398)(2499,3402)(2500,3400)(2501,3405)(2503,3409)
     (2505,3412)(2506,3378)(2508,3415)(2509,3416)(2510,3417)(2511,3418)(2512,
     3419)(2515,3424)(2518,3425)(2519,3428)(2522,3204)(2525,3435)(2526,3436)
     (2527,3395)(2529,3437)(2533,2575)(2534,3440)(2536,2958)(2537,3444)(2539,
     3446)(2540,3447)(2545,3453)(2547,2845)(2548,3456)(2552,3462)(2554,3461)
     (2557,3206)(2558,2855)(2560,3469)(2561,3467)(2563,3466)(2566,3241)(2568,
     3475)(2572,3478)(2573,3480)(2574,3482)(2576,3485)(2578,3489)(2579,3491)
     (2580,3493)(2581,3488)(2583,3496)(2585,3498)(2587,3358)(2588,3499)(2589,
     3500)(2591,3504)(2594,3508)(2597,3510)(2598,3514)(2600,2611)(2602,3517)
     (2604,3521)(2605,3523)(2606,3525)(2612,3532)(2614,3531)(2617,2950)(2618,
     3534)(2619,2948)(2620,3537)(2621,3539)(2622,3541)(2626,3547)(2629,3553)
     (2632,3555)(2634,3557)(2635,3554)(2636,3560)(2639,3564)(2640,3567)(2642,
     3570)(2644,3316)(2646,3574)(2648,3578)(2649,3576)(2650,3581)(2653,3583)
     (2654,3585)(2657,3587)(2659,3589)(2661,3592)(2662,3593)(2664,3596)(2665,
     3597)(2667,3601)(2669,3602)(2672,3595)(2673,3608)(2676,3611)(2677,3612)
     (2680,3616)(2683,3619)(2685,3621)(2687,3623)(2689,2928)(2690,3624)(2693,
     3628)(2694,3629)(2697,2923)(2699,3635)(2700,3637)(2703,3641)(2705,3385)
     (2706,3644)(2708,3648)(2709,3646)(2710,3651)(2713,3522)(2714,3657)(2716,
     3660)(2717,3659)(2720,3665)(2722,3667)(2726,3670)(2728,2799)(2730,3675)
     (2731,3676)(2733,3680)(2736,3684)(2737,3543)(2738,3687)(2739,3683)(2741,
     3691)(2742,3693)(2743,3569)(2746,3698)(2747,3386)(2748,3700)(2752,3330)
     (2753,3705)(2755,3270)(2756,2825)(2762,3713)(2765,3718)(2766,3719)(2767,
     3717)(2771,3340)(2773,3727)(2774,3729)(2775,3726)(2776,3732)(2779,2933)
     (2781,3737)(2783,3739)(2784,3741)(2786,3344)(2788,3745)(2791,3749)(2792,
     3750)(2793,3751)(2794,3748)(2796,3754)(2798,3758)(2800,3757)(2802,3762)
     (2803,3283)(2805,3763)(2807,3764)(2810,3767)(2812,2896)(2815,3773)(2816,
     3771)(2817,3775)(2819,3034)(2820,2885)(2821,3781)(2822,3782)(2824,3783)
     (2827,3787)(2828,3785)(2829,3789)(2834,3793)(2835,3791)(2838,3799)(2839,
     3800)(2841,3804)(2844,3807)(2847,3809)(2849,3810)(2850,3811)(2851,3308)
     (2853,3815)(2854,3816)(2857,3818)(2860,3821)(2861,3823)(2864,3825)(2865,
     3172)(2866,3827)(2870,3530)(2871,3565)(2873,3835)(2875,3838)(2877,3448)
     (2879,3842)(2880,3844)(2881,3712)(2883,2893)(2884,3849)(2886,2962)(2891,
     3855)(2892,3856)(2894,3215)(2897,3860)(2898,3861)(2900,3865)(2901,3752)
     (2904,3867)(2906,3871)(2908,3874)(2909,3876)(2910,3873)(2914,3137)(2915,
     3347)(2917,3607)(2919,3886)(2920,3885)(2921,3203)(2922,3888)(2924,3890)
     (2925,3669)(2926,3892)(2927,3232)(2932,3896)(2934,3897)(2936,3901)(2937,
     3899)(2938,3904)(2940,3907)(2942,3911)(2944,3913)(2946,3915)(2947,3916)
     (2949,3247)(2952,3921)(2953,3711)(2956,3923)(2959,3925)(2960,3927)(2965,
     3931)(2966,3117)(2968,3038)(2972,3936)(2974,3617)(2977,3941)(2980,3943)
     (2983,3947)(2984,3949)(2985,3946)(2990,3957)(2991,3056)(2993,3960)(2994,
     3958)(2996,3963)(3003,3051)(3006,3972)(3007,3974)(3010,3538)(3011,3977)
     (3015,3981)(3016,3982)(3018,3984)(3020,3988)(3021,3989)(3023,3992)(3025,
     3995)(3026,3996)(3027,3067)(3029,4000)(3030,3998)(3031,4003)(3032,4005)
     (3035,3966)(3037,4011)(3040,4013)(3041,3332)(3043,4016)(3044,4017)(3046,
     4021)(3049,3263)(3053,4027)(3054,3297)(3055,4030)(3058,4033)(3059,3575)
     (3061,3391)(3064,3883)(3068,4040)(3071,4044)(3072,4046)(3073,4045)(3075,
     3681)(3076,4050)(3080,4054)(3081,4055)(3085,4059)(3088,4063)(3089,4064)
     (3093,3887)(3094,4070)(3098,4075)(3101,3562)(3102,4078)(3107,4085)(3110,
     4088)(3111,4090)(3118,3228)(3119,4094)(3121,3471)(3122,3304)(3123,3468)
     (3125,4103)(3127,3999)(3128,4105)(3129,4108)(3133,4112)(3135,3973)(3136,
     3274)(3139,3579)(3142,4118)(3143,4119)(3145,4121)(3147,3163)(3149,3472)
     (3150,4123)(3151,4124)(3152,4125)(3154,4128)(3155,4129)(3158,4134)(3159,
     4133)(3160,3219)(3162,4137)(3165,4139)(3166,4140)(3168,4141)(3169,4142)
     (3173,4148)(3174,3396)(3176,4151)(3182,4152)(3183,4156)(3185,3318)(3187,
     4160)(3188,3906)(3189,4159)(3193,4166)(3195,4169)(3200,4173)(3201,4174)
     (3207,4176)(3209,4180)(3210,4178)(3211,4182)(3214,4187)(3216,4186)(3218,
     4190)(3220,4150)(3221,3640)(3222,3639)(3223,4196)(3225,3788)(3226,4200)
     (3227,3661)(3231,4206)(3234,4209)(3235,4210)(3236,3302)(3238,4213)(3240,
     4216)(3242,4215)(3244,3964)(3246,4221)(3248,4224)(3250,4227)(3252,4229)
     (3253,4056)(3254,4228)(3255,4076)(3256,4234)(3259,4239)(3266,3986)(3271,
     4250)(3273,4252)(3275,4253)(3278,4256)(3279,4257)(3281,4205)(3284,4262)
     (3285,4263)(3287,4168)(3288,4265)(3289,4223)(3291,4268)(3293,4271)(3294,
     4272)(3298,4274)(3300,4275)(3305,4212)(3307,4279)(3310,4282)(3312,4286)
     (3317,4291)(3320,4278)(3322,4007)(3324,4296)(3325,4298)(3326,4233)(3327,
     4300)(3335,4304)(3337,4307)(3338,3798)(3342,4312)(3348,4320)(3350,4323)
     (3353,3441)(3355,4328)(3359,4332)(3360,4333)(3365,4339)(3366,4337)(3367,
     4290)(3369,4342)(3371,4344)(3372,4345)(3373,4347)(3375,4350)(3377,4351)
     (3379,3894)(3381,4146)(3383,4356)(3388,4363)(3389,4365)(3394,4372)(3397,
     4371)(3399,3902)(3401,4379)(3403,4381)(3404,3536)(3407,4385)(3408,3642)
     (3410,4167)(3411,4389)(3413,4392)(3414,3950)(3420,4331)(3421,3634)(3422,
     4402)(3423,4399)(3427,4348)(3429,4199)(3430,4407)(3431,4411)(3432,3806)
     (3433,4405)(3434,4346)(3439,4415)(3442,4183)(3443,3920)(3445,4420)(3449,
     4426)(3451,4425)(3452,4428)(3454,4432)(3455,4430)(3457,4437)(3460,4439)
     (3463,4443)(3464,4445)(3470,3956)(3473,3477)(3474,4412)(3483,4457)(3484,
     4459)(3486,4461)(3487,4463)(3490,4465)(3494,4468)(3495,4470)(3497,3524)
     (3501,4475)(3502,4343)(3503,4477)(3506,4481)(3507,4398)(3509,3526)(3512,
     4484)(3513,4485)(3515,4488)(3516,3795)(3518,4492)(3519,4490)(3520,4495)
     (3527,4501)(3529,4499)(3533,4015)(3535,4507)(3544,4514)(3545,4511)(3548,
     4519)(3549,4517)(3550,4521)(3551,4023)(3552,3859)(3556,4524)(3558,4526)
     (3559,4527)(3561,4528)(3566,4531)(3568,4533)(3571,4536)(3573,4539)(3577,
     4397)(3580,4540)(3584,4544)(3588,4548)(3591,4006)(3594,4553)(3599,4558)
     (3600,4238)(3603,4564)(3604,4566)(3605,4568)(3606,4570)(3610,4574)(3613,
     4575)(3614,4293)(3615,4065)(3618,4578)(3620,4581)(3625,4587)(3626,4382)
     (3627,4586)(3630,4591)(3631,4590)(3638,3761)(3643,4599)(3645,4603)(3647,
     4604)(3649,4608)(3650,4357)(3652,4611)(3653,4610)(3654,4318)(3655,4496)
     (3656,4602)(3658,4001)(3662,3784)(3663,4619)(3664,3942)(3666,4623)(3668,
     4018)(3672,4625)(3673,4628)(3674,4353)(3677,4635)(3678,4637)(3679,4634)
     (3682,4641)(3685,4645)(3686,4646)(3688,4648)(3692,4081)(3694,4656)(3695,
     4657)(3696,4655)(3697,4659)(3699,3721)(3701,4663)(3702,4662)(3706,4668)
     (3707,4285)(3709,4436)(3710,4671)(3714,4675)(3715,3833)(3716,4677)(3722,
     4516)(3725,3858)(3728,4686)(3731,4689)(3733,3753)(3734,4692)(3735,4691)
     (3736,4695)(3738,4698)(3740,4702)(3742,4703)(3743,4316)(3744,4705)(3746,
     4708)(3747,4710)(3755,4715)(3756,4717)(3759,4721)(3760,4722)(3765,4727)
     (3766,4728)(3768,4731)(3769,4732)(3772,4736)(3774,4740)(3776,4087)(3777,
     4742)(3778,4744)(3779,4746)(3780,4747)(3786,4753)(3792,3924)(3794,4759)
     (3797,4762)(3801,4767)(3802,4600)(3803,4769)(3805,4773)(3808,3939)(3812,
     4780)(3813,4782)(3814,4032)(3817,4785)(3819,4096)(3820,4787)(3822,4788)
     (3826,4791)(3829,4793)(3830,4170)(3831,4798)(3832,4799)(3834,4204)(3836,
     4801)(3837,4802)(3839,3872)(3840,4804)(3841,4806)(3843,4809)(3845,4811)
     (3846,4812)(3847,4813)(3848,4311)(3850,4817)(3851,4818)(3853,3929)(3854,
     4821)(3857,4664)(3862,4828)(3863,4830)(3864,4827)(3866,4756)(3868,4730)
     (3869,4833)(3870,4834)(3875,4839)(3877,4840)(3878,4842)(3879,4237)(3880,
     4826)(3881,4845)(3882,4474)(3884,4846)(3891,4851)(3893,4853)(3895,3994)
     (3898,4136)(3900,4633)(3903,4858)(3905,4861)(3909,4863)(3910,4866)(3912,
     4869)(3914,4871)(3917,4876)(3918,4877)(3926,4757)(3928,4571)(3932,4888)
     (3933,4354)(3935,4890)(3937,4892)(3940,4777)(3944,4067)(3945,4248)(3948,
     4901)(3951,4904)(3952,4903)(3954,4906)(3955,4899)(3959,4910)(3961,4733)
     (3962,4913)(3967,4917)(3969,4026)(3975,4924)(3976,4926)(3979,4929)(3980,
     4930)(3983,4933)(3985,4525)(3987,4937)(3990,4941)(3991,4942)(3997,4948)
     (4002,4952)(4004,4954)(4009,4916)(4010,4958)(4012,4962)(4014,4964)(4019,
     4515)(4020,4837)(4022,4967)(4024,4970)(4025,4117)(4029,4975)(4031,4977)
     (4034,4981)(4035,4983)(4036,4985)(4037,4852)(4039,4923)(4041,4988)(4042,
     4989)(4043,4991)(4048,4995)(4049,4994)(4051,4998)(4052,4246)(4057,4843)
     (4058,4650)(4060,5004)(4061,5005)(4062,5003)(4066,5008)(4068,5010)(4069,
     5012)(4071,5015)(4074,5017)(4077,5020)(4079,4433)(4082,5022)(4083,4653)
     (4086,5028)(4089,5031)(4091,4404)(4092,5033)(4095,4770)(4097,4534)(4098,
     4289)(4099,4203)(4100,4294)(4101,4449)(4102,4448)(4104,5044)(4106,5046)
     (4107,5047)(4109,5049)(4111,5043)(4113,5055)(4114,5053)(4115,4922)(4116,
     5057)(4122,5061)(4126,5068)(4127,5067)(4131,5073)(4132,5074)(4138,5078)
     (4143,4893)(4144,5082)(4145,5083)(4147,5086)(4153,5091)(4154,4214)(4155,
     5087)(4157,4797)(4158,5095)(4161,5077)(4162,4868)(4163,4451)(4164,5097)
     (4165,4752)(4171,4588)(4172,4872)(4175,4598)(4177,4191)(4179,5106)(4181,
     5110)(4185,4243)(4188,5114)(4189,4640)(4193,5118)(4194,4462)(4197,5119)
     (4198,4620)(4201,5122)(4202,4896)(4207,4493)(4208,5127)(4211,5129)(4217,
     5132)(4218,5133)(4219,5134)(4220,5135)(4222,4647)(4226,5138)(4230,5143)
     (4231,5144)(4232,5146)(4235,4429)(4236,5149)(4240,4500)(4241,5153)(4245,
     5155)(4247,5157)(4249,5160)(4254,5164)(4255,5165)(4258,5171)(4259,5169)
     (4260,5172)(4261,4476)(4264,4472)(4266,5156)(4267,5174)(4269,4618)(4270,
     4283)(4276,4907)(4277,5177)(4280,4714)(4281,5019)(4284,5181)(4288,5184)
     (4292,5186)(4295,5187)(4297,5190)(4299,5192)(4301,5193)(4302,5195)(4303,
     5130)(4305,5200)(4306,5198)(4308,5202)(4309,5182)(4310,5203)(4314,5204)
     (4315,5207)(4319,4374)(4321,5128)(4322,4613)(4324,4609)(4326,5212)(4327,
     5216)(4329,5218)(4330,5219)(4335,4417)(4336,5223)(4338,5225)(4340,5228)
     (4341,5229)(4349,5231)(4352,5236)(4355,4597)(4358,5238)(4359,5240)(4360,
     5242)(4362,5243)(4364,5246)(4366,5248)(4367,5189)(4368,5247)(4369,4980)
     (4370,4796)(4373,5253)(4376,5013)(4377,5039)(4378,4506)(4380,5258)(4384,
     5262)(4386,5263)(4387,5265)(4388,4395)(4391,5269)(4393,5272)(4394,5092)
     (4396,4545)(4400,4473)(4401,5275)(4403,5277)(4408,5281)(4409,4755)(4414,
     5284)(4416,5286)(4418,5288)(4419,5066)(4421,5291)(4422,4831)(4423,5290)
     (4424,4720)(4431,5296)(4434,4909)(4435,5300)(4438,5303)(4441,5306)(4442,
     4631)(4444,5310)(4446,5255)(4447,5105)(4450,4908)(4452,5315)(4456,5317)
     (4460,5035)(4467,5325)(4469,5327)(4471,5328)(4479,5331)(4480,5334)(4482,
     4498)(4483,5337)(4486,4932)(4487,5340)(4489,5341)(4491,5336)(4502,5347)
     (4504,5348)(4505,5273)(4513,5354)(4518,4976)(4523,4969)(4529,5113)(4530,
     5362)(4535,5179)(4537,5366)(4538,4805)(4541,4914)(4542,5323)(4547,5372)
     (4549,5374)(4550,5232)(4551,5375)(4555,5373)(4556,5380)(4557,5378)(4560,
     5381)(4561,5152)(4562,5151)(4563,5384)(4565,4765)(4569,5391)(4572,5393)
     (4573,4882)(4576,5021)(4577,5397)(4579,5353)(4580,5399)(4582,5403)(4583,
     5402)(4584,4990)(4585,5406)(4589,5408)(4592,4795)(4593,5411)(4595,4724)
     (4596,5237)(4601,5412)(4605,5416)(4606,5415)(4607,5418)(4612,5421)(4614,
     5052)(4615,5071)(4616,5426)(4617,5428)(4621,5140)(4622,5309)(4624,5433)
     (4627,5435)(4629,5438)(4632,5298)(4636,5443)(4638,5445)(4639,5444)(4643,
     5448)(4644,5447)(4649,5427)(4651,5439)(4652,5456)(4654,5217)(4658,5461)
     (4660,4784)(4661,4678)(4665,5142)(4666,5468)(4667,5072)(4669,5471)(4670,
     4764)(4672,5437)(4674,5473)(4676,5289)(4680,5476)(4681,5479)(4682,5480)
     (4683,4956)(4684,5481)(4685,5483)(4690,5486)(4693,5489)(4694,4786)(4696,
     5376)(4697,5096)(4699,5419)(4700,5494)(4701,5492)(4704,5500)(4706,5504)
     (4707,5502)(4709,5506)(4711,5507)(4712,5064)(4713,5509)(4716,5511)(4718,
     5145)(4719,5512)(4723,4750)(4725,4748)(4729,5519)(4734,5180)(4735,5520)
     (4737,5523)(4738,5522)(4739,5526)(4741,5178)(4743,5530)(4745,4870)(4749,
     5533)(4751,5535)(4754,5537)(4758,5075)(4760,5400)(4763,4838)(4766,5541)
     (4768,5175)(4771,5545)(4772,5387)(4775,5547)(4776,5528)(4778,5549)(4779,
     5550)(4781,4940)(4783,4979)(4789,5558)(4790,5560)(4792,5441)(4800,5566)
     (4803,4829)(4808,4850)(4810,5161)(4814,5574)(4815,5575)(4816,5573)(4819,
     4959)(4820,4968)(4822,5580)(4823,5579)(4832,5586)(4835,5466)(4836,5589)
     (4841,5591)(4844,5584)(4847,5596)(4848,5597)(4849,5154)(4854,5048)(4855,
     5442)(4856,5440)(4857,5261)(4860,5197)(4862,5610)(4865,5612)(4867,5615)
     (4873,5619)(4875,5102)(4878,5623)(4879,5062)(4880,5101)(4881,5000)(4883,
     5510)(4885,5628)(4886,5359)(4887,5629)(4889,5632)(4895,5329)(4897,5636)
     (4898,5367)(4900,5027)(4902,5093)(4905,5637)(4911,5639)(4912,5640)(4915,
     5643)(4918,5646)(4919,5343)(4920,5326)(4921,5645)(4925,5649)(4927,5652)
     (4928,5214)(4931,5654)(4934,5657)(4935,5111)(4936,5658)(4938,5661)(4939,
     5660)(4943,5665)(4944,5209)(4946,5614)(4947,5669)(4949,5401)(4950,5672)
     (4951,5674)(4953,5638)(4955,5678)(4957,5680)(4960,5682)(4961,5531)(4963,
     5176)(4966,5688)(4972,5058)(4973,5382)(4982,5699)(4984,5701)(4986,5704)
     (4987,5705)(4993,5361)(4996,5562)(4997,5534)(4999,5056)(5001,5706)(5002,
     5605)(5006,5713)(5007,5714)(5009,5123)(5011,5311)(5014,5717)(5016,5722)
     (5018,5723)(5023,5726)(5025,5727)(5026,5728)(5029,5729)(5030,5731)(5032,
     5733)(5034,5430)(5036,5365)(5040,5737)(5041,5738)(5042,5739)(5045,5635)
     (5050,5745)(5054,5749)(5059,5208)(5063,5757)(5065,5758)(5070,5633)(5076,
     5539)(5079,5764)(5080,5572)(5081,5765)(5084,5766)(5085,5768)(5089,5267)
     (5094,5772)(5099,5773)(5100,5774)(5103,5620)(5108,5777)(5109,5780)(5112,
     5330)(5115,5754)(5116,5785)(5117,5786)(5120,5508)(5121,5196)(5125,5407)
     (5126,5790)(5131,5398)(5137,5793)(5141,5794)(5147,5797)(5148,5676)(5150,
     5611)(5158,5802)(5159,5651)(5163,5355)(5167,5806)(5168,5808)(5170,5810)
     (5173,5799)(5185,5815)(5188,5819)(5191,5821)(5194,5823)(5199,5826)(5201,
     5608)(5206,5833)(5210,5834)(5211,5835)(5213,5837)(5215,5563)(5220,5345)
     (5221,5840)(5224,5631)(5226,5843)(5227,5271)(5230,5556)(5233,5595)(5234,
     5848)(5235,5849)(5245,5856)(5250,5708)(5251,5718)(5252,5862)(5254,5864)
     (5256,5865)(5257,5781)(5259,5867)(5260,5770)(5270,5544)(5276,5873)(5279,
     5877)(5282,5879)(5283,5594)(5292,5883)(5293,5884)(5294,5656)(5295,5369)
     (5299,5888)(5302,5890)(5305,5893)(5307,5895)(5308,5896)(5312,5390)(5313,
     5901)(5314,5627)(5316,5903)(5319,5905)(5321,5907)(5324,5909)(5333,5569)
     (5335,5748)(5339,5913)(5344,5917)(5346,5918)(5349,5518)(5350,5648)(5351,
     5540)(5352,5921)(5356,5695)(5357,5693)(5363,5420)(5379,5800)(5386,5538)
     (5396,5936)(5405,5711)(5409,5724)(5410,5940)(5413,5943)(5414,5741)(5417,
     5946)(5422,5469)(5423,5950)(5424,5659)(5425,5937)(5429,5593)(5432,5951)
     (5434,5598)(5446,5730)(5449,5667)(5450,5863)(5451,5958)(5452,5956)(5453,
     5922)(5454,5960)(5455,5577)(5457,5962)(5458,5963)(5459,5965)(5460,5630)
     (5462,5600)(5463,5621)(5465,5822)(5467,5796)(5470,5516)(5472,5743)(5474,
     5972)(5475,5929)(5478,5975)(5482,5583)(5484,5980)(5485,5982)(5487,5554)
     (5488,5985)(5491,5988)(5493,5989)(5495,5689)(5496,5991)(5497,5993)(5498,
     5578)(5499,5996)(5503,5715)(5505,5999)(5514,5892)(5515,6002)(5517,5902)
     (5521,5776)(5525,6009)(5529,6011)(5532,5576)(5536,6016)(5543,6017)(5553,
     5829)(5555,6021)(5557,6023)(5561,5771)(5565,6025)(5567,5926)(5570,5599)
     (5571,6013)(5581,6035)(5582,6037)(5585,5642)(5587,6041)(5588,5592)(5590,
     6043)(5601,6046)(5603,5609)(5604,5732)(5606,6049)(5613,6030)(5617,6034)
     (5618,5710)(5624,5753)(5625,6061)(5634,5911)(5641,6068)(5644,6071)(5655,
     5801)(5662,6078)(5663,6079)(5664,5983)(5668,6055)(5675,5941)(5677,5828)
     (5681,6028)(5683,5995)(5686,6087)(5687,5928)(5691,6088)(5692,6089)(5697,
     5755)(5700,6093)(5703,5994)(5707,6098)(5709,6100)(5712,5906)(5716,6067)
     (5719,6057)(5721,5725)(5734,5967)(5736,6073)(5740,6113)(5742,5805)(5744,
     6066)(5746,6081)(5747,5874)(5750,6117)(5751,6116)(5752,6006)(5756,6005)
     (5760,6123)(5762,6124)(5763,6125)(5775,6131)(5782,6134)(5783,6109)(5784,
     6135)(5787,6000)(5788,6137)(5792,6040)(5795,6139)(5803,6077)(5804,6143)
     (5807,5859)(5811,6145)(5813,5910)(5814,6148)(5816,5912)(5817,5847)(5820,
     6150)(5824,6052)(5825,6070)(5827,6154)(5830,6156)(5831,6027)(5832,6032)
     (5838,6022)(5841,6157)(5844,6133)(5845,6019)(5851,6162)(5853,6020)(5857,
     6165)(5858,6164)(5860,6045)(5861,6121)(5866,6163)(5868,6136)(5869,6173)
     (5870,5939)(5871,5942)(5876,6176)(5881,6160)(5882,6178)(5885,6179)(5886,
     5916)(5889,6007)(5894,6180)(5898,6062)(5899,6168)(5900,6185)(5904,6076)
     (5915,5930)(5919,6042)(5923,5955)(5938,6063)(5944,6004)(5945,6198)(5947,
     6202)(5948,6151)(5949,6197)(5953,6196)(5954,6110)(5961,6210)(5964,6212)
     (5968,6152)(5970,6206)(5971,6213)(5973,6214)(5974,6112)(5976,6215)(5978,
     6218)(5979,6026)(5981,5992)(5987,6222)(5990,6224)(5998,6226)(6012,6236)
     (6014,6235)(6015,6104)(6018,6234)(6031,6181)(6033,6244)(6038,6227)(6039,
     6247)(6044,6253)(6048,6256)(6050,6259)(6053,6082)(6058,6126)(6059,6249)
     (6065,6167)(6069,6262)(6072,6233)(6074,6170)(6075,6266)(6084,6205)(6086,
     6270)(6094,6273)(6095,6102)(6097,6274)(6099,6275)(6101,6251)(6103,6271)
     (6106,6189)(6107,6278)(6111,6127)(6118,6265)(6119,6248)(6120,6281)(6122,
     6282)(6128,6141)(6130,6285)(6146,6291)(6147,6241)(6153,6263)(6155,6252)
     (6158,6175)(6159,6231)(6172,6258)(6174,6298)(6177,6292)(6183,6293)(6186,
     6300)(6193,6284)(6195,6304)(6200,6272)(6201,6288)(6204,6306)(6211,6245)
     (6217,6295)(6219,6221)(6225,6283)(6228,6311)(6230,6313)(6238,6290)(6240,
     6276)(6243,6250)(6254,6302)(6257,6264)(6260,6322)(6280,6316)(6289,6326)
     (6299,6305)(6303,6314)(6310,6328)(6312,6332)(6319,6331)(6321,6324)(6323,
     6336);