/*
www-ATLAS of Group Representations.
He:2 represented as permutations on 8330 points.
*/

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