← Prev (#34037471) Next (#34037473) →
D9391 #34037472
Aliases
Splittings
Subgroups
4 conjugacy classes of subgroups.
Full subgroup data →
Presentation
A minimal faithful permutation representation — 2 generators on 9391 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,5172,5173,5174,5175,5176,5177,5178,5179,5180,5181,5182,5183,5184,5185,5186,5187,5188,5189,5190,5191,5192,5193,5194,5195,5196,5197,5198,5199,5200,5201,5202,5203,5204,5205,5206,5207,5208,5209,5210,5211,5212,5213,5214,5215,5216,5217,5218,5219,5220,5221,5222,5223,5224,5225,5226,5227,5228,5229,5230,5231,5232,5233,5234,5235,5236,5237,5238,5239,5240,5241,5242,5243,5244,5245,5246,5247,5248,5249,5250,5251,5252,5253,5254,5255,5256,5257,5258,5259,5260,5261,5262,5263,5264,5265,5266,5267,5268,5269,5270,5271,5272,5273,5274,5275,5276,5277,5278,5279,5280,5281,5282,5283,5284,5285,5286,5287,5288,5289,5290,5291,5292,5293,5294,5295,5296,5297,5298,5299,5300,5301,5302,5303,5304,5305,5306,5307,5308,5309,5310,5311,5312,5313,5314,5315,5316,5317,5318,5319,5320,5321,5322,5323,5324,5325,5326,5327,5328,5329,5330,5331,5332,5333,5334,5335,5336,5337,5338,5339,5340,5341,5342,5343,5344,5345,5346,5347,5348,5349,5350,5351,5352,5353,5354,5355,5356,5357,5358,5359,5360,5361,5362,5363,5364,5365,5366,5367,5368,5369,5370,5371,5372,5373,5374,5375,5376,5377,5378,5379,5380,5381,5382,5383,5384,5385,5386,5387,5388,5389,5390,5391,5392,5393,5394,5395,5396,5397,5398,5399,5400,5401,5402,5403,5404,5405,5406,5407,5408,5409,5410,5411,5412,5413,5414,5415,5416,5417,5418,5419,5420,5421,5422,5423,5424,5425,5426,5427,5428,5429,5430,5431,5432,5433,5434,5435,5436,5437,5438,5439,5440,5441,5442,5443,5444,5445,5446,5447,5448,5449,5450,5451,5452,5453,5454,5455,5456,5457,5458,5459,5460,5461,5462,5463,5464,5465,5466,5467,5468,5469,5470,5471,5472,5473,5474,5475,5476,5477,5478,5479,5480,5481,5482,5483,5484,5485,5486,5487,5488,5489,5490,5491,5492,5493,5494,5495,5496,5497,5498,5499,5500,5501,5502,5503,5504,5505,5506,5507,5508,5509,5510,5511,5512,5513,5514,5515,5516,5517,5518,5519,5520,5521,5522,5523,5524,5525,5526,5527,5528,5529,5530,5531,5532,5533,5534,5535,5536,5537,5538,5539,5540,5541,5542,5543,5544,5545,5546,5547,5548,5549,5550,5551,5552,5553,5554,5555,5556,5557,5558,5559,5560,5561,5562,5563,5564,5565,5566,5567,5568,5569,5570,5571,5572,5573,5574,5575,5576,5577,5578,5579,5580,5581,5582,5583,5584,5585,5586,5587,5588,5589,5590,5591,5592,5593,5594,5595,5596,5597,5598,5599,5600,5601,5602,5603,5604,5605,5606,5607,5608,5609,5610,5611,5612,5613,5614,5615,5616,5617,5618,5619,5620,5621,5622,5623,5624,5625,5626,5627,5628,5629,5630,5631,5632,5633,5634,5635,5636,5637,5638,5639,5640,5641,5642,5643,5644,5645,5646,5647,5648,5649,5650,5651,5652,5653,5654,5655,5656,5657,5658,5659,5660,5661,5662,5663,5664,5665,5666,5667,5668,5669,5670,5671,5672,5673,5674,5675,5676,5677,5678,5679,5680,5681,5682,5683,5684,5685,5686,5687,5688,5689,5690,5691,5692,5693,5694,5695,5696,5697,5698,5699,5700,5701,5702,5703,5704,5705,5706,5707,5708,5709,5710,5711,5712,5713,5714,5715,5716,5717,5718,5719,5720,5721,5722,5723,5724,5725,5726,5727,5728,5729,5730,5731,5732,5733,5734,5735,5736,5737,5738,5739,5740,5741,5742,5743,5744,5745,5746,5747,5748,5749,5750,5751,5752,5753,5754,5755,5756,5757,5758,5759,5760,5761,5762,5763,5764,5765,5766,5767,5768,5769,5770,5771,5772,5773,5774,5775,5776,5777,5778,5779,5780,5781,5782,5783,5784,5785,5786,5787,5788,5789,5790,5791,5792,5793,5794,5795,5796,5797,5798,5799,5800,5801,5802,5803,5804,5805,5806,5807,5808,5809,5810,5811,5812,5813,5814,5815,5816,5817,5818,5819,5820,5821,5822,5823,5824,5825,5826,5827,5828,5829,5830,5831,5832,5833,5834,5835,5836,5837,5838,5839,5840,5841,5842,5843,5844,5845,5846,5847,5848,5849,5850,5851,5852,5853,5854,5855,5856,5857,5858,5859,5860,5861,5862,5863,5864,5865,5866,5867,5868,5869,5870,5871,5872,5873,5874,5875,5876,5877,5878,5879,5880,5881,5882,5883,5884,5885,5886,5887,5888,5889,5890,5891,5892,5893,5894,5895,5896,5897,5898,5899,5900,5901,5902,5903,5904,5905,5906,5907,5908,5909,5910,5911,5912,5913,5914,5915,5916,5917,5918,5919,5920,5921,5922,5923,5924,5925,5926,5927,5928,5929,5930,5931,5932,5933,5934,5935,5936,5937,5938,5939,5940,5941,5942,5943,5944,5945,5946,5947,5948,5949,5950,5951,5952,5953,5954,5955,5956,5957,5958,5959,5960,5961,5962,5963,5964,5965,5966,5967,5968,5969,5970,5971,5972,5973,5974,5975,5976,5977,5978,5979,5980,5981,5982,5983,5984,5985,5986,5987,5988,5989,5990,5991,5992,5993,5994,5995,5996,5997,5998,5999,6000,6001,6002,6003,6004,6005,6006,6007,6008,6009,6010,6011,6012,6013,6014,6015,6016,6017,6018,6019,6020,6021,6022,6023,6024,6025,6026,6027,6028,6029,6030,6031,6032,6033,6034,6035,6036,6037,6038,6039,6040,6041,6042,6043,6044,6045,6046,6047,6048,6049,6050,6051,6052,6053,6054,6055,6056,6057,6058,6059,6060,6061,6062,6063,6064,6065,6066,6067,6068,6069,6070,6071,6072,6073,6074,6075,6076,6077,6078,6079,6080,6081,6082,6083,6084,6085,6086,6087,6088,6089,6090,6091,6092,6093,6094,6095,6096,6097,6098,6099,6100,6101,6102,6103,6104,6105,6106,6107,6108,6109,6110,6111,6112,6113,6114,6115,6116,6117,6118,6119,6120,6121,6122,6123,6124,6125,6126,6127,6128,6129,6130,6131,6132,6133,6134,6135,6136,6137,6138,6139,6140,6141,6142,6143,6144,6145,6146,6147,6148,6149,6150,6151,6152,6153,6154,6155,6156,6157,6158,6159,6160,6161,6162,6163,6164,6165,6166,6167,6168,6169,6170,6171,6172,6173,6174,6175,6176,6177,6178,6179,6180,6181,6182,6183,6184,6185,6186,6187,6188,6189,6190,6191,6192,6193,6194,6195,6196,6197,6198,6199,6200,6201,6202,6203,6204,6205,6206,6207,6208,6209,6210,6211,6212,6213,6214,6215,6216,6217,6218,6219,6220,6221,6222,6223,6224,6225,6226,6227,6228,6229,6230,6231,6232,6233,6234,6235,6236,6237,6238,6239,6240,6241,6242,6243,6244,6245,6246,6247,6248,6249,6250,6251,6252,6253,6254,6255,6256,6257,6258,6259,6260,6261,6262,6263,6264,6265,6266,6267,6268,6269,6270,6271,6272,6273,6274,6275,6276,6277,6278,6279,6280,6281,6282,6283,6284,6285,6286,6287,6288,6289,6290,6291,6292,6293,6294,6295,6296,6297,6298,6299,6300,6301,6302,6303,6304,6305,6306,6307,6308,6309,6310,6311,6312,6313,6314,6315,6316,6317,6318,6319,6320,6321,6322,6323,6324,6325,6326,6327,6328,6329,6330,6331,6332,6333,6334,6335,6336,6337,6338,6339,6340,6341,6342,6343,6344,6345,6346,6347,6348,6349,6350,6351,6352,6353,6354,6355,6356,6357,6358,6359,6360,6361,6362,6363,6364,6365,6366,6367,6368,6369,6370,6371,6372,6373,6374,6375,6376,6377,6378,6379,6380,6381,6382,6383,6384,6385,6386,6387,6388,6389,6390,6391,6392,6393,6394,6395,6396,6397,6398,6399,6400,6401,6402,6403,6404,6405,6406,6407,6408,6409,6410,6411,6412,6413,6414,6415,6416,6417,6418,6419,6420,6421,6422,6423,6424,6425,6426,6427,6428,6429,6430,6431,6432,6433,6434,6435,6436,6437,6438,6439,6440,6441,6442,6443,6444,6445,6446,6447,6448,6449,6450,6451,6452,6453,6454,6455,6456,6457,6458,6459,6460,6461,6462,6463,6464,6465,6466,6467,6468,6469,6470,6471,6472,6473,6474,6475,6476,6477,6478,6479,6480,6481,6482,6483,6484,6485,6486,6487,6488,6489,6490,6491,6492,6493,6494,6495,6496,6497,6498,6499,6500,6501,6502,6503,6504,6505,6506,6507,6508,6509,6510,6511,6512,6513,6514,6515,6516,6517,6518,6519,6520,6521,6522,6523,6524,6525,6526,6527,6528,6529,6530,6531,6532,6533,6534,6535,6536,6537,6538,6539,6540,6541,6542,6543,6544,6545,6546,6547,6548,6549,6550,6551,6552,6553,6554,6555,6556,6557,6558,6559,6560,6561,6562,6563,6564,6565,6566,6567,6568,6569,6570,6571,6572,6573,6574,6575,6576,6577,6578,6579,6580,6581,6582,6583,6584,6585,6586,6587,6588,6589,6590,6591,6592,6593,6594,6595,6596,6597,6598,6599,6600,6601,6602,6603,6604,6605,6606,6607,6608,6609,6610,6611,6612,6613,6614,6615,6616,6617,6618,6619,6620,6621,6622,6623,6624,6625,6626,6627,6628,6629,6630,6631,6632,6633,6634,6635,6636,6637,6638,6639,6640,6641,6642,6643,6644,6645,6646,6647,6648,6649,6650,6651,6652,6653,6654,6655,6656,6657,6658,6659,6660,6661,6662,6663,6664,6665,6666,6667,6668,6669,6670,6671,6672,6673,6674,6675,6676,6677,6678,6679,6680,6681,6682,6683,6684,6685,6686,6687,6688,6689,6690,6691,6692,6693,6694,6695,6696,6697,6698,6699,6700,6701,6702,6703,6704,6705,6706,6707,6708,6709,6710,6711,6712,6713,6714,6715,6716,6717,6718,6719,6720,6721,6722,6723,6724,6725,6726,6727,6728,6729,6730,6731,6732,6733,6734,6735,6736,6737,6738,6739,6740,6741,6742,6743,6744,6745,6746,6747,6748,6749,6750,6751,6752,6753,6754,6755,6756,6757,6758,6759,6760,6761,6762,6763,6764,6765,6766,6767,6768,6769,6770,6771,6772,6773,6774,6775,6776,6777,6778,6779,6780,6781,6782,6783,6784,6785,6786,6787,6788,6789,6790,6791,6792,6793,6794,6795,6796,6797,6798,6799,6800,6801,6802,6803,6804,6805,6806,6807,6808,6809,6810,6811,6812,6813,6814,6815,6816,6817,6818,6819,6820,6821,6822,6823,6824,6825,6826,6827,6828,6829,6830,6831,6832,6833,6834,6835,6836,6837,6838,6839,6840,6841,6842,6843,6844,6845,6846,6847,6848,6849,6850,6851,6852,6853,6854,6855,6856,6857,6858,6859,6860,6861,6862,6863,6864,6865,6866,6867,6868,6869,6870,6871,6872,6873,6874,6875,6876,6877,6878,6879,6880,6881,6882,6883,6884,6885,6886,6887,6888,6889,6890,6891,6892,6893,6894,6895,6896,6897,6898,6899,6900,6901,6902,6903,6904,6905,6906,6907,6908,6909,6910,6911,6912,6913,6914,6915,6916,6917,6918,6919,6920,6921,6922,6923,6924,6925,6926,6927,6928,6929,6930,6931,6932,6933,6934,6935,6936,6937,6938,6939,6940,6941,6942,6943,6944,6945,6946,6947,6948,6949,6950,6951,6952,6953,6954,6955,6956,6957,6958,6959,6960,6961,6962,6963,6964,6965,6966,6967,6968,6969,6970,6971,6972,6973,6974,6975,6976,6977,6978,6979,6980,6981,6982,6983,6984,6985,6986,6987,6988,6989,6990,6991,6992,6993,6994,6995,6996,6997,6998,6999,7000,7001,7002,7003,7004,7005,7006,7007,7008,7009,7010,7011,7012,7013,7014,7015,7016,7017,7018,7019,7020,7021,7022,7023,7024,7025,7026,7027,7028,7029,7030,7031,7032,7033,7034,7035,7036,7037,7038,7039,7040,7041,7042,7043,7044,7045,7046,7047,7048,7049,7050,7051,7052,7053,7054,7055,7056,7057,7058,7059,7060,7061,7062,7063,7064,7065,7066,7067,7068,7069,7070,7071,7072,7073,7074,7075,7076,7077,7078,7079,7080,7081,7082,7083,7084,7085,7086,7087,7088,7089,7090,7091,7092,7093,7094,7095,7096,7097,7098,7099,7100,7101,7102,7103,7104,7105,7106,7107,7108,7109,7110,7111,7112,7113,7114,7115,7116,7117,7118,7119,7120,7121,7122,7123,7124,7125,7126,7127,7128,7129,7130,7131,7132,7133,7134,7135,7136,7137,7138,7139,7140,7141,7142,7143,7144,7145,7146,7147,7148,7149,7150,7151,7152,7153,7154,7155,7156,7157,7158,7159,7160,7161,7162,7163,7164,7165,7166,7167,7168,7169,7170,7171,7172,7173,7174,7175,7176,7177,7178,7179,7180,7181,7182,7183,7184,7185,7186,7187,7188,7189,7190,7191,7192,7193,7194,7195,7196,7197,7198,7199,7200,7201,7202,7203,7204,7205,7206,7207,7208,7209,7210,7211,7212,7213,7214,7215,7216,7217,7218,7219,7220,7221,7222,7223,7224,7225,7226,7227,7228,7229,7230,7231,7232,7233,7234,7235,7236,7237,7238,7239,7240,7241,7242,7243,7244,7245,7246,7247,7248,7249,7250,7251,7252,7253,7254,7255,7256,7257,7258,7259,7260,7261,7262,7263,7264,7265,7266,7267,7268,7269,7270,7271,7272,7273,7274,7275,7276,7277,7278,7279,7280,7281,7282,7283,7284,7285,7286,7287,7288,7289,7290,7291,7292,7293,7294,7295,7296,7297,7298,7299,7300,7301,7302,7303,7304,7305,7306,7307,7308,7309,7310,7311,7312,7313,7314,7315,7316,7317,7318,7319,7320,7321,7322,7323,7324,7325,7326,7327,7328,7329,7330,7331,7332,7333,7334,7335,7336,7337,7338,7339,7340,7341,7342,7343,7344,7345,7346,7347,7348,7349,7350,7351,7352,7353,7354,7355,7356,7357,7358,7359,7360,7361,7362,7363,7364,7365,7366,7367,7368,7369,7370,7371,7372,7373,7374,7375,7376,7377,7378,7379,7380,7381,7382,7383,7384,7385,7386,7387,7388,7389,7390,7391,7392,7393,7394,7395,7396,7397,7398,7399,7400,7401,7402,7403,7404,7405,7406,7407,7408,7409,7410,7411,7412,7413,7414,7415,7416,7417,7418,7419,7420,7421,7422,7423,7424,7425,7426,7427,7428,7429,7430,7431,7432,7433,7434,7435,7436,7437,7438,7439,7440,7441,7442,7443,7444,7445,7446,7447,7448,7449,7450,7451,7452,7453,7454,7455,7456,7457,7458,7459,7460,7461,7462,7463,7464,7465,7466,7467,7468,7469,7470,7471,7472,7473,7474,7475,7476,7477,7478,7479,7480,7481,7482,7483,7484,7485,7486,7487,7488,7489,7490,7491,7492,7493,7494,7495,7496,7497,7498,7499,7500,7501,7502,7503,7504,7505,7506,7507,7508,7509,7510,7511,7512,7513,7514,7515,7516,7517,7518,7519,7520,7521,7522,7523,7524,7525,7526,7527,7528,7529,7530,7531,7532,7533,7534,7535,7536,7537,7538,7539,7540,7541,7542,7543,7544,7545,7546,7547,7548,7549,7550,7551,7552,7553,7554,7555,7556,7557,7558,7559,7560,7561,7562,7563,7564,7565,7566,7567,7568,7569,7570,7571,7572,7573,7574,7575,7576,7577,7578,7579,7580,7581,7582,7583,7584,7585,7586,7587,7588,7589,7590,7591,7592,7593,7594,7595,7596,7597,7598,7599,7600,7601,7602,7603,7604,7605,7606,7607,7608,7609,7610,7611,7612,7613,7614,7615,7616,7617,7618,7619,7620,7621,7622,7623,7624,7625,7626,7627,7628,7629,7630,7631,7632,7633,7634,7635,7636,7637,7638,7639,7640,7641,7642,7643,7644,7645,7646,7647,7648,7649,7650,7651,7652,7653,7654,7655,7656,7657,7658,7659,7660,7661,7662,7663,7664,7665,7666,7667,7668,7669,7670,7671,7672,7673,7674,7675,7676,7677,7678,7679,7680,7681,7682,7683,7684,7685,7686,7687,7688,7689,7690,7691,7692,7693,7694,7695,7696,7697,7698,7699,7700,7701,7702,7703,7704,7705,7706,7707,7708,7709,7710,7711,7712,7713,7714,7715,7716,7717,7718,7719,7720,7721,7722,7723,7724,7725,7726,7727,7728,7729,7730,7731,7732,7733,7734,7735,7736,7737,7738,7739,7740,7741,7742,7743,7744,7745,7746,7747,7748,7749,7750,7751,7752,7753,7754,7755,7756,7757,7758,7759,7760,7761,7762,7763,7764,7765,7766,7767,7768,7769,7770,7771,7772,7773,7774,7775,7776,7777,7778,7779,7780,7781,7782,7783,7784,7785,7786,7787,7788,7789,7790,7791,7792,7793,7794,7795,7796,7797,7798,7799,7800,7801,7802,7803,7804,7805,7806,7807,7808,7809,7810,7811,7812,7813,7814,7815,7816,7817,7818,7819,7820,7821,7822,7823,7824,7825,7826,7827,7828,7829,7830,7831,7832,7833,7834,7835,7836,7837,7838,7839,7840,7841,7842,7843,7844,7845,7846,7847,7848,7849,7850,7851,7852,7853,7854,7855,7856,7857,7858,7859,7860,7861,7862,7863,7864,7865,7866,7867,7868,7869,7870,7871,7872,7873,7874,7875,7876,7877,7878,7879,7880,7881,7882,7883,7884,7885,7886,7887,7888,7889,7890,7891,7892,7893,7894,7895,7896,7897,7898,7899,7900,7901,7902,7903,7904,7905,7906,7907,7908,7909,7910,7911,7912,7913,7914,7915,7916,7917,7918,7919,7920,7921,7922,7923,7924,7925,7926,7927,7928,7929,7930,7931,7932,7933,7934,7935,7936,7937,7938,7939,7940,7941,7942,7943,7944,7945,7946,7947,7948,7949,7950,7951,7952,7953,7954,7955,7956,7957,7958,7959,7960,7961,7962,7963,7964,7965,7966,7967,7968,7969,7970,7971,7972,7973,7974,7975,7976,7977,7978,7979,7980,7981,7982,7983,7984,7985,7986,7987,7988,7989,7990,7991,7992,7993,7994,7995,7996,7997,7998,7999,8000,8001,8002,8003,8004,8005,8006,8007,8008,8009,8010,8011,8012,8013,8014,8015,8016,8017,8018,8019,8020,8021,8022,8023,8024,8025,8026,8027,8028,8029,8030,8031,8032,8033,8034,8035,8036,8037,8038,8039,8040,8041,8042,8043,8044,8045,8046,8047,8048,8049,8050,8051,8052,8053,8054,8055,8056,8057,8058,8059,8060,8061,8062,8063,8064,8065,8066,8067,8068,8069,8070,8071,8072,8073,8074,8075,8076,8077,8078,8079,8080,8081,8082,8083,8084,8085,8086,8087,8088,8089,8090,8091,8092,8093,8094,8095,8096,8097,8098,8099,8100,8101,8102,8103,8104,8105,8106,8107,8108,8109,8110,8111,8112,8113,8114,8115,8116,8117,8118,8119,8120,8121,8122,8123,8124,8125,8126,8127,8128,8129,8130,8131,8132,8133,8134,8135,8136,8137,8138,8139,8140,8141,8142,8143,8144,8145,8146,8147,8148,8149,8150,8151,8152,8153,8154,8155,8156,8157,8158,8159,8160,8161,8162,8163,8164,8165,8166,8167,8168,8169,8170,8171,8172,8173,8174,8175,8176,8177,8178,8179,8180,8181,8182,8183,8184,8185,8186,8187,8188,8189,8190,8191,8192,8193,8194,8195,8196,8197,8198,8199,8200,8201,8202,8203,8204,8205,8206,8207,8208,8209,8210,8211,8212,8213,8214,8215,8216,8217,8218,8219,8220,8221,8222,8223,8224,8225,8226,8227,8228,8229,8230,8231,8232,8233,8234,8235,8236,8237,8238,8239,8240,8241,8242,8243,8244,8245,8246,8247,8248,8249,8250,8251,8252,8253,8254,8255,8256,8257,8258,8259,8260,8261,8262,8263,8264,8265,8266,8267,8268,8269,8270,8271,8272,8273,8274,8275,8276,8277,8278,8279,8280,8281,8282,8283,8284,8285,8286,8287,8288,8289,8290,8291,8292,8293,8294,8295,8296,8297,8298,8299,8300,8301,8302,8303,8304,8305,8306,8307,8308,8309,8310,8311,8312,8313,8314,8315,8316,8317,8318,8319,8320,8321,8322,8323,8324,8325,8326,8327,8328,8329,8330,8331,8332,8333,8334,8335,8336,8337,8338,8339,8340,8341,8342,8343,8344,8345,8346,8347,8348,8349,8350,8351,8352,8353,8354,8355,8356,8357,8358,8359,8360,8361,8362,8363,8364,8365,8366,8367,8368,8369,8370,8371,8372,8373,8374,8375,8376,8377,8378,8379,8380,8381,8382,8383,8384,8385,8386,8387,8388,8389,8390,8391,8392,8393,8394,8395,8396,8397,8398,8399,8400,8401,8402,8403,8404,8405,8406,8407,8408,8409,8410,8411,8412,8413,8414,8415,8416,8417,8418,8419,8420,8421,8422,8423,8424,8425,8426,8427,8428,8429,8430,8431,8432,8433,8434,8435,8436,8437,8438,8439,8440,8441,8442,8443,8444,8445,8446,8447,8448,8449,8450,8451,8452,8453,8454,8455,8456,8457,8458,8459,8460,8461,8462,8463,8464,8465,8466,8467,8468,8469,8470,8471,8472,8473,8474,8475,8476,8477,8478,8479,8480,8481,8482,8483,8484,8485,8486,8487,8488,8489,8490,8491,8492,8493,8494,8495,8496,8497,8498,8499,8500,8501,8502,8503,8504,8505,8506,8507,8508,8509,8510,8511,8512,8513,8514,8515,8516,8517,8518,8519,8520,8521,8522,8523,8524,8525,8526,8527,8528,8529,8530,8531,8532,8533,8534,8535,8536,8537,8538,8539,8540,8541,8542,8543,8544,8545,8546,8547,8548,8549,8550,8551,8552,8553,8554,8555,8556,8557,8558,8559,8560,8561,8562,8563,8564,8565,8566,8567,8568,8569,8570,8571,8572,8573,8574,8575,8576,8577,8578,8579,8580,8581,8582,8583,8584,8585,8586,8587,8588,8589,8590,8591,8592,8593,8594,8595,8596,8597,8598,8599,8600,8601,8602,8603,8604,8605,8606,8607,8608,8609,8610,8611,8612,8613,8614,8615,8616,8617,8618,8619,8620,8621,8622,8623,8624,8625,8626,8627,8628,8629,8630,8631,8632,8633,8634,8635,8636,8637,8638,8639,8640,8641,8642,8643,8644,8645,8646,8647,8648,8649,8650,8651,8652,8653,8654,8655,8656,8657,8658,8659,8660,8661,8662,8663,8664,8665,8666,8667,8668,8669,8670,8671,8672,8673,8674,8675,8676,8677,8678,8679,8680,8681,8682,8683,8684,8685,8686,8687,8688,8689,8690,8691,8692,8693,8694,8695,8696,8697,8698,8699,8700,8701,8702,8703,8704,8705,8706,8707,8708,8709,8710,8711,8712,8713,8714,8715,8716,8717,8718,8719,8720,8721,8722,8723,8724,8725,8726,8727,8728,8729,8730,8731,8732,8733,8734,8735,8736,8737,8738,8739,8740,8741,8742,8743,8744,8745,8746,8747,8748,8749,8750,8751,8752,8753,8754,8755,8756,8757,8758,8759,8760,8761,8762,8763,8764,8765,8766,8767,8768,8769,8770,8771,8772,8773,8774,8775,8776,8777,8778,8779,8780,8781,8782,8783,8784,8785,8786,8787,8788,8789,8790,8791,8792,8793,8794,8795,8796,8797,8798,8799,8800,8801,8802,8803,8804,8805,8806,8807,8808,8809,8810,8811,8812,8813,8814,8815,8816,8817,8818,8819,8820,8821,8822,8823,8824,8825,8826,8827,8828,8829,8830,8831,8832,8833,8834,8835,8836,8837,8838,8839,8840,8841,8842,8843,8844,8845,8846,8847,8848,8849,8850,8851,8852,8853,8854,8855,8856,8857,8858,8859,8860,8861,8862,8863,8864,8865,8866,8867,8868,8869,8870,8871,8872,8873,8874,8875,8876,8877,8878,8879,8880,8881,8882,8883,8884,8885,8886,8887,8888,8889,8890,8891,8892,8893,8894,8895,8896,8897,8898,8899,8900,8901,8902,8903,8904,8905,8906,8907,8908,8909,8910,8911,8912,8913,8914,8915,8916,8917,8918,8919,8920,8921,8922,8923,8924,8925,8926,8927,8928,8929,8930,8931,8932,8933,8934,8935,8936,8937,8938,8939,8940,8941,8942,8943,8944,8945,8946,8947,8948,8949,8950,8951,8952,8953,8954,8955,8956,8957,8958,8959,8960,8961,8962,8963,8964,8965,8966,8967,8968,8969,8970,8971,8972,8973,8974,8975,8976,8977,8978,8979,8980,8981,8982,8983,8984,8985,8986,8987,8988,8989,8990,8991,8992,8993,8994,8995,8996,8997,8998,8999,9000,9001,9002,9003,9004,9005,9006,9007,9008,9009,9010,9011,9012,9013,9014,9015,9016,9017,9018,9019,9020,9021,9022,9023,9024,9025,9026,9027,9028,9029,9030,9031,9032,9033,9034,9035,9036,9037,9038,9039,9040,9041,9042,9043,9044,9045,9046,9047,9048,9049,9050,9051,9052,9053,9054,9055,9056,9057,9058,9059,9060,9061,9062,9063,9064,9065,9066,9067,9068,9069,9070,9071,9072,9073,9074,9075,9076,9077,9078,9079,9080,9081,9082,9083,9084,9085,9086,9087,9088,9089,9090,9091,9092,9093,9094,9095,9096,9097,9098,9099,9100,9101,9102,9103,9104,9105,9106,9107,9108,9109,9110,9111,9112,9113,9114,9115,9116,9117,9118,9119,9120,9121,9122,9123,9124,9125,9126,9127,9128,9129,9130,9131,9132,9133,9134,9135,9136,9137,9138,9139,9140,9141,9142,9143,9144,9145,9146,9147,9148,9149,9150,9151,9152,9153,9154,9155,9156,9157,9158,9159,9160,9161,9162,9163,9164,9165,9166,9167,9168,9169,9170,9171,9172,9173,9174,9175,9176,9177,9178,9179,9180,9181,9182,9183,9184,9185,9186,9187,9188,9189,9190,9191,9192,9193,9194,9195,9196,9197,9198,9199,9200,9201,9202,9203,9204,9205,9206,9207,9208,9209,9210,9211,9212,9213,9214,9215,9216,9217,9218,9219,9220,9221,9222,9223,9224,9225,9226,9227,9228,9229,9230,9231,9232,9233,9234,9235,9236,9237,9238,9239,9240,9241,9242,9243,9244,9245,9246,9247,9248,9249,9250,9251,9252,9253,9254,9255,9256,9257,9258,9259,9260,9261,9262,9263,9264,9265,9266,9267,9268,9269,9270,9271,9272,9273,9274,9275,9276,9277,9278,9279,9280,9281,9282,9283,9284,9285,9286,9287,9288,9289,9290,9291,9292,9293,9294,9295,9296,9297,9298,9299,9300,9301,9302,9303,9304,9305,9306,9307,9308,9309,9310,9311,9312,9313,9314,9315,9316,9317,9318,9319,9320,9321,9322,9323,9324,9325,9326,9327,9328,9329,9330,9331,9332,9333,9334,9335,9336,9337,9338,9339,9340,9341,9342,9343,9344,9345,9346,9347,9348,9349,9350,9351,9352,9353,9354,9355,9356,9357,9358,9359,9360,9361,9362,9363,9364,9365,9366,9367,9368,9369,9370,9371,9372,9373,9374,9375,9376,9377,9378,9379,9380,9381,9382,9383,9384,9385,9386,9387,9388,9389,9390,9391);(2,9391)(3,9390)(4,9389)(5,9388)(6,9387)(7,9386)(8,9385)(9,9384)(10,9383)(11,9382)(12,9381)(13,9380)(14,9379)(15,9378)(16,9377)(17,9376)(18,9375)(19,9374)(20,9373)(21,9372)(22,9371)(23,9370)(24,9369)(25,9368)(26,9367)(27,9366)(28,9365)(29,9364)(30,9363)(31,9362)(32,9361)(33,9360)(34,9359)(35,9358)(36,9357)(37,9356)(38,9355)(39,9354)(40,9353)(41,9352)(42,9351)(43,9350)(44,9349)(45,9348)(46,9347)(47,9346)(48,9345)(49,9344)(50,9343)(51,9342)(52,9341)(53,9340)(54,9339)(55,9338)(56,9337)(57,9336)(58,9335)(59,9334)(60,9333)(61,9332)(62,9331)(63,9330)(64,9329)(65,9328)(66,9327)(67,9326)(68,9325)(69,9324)(70,9323)(71,9322)(72,9321)(73,9320)(74,9319)(75,9318)(76,9317)(77,9316)(78,9315)(79,9314)(80,9313)(81,9312)(82,9311)(83,9310)(84,9309)(85,9308)(86,9307)(87,9306)(88,9305)(89,9304)(90,9303)(91,9302)(92,9301)(93,9300)(94,9299)(95,9298)(96,9297)(97,9296)(98,9295)(99,9294)(100,9293)(101,9292)(102,9291)(103,9290)(104,9289)(105,9288)(106,9287)(107,9286)(108,9285)(109,9284)(110,9283)(111,9282)(112,9281)(113,9280)(114,9279)(115,9278)(116,9277)(117,9276)(118,9275)(119,9274)(120,9273)(121,9272)(122,9271)(123,9270)(124,9269)(125,9268)(126,9267)(127,9266)(128,9265)(129,9264)(130,9263)(131,9262)(132,9261)(133,9260)(134,9259)(135,9258)(136,9257)(137,9256)(138,9255)(139,9254)(140,9253)(141,9252)(142,9251)(143,9250)(144,9249)(145,9248)(146,9247)(147,9246)(148,9245)(149,9244)(150,9243)(151,9242)(152,9241)(153,9240)(154,9239)(155,9238)(156,9237)(157,9236)(158,9235)(159,9234)(160,9233)(161,9232)(162,9231)(163,9230)(164,9229)(165,9228)(166,9227)(167,9226)(168,9225)(169,9224)(170,9223)(171,9222)(172,9221)(173,9220)(174,9219)(175,9218)(176,9217)(177,9216)(178,9215)(179,9214)(180,9213)(181,9212)(182,9211)(183,9210)(184,9209)(185,9208)(186,9207)(187,9206)(188,9205)(189,9204)(190,9203)(191,9202)(192,9201)(193,9200)(194,9199)(195,9198)(196,9197)(197,9196)(198,9195)(199,9194)(200,9193)(201,9192)(202,9191)(203,9190)(204,9189)(205,9188)(206,9187)(207,9186)(208,9185)(209,9184)(210,9183)(211,9182)(212,9181)(213,9180)(214,9179)(215,9178)(216,9177)(217,9176)(218,9175)(219,9174)(220,9173)(221,9172)(222,9171)(223,9170)(224,9169)(225,9168)(226,9167)(227,9166)(228,9165)(229,9164)(230,9163)(231,9162)(232,9161)(233,9160)(234,9159)(235,9158)(236,9157)(237,9156)(238,9155)(239,9154)(240,9153)(241,9152)(242,9151)(243,9150)(244,9149)(245,9148)(246,9147)(247,9146)(248,9145)(249,9144)(250,9143)(251,9142)(252,9141)(253,9140)(254,9139)(255,9138)(256,9137)(257,9136)(258,9135)(259,9134)(260,9133)(261,9132)(262,9131)(263,9130)(264,9129)(265,9128)(266,9127)(267,9126)(268,9125)(269,9124)(270,9123)(271,9122)(272,9121)(273,9120)(274,9119)(275,9118)(276,9117)(277,9116)(278,9115)(279,9114)(280,9113)(281,9112)(282,9111)(283,9110)(284,9109)(285,9108)(286,9107)(287,9106)(288,9105)(289,9104)(290,9103)(291,9102)(292,9101)(293,9100)(294,9099)(295,9098)(296,9097)(297,9096)(298,9095)(299,9094)(300,9093)(301,9092)(302,9091)(303,9090)(304,9089)(305,9088)(306,9087)(307,9086)(308,9085)(309,9084)(310,9083)(311,9082)(312,9081)(313,9080)(314,9079)(315,9078)(316,9077)(317,9076)(318,9075)(319,9074)(320,9073)(321,9072)(322,9071)(323,9070)(324,9069)(325,9068)(326,9067)(327,9066)(328,9065)(329,9064)(330,9063)(331,9062)(332,9061)(333,9060)(334,9059)(335,9058)(336,9057)(337,9056)(338,9055)(339,9054)(340,9053)(341,9052)(342,9051)(343,9050)(344,9049)(345,9048)(346,9047)(347,9046)(348,9045)(349,9044)(350,9043)(351,9042)(352,9041)(353,9040)(354,9039)(355,9038)(356,9037)(357,9036)(358,9035)(359,9034)(360,9033)(361,9032)(362,9031)(363,9030)(364,9029)(365,9028)(366,9027)(367,9026)(368,9025)(369,9024)(370,9023)(371,9022)(372,9021)(373,9020)(374,9019)(375,9018)(376,9017)(377,9016)(378,9015)(379,9014)(380,9013)(381,9012)(382,9011)(383,9010)(384,9009)(385,9008)(386,9007)(387,9006)(388,9005)(389,9004)(390,9003)(391,9002)(392,9001)(393,9000)(394,8999)(395,8998)(396,8997)(397,8996)(398,8995)(399,8994)(400,8993)(401,8992)(402,8991)(403,8990)(404,8989)(405,8988)(406,8987)(407,8986)(408,8985)(409,8984)(410,8983)(411,8982)(412,8981)(413,8980)(414,8979)(415,8978)(416,8977)(417,8976)(418,8975)(419,8974)(420,8973)(421,8972)(422,8971)(423,8970)(424,8969)(425,8968)(426,8967)(427,8966)(428,8965)(429,8964)(430,8963)(431,8962)(432,8961)(433,8960)(434,8959)(435,8958)(436,8957)(437,8956)(438,8955)(439,8954)(440,8953)(441,8952)(442,8951)(443,8950)(444,8949)(445,8948)(446,8947)(447,8946)(448,8945)(449,8944)(450,8943)(451,8942)(452,8941)(453,8940)(454,8939)(455,8938)(456,8937)(457,8936)(458,8935)(459,8934)(460,8933)(461,8932)(462,8931)(463,8930)(464,8929)(465,8928)(466,8927)(467,8926)(468,8925)(469,8924)(470,8923)(471,8922)(472,8921)(473,8920)(474,8919)(475,8918)(476,8917)(477,8916)(478,8915)(479,8914)(480,8913)(481,8912)(482,8911)(483,8910)(484,8909)(485,8908)(486,8907)(487,8906)(488,8905)(489,8904)(490,8903)(491,8902)(492,8901)(493,8900)(494,8899)(495,8898)(496,8897)(497,8896)(498,8895)(499,8894)(500,8893)(501,8892)(502,8891)(503,8890)(504,8889)(505,8888)(506,8887)(507,8886)(508,8885)(509,8884)(510,8883)(511,8882)(512,8881)(513,8880)(514,8879)(515,8878)(516,8877)(517,8876)(518,8875)(519,8874)(520,8873)(521,8872)(522,8871)(523,8870)(524,8869)(525,8868)(526,8867)(527,8866)(528,8865)(529,8864)(530,8863)(531,8862)(532,8861)(533,8860)(534,8859)(535,8858)(536,8857)(537,8856)(538,8855)(539,8854)(540,8853)(541,8852)(542,8851)(543,8850)(544,8849)(545,8848)(546,8847)(547,8846)(548,8845)(549,8844)(550,8843)(551,8842)(552,8841)(553,8840)(554,8839)(555,8838)(556,8837)(557,8836)(558,8835)(559,8834)(560,8833)(561,8832)(562,8831)(563,8830)(564,8829)(565,8828)(566,8827)(567,8826)(568,8825)(569,8824)(570,8823)(571,8822)(572,8821)(573,8820)(574,8819)(575,8818)(576,8817)(577,8816)(578,8815)(579,8814)(580,8813)(581,8812)(582,8811)(583,8810)(584,8809)(585,8808)(586,8807)(587,8806)(588,8805)(589,8804)(590,8803)(591,8802)(592,8801)(593,8800)(594,8799)(595,8798)(596,8797)(597,8796)(598,8795)(599,8794)(600,8793)(601,8792)(602,8791)(603,8790)(604,8789)(605,8788)(606,8787)(607,8786)(608,8785)(609,8784)(610,8783)(611,8782)(612,8781)(613,8780)(614,8779)(615,8778)(616,8777)(617,8776)(618,8775)(619,8774)(620,8773)(621,8772)(622,8771)(623,8770)(624,8769)(625,8768)(626,8767)(627,8766)(628,8765)(629,8764)(630,8763)(631,8762)(632,8761)(633,8760)(634,8759)(635,8758)(636,8757)(637,8756)(638,8755)(639,8754)(640,8753)(641,8752)(642,8751)(643,8750)(644,8749)(645,8748)(646,8747)(647,8746)(648,8745)(649,8744)(650,8743)(651,8742)(652,8741)(653,8740)(654,8739)(655,8738)(656,8737)(657,8736)(658,8735)(659,8734)(660,8733)(661,8732)(662,8731)(663,8730)(664,8729)(665,8728)(666,8727)(667,8726)(668,8725)(669,8724)(670,8723)(671,8722)(672,8721)(673,8720)(674,8719)(675,8718)(676,8717)(677,8716)(678,8715)(679,8714)(680,8713)(681,8712)(682,8711)(683,8710)(684,8709)(685,8708)(686,8707)(687,8706)(688,8705)(689,8704)(690,8703)(691,8702)(692,8701)(693,8700)(694,8699)(695,8698)(696,8697)(697,8696)(698,8695)(699,8694)(700,8693)(701,8692)(702,8691)(703,8690)(704,8689)(705,8688)(706,8687)(707,8686)(708,8685)(709,8684)(710,8683)(711,8682)(712,8681)(713,8680)(714,8679)(715,8678)(716,8677)(717,8676)(718,8675)(719,8674)(720,8673)(721,8672)(722,8671)(723,8670)(724,8669)(725,8668)(726,8667)(727,8666)(728,8665)(729,8664)(730,8663)(731,8662)(732,8661)(733,8660)(734,8659)(735,8658)(736,8657)(737,8656)(738,8655)(739,8654)(740,8653)(741,8652)(742,8651)(743,8650)(744,8649)(745,8648)(746,8647)(747,8646)(748,8645)(749,8644)(750,8643)(751,8642)(752,8641)(753,8640)(754,8639)(755,8638)(756,8637)(757,8636)(758,8635)(759,8634)(760,8633)(761,8632)(762,8631)(763,8630)(764,8629)(765,8628)(766,8627)(767,8626)(768,8625)(769,8624)(770,8623)(771,8622)(772,8621)(773,8620)(774,8619)(775,8618)(776,8617)(777,8616)(778,8615)(779,8614)(780,8613)(781,8612)(782,8611)(783,8610)(784,8609)(785,8608)(786,8607)(787,8606)(788,8605)(789,8604)(790,8603)(791,8602)(792,8601)(793,8600)(794,8599)(795,8598)(796,8597)(797,8596)(798,8595)(799,8594)(800,8593)(801,8592)(802,8591)(803,8590)(804,8589)(805,8588)(806,8587)(807,8586)(808,8585)(809,8584)(810,8583)(811,8582)(812,8581)(813,8580)(814,8579)(815,8578)(816,8577)(817,8576)(818,8575)(819,8574)(820,8573)(821,8572)(822,8571)(823,8570)(824,8569)(825,8568)(826,8567)(827,8566)(828,8565)(829,8564)(830,8563)(831,8562)(832,8561)(833,8560)(834,8559)(835,8558)(836,8557)(837,8556)(838,8555)(839,8554)(840,8553)(841,8552)(842,8551)(843,8550)(844,8549)(845,8548)(846,8547)(847,8546)(848,8545)(849,8544)(850,8543)(851,8542)(852,8541)(853,8540)(854,8539)(855,8538)(856,8537)(857,8536)(858,8535)(859,8534)(860,8533)(861,8532)(862,8531)(863,8530)(864,8529)(865,8528)(866,8527)(867,8526)(868,8525)(869,8524)(870,8523)(871,8522)(872,8521)(873,8520)(874,8519)(875,8518)(876,8517)(877,8516)(878,8515)(879,8514)(880,8513)(881,8512)(882,8511)(883,8510)(884,8509)(885,8508)(886,8507)(887,8506)(888,8505)(889,8504)(890,8503)(891,8502)(892,8501)(893,8500)(894,8499)(895,8498)(896,8497)(897,8496)(898,8495)(899,8494)(900,8493)(901,8492)(902,8491)(903,8490)(904,8489)(905,8488)(906,8487)(907,8486)(908,8485)(909,8484)(910,8483)(911,8482)(912,8481)(913,8480)(914,8479)(915,8478)(916,8477)(917,8476)(918,8475)(919,8474)(920,8473)(921,8472)(922,8471)(923,8470)(924,8469)(925,8468)(926,8467)(927,8466)(928,8465)(929,8464)(930,8463)(931,8462)(932,8461)(933,8460)(934,8459)(935,8458)(936,8457)(937,8456)(938,8455)(939,8454)(940,8453)(941,8452)(942,8451)(943,8450)(944,8449)(945,8448)(946,8447)(947,8446)(948,8445)(949,8444)(950,8443)(951,8442)(952,8441)(953,8440)(954,8439)(955,8438)(956,8437)(957,8436)(958,8435)(959,8434)(960,8433)(961,8432)(962,8431)(963,8430)(964,8429)(965,8428)(966,8427)(967,8426)(968,8425)(969,8424)(970,8423)(971,8422)(972,8421)(973,8420)(974,8419)(975,8418)(976,8417)(977,8416)(978,8415)(979,8414)(980,8413)(981,8412)(982,8411)(983,8410)(984,8409)(985,8408)(986,8407)(987,8406)(988,8405)(989,8404)(990,8403)(991,8402)(992,8401)(993,8400)(994,8399)(995,8398)(996,8397)(997,8396)(998,8395)(999,8394)(1000,8393)(1001,8392)(1002,8391)(1003,8390)(1004,8389)(1005,8388)(1006,8387)(1007,8386)(1008,8385)(1009,8384)(1010,8383)(1011,8382)(1012,8381)(1013,8380)(1014,8379)(1015,8378)(1016,8377)(1017,8376)(1018,8375)(1019,8374)(1020,8373)(1021,8372)(1022,8371)(1023,8370)(1024,8369)(1025,8368)(1026,8367)(1027,8366)(1028,8365)(1029,8364)(1030,8363)(1031,8362)(1032,8361)(1033,8360)(1034,8359)(1035,8358)(1036,8357)(1037,8356)(1038,8355)(1039,8354)(1040,8353)(1041,8352)(1042,8351)(1043,8350)(1044,8349)(1045,8348)(1046,8347)(1047,8346)(1048,8345)(1049,8344)(1050,8343)(1051,8342)(1052,8341)(1053,8340)(1054,8339)(1055,8338)(1056,8337)(1057,8336)(1058,8335)(1059,8334)(1060,8333)(1061,8332)(1062,8331)(1063,8330)(1064,8329)(1065,8328)(1066,8327)(1067,8326)(1068,8325)(1069,8324)(1070,8323)(1071,8322)(1072,8321)(1073,8320)(1074,8319)(1075,8318)(1076,8317)(1077,8316)(1078,8315)(1079,8314)(1080,8313)(1081,8312)(1082,8311)(1083,8310)(1084,8309)(1085,8308)(1086,8307)(1087,8306)(1088,8305)(1089,8304)(1090,8303)(1091,8302)(1092,8301)(1093,8300)(1094,8299)(1095,8298)(1096,8297)(1097,8296)(1098,8295)(1099,8294)(1100,8293)(1101,8292)(1102,8291)(1103,8290)(1104,8289)(1105,8288)(1106,8287)(1107,8286)(1108,8285)(1109,8284)(1110,8283)(1111,8282)(1112,8281)(1113,8280)(1114,8279)(1115,8278)(1116,8277)(1117,8276)(1118,8275)(1119,8274)(1120,8273)(1121,8272)(1122,8271)(1123,8270)(1124,8269)(1125,8268)(1126,8267)(1127,8266)(1128,8265)(1129,8264)(1130,8263)(1131,8262)(1132,8261)(1133,8260)(1134,8259)(1135,8258)(1136,8257)(1137,8256)(1138,8255)(1139,8254)(1140,8253)(1141,8252)(1142,8251)(1143,8250)(1144,8249)(1145,8248)(1146,8247)(1147,8246)(1148,8245)(1149,8244)(1150,8243)(1151,8242)(1152,8241)(1153,8240)(1154,8239)(1155,8238)(1156,8237)(1157,8236)(1158,8235)(1159,8234)(1160,8233)(1161,8232)(1162,8231)(1163,8230)(1164,8229)(1165,8228)(1166,8227)(1167,8226)(1168,8225)(1169,8224)(1170,8223)(1171,8222)(1172,8221)(1173,8220)(1174,8219)(1175,8218)(1176,8217)(1177,8216)(1178,8215)(1179,8214)(1180,8213)(1181,8212)(1182,8211)(1183,8210)(1184,8209)(1185,8208)(1186,8207)(1187,8206)(1188,8205)(1189,8204)(1190,8203)(1191,8202)(1192,8201)(1193,8200)(1194,8199)(1195,8198)(1196,8197)(1197,8196)(1198,8195)(1199,8194)(1200,8193)(1201,8192)(1202,8191)(1203,8190)(1204,8189)(1205,8188)(1206,8187)(1207,8186)(1208,8185)(1209,8184)(1210,8183)(1211,8182)(1212,8181)(1213,8180)(1214,8179)(1215,8178)(1216,8177)(1217,8176)(1218,8175)(1219,8174)(1220,8173)(1221,8172)(1222,8171)(1223,8170)(1224,8169)(1225,8168)(1226,8167)(1227,8166)(1228,8165)(1229,8164)(1230,8163)(1231,8162)(1232,8161)(1233,8160)(1234,8159)(1235,8158)(1236,8157)(1237,8156)(1238,8155)(1239,8154)(1240,8153)(1241,8152)(1242,8151)(1243,8150)(1244,8149)(1245,8148)(1246,8147)(1247,8146)(1248,8145)(1249,8144)(1250,8143)(1251,8142)(1252,8141)(1253,8140)(1254,8139)(1255,8138)(1256,8137)(1257,8136)(1258,8135)(1259,8134)(1260,8133)(1261,8132)(1262,8131)(1263,8130)(1264,8129)(1265,8128)(1266,8127)(1267,8126)(1268,8125)(1269,8124)(1270,8123)(1271,8122)(1272,8121)(1273,8120)(1274,8119)(1275,8118)(1276,8117)(1277,8116)(1278,8115)(1279,8114)(1280,8113)(1281,8112)(1282,8111)(1283,8110)(1284,8109)(1285,8108)(1286,8107)(1287,8106)(1288,8105)(1289,8104)(1290,8103)(1291,8102)(1292,8101)(1293,8100)(1294,8099)(1295,8098)(1296,8097)(1297,8096)(1298,8095)(1299,8094)(1300,8093)(1301,8092)(1302,8091)(1303,8090)(1304,8089)(1305,8088)(1306,8087)(1307,8086)(1308,8085)(1309,8084)(1310,8083)(1311,8082)(1312,8081)(1313,8080)(1314,8079)(1315,8078)(1316,8077)(1317,8076)(1318,8075)(1319,8074)(1320,8073)(1321,8072)(1322,8071)(1323,8070)(1324,8069)(1325,8068)(1326,8067)(1327,8066)(1328,8065)(1329,8064)(1330,8063)(1331,8062)(1332,8061)(1333,8060)(1334,8059)(1335,8058)(1336,8057)(1337,8056)(1338,8055)(1339,8054)(1340,8053)(1341,8052)(1342,8051)(1343,8050)(1344,8049)(1345,8048)(1346,8047)(1347,8046)(1348,8045)(1349,8044)(1350,8043)(1351,8042)(1352,8041)(1353,8040)(1354,8039)(1355,8038)(1356,8037)(1357,8036)(1358,8035)(1359,8034)(1360,8033)(1361,8032)(1362,8031)(1363,8030)(1364,8029)(1365,8028)(1366,8027)(1367,8026)(1368,8025)(1369,8024)(1370,8023)(1371,8022)(1372,8021)(1373,8020)(1374,8019)(1375,8018)(1376,8017)(1377,8016)(1378,8015)(1379,8014)(1380,8013)(1381,8012)(1382,8011)(1383,8010)(1384,8009)(1385,8008)(1386,8007)(1387,8006)(1388,8005)(1389,8004)(1390,8003)(1391,8002)(1392,8001)(1393,8000)(1394,7999)(1395,7998)(1396,7997)(1397,7996)(1398,7995)(1399,7994)(1400,7993)(1401,7992)(1402,7991)(1403,7990)(1404,7989)(1405,7988)(1406,7987)(1407,7986)(1408,7985)(1409,7984)(1410,7983)(1411,7982)(1412,7981)(1413,7980)(1414,7979)(1415,7978)(1416,7977)(1417,7976)(1418,7975)(1419,7974)(1420,7973)(1421,7972)(1422,7971)(1423,7970)(1424,7969)(1425,7968)(1426,7967)(1427,7966)(1428,7965)(1429,7964)(1430,7963)(1431,7962)(1432,7961)(1433,7960)(1434,7959)(1435,7958)(1436,7957)(1437,7956)(1438,7955)(1439,7954)(1440,7953)(1441,7952)(1442,7951)(1443,7950)(1444,7949)(1445,7948)(1446,7947)(1447,7946)(1448,7945)(1449,7944)(1450,7943)(1451,7942)(1452,7941)(1453,7940)(1454,7939)(1455,7938)(1456,7937)(1457,7936)(1458,7935)(1459,7934)(1460,7933)(1461,7932)(1462,7931)(1463,7930)(1464,7929)(1465,7928)(1466,7927)(1467,7926)(1468,7925)(1469,7924)(1470,7923)(1471,7922)(1472,7921)(1473,7920)(1474,7919)(1475,7918)(1476,7917)(1477,7916)(1478,7915)(1479,7914)(1480,7913)(1481,7912)(1482,7911)(1483,7910)(1484,7909)(1485,7908)(1486,7907)(1487,7906)(1488,7905)(1489,7904)(1490,7903)(1491,7902)(1492,7901)(1493,7900)(1494,7899)(1495,7898)(1496,7897)(1497,7896)(1498,7895)(1499,7894)(1500,7893)(1501,7892)(1502,7891)(1503,7890)(1504,7889)(1505,7888)(1506,7887)(1507,7886)(1508,7885)(1509,7884)(1510,7883)(1511,7882)(1512,7881)(1513,7880)(1514,7879)(1515,7878)(1516,7877)(1517,7876)(1518,7875)(1519,7874)(1520,7873)(1521,7872)(1522,7871)(1523,7870)(1524,7869)(1525,7868)(1526,7867)(1527,7866)(1528,7865)(1529,7864)(1530,7863)(1531,7862)(1532,7861)(1533,7860)(1534,7859)(1535,7858)(1536,7857)(1537,7856)(1538,7855)(1539,7854)(1540,7853)(1541,7852)(1542,7851)(1543,7850)(1544,7849)(1545,7848)(1546,7847)(1547,7846)(1548,7845)(1549,7844)(1550,7843)(1551,7842)(1552,7841)(1553,7840)(1554,7839)(1555,7838)(1556,7837)(1557,7836)(1558,7835)(1559,7834)(1560,7833)(1561,7832)(1562,7831)(1563,7830)(1564,7829)(1565,7828)(1566,7827)(1567,7826)(1568,7825)(1569,7824)(1570,7823)(1571,7822)(1572,7821)(1573,7820)(1574,7819)(1575,7818)(1576,7817)(1577,7816)(1578,7815)(1579,7814)(1580,7813)(1581,7812)(1582,7811)(1583,7810)(1584,7809)(1585,7808)(1586,7807)(1587,7806)(1588,7805)(1589,7804)(1590,7803)(1591,7802)(1592,7801)(1593,7800)(1594,7799)(1595,7798)(1596,7797)(1597,7796)(1598,7795)(1599,7794)(1600,7793)(1601,7792)(1602,7791)(1603,7790)(1604,7789)(1605,7788)(1606,7787)(1607,7786)(1608,7785)(1609,7784)(1610,7783)(1611,7782)(1612,7781)(1613,7780)(1614,7779)(1615,7778)(1616,7777)(1617,7776)(1618,7775)(1619,7774)(1620,7773)(1621,7772)(1622,7771)(1623,7770)(1624,7769)(1625,7768)(1626,7767)(1627,7766)(1628,7765)(1629,7764)(1630,7763)(1631,7762)(1632,7761)(1633,7760)(1634,7759)(1635,7758)(1636,7757)(1637,7756)(1638,7755)(1639,7754)(1640,7753)(1641,7752)(1642,7751)(1643,7750)(1644,7749)(1645,7748)(1646,7747)(1647,7746)(1648,7745)(1649,7744)(1650,7743)(1651,7742)(1652,7741)(1653,7740)(1654,7739)(1655,7738)(1656,7737)(1657,7736)(1658,7735)(1659,7734)(1660,7733)(1661,7732)(1662,7731)(1663,7730)(1664,7729)(1665,7728)(1666,7727)(1667,7726)(1668,7725)(1669,7724)(1670,7723)(1671,7722)(1672,7721)(1673,7720)(1674,7719)(1675,7718)(1676,7717)(1677,7716)(1678,7715)(1679,7714)(1680,7713)(1681,7712)(1682,7711)(1683,7710)(1684,7709)(1685,7708)(1686,7707)(1687,7706)(1688,7705)(1689,7704)(1690,7703)(1691,7702)(1692,7701)(1693,7700)(1694,7699)(1695,7698)(1696,7697)(1697,7696)(1698,7695)(1699,7694)(1700,7693)(1701,7692)(1702,7691)(1703,7690)(1704,7689)(1705,7688)(1706,7687)(1707,7686)(1708,7685)(1709,7684)(1710,7683)(1711,7682)(1712,7681)(1713,7680)(1714,7679)(1715,7678)(1716,7677)(1717,7676)(1718,7675)(1719,7674)(1720,7673)(1721,7672)(1722,7671)(1723,7670)(1724,7669)(1725,7668)(1726,7667)(1727,7666)(1728,7665)(1729,7664)(1730,7663)(1731,7662)(1732,7661)(1733,7660)(1734,7659)(1735,7658)(1736,7657)(1737,7656)(1738,7655)(1739,7654)(1740,7653)(1741,7652)(1742,7651)(1743,7650)(1744,7649)(1745,7648)(1746,7647)(1747,7646)(1748,7645)(1749,7644)(1750,7643)(1751,7642)(1752,7641)(1753,7640)(1754,7639)(1755,7638)(1756,7637)(1757,7636)(1758,7635)(1759,7634)(1760,7633)(1761,7632)(1762,7631)(1763,7630)(1764,7629)(1765,7628)(1766,7627)(1767,7626)(1768,7625)(1769,7624)(1770,7623)(1771,7622)(1772,7621)(1773,7620)(1774,7619)(1775,7618)(1776,7617)(1777,7616)(1778,7615)(1779,7614)(1780,7613)(1781,7612)(1782,7611)(1783,7610)(1784,7609)(1785,7608)(1786,7607)(1787,7606)(1788,7605)(1789,7604)(1790,7603)(1791,7602)(1792,7601)(1793,7600)(1794,7599)(1795,7598)(1796,7597)(1797,7596)(1798,7595)(1799,7594)(1800,7593)(1801,7592)(1802,7591)(1803,7590)(1804,7589)(1805,7588)(1806,7587)(1807,7586)(1808,7585)(1809,7584)(1810,7583)(1811,7582)(1812,7581)(1813,7580)(1814,7579)(1815,7578)(1816,7577)(1817,7576)(1818,7575)(1819,7574)(1820,7573)(1821,7572)(1822,7571)(1823,7570)(1824,7569)(1825,7568)(1826,7567)(1827,7566)(1828,7565)(1829,7564)(1830,7563)(1831,7562)(1832,7561)(1833,7560)(1834,7559)(1835,7558)(1836,7557)(1837,7556)(1838,7555)(1839,7554)(1840,7553)(1841,7552)(1842,7551)(1843,7550)(1844,7549)(1845,7548)(1846,7547)(1847,7546)(1848,7545)(1849,7544)(1850,7543)(1851,7542)(1852,7541)(1853,7540)(1854,7539)(1855,7538)(1856,7537)(1857,7536)(1858,7535)(1859,7534)(1860,7533)(1861,7532)(1862,7531)(1863,7530)(1864,7529)(1865,7528)(1866,7527)(1867,7526)(1868,7525)(1869,7524)(1870,7523)(1871,7522)(1872,7521)(1873,7520)(1874,7519)(1875,7518)(1876,7517)(1877,7516)(1878,7515)(1879,7514)(1880,7513)(1881,7512)(1882,7511)(1883,7510)(1884,7509)(1885,7508)(1886,7507)(1887,7506)(1888,7505)(1889,7504)(1890,7503)(1891,7502)(1892,7501)(1893,7500)(1894,7499)(1895,7498)(1896,7497)(1897,7496)(1898,7495)(1899,7494)(1900,7493)(1901,7492)(1902,7491)(1903,7490)(1904,7489)(1905,7488)(1906,7487)(1907,7486)(1908,7485)(1909,7484)(1910,7483)(1911,7482)(1912,7481)(1913,7480)(1914,7479)(1915,7478)(1916,7477)(1917,7476)(1918,7475)(1919,7474)(1920,7473)(1921,7472)(1922,7471)(1923,7470)(1924,7469)(1925,7468)(1926,7467)(1927,7466)(1928,7465)(1929,7464)(1930,7463)(1931,7462)(1932,7461)(1933,7460)(1934,7459)(1935,7458)(1936,7457)(1937,7456)(1938,7455)(1939,7454)(1940,7453)(1941,7452)(1942,7451)(1943,7450)(1944,7449)(1945,7448)(1946,7447)(1947,7446)(1948,7445)(1949,7444)(1950,7443)(1951,7442)(1952,7441)(1953,7440)(1954,7439)(1955,7438)(1956,7437)(1957,7436)(1958,7435)(1959,7434)(1960,7433)(1961,7432)(1962,7431)(1963,7430)(1964,7429)(1965,7428)(1966,7427)(1967,7426)(1968,7425)(1969,7424)(1970,7423)(1971,7422)(1972,7421)(1973,7420)(1974,7419)(1975,7418)(1976,7417)(1977,7416)(1978,7415)(1979,7414)(1980,7413)(1981,7412)(1982,7411)(1983,7410)(1984,7409)(1985,7408)(1986,7407)(1987,7406)(1988,7405)(1989,7404)(1990,7403)(1991,7402)(1992,7401)(1993,7400)(1994,7399)(1995,7398)(1996,7397)(1997,7396)(1998,7395)(1999,7394)(2000,7393)(2001,7392)(2002,7391)(2003,7390)(2004,7389)(2005,7388)(2006,7387)(2007,7386)(2008,7385)(2009,7384)(2010,7383)(2011,7382)(2012,7381)(2013,7380)(2014,7379)(2015,7378)(2016,7377)(2017,7376)(2018,7375)(2019,7374)(2020,7373)(2021,7372)(2022,7371)(2023,7370)(2024,7369)(2025,7368)(2026,7367)(2027,7366)(2028,7365)(2029,7364)(2030,7363)(2031,7362)(2032,7361)(2033,7360)(2034,7359)(2035,7358)(2036,7357)(2037,7356)(2038,7355)(2039,7354)(2040,7353)(2041,7352)(2042,7351)(2043,7350)(2044,7349)(2045,7348)(2046,7347)(2047,7346)(2048,7345)(2049,7344)(2050,7343)(2051,7342)(2052,7341)(2053,7340)(2054,7339)(2055,7338)(2056,7337)(2057,7336)(2058,7335)(2059,7334)(2060,7333)(2061,7332)(2062,7331)(2063,7330)(2064,7329)(2065,7328)(2066,7327)(2067,7326)(2068,7325)(2069,7324)(2070,7323)(2071,7322)(2072,7321)(2073,7320)(2074,7319)(2075,7318)(2076,7317)(2077,7316)(2078,7315)(2079,7314)(2080,7313)(2081,7312)(2082,7311)(2083,7310)(2084,7309)(2085,7308)(2086,7307)(2087,7306)(2088,7305)(2089,7304)(2090,7303)(2091,7302)(2092,7301)(2093,7300)(2094,7299)(2095,7298)(2096,7297)(2097,7296)(2098,7295)(2099,7294)(2100,7293)(2101,7292)(2102,7291)(2103,7290)(2104,7289)(2105,7288)(2106,7287)(2107,7286)(2108,7285)(2109,7284)(2110,7283)(2111,7282)(2112,7281)(2113,7280)(2114,7279)(2115,7278)(2116,7277)(2117,7276)(2118,7275)(2119,7274)(2120,7273)(2121,7272)(2122,7271)(2123,7270)(2124,7269)(2125,7268)(2126,7267)(2127,7266)(2128,7265)(2129,7264)(2130,7263)(2131,7262)(2132,7261)(2133,7260)(2134,7259)(2135,7258)(2136,7257)(2137,7256)(2138,7255)(2139,7254)(2140,7253)(2141,7252)(2142,7251)(2143,7250)(2144,7249)(2145,7248)(2146,7247)(2147,7246)(2148,7245)(2149,7244)(2150,7243)(2151,7242)(2152,7241)(2153,7240)(2154,7239)(2155,7238)(2156,7237)(2157,7236)(2158,7235)(2159,7234)(2160,7233)(2161,7232)(2162,7231)(2163,7230)(2164,7229)(2165,7228)(2166,7227)(2167,7226)(2168,7225)(2169,7224)(2170,7223)(2171,7222)(2172,7221)(2173,7220)(2174,7219)(2175,7218)(2176,7217)(2177,7216)(2178,7215)(2179,7214)(2180,7213)(2181,7212)(2182,7211)(2183,7210)(2184,7209)(2185,7208)(2186,7207)(2187,7206)(2188,7205)(2189,7204)(2190,7203)(2191,7202)(2192,7201)(2193,7200)(2194,7199)(2195,7198)(2196,7197)(2197,7196)(2198,7195)(2199,7194)(2200,7193)(2201,7192)(2202,7191)(2203,7190)(2204,7189)(2205,7188)(2206,7187)(2207,7186)(2208,7185)(2209,7184)(2210,7183)(2211,7182)(2212,7181)(2213,7180)(2214,7179)(2215,7178)(2216,7177)(2217,7176)(2218,7175)(2219,7174)(2220,7173)(2221,7172)(2222,7171)(2223,7170)(2224,7169)(2225,7168)(2226,7167)(2227,7166)(2228,7165)(2229,7164)(2230,7163)(2231,7162)(2232,7161)(2233,7160)(2234,7159)(2235,7158)(2236,7157)(2237,7156)(2238,7155)(2239,7154)(2240,7153)(2241,7152)(2242,7151)(2243,7150)(2244,7149)(2245,7148)(2246,7147)(2247,7146)(2248,7145)(2249,7144)(2250,7143)(2251,7142)(2252,7141)(2253,7140)(2254,7139)(2255,7138)(2256,7137)(2257,7136)(2258,7135)(2259,7134)(2260,7133)(2261,7132)(2262,7131)(2263,7130)(2264,7129)(2265,7128)(2266,7127)(2267,7126)(2268,7125)(2269,7124)(2270,7123)(2271,7122)(2272,7121)(2273,7120)(2274,7119)(2275,7118)(2276,7117)(2277,7116)(2278,7115)(2279,7114)(2280,7113)(2281,7112)(2282,7111)(2283,7110)(2284,7109)(2285,7108)(2286,7107)(2287,7106)(2288,7105)(2289,7104)(2290,7103)(2291,7102)(2292,7101)(2293,7100)(2294,7099)(2295,7098)(2296,7097)(2297,7096)(2298,7095)(2299,7094)(2300,7093)(2301,7092)(2302,7091)(2303,7090)(2304,7089)(2305,7088)(2306,7087)(2307,7086)(2308,7085)(2309,7084)(2310,7083)(2311,7082)(2312,7081)(2313,7080)(2314,7079)(2315,7078)(2316,7077)(2317,7076)(2318,7075)(2319,7074)(2320,7073)(2321,7072)(2322,7071)(2323,7070)(2324,7069)(2325,7068)(2326,7067)(2327,7066)(2328,7065)(2329,7064)(2330,7063)(2331,7062)(2332,7061)(2333,7060)(2334,7059)(2335,7058)(2336,7057)(2337,7056)(2338,7055)(2339,7054)(2340,7053)(2341,7052)(2342,7051)(2343,7050)(2344,7049)(2345,7048)(2346,7047)(2347,7046)(2348,7045)(2349,7044)(2350,7043)(2351,7042)(2352,7041)(2353,7040)(2354,7039)(2355,7038)(2356,7037)(2357,7036)(2358,7035)(2359,7034)(2360,7033)(2361,7032)(2362,7031)(2363,7030)(2364,7029)(2365,7028)(2366,7027)(2367,7026)(2368,7025)(2369,7024)(2370,7023)(2371,7022)(2372,7021)(2373,7020)(2374,7019)(2375,7018)(2376,7017)(2377,7016)(2378,7015)(2379,7014)(2380,7013)(2381,7012)(2382,7011)(2383,7010)(2384,7009)(2385,7008)(2386,7007)(2387,7006)(2388,7005)(2389,7004)(2390,7003)(2391,7002)(2392,7001)(2393,7000)(2394,6999)(2395,6998)(2396,6997)(2397,6996)(2398,6995)(2399,6994)(2400,6993)(2401,6992)(2402,6991)(2403,6990)(2404,6989)(2405,6988)(2406,6987)(2407,6986)(2408,6985)(2409,6984)(2410,6983)(2411,6982)(2412,6981)(2413,6980)(2414,6979)(2415,6978)(2416,6977)(2417,6976)(2418,6975)(2419,6974)(2420,6973)(2421,6972)(2422,6971)(2423,6970)(2424,6969)(2425,6968)(2426,6967)(2427,6966)(2428,6965)(2429,6964)(2430,6963)(2431,6962)(2432,6961)(2433,6960)(2434,6959)(2435,6958)(2436,6957)(2437,6956)(2438,6955)(2439,6954)(2440,6953)(2441,6952)(2442,6951)(2443,6950)(2444,6949)(2445,6948)(2446,6947)(2447,6946)(2448,6945)(2449,6944)(2450,6943)(2451,6942)(2452,6941)(2453,6940)(2454,6939)(2455,6938)(2456,6937)(2457,6936)(2458,6935)(2459,6934)(2460,6933)(2461,6932)(2462,6931)(2463,6930)(2464,6929)(2465,6928)(2466,6927)(2467,6926)(2468,6925)(2469,6924)(2470,6923)(2471,6922)(2472,6921)(2473,6920)(2474,6919)(2475,6918)(2476,6917)(2477,6916)(2478,6915)(2479,6914)(2480,6913)(2481,6912)(2482,6911)(2483,6910)(2484,6909)(2485,6908)(2486,6907)(2487,6906)(2488,6905)(2489,6904)(2490,6903)(2491,6902)(2492,6901)(2493,6900)(2494,6899)(2495,6898)(2496,6897)(2497,6896)(2498,6895)(2499,6894)(2500,6893)(2501,6892)(2502,6891)(2503,6890)(2504,6889)(2505,6888)(2506,6887)(2507,6886)(2508,6885)(2509,6884)(2510,6883)(2511,6882)(2512,6881)(2513,6880)(2514,6879)(2515,6878)(2516,6877)(2517,6876)(2518,6875)(2519,6874)(2520,6873)(2521,6872)(2522,6871)(2523,6870)(2524,6869)(2525,6868)(2526,6867)(2527,6866)(2528,6865)(2529,6864)(2530,6863)(2531,6862)(2532,6861)(2533,6860)(2534,6859)(2535,6858)(2536,6857)(2537,6856)(2538,6855)(2539,6854)(2540,6853)(2541,6852)(2542,6851)(2543,6850)(2544,6849)(2545,6848)(2546,6847)(2547,6846)(2548,6845)(2549,6844)(2550,6843)(2551,6842)(2552,6841)(2553,6840)(2554,6839)(2555,6838)(2556,6837)(2557,6836)(2558,6835)(2559,6834)(2560,6833)(2561,6832)(2562,6831)(2563,6830)(2564,6829)(2565,6828)(2566,6827)(2567,6826)(2568,6825)(2569,6824)(2570,6823)(2571,6822)(2572,6821)(2573,6820)(2574,6819)(2575,6818)(2576,6817)(2577,6816)(2578,6815)(2579,6814)(2580,6813)(2581,6812)(2582,6811)(2583,6810)(2584,6809)(2585,6808)(2586,6807)(2587,6806)(2588,6805)(2589,6804)(2590,6803)(2591,6802)(2592,6801)(2593,6800)(2594,6799)(2595,6798)(2596,6797)(2597,6796)(2598,6795)(2599,6794)(2600,6793)(2601,6792)(2602,6791)(2603,6790)(2604,6789)(2605,6788)(2606,6787)(2607,6786)(2608,6785)(2609,6784)(2610,6783)(2611,6782)(2612,6781)(2613,6780)(2614,6779)(2615,6778)(2616,6777)(2617,6776)(2618,6775)(2619,6774)(2620,6773)(2621,6772)(2622,6771)(2623,6770)(2624,6769)(2625,6768)(2626,6767)(2627,6766)(2628,6765)(2629,6764)(2630,6763)(2631,6762)(2632,6761)(2633,6760)(2634,6759)(2635,6758)(2636,6757)(2637,6756)(2638,6755)(2639,6754)(2640,6753)(2641,6752)(2642,6751)(2643,6750)(2644,6749)(2645,6748)(2646,6747)(2647,6746)(2648,6745)(2649,6744)(2650,6743)(2651,6742)(2652,6741)(2653,6740)(2654,6739)(2655,6738)(2656,6737)(2657,6736)(2658,6735)(2659,6734)(2660,6733)(2661,6732)(2662,6731)(2663,6730)(2664,6729)(2665,6728)(2666,6727)(2667,6726)(2668,6725)(2669,6724)(2670,6723)(2671,6722)(2672,6721)(2673,6720)(2674,6719)(2675,6718)(2676,6717)(2677,6716)(2678,6715)(2679,6714)(2680,6713)(2681,6712)(2682,6711)(2683,6710)(2684,6709)(2685,6708)(2686,6707)(2687,6706)(2688,6705)(2689,6704)(2690,6703)(2691,6702)(2692,6701)(2693,6700)(2694,6699)(2695,6698)(2696,6697)(2697,6696)(2698,6695)(2699,6694)(2700,6693)(2701,6692)(2702,6691)(2703,6690)(2704,6689)(2705,6688)(2706,6687)(2707,6686)(2708,6685)(2709,6684)(2710,6683)(2711,6682)(2712,6681)(2713,6680)(2714,6679)(2715,6678)(2716,6677)(2717,6676)(2718,6675)(2719,6674)(2720,6673)(2721,6672)(2722,6671)(2723,6670)(2724,6669)(2725,6668)(2726,6667)(2727,6666)(2728,6665)(2729,6664)(2730,6663)(2731,6662)(2732,6661)(2733,6660)(2734,6659)(2735,6658)(2736,6657)(2737,6656)(2738,6655)(2739,6654)(2740,6653)(2741,6652)(2742,6651)(2743,6650)(2744,6649)(2745,6648)(2746,6647)(2747,6646)(2748,6645)(2749,6644)(2750,6643)(2751,6642)(2752,6641)(2753,6640)(2754,6639)(2755,6638)(2756,6637)(2757,6636)(2758,6635)(2759,6634)(2760,6633)(2761,6632)(2762,6631)(2763,6630)(2764,6629)(2765,6628)(2766,6627)(2767,6626)(2768,6625)(2769,6624)(2770,6623)(2771,6622)(2772,6621)(2773,6620)(2774,6619)(2775,6618)(2776,6617)(2777,6616)(2778,6615)(2779,6614)(2780,6613)(2781,6612)(2782,6611)(2783,6610)(2784,6609)(2785,6608)(2786,6607)(2787,6606)(2788,6605)(2789,6604)(2790,6603)(2791,6602)(2792,6601)(2793,6600)(2794,6599)(2795,6598)(2796,6597)(2797,6596)(2798,6595)(2799,6594)(2800,6593)(2801,6592)(2802,6591)(2803,6590)(2804,6589)(2805,6588)(2806,6587)(2807,6586)(2808,6585)(2809,6584)(2810,6583)(2811,6582)(2812,6581)(2813,6580)(2814,6579)(2815,6578)(2816,6577)(2817,6576)(2818,6575)(2819,6574)(2820,6573)(2821,6572)(2822,6571)(2823,6570)(2824,6569)(2825,6568)(2826,6567)(2827,6566)(2828,6565)(2829,6564)(2830,6563)(2831,6562)(2832,6561)(2833,6560)(2834,6559)(2835,6558)(2836,6557)(2837,6556)(2838,6555)(2839,6554)(2840,6553)(2841,6552)(2842,6551)(2843,6550)(2844,6549)(2845,6548)(2846,6547)(2847,6546)(2848,6545)(2849,6544)(2850,6543)(2851,6542)(2852,6541)(2853,6540)(2854,6539)(2855,6538)(2856,6537)(2857,6536)(2858,6535)(2859,6534)(2860,6533)(2861,6532)(2862,6531)(2863,6530)(2864,6529)(2865,6528)(2866,6527)(2867,6526)(2868,6525)(2869,6524)(2870,6523)(2871,6522)(2872,6521)(2873,6520)(2874,6519)(2875,6518)(2876,6517)(2877,6516)(2878,6515)(2879,6514)(2880,6513)(2881,6512)(2882,6511)(2883,6510)(2884,6509)(2885,6508)(2886,6507)(2887,6506)(2888,6505)(2889,6504)(2890,6503)(2891,6502)(2892,6501)(2893,6500)(2894,6499)(2895,6498)(2896,6497)(2897,6496)(2898,6495)(2899,6494)(2900,6493)(2901,6492)(2902,6491)(2903,6490)(2904,6489)(2905,6488)(2906,6487)(2907,6486)(2908,6485)(2909,6484)(2910,6483)(2911,6482)(2912,6481)(2913,6480)(2914,6479)(2915,6478)(2916,6477)(2917,6476)(2918,6475)(2919,6474)(2920,6473)(2921,6472)(2922,6471)(2923,6470)(2924,6469)(2925,6468)(2926,6467)(2927,6466)(2928,6465)(2929,6464)(2930,6463)(2931,6462)(2932,6461)(2933,6460)(2934,6459)(2935,6458)(2936,6457)(2937,6456)(2938,6455)(2939,6454)(2940,6453)(2941,6452)(2942,6451)(2943,6450)(2944,6449)(2945,6448)(2946,6447)(2947,6446)(2948,6445)(2949,6444)(2950,6443)(2951,6442)(2952,6441)(2953,6440)(2954,6439)(2955,6438)(2956,6437)(2957,6436)(2958,6435)(2959,6434)(2960,6433)(2961,6432)(2962,6431)(2963,6430)(2964,6429)(2965,6428)(2966,6427)(2967,6426)(2968,6425)(2969,6424)(2970,6423)(2971,6422)(2972,6421)(2973,6420)(2974,6419)(2975,6418)(2976,6417)(2977,6416)(2978,6415)(2979,6414)(2980,6413)(2981,6412)(2982,6411)(2983,6410)(2984,6409)(2985,6408)(2986,6407)(2987,6406)(2988,6405)(2989,6404)(2990,6403)(2991,6402)(2992,6401)(2993,6400)(2994,6399)(2995,6398)(2996,6397)(2997,6396)(2998,6395)(2999,6394)(3000,6393)(3001,6392)(3002,6391)(3003,6390)(3004,6389)(3005,6388)(3006,6387)(3007,6386)(3008,6385)(3009,6384)(3010,6383)(3011,6382)(3012,6381)(3013,6380)(3014,6379)(3015,6378)(3016,6377)(3017,6376)(3018,6375)(3019,6374)(3020,6373)(3021,6372)(3022,6371)(3023,6370)(3024,6369)(3025,6368)(3026,6367)(3027,6366)(3028,6365)(3029,6364)(3030,6363)(3031,6362)(3032,6361)(3033,6360)(3034,6359)(3035,6358)(3036,6357)(3037,6356)(3038,6355)(3039,6354)(3040,6353)(3041,6352)(3042,6351)(3043,6350)(3044,6349)(3045,6348)(3046,6347)(3047,6346)(3048,6345)(3049,6344)(3050,6343)(3051,6342)(3052,6341)(3053,6340)(3054,6339)(3055,6338)(3056,6337)(3057,6336)(3058,6335)(3059,6334)(3060,6333)(3061,6332)(3062,6331)(3063,6330)(3064,6329)(3065,6328)(3066,6327)(3067,6326)(3068,6325)(3069,6324)(3070,6323)(3071,6322)(3072,6321)(3073,6320)(3074,6319)(3075,6318)(3076,6317)(3077,6316)(3078,6315)(3079,6314)(3080,6313)(3081,6312)(3082,6311)(3083,6310)(3084,6309)(3085,6308)(3086,6307)(3087,6306)(3088,6305)(3089,6304)(3090,6303)(3091,6302)(3092,6301)(3093,6300)(3094,6299)(3095,6298)(3096,6297)(3097,6296)(3098,6295)(3099,6294)(3100,6293)(3101,6292)(3102,6291)(3103,6290)(3104,6289)(3105,6288)(3106,6287)(3107,6286)(3108,6285)(3109,6284)(3110,6283)(3111,6282)(3112,6281)(3113,6280)(3114,6279)(3115,6278)(3116,6277)(3117,6276)(3118,6275)(3119,6274)(3120,6273)(3121,6272)(3122,6271)(3123,6270)(3124,6269)(3125,6268)(3126,6267)(3127,6266)(3128,6265)(3129,6264)(3130,6263)(3131,6262)(3132,6261)(3133,6260)(3134,6259)(3135,6258)(3136,6257)(3137,6256)(3138,6255)(3139,6254)(3140,6253)(3141,6252)(3142,6251)(3143,6250)(3144,6249)(3145,6248)(3146,6247)(3147,6246)(3148,6245)(3149,6244)(3150,6243)(3151,6242)(3152,6241)(3153,6240)(3154,6239)(3155,6238)(3156,6237)(3157,6236)(3158,6235)(3159,6234)(3160,6233)(3161,6232)(3162,6231)(3163,6230)(3164,6229)(3165,6228)(3166,6227)(3167,6226)(3168,6225)(3169,6224)(3170,6223)(3171,6222)(3172,6221)(3173,6220)(3174,6219)(3175,6218)(3176,6217)(3177,6216)(3178,6215)(3179,6214)(3180,6213)(3181,6212)(3182,6211)(3183,6210)(3184,6209)(3185,6208)(3186,6207)(3187,6206)(3188,6205)(3189,6204)(3190,6203)(3191,6202)(3192,6201)(3193,6200)(3194,6199)(3195,6198)(3196,6197)(3197,6196)(3198,6195)(3199,6194)(3200,6193)(3201,6192)(3202,6191)(3203,6190)(3204,6189)(3205,6188)(3206,6187)(3207,6186)(3208,6185)(3209,6184)(3210,6183)(3211,6182)(3212,6181)(3213,6180)(3214,6179)(3215,6178)(3216,6177)(3217,6176)(3218,6175)(3219,6174)(3220,6173)(3221,6172)(3222,6171)(3223,6170)(3224,6169)(3225,6168)(3226,6167)(3227,6166)(3228,6165)(3229,6164)(3230,6163)(3231,6162)(3232,6161)(3233,6160)(3234,6159)(3235,6158)(3236,6157)(3237,6156)(3238,6155)(3239,6154)(3240,6153)(3241,6152)(3242,6151)(3243,6150)(3244,6149)(3245,6148)(3246,6147)(3247,6146)(3248,6145)(3249,6144)(3250,6143)(3251,6142)(3252,6141)(3253,6140)(3254,6139)(3255,6138)(3256,6137)(3257,6136)(3258,6135)(3259,6134)(3260,6133)(3261,6132)(3262,6131)(3263,6130)(3264,6129)(3265,6128)(3266,6127)(3267,6126)(3268,6125)(3269,6124)(3270,6123)(3271,6122)(3272,6121)(3273,6120)(3274,6119)(3275,6118)(3276,6117)(3277,6116)(3278,6115)(3279,6114)(3280,6113)(3281,6112)(3282,6111)(3283,6110)(3284,6109)(3285,6108)(3286,6107)(3287,6106)(3288,6105)(3289,6104)(3290,6103)(3291,6102)(3292,6101)(3293,6100)(3294,6099)(3295,6098)(3296,6097)(3297,6096)(3298,6095)(3299,6094)(3300,6093)(3301,6092)(3302,6091)(3303,6090)(3304,6089)(3305,6088)(3306,6087)(3307,6086)(3308,6085)(3309,6084)(3310,6083)(3311,6082)(3312,6081)(3313,6080)(3314,6079)(3315,6078)(3316,6077)(3317,6076)(3318,6075)(3319,6074)(3320,6073)(3321,6072)(3322,6071)(3323,6070)(3324,6069)(3325,6068)(3326,6067)(3327,6066)(3328,6065)(3329,6064)(3330,6063)(3331,6062)(3332,6061)(3333,6060)(3334,6059)(3335,6058)(3336,6057)(3337,6056)(3338,6055)(3339,6054)(3340,6053)(3341,6052)(3342,6051)(3343,6050)(3344,6049)(3345,6048)(3346,6047)(3347,6046)(3348,6045)(3349,6044)(3350,6043)(3351,6042)(3352,6041)(3353,6040)(3354,6039)(3355,6038)(3356,6037)(3357,6036)(3358,6035)(3359,6034)(3360,6033)(3361,6032)(3362,6031)(3363,6030)(3364,6029)(3365,6028)(3366,6027)(3367,6026)(3368,6025)(3369,6024)(3370,6023)(3371,6022)(3372,6021)(3373,6020)(3374,6019)(3375,6018)(3376,6017)(3377,6016)(3378,6015)(3379,6014)(3380,6013)(3381,6012)(3382,6011)(3383,6010)(3384,6009)(3385,6008)(3386,6007)(3387,6006)(3388,6005)(3389,6004)(3390,6003)(3391,6002)(3392,6001)(3393,6000)(3394,5999)(3395,5998)(3396,5997)(3397,5996)(3398,5995)(3399,5994)(3400,5993)(3401,5992)(3402,5991)(3403,5990)(3404,5989)(3405,5988)(3406,5987)(3407,5986)(3408,5985)(3409,5984)(3410,5983)(3411,5982)(3412,5981)(3413,5980)(3414,5979)(3415,5978)(3416,5977)(3417,5976)(3418,5975)(3419,5974)(3420,5973)(3421,5972)(3422,5971)(3423,5970)(3424,5969)(3425,5968)(3426,5967)(3427,5966)(3428,5965)(3429,5964)(3430,5963)(3431,5962)(3432,5961)(3433,5960)(3434,5959)(3435,5958)(3436,5957)(3437,5956)(3438,5955)(3439,5954)(3440,5953)(3441,5952)(3442,5951)(3443,5950)(3444,5949)(3445,5948)(3446,5947)(3447,5946)(3448,5945)(3449,5944)(3450,5943)(3451,5942)(3452,5941)(3453,5940)(3454,5939)(3455,5938)(3456,5937)(3457,5936)(3458,5935)(3459,5934)(3460,5933)(3461,5932)(3462,5931)(3463,5930)(3464,5929)(3465,5928)(3466,5927)(3467,5926)(3468,5925)(3469,5924)(3470,5923)(3471,5922)(3472,5921)(3473,5920)(3474,5919)(3475,5918)(3476,5917)(3477,5916)(3478,5915)(3479,5914)(3480,5913)(3481,5912)(3482,5911)(3483,5910)(3484,5909)(3485,5908)(3486,5907)(3487,5906)(3488,5905)(3489,5904)(3490,5903)(3491,5902)(3492,5901)(3493,5900)(3494,5899)(3495,5898)(3496,5897)(3497,5896)(3498,5895)(3499,5894)(3500,5893)(3501,5892)(3502,5891)(3503,5890)(3504,5889)(3505,5888)(3506,5887)(3507,5886)(3508,5885)(3509,5884)(3510,5883)(3511,5882)(3512,5881)(3513,5880)(3514,5879)(3515,5878)(3516,5877)(3517,5876)(3518,5875)(3519,5874)(3520,5873)(3521,5872)(3522,5871)(3523,5870)(3524,5869)(3525,5868)(3526,5867)(3527,5866)(3528,5865)(3529,5864)(3530,5863)(3531,5862)(3532,5861)(3533,5860)(3534,5859)(3535,5858)(3536,5857)(3537,5856)(3538,5855)(3539,5854)(3540,5853)(3541,5852)(3542,5851)(3543,5850)(3544,5849)(3545,5848)(3546,5847)(3547,5846)(3548,5845)(3549,5844)(3550,5843)(3551,5842)(3552,5841)(3553,5840)(3554,5839)(3555,5838)(3556,5837)(3557,5836)(3558,5835)(3559,5834)(3560,5833)(3561,5832)(3562,5831)(3563,5830)(3564,5829)(3565,5828)(3566,5827)(3567,5826)(3568,5825)(3569,5824)(3570,5823)(3571,5822)(3572,5821)(3573,5820)(3574,5819)(3575,5818)(3576,5817)(3577,5816)(3578,5815)(3579,5814)(3580,5813)(3581,5812)(3582,5811)(3583,5810)(3584,5809)(3585,5808)(3586,5807)(3587,5806)(3588,5805)(3589,5804)(3590,5803)(3591,5802)(3592,5801)(3593,5800)(3594,5799)(3595,5798)(3596,5797)(3597,5796)(3598,5795)(3599,5794)(3600,5793)(3601,5792)(3602,5791)(3603,5790)(3604,5789)(3605,5788)(3606,5787)(3607,5786)(3608,5785)(3609,5784)(3610,5783)(3611,5782)(3612,5781)(3613,5780)(3614,5779)(3615,5778)(3616,5777)(3617,5776)(3618,5775)(3619,5774)(3620,5773)(3621,5772)(3622,5771)(3623,5770)(3624,5769)(3625,5768)(3626,5767)(3627,5766)(3628,5765)(3629,5764)(3630,5763)(3631,5762)(3632,5761)(3633,5760)(3634,5759)(3635,5758)(3636,5757)(3637,5756)(3638,5755)(3639,5754)(3640,5753)(3641,5752)(3642,5751)(3643,5750)(3644,5749)(3645,5748)(3646,5747)(3647,5746)(3648,5745)(3649,5744)(3650,5743)(3651,5742)(3652,5741)(3653,5740)(3654,5739)(3655,5738)(3656,5737)(3657,5736)(3658,5735)(3659,5734)(3660,5733)(3661,5732)(3662,5731)(3663,5730)(3664,5729)(3665,5728)(3666,5727)(3667,5726)(3668,5725)(3669,5724)(3670,5723)(3671,5722)(3672,5721)(3673,5720)(3674,5719)(3675,5718)(3676,5717)(3677,5716)(3678,5715)(3679,5714)(3680,5713)(3681,5712)(3682,5711)(3683,5710)(3684,5709)(3685,5708)(3686,5707)(3687,5706)(3688,5705)(3689,5704)(3690,5703)(3691,5702)(3692,5701)(3693,5700)(3694,5699)(3695,5698)(3696,5697)(3697,5696)(3698,5695)(3699,5694)(3700,5693)(3701,5692)(3702,5691)(3703,5690)(3704,5689)(3705,5688)(3706,5687)(3707,5686)(3708,5685)(3709,5684)(3710,5683)(3711,5682)(3712,5681)(3713,5680)(3714,5679)(3715,5678)(3716,5677)(3717,5676)(3718,5675)(3719,5674)(3720,5673)(3721,5672)(3722,5671)(3723,5670)(3724,5669)(3725,5668)(3726,5667)(3727,5666)(3728,5665)(3729,5664)(3730,5663)(3731,5662)(3732,5661)(3733,5660)(3734,5659)(3735,5658)(3736,5657)(3737,5656)(3738,5655)(3739,5654)(3740,5653)(3741,5652)(3742,5651)(3743,5650)(3744,5649)(3745,5648)(3746,5647)(3747,5646)(3748,5645)(3749,5644)(3750,5643)(3751,5642)(3752,5641)(3753,5640)(3754,5639)(3755,5638)(3756,5637)(3757,5636)(3758,5635)(3759,5634)(3760,5633)(3761,5632)(3762,5631)(3763,5630)(3764,5629)(3765,5628)(3766,5627)(3767,5626)(3768,5625)(3769,5624)(3770,5623)(3771,5622)(3772,5621)(3773,5620)(3774,5619)(3775,5618)(3776,5617)(3777,5616)(3778,5615)(3779,5614)(3780,5613)(3781,5612)(3782,5611)(3783,5610)(3784,5609)(3785,5608)(3786,5607)(3787,5606)(3788,5605)(3789,5604)(3790,5603)(3791,5602)(3792,5601)(3793,5600)(3794,5599)(3795,5598)(3796,5597)(3797,5596)(3798,5595)(3799,5594)(3800,5593)(3801,5592)(3802,5591)(3803,5590)(3804,5589)(3805,5588)(3806,5587)(3807,5586)(3808,5585)(3809,5584)(3810,5583)(3811,5582)(3812,5581)(3813,5580)(3814,5579)(3815,5578)(3816,5577)(3817,5576)(3818,5575)(3819,5574)(3820,5573)(3821,5572)(3822,5571)(3823,5570)(3824,5569)(3825,5568)(3826,5567)(3827,5566)(3828,5565)(3829,5564)(3830,5563)(3831,5562)(3832,5561)(3833,5560)(3834,5559)(3835,5558)(3836,5557)(3837,5556)(3838,5555)(3839,5554)(3840,5553)(3841,5552)(3842,5551)(3843,5550)(3844,5549)(3845,5548)(3846,5547)(3847,5546)(3848,5545)(3849,5544)(3850,5543)(3851,5542)(3852,5541)(3853,5540)(3854,5539)(3855,5538)(3856,5537)(3857,5536)(3858,5535)(3859,5534)(3860,5533)(3861,5532)(3862,5531)(3863,5530)(3864,5529)(3865,5528)(3866,5527)(3867,5526)(3868,5525)(3869,5524)(3870,5523)(3871,5522)(3872,5521)(3873,5520)(3874,5519)(3875,5518)(3876,5517)(3877,5516)(3878,5515)(3879,5514)(3880,5513)(3881,5512)(3882,5511)(3883,5510)(3884,5509)(3885,5508)(3886,5507)(3887,5506)(3888,5505)(3889,5504)(3890,5503)(3891,5502)(3892,5501)(3893,5500)(3894,5499)(3895,5498)(3896,5497)(3897,5496)(3898,5495)(3899,5494)(3900,5493)(3901,5492)(3902,5491)(3903,5490)(3904,5489)(3905,5488)(3906,5487)(3907,5486)(3908,5485)(3909,5484)(3910,5483)(3911,5482)(3912,5481)(3913,5480)(3914,5479)(3915,5478)(3916,5477)(3917,5476)(3918,5475)(3919,5474)(3920,5473)(3921,5472)(3922,5471)(3923,5470)(3924,5469)(3925,5468)(3926,5467)(3927,5466)(3928,5465)(3929,5464)(3930,5463)(3931,5462)(3932,5461)(3933,5460)(3934,5459)(3935,5458)(3936,5457)(3937,5456)(3938,5455)(3939,5454)(3940,5453)(3941,5452)(3942,5451)(3943,5450)(3944,5449)(3945,5448)(3946,5447)(3947,5446)(3948,5445)(3949,5444)(3950,5443)(3951,5442)(3952,5441)(3953,5440)(3954,5439)(3955,5438)(3956,5437)(3957,5436)(3958,5435)(3959,5434)(3960,5433)(3961,5432)(3962,5431)(3963,5430)(3964,5429)(3965,5428)(3966,5427)(3967,5426)(3968,5425)(3969,5424)(3970,5423)(3971,5422)(3972,5421)(3973,5420)(3974,5419)(3975,5418)(3976,5417)(3977,5416)(3978,5415)(3979,5414)(3980,5413)(3981,5412)(3982,5411)(3983,5410)(3984,5409)(3985,5408)(3986,5407)(3987,5406)(3988,5405)(3989,5404)(3990,5403)(3991,5402)(3992,5401)(3993,5400)(3994,5399)(3995,5398)(3996,5397)(3997,5396)(3998,5395)(3999,5394)(4000,5393)(4001,5392)(4002,5391)(4003,5390)(4004,5389)(4005,5388)(4006,5387)(4007,5386)(4008,5385)(4009,5384)(4010,5383)(4011,5382)(4012,5381)(4013,5380)(4014,5379)(4015,5378)(4016,5377)(4017,5376)(4018,5375)(4019,5374)(4020,5373)(4021,5372)(4022,5371)(4023,5370)(4024,5369)(4025,5368)(4026,5367)(4027,5366)(4028,5365)(4029,5364)(4030,5363)(4031,5362)(4032,5361)(4033,5360)(4034,5359)(4035,5358)(4036,5357)(4037,5356)(4038,5355)(4039,5354)(4040,5353)(4041,5352)(4042,5351)(4043,5350)(4044,5349)(4045,5348)(4046,5347)(4047,5346)(4048,5345)(4049,5344)(4050,5343)(4051,5342)(4052,5341)(4053,5340)(4054,5339)(4055,5338)(4056,5337)(4057,5336)(4058,5335)(4059,5334)(4060,5333)(4061,5332)(4062,5331)(4063,5330)(4064,5329)(4065,5328)(4066,5327)(4067,5326)(4068,5325)(4069,5324)(4070,5323)(4071,5322)(4072,5321)(4073,5320)(4074,5319)(4075,5318)(4076,5317)(4077,5316)(4078,5315)(4079,5314)(4080,5313)(4081,5312)(4082,5311)(4083,5310)(4084,5309)(4085,5308)(4086,5307)(4087,5306)(4088,5305)(4089,5304)(4090,5303)(4091,5302)(4092,5301)(4093,5300)(4094,5299)(4095,5298)(4096,5297)(4097,5296)(4098,5295)(4099,5294)(4100,5293)(4101,5292)(4102,5291)(4103,5290)(4104,5289)(4105,5288)(4106,5287)(4107,5286)(4108,5285)(4109,5284)(4110,5283)(4111,5282)(4112,5281)(4113,5280)(4114,5279)(4115,5278)(4116,5277)(4117,5276)(4118,5275)(4119,5274)(4120,5273)(4121,5272)(4122,5271)(4123,5270)(4124,5269)(4125,5268)(4126,5267)(4127,5266)(4128,5265)(4129,5264)(4130,5263)(4131,5262)(4132,5261)(4133,5260)(4134,5259)(4135,5258)(4136,5257)(4137,5256)(4138,5255)(4139,5254)(4140,5253)(4141,5252)(4142,5251)(4143,5250)(4144,5249)(4145,5248)(4146,5247)(4147,5246)(4148,5245)(4149,5244)(4150,5243)(4151,5242)(4152,5241)(4153,5240)(4154,5239)(4155,5238)(4156,5237)(4157,5236)(4158,5235)(4159,5234)(4160,5233)(4161,5232)(4162,5231)(4163,5230)(4164,5229)(4165,5228)(4166,5227)(4167,5226)(4168,5225)(4169,5224)(4170,5223)(4171,5222)(4172,5221)(4173,5220)(4174,5219)(4175,5218)(4176,5217)(4177,5216)(4178,5215)(4179,5214)(4180,5213)(4181,5212)(4182,5211)(4183,5210)(4184,5209)(4185,5208)(4186,5207)(4187,5206)(4188,5205)(4189,5204)(4190,5203)(4191,5202)(4192,5201)(4193,5200)(4194,5199)(4195,5198)(4196,5197)(4197,5196)(4198,5195)(4199,5194)(4200,5193)(4201,5192)(4202,5191)(4203,5190)(4204,5189)(4205,5188)(4206,5187)(4207,5186)(4208,5185)(4209,5184)(4210,5183)(4211,5182)(4212,5181)(4213,5180)(4214,5179)(4215,5178)(4216,5177)(4217,5176)(4218,5175)(4219,5174)(4220,5173)(4221,5172)(4222,5171)(4223,5170)(4224,5169)(4225,5168)(4226,5167)(4227,5166)(4228,5165)(4229,5164)(4230,5163)(4231,5162)(4232,5161)(4233,5160)(4234,5159)(4235,5158)(4236,5157)(4237,5156)(4238,5155)(4239,5154)(4240,5153)(4241,5152)(4242,5151)(4243,5150)(4244,5149)(4245,5148)(4246,5147)(4247,5146)(4248,5145)(4249,5144)(4250,5143)(4251,5142)(4252,5141)(4253,5140)(4254,5139)(4255,5138)(4256,5137)(4257,5136)(4258,5135)(4259,5134)(4260,5133)(4261,5132)(4262,5131)(4263,5130)(4264,5129)(4265,5128)(4266,5127)(4267,5126)(4268,5125)(4269,5124)(4270,5123)(4271,5122)(4272,5121)(4273,5120)(4274,5119)(4275,5118)(4276,5117)(4277,5116)(4278,5115)(4279,5114)(4280,5113)(4281,5112)(4282,5111)(4283,5110)(4284,5109)(4285,5108)(4286,5107)(4287,5106)(4288,5105)(4289,5104)(4290,5103)(4291,5102)(4292,5101)(4293,5100)(4294,5099)(4295,5098)(4296,5097)(4297,5096)(4298,5095)(4299,5094)(4300,5093)(4301,5092)(4302,5091)(4303,5090)(4304,5089)(4305,5088)(4306,5087)(4307,5086)(4308,5085)(4309,5084)(4310,5083)(4311,5082)(4312,5081)(4313,5080)(4314,5079)(4315,5078)(4316,5077)(4317,5076)(4318,5075)(4319,5074)(4320,5073)(4321,5072)(4322,5071)(4323,5070)(4324,5069)(4325,5068)(4326,5067)(4327,5066)(4328,5065)(4329,5064)(4330,5063)(4331,5062)(4332,5061)(4333,5060)(4334,5059)(4335,5058)(4336,5057)(4337,5056)(4338,5055)(4339,5054)(4340,5053)(4341,5052)(4342,5051)(4343,5050)(4344,5049)(4345,5048)(4346,5047)(4347,5046)(4348,5045)(4349,5044)(4350,5043)(4351,5042)(4352,5041)(4353,5040)(4354,5039)(4355,5038)(4356,5037)(4357,5036)(4358,5035)(4359,5034)(4360,5033)(4361,5032)(4362,5031)(4363,5030)(4364,5029)(4365,5028)(4366,5027)(4367,5026)(4368,5025)(4369,5024)(4370,5023)(4371,5022)(4372,5021)(4373,5020)(4374,5019)(4375,5018)(4376,5017)(4377,5016)(4378,5015)(4379,5014)(4380,5013)(4381,5012)(4382,5011)(4383,5010)(4384,5009)(4385,5008)(4386,5007)(4387,5006)(4388,5005)(4389,5004)(4390,5003)(4391,5002)(4392,5001)(4393,5000)(4394,4999)(4395,4998)(4396,4997)(4397,4996)(4398,4995)(4399,4994)(4400,4993)(4401,4992)(4402,4991)(4403,4990)(4404,4989)(4405,4988)(4406,4987)(4407,4986)(4408,4985)(4409,4984)(4410,4983)(4411,4982)(4412,4981)(4413,4980)(4414,4979)(4415,4978)(4416,4977)(4417,4976)(4418,4975)(4419,4974)(4420,4973)(4421,4972)(4422,4971)(4423,4970)(4424,4969)(4425,4968)(4426,4967)(4427,4966)(4428,4965)(4429,4964)(4430,4963)(4431,4962)(4432,4961)(4433,4960)(4434,4959)(4435,4958)(4436,4957)(4437,4956)(4438,4955)(4439,4954)(4440,4953)(4441,4952)(4442,4951)(4443,4950)(4444,4949)(4445,4948)(4446,4947)(4447,4946)(4448,4945)(4449,4944)(4450,4943)(4451,4942)(4452,4941)(4453,4940)(4454,4939)(4455,4938)(4456,4937)(4457,4936)(4458,4935)(4459,4934)(4460,4933)(4461,4932)(4462,4931)(4463,4930)(4464,4929)(4465,4928)(4466,4927)(4467,4926)(4468,4925)(4469,4924)(4470,4923)(4471,4922)(4472,4921)(4473,4920)(4474,4919)(4475,4918)(4476,4917)(4477,4916)(4478,4915)(4479,4914)(4480,4913)(4481,4912)(4482,4911)(4483,4910)(4484,4909)(4485,4908)(4486,4907)(4487,4906)(4488,4905)(4489,4904)(4490,4903)(4491,4902)(4492,4901)(4493,4900)(4494,4899)(4495,4898)(4496,4897)(4497,4896)(4498,4895)(4499,4894)(4500,4893)(4501,4892)(4502,4891)(4503,4890)(4504,4889)(4505,4888)(4506,4887)(4507,4886)(4508,4885)(4509,4884)(4510,4883)(4511,4882)(4512,4881)(4513,4880)(4514,4879)(4515,4878)(4516,4877)(4517,4876)(4518,4875)(4519,4874)(4520,4873)(4521,4872)(4522,4871)(4523,4870)(4524,4869)(4525,4868)(4526,4867)(4527,4866)(4528,4865)(4529,4864)(4530,4863)(4531,4862)(4532,4861)(4533,4860)(4534,4859)(4535,4858)(4536,4857)(4537,4856)(4538,4855)(4539,4854)(4540,4853)(4541,4852)(4542,4851)(4543,4850)(4544,4849)(4545,4848)(4546,4847)(4547,4846)(4548,4845)(4549,4844)(4550,4843)(4551,4842)(4552,4841)(4553,4840)(4554,4839)(4555,4838)(4556,4837)(4557,4836)(4558,4835)(4559,4834)(4560,4833)(4561,4832)(4562,4831)(4563,4830)(4564,4829)(4565,4828)(4566,4827)(4567,4826)(4568,4825)(4569,4824)(4570,4823)(4571,4822)(4572,4821)(4573,4820)(4574,4819)(4575,4818)(4576,4817)(4577,4816)(4578,4815)(4579,4814)(4580,4813)(4581,4812)(4582,4811)(4583,4810)(4584,4809)(4585,4808)(4586,4807)(4587,4806)(4588,4805)(4589,4804)(4590,4803)(4591,4802)(4592,4801)(4593,4800)(4594,4799)(4595,4798)(4596,4797)(4597,4796)(4598,4795)(4599,4794)(4600,4793)(4601,4792)(4602,4791)(4603,4790)(4604,4789)(4605,4788)(4606,4787)(4607,4786)(4608,4785)(4609,4784)(4610,4783)(4611,4782)(4612,4781)(4613,4780)(4614,4779)(4615,4778)(4616,4777)(4617,4776)(4618,4775)(4619,4774)(4620,4773)(4621,4772)(4622,4771)(4623,4770)(4624,4769)(4625,4768)(4626,4767)(4627,4766)(4628,4765)(4629,4764)(4630,4763)(4631,4762)(4632,4761)(4633,4760)(4634,4759)(4635,4758)(4636,4757)(4637,4756)(4638,4755)(4639,4754)(4640,4753)(4641,4752)(4642,4751)(4643,4750)(4644,4749)(4645,4748)(4646,4747)(4647,4746)(4648,4745)(4649,4744)(4650,4743)(4651,4742)(4652,4741)(4653,4740)(4654,4739)(4655,4738)(4656,4737)(4657,4736)(4658,4735)(4659,4734)(4660,4733)(4661,4732)(4662,4731)(4663,4730)(4664,4729)(4665,4728)(4666,4727)(4667,4726)(4668,4725)(4669,4724)(4670,4723)(4671,4722)(4672,4721)(4673,4720)(4674,4719)(4675,4718)(4676,4717)(4677,4716)(4678,4715)(4679,4714)(4680,4713)(4681,4712)(4682,4711)(4683,4710)(4684,4709)(4685,4708)(4686,4707)(4687,4706)(4688,4705)(4689,4704)(4690,4703)(4691,4702)(4692,4701)(4693,4700)(4694,4699)(4695,4698)(4696,4697)
Polycyclic presentation:
2,9391|b^a=b^9390
Conjugacy classes & character table
4697 conjugacy classes. The character table is too large to display.
Relationships
GAP
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(18782, 1);
Finite Group Databasebeta