/* www-ATLAS of Group Representations. 4.M22 represented as permutations on 4928 points. */ G:=PermutationGroup<4928|\[ 2,1,9,6,14,4,16,18,3,23,20,22,26,5,27,7,30,8,31,11,36,12,10,39,41, 13,15,42,44,17,19,43,48,50,53,21,56,57,24,62,25,28,32,29,68,70,71,33,76,34, 52,51,35,80,55,37,38,88,85,87,91,40,94,95,97,98,67,45,102,46,47,109,106,108,112, 49,115,116,79,54,121,120,83,123,59,128,60,58,131,133,61,136,139,63,64,143,65,66,148,149, 151,69,152,154,155,73,160,74,72,163,165,75,168,171,77,78,175,176,179,82,81,183,84,188,185, 187,191,86,194,195,89,198,90,199,201,92,205,204,93,209,210,212,96,215,217,218,220,99,100,225, 101,103,230,104,105,236,234,235,239,107,242,243,110,248,111,250,252,113,256,255,114,260,261,263,117, 118,269,268,119,273,274,277,122,279,125,284,126,124,287,289,127,192,294,129,130,297,299,132,134,304, 135,307,310,138,137,314,315,318,140,141,321,142,324,326,144,329,145,146,334,147,337,339,340,342,150, 226,346,347,349,153,352,354,319,157,158,156,356,358,159,361,364,161,162,275,367,369,372,164,375,166, 378,167,381,384,170,169,388,389,392,172,173,396,174,398,400,401,404,178,177,407,365,410,180,181,244, 414,182,418,184,423,420,422,426,186,429,430,189,435,190,290,438,439,293,193,443,444,196,449,197,451, 453,454,456,200,459,320,202,464,463,203,468,469,472,206,207,477,476,208,233,306,211,481,409,213,338, 214,408,488,216,491,493,494,496,219,360,498,221,325,222,223,505,224,508,510,511,227,228,516,229,519, 521,231,524,232,525,237,530,238,532,335,240,362,536,241,271,539,245,544,246,399,415,247,548,551,249, 553,555,251,558,560,253,561,538,254,565,566,569,257,258,574,573,259,578,579,581,262,583,264,370,265, 266,591,590,267,595,596,270,327,323,272,600,601,604,276,371,606,609,278,611,281,616,282,280,619,621, 283,624,627,285,286,470,630,632,635,288,638,639,291,292,644,645,589,295,296,653,650,652,656,298,659, 300,662,301,302,667,303,670,672,305,675,676,679,309,308,683,684,687,311,312,431,691,313,695,696,699, 317,316,703,704,706,322,482,709,711,712,714,715,328,718,720,330,723,331,332,728,333,731,336,734,736, 737,739,740,742,341,745,747,343,520,344,345,754,727,756,758,348,761,763,350,509,351,768,770,353,355, 567,774,776,779,357,782,359,533,785,788,363,537,383,366,794,791,793,797,368,800,801,803,373,807,806, 374,811,376,812,377,815,817,379,820,380,382,825,826,651,385,386,526,831,387,835,571,838,391,390,842, 843,846,393,394,850,395,853,397,856,858,859,861,862,442,403,402,866,867,870,405,406,874,875,878,411, 412,883,882,413,887,416,891,890,417,894,419,898,895,897,901,421,904,905,424,910,425,912,914,427,918, 917,428,922,923,432,928,433,671,692,434,932,935,436,437,939,849,941,944,440,441,947,824,865,949,446, 564,447,445,956,958,448,961,964,450,966,717,452,970,972,973,920,455,977,979,457,633,458,984,986,460, 461,992,991,462,995,996,999,465,466,1004,1003,467,1008,1009,1012,471,634,1014,1017,473,474,697,1021,475,1025, 1026,1029,478,479,719,480,1035,1037,483,1040,484,485,1045,486,487,1049,661,489,705,490,721,1055,492,1058,1060, 1061,513,495,1063,1065,497,1068,1070,499,1073,500,501,1078,502,503,1081,504,1084,1086,506,1089,507,1091,1093,1094, 1096,1097,1099,512,1101,514,1104,515,1106,1108,517,1111,518,1114,1116,1117,1119,522,769,523,1124,1126,1127,527,1132, 528,816,832,529,1136,1139,531,1141,1143,534,1147,1146,535,1151,1152,541,1157,542,540,1160,1162,543,1165,1168,545, 546,1172,547,1175,1178,550,549,1182,1183,1186,552,554,1189,953,556,777,557,818,1195,559,1198,1200,1201,647,562, 563,1206,954,1207,1210,568,778,1212,1215,570,1217,837,572,1221,1222,1225,575,576,1230,1229,577,1233,1234,641,580, 1236,1238,582,1241,1243,584,1245,585,586,1250,587,588,1254,1253,648,592,593,1259,1258,594,1263,1264,1267,597,598, 1272,1271,599,1276,1277,1028,603,602,1282,1283,1286,605,1288,1291,608,607,1295,1296,610,613,1299,614,612,1302,1304, 615,1307,1310,617,618,942,1313,1315,1318,620,1321,622,1324,623,1326,1329,626,625,1333,666,1335,628,629,1341,1338, 1340,1344,631,1347,1348,1350,636,1353,1352,637,1357,1358,1360,640,1362,642,906,1365,643,1369,1370,646,1372,649,990, 1374,1376,814,828,1379,654,1384,655,1386,1388,657,1392,1391,658,1396,660,1103,1399,1401,663,1404,664,665,1409,1410, 1412,668,1415,669,1418,1420,1421,1423,673,985,674,1072,1429,1430,950,678,677,1436,1294,680,681,1027,1440,682,1444, 1445,1448,686,685,1451,1257,1454,688,689,1458,1457,690,1462,693,1466,1465,694,1470,1120,1473,698,1022,1475,1478,700, 701,997,881,702,1484,1485,1487,1488,1490,707,1493,708,1496,1498,710,1501,1503,1504,1506,713,1509,1511,1512,716,1514, 1516,1517,1519,1520,722,1523,1525,724,1528,725,726,1531,729,1532,730,1534,1536,732,1539,733,1542,987,735,1546,1548, 1549,1551,738,1554,1555,741,1558,1560,743,1098,744,1565,1567,746,1570,748,1573,749,750,1577,751,752,1085,753,1584, 755,1586,967,757,1553,759,1125,760,1594,1205,762,1256,1598,764,1600,765,766,1605,767,1019,1261,1609,1611,771,1107, 772,773,1618,1616,1617,1621,775,1624,1625,1627,780,1631,1630,781,1635,783,1638,784,1641,1644,787,786,1648,1149,1651, 789,790,1657,1654,1656,1660,792,1663,1664,795,1669,796,1671,1673,798,1677,1676,799,1681,1682,1684,802,1687,1689,804, 1693,1692,805,1697,1637,1699,808,809,1702,1701,810,1706,1707,813,1710,1712,1713,1715,1716,819,1719,1720,821,1723,822, 823,1223,1726,1727,1110,827,829,1734,1733,830,1738,833,1742,1741,834,1744,836,1747,1748,1751,839,840,1202,1755,841, 1758,1759,1762,845,844,1766,1767,847,848,1770,851,1773,852,1776,1653,854,1779,855,1781,857,1784,1786,1538,1788,860, 1791,1792,864,863,1796,1112,1006,869,868,1799,1121,1802,871,872,1483,1806,873,1809,1269,1290,877,876,1814,1427,1816, 879,880,1821,1820,1822,1825,884,885,1830,1829,886,1833,888,1835,1270,889,1838,1839,994,892,893,1845,1846,896,1849, 1850,899,1303,900,1856,1858,902,1862,1861,903,1866,1867,907,1743,908,1359,1366,909,1874,1564,911,1753,1879,913,1882, 915,1885,1884,916,1888,1889,1892,919,1790,921,1896,1897,925,1902,926,924,1905,1907,927,1910,1913,929,930,1916,931, 1919,934,933,1923,1722,1925,936,937,1316,938,1524,940,1932,1935,943,1317,1937,1940,945,946,1942,948,1944,951,1949, 952,1408,1433,955,1400,1952,1954,1957,957,1960,959,1963,960,1966,1968,963,962,1972,1446,1975,965,1977,1979,968,1380, 969,1984,1985,971,1595,1989,1990,1377,974,975,1428,976,1997,1730,978,1772,2001,980,1590,981,982,2007,983,1472,1801, 2011,1274,1411,988,989,2016,2015,1378,2018,2021,993,1842,1459,2024,998,1481,2026,2029,1000,1001,1394,2033,1002,1709,2036, 1005,2038,1771,1007,2042,1661,1011,1010,1438,2045,2048,1013,2050,2053,1016,1015,2057,2058,2061,1018,2063,1424,1020,1774,1023, 2069,2068,1024,1540,2072,1441,1482,1265,1030,1031,2077,1032,1033,2080,1034,2083,1685,1036,1494,2088,1038,2090,1039,2093,2071, 1041,2097,1042,1043,2102,1044,1645,2106,1046,2107,1047,1048,2111,1050,2114,1051,1052,1871,1053,1054,2121,2123,1056,1361,1057, 2127,1917,1059,2131,2132,1062,1064,2136,1066,1614,1067,1537,1248,1069,1479,2144,1071,2147,2148,2150,1074,2153,1075,1076,2156, 1077,2158,1105,1079,1080,2164,1557,1082,2168,1083,2171,1714,2173,1320,1087,2176,1088,2178,2180,1090,2183,2185,1092,2188,2190, 2019,1095,1763,2194,2195,2197,2198,2200,1100,2201,1102,2202,2203,2204,1419,2206,2207,2209,1109,1405,2212,2213,1113,2091,1115, 2217,1797,2219,2221,1118,2224,2226,2227,1122,2230,1123,2231,1613,1535,2233,1129,1130,1128,2237,2238,1131,2241,2244,1133,1134, 2248,1135,2250,2251,1138,1137,2254,1950,2256,1140,2258,1180,1142,1639,2261,1144,2265,2264,1145,1507,2268,2269,1148,2270,1650, 1150,2274,1240,1154,2277,1155,1153,2280,2282,1156,1456,1983,1158,1159,1698,1704,2108,2143,1161,1815,1163,2293,1164,2296,2260, 1167,1166,2301,2302,2305,1169,1170,2309,1171,1492,2312,1173,2313,1174,2315,2318,1177,1176,2322,2003,2324,1179,1665,1181,2328, 1185,1184,2331,1666,2140,1187,1188,2335,1449,1190,2339,1191,1192,1562,1193,1194,2346,2348,1196,1197,2352,1355,1199,1887,2356, 1203,1204,1864,2360,1414,2362,2365,1209,1208,2369,2370,2373,1211,2375,2378,1214,1213,1314,1216,1938,2383,1218,1219,2388,2387, 1220,2391,1322,2393,1224,2395,2398,1226,1227,2402,2401,1228,1578,2405,2408,1231,1232,2177,2410,1235,1453,1416,1237,1474,2416, 1239,2014,1778,1242,2418,1244,2421,2423,1246,2426,1247,2428,1249,2430,1334,1251,1252,2435,2436,2439,1255,1602,2443,1260,2065, 1425,1262,2446,2010,2448,1266,2075,2450,1268,2109,1811,2452,2453,1273,1670,1275,2456,2457,2460,1279,1278,1280,1840,2466,1281, 2469,2470,2473,1285,1284,2477,2263,1287,2333,1289,2481,2482,1292,1293,1823,2486,1437,2246,2489,1297,1298,2493,2496,1300,1301, 1890,2499,2501,1854,1855,1305,2506,1306,1859,2511,1309,1308,2515,1728,1945,1311,1312,2523,2520,2522,1518,2525,1877,1319,2530, 2529,1873,2532,1323,2533,2535,1325,2538,1328,1327,2542,1724,1330,1331,1851,2545,1332,2549,2550,2553,1336,1337,2559,2556,2558, 2562,1339,2565,2566,1342,2571,1343,2573,2575,1345,2578,2577,1346,2581,2582,1349,1527,2585,1351,2586,2539,2589,1354,2591,1356, 2594,2595,2597,2598,2600,2601,1363,2605,2604,1364,2609,1367,1745,2612,1368,2616,1371,2618,1373,1865,2619,2621,2081,1375,1633, 2252,1381,2629,1382,1956,1955,1383,1958,2092,1385,2636,2637,1387,1998,2641,1389,2644,1390,2646,2647,2649,1393,2376,2034,1395, 2654,1397,2170,1398,2658,2660,1982,1662,1402,1403,2665,2653,2666,1406,1407,2668,2669,2625,2670,2671,2673,1413,1964,2676,2677, 1417,2283,1695,2442,2681,2683,1422,2686,2688,1804,1426,2691,2013,1777,1432,1431,2695,1434,1576,2698,1435,2659,2699,1439,2702, 1442,2703,2447,1443,2707,2708,2711,1447,1974,2169,1450,2715,1452,2716,2717,2720,1455,2286,2722,1460,2046,2103,1461,2413,1463, 2729,2728,1464,2733,2734,2735,1467,1468,2739,2738,1469,2742,1471,2137,1800,2743,2746,1477,1476,2749,1500,1480,2752,2074,1807, 2754,1486,2756,2758,1489,1948,2760,1491,2763,2764,2765,2292,1495,2768,1497,1599,1959,1499,2105,2772,2271,1502,2776,2778,2779, 2781,1505,2047,2785,2094,1508,1510,1667,1810,2791,1513,2794,2796,1515,2281,2800,2801,2802,2199,2804,1521,2807,1522,2809,2810, 2812,1526,2814,2815,2817,1529,1530,2820,2655,2822,1533,2064,2823,2824,1705,2825,2464,1668,1541,2828,2830,1543,1544,2159,1545, 2835,2837,1547,2762,2314,1550,2842,1552,2149,2247,2846,2847,2253,1556,2179,2166,2852,1559,2035,1978,1561,2858,1563,2861,2588, 1566,1768,1568,2165,1569,2868,2870,1571,2873,1572,2876,2878,1574,2880,1575,2392,2883,2884,1579,1580,2889,1581,1582,2119,1583, 1585,1587,1588,1589,2901,1591,1592,2902,1593,2905,2907,1596,1597,2910,2912,2913,1601,2218,1603,2917,1604,2920,2921,1606,2924, 1607,1608,2926,2928,1610,1612,2932,1615,2934,2935,2505,1619,1620,2936,2938,1622,2942,2941,1623,2946,1843,2160,1626,2949,1628, 1629,1951,2163,1632,2759,1634,2956,1636,2959,1675,1640,2962,1832,1643,1642,2967,2290,1646,1647,1649,2096,2971,2974,1652,2976, 2977,1655,2978,2979,1658,2115,1659,2002,2635,2986,2043,2632,2771,2311,2267,2988,2087,1672,2992,2993,1674,2997,2996,2998,3001, 1678,1679,2472,3005,1680,3007,3008,3010,1683,3013,2289,1686,1688,2155,1690,3019,3006,1691,3023,3024,3027,1694,3029,1696,3032, 3033,2787,1700,3037,3040,1703,2790,1834,3042,1708,2507,3045,3047,1711,2984,3049,3050,2940,2599,3053,1717,3055,1718,3057,3058, 3060,1721,3062,3063,3065,1725,3068,3069,3072,1729,2517,1731,3076,3075,1732,3079,3080,3081,1735,1736,3083,2983,1737,3087,1739, 1973,3089,1740,3092,3093,2406,2613,1746,3097,3098,2975,1750,1749,3103,3104,1752,2191,1754,3108,1756,3112,3111,1757,3116,2400, 1761,1760,3120,3121,1764,2381,3124,1765,3128,1769,3131,3133,2049,3135,2445,1775,3136,1780,3139,2995,1782,2431,1783,2777,3144, 1785,2958,1787,3149,1789,2422,2563,3150,3153,1793,1794,2441,3157,1795,3160,2437,2004,1798,3164,2415,1803,2028,1805,2933,1808, 3168,1812,1813,3171,3174,1817,1818,3178,3177,1819,3180,3181,2463,2142,3184,1824,2487,3186,1826,1827,3188,2303,1828,3192,3193, 2839,1831,2965,3197,3200,1836,1837,3202,3203,2844,1841,2467,3204,1844,2874,3206,2954,1847,3198,3210,1848,2948,2667,1852,3216, 1853,2534,2546,2504,2236,1857,2336,2622,2719,2510,1860,2755,3222,3224,1863,3226,2361,2623,3228,1869,3229,1870,1868,3232,1872, 3235,3236,3239,1876,1875,3243,1878,1880,2502,1881,3247,3249,1883,1921,2862,3251,1886,3252,3255,1891,2503,3257,2723,1893,1894, 3263,3262,1895,3267,3268,1899,3273,1900,1898,3276,3278,1901,2432,2875,1903,1904,2587,3283,3285,3288,1906,3291,1908,3293,1909, 3295,1912,1911,3297,3298,1914,1915,3230,3300,1918,1920,2567,2175,1922,3305,1924,3308,3311,1926,1927,3315,1928,1929,2344,1930, 1931,3321,3324,1934,1933,3326,3327,3189,1936,3056,3332,1939,2382,2643,3336,1941,3212,1943,1946,3340,1947,2508,2518,2657,1993, 2947,2953,3342,1953,3345,2631,2287,3347,2634,2284,1961,1962,3352,3353,3051,1965,3356,2614,1967,3360,1969,1970,3364,1971,3355, 3090,2849,1987,1976,2134,3367,2624,1980,2022,1981,3370,3371,2894,3373,1986,1988,2498,1991,1992,1994,1995,3379,1996,3382,3384, 1999,2000,2851,3388,2680,2005,3389,2006,3392,3393,2008,3396,2009,3398,3400,2012,3003,3401,3404,2017,3199,3408,2020,2023,3412, 3413,2025,2027,3415,3416,3418,2030,2031,3423,3422,2032,3427,3166,2909,2037,2039,2040,2911,2509,2041,3434,2044,2548,2724,2821, 3437,2727,2052,2051,3442,3443,3446,2054,2055,2056,3452,3455,2060,2059,3459,3460,2062,2066,3465,3464,2067,3467,3316,2070,3468, 2751,2073,3471,2076,2512,2078,3473,2079,2255,2082,3475,2154,2084,2085,2086,3480,3101,2089,3482,3483,2288,2095,3485,3486,3488, 2098,2424,2099,2100,3489,2101,3492,3494,3260,2104,3497,2327,3499,3501,2332,2110,3504,3506,2112,3508,2113,3510,3511,3512,2116, 2117,2118,2816,2120,3519,2961,2122,3317,2124,2125,3526,2126,2813,2128,2129,2803,2130,3535,3537,2133,2725,2135,2138,2139,2141, 3544,3546,2145,3004,2146,3547,2832,3549,3550,2151,3330,2152,3553,2476,3407,3556,2157,3557,2485,3558,2161,2162,3555,2652,3562, 2678,2167,3563,3564,3565,3566,3567,2172,3176,3570,2174,2540,3573,3574,3576,3577,2914,2181,3580,2182,3583,3585,2184,2490,2564, 2186,2882,2187,3593,2189,3594,2877,2192,2193,3598,3600,3601,3603,2196,3165,3143,3105,3606,2663,3608,2952,3609,3611,3147,3613, 2205,2208,3617,3618,2210,3621,2211,3542,2714,2214,2718,2215,2216,2867,3629,2916,2220,3632,3634,2222,2223,3639,3641,2225,3644, 2228,3647,2229,3329,3648,2931,2232,2449,2234,2235,2239,3652,2240,3653,2343,2243,2242,3657,2944,3658,2245,2626,2497,2249,3661, 3662,2896,2627,2492,2955,2257,3665,2427,2259,3667,2806,2262,3670,3669,2478,3517,2266,3672,3673,3674,2272,3678,3677,2273,2386, 2275,2276,2278,2279,2999,3684,3686,2372,2340,3689,2285,3692,2291,3693,3694,3696,2294,2295,3698,2420,2298,2297,2299,2980,3703, 2300,3707,2692,2829,2304,2317,2306,2307,3710,2308,3713,3715,2310,3718,3036,3720,3722,3723,2316,3726,3727,3509,2319,2320,3038, 3732,2321,3736,2323,3738,3741,2325,2326,3744,3701,3015,2329,3025,3748,2330,3750,2334,3753,3755,2337,3757,2338,3363,2341,2342, 2640,3064,2345,3764,2347,2610,2349,2350,3568,2351,3061,2353,2354,3052,2355,3520,3780,2357,2358,3785,3784,2359,3788,3789,2364, 2363,3793,3491,2366,2367,2368,3487,2371,3375,3800,3803,2374,3805,2377,2651,3444,2379,2380,3125,3477,3808,2384,2385,3502,3812, 2767,3814,2389,2390,2892,3817,3820,2394,3822,3280,2397,2396,3231,3825,3795,2399,3117,3829,3368,2403,2404,3635,3837,2407,3094, 3839,3534,2409,3801,3844,2411,3134,2412,3132,2414,2417,3850,3852,2419,3709,3854,3855,2891,2425,3858,3196,2899,3861,2429,2433, 3863,3862,2434,3867,3868,3871,2438,3161,3873,2440,3158,3875,3878,2444,2890,2713,3882,2451,3884,3885,2454,3889,3888,2455,3892, 2859,2459,2458,3697,2461,2462,3194,3896,2465,3897,2468,3899,2471,2608,3551,3901,2474,2475,3182,3904,3146,2479,2494,2696,2480, 3909,2483,2484,2488,3824,2491,3860,3913,3391,2495,3906,2617,3365,3354,3916,2500,3918,3919,3920,3921,3663,2513,3895,2514,3925, 2516,3927,2519,2521,2583,3113,2524,3893,3932,2526,2527,3936,3853,2528,3940,3941,3944,2531,3946,3625,3948,2536,3610,2537,3286, 2541,2543,3957,3956,2544,3432,2547,3939,3961,2784,3963,2552,2551,3402,3965,3968,2554,2555,3973,3970,3972,3976,2557,3979,3857, 2560,3983,2561,3281,3110,3279,3985,2568,3284,2569,3250,3303,2570,3934,3994,2572,3996,2574,3997,2576,4000,2579,2580,4003,2584, 4006,4007,3287,4008,2590,3306,4011,2592,3728,4014,2593,4017,4018,4020,2596,2748,2808,4021,3350,4023,2602,3676,4025,2603,4029, 2606,2607,4030,2929,2836,3831,2611,4034,4035,3359,2615,3782,3659,4038,2620,4041,2628,3530,4036,2630,3612,2633,3406,4046,3319, 4048,2638,2639,3214,2650,2642,3357,4051,3335,2645,3922,4053,3048,2648,3213,4056,2656,3119,4022,2661,2662,3372,2664,4061,3084, 4063,4064,4065,2672,4067,4068,2674,4071,2675,3681,3430,3431,2679,2682,4078,3209,2684,2685,4082,4084,2687,4087,2689,4090,2690, 2693,3264,4093,2694,4094,3348,2840,2697,4095,4096,4097,2700,2701,4102,2704,2705,4105,2706,4107,4108,4109,2710,2709,4112,4113, 4116,2712,4118,3881,3386,3387,3256,3690,2721,4120,4121,2726,4123,3439,4124,3947,2730,2731,3091,4127,2732,3561,3531,3828,4130, 4132,2736,4136,4135,2737,3898,4139,4142,2740,2741,4144,4060,4147,2745,2744,4150,2747,2750,3859,4151,2753,4152,2757,3474,2761, 4154,3095,4155,4156,2766,4159,2769,2770,3762,2773,2774,3082,2775,2780,4015,3078,2782,3500,2783,4173,4175,2786,4177,2788,3493, 2789,3099,4181,2792,4183,2793,4185,2795,3022,2797,2798,2799,3835,4190,3910,3633,2966,4191,2805,3066,4193,4194,4196,4197,3588, 2811,4198,4101,3816,3343,3448,3886,4200,3127,2818,3830,2819,4203,4205,4206,4208,2908,4210,2826,4212,2827,2831,3554,2833,2834, 3190,3981,2838,3548,2848,2841,2843,2845,3769,4217,3447,2850,2853,2854,2855,2856,2857,3059,4223,2860,4226,3991,2863,2864,4077, 2865,2866,4225,4233,2869,4234,4236,2871,4238,2872,3699,4242,3525,4243,3590,3945,4246,2879,2881,4250,3596,4251,2885,3711,2886, 2887,4158,2888,3903,3772,2893,4045,2895,2897,3248,2898,3346,2900,3929,3811,4261,2903,2904,4264,3866,2906,4267,4269,4010,3245, 4162,3798,4270,2915,4272,3958,2918,3516,2919,3122,3771,4275,4277,2922,3960,2923,4001,4282,2925,4050,4284,2927,2930,3905,4286, 4287,2937,2939,4079,4290,3980,2943,2945,3338,3660,2950,2951,3221,3664,2957,4293,2960,4296,2964,2963,4298,2968,2969,2970,4213, 3322,2973,2972,4303,3779,3385,4305,4070,2981,3685,2982,3695,3704,2985,3433,4310,2987,2989,2990,3687,2991,3179,2994,3586,3856, 3035,4314,3000,3688,3815,3834,3002,4316,3140,3009,3599,3794,3011,3721,3012,4321,4323,3014,4325,3016,3714,3017,3018,4137,4329, 3020,3021,3309,3758,4330,4333,3026,3749,4335,4338,3028,4340,3030,4344,4343,3031,4348,4349,3034,4328,4351,4354,3039,3733,3041, 3813,4280,3043,4357,3044,4358,3046,3729,4361,3955,4228,3484,4362,3054,4165,4364,4366,4367,3559,4247,3636,3605,4044,4100,4371, 4372,3842,4374,3680,3067,4138,3337,3877,3071,3070,4376,3890,3073,3074,4377,4265,4380,3077,3712,3115,3836,4382,3627,4384,3085, 3129,4370,3086,4231,3088,3952,4128,3096,4389,4390,3615,3100,3751,3102,3705,3529,3106,4356,4342,3107,4289,3109,4398,3205,3114, 4400,3998,3449,3118,3536,3331,4042,3833,3706,3513,3796,3123,4405,3126,4409,4408,3777,4402,3130,4393,4412,4413,4182,4415,3137, 4184,3138,3238,3141,3142,3700,3275,3145,3469,3207,3148,3152,3151,4369,3865,3620,3154,3155,4423,4422,3156,4427,3159,4430,3162, 4322,3783,3163,4431,4432,3429,3167,4436,3169,3170,3532,3999,3173,3172,3787,4442,3175,3233,4444,3223,3183,3185,3456,3187,4447, 3191,4157,3604,3195,3649,3211,4451,4454,3201,3515,4457,4458,3208,4059,4459,3215,4461,3217,3218,3219,3220,3361,4465,4307,3225, 4309,3227,4040,3614,3942,4469,3234,4252,3289,4470,3237,4473,4126,3258,3240,3241,3930,4016,3242,3591,3244,3441,3246,4478,4479, 4481,3806,4028,4410,3760,3254,3253,3631,4485,3640,3259,4475,3261,4488,3265,4491,4490,3266,4494,3270,3971,3271,3269,4497,4498, 3272,4501,4504,3274,3656,3552,4507,3277,4510,3282,4514,4511,4513,3989,3990,3572,4518,4519,3290,4520,3292,3294,3827,3887,3296, 3642,4525,3299,4004,4166,3301,3302,3304,4227,3624,3307,4160,4528,3310,3490,3943,3312,3313,4295,3314,3318,3369,3320,4531,3323, 4301,4480,3953,3325,3328,4419,4534,4535,3333,3334,3344,4099,3339,4538,3928,3341,3832,4218,3773,3607,3349,4047,3351,4544,3645, 3358,4052,3362,4262,4378,3366,4546,4222,3914,3462,3374,4104,3376,3377,3378,4550,3380,3381,4551,3683,3383,4554,4556,4403,4306, 4224,3575,3390,3654,4558,4258,3394,4167,3395,4524,4563,3397,4545,4565,3399,4566,4569,3403,3405,3409,3410,3411,4573,4037,3774, 3528,3414,4577,4062,3417,4579,3419,3420,3421,4186,4583,3424,3425,4476,4585,3426,4588,3428,4527,3435,3436,4591,3438,3440,4140, 3938,3445,3807,4536,3450,4468,3451,4278,4597,3454,3453,3724,3781,3457,4125,4429,3458,4602,3461,4603,4543,3463,4452,4605,3466, 3470,3472,4241,3476,3478,3479,3902,3602,3481,4012,4161,3626,4464,4612,3765,4005,4083,4613,4614,4616,4567,4618,3495,4414,3496, 4621,3498,4623,4489,4365,3503,3848,3505,3851,3507,4110,4624,4541,4578,3514,3518,4628,3521,3522,4375,3523,3524,3527,4352,3533, 4483,4202,3538,4633,3539,3540,4345,3541,4636,3543,4248,3545,3675,4637,4638,4530,3560,4043,4341,4639,4311,4058,3569,4076,3578, 3571,4009,3761,4255,4373,3804,4643,3579,3581,4529,3582,4237,3584,4647,4649,4153,3587,3589,4651,4396,3592,3770,4211,4653,3595, 3597,3933,4555,4492,4229,4654,4655,4081,4406,4656,3616,4054,4659,3619,3791,4661,3622,4532,3623,3628,4664,3630,4281,4542,3637, 4571,3638,4133,4586,3752,4273,3643,4670,3646,4671,3650,3651,4506,3821,3655,4448,4673,3666,4450,4019,3668,4676,3671,4677,4418, 4026,4679,3679,4308,3682,4075,3924,4304,3926,3691,4221,4681,4682,3702,4685,3708,4688,4690,4691,4693,3716,3876,3717,4696,3719, 4686,4698,3745,3725,3730,4704,4703,3731,4707,3734,4709,4708,3735,4712,3737,4219,3819,3740,3739,4207,4619,4445,3742,3743,4719, 3746,4199,4721,3747,4723,3818,3754,3756,4582,4724,3759,3763,4727,3766,4180,3767,3768,4722,3864,3802,3775,3776,4230,3778,4195, 3786,3790,4055,4552,3792,4736,3797,4559,3799,4467,4738,4739,4741,3809,3810,4746,4745,3845,4747,4748,4245,4750,3823,4575,3826, 4697,3843,4074,4474,3838,4259,4632,3841,3840,3954,4756,3846,3847,4174,3849,4521,4757,4300,4031,4434,4759,3870,3869,4762,4763, 4765,3872,4767,4141,3874,3879,3880,4611,4420,4453,3883,4620,4768,4641,4523,4769,3891,4770,3894,4347,4772,3900,4291,4774,4294, 3907,4148,4435,3908,4777,4778,3911,3912,3915,4714,3917,4694,4625,4163,3923,4564,4385,4131,3931,3935,4472,4471,3937,4404,3962, 4114,4729,3949,3950,4027,3951,4784,4201,4599,3959,4785,4787,3964,4179,3967,3966,4254,4761,3969,4495,4496,3974,3975,4790,4792, 3977,4795,4794,3978,4798,4288,3982,4801,4802,3984,3987,4553,3988,3986,4804,4805,4749,3992,3993,3995,4416,4700,4440,4085,4002, 4806,4119,4013,4235,4216,4024,4268,4808,4032,4033,4129,4812,4039,4814,4813,4188,4274,4146,4049,4088,4057,4818,4754,4819,4066, 4069,4379,4512,4072,4253,4073,4562,4080,4383,4596,4825,4557,4086,4466,4089,4091,4171,4732,4092,4828,4276,4829,4098,4589,4399, 4576,4103,4189,4106,4832,4786,4359,4111,4650,4115,4279,4800,4117,4574,4835,4122,4836,4731,4837,4667,4560,4134,4822,4484,4600, 4788,4143,4145,4640,4149,4842,4607,4720,4843,4833,4433,4164,4168,4169,4845,4170,4847,4172,4346,4437,4176,4850,4178,4187,4463, 4853,4854,4192,4855,4793,4657,4407,4204,4775,4803,4209,4214,4215,4220,4604,4439,4859,4232,4807,4841,4857,4239,4860,4240,4584, 4244,4820,4249,4256,4257,4260,4631,4658,4263,4781,4266,4799,4863,4271,4752,4702,4595,4668,4782,4283,4285,4672,4292,4861,4846, 4297,4299,4797,4302,4706,4312,4313,4868,4869,4315,4326,4687,4317,4870,4318,4319,4871,4320,4462,4716,4324,4401,4327,4699,4522, 4872,4666,4332,4331,4875,4680,4334,4337,4336,4878,4742,4339,4816,4460,4879,4695,4880,4881,4350,4608,4353,4368,4355,4360,4839, 4848,4363,4744,4477,4883,4593,4568,4755,4830,4884,4381,4885,4386,4387,4864,4388,4711,4886,4728,4392,4391,4394,4395,4517,4397, 4889,4665,4867,4548,4733,4411,4417,4892,4421,4895,4493,4424,4425,4893,4426,4899,4428,4438,4441,4443,4771,4446,4902,4449,4634, 4888,4455,4456,4780,4779,4660,4669,4891,4482,4486,4581,4487,4601,4897,4499,4873,4500,4630,4503,4502,4906,4678,4505,4662,4587, 4508,4509,4635,4515,4516,4526,4644,4533,4810,4809,4876,4537,4540,4539,4909,4713,4910,4547,4549,4652,4821,4598,4851,4831,4561, 4826,4866,4570,4572,4734,4824,4580,4610,4838,4590,4592,4594,4834,4725,4840,4645,4606,4609,4913,4615,4675,4617,4726,4917,4622, 4823,4918,4626,4627,4629,4919,4646,4911,4642,4648,4674,4915,4663,4740,4894,4827,4753,4683,4684,4689,4692,4701,4791,4890,4705, 4811,4887,4710,4715,4717,4718,4916,4730,4735,4737,4743,4877,4776,4751,4874,4783,4758,4764,4865,4760,4914,4789,4903,4766,4901, 4900,4773,4898,4912,4923,4796,4908,4907,4815,4817,4858,4904,4844,4896,4862,4882,4849,4852,4856,4925,4922,4921,4905,4926,4920, 4924,4928,4927] ,\[ 3,7,10,11,1,12,17,2,19,5,24,25,4,27,6,28,8,26,32,33,9,34,38,13,15, 14,18,43,16,45,47,21,51,52,20,54,22,58,59,23,60,64,29,66,69,30,72,73,31,74, 35,37,78,81,36,82,84,40,89,90,39,92,41,96,42,99,44,100,46,103,105,49,110,111,48, 113,50,117,53,118,55,122,56,124,125,57,126,130,61,63,134,137,62,138,141,65,144,146,67,150, 68,132,153,70,156,157,71,158,162,75,77,166,169,76,170,173,79,177,80,178,181,83,184,86,189, 190,85,192,87,102,196,88,197,200,91,202,93,206,207,94,211,95,213,216,97,219,98,221,223,101, 226,228,104,231,233,107,237,238,106,240,108,244,245,109,246,251,112,253,114,257,258,115,262,116,264, 266,119,270,271,120,275,121,276,280,281,123,282,286,127,129,290,292,128,293,296,133,131,300,302,135, 305,308,136,309,312,140,316,139,317,320,142,322,325,143,327,145,330,332,147,335,338,148,341,149,343, 345,151,348,152,350,353,154,155,318,354,355,159,161,359,362,160,363,366,164,370,371,163,373,165,376, 167,379,382,168,383,386,172,390,171,391,394,174,364,399,175,402,176,403,406,180,408,179,409,412,182, 415,416,183,419,186,424,425,185,427,187,431,432,188,433,437,191,193,440,441,194,445,446,195,447,452, 198,455,199,457,460,201,461,203,465,466,204,470,205,471,474,208,478,234,209,210,479,482,212,483,214, 485,487,215,489,492,217,495,218,497,381,220,499,222,501,503,224,506,509,225,227,512,514,229,517,520, 230,522,232,235,526,527,236,528,533,239,534,241,537,538,242,540,541,243,542,247,249,546,549,248,550, 554,250,556,559,252,336,254,562,563,255,567,256,568,571,259,575,576,260,580,261,582,263,584,265,586, 588,267,592,593,268,269,597,272,553,598,273,602,274,603,278,607,277,608,612,613,279,614,618,283,285, 622,625,284,626,629,288,633,634,287,636,289,291,640,642,295,646,294,647,649,298,654,655,297,657,299, 660,301,663,665,303,668,671,304,673,306,677,307,678,681,311,685,310,686,689,313,692,693,314,697,315, 698,701,319,705,321,707,323,710,324,713,326,328,716,719,329,721,331,724,726,333,729,334,732,735,337, 738,339,741,340,743,746,342,748,344,750,752,755,346,757,347,759,762,349,764,351,766,769,352,771,773, 357,777,778,356,780,358,783,360,786,361,787,365,397,790,368,795,796,367,798,369,802,372,804,374,808, 809,375,411,377,813,816,378,818,380,821,823,385,728,384,827,829,387,832,833,388,836,389,837,840,393, 844,392,845,848,395,851,396,854,857,398,860,400,863,401,864,717,405,868,404,869,872,407,876,410,877, 880,413,884,885,414,888,417,892,893,418,609,421,899,900,420,902,422,906,907,423,908,913,426,915,428, 919,920,429,924,925,430,926,434,436,930,933,435,934,937,940,438,942,439,943,812,442,948,443,950,951, 444,952,955,448,450,959,962,449,963,967,451,968,971,453,974,454,975,978,456,980,458,982,985,459,987, 989,462,993,994,463,997,464,998,1001,467,1005,1006,468,1010,469,1011,473,1015,472,1016,1019,475,1022,1023,476, 1027,477,1028,1031,480,1033,1036,481,1038,484,1041,1043,486,1046,1048,591,488,1050,490,1052,1054,491,1056,1059,493, 1062,494,564,1064,496,1066,1069,498,1071,500,1074,1076,502,1079,739,504,1082,1085,505,1087,507,995,1092,508,1095, 510,1098,511,825,513,1102,515,1105,1107,516,1109,518,1112,1115,519,1118,521,1120,523,1122,1125,524,1128,1129,525, 1130,529,531,1134,1137,530,1138,1142,532,1144,535,1148,1149,536,1153,1154,539,1155,1159,543,545,1163,1166,544,1167, 1170,547,1173,1176,548,1177,1180,552,1184,551,1185,1188,866,555,1190,557,1192,1194,558,1196,1199,560,1202,561,1203, 1204,850,565,1208,566,1209,570,1213,569,1214,572,1218,1219,573,1223,574,1224,1227,577,1231,1232,578,1235,579,828, 1237,581,1239,1242,583,1244,585,1246,1248,587,1251,1060,589,1255,590,814,1256,594,1260,1261,595,1265,596,1266,1269, 599,1273,1274,600,1278,601,1279,1280,605,1284,604,1285,1289,606,1290,1293,610,896,1297,861,611,894,1301,615,617, 1305,1308,616,1309,1312,620,1316,1317,619,1319,621,1322,623,758,1327,624,1328,1331,628,1334,627,679,1337,631,1342, 1343,630,1345,632,1349,635,1111,637,1354,1355,638,1359,639,715,641,1363,643,1366,1367,644,645,1371,648,1373,651, 1377,1378,650,652,1380,1381,653,1382,1387,656,1389,658,1393,1394,659,1397,661,1400,662,1402,664,1405,1407,666,1411, 667,1413,669,1416,1419,670,1422,672,1424,674,1426,1428,675,1431,676,1432,1434,680,1336,1437,1438,682,1441,1442,683, 1446,684,1447,1450,688,1452,687,1453,1456,690,1459,1460,691,1463,694,1467,1468,695,1471,696,1472,700,1476,699,1477, 856,702,1481,1482,703,1486,704,1489,706,1491,708,1494,1497,709,1499,1502,711,1505,712,1507,1510,714,1361,1513,1515, 718,1518,720,722,1521,1524,723,1526,725,1529,846,727,1257,730,1473,1535,731,1537,733,1540,1543,734,1544,1547,736, 1550,737,1552,1080,740,1556,1559,742,1561,744,1563,1566,745,1568,747,1571,749,1574,1004,751,1578,1580,753,1582,754, 1585,1587,756,1588,1325,1590,760,1592,1595,761,1596,1597,763,1599,765,1601,1603,767,1606,1608,768,1610,770,882,772, 1613,1615,775,1619,1620,774,1622,776,1626,779,1628,781,1632,1633,782,1636,784,1639,1642,785,1643,1646,789,1649,788, 1650,1653,792,1658,1659,791,1661,793,1665,1666,794,1667,1672,797,1674,799,1678,1679,800,1683,801,1685,1688,803,1690, 805,1694,1695,806,1698,807,1644,1687,810,1703,1704,811,946,1708,1711,815,1714,817,819,1717,1370,820,1721,822,1724, 1725,824,1100,1728,826,1729,1731,830,1735,1736,831,1739,834,1743,1390,835,1745,839,1749,838,1750,1753,841,1584,1756, 842,1760,843,1761,1764,847,1530,1768,1233,849,1771,852,1774,1777,853,1778,855,1611,1480,1782,1785,858,1787,859,1789, 1298,862,1200,1794,865,1063,867,1772,1797,871,1800,870,1801,1804,873,1807,1808,874,1810,875,1811,1812,879,1815,878, 1478,1818,881,1612,1823,883,1824,1827,886,1831,1127,887,1241,889,1836,1837,890,1840,891,1841,1843,1300,895,1847,897, 1851,1852,898,1853,1857,901,1859,903,1863,1864,904,1868,1869,905,1870,909,911,1872,1875,910,1876,1878,912,1880,914, 1883,916,1886,1201,917,1890,918,1891,921,1894,922,1898,1899,923,1900,1904,927,929,1908,1911,928,1912,1451,931,1917, 932,1415,1921,936,1924,935,1762,1927,938,1929,939,1931,1933,941,1934,945,1938,944,1939,1197,947,1943,1945,1946,949, 1947,953,954,1951,957,1955,1956,956,1958,958,1961,960,1964,1215,961,1967,1970,965,1973,964,1974,1978,966,1980,969, 1982,1519,970,1986,1988,972,1991,973,1992,1458,976,1995,1998,977,1999,2000,979,2002,981,2003,2005,983,2008,2010,984, 2012,986,988,2013,1971,990,2017,991,2019,992,2020,1090,2023,996,1600,1000,2027,999,2028,2031,1002,2034,1049,1003,1576, 2037,1007,2039,2040,1008,1009,2043,2044,1013,2046,1012,2047,2051,1014,2052,2055,1018,2059,1017,2060,1020,2064,2065,1021,2066, 1024,2070,2071,1025,1026,1030,2073,1029,2074,2076,1032,2078,1629,1034,2081,2084,1035,2085,2087,1037,1809,1039,2091,2094,1040, 2095,1042,2098,2100,1044,2103,2105,1045,1701,1047,2108,2110,2035,2112,1051,2115,2117,1053,1403,2119,2122,1055,1884,1057,2125, 2128,1058,2129,1252,1061,2133,2048,1065,2137,1067,2139,2140,1068,2141,2143,1070,2145,1072,2149,1073,2151,1075,1485,1271,1077, 2157,2159,1078,2160,2162,2165,1081,2166,1083,2169,2172,1084,2174,1086,2175,1088,1512,2179,1089,2181,2184,1091,2186,2189,1093, 1094,2191,2193,1096,2196,1097,2199,1099,1226,1101,1987,1103,1919,1104,2205,1106,2208,1108,2210,1110,1351,1113,2214,1114,2216, 2218,1116,2220,1117,2222,2225,1119,1121,2228,1123,1669,1124,2232,1126,1832,2234,2235,2236,1131,1133,2239,2242,1132,2243,2246, 1135,1949,1488,1136,2247,2252,1140,2255,1139,1979,2259,1141,2142,2260,1143,2262,1145,2266,2267,1146,1779,1147,1813,1150,2271, 2272,1151,2275,1536,1152,1267,2279,1156,1158,2283,2285,1157,2286,2288,1161,2289,2290,1160,1780,1162,2291,1164,2294,2297,1165, 2298,2299,1169,2303,1168,2304,2307,1171,2217,2311,1172,1509,1174,2093,2316,1175,2317,2320,1179,2323,1178,2045,1181,2326,1182, 1183,2329,1187,2332,1186,1664,2334,2336,1189,2337,1191,2340,2342,1193,1962,2344,2347,1195,1565,2350,2353,1198,2354,1793,1887, 2357,2358,1205,2361,1206,2363,1207,2364,2367,1211,2371,1210,2372,2376,1212,2377,1313,1216,1969,2381,1217,2382,2385,1220,2389, 2390,1221,2392,1222,1326,2396,1225,2397,2365,1228,2403,2404,1229,2406,1230,2407,1888,1769,1234,2411,1258,1236,2413,2415,1238, 2227,1240,1834,1647,1243,2419,2422,1245,2424,1247,1616,1249,2429,2431,1250,2251,2433,1253,2437,1254,2438,2441,1259,2442,1262, 2445,2446,1263,2447,1264,2063,1268,2278,2451,1270,2155,1648,1272,2086,1275,2454,1276,2458,1277,2459,2462,2464,1281,2467,1751, 1282,2471,1283,2472,2475,1287,1286,1617,1288,2479,1292,1291,2483,2484,1294,2487,1295,2488,1296,2250,2491,2494,1299,2495,2498, 1303,2502,2503,1302,1304,2504,1306,2507,2509,1307,2510,2513,1311,2516,1310,2517,2519,1314,2380,2524,1315,2526,1318,2527,1320, 2531,1321,1323,1707,2534,1324,2536,2394,2539,2540,1330,1329,1726,2543,1332,2546,2547,1333,2551,1335,2552,2555,1339,2560,2561, 1338,2563,1340,2567,2568,1341,2569,2574,1344,2576,1346,2579,2256,1347,1348,2538,2584,1350,1589,1352,2587,1353,2588,1356,2592, 1357,2596,1358,2599,1360,1362,2602,1364,2606,2607,1365,2610,1368,2613,2614,1369,2077,1372,2439,1375,2622,2623,1374,2624,1376, 2625,2626,1379,2627,1383,1385,2631,2633,1384,2634,1715,1386,2638,2640,1388,2642,1744,2645,1391,1430,1392,2648,1395,2651,2652, 1396,2655,1398,2657,2659,1399,2661,1401,2662,2664,1586,1404,1406,2667,2639,1408,2586,1409,1410,2672,1412,2674,1414,1920,1417, 2678,1418,2680,1420,2682,1421,2684,2687,1423,1425,2689,1427,2692,1429,2650,2693,1433,2696,1435,2582,2630,1436,1439,2700,1440, 2417,1443,2704,2705,1444,2709,1445,2710,1449,1448,2713,1915,2653,1455,2718,1454,2719,1457,1994,2723,1461,2724,2725,1462,2726, 1464,2730,2731,1465,2670,1466,2701,2736,1469,2740,2741,1470,2207,1474,1533,2744,1475,2745,2233,1479,1817,2750,1483,2753,1484, 2154,2755,2757,1487,2658,2759,1490,2761,1492,1814,1493,1495,2766,1496,2769,2770,1498,2771,1500,2773,1501,2774,2777,1503,2780, 1504,2782,2784,1506,1508,2786,2788,2790,1511,2177,2792,2795,1514,2797,2799,1516,2666,1517,2803,1520,2805,1522,2808,1523,2811, 1525,2796,1527,2816,1528,1879,2818,2821,1531,1532,2416,2671,1534,2276,1538,1638,1539,1541,2826,2829,1542,2831,2453,1545,2123, 2836,1546,2838,1548,1549,2840,1551,2843,1553,2845,1554,2848,1555,2849,1557,2851,1558,2853,2855,1560,2856,1562,2859,1564,2349, 2862,1567,2864,1569,2866,2869,1570,2871,1572,2874,2877,1573,2879,1575,2760,2882,1577,1579,2885,2887,1581,2890,2892,1583,2894, 1618,2897,2899,2628,1591,2685,2449,1593,2903,2906,1594,2908,2649,2911,1598,2025,2914,1602,2915,1604,2918,2702,1605,2922,1607, 2925,2026,2927,1609,2754,2930,1614,2933,2427,2478,2896,2852,2511,2937,1621,2939,1623,2943,2944,1624,1630,1625,2947,1627,2950, 2951,2952,1631,2953,1634,2955,1635,2957,1637,1640,2960,2963,1641,2964,2460,1645,1700,2968,2305,1676,1652,2972,1651,2973,1655, 1654,2706,1656,2980,2981,1657,2982,2985,1660,1662,2987,1663,2333,1668,1670,2989,1671,2990,2470,1673,2994,1675,2970,2999,1677, 3000,3003,1680,2835,3006,1681,3009,1682,3011,1684,1686,3014,3016,1689,3018,1691,3020,3021,1692,3025,1693,3026,1696,3030,1697, 3034,1699,3035,3038,1702,3039,1705,1706,2131,3043,1709,3046,1710,2857,3048,1712,3051,1713,3052,1716,3054,1718,3056,1719,3059, 1720,3047,1722,3064,1723,3066,1767,3070,1727,3071,1730,3074,1732,3077,3078,1733,2520,1734,2521,2090,1737,3084,3085,1738,2868, 1740,3090,2941,1741,1742,1746,3094,3095,1747,3099,1748,3100,3102,1752,2468,3105,1754,3106,1755,3109,1757,3113,3114,1758,1759, 3079,3118,1763,1926,3122,1765,3125,3126,1766,3129,3132,1770,3134,1773,1775,1802,1776,3137,3140,1781,2764,1783,2348,3143,1784, 3145,1786,3147,1788,2541,1790,1791,3151,1792,3152,3155,1795,3158,3159,1796,1798,3161,3162,1799,1803,2136,1805,3165,1806,3166, 2089,3007,3170,3172,1816,3173,3174,1819,3179,2996,1820,3182,1821,3183,1822,2268,1826,1825,2391,2295,1828,3189,3190,1829,3194, 1830,3195,1833,3198,1835,3199,2500,1838,2542,1839,2863,1842,1844,3205,1845,3207,1846,3208,1848,3211,2080,1849,2482,3213,1850, 3214,1854,1855,2717,1856,3218,3220,1858,1860,2910,3221,1861,3204,1862,3223,1865,3227,1866,2369,2368,1867,2798,3230,1871,3233, 1873,3237,1874,3238,3241,1877,2844,3244,1881,3246,3248,1882,3250,2124,2430,1885,2485,3253,1889,3254,1893,3258,1892,3259,3261, 1895,3264,3265,1896,3269,3270,1897,3271,3275,1901,1903,2846,3280,1902,2489,3282,1906,3286,3287,1905,3289,1907,3292,1909,2949, 1910,3296,2942,1914,1913,2956,2022,1916,1918,3301,1993,1922,3303,3304,1923,3306,3309,1925,3310,3313,1928,3316,3317,1930,3319, 2238,3322,1932,3323,3096,1936,3328,1935,3329,3331,1937,3104,1941,3334,1940,3335,1942,2237,3133,1944,3160,1948,1950,2249,1953, 2204,2021,1952,3343,1954,3346,1957,1959,3348,1960,3349,3351,1990,1963,1965,3354,3357,1966,3358,1968,3361,3362,2015,1989,1972, 1976,2038,1975,3365,3366,1977,2257,3212,1981,3368,1983,3372,1984,1985,3374,2118,2213,3376,3197,2056,2138,1996,3380,3383,1997, 3385,3355,3387,2001,2004,2945,2006,3390,2206,2007,3394,2009,3397,3399,2011,2934,2014,3402,2016,3403,3406,2018,3407,3410,2057, 2024,2223,2061,2030,2277,2029,3417,3420,2032,3424,3425,2033,3428,2036,3429,3353,2505,2041,3431,3432,2042,3435,2325,2049,2135, 2946,2050,3438,3440,2054,3444,2053,3445,3448,3450,3453,2058,3454,3457,2062,3414,3461,3462,2067,3466,3373,2068,2069,2935,3469, 2072,3470,2075,3136,2617,3472,2079,3439,2082,3474,3476,2083,2830,3478,2778,3481,2088,2904,3082,2092,2314,3484,2096,3487,2097, 3471,2099,3008,3169,2101,3490,3493,2102,2104,3495,3498,2106,3500,2107,2109,3502,3505,2111,3507,2113,3509,2522,2114,2116,3513, 2550,2936,2120,3517,3520,2121,3521,2834,3522,3524,2126,3527,2127,3529,3531,2130,3533,3536,2132,3538,2134,3540,3327,3542,2993, 3545,2144,3546,2146,2988,3548,2147,2148,2150,2306,2152,3551,3554,2153,3555,2156,2850,2532,2158,2161,3559,3560,2163,2842,2164, 2167,3338,3558,2168,2170,2339,2171,3305,3569,2173,3571,2486,2176,3575,2178,3578,2180,3579,2182,3581,3584,2183,3586,3588,2185, 3589,2187,3591,2188,3473,2190,2192,3595,3596,3599,2194,3602,2195,3518,3604,2197,3605,2198,3607,2200,2201,3610,2202,3612,2203, 3614,2226,2768,2209,3619,2211,3622,3624,2212,2512,2215,3625,3627,2310,2938,2219,3630,3633,2221,3635,3637,3640,2224,3642,3616, 3645,2229,3360,2230,3649,2231,3650,2748,2448,2823,3651,2240,2916,3654,2241,3655,3656,2245,2681,2244,2727,3659,2248,3660,2490, 2432,2253,3663,2254,2580,3664,3666,2258,2995,3668,2261,2578,2263,3671,2264,2265,3180,3185,2269,2270,3675,2273,3679,2346,2274, 3681,3381,3419,3683,2281,3687,3688,2280,2282,2284,3690,2287,3477,2292,3695,2293,2932,2315,2959,2296,2966,3699,3701,2300,3704, 3705,2301,3708,2302,2752,2969,2779,3479,2308,3711,3714,2309,3716,3719,2312,3721,2313,2825,3724,2319,3184,2318,3728,3730,2321, 3733,3734,2322,2535,3739,2324,3740,3743,2327,3745,2328,3746,2330,3749,3525,2331,3751,3754,2335,3756,2338,3758,2341,3759,3262, 2343,2345,3762,3680,3765,3142,3766,3768,2351,3770,2352,3772,3774,2355,3776,3778,2356,3779,3782,2359,3786,3787,2360,2362,3790, 3791,2366,2400,3794,3795,3797,2370,3364,2374,3801,2373,3802,2375,3247,2379,2378,2756,2883,2384,2605,2383,3698,3810,2386,3813, 2387,2388,3815,3816,3187,3818,2393,3819,3501,2395,3823,3093,2399,3826,2398,3827,2401,3830,2402,3831,3833,3835,2405,3836,2409, 3840,2408,3841,3843,2410,3845,2412,3847,2414,3848,2929,3851,2418,3852,2420,2421,2423,2425,3856,3859,2426,3860,2428,3215,3804, 2434,3864,3865,2435,3869,2436,3870,2440,2620,3874,2444,3876,2443,3877,2691,3880,2450,3881,2452,2833,3886,2455,3890,3891,2456, 2457,3892,2776,2461,2772,2746,2463,2465,3022,2466,3632,2469,2597,2474,3693,2473,3700,3902,2476,3905,2477,3347,2480,3906,3907, 2481,3217,3910,2514,3281,3912,2492,3914,2493,3915,2497,2496,3149,3202,2499,3917,2501,3662,2506,2508,2601,3468,3661,3923,2515, 3926,2518,3928,3449,3930,2523,2589,3931,2525,3933,2828,2528,3937,3938,2529,3942,2530,3943,3947,2533,3737,3949,2537,3950,2583, 3952,3954,2544,3958,3565,2545,3959,2548,3962,2549,3515,3964,3377,2554,3966,2553,3967,3968,2557,3974,3975,2556,3977,2558,3980, 3981,2559,3901,2562,2564,2565,3986,3987,2566,3988,2570,2572,3991,3993,2571,3944,2573,3652,2575,3998,2577,3657,4001,2581,4004, 3727,2585,2590,3526,4009,4010,2591,4012,2593,4015,4016,2594,4019,2595,3763,3900,3829,2598,4022,2600,3311,2603,4026,4027,2604, 3809,2749,2608,4031,2609,2611,4032,2612,2615,4036,4037,2616,2618,2619,4039,2621,4042,4043,2629,4044,2632,3378,2635,4047,2636, 2637,4049,2654,2677,2641,4050,2643,4052,2644,3919,2646,4054,2647,4055,2716,2656,4057,4059,2660,3409,4060,2663,3895,4062,2665, 3263,2668,2669,2688,2977,2673,4069,2675,4072,4074,2676,2679,3255,4076,4079,2683,3796,4080,4083,2686,4085,4066,4088,2690,3922, 4091,2694,3580,3629,2695,2697,3370,3356,2698,3460,2699,4098,4100,2703,2742,3562,2978,3653,2707,4006,2708,4013,4110,2712,4114, 2711,4115,2714,4119,2715,2721,3921,2720,3576,4087,2722,4122,2758,2728,4125,2729,4126,3780,2732,4128,3210,2733,3229,2734,4131, 2735,4133,2737,4137,3855,2738,4140,2739,4141,3411,4103,4145,2743,4146,3072,2747,4048,3400,2751,3709,3894,3807,4153,2881,2880, 2762,2763,3141,2765,4157,2767,4160,4162,2967,3857,3718,2775,4165,4167,3549,2781,4169,2783,4171,4174,2785,4176,2787,4178,2789, 3110,4180,2791,4023,2793,4184,2794,4186,2813,4101,4188,3352,3862,2800,2801,2802,2889,2804,4192,2806,2807,4195,2809,3040,2810, 3232,4199,2812,3863,2814,3800,2815,4201,2817,3760,2819,4202,4204,2820,4207,2822,4209,2824,3837,2827,3935,2928,2832,3491,3443, 3674,2837,4213,2839,2841,4214,3805,2854,3279,4218,2847,4219,3648,4220,4075,4222,3636,2858,2860,4224,4227,2861,4228,4230,2865, 3226,4232,2867,3088,3405,4235,2870,4236,2872,4239,4241,2873,2875,4244,2876,4245,2878,4247,4139,3112,4118,2884,4070,2886,4252, 3600,2888,4254,2891,2893,4256,2895,4258,4259,2898,3437,2900,3371,3644,2901,2902,3216,4152,4014,2905,4265,4268,2907,2909,3927, 2912,4144,2913,4271,4273,2917,4181,2919,3206,3567,2920,4276,2921,4278,2923,3899,4281,2924,3615,4283,2926,3506,3467,2931,3697, 3516,4288,4289,2940,3091,2962,4291,4292,2948,3294,3225,3219,2954,3299,3293,2958,4294,2961,3297,4297,2965,4257,4298,3552,4299, 2971,4300,4302,2975,2974,4304,2976,3867,3866,2979,4109,2983,2984,4306,4308,2986,4309,3191,3033,2991,3814,2992,3326,3192,2997, 4313,2998,3497,3002,3868,3001,4193,3004,3005,4136,3854,3010,4317,3012,4319,4322,3013,4324,3015,4326,3017,3824,3670,3948,3019, 3960,3302,3897,3023,4331,3024,4332,3028,4336,3027,4337,3029,4341,3031,4345,4346,3032,4312,4156,3036,4352,3037,4353,3041,3769, 4356,3042,3336,3044,3889,3045,4359,3061,3535,3049,3050,3315,3053,4363,3055,4365,3057,3750,3058,4368,3060,4369,3062,4370,3063, 4373,3065,3067,4375,4084,3068,4277,3069,3608,4266,3073,4149,4212,3404,3075,4378,3076,4379,3117,3392,3080,4383,3081,3083,3532, 3086,3150,3956,3087,4386,3089,3092,4387,3097,4391,3098,4392,3101,4393,3103,3333,4321,3107,4374,4395,3108,4396,3722,3111,4399, 3115,4401,3116,3318,3119,4402,3120,4403,3121,3123,4361,4404,3124,4406,3127,4410,3128,3130,4161,4411,3131,3339,4414,3135,4405, 3138,4417,3139,3712,4127,3485,3144,4418,3146,3148,4420,3514,3530,3154,3684,3153,3685,3706,3156,4424,4425,3157,4428,3341,3753, 3163,4344,3408,3164,3167,4433,4434,3168,4154,4437,4439,3171,4371,4441,3175,3176,4443,3177,3178,3181,4445,3729,3186,4078,3188, 4448,4449,3193,4450,3196,3201,4452,3200,4453,4456,3203,4274,4279,3209,4129,4460,4262,4462,3547,4463,3433,3222,4466,3224,4467, 3434,3626,4468,3228,3231,3234,4124,4250,3235,3236,4471,3240,4474,3239,4272,4476,3242,4008,4477,3243,4409,3245,3725,3806,4480, 3249,4482,3251,4465,3252,4483,3442,3256,3726,3257,4168,3260,4486,3761,4489,3266,4492,4493,3267,4481,3268,4494,4397,3272,3274, 4499,4502,3273,4503,3277,4506,3276,4508,3278,4333,3284,4515,4516,3283,3285,4517,3288,3290,4255,3291,3825,4429,4522,3295,4198, 4430,3298,4524,4527,3300,3421,3941,3945,3568,3307,3696,3422,3308,3620,3312,4024,4226,4007,3314,4529,4438,3320,4132,3321,4017, 3325,4246,3324,4491,3553,3330,4155,3332,4446,3342,3337,3875,4537,4539,3340,4540,4536,3344,4542,3345,4543,3350,3563,4189,3878, 4545,3359,4360,3363,3799,4526,4547,3367,3369,4208,4381,3375,4548,4123,4046,3379,3918,4287,3598,3382,4552,4555,3384,3386,3388, 4557,3389,4280,3391,4559,3393,4560,3395,3550,4562,3396,3436,4564,3398,3755,4567,3401,4568,3658,4051,3566,3519,4574,3412,3510, 3413,4575,3415,3416,3916,3418,4290,4581,3537,4183,3423,4582,4554,3426,4531,4586,3427,3597,3430,3511,3812,4185,4592,4593,3441, 4484,4138,3447,3446,4594,3451,4182,4217,3452,4596,3577,3456,3455,4413,3458,4599,4600,3459,3628,3463,4604,4421,3464,3465,3788, 4351,4366,3475,4608,4033,4293,4609,3480,4610,3844,3482,4611,3483,3486,4203,3488,3961,3489,4615,3492,4617,3494,4461,3496,4619, 4315,3673,4400,3499,3503,3898,3504,4111,4285,3611,4544,3508,4589,3512,3946,4626,4572,4422,4343,3523,4580,4519,4631,3528,4566, 3534,3686,4166,3539,4634,3784,3541,3613,3543,4435,3544,4606,4533,4565,3556,3557,4134,3561,4104,4640,3564,4571,4472,4641,3570, 4532,3572,4642,3573,4639,3574,3710,4644,4354,3582,4646,3583,4630,4648,3585,3587,4509,4616,3590,3592,4028,4652,3593,3594,3934, 3707,4253,3601,3994,3603,3672,3606,4206,4335,3609,4657,3617,3618,4660,3785,3621,4585,3623,4597,3764,3789,4665,3631,3634,4666, 3638,3783,3913,3639,3641,3643,4668,3646,4455,3647,4623,3820,3665,4106,4196,3669,4377,4350,4674,3667,4675,4328,4622,3676,4678, 3677,3678,4680,3682,4637,4636,3689,3691,4432,3925,3692,3694,3702,4683,3703,4686,4689,3713,4692,3715,4694,3717,4695,4164,3884, 4697,3720,3723,4699,4701,3731,4705,4706,3732,4260,3735,4710,4711,3736,3932,4713,3738,4714,3879,3742,4715,3741,4716,4717,3744, 4720,3747,4722,4234,3748,3752,4584,4064,4053,3757,3838,4725,4663,4173,3767,4263,4729,3771,3773,3775,4731,4732,3777,3821,3781, 4553,4094,3792,4061,4734,3793,4038,3798,4067,3803,4216,4470,3808,4740,4743,3811,4590,4011,3817,4068,3973,3822,4749,4521,4179, 3828,3832,3834,4211,4752,4753,3839,4754,4625,3842,3846,4718,4249,3849,4065,3850,3853,4758,3858,4147,3861,4251,4760,3872,4682, 3871,4764,3997,3873,4002,4095,4311,3883,4210,3882,4451,4021,3885,3887,3888,4090,4627,3893,4721,4034,3896,3904,3984,3903,4773, 4305,3908,4284,4775,3909,3911,4029,4598,4561,4578,4728,4384,4670,3920,3955,3924,4603,3929,4779,4388,4223,3936,4780,3939,3940, 4018,3995,4781,4723,3951,4783,3953,4385,3957,4658,4748,3963,4786,3965,4698,4518,3969,3971,4789,3970,3972,4730,4751,4791,3976, 4514,3978,4796,4746,3979,3982,4799,4242,3983,4800,4690,3985,4707,4803,3989,3990,3992,4457,4238,4530,3996,3999,4000,4056,4338, 4003,4005,4807,4520,4020,4117,4025,4030,4809,4323,4035,4737,4744,4040,4815,4041,4045,4415,4187,4431,4816,4058,4708,4063,4820, 4785,4376,4071,4267,4073,4822,4077,4823,4081,4459,4082,4086,4826,4089,4215,4827,4092,4691,4819,4093,4096,4097,4830,4099,4643, 4102,4700,4105,4788,4107,4108,4357,4513,4112,4113,4834,4116,4825,4120,4121,4525,4358,4340,4671,4130,4458,4838,4135,4143,4839, 4142,4840,4310,4148,4667,4150,4151,4325,4158,4159,4163,4684,4821,4844,4170,4846,4172,4848,4849,4175,4766,4177,4676,4851,4190, 4442,4191,4817,4194,4197,4523,4200,4856,4696,4205,4307,4436,4763,4231,4221,4225,4229,4576,4832,4233,4237,4651,4240,4829,4243, 4765,4248,4618,4810,4348,4828,4485,4261,4782,4264,4511,4269,4270,4653,4475,4605,4275,4864,4282,4464,4595,4286,4767,4295,4296, 4672,4792,4301,4661,4303,4866,4426,4612,4314,4867,4850,4316,4735,4318,4679,4570,4320,4741,4394,4811,4635,4327,4490,4577,4329, 4736,4330,4852,4873,4334,4512,4833,4549,4876,4339,4591,4854,4342,4629,4347,4862,4412,4349,4771,4607,4719,4355,4479,4837,4770, 4362,4882,4364,4497,4367,4440,4868,4372,4688,4380,4702,4382,4784,4841,4757,4673,4389,4538,4390,4887,4888,4745,4487,4498,4647, 4398,4416,4407,4869,4408,4890,4742,4419,4893,4814,4423,4896,4898,4621,4750,4427,4693,4900,4831,4726,4444,4901,4447,4892,4903, 4454,4881,4859,4473,4469,4659,4478,4495,4778,4551,4579,4563,4488,4496,4804,4500,4863,4501,4805,4905,4505,4504,4835,4510,4507, 4556,4588,4793,4899,4880,4712,4528,4902,4654,4534,4535,4855,4747,4761,4541,4628,4546,4857,4656,4613,4550,4907,4842,4558,4908, 4853,4632,4569,4911,4769,4573,4645,4583,4587,4912,4806,4614,4662,4601,4739,4602,4824,4798,4724,4906,4650,4915,4664,4620,4687, 4703,4624,4787,4836,4727,4818,4633,4638,4738,4920,4649,4655,4865,4669,4677,4685,4681,4733,4755,4860,4917,4918,4921,4704,4795, 4922,4709,4879,4923,4883,4924,4812,4794,4872,4891,4871,4813,4797,4790,4885,4756,4808,4926,4759,4875,4909,4762,4858,4889,4772, 4768,4774,4776,4777,4895,4927,4801,4802,4897,4878,4861,4843,4884,4845,4928,4847,4925,4913,4870,4919,4874,4877,4910,4904,4886, 4894,4914,4916] >; print "Group G is 4.M22 < Sym(4928)";