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

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