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