z1 := (2,5,10,20,30,14,6)(3,7,15,31,32,16,8)(9,17,34,62,70,38,18)(11,22,45,81, 82,46,23)(12,24,48,85,94,52,25)(13,26,53,95,96,54,27)(19,39,72,100,56,29, 40)(21,43,80,99,55,28,44)(33,59,106,186,196,110,60)(35,64,117,209,210, 118,65)(36,49,87,154,217,121,66)(37,47,83,148,218,122,67)(41,76,140,250, 258,144,77)(42,78,145,259,260,146,79)(50,88,156,277,286,160,89)(51,90, 161,287,288,162,91)(57,101,176,315,324,180,102)(58,103,181,325,326,182, 104)(61,111,198,352,360,202,112)(63,115,207,369,370,208,116)(68,123,86, 153,274,223,124)(69,125,84,150,268,224,126)(71,129,230,404,414,234,130) (73,133,239,417,418,240,134)(74,135,241,420,426,244,136)(75,137,245,427, 428,246,138)(92,163,290,495,504,294,164)(93,165,295,505,506,296,166)(97, 169,302,517,526,306,170)(98,171,307,527,528,308,172)(105,183,327,551,405, 330,184)(107,188,337,570,403,338,189)(108,190,339,572,580,342,191)(109, 192,343,581,582,344,193)(113,203,362,608,616,366,204)(114,205,367,617, 618,368,206)(119,211,276,476,629,375,212)(120,213,278,479,630,376,214) (127,225,394,663,524,398,226)(128,227,399,670,525,400,228)(131,235,397, 667,425,323,236)(132,237,396,666,424,322,238)(139,247,430,710,718,434, 248)(141,252,439,727,728,440,253)(142,254,441,730,738,444,255)(143,256, 445,739,740,446,257)(147,261,450,585,345,194,262)(149,265,458,586,346, 195,266)(151,270,466,775,782,470,271)(152,272,471,783,784,472,273)(155, 275,474,787,703,422,242)(157,279,480,796,704,423,243)(158,280,482,800, 806,484,281)(159,282,485,807,808,486,283)(167,297,508,843,597,512,298) (168,299,513,850,596,514,300)(173,309,251,438,726,533,310)(174,311,249, 435,720,534,312)(175,313,536,880,884,538,314)(177,316,541,889,890,542, 317)(178,318,544,357,200,356,319)(179,320,548,359,201,358,321)(185,331, 559,913,893,563,332)(187,335,568,926,892,569,336)(197,349,590,952,962, 594,350)(199,354,599,965,966,600,355)(215,377,632,1010,1016,636,378)(216, 379,637,1017,1018,638,380)(219,383,644,1025,1030,646,384)(220,385,647, 1031,1032,648,386)(221,387,650,967,601,654,388)(222,389,655,968,602,656, 390)(229,401,672,1059,972,676,402)(231,406,679,1070,971,680,407)(232,408, 681,1072,1080,684,409)(233,410,685,1081,1082,686,411)(263,454,754,1174, 1182,758,455)(264,456,759,1183,1184,760,457)(267,459,762,1187,1196,766, 460)(269,463,771,1201,1202,772,464)(284,487,810,1247,953,814,488)(285, 489,815,1252,951,816,490)(289,493,822,1260,1264,824,494)(291,496,827, 1269,1270,828,497)(292,498,830,1273,900,834,499)(293,500,835,1280,899, 836,501)(301,515,852,1301,1306,854,516)(303,518,857,1309,1310,858,519) (304,520,860,868,1319,864,521)(305,522,865,867,1320,866,523)(328,552,901, 1350,1354,904,553)(329,554,905,1355,1356,906,555)(333,564,921,1367,1130, 721,565)(334,566,925,1374,1127,719,567)(340,574,473,785,1214,935,575) (341,576,475,789,1218,936,577)(347,587,947,634,1012,837,502)(348,588,948, 635,1013,838,503)(351,550,898,1348,1056,669,595)(353,549,897,1347,1055, 668,598)(361,605,781,469,780,975,606)(363,610,779,468,778,980,611)(364, 612,981,1428,1436,984,613)(365,614,985,1437,1438,986,615)(371,619,990, 1443,1448,992,620)(372,621,993,1449,1450,994,622)(373,623,996,1451,1456, 1000,624)(374,625,1001,1457,1458,1002,626)(381,639,715,433,543,891,640) (382,641,714,432,545,894,642)(391,657,609,979,1426,1047,658)(392,659,607, 976,1422,1048,660)(393,661,579,938,1097,699,662)(395,664,578,937,1096, 698,665)(412,687,421,700,1098,1085,688)(413,689,419,697,1094,1086,690) (415,693,1089,1545,1314,861,694)(416,695,1092,1548,1311,859,696)(429,707, 1110,1566,1572,1114,708)(431,712,1121,1583,1584,1122,713)(436,722,510, 846,1294,1135,723)(437,724,511,847,1296,1136,725)(442,732,1139,1597,1446, 1140,733)(443,734,1141,1598,1447,1142,735)(447,741,886,539,885,1153,742) (448,743,888,540,887,1154,744)(449,745,1156,1608,1549,1160,746)(451,749, 1165,1618,1550,1166,750)(452,643,1023,1480,1621,1169,751)(453,645,1027, 1486,1622,1170,752)(461,767,1198,1644,1298,849,768)(462,769,1200,1646, 1297,848,770)(465,773,1203,1647,1652,1206,774)(467,776,1207,1653,1654, 1208,777)(477,792,1224,1278,1681,1228,793)(478,794,1229,1279,1682,1230, 795)(481,797,1232,1263,1685,1234,798)(483,802,1239,1262,1692,1240,803) (491,817,1253,1707,1557,1256,818)(492,819,1257,1710,1559,1258,820)(507, 841,1286,1736,1740,1288,842)(509,844,1291,1743,1744,1292,845)(529,869, 1321,1767,1768,1322,870)(530,871,1323,1769,1770,1324,872)(531,873,1326, 1193,765,1192,874)(532,875,1330,1191,764,1190,876)(535,877,631,1009,1375, 1333,878)(537,882,633,1011,1377,1338,883)(546,853,1303,1756,1410,961,895) (547,851,1299,1750,1409,960,896)(556,907,573,930,1380,1357,908)(557,909, 571,927,1376,1358,910)(558,911,1360,1255,1569,1113,912)(560,914,1364, 1254,1568,1112,915)(561,916,1109,1418,970,604,917)(562,918,1111,1417,969, 603,919)(583,941,1197,1643,1813,1389,942)(584,943,1199,1645,1814,1390, 944)(589,949,1396,1194,1482,1024,950)(591,954,1402,1195,1485,1026,955) (592,956,1403,1827,1828,1406,957)(593,958,1407,1829,1830,1408,959)(627, 1003,1123,1491,1751,1463,1004)(628,1005,1124,1489,1749,1464,1006)(649, 1033,1490,1724,1907,1492,1034)(651,1037,1493,1723,1908,1494,1038)(652, 1039,1495,1382,934,902,1040)(653,1041,1496,1381,933,903,1042)(671,999, 1453,1706,1251,1513,1057)(673,998,1452,1705,1250,1520,1061)(674,856,1308, 1385,939,1211,1062)(675,855,1307,1386,940,1212,1063)(677,1066,1525,1919, 1920,1526,1067)(678,1068,1527,1921,1922,1528,1069)(682,1074,1530,1923, 1928,1534,1075)(683,1076,1535,1929,1930,1536,1077)(691,929,1379,1052, 1508,1353,1087)(692,928,1378,1051,1507,1352,1088)(701,1099,801,1238,1691, 1551,1100)(702,1101,799,1235,1687,1552,1102)(705,1105,1558,1945,1766, 1562,1106)(706,1107,1563,1950,1765,1564,1108)(709,1115,1574,1859,1956, 1576,1116)(711,1119,1581,1860,1955,1582,1120)(716,1035,731,1022,1478, 1488,1029)(717,1036,729,1021,1477,1487,1028)(736,1143,1344,1782,1925, 1533,1144)(737,1145,1343,1781,1924,1532,1146)(747,1161,1613,1570,1783, 1345,1162)(748,1163,1617,1571,1784,1346,1164)(753,1171,1624,1680,1227, 1628,1172)(755,1176,1633,1679,1226,1634,1177)(756,1178,1635,2000,1689, 1236,1179)(757,1180,1638,2004,1690,1237,1181)(761,1185,1268,826,1267, 1641,1186)(763,1188,1266,825,1265,1642,1189)(786,963,1284,840,1283,1665, 1216)(788,964,1282,839,1281,1666,1217)(790,1219,1668,1721,2023,1672,1220) (791,1221,1673,1719,2024,1674,1222)(804,1241,1693,2039,2006,1640,1242) (805,1243,1696,2042,2005,1639,1244)(809,974,1053,1509,1606,1589,1128) (811,973,1054,1510,1605,1590,1129)(812,1133,1304,1757,1313,1703,1248) (813,1134,1305,1758,1312,1704,1249)(821,1043,1497,1731,2049,1711,1259) (823,1044,1498,1732,2054,1714,1261)(829,1271,1720,2057,2022,1722,1272) (831,1274,1725,2060,2021,1726,1275)(832,922,1369,1796,1931,1729,1276) (833,920,1365,1794,1932,1730,1277)(862,1315,1762,2081,1983,1607,1155) (863,1316,1764,2082,1984,1609,1157)(879,1334,1065,1524,1071,1150,1335) (881,1336,1064,1523,1073,1149,1337)(923,1370,1797,1517,1780,1340,1371) (924,1372,1798,1516,1779,1339,1373)(931,991,1445,1612,1985,1620,1168) (932,989,1441,1614,1988,1619,1167)(945,1391,1368,1361,1788,1817,1392) (946,1393,1366,1359,1785,1818,1394)(977,1131,1591,1580,1118,1579,1424) (978,1132,1592,1578,1117,1577,1425)(982,1430,1851,1649,1205,1293,1431) (983,1432,1854,1648,1204,1295,1433)(987,1439,1861,1511,1763,1604,1152) (988,1440,1862,1512,1761,1603,1151)(995,1159,1611,1500,1045,1499,1332) (997,1158,1610,1502,1046,1501,1331)(1007,1465,1885,2119,1927,1709,1466) (1008,1467,1886,2120,1926,1708,1468)(1014,1095,1173,1629,1995,1771,1471) (1015,1093,1175,1632,1998,1772,1472)(1019,1473,1891,1481,1898,1892,1474) (1020,1475,1893,1479,1897,1894,1476)(1049,1503,1815,2103,1879,1459,1504) (1050,1505,1816,2104,1880,1460,1506)(1058,1514,1912,2128,2072,1917,1515) (1060,1518,1911,2127,2071,1918,1519)(1078,1537,1801,2097,2041,1695,1538) (1079,1539,1802,2098,2040,1694,1540)(1083,1541,1933,2133,2111,1831,1542) (1084,1543,1934,2134,2112,1832,1544)(1090,1325,1660,2017,2027,1937,1546) (1091,1327,1661,2018,2028,1938,1547)(1103,1553,1941,2045,1701,1942,1554) (1104,1555,1943,2046,1702,1944,1556)(1125,1585,1965,2139,2025,1968,1586) (1126,1587,1969,2140,2026,1970,1588)(1137,1593,1529,1718,1839,1415,1594) (1138,1595,1531,1717,1840,1416,1596)(1147,1601,1977,2143,2047,1834,1412) (1148,1602,1978,2144,2048,1833,1411)(1209,1655,1599,1975,2132,1964,1656) (1210,1657,1600,1976,2131,1963,1658)(1213,1659,1700,1246,1699,1349,1233) (1215,1662,1698,1245,1697,1351,1231)(1223,1675,1905,2125,1910,2029,1676) (1225,1677,1906,2126,1909,2030,1678)(1285,1427,1847,2012,1651,1667,1420) (1287,1429,1850,2011,1650,1669,1419)(1289,1342,1739,2064,1745,2067,1741) (1290,1341,1738,2063,1746,2068,1742)(1300,1752,1808,1384,1807,1521,1753) (1302,1754,1806,1383,1805,1522,1755)(1328,1773,1888,1469,1887,2007,1774) (1329,1775,1890,1470,1889,2008,1776)(1362,1789,1971,1952,1565,1951,1790) (1363,1791,1972,1954,1567,1953,1792)(1387,1809,1852,2084,1778,1997,1631) (1388,1810,1853,2083,1777,1996,1630)(1395,1804,2100,1884,1462,1883,1819) (1397,1803,2099,1882,1461,1881,1820)(1398,1733,1841,1421,1787,2086,1821) (1399,1734,1844,1423,1786,2085,1822)(1400,1823,1916,1958,1573,1957,1824) (1401,1825,1915,1962,1575,1961,1826)(1404,1799,2095,2129,1913,2079,1759) (1405,1800,2096,2130,1914,2080,1760)(1413,1835,1878,1686,2034,2113,1836) (1414,1837,1877,1688,2033,2114,1838)(1434,1855,1864,1442,1863,1623,1856) (1435,1857,1868,1444,1867,1625,1858)(1454,1873,2116,1849,2013,2032,1874) (1455,1875,2115,1848,2014,2031,1876)(1483,1737,2062,1811,2101,1987,1899) (1484,1735,2061,1812,2102,1986,1900)(1560,1946,2137,2159,2145,1981,1947) (1561,1948,2138,2160,2146,1982,1949)(1615,1989,1865,1967,2070,1748,1974) (1616,1990,1866,1966,2069,1747,1973)(1626,1895,1870,2118,2109,2147,1991) (1627,1896,1869,2117,2110,2148,1992)(1636,2002,1872,1670,1993,2108,2001) (1637,2003,1871,1671,1994,2107,1999)(1663,1683,1980,2073,1843,2044,2019) (1664,1684,1979,2074,1842,2043,2020)(1712,2050,2015,1727,2037,2093,2051) (1713,2052,2016,1728,2038,2094,2053)(1715,2055,2153,2136,1940,2106,1936) (1716,2056,2154,2135,1939,2105,1935)(1793,2089,2076,1903,2035,2058,2090) (1795,2091,2075,1904,2036,2059,2092)(1845,2088,2078,2121,2124,1902,1960) (1846,2087,2077,2122,2123,1901,1959)(2009,2149,2065,2155,2152,2158,2141) (2010,2150,2066,2156,2151,2157,2142);