Properties

Label 13063680.b
Order \( 2^{9} \cdot 3^{6} \cdot 5 \cdot 7 \)
Exponent \( 2^{3} \cdot 3^{2} \cdot 5 \cdot 7 \)
Nilpotent no
Solvable no
$\card{G^{\mathrm{ab}}}$ \( 1 \)
$\card{Z(G)}$ 4
$\card{\Aut(G)}$ \( 2^{10} \cdot 3^{6} \cdot 5 \cdot 7 \)
$\card{\mathrm{Out}(G)}$ \( 2^{3} \)
Perm deg. $2160$
Trans deg. not computed
Rank $2$

Related objects

Downloads

Learn more

Show commands: Gap / Magma / Oscar / SageMath

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

Group information

Description:$\SU(4,3)$
Order: \(13063680\)\(\medspace = 2^{9} \cdot 3^{6} \cdot 5 \cdot 7 \)
Copy content comment:Order of the group
 
Copy content magma:Order(G);
 
Copy content gap:Order(G);
 
Copy content sage:G.order()
 
Copy content sage_gap:G.Order()
 
Copy content oscar:order(G)
 
Exponent: \(2520\)\(\medspace = 2^{3} \cdot 3^{2} \cdot 5 \cdot 7 \)
Copy content comment:Exponent of the group
 
Copy content magma:Exponent(G);
 
Copy content gap:Exponent(G);
 
Copy content sage:G.exponent()
 
Copy content sage_gap:G.Exponent()
 
Copy content oscar:exponent(G)
 
Automorphism group:$\PGammaU(4,3)$, of order \(26127360\)\(\medspace = 2^{10} \cdot 3^{6} \cdot 5 \cdot 7 \)
Copy content comment:Automorphism group
 
Copy content gap:AutomorphismGroup(G);
 
Copy content magma:AutomorphismGroup(G);
 
Copy content sage:libgap(G).AutomorphismGroup()
 
Copy content sage_gap:G.AutomorphismGroup()
 
Copy content oscar:automorphism_group(G)
 
Composition factors:$C_2$ x 2, $\PSU(4,3)$
Copy content comment:Composition factors of the group
 
Copy content magma:CompositionFactors(G);
 
Copy content gap:CompositionSeries(G);
 
Copy content sage:G.composition_series()
 
Copy content sage_gap:G.CompositionSeries()
 
Copy content oscar:composition_series(G)
 
Derived length:$0$
Copy content comment:Derived length of the group
 
Copy content magma:DerivedLength(G);
 
Copy content gap:DerivedLength(G);
 
Copy content sage:libgap(G).DerivedLength()
 
Copy content sage_gap:G.DerivedLength()
 
Copy content oscar:derived_length(G)
 

This group is nonabelian and quasisimple (hence nonsolvable and perfect). Whether it is almost simple has not been computed.

Copy content comment:Determine if the group G is abelian
 
Copy content magma:IsAbelian(G);
 
Copy content gap:IsAbelian(G);
 
Copy content sage:G.is_abelian()
 
Copy content sage_gap:G.IsAbelian()
 
Copy content oscar:is_abelian(G)
 
Copy content comment:Determine if the group G is cyclic
 
Copy content magma:IsCyclic(G);
 
Copy content gap:IsCyclic(G);
 
Copy content sage:G.is_cyclic()
 
Copy content sage_gap:G.IsCyclic()
 
Copy content oscar:is_cyclic(G)
 
Copy content comment:Determine if the group G is nilpotent
 
Copy content magma:IsNilpotent(G);
 
Copy content gap:IsNilpotentGroup(G);
 
Copy content sage:G.is_nilpotent()
 
Copy content sage_gap:G.IsNilpotentGroup()
 
Copy content oscar:is_nilpotent(G)
 
Copy content comment:Determine if the group G is solvable
 
Copy content magma:IsSolvable(G);
 
Copy content gap:IsSolvableGroup(G);
 
Copy content sage:G.is_solvable()
 
Copy content sage_gap:G.IsSolvableGroup()
 
Copy content oscar:is_solvable(G)
 
Copy content comment:Determine if the group G is supersolvable
 
Copy content gap:IsSupersolvableGroup(G);
 
Copy content sage:G.is_supersolvable()
 
Copy content sage_gap:G.IsSupersolvableGroup()
 
Copy content oscar:is_supersolvable(G)
 
Copy content comment:Determine if the group G is simple
 
Copy content magma:IsSimple(G);
 
Copy content gap:IsSimpleGroup(G);
 
Copy content sage:G.is_simple()
 
Copy content sage_gap:G.IsSimpleGroup()
 
Copy content oscar:is_simple(G)
 

Group statistics

Copy content comment:Compute statistics for the group G
 
Copy content magma:// Magma code to output the first two rows of the group statistics table element_orders := [Order(g) : g in G]; orders := Set(element_orders); printf "Orders: %o\n", orders; printf "Elements: %o %o\n", [#[x : x in element_orders | x eq n] : n in orders], Order(G); cc_orders := [cc[1] : cc in ConjugacyClasses(G)]; printf "Conjugacy classes: %o %o\n", [#[x : x in cc_orders | x eq n] : n in orders], #cc_orders;
 
Copy content gap:# Gap code to output the first two rows of the group statistics table element_orders := List(Elements(G), g -> Order(g)); orders := Set(element_orders); Print("Orders: ", orders, "\n"); element_counts := List(orders, n -> Length(Filtered(element_orders, x -> x = n))); Print("Elements: ", element_counts, " ", Size(G), "\n"); cc_orders := List(ConjugacyClasses(G), cc -> Order(Representative(cc))); cc_counts := List(orders, n -> Length(Filtered(cc_orders, x -> x = n))); Print("Conjugacy classes: ", cc_counts, " ", Length(ConjugacyClasses(G)), "\n");
 
Copy content sage:# Sage code to output the first two rows of the group statistics table element_orders = [g.order() for g in G] orders = sorted(list(set(element_orders))) print("Orders:", orders) print("Elements:", [element_orders.count(n) for n in orders], G.order()) cc_orders = [cc[0].order() for cc in G.conjugacy_classes()] print("Conjugacy classes:", [cc_orders.count(n) for n in orders], len(cc_orders))
 
Copy content sage_gap:# Sage code (using the GAP interface) to output the first two rows of the group statistics table element_orders = [g.Order() for g in G.Elements()] orders = sorted(list(set(element_orders))) print("Orders:", orders) print("Elements:", [element_orders.count(n) for n in orders], G.Order()) cc_orders = [cc.Representative().Order() for cc in G.ConjugacyClasses()] print("Conjugacy classes:", [cc_orders.count(n) for n in orders], len(cc_orders))
 
Copy content oscar:# Oscar code to output the first two rows of the group statistics table element_orders = [order(g) for g in elements(G)] orders = sort(unique(element_orders)) println("Orders: ", orders) element_counts = [count(==(n), element_orders) for n in orders] println("Elements: ", element_counts, " ", order(G)) ccs = conjugacy_classes(G) cc_orders = [order(representative(cc)) for cc in ccs] cc_counts = [count(==(n), cc_orders) for n in orders] println("Conjugacy classes: ", cc_counts, " ", length(ccs))
 

Order 1 2 3 4 5 6 7 8 9 10 12 14 18 20 28 36
Elements 1 5671 47600 141752 653184 501200 933120 2449440 483840 653184 1637440 933120 483840 1306368 1866240 967680 13063680
Conjugacy classes   1 2 4 7 1 8 2 5 4 1 16 2 4 2 4 8 71
Divisions 1 2 4 5 1 8 1 3 2 1 10 1 2 1 1 2 45
Autjugacy classes 1 2 3 5 1 6 1 3 1 1 8 1 1 1 2 1 38

Copy content comment:Compute statistics about the characters of G
 
Copy content magma:// Outputs [<d_1,c_1>, <d_2,c_2>, ...] where c_i is the number of irr. complex chars. of G with degree d_i CharacterDegrees(G);
 
Copy content gap:# Outputs [[d_1,c_1], [d_2,c_2], ...] where c_i is the number of irr. complex chars. of G with degree d_i CharacterDegrees(G);
 
Copy content sage:# Outputs [[d_1,c_1], [d_2,c_2], ...] where c_i is the number of irr. complex chars. of G with degree d_i character_degrees = [c[0] for c in G.character_table()] [[n, character_degrees.count(n)] for n in set(character_degrees)]
 
Copy content sage_gap:# Outputs [[d_1,c_1], [d_2,c_2], ...] where c_i is the number of irr. complex chars. of G with degree d_i G.CharacterDegrees()
 
Copy content oscar:# Outputs an MSet containing the absolutely irreducible degrees of G and their multiplicities. character_degrees(G)
 

Dimension 1 20 21 35 40 56 70 90 120 140 189 210 224 240 280 315 420 504 540 560 630 640 729 840 896 1080 1280 1680 1792 2560
Irr. complex chars.   1 3 1 2 0 2 5 1 3 3 1 3 8 0 10 2 3 2 3 2 1 8 1 2 4 0 0 0 0 0 71
Irr. rational chars. 1 1 1 2 1 2 1 1 1 3 1 1 0 1 1 2 2 2 1 7 1 0 1 1 4 1 2 1 1 1 45

Minimal presentations

Permutation degree:$2160$
Transitive degree:not computed
Rank: $2$
Inequivalent generating pairs: not computed

Minimal degrees of faithful linear representations

Over $\mathbb{C}$ Over $\mathbb{R}$ Over $\mathbb{Q}$
Irreducible 20 40 40
Arbitrary not computed not computed not computed

Constructions

Show commands: Gap / Magma / Oscar / SageMath


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

Elements of the group are displayed as matrices in $\SU(4,3)$.

Homology

Abelianization: $C_1 $
Copy content comment:The abelianization of the group
 
Copy content magma:quo< G | CommutatorSubgroup(G) >;
 
Copy content gap:FactorGroup(G, DerivedSubgroup(G));
 
Copy content sage:G.quotient(G.commutator())
 
Copy content sage_gap:G.FactorGroup(G.DerivedSubgroup())
 
Copy content oscar:quo(G, derived_subgroup(G)[1])
 
Schur multiplier: not computed
Copy content comment:The Schur multiplier of the group
 
Copy content gap:AbelianInvariantsMultiplier(G);
 
Copy content sage:G.homology(2)
 
Copy content sage_gap:G.AbelianInvariantsMultiplier()
 
Commutator length: $1$
Copy content comment:The commutator length of the group
 
Copy content gap:CommutatorLength(G);
 
Copy content sage_gap:G.CommutatorLength()
 

Subgroups

Copy content comment:List of subgroups of the group
 
Copy content magma:Subgroups(G);
 
Copy content gap:AllSubgroups(G);
 
Copy content sage:G.subgroups()
 
Copy content sage_gap:G.AllSubgroups()
 
Copy content oscar:subgroups(G)
 

Subgroup data has not been computed.

Character theory

Copy content comment:Character table
 
Copy content magma:CharacterTable(G); // Output not guaranteed to exactly match the LMFDB table
 
Copy content gap:CharacterTable(G); # Output not guaranteed to exactly match the LMFDB table
 
Copy content sage:G.character_table() # Output not guaranteed to exactly match the LMFDB table
 
Copy content sage_gap:G.CharacterTable() # Output not guaranteed to exactly match the LMFDB table
 
Copy content oscar:character_table(G) # Output not guaranteed to exactly match the LMFDB table
 

Complex character table

See the $71 \times 71$ character table. Alternatively, you may search for characters of this group with desired properties.

Rational character table

See the $45 \times 45$ rational character table.