Properties

Label 811273008.a
Order \( 2^{4} \cdot 3 \cdot 7^{2} \cdot 13^{3} \cdot 157 \)
Exponent \( 2^{3} \cdot 3 \cdot 7 \cdot 13 \cdot 157 \)
Simple yes
$\card{G^{\mathrm{ab}}}$ \( 1 \)
$\card{Z(G)}$ 1
$\card{\Aut(G)}$ \( 2^{5} \cdot 3 \cdot 7^{2} \cdot 13^{3} \cdot 157 \)
$\card{\mathrm{Out}(G)}$ \( 2 \)
Perm deg. $2198$
Trans deg. $2198$
Rank $2$

Related objects

Downloads

Learn more

Show commands: Gap / Magma / SageMath

Copy content magma:G := SU(3,13);
 
Copy content gap:G := SU(3,13);
 
Copy content sage:G = PSU(3,13)
 
Copy content comment:Define the group as a permutation group
 

Group information

Description:$\SU(3,13)$
Order: \(811273008\)\(\medspace = 2^{4} \cdot 3 \cdot 7^{2} \cdot 13^{3} \cdot 157 \)
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()
 
Exponent: \(342888\)\(\medspace = 2^{3} \cdot 3 \cdot 7 \cdot 13 \cdot 157 \)
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()
 
Automorphism group:$\PGammaU(3,13)$, of order \(1622546016\)\(\medspace = 2^{5} \cdot 3 \cdot 7^{2} \cdot 13^{3} \cdot 157 \)
Copy content comment:Automorphism group
 
Copy content gap:AutomorphismGroup(G);
 
Copy content magma:AutomorphismGroup(G);
 
Copy content sage_gap:G.AutomorphismGroup()
 
Composition factors:$\SU(3,13)$
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()
 
Derived length:$0$
Copy content comment:Derived length of the group
 
Copy content magma:DerivedLength(G);
 
Copy content gap:DerivedLength(G);
 
Copy content sage_gap:G.DerivedLength()
 

This group is nonabelian and simple (hence nonsolvable, perfect, quasisimple, and almost simple).

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 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 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 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 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 comment:Determine if the group G is simple
 
Copy content magma:IsSimple(G);
 
Copy content gap:IsSimpleGroup(G);
 
Copy content sage_gap:G.IsSimpleGroup()
 

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))
 

Order 1 2 3 4 6 7 8 12 13 14 21 24 26 28 42 56 84 91 157 168 182
Elements 1 26533 4829006 4829006 4829006 20854938 9658012 9658012 4826808 87081306 28974036 19316024 4457544 28974036 28974036 57948072 57948072 26745264 268701888 115896144 26745264 811273008
Conjugacy classes   1 1 1 1 1 11 2 2 2 27 6 4 1 6 6 12 12 6 52 24 6 184
Divisions 1 1 1 1 1 3 1 1 2 5 1 1 1 1 1 1 1 1 1 1 1 28
Autjugacy classes 1 1 1 1 1 7 1 2 2 15 3 2 1 3 3 6 6 3 26 12 3 100

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:G.CharacterDegrees()
 

Dimension 1 156 157 942 1884 2041 2197 2198 2352 3768 4396 5652 8792 11304 12246 13188 26376 52752 122304
Irr. complex chars.   1 1 13 0 26 13 1 77 52 0 0 0 0 0 0 0 0 0 0 184
Irr. rational chars. 1 1 1 2 0 1 1 3 0 1 2 2 1 3 2 3 2 1 1 28

Minimal presentations

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

Minimal degrees of faithful linear representations

Over $\mathbb{C}$ Over $\mathbb{R}$ Over $\mathbb{Q}$
Irreducible 156 157 157
Arbitrary not computed not computed not computed

Constructions

Show commands: Gap / Magma / SageMath


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

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

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())
 
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()
 

There are 335083691 subgroups in 121 conjugacy classes, 2 normal, and all normal subgroups are characteristic.

Characteristic subgroups are shown in this color.

Special subgroups

Center: a subgroup isomorphic to $C_1$
Copy content comment:Center of the group
 
Copy content magma:Center(G);
 
Copy content gap:Center(G);
 
Copy content sage:G.center()
 
Copy content sage_gap:G.Center()
 
Commutator: a subgroup isomorphic to $\SU(3,13)$
Copy content comment:Commutator subgroup of the group G
 
Copy content magma:CommutatorSubgroup(G);
 
Copy content gap:DerivedSubgroup(G);
 
Copy content sage:G.commutator()
 
Copy content sage_gap:G.DerivedSubgroup()
 
Frattini: a subgroup isomorphic to $C_1$
Copy content comment:Frattini subgroup of the group G
 
Copy content magma:FrattiniSubgroup(G);
 
Copy content gap:FrattiniSubgroup(G);
 
Copy content sage:G.frattini_subgroup()
 
Copy content sage_gap:G.FrattiniSubgroup()
 
Fitting: not computed
Copy content comment:Fitting subgroup of the group G
 
Copy content magma:FittingSubgroup(G);
 
Copy content gap:FittingSubgroup(G);
 
Copy content sage:G.fitting_subgroup()
 
Copy content sage_gap:G.FittingSubgroup()
 
Radical: not computed
Copy content comment:Radical of the group G
 
Copy content magma:Radical(G);
 
Copy content gap:SolvableRadical(G);
 
Copy content sage_gap:G.SolvableRadical()
 
Socle: not computed
Copy content comment:Socle of the group G
 
Copy content magma:Socle(G);
 
Copy content gap:Socle(G);
 
Copy content sage:G.socle()
 
Copy content sage_gap:G.Socle()
 
2-Sylow subgroup: $P_{ 2 } \simeq$ $\SD_{16}$
3-Sylow subgroup: $P_{ 3 } \simeq$ $C_3$
7-Sylow subgroup: $P_{ 7 } \simeq$ $C_7^2$
13-Sylow subgroup: $P_{ 13 } \simeq$ $\He_{13}$
157-Sylow subgroup: $P_{ 157 } \simeq$ $C_{157}$

Subgroup diagram and profile

Series

Derived series not computed
Copy content comment:Derived series of the group GF
 
Copy content magma:DerivedSeries(G);
 
Copy content gap:DerivedSeriesOfGroup(G);
 
Copy content sage:G.derived_series()
 
Copy content sage_gap:G.DerivedSeriesOfGroup()
 
Chief series not computed
Copy content comment:Chief series of the group G
 
Copy content magma:ChiefSeries(G);
 
Copy content gap:ChiefSeries(G);
 
Copy content sage_gap:G.ChiefSeries()
 
Lower central series not computed
Copy content comment:The lower central series of the group G
 
Copy content magma:LowerCentralSeries(G);
 
Copy content gap:LowerCentralSeriesOfGroup(G);
 
Copy content sage:G.lower_central_series()
 
Copy content sage_gap:G.LowerCentralSeriesOfGroup()
 
Upper central series not computed
Copy content comment:The upper central series of the group G
 
Copy content magma:UpperCentralSeries(G);
 
Copy content gap:UpperCentralSeriesOfGroup(G);
 
Copy content sage:G.upper_central_series()
 
Copy content sage_gap:G.UpperCentralSeriesOfGroup()
 

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
 

Complex character table

See the $184 \times 184$ character table (warning: may be slow to load). Alternatively, you may search for characters of this group with desired properties.

Rational character table

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