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