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