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