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