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