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

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