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