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