/*
www-ATLAS of Group Representations.
A14 represented as permutations on 3003 points.
*/

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