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