/*
www-ATLAS of Group Representations.
Fi22:2 represented as permutations on 3510 points.
*/

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