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