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