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