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