/*
www-ATLAS of Group Representations.
2.S6(2) represented as permutations on 2160 points.
*/

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