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

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