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