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