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