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