/*
www-ATLAS of Group Representations.
J3 represented as permutations on 14688 points.
*/

G<x,y>:=PermutationGroup<14688|\[
2,1,5,7,3,6,4,11,12,14,8,9,18,10,20,21,23,13,26,15,16,30,17,24,32,
19,35,36,38,22,41,25,44,45,27,28,49,29,51,52,31,55,56,33,34,60,61,63,37,66,
39,40,70,71,42,43,75,76,78,46,47,82,48,84,85,50,88,89,91,53,54,95,96,98,57,
58,102,59,104,105,107,62,110,64,65,114,115,67,68,119,69,121,122,124,72,73,128,74,130,131,
133,77,136,79,80,140,81,142,143,83,146,147,149,86,87,153,154,156,90,159,92,93,163,94,165,
166,168,97,171,99,100,175,101,177,178,103,181,182,184,106,187,108,109,191,192,111,112,196,113,198,
199,201,116,117,205,118,207,208,120,211,212,214,123,217,125,126,221,127,223,219,129,226,227,229,132,
232,134,135,236,237,137,138,241,139,243,244,141,247,248,250,144,145,254,255,257,148,260,150,151,264,
152,266,267,269,155,272,157,158,276,277,160,161,281,162,283,284,164,287,170,289,167,292,169,295,296,
172,173,300,174,302,303,176,306,307,309,179,180,313,314,316,183,319,185,186,323,324,188,189,328,190,
330,331,333,193,194,337,195,339,340,197,343,344,346,200,349,202,203,353,204,355,356,206,359,360,362,
209,210,366,367,369,213,372,215,216,376,377,218,380,220,382,383,222,386,387,224,225,391,392,394,228,
397,230,231,401,402,233,234,406,235,408,409,411,238,239,415,240,417,418,242,421,422,424,245,246,428,
429,431,249,434,251,252,438,253,440,441,443,256,446,258,259,450,451,261,262,455,263,457,458,265,461,
447,463,268,466,270,271,470,471,273,274,475,275,477,478,480,278,279,484,280,486,487,282,490,491,493,
285,286,497,498,288,501,290,291,505,506,293,294,510,511,513,297,298,517,299,519,520,301,523,524,526,
304,305,530,531,533,308,536,310,311,540,312,542,543,545,315,548,317,318,552,553,320,321,557,322,559,
560,562,325,326,566,327,568,569,329,572,573,575,332,578,334,335,582,336,584,585,338,351,588,590,341,
342,594,512,596,345,599,347,348,603,604,350,607,352,609,610,354,613,614,616,357,358,620,621,623,361,
626,363,364,630,365,632,633,483,368,637,370,371,641,642,373,374,646,375,648,649,651,378,379,655,656,
381,659,660,662,384,385,666,667,669,388,389,453,390,674,675,677,393,680,395,396,684,685,398,399,689,
400,691,692,694,403,404,698,405,700,701,407,704,705,707,410,710,412,413,714,414,716,717,416,720,721,
723,419,420,727,728,730,423,733,425,426,737,427,739,740,742,430,745,432,433,749,750,435,436,754,437,
756,757,439,760,761,763,442,766,444,445,770,771,448,774,449,776,777,779,452,782,454,784,785,456,788,
789,791,459,460,795,796,462,799,464,465,803,804,467,468,808,469,810,811,813,472,473,817,474,819,820,
476,823,824,826,479,829,481,482,833,834,835,485,838,839,841,488,489,845,846,848,492,851,494,495,855,
496,857,858,860,499,500,864,865,502,503,869,504,871,872,874,507,508,878,509,880,881,883,885,514,515,
889,516,891,892,518,895,896,898,521,522,901,902,904,525,907,527,528,911,529,913,914,915,532,917,534,
535,921,922,537,538,925,539,927,928,541,931,932,934,544,937,546,547,941,942,549,550,946,551,948,949,
951,554,555,955,556,957,958,558,961,962,964,561,967,563,564,971,565,973,974,567,977,978,980,570,571,
984,985,987,574,990,576,577,994,995,579,580,999,581,1001,1002,583,1005,1006,1008,586,587,1012,1013,589,1016,
591,592,1020,593,1022,1023,595,1026,597,598,1029,1030,600,601,1034,602,1036,1037,1039,605,606,1043,1044,608,1047,
1048,1050,611,612,1054,1055,1057,615,1060,617,618,1064,619,1066,1067,1069,622,1072,624,625,1076,1077,627,628,1081,
629,1083,1084,631,1087,1088,1090,634,635,636,1095,1096,638,639,1100,640,1102,1103,1105,643,644,1109,645,1111,1112,
647,1115,1116,1118,650,1121,652,653,1125,654,1127,1128,1130,657,658,1134,1135,1137,661,1140,663,664,1144,665,1146,
1147,1149,668,1152,670,671,1156,672,1158,673,1160,1161,1163,676,1166,678,679,1170,1171,681,682,1175,683,1177,1178,
686,687,1182,688,1184,1185,690,1188,1189,1191,693,1194,695,696,697,1199,699,1201,1202,1204,702,703,1208,1209,706,
1212,708,709,1216,1217,711,712,1221,713,1223,1224,715,1227,1228,1230,718,719,1234,1235,1237,722,1240,724,725,1244,
726,1246,1247,1249,729,1252,731,732,1256,1257,734,735,1261,736,1263,1264,738,1267,1268,1270,741,1273,743,744,1277,
1278,746,747,1282,748,1284,1285,1287,751,752,1291,753,1293,1294,755,1297,1298,1300,758,759,1304,1305,1307,762,1310,
764,765,1314,1315,767,768,1318,769,1009,1320,1322,772,773,1326,1327,775,1330,1331,1333,778,1336,780,781,1159,1340,
783,1342,1344,786,787,1348,1349,1351,790,1354,792,793,1358,794,1360,1361,1363,797,798,1367,1368,800,801,1372,802,
1374,1375,1377,805,806,1381,807,1383,1384,809,1387,1388,1390,812,1393,814,815,1397,816,1399,1400,818,1402,1074,1404,
821,822,1408,1409,1411,825,1414,827,828,1418,1419,830,831,1423,832,1425,1426,1428,1430,836,837,1434,1435,1437,840,
1440,842,843,1444,844,1446,1447,1449,847,1452,849,850,1456,1457,852,853,1461,854,1119,1463,856,1466,1467,1469,859,
1470,861,862,1475,863,1477,1478,1480,866,867,1484,868,1486,1487,870,1490,1491,1493,873,1496,875,876,1500,877,1502,
1503,879,1506,1325,1508,882,1511,884,1024,886,887,1517,888,1519,1520,890,1523,1524,1525,893,894,1529,1530,1532,897,
1535,899,900,1539,1540,1542,903,1545,905,906,1549,1550,908,909,1554,910,1556,1193,912,1558,1559,1561,1563,916,1566,
918,919,1570,920,1572,1573,1575,923,924,1579,1580,926,1583,1584,1586,929,930,1589,1590,1592,933,1595,935,936,1598,
1599,938,939,1603,940,1605,1606,1608,943,944,1612,945,1614,1615,947,1618,1619,1621,950,1624,952,953,1628,954,1630,
1631,956,1634,1635,1637,959,960,1641,1642,1644,963,1647,965,966,1651,1652,968,969,1656,970,1658,1659,972,1662,1663,
1665,975,976,1669,1670,1672,979,1675,981,982,1679,983,1681,1682,1684,986,1687,988,989,1691,1692,991,992,1696,993,
1698,1699,1701,996,997,1705,998,1707,1708,1000,1711,1712,1714,1003,1004,1718,1317,1007,1350,1010,1723,1011,1725,1726,1154,
1014,1015,1731,1732,1017,1018,1736,1019,1738,1739,1021,1742,1743,1745,1025,1748,1027,1750,1028,1752,1753,1755,1031,1032,1319,
1033,1760,1761,1035,1764,1765,1767,1038,1770,1040,1041,1774,1042,1776,1777,1779,1045,1046,1783,1784,1786,1049,1789,1051,1052,
1792,1053,1794,1795,1797,1056,1800,1058,1059,1804,1805,1061,1062,1809,1063,1811,1812,1065,1815,1816,1818,1068,1821,1070,1071,
1825,1073,1828,1075,1830,1831,1833,1078,1079,1837,1080,1839,1840,1082,1843,1844,1846,1085,1086,1741,1850,1852,1089,1855,1091,
1092,1859,1093,1861,1094,1863,1864,1866,1097,1098,1869,1099,1871,1872,1101,1875,1876,1878,1104,1881,1106,1107,1884,1108,1886,
1887,1110,1890,1891,1893,1113,1114,1897,1898,1900,1117,1903,1120,1906,1907,1122,1123,1911,1124,1126,1913,1915,1916,1918,1129,
1921,1131,1132,1925,1133,1927,1928,1930,1136,1933,1138,1139,1936,1937,1141,1142,1941,1143,1943,1944,1145,1947,1948,1950,1148,
1952,1150,1151,1956,1957,1153,1960,1155,1962,1963,1157,1966,1967,1969,1970,1972,1162,1975,1164,1165,1979,1724,1167,1168,1169,
1984,1910,1986,1172,1173,1990,1174,1992,1993,1176,1996,1997,1999,1179,1180,2003,1181,2005,2006,1183,2009,1729,2011,1186,1187,
2015,2016,2018,1190,2021,1192,2024,1195,1196,2028,1197,2030,1198,2032,2033,1200,2036,2037,2039,1203,2042,1205,1206,2046,1207,
2048,2049,2051,1210,1211,2055,2056,1213,1214,2060,1215,2062,2063,1218,1219,2066,1220,2068,2069,1222,2072,2073,1225,1226,2077,
2078,2080,1229,2083,1231,1232,2087,1233,2089,2090,2092,1236,2095,1238,1239,2099,2100,1241,1242,2104,1243,2106,2107,1245,2110,
2111,2113,1248,2116,1250,1251,2120,2121,1253,1254,2125,1255,2127,2128,2130,1258,1259,2134,1260,2136,2137,1262,2140,2141,2143,
1265,1266,2146,2147,2149,1269,2152,1271,1272,2156,2157,1274,1275,2160,1276,2162,2163,2165,1279,1280,2169,1281,2170,2171,1283,
2174,2175,2177,1286,2180,1288,1289,2184,1290,2186,2187,1292,2190,2191,2193,1295,1296,2197,2198,2200,1299,2203,1301,1302,2207,
1303,2209,2210,2212,1306,2215,1308,1309,2219,2220,1311,1312,2224,1313,2226,2227,2229,1316,2232,2233,2235,2236,1321,1522,1323,
1324,2242,2243,1547,2245,1328,1329,2249,2250,2252,1332,2255,1334,1335,2259,1420,1337,1338,2263,1339,2265,2266,1341,2269,1343,
2272,1345,1346,2276,1347,2278,2279,2281,2283,1352,1353,2286,2287,1355,1356,2291,1357,2293,2294,1359,2297,2298,2300,1362,2303,
1364,1365,2307,1366,2309,2310,2312,1369,1370,2316,1371,2318,2319,1373,2322,2323,1376,2326,1378,1379,2330,1380,2332,2333,1382,
2335,2336,2338,1385,1386,2342,2343,2345,1389,2348,1391,1392,2352,2353,1394,1395,2357,1396,2359,2360,1398,2363,2364,2366,1401,
2369,2370,1403,2373,1405,1406,2377,1407,2379,2380,2382,1410,2385,1412,1413,2389,2390,1415,1416,2394,1417,2396,2397,2399,1421,
2402,1422,2404,2405,1424,2408,2409,2411,1427,2414,1429,2417,1431,1432,1991,1433,2422,2424,1436,2427,1438,1439,2431,2432,1441,
1442,2436,1443,2438,2439,1445,2442,2444,1448,2447,1450,1451,2451,2452,1453,1454,2456,1455,2458,2459,2461,1458,1459,2465,1460,
2467,2468,1462,2471,2472,1464,1465,2475,2476,1527,1468,2480,1471,2483,1472,1473,2486,1474,2488,2489,1476,2492,2493,2495,1479,
2498,1481,1482,2502,1483,2504,2505,1485,2508,2509,1488,1489,2513,2514,2516,1492,2519,1494,1495,2523,2524,1497,1498,2528,1499,
2530,1501,2532,2533,2535,1504,1505,2539,2540,1507,2543,1509,1510,2547,2548,1512,1513,2552,1514,1515,2554,1516,2556,2557,1518,
2560,2561,2563,1521,2566,2567,2569,2571,1526,2574,1528,2576,2577,2579,1531,1865,1533,1534,2585,2586,1536,1537,2590,1538,2592,
2593,2595,1541,2598,1543,1544,2602,2603,1546,2606,1548,2608,2609,2014,1551,1552,2614,1553,2616,2617,1555,2620,2621,1557,2624,
2625,2627,1560,2630,1562,2631,1564,1565,2635,2636,1567,1568,2640,1569,2244,2642,1571,2645,2646,2045,1574,2650,1576,1577,2654,
1578,2656,2657,2659,1581,1582,2663,2664,2665,1585,2668,1587,1588,2672,2674,1591,2677,1593,1594,2681,2682,1596,1597,2686,2687,
2689,1600,1601,2693,1602,2695,2696,1604,2699,2700,2702,1607,2705,1609,1610,2709,1611,2711,2712,1613,2715,2716,2718,1616,1617,
2722,2723,2725,1620,2728,1622,1623,2731,2732,1625,1626,2736,1627,2738,2739,1629,2742,2743,2745,1632,1633,2749,2750,2752,1636,
2755,1638,1639,2758,1640,2760,2176,2762,1643,2765,1645,1646,2769,2770,1648,1649,2773,1650,2775,2777,1653,1654,2781,1655,2783,
2784,1657,2785,2787,2789,1660,1661,2793,2794,1664,2690,1666,1667,2800,1668,2802,2803,2805,1671,1673,1674,2809,2810,1676,1677,
2132,1678,2815,2816,1680,2819,2820,2822,1683,2825,1685,1686,2829,2830,1688,1689,2834,1690,2836,2837,2839,1693,1694,2843,1695,
2845,2846,1697,2849,2850,2852,1700,2855,1702,1703,2859,1704,2861,2862,1706,2865,2217,2867,1709,1710,2578,2871,2873,1713,2876,
1715,1716,2880,1717,2881,2882,1719,1720,2886,1721,1722,2889,2890,2892,2893,2894,1727,1728,2040,1730,2898,2899,2901,1733,1734,
2905,1735,2907,2908,1737,2911,2912,2914,1740,2917,2918,2920,1744,2923,1746,1747,2927,2928,1749,2931,2932,1751,2933,2934,2936,
1754,2938,1756,1757,2942,1758,2944,1759,2946,2947,1762,1763,2951,2952,2954,1766,2957,1768,1769,2961,2962,1771,1772,2966,1773,
2968,2969,1775,2972,2973,2975,1778,2977,1780,1781,2981,1782,2983,2984,2986,1785,2989,1787,1788,2993,2994,1790,1791,2998,2999,
1793,3002,3003,3005,1796,3008,1798,1799,3012,1801,1802,3015,1803,2647,3017,3019,1806,1807,3023,1808,3025,3026,1810,3029,2786,
3031,1813,1814,2634,3035,3037,1817,3040,1819,1820,3044,3045,1822,1823,3049,1824,3051,3052,1826,1827,3056,3057,1829,3059,3060,
3062,1832,3065,1834,1835,3069,1836,3071,3072,1838,3075,3076,3078,1841,1842,3081,3082,3084,1845,3087,1847,1848,3091,1849,2875,
3093,1851,3096,1853,1854,3100,3101,1856,1857,3105,1858,3107,3108,1860,3111,3112,1862,3115,3116,3118,3120,1867,3123,1868,3125,
3126,1870,3129,2807,3131,1873,1874,3135,3136,3138,1877,3141,1879,1880,3145,2945,1882,3147,1883,3149,3150,1885,3153,2449,3155,
1888,1889,3159,3160,3162,1892,3165,1894,1895,3169,1896,3171,3172,3174,1899,3176,1901,1902,3180,3181,1904,1905,3185,3186,1908,
1909,3189,3190,3191,1912,3193,3194,1914,3197,3199,1917,3202,1919,1920,3205,3206,1922,1923,3210,1924,3212,3213,1926,3216,3217,
3219,1929,3222,1931,1932,3226,3227,1934,1935,3231,3232,3234,1938,1939,3238,1940,3240,3241,1942,3244,3245,3247,1945,1946,3251,
3252,3254,1949,3257,1951,3260,1953,1954,3264,1955,2929,3266,3268,1958,1959,3272,3273,1961,3276,3277,3279,1964,1965,3282,3283,
3285,1968,3288,1971,3291,1973,1974,3295,3296,1976,1977,3300,1978,3302,3303,1980,1981,3307,1982,3309,1983,3311,3312,1985,3315,
1987,1988,2221,1989,3320,3321,3323,3324,3326,1994,1995,3330,3331,3333,1998,3336,2000,2001,3340,2002,3342,3343,2004,3346,3347,
3349,2007,2008,3352,3353,2010,3356,2012,2013,3360,3361,3362,3364,2017,3367,2019,2020,3371,3372,2022,2023,3375,3376,2025,2026,
3380,2027,3382,3383,2029,2031,3387,3388,2354,2034,2035,3392,3393,3395,2038,3398,2041,3401,3402,2043,2044,2339,3405,3406,2047,
3409,2856,3411,2050,3414,2052,2053,3418,2054,3419,3420,3422,2057,2058,2059,3426,3427,2061,3429,3430,3432,2064,3435,2065,3437,
3438,2067,3441,3442,3444,2070,2071,3448,3449,3207,2074,2075,3454,2076,2161,3456,3458,2079,3461,2081,2082,3465,3466,2084,2085,
3470,2086,3472,3468,2088,3475,3476,3478,2091,3480,2093,2094,3484,3485,2096,2097,3489,2098,3491,3492,3494,2101,2102,3498,2103,
3500,3501,2105,3503,3505,2108,2109,3509,3510,3511,2112,3514,2114,2115,3518,3519,2117,2118,3523,2119,3525,3526,3528,2122,2123,
3532,2124,3534,3535,2126,3538,3539,2129,3542,2131,3545,2133,3546,3547,2135,3550,3551,3552,2138,2139,3556,3558,2142,3561,2144,
3564,2145,3566,3006,3568,2148,3571,2150,2151,2153,2350,2154,3496,2155,3578,3579,3581,2158,2159,3585,3586,3588,3589,3591,2164,
3594,2166,2167,3598,2168,3600,2429,3602,2172,2173,3606,3607,3609,3611,2178,2179,3614,3615,2181,2182,3619,2183,3621,3622,2185,
3625,3626,3628,2188,2189,2831,3632,3634,2192,3637,2194,2195,3641,2196,3643,3583,3645,2199,3648,2201,2202,3652,3653,2204,2205,
3657,2206,3659,3660,2208,2652,3663,3665,2211,3668,2213,2214,3670,3671,2216,3674,2218,3675,3676,3678,2222,2872,2223,3682,2400,
2225,3685,3407,3687,2228,2230,2231,3692,3693,3195,2234,3696,3698,2237,2238,3702,2239,2240,2241,3706,3707,3708,2246,2247,3712,
2248,3714,3715,3717,2251,3720,2253,2254,3724,3725,2256,2257,3728,2258,3730,3731,2260,2261,3734,2262,3736,3737,2264,3740,3741,
3146,2267,2268,2536,3746,2270,2271,2273,2274,3752,2275,3753,2277,3754,3755,3757,2280,3760,2282,2441,2284,2285,3766,3767,3768,
2288,2289,3772,2290,3774,3775,2292,3778,3779,3781,2295,2296,3784,3785,3787,2299,3790,2301,2302,3794,3795,2304,2305,3799,2306,
3801,2308,3803,3804,3806,2311,3809,2313,2314,3813,2315,3815,3816,2317,3819,3820,3822,2320,2321,3826,3827,3829,2324,2325,3833,
3834,2327,2328,3838,2329,2779,3018,2331,3842,3339,3844,2334,3847,3849,2337,3852,2340,3007,2341,3856,3857,3859,2344,3862,2346,
2347,3866,3867,2349,3870,2351,3872,3873,3875,2355,3878,2356,3880,3881,2358,3884,3885,3887,2361,2362,3891,3892,3894,2365,3897,
2367,2368,3901,3902,3904,2371,2372,3908,2374,2375,3912,2376,3914,3915,2378,3918,3919,3921,2381,3924,2383,2384,3928,3929,2386,
2387,3932,2388,3934,3936,2391,2392,3940,2393,3942,3943,2395,3946,3947,3949,2398,3952,2401,3955,3956,2403,3959,3960,3962,2406,
2407,3966,3967,3969,2410,3972,2412,2413,3976,3667,2415,2416,3980,3981,2418,2419,3985,2420,3987,2421,3989,3990,2423,3993,2425,
2426,3997,3998,2428,4000,2430,4002,4003,4005,2433,2434,4009,2435,3157,4011,2437,4014,4015,4017,2440,2926,2443,4021,2445,2446,
4025,4026,2448,4028,2450,4030,3139,4032,2453,2454,4036,2455,4038,4039,2457,4042,4043,4045,2460,4047,2462,2463,4051,2464,4052,
2466,4055,4056,3800,2469,2470,4061,4062,4064,2473,2474,4068,4070,2477,2478,2479,4074,2481,2482,2885,4077,2484,3399,2485,4081,
4082,2487,4085,4086,2490,2491,2685,4090,4092,2494,4095,2496,2497,4099,4100,2499,2500,4104,2501,4106,4107,2503,3368,4110,4111,
2506,2507,4115,4116,4118,2510,2511,4122,2512,3258,4124,4126,2515,4129,2517,2518,4132,4133,2520,2521,4137,2522,4139,4140,4142,
2525,2526,4146,2527,4148,4149,2529,3235,4152,2531,4155,4156,4158,2534,4161,2537,4164,2538,4166,4167,4169,2541,2542,4172,4173,
2544,2545,4177,2546,4179,4048,2549,2550,4184,2551,4186,4187,2553,4190,4191,2555,4194,4195,4197,2558,2559,4200,4201,4203,2562,
4206,2564,2565,4210,4211,4213,2568,4216,2570,4219,2572,2573,4223,4224,2575,4227,4228,4229,4231,2580,2581,3988,2582,2583,4237,
2584,4239,4240,4242,2587,2588,4246,2589,4248,4249,2591,4251,4252,3010,2594,4256,2596,2597,4260,4261,2599,2600,4264,2601,4266,
4268,2604,2605,4272,4273,2607,4276,4277,4279,2610,2611,2612,4283,2613,4285,4286,2615,3223,4289,4291,2618,2619,4295,4296,2622,
2623,4300,4301,4303,2626,4306,2628,2629,4309,4310,4312,2632,2633,4315,4316,4317,2637,2638,4321,2639,4323,4324,2641,3198,4327,
2643,2644,4331,4332,2648,2649,2878,4336,2651,4339,2653,4341,4342,2655,4344,4345,4347,2658,2660,2661,4352,2662,4354,4355,4356,
2666,2667,4360,2669,2670,4364,2671,4366,4367,2673,3451,2675,2676,4373,4374,2678,2679,4377,2680,4379,4380,4382,2683,2684,4386,
3436,4387,4389,2688,4392,2691,4395,2692,4397,4398,2694,4401,4402,4404,2697,2698,3508,2704,4409,2701,4412,2703,4415,4416,2706,
2707,4419,2708,4421,2710,4423,4424,4426,2713,2714,4430,4431,4433,2717,4436,2719,2720,4440,2721,4442,2788,4444,2724,4447,2726,
2727,4451,2729,4453,2730,4049,4455,3467,2733,2734,2735,4460,4461,2737,4464,4465,4467,2740,2741,3805,4470,4472,2744,4475,2746,
2747,4479,2748,4383,4480,4482,2751,4485,2753,2754,4489,4490,2756,2757,4494,4495,2759,3797,4053,2761,2763,2764,4500,4501,2766,
2767,2768,4506,4507,4509,2771,4511,2772,4513,4514,2774,4516,4517,2776,4520,2778,4522,2780,4524,4525,2782,4528,4529,4313,4532,
4533,4535,2790,2791,4539,2792,4541,2841,4543,2795,2796,4547,2797,2798,4549,2799,4551,4552,2801,4555,4556,4558,2804,4561,2806,
4564,2808,4566,4567,4569,2811,2812,4573,2813,4575,2814,4577,4579,2817,2818,4583,4584,4586,2821,4589,2823,2824,4593,4594,2826,
2827,4598,2828,4600,4601,4603,2832,4606,2833,4608,4609,2835,4612,4613,4615,2838,4618,2840,4620,2842,4622,4623,2844,4626,4627,
4629,2847,2848,4633,4634,4636,2851,4639,2853,2854,4642,4643,2857,4646,2858,4648,3110,2860,4651,2863,2864,4655,4656,2866,2868,
2869,4660,2870,4662,4663,4665,2874,4668,4669,2877,4672,2879,4674,3747,4676,4678,2883,2884,4682,4683,2887,4686,2888,3871,4688,
4690,2891,4692,4694,4696,2895,2896,2897,4701,4702,4704,2900,4707,2902,2903,4710,2904,4712,4713,2906,4716,4717,4718,2909,2910,
4722,4723,2913,4726,2915,2916,3954,4730,2919,4733,2921,2922,4736,4737,2924,2925,4740,4741,4742,4744,2930,3689,4487,4023,4747,
4749,2935,2937,2939,2940,4755,2941,4757,4758,2943,4760,4761,4763,4764,4766,2948,2949,2950,4769,4770,4772,2953,4775,2955,2956,
4779,4780,2958,2959,4784,2960,4786,4787,2963,2964,4790,2965,4792,4793,2967,3851,4795,4797,2970,2971,4801,3543,4803,2974,3179,
2976,4807,2978,2979,3520,2980,4812,4813,2982,4816,4817,4819,2985,4822,2987,2988,4825,4826,2990,2991,4829,2992,4831,4832,4833,
2995,2996,4708,2997,4837,4838,4840,3000,3001,4844,4845,4847,3004,4850,4852,4853,3009,4719,3011,4857,4858,3013,4860,3014,4862,
3791,3016,4865,4866,4868,3020,3021,4872,3022,4873,4874,3024,4877,4878,4879,3027,3028,4883,4884,3030,3699,3032,3033,4890,3034,
4892,4882,3036,4105,3038,3039,4898,4899,3041,3042,4903,3043,4905,4906,4908,3046,3047,4912,3048,4914,4915,3050,4918,4919,4921,
3053,3054,4925,3055,4502,4756,4928,3058,4931,4932,4934,3061,4937,3063,3064,4940,4630,3066,3067,4944,3068,4946,4947,3070,4949,
4950,4361,3073,3074,4955,4956,3077,4959,3079,4962,3080,4963,4964,4966,3083,4969,3085,3086,4972,4973,3088,3089,4977,3090,4979,
4980,3092,4983,3732,3094,3095,4987,4988,3097,3098,4992,3099,4993,4994,4996,3102,3103,5000,3104,5002,5003,3106,5006,5007,5008,
3109,5011,5012,5014,3113,3114,4033,5018,5020,3117,5023,3119,3322,3121,3122,5029,5030,3124,5033,5034,5035,3127,3128,5038,3130,
5041,3132,3133,5045,3134,4856,5047,5049,3137,5051,3140,5053,5054,3142,3143,5058,3144,5060,5061,5063,3148,5064,3749,5066,3151,
3152,5070,3154,5073,3156,5076,3158,3982,5078,5080,3161,5083,3163,3164,5087,5088,3166,3167,5092,3168,5094,3170,3281,3506,5096,
3173,3175,3544,5100,3177,3178,5104,5105,5106,5108,3182,3183,5112,3184,5114,5115,5117,3187,5120,3188,5122,4157,5125,3192,5127,
5129,3196,4519,5132,5134,3200,3201,5138,5139,3203,3204,5143,5144,5145,3208,5148,3209,5150,5151,3211,5154,5155,5157,3214,3215,
5161,5162,5164,3218,3879,3220,3221,4108,5170,3224,3225,5174,5175,5177,3228,3229,5179,3230,5181,5182,5184,3233,5187,3236,5190,
3237,4350,5192,3239,5194,5196,3242,3243,5199,5200,5202,3246,5205,3248,3249,5209,3250,5211,4540,5212,3253,5214,3255,3256,5218,
5219,3259,5222,5223,3261,3262,4072,3263,5227,5228,3265,5230,5231,3267,5234,3269,3270,4370,3271,5239,4438,3274,3275,5244,5245,
5247,3278,5249,3280,5252,5253,5254,5256,3284,5258,3286,3287,5262,5263,3289,3290,4641,5266,3292,3293,5269,3294,5271,5272,3297,
3298,5275,3299,5277,5278,3301,5281,5282,5284,3304,3305,5287,3306,5289,5290,3308,5293,5294,3310,5297,5298,5299,3313,3314,5303,
5304,3316,3317,3318,5309,3319,5311,5312,5313,5315,5316,3325,4941,3327,3328,5322,3329,5324,5325,5327,3332,5329,3334,3335,5333,
3337,3338,4253,5336,5337,3341,5339,4407,5340,3344,3345,5344,5345,3348,5347,3350,5350,3351,5352,5353,5355,3354,3355,5359,5360,
3357,3358,5363,3359,5365,5366,5368,3363,5371,3365,3366,5375,5376,3369,5379,3370,5381,5382,5384,3373,3374,5387,5388,5390,3377,
3378,4785,3379,5395,5396,3381,5398,5399,3384,3385,5403,3386,3574,4685,3389,3390,3391,5407,5408,5065,3394,5412,3396,3397,5414,
5415,3400,5417,5418,5420,3403,3404,5424,5425,5427,3408,5113,5430,3410,5432,3412,3413,5436,3415,3416,5380,3417,5439,5440,4127,
5442,3421,5445,3423,3424,3425,4357,5449,5451,3428,3927,5453,4432,3431,5457,3433,3434,5461,4473,4168,5463,5465,3439,3440,5469,
5471,3443,4378,3445,3446,5476,3447,3529,5477,5479,3450,3452,5483,3453,5485,5486,3455,5489,5490,3457,5493,3459,3460,5496,5497,
3462,3463,5501,3464,5503,5504,4258,5506,3469,5508,5509,3471,5512,5513,3473,3474,5516,5517,3477,5520,3479,5523,3481,3482,5526,
3483,5528,5529,5531,3486,3487,4363,3488,5536,5537,3490,4437,4171,5540,3493,5543,3495,5090,3497,5545,5546,3499,5548,5549,5550,
3502,5553,3504,5555,3507,5557,5558,5560,5562,3512,3513,5564,5565,3515,3516,5568,3517,4527,5571,3521,5574,3522,4369,5576,3524,
5579,5580,5582,3527,3530,5586,3531,5588,5589,3533,5592,3748,5594,3536,3537,5597,5598,5600,3540,3541,5603,5604,5606,5607,3548,
3549,3905,5611,5613,5615,3553,3554,5618,3555,5620,3557,5623,3559,3560,5626,3562,3563,5629,4078,3565,5632,3567,5634,3569,3570,
5638,4468,3572,3573,5642,5123,3575,3576,5645,3577,5647,5648,5649,3580,4144,3582,5653,3584,5654,5655,5657,3587,5659,3590,5662,
3592,3593,5666,5667,3595,3596,5671,3597,5673,5674,3599,5677,5678,3601,5681,3603,3604,5684,3605,5686,5687,5689,3608,5692,3610,
5695,3612,5698,3613,4666,5700,5702,3616,3617,5706,3618,4936,5707,3620,5710,5711,5713,3623,3624,5716,5717,5719,3627,5722,3629,
3630,5726,3631,5728,5729,3633,5732,3635,3636,5736,5737,3638,3639,5741,3640,5743,5744,3642,5747,3644,5749,3646,3647,5753,5754,
3649,3650,5758,3651,3917,5335,5760,3654,3655,5763,3656,5475,5765,3658,5767,4192,3661,3662,5770,5771,3664,5773,3666,5776,5777,
3669,5780,5781,5783,3672,3673,5787,5788,5790,3677,5793,3679,3680,5796,3681,4580,5798,3683,3684,5801,5802,3686,5805,3688,5808,
3690,5810,3691,5812,5813,5815,3694,3695,5818,4314,3697,5821,3700,5824,3701,5826,3703,5829,3704,5831,3705,5791,5833,5835,5837,
3709,3710,5841,3711,4705,5843,3713,3828,5847,3716,5850,3718,3719,5854,5855,3721,3722,3723,3843,5859,5861,3726,3727,5864,5865,
3729,5868,5869,5871,3733,5873,5874,3735,5877,5878,3738,3739,5882,5883,3742,3743,3744,5888,3745,5890,5891,3750,5894,3751,5895,
5896,5898,5900,5902,3756,3906,3758,3759,5908,3761,3762,5912,3763,3764,5643,3765,5857,5915,3769,3770,5919,3771,5921,5922,3773,
5924,5925,5927,3776,3777,5899,5930,5932,3780,4302,3782,3783,5937,5939,3786,5942,3788,3789,5945,3792,5947,3793,5949,5950,5952,
3796,5593,3798,5955,5957,5958,3802,5961,4809,5962,5964,3807,3808,5968,5969,3810,3811,5973,3812,5975,5976,3814,5979,5981,3817,
3818,5984,5985,3821,5988,3823,3824,3825,5993,5994,5996,3830,3831,5999,3832,6001,6002,6004,3835,3836,6008,3837,6009,6010,3839,
6012,3840,3841,6014,6015,4006,3845,3846,6020,3848,6023,3850,6026,6027,3853,3854,4867,3855,6030,6031,5708,3858,3860,3861,6036,
6037,3863,3864,3865,6041,6042,3877,3868,3869,6046,6047,6049,6050,6052,3874,6055,3876,6058,6059,6061,6062,6064,3882,3883,6068,
6069,5472,3886,6073,3888,3889,6077,3890,6079,6080,6082,3893,6085,3895,3896,6088,6089,3898,3899,6092,3900,6094,6095,6097,3903,
6100,6102,3907,6104,6105,3909,3910,6109,3911,5204,4587,3913,6113,6114,3916,4238,6117,6119,3920,4945,3922,3923,6124,3925,3926,
6128,6129,6130,6132,3930,3931,6136,6137,3933,6140,6141,3935,3937,3938,6146,3939,6148,6149,3941,6152,6154,3944,3945,6158,6159,
6161,3948,6162,3950,3951,6166,6167,3953,6170,6171,6173,3957,3958,6176,6177,6179,3961,3963,3964,6183,3965,6185,5149,6187,3968,
6190,3970,3971,6194,6195,3973,3974,3975,5622,6200,3977,3978,6203,3979,6205,6206,6208,3983,6210,3984,6212,6213,3986,6216,6217,
6219,6220,6222,3991,3992,6226,6227,3994,3995,3996,6231,6232,3999,6235,6236,4001,6239,6160,6241,4004,6243,4007,6246,4008,6247,
4010,6249,4012,4013,6248,5285,6253,4016,6256,4018,4019,5071,4020,4022,4320,4024,6263,6264,6266,4027,5062,6267,4029,6269,6270,
4031,6273,4034,6274,4035,6276,6033,4037,6279,6025,6281,4040,4041,6285,4443,6287,4044,6289,4046,6291,4050,6292,6293,6295,4054,
6298,6299,6301,4057,4058,4059,6306,4060,6307,6308,6310,4063,4337,4065,4066,6312,4067,6314,6315,4069,6318,4071,4531,5518,4073,
6322,4075,6324,4076,6326,6327,4079,6330,4080,6331,6332,6334,4083,4084,6337,6338,6340,4087,4088,4089,5460,6345,4091,4998,4093,
4094,6349,6350,4096,4097,6352,4098,5539,5778,6355,4101,4102,5725,4103,6360,6361,6363,6364,6366,4109,6369,6370,6372,4112,4113,
6375,4114,6377,4117,6379,4119,4120,6383,4121,6384,6385,4123,6388,6389,4125,6380,4128,6393,4130,5511,4131,6396,6398,4134,4135,
6402,4136,6404,4935,4138,6407,6408,6410,4141,6413,4143,4145,6417,4147,6418,5665,6420,4150,4151,6424,5221,4153,4154,6428,6429,
6431,4159,4160,6435,4162,4163,6439,5392,4165,5235,6442,6444,6446,4170,6449,6450,6451,6453,4174,4175,6457,4176,6458,4178,6460,
6461,4180,4181,4182,6465,4183,6467,4185,6468,6469,6471,4188,4189,6475,6476,4193,6479,6480,4196,6483,4198,4199,6486,6488,4202,
6491,4204,4205,5599,6494,4207,4208,6498,4209,5056,6499,4212,6501,4214,4215,6505,6506,4217,4218,6510,6511,4220,4221,4222,6516,
6517,6519,4225,4226,6521,6522,6524,6526,4230,5987,4232,4233,4234,6533,4235,4236,6536,6537,6539,6540,6542,4241,6545,4243,4244,
6549,4245,6551,4247,6553,6554,6555,4250,6558,4631,4254,4255,6561,4257,4259,6565,6566,6568,4262,4263,5904,4265,6571,6572,4267,
6575,4269,4270,6579,4271,6580,6581,6583,4274,4275,6587,6588,4278,6591,4280,4281,6594,4282,6596,6597,4284,6600,6601,6603,4287,
4288,6607,6608,4290,4346,4292,4293,6614,4294,6615,5669,4297,4298,6618,4299,6619,5233,6621,6623,4304,4305,6626,4307,4308,6628,
6629,6631,4311,6634,6635,6637,4318,4319,6641,6642,6643,4322,6646,4325,4326,6098,4328,4329,6650,4330,6652,6653,6655,4333,4334,
6659,4335,6661,6662,4338,6664,4340,6667,6668,6670,4343,6672,6674,4348,4349,6678,4351,6680,6681,4353,6684,6685,6687,4358,6689,
4359,6691,4362,6693,6694,6695,4365,6696,6697,5146,4368,6700,4371,6702,4372,6704,5467,6705,4375,6708,4376,4902,6710,6711,4637,
4381,4384,6716,4385,6717,6718,6719,4388,6721,4390,4391,6354,6725,4393,4394,6729,6730,4396,6733,6734,4399,4400,6738,6029,6739,
4403,6742,4405,4406,6745,4408,6747,4410,4411,6750,5195,4413,4414,6754,6755,4417,4418,5124,6759,4420,6761,6762,4422,6765,6727,
4425,6768,4427,4428,6771,4429,6773,6774,6776,5752,4434,4435,6780,5158,4439,6783,6784,4441,6787,4445,4446,6790,4448,4449,4450,
6794,6795,4452,6798,4454,6165,4456,4457,6801,4458,6803,4459,6805,4462,4463,6807,6809,4466,6812,6814,4469,6737,5982,4471,6818,
4474,6821,6822,4476,4477,6825,4478,6827,6828,6830,4481,6832,4483,4484,5853,6834,4486,4802,4488,6284,6838,4491,4492,5279,4493,
6841,6842,4496,4497,6845,4498,4499,6848,5819,6850,4503,6853,4504,6855,4505,6857,6858,4508,6860,4510,6863,5009,4512,6866,6868,
4515,6871,6872,4518,6874,6875,4521,6878,4523,6611,6880,6882,4526,6884,5844,6886,4530,4765,6890,4534,6893,4536,4537,4538,6898,
6900,6901,4542,4544,4545,6906,4546,6541,4548,6908,6909,4550,6912,6913,5216,4553,4554,6917,5386,6918,4557,6920,4559,4560,6924,
6925,4562,4563,6929,6930,4565,6933,6935,4568,6938,4570,4571,6941,4572,6943,6944,4574,6647,6947,4576,6949,6950,4578,6953,4581,
6956,4582,6958,6959,5948,4585,4588,4871,6964,4590,4591,6968,4592,6969,6970,4595,4596,6973,4597,6975,6976,4599,6979,6980,5163,
4602,6984,4604,4605,6987,6988,4607,6991,6778,6992,4610,4611,6995,6996,6997,4614,7000,4616,4617,7004,5746,4619,7007,4621,7009,
7010,5535,4624,4625,7014,7015,7016,4628,7019,4632,7022,7024,4635,7026,4638,7029,4640,7031,7032,4644,4645,7035,4647,7038,7039,
4649,4650,5159,7043,4652,4653,7047,4654,7049,7050,7052,4657,4658,6251,4659,4697,7056,4661,7058,7059,4664,7061,4667,6763,7064,
4670,4671,7068,7069,4673,7072,7073,4675,6245,4677,7077,4679,4680,7080,4681,7081,7083,4684,5609,6156,4687,7087,7088,4689,7090,
4691,7093,7094,4693,7097,4695,6791,4698,7102,4699,7104,4700,7106,7107,7109,4703,7112,4706,5640,7115,7117,4709,7118,6091,4711,
7120,7121,5590,4714,4715,7125,4767,7127,4720,7130,4721,7132,5863,4724,4725,7136,7137,4727,4728,7140,4729,7142,4731,4732,7145,
7146,4734,4735,7150,7151,7153,4738,4739,7156,7157,7159,7160,4743,7163,4745,4746,7166,7167,4748,4750,4751,7172,4752,4781,4753,
7175,4754,7177,5346,7179,7180,7182,4759,7183,7184,7185,4762,7188,7190,4768,7193,7194,7195,4771,7197,4773,4774,7201,4776,4777,
7204,4778,7205,7206,4782,7208,4783,7210,6538,7211,6846,4788,7215,4789,7217,6054,4791,7220,6427,4794,7222,4796,5705,4798,4799,
6412,4800,7227,7229,4804,7232,4805,4806,7235,7236,4808,4810,7240,4811,7242,7243,6712,4814,4815,7247,7248,7250,4818,6746,4820,
4821,7255,7256,4823,7258,4824,5573,7259,4827,4828,7262,5310,4830,7265,7266,7268,7270,4834,4835,7274,4836,7275,7276,4839,6942,
4841,4842,7280,4843,7282,7283,7285,4846,4848,4849,7289,4851,7290,4854,4855,7293,7294,7295,6888,4859,7298,7299,4861,7302,5085,
4863,4864,7306,5499,4869,4870,7310,5082,6099,7312,4875,4876,7316,6157,7318,4880,4881,7321,7322,6895,4885,4886,7326,4887,4888,
7311,4889,7330,5941,4891,7333,7334,4893,4894,7337,4895,4896,7339,4897,6885,7341,7343,4900,4901,7347,7348,7349,4904,7352,7353,
7355,4907,7358,4909,4910,7362,4911,6612,7364,4913,7367,7261,4916,4917,7370,5849,4920,7373,4922,4923,7377,4924,5416,6034,4926,
7381,4927,6534,4929,4930,7385,7386,7388,4933,7390,7392,7393,4938,4939,7366,7397,4942,7400,4943,7402,6121,7404,7405,4948,7407,
7408,7054,4951,4952,4953,7414,4954,7416,7417,7419,4957,4958,7422,7423,4960,4961,7426,7427,7429,7431,4965,7432,4967,4968,7436,
7437,4970,7440,4971,7442,5820,6039,4974,4975,5043,4976,4978,7448,7449,5556,4981,4982,7453,7454,4984,4985,7458,4986,7460,7461,
4989,4990,7465,4991,7467,7468,7470,4995,7473,4997,7476,4999,6671,7478,5001,7480,7481,7483,5004,5005,7487,7001,7489,7491,5010,
7493,7495,5013,7498,5015,5016,7502,5017,7504,5019,7506,5021,5022,7510,7511,5024,5025,7515,5026,5027,7518,5028,7520,7521,7523,
5031,5032,7527,7528,7530,5036,5037,7534,7535,5039,5040,7538,7526,5042,7540,5044,7542,5046,7354,5809,5048,5050,5055,5052,7546,
5789,7548,5057,7551,7552,5059,7555,7556,7558,7560,7562,7564,5067,5068,7568,5069,5072,7428,5074,5075,7574,7575,5077,5079,7578,
5081,7580,7581,5084,7584,5086,7586,7587,5595,5089,7591,5091,7592,5093,7595,5095,5097,5098,7599,5099,7601,7602,5101,5102,7606,
5103,7608,7609,7611,7124,5107,5109,5110,7617,5111,7618,5116,7621,5118,5119,7624,7625,5121,7628,7629,7631,5126,7633,5128,7634,
5130,5131,7638,7639,5133,5135,5136,7644,5137,7646,7647,5140,5141,7651,5142,7350,7359,7539,7655,5147,7658,7659,7661,5152,5153,
7281,5156,7665,5487,5160,7667,7668,6651,7671,5165,5166,7675,5167,5168,7678,5169,7680,7681,5171,5172,7685,5173,7687,7689,5176,
7692,5178,7695,5180,5191,7698,7700,5183,5185,5186,7705,7706,5188,5189,7709,7710,6972,5193,7713,7715,5197,7718,5198,6399,7720,
7345,5201,7722,5203,7725,7726,5206,5207,7728,5208,7729,5951,5210,7732,7733,7735,5213,5215,7739,5217,7740,7741,7742,5220,7745,
7746,5944,5224,5225,7751,5226,7135,7753,7755,5229,7757,7758,7305,5232,7761,7762,5236,7765,5237,7767,5238,7769,7770,5240,5241,
5242,7775,5243,7777,7778,7780,5246,5248,7783,5250,5251,7787,7368,7789,5255,7792,5257,5259,5260,7797,5261,7799,7800,7801,5264,
5265,7804,7805,5267,5268,7808,7809,5270,7812,7813,5273,7357,5274,7817,7818,5276,7821,7822,5280,7825,7826,7828,5283,5286,7831,
5288,7834,7835,7837,5291,5292,7840,7841,7843,5295,5296,7847,7057,7848,7850,5300,5301,7854,5302,7856,5305,5306,7860,5307,7862,
5308,7863,7864,7572,7866,7867,7868,5314,6103,7870,5317,5318,5934,5319,5320,5658,5321,7875,7876,5323,7878,7879,7881,5326,7882,
5328,7885,5330,5331,5332,7890,7891,5334,7893,7269,5338,7896,7795,7898,5341,5342,7901,5343,7903,7905,5348,5349,7909,7910,5351,
7913,7914,7916,5354,5356,5357,7920,5358,7922,7923,7925,5361,5362,7928,7929,5364,7931,7196,5367,7900,5369,5370,7936,7937,5372,
5373,7941,5374,6752,7943,7945,5377,5378,7949,7950,5635,6083,7952,5383,5385,7955,7956,5389,5391,7960,5393,7962,5394,7964,7965,
5397,7968,5400,5401,7133,5402,7292,7972,5404,5405,7974,5406,7976,7590,7978,5409,5410,5411,7983,7099,5413,5693,7986,7988,5419,
6358,5421,5422,7992,5423,7993,7994,7996,5426,7225,5428,5429,8001,5431,8003,8004,5433,5434,8008,5435,6188,5437,8010,5438,8012,
7872,8014,5441,8016,5443,5444,8020,8021,5446,5447,7902,5448,8024,5450,8026,5452,8029,5454,5455,5456,5458,5459,8035,8036,5462,
8039,5464,8042,5466,5468,8045,8046,5470,8048,5473,5474,5967,8052,8053,8055,5478,5480,5481,5482,8060,5484,8063,8064,8066,5488,
8069,5525,7636,5491,5492,8074,8075,5494,5495,8079,8080,5572,5498,5500,8084,8085,5502,8088,8090,5505,5974,5507,8094,8095,5510,
8097,6604,8099,5514,5515,8102,8103,8105,5519,8108,5521,5522,5799,8111,5524,8114,8115,5527,8118,8120,5530,8123,5532,5533,8125,
5534,8127,5734,8129,5538,8132,8133,5541,5542,7712,8135,5544,8137,8139,5547,5832,6792,8143,5551,5552,6796,8146,5554,8149,7806,
5559,8152,5561,8154,5563,8157,5566,8160,5567,8162,8163,5569,8166,5570,8168,8170,8171,5575,8174,6820,5577,5578,8178,8179,5581,
8182,5583,5584,8185,5585,8187,5587,8189,5591,8191,8192,8194,5596,8197,8198,5601,5602,8202,8204,5605,5936,8208,5608,8211,5610,
8213,8214,5612,8217,5614,8220,5616,5617,8224,5619,8227,8228,5621,8231,7786,5624,8233,5625,8234,8235,5627,5628,8239,5630,5631,
8242,8243,5633,8245,5636,8247,5637,8249,5639,6065,5641,8253,6019,8255,5644,8257,8258,5646,8261,6045,8263,8264,5650,8186,5651,
5652,8268,8269,8270,8271,5656,8274,5660,5661,8278,8279,5663,5664,8283,8284,8285,5668,5670,8289,5672,8292,8293,8294,5675,5676,
7209,8298,8300,5679,5680,8303,8304,5682,8306,5683,8308,8309,5685,8311,8312,5688,6000,5690,5691,8316,8317,5694,8319,5696,5697,
8322,8323,5699,8326,8327,5701,8329,5703,5704,8332,6961,8333,8335,5709,8338,8339,8033,5712,5714,5715,8345,6392,5718,8348,5720,
5721,8352,7626,5723,5724,7880,8355,8356,5727,8358,8359,5730,5731,8362,8363,5733,5735,8367,8346,5738,5739,5740,8370,8371,5742,
6197,8373,8375,5745,8378,8361,5748,8381,5750,5751,8384,8366,8385,5755,5756,5757,8390,7704,5759,8393,8394,5761,8397,5762,8091,
5764,8399,8400,5766,7514,5768,5769,8406,8407,5772,8410,8411,5774,5775,8414,7103,8416,5779,8419,8184,8421,5782,8423,5784,5785,
8426,5786,7823,6127,8430,5792,6513,5794,5795,8435,5797,8437,8438,5800,8441,8442,8444,5803,5804,8448,8449,5806,5807,8452,8453,
7670,5811,8456,8457,5814,5816,8461,5817,8286,8463,8464,5822,5823,8467,5825,8469,8470,5827,5828,8472,8473,5830,8065,6645,7216,
8476,5834,7041,5836,8479,5838,5839,8482,5840,8484,8485,5842,8488,8489,5845,8491,5846,5848,8494,5851,5852,8498,8499,6305,5856,
8502,5858,8504,8505,5860,8507,5862,6630,8510,6432,5866,5867,8515,7411,5870,8517,5872,8520,7253,5875,5876,8524,8525,8477,5879,
5880,8529,5881,7571,8532,5884,5885,8536,5886,5887,8538,8496,5889,8540,8541,5892,5893,7374,8545,8547,8549,5897,8451,8551,5901,
7987,5903,8556,5905,5906,7894,5907,5909,5910,5911,7325,8561,5913,8562,5914,8564,8565,5916,5917,5918,6593,5920,8571,7396,8572,
5923,8574,8575,5926,5928,5929,8580,5931,6926,5933,5935,8582,8583,8584,5938,7100,5940,8521,8418,5943,8590,5946,8468,8593,6660,
8595,5953,8598,5954,8600,8601,5956,8604,8602,5959,5960,8609,8610,8612,5963,8081,5965,5966,7500,8616,8618,5970,5971,8621,5972,
8623,8625,7144,8627,5977,5978,8630,5980,5983,8632,6087,5986,8635,8636,5989,5990,8446,5991,6560,5992,8641,8642,8644,5995,5997,
5998,8647,8648,8650,6003,6351,6005,6006,8655,6007,8657,7766,8659,6011,6013,8663,6632,6016,6017,6018,8667,8668,6021,6022,8671,
8672,6024,8675,8676,6438,6028,8492,8680,8681,6032,6051,6035,8685,7346,8687,6038,8690,6040,8692,8693,6043,6044,8696,8697,7186,
6048,8206,8702,8704,6053,8706,8707,6056,6057,8711,8712,6060,8714,6063,8716,6066,8719,6067,8721,6401,7314,6070,6071,6072,6341,
8726,6074,6075,6244,6076,8729,6487,6078,6342,8732,8734,6081,8737,6084,8740,6115,6086,6463,7982,6090,8746,8747,6093,7168,8750,
8752,6096,8567,8754,8755,6101,8758,8760,8762,6106,6107,8766,6108,8768,6110,8770,6111,6112,8772,8773,7199,6116,8776,8777,6118,
8780,6120,8783,6122,6123,8786,6125,6126,7497,8599,7139,8605,8792,6131,8795,6133,6134,8798,6135,8800,8634,6138,6139,7446,8803,
6142,6143,6268,6144,8808,6145,6147,8811,8812,7656,6150,6151,8816,8817,6153,8820,6155,8821,8822,8824,7424,8826,6163,6164,8829,
8830,8831,6168,6169,8834,8835,8836,6172,8807,6174,6175,8842,8843,8845,6178,8847,6180,6181,8851,6182,8853,7892,6184,8856,8857,
6186,8859,6189,8862,6191,6192,8866,6193,8867,8868,8869,6196,8872,6198,8874,6199,8876,6201,8878,6202,8880,7409,6204,8883,7244,
8885,6207,8682,6209,8890,6211,8892,8893,8895,6214,6215,8899,8900,7030,6218,8904,8905,6221,7846,6223,6224,8911,6225,8913,8914,
6238,6228,6229,8919,6230,8921,8922,8924,6233,6234,8386,8928,6237,6343,6240,8933,6242,8250,8936,8937,6250,8939,6252,8941,8942,
6254,6255,8946,8947,6257,6258,8950,6259,8951,6260,8953,6261,8955,6262,8957,8958,8960,6265,8963,8965,7154,6529,8967,6271,6272,
8971,8972,6275,8974,6277,6278,8977,8978,6280,8981,6282,6283,8985,8986,6639,6286,6288,7614,8990,6290,8992,8994,8996,6294,8999,
6296,6297,9001,9002,9003,6300,8425,6302,6303,9008,6304,9009,9010,7593,9012,9014,6309,6311,9017,9018,6313,9021,9023,6316,6317,
6978,9026,6319,6320,9030,6321,9032,6323,6325,9035,6728,9036,6328,6329,9040,9041,9043,9045,6333,9048,6335,6336,8560,8167,8350,
6339,9053,8122,9054,6344,7435,9056,6346,6347,9059,6348,7776,9061,9062,6353,9065,6356,6357,9069,7076,6359,9071,9072,8606,6362,
8723,9077,6365,9079,6367,6368,9082,9083,9085,6371,7743,6373,9090,6374,9092,9093,6376,9096,9097,6378,8324,9098,6381,9101,6382,
9103,9104,8959,7018,6386,6387,9109,8007,6390,6391,9112,6785,6394,9115,6395,9117,9118,6397,8509,6400,9122,6403,9124,9125,6405,
6406,9129,6409,6411,9132,9081,6414,6415,9136,6416,9137,9138,9140,6419,6421,6422,6423,7686,9146,6425,6426,9149,9150,9151,7750,
6430,9155,6433,9158,6434,9160,6436,6437,9162,9163,6440,6441,9166,9167,6443,7287,6445,9170,6447,6448,9172,9173,8059,9176,6452,
7662,6454,6455,9068,6456,9180,9182,6459,9185,7934,6865,6462,9188,6464,9190,9191,6466,9194,9195,6563,8302,6470,8183,6472,6473,
6474,9200,9201,6477,6478,6800,9204,6481,6482,9208,9209,6484,6485,9213,9214,9215,6489,6490,9219,9220,6492,6493,7053,9224,6495,
6496,9228,6497,9229,9230,6500,9232,9233,6502,6503,9237,6504,9238,9240,6507,6508,9231,6509,9244,9245,7519,6512,6514,9250,6515,
9251,9252,9254,6518,9257,6520,9259,9260,9262,6523,9264,6525,6527,6528,9226,6530,6531,6532,9270,6535,9271,6676,9272,9274,6543,
6544,9277,6546,6547,6981,6548,6550,9282,9283,6552,9285,9286,7888,9288,6556,6557,7472,6559,7181,9290,6562,9293,6564,9295,6595,
6567,6686,6569,9299,6570,9301,9302,9304,6573,6574,8500,9308,6576,6577,9310,6578,9312,9313,9315,6582,9318,6584,6585,9322,6586,
9324,9325,6589,6590,7930,6592,9331,7933,7785,9333,6598,6599,9336,9337,9339,6602,8796,6605,9344,6606,9346,7977,9348,6609,6610,
9351,6613,9353,9354,6616,6617,9357,9358,9360,6620,9363,6622,9366,6624,6625,9369,9370,6627,9372,9373,9375,6633,8756,6636,9378,
6638,7947,6640,9381,9382,9114,7369,6644,9387,9388,6648,7176,6649,9392,9393,9394,6654,6656,6657,9397,6658,9398,9399,9401,9402,
6663,9405,6665,6666,8005,9408,7708,6669,9410,6673,9412,6675,9415,6677,9416,6679,9417,9418,8305,6682,6683,9422,9423,6688,8925,
6690,9426,8101,6692,9428,9429,9430,6967,9432,6698,6699,9436,9437,6701,9268,9440,6703,9443,9444,6706,6707,9447,6709,9448,9449,
9451,6713,6714,8617,6715,9456,9457,8320,7773,6720,8447,9461,6722,6723,7098,6724,9465,9466,6726,9203,9468,9469,9471,6731,6732,
9475,9476,9478,6735,6736,7241,9481,9482,6740,6741,9484,9485,6743,9488,6744,7025,9490,9491,6748,6749,9495,6751,9168,6753,9499,
8028,6756,6757,9503,6758,9505,9506,6760,9509,9510,6764,9512,9513,6766,6767,9516,9517,6769,9519,6770,8474,7653,6772,9523,6775,
9524,6777,9527,6779,9529,9530,6781,6782,9533,6786,9535,6788,9537,6789,9539,9540,9541,6793,9542,9544,6797,9547,9548,6799,9550,
9551,6802,9553,6804,9555,9556,6806,9559,9560,6808,9561,6810,6811,9411,9564,6813,7649,6815,8380,6816,6817,9569,9298,6819,8884,
9572,9573,6823,6824,8412,9575,6826,7798,7045,6829,6899,6831,9534,6833,9581,6835,6836,9583,6837,9334,8558,6839,6840,9587,9588,
9590,6843,9593,6844,9595,7327,9596,6847,8445,9598,6849,9600,6851,6852,9603,8462,6854,9606,9483,6856,9609,9610,9612,6859,9615,
9616,6861,6862,9620,9621,6864,9624,6867,6869,6870,9628,9106,9629,6873,9034,8369,6876,6877,8244,6879,9634,6881,9635,6883,7543,
9637,9639,6887,9642,6889,9644,6891,6892,9646,9647,6894,9650,6896,6897,9653,9654,9656,6902,6903,6904,6905,8272,9661,6907,9570,
9663,9665,6910,6911,9668,9669,9671,6914,6915,6916,7084,9675,8539,6919,9678,8454,6921,6922,6923,9607,8666,9683,6927,9686,6928,
9688,7796,6931,6932,8019,6934,9691,6936,6937,9693,6939,6940,9696,9697,9698,6945,6946,9702,6948,8058,9704,6951,6952,7696,9708,
6954,6955,9712,6957,9715,9716,6960,6962,8646,6963,9720,8458,6965,6966,9722,9723,9724,8343,8403,6971,6994,9729,6974,9110,7650,
8434,6977,9734,9735,6982,6983,8813,6985,6986,9740,7006,6989,6990,9744,9745,7012,6993,9748,8241,6998,6999,9751,7002,9753,7003,
9755,9756,7005,9759,8169,7008,9761,9763,7011,7013,7536,9767,9769,9771,7017,9773,9445,7020,7021,9777,9778,7023,9779,7027,7028,
9782,9783,8344,9785,9787,7033,7034,9790,9791,7036,7037,8180,9795,7040,8651,7042,9797,7219,7044,9800,7046,9802,7048,9803,7607,
7051,9804,9806,9807,7055,9766,9810,9811,8351,7060,9814,7062,7063,9817,9818,7065,7066,9822,7067,8209,7267,8061,7070,7071,9827,
7173,7074,7075,8291,9831,7078,7079,8337,9835,8460,7082,8216,7085,7086,9840,9841,7089,7223,7091,7092,9845,7095,7096,8121,9848,
7101,7149,9851,7105,8480,9854,7108,9857,7110,7111,9861,9862,7113,7114,9864,7116,7307,9700,7119,9869,7162,9781,7122,7123,7911,
9874,7126,9876,7128,7129,9880,7131,9882,7719,7134,9885,9886,9005,9888,7138,9891,7141,9894,9895,7143,7218,8555,9898,7147,7148,
9870,9901,9902,7152,9905,9907,7155,9908,9909,8840,7158,9913,7161,8288,7164,7165,9918,9919,9921,7169,9924,7170,9926,7171,9592,
7174,8735,9929,9930,8522,7178,9863,8196,9934,7648,7187,7189,9832,7191,7192,9020,7378,9939,9941,9943,7198,7200,9947,7202,7203,
9949,9950,9952,9095,7207,9674,7212,7213,7214,9959,9377,9960,9961,9962,7221,9963,9964,7224,9966,7226,9967,9968,7228,7410,7230,
7231,7234,9973,7233,7412,7674,9975,9977,7237,7238,9538,7239,9982,9983,9407,7245,8054,7246,9985,9986,7249,9989,7251,9992,7252,
9994,7254,9996,9997,7257,9999,7260,10002,7421,7263,7264,10006,10007,10009,10011,7271,7272,9904,7273,10000,8334,7277,7278,10016,7279,
8415,10018,10019,9439,7284,10022,7286,10024,7288,10026,9633,10027,7291,10028,10029,8296,7296,7297,8708,8670,7300,7301,10037,10038,7303,
7304,10042,10043,10044,7308,7309,7503,10048,10050,7313,10053,7315,10055,10056,7317,10058,7319,7320,10061,10063,7323,7324,10067,10068,10069,
10071,7328,10073,7329,10074,7331,7332,8669,10077,10079,7335,7336,10083,7338,10085,7340,10087,10088,7342,10091,7344,10094,7676,10095,10097,
7351,10100,10101,7356,10102,10103,7360,10105,7361,8552,10107,7363,9743,10110,7365,10112,9987,10114,10115,9737,7371,7372,10119,10120,7375,
10123,7376,10125,7379,7380,7973,10127,7382,10128,7383,10130,7384,10132,10133,10135,7387,10137,7389,10139,7391,10141,7394,7395,10145,9562,
7398,7399,10148,10149,7401,10151,10152,7403,10155,10157,7406,10158,10159,10161,10162,10163,7413,10165,10166,7415,7942,10169,7418,10172,7420,
10175,10176,7425,10179,10180,10182,7459,7430,10185,10187,7433,7434,8357,10190,10192,7438,7439,10003,10196,7441,7443,7444,10199,7445,10201,
7447,10202,10203,7450,7451,7452,10207,10209,7455,7456,7457,10214,10215,10217,8535,9409,7462,7463,10221,7464,10222,7466,10223,10224,10226,
7469,10228,7471,10231,10232,7474,7475,8871,7477,10236,10237,7479,10240,10241,10243,7482,7484,7485,7486,10249,8858,7488,10251,7490,10254,
7492,10256,7494,10258,7496,8964,9050,7499,8175,7501,10263,10264,10266,10267,7505,10269,7507,7508,10273,7509,10274,10275,10277,7512,7513,
10280,10281,10282,7516,7517,10285,10286,10288,10289,10291,7522,9477,7524,7525,10296,10297,10298,10300,7529,9198,7531,7532,10305,7533,8025,
10307,8927,7537,10311,10312,9206,10314,7541,10316,10317,7544,7545,10319,7547,10321,7549,7550,10324,10325,10327,7553,7554,10218,9608,7557,
7559,10332,7561,10335,7563,10338,7565,7566,7703,7567,10342,10343,7569,8881,7570,9543,7573,10347,9473,10349,7576,7577,10353,7579,10354,
10355,7582,7583,9991,10359,7585,10362,10363,10247,7588,7589,10368,10369,9780,7594,10373,7596,10375,7597,10377,7598,10379,10380,7600,10382,
7603,7604,7605,10386,8513,10260,10388,7610,7612,7613,10391,7615,10393,7616,10395,9472,7619,7620,9631,8566,7622,10400,7623,10401,10402,
7627,10405,10406,10408,7630,10411,7632,10414,8240,7635,7637,10416,10129,9980,7640,7641,10417,7642,10419,7643,9157,9212,7645,9291,8882,
10422,10181,7652,7654,10424,7657,10427,10428,7660,10430,7663,7664,10434,10435,7666,10437,10438,7779,7669,10441,7672,7673,10443,10444,10445,
10447,7677,10449,7679,10451,7731,7682,7683,10452,7684,10454,10455,10457,10458,7688,10461,7690,7691,10463,8579,7693,7694,7697,9500,9670,
7699,10468,7701,7702,10471,8237,10171,10472,7707,8349,10475,7711,10478,7981,7714,9578,7716,7717,10482,9838,10484,7721,10486,7723,7724,
10490,9498,9906,7727,10493,10494,7730,10496,10497,10499,7734,7736,7737,10501,7738,10503,10504,10506,10507,10509,7744,10511,10512,7747,7748,
7749,10516,10517,10518,7752,10521,9046,7754,10524,7756,9672,7759,7760,10529,10531,7763,7764,8098,10535,7768,10537,7771,7772,10540,10541,
7774,9210,10544,10545,7781,10546,7782,9183,10548,7784,9574,10167,7788,10553,7790,7791,10557,10336,7793,7794,10561,10562,8920,10563,7802,
7803,10566,8070,7807,10568,8931,10570,7810,7811,9177,10574,9047,7814,7815,7816,10580,10581,10583,7819,7820,10586,10587,10293,7824,10591,
7865,10383,7827,7829,7830,7842,7832,7833,10597,10598,10599,7836,7838,10603,7839,10605,10606,10608,7844,7845,10440,9846,10611,10613,7849,
7851,7852,10616,7853,9860,10618,7855,10621,7857,7858,10624,7859,10625,7861,10628,10630,10631,8040,10633,7869,7871,7873,10637,7874,10639,
10640,7877,10642,10643,10645,10647,7883,7884,10650,7886,7887,10653,7889,10654,7895,9049,10656,7897,10555,7899,10661,10663,8173,7904,9917,
7906,7907,10669,7908,10671,10672,10674,7912,10676,7915,10678,7917,7918,10682,7919,10683,10684,7921,10634,10687,10689,7924,10691,7926,7927,
10695,10696,10697,10698,10699,7932,10702,7935,8195,10704,7938,7939,10707,7940,9340,10708,10710,10711,7944,10713,7946,10716,7948,10609,10719,
7951,10722,7953,7954,9871,10726,7957,7958,10727,7959,10729,10730,7961,10732,10075,7963,10734,10735,7966,7967,10739,7969,7970,10742,7971,
10744,8586,7975,10747,9514,7979,7980,9705,10749,10750,10751,7984,7985,10754,10755,10756,7989,7990,7991,10759,10760,7995,7997,7998,10765,
7999,8000,10767,10768,8002,10769,8615,8006,8841,8009,8164,8011,10772,10773,8013,8015,8017,8018,10776,10777,10778,8022,8023,10780,10781,
8027,10784,8030,8031,8032,10788,8034,10790,10791,10792,8037,8038,9643,8654,8041,10798,9442,8043,8044,8392,10801,8047,8049,8050,9916,
8051,10805,10806,10808,10809,8056,8057,10014,10021,10811,8062,10814,10816,10320,8067,8068,10819,8071,8072,10822,8073,9016,8969,10825,8076,
8077,8912,8078,10829,10831,8082,8083,8219,8086,8087,10725,10833,8089,10835,8092,8093,10838,10839,10841,8096,9736,10843,9127,8100,9099,
10505,10847,8104,10848,8106,8107,10852,10853,8109,8110,10857,8112,8113,9380,10860,8116,8117,9565,8119,10865,10867,10868,8124,8126,10871,
10872,8128,10875,8130,8131,10877,10878,8134,8188,8136,10882,8138,8611,8140,8141,8142,8144,8966,8145,10889,10890,8147,8148,10892,8150,
8151,10895,8153,10897,8155,8156,10900,10901,8158,8159,8161,8775,10904,8165,9518,10908,10909,10911,8172,8275,10913,8176,8177,9186,8181,
10917,9823,9116,9579,9796,8190,10168,8193,10921,10923,10924,8199,8200,10927,8201,10929,8550,8203,10931,8205,8207,10935,8210,10938,8212,
10940,10641,8215,10942,10943,8218,8295,8949,8221,8222,10948,8223,10950,10951,8225,8226,9617,10954,9619,8229,8230,10957,10886,8232,10958,
10960,10961,8236,8238,10964,9019,10966,8661,8246,8248,10969,8251,10972,8252,10973,10974,8254,9438,8256,10979,8259,8260,10982,10983,8262,
10986,10987,8265,8266,10990,8267,10991,9873,10993,9920,8273,10392,8276,10995,8277,10996,10786,8280,8281,9100,8282,9161,11002,8581,8287,
10994,11005,8290,11008,11009,11011,11013,8297,10828,11015,8299,9687,8301,11020,10680,8307,11022,8310,11025,11026,8313,8314,8315,10469,8493,
11030,8318,10567,8321,9383,11032,11034,8325,11037,11038,11039,8328,11042,11043,8330,8331,11047,11048,11049,8336,10012,8340,8341,8342,11054,
11055,11056,11057,8347,9775,11061,11062,11063,8353,8354,9496,8745,11068,11070,8360,11072,11073,8738,8364,8365,11078,11079,8368,11080,11081,
8372,11083,8374,11086,8376,8377,10881,10880,8379,11090,8382,11093,8383,10538,11095,8431,8387,10632,8388,9770,8389,10783,8391,10894,9730,
11101,8395,8396,8398,8989,8497,8401,8402,11107,8404,11109,8405,11111,11112,8408,8409,10242,11116,11118,8413,9580,8417,11122,11123,8420,
11125,8422,8424,8427,11130,8428,8429,11133,11135,8432,8433,11138,11139,8436,11140,11141,8439,8440,10846,11145,11146,8443,9577,11150,11151,
11153,8450,11156,10062,11157,8455,8563,11160,11162,8459,9836,11165,9120,11167,8465,8466,11170,11171,11173,8471,9247,11176,8475,11178,10010,
8478,10688,11181,8481,11183,11184,8483,11187,11188,9255,8486,8487,8557,8490,11193,11194,11196,11197,8495,8526,9355,11200,9658,8501,11143,
8503,11204,11115,11206,8506,11209,8508,11211,11137,8511,8512,11215,8514,11217,11218,8516,11221,10144,8518,8519,11225,11226,8523,11228,11230,
8527,8528,10060,8643,8530,9128,8531,8533,8534,11238,11239,11240,8537,11243,11244,9450,9300,8542,8543,9660,8544,11247,10126,8546,11249,
8548,11252,11254,8553,8554,11258,11259,11260,8559,11262,10977,11264,9976,8568,11266,8569,11268,8570,11270,11271,11273,8573,10971,8576,8577,
11277,8578,11278,11279,10370,11280,11281,11283,8585,8587,8588,8589,8591,8592,11288,8594,8596,8597,11290,11291,11292,11294,8603,11296,8607,
9938,8608,11297,11298,9039,11300,8613,8614,11304,8619,8620,8742,11305,8622,10824,8979,8624,11307,8626,11309,8628,8629,10539,8631,8645,
11312,8633,8818,11314,11316,8637,8638,10525,8639,9850,8640,9721,10450,9458,11322,8649,10432,8652,8653,11327,9459,8656,11328,8658,11331,
8660,8662,8664,8665,11336,11337,11338,11340,11342,11343,11345,8673,8674,11349,11350,10156,8677,8678,8679,11355,11356,11357,8683,11164,8684,
11361,11362,8686,11311,8688,8689,11366,8691,11367,9903,8694,9829,8695,11370,11371,11373,8698,8699,8700,11375,8701,11377,8703,8705,9365,
11378,8709,11380,8710,11382,11383,11384,8713,11386,8715,10361,8717,8718,11389,11390,8720,11392,11393,8722,8724,11394,8725,11396,11397,8727,
8728,8730,8731,10216,8733,10667,8736,11404,11405,8739,10177,8741,11071,8743,8744,11411,11412,11414,8748,8749,11417,11418,8751,11419,8753,
9923,8757,8759,9038,8761,11427,8763,8764,11429,8765,11431,8767,11434,8769,11035,8771,11436,11437,9893,8774,11439,10584,8778,8779,11443,
8781,8782,11447,11410,8784,10041,8785,8787,8788,11451,8789,8790,8791,11453,8793,8794,9187,9582,8797,11323,9107,8799,11459,11460,8801,
8802,10111,11463,8804,8805,9052,8806,11467,11468,8809,11470,8810,11472,11474,8814,11476,8815,11478,11479,11481,8819,11484,11485,8823,11488,
8825,8827,8828,11490,10328,11261,8832,11495,8833,11486,11496,11088,11499,8837,8838,10104,8839,8948,11503,11504,8844,8846,8848,8849,11509,
8850,11511,8852,11513,11514,8854,8855,11517,11519,11520,8860,8861,11523,11524,8863,8864,9792,8865,11529,11469,11531,8984,11533,8870,11535,
8873,10692,11537,8875,11539,8877,10488,8879,11541,9006,11543,11544,8886,8887,10508,8888,8889,11232,8891,11549,11550,11552,8894,8896,8897,
11555,8898,11557,11558,8901,8902,8903,11562,11369,8906,8907,10856,8908,8909,11567,8910,11568,9223,10869,11569,8915,8916,8917,11573,8918,
11575,10919,11576,10334,8923,11580,8926,11581,10745,11582,8929,8930,11585,8932,11587,8934,8935,10906,8938,9464,8940,11594,11595,8943,8944,
11597,8945,10205,11600,11602,11603,8952,11605,10304,8954,9193,11608,8956,11610,11611,11613,8961,8962,11446,11617,11619,8968,11622,8970,11624,
11625,11627,8973,8975,8976,11632,11633,11634,8980,10491,10086,8982,8983,11640,11641,10487,11643,8987,8988,9955,11647,11648,8991,11650,8993,
11652,8995,11655,8997,8998,11658,9000,9227,11659,11661,9004,11662,9007,11663,10896,9011,9662,9013,10981,9015,11668,11669,11401,11671,9022,
9024,9025,11674,11675,9027,9028,11678,9029,11680,11681,9031,11683,11684,9033,11686,9037,9042,10712,9044,11691,11692,9051,10807,9055,11696,
11697,9057,9058,11700,9060,11096,10017,11702,9063,9064,11706,9066,9067,11709,9246,9070,11670,9073,9074,9075,11716,9076,11717,9078,10013,
9080,9084,11722,9086,9087,10456,9088,9089,11728,11729,9091,11731,9094,11732,11733,11735,11737,9102,9699,11740,9105,9108,11742,11743,9111,
11745,11746,9113,11749,10522,11751,9119,11752,9121,10620,9123,10366,10257,11755,9126,10360,11757,9130,9131,11759,9133,9134,11761,9135,11762,
9139,11765,9141,9142,9501,9143,9144,10265,9145,11767,9147,9148,11768,11769,11771,9152,9153,9154,11775,11776,9156,10480,11779,9159,10008,
11781,11783,11784,9164,11786,9165,11787,11788,11789,9169,11790,9171,9764,9998,9174,9175,11795,11797,9178,9179,9181,11801,9184,11804,11805,
11806,11807,9189,11809,9294,11811,9192,11577,11813,11815,9196,9197,9199,11041,11817,9202,9703,9205,11821,9207,11099,11822,11823,9211,11084,
11825,11826,10578,11828,9216,9217,11831,9218,10147,11832,9221,9222,11836,11837,11838,9225,10592,11076,11841,11842,11033,9234,9235,9236,11845,
10601,11559,9239,11848,9241,9242,11852,9243,9349,11855,9248,11858,9249,11860,11862,9253,11865,9256,11868,10485,9258,11870,11872,9261,9263,
11875,11876,9265,11879,9266,9267,9768,9269,9319,11882,11884,9273,11887,9275,9276,9602,9278,9279,11892,9280,11893,9281,11895,11896,9284,
11898,11766,9287,9289,11902,9292,10737,11905,11907,11372,9296,11246,9297,11911,11912,10883,10106,11914,9303,11915,9305,9306,11649,9307,11920,
9309,11810,9311,11923,9690,11050,9314,9316,9317,10685,10799,9320,9852,9321,11425,9323,10252,11929,11931,9326,9327,9328,9329,9330,11937,
11938,9332,11940,9335,11219,11257,9338,9341,11946,9342,9343,10418,9345,11949,11950,9347,11275,11954,9350,11956,11957,9352,11959,11859,9486,
9356,9359,11963,9361,9362,11966,9364,11968,9367,9368,11970,10657,11972,9371,11975,11618,9374,11978,9376,10309,11980,9379,11983,9384,9385,
9386,11988,11989,9389,9390,9391,11993,11464,9395,9396,11997,11395,11999,10764,9400,11798,9403,9404,9406,12005,12006,9413,9414,12010,12012,
9419,9420,9421,12014,9424,9425,12017,9772,9427,12020,9667,12022,9431,12025,9433,9434,9435,12029,12030,12032,12034,12035,9441,10686,12037,
9446,12040,12041,11413,9452,9453,10423,9454,9455,12045,9460,12047,12048,9462,12051,9463,12053,12054,9467,12056,12057,9470,12059,9990,9474,
12061,12062,9684,9479,12065,9480,12066,9487,11403,9489,12070,12071,9492,9493,11341,9494,12076,9497,12078,12079,9819,9502,9504,12082,10939,
12084,9507,9508,11498,12087,10287,9511,12089,12090,9515,12093,11730,12095,12096,9520,12099,9521,9522,10294,12101,9525,9526,12077,12104,9528,
11236,9531,9532,11421,9758,9757,9536,10666,12109,12110,9623,12111,12113,9545,9546,12116,9549,12118,9774,9552,10390,9554,11438,12123,9557,
9558,12126,12128,9563,11155,10318,12132,9566,9567,11190,9568,12134,9571,12135,12136,11799,9576,12138,10302,12139,9584,12141,9585,9586,12144,
12145,9589,12148,9591,11016,9594,12151,10997,11102,9597,12154,12155,9599,10850,9601,12002,9604,9605,12159,11347,12160,11900,9611,12162,9613,
9614,12163,12164,9618,12165,12166,9622,9625,12069,9626,9627,12171,12172,9630,12174,9632,12176,12050,9636,12179,9948,9638,9640,9641,12181,
12182,9936,12183,9645,11699,10394,9648,9649,12189,12190,9651,9652,12023,12194,9655,9657,12198,9659,9676,9664,9666,10933,11317,12203,12204,
11195,9673,12178,12207,9677,12210,12211,9679,9680,12214,9681,11251,9682,12216,9685,10930,12218,12219,11528,9689,12221,9692,12224,12195,9694,
9695,12225,12227,11222,9701,11031,9706,10596,9707,10140,12231,9709,9710,9711,11475,10564,9713,9714,12236,11977,12238,9717,9718,9719,10681,
12242,12244,12246,9725,9726,9727,9728,12249,12250,11564,9731,9732,9733,12255,12256,11179,12258,9738,12260,9739,10113,9741,9742,12264,12265,
10593,11851,9746,9747,9749,9750,12270,9752,10575,12272,9754,12275,10212,12276,9760,12278,12279,9762,12280,9765,10431,12283,11098,10571,12286,
9776,10934,12287,12289,11961,12290,9784,12291,9786,12292,9788,9789,12296,12297,9878,9793,12300,9794,12302,12303,12304,9798,9799,12307,9801,
12308,12021,12310,12007,9805,12313,12315,9808,12317,9809,12117,9884,9812,9813,9815,9816,12324,9875,12325,9820,9821,12328,12142,11202,9824,
9825,12332,9826,12333,10905,9828,9830,12336,12337,9833,12339,9834,12340,10049,9837,12341,9839,12343,12345,9842,9843,12348,9844,12349,12350,
9847,12351,9849,11066,12354,9853,12356,9855,9856,12358,12359,9858,9859,12362,10910,12363,12365,9865,9866,11001,9867,9868,12368,12369,9872,
12371,11149,12372,9877,12375,9879,12377,12378,9881,11908,9883,11854,12105,12001,9887,12384,9889,9890,10705,12386,9892,11029,12387,12389,9896,
9897,12392,9899,12393,9900,12395,10268,12397,12398,12399,10876,12401,9910,9911,9912,12403,11242,9914,9915,12404,10662,9922,11452,9925,12410,
11012,9927,11440,9928,11255,12414,10706,9931,9932,9933,10206,9935,12420,9937,11318,9940,12019,9942,12424,9944,9945,12427,9946,12428,10717,
12430,9951,9953,9954,9956,9957,12435,9958,12436,12438,12440,12442,9965,12213,9969,9970,9971,12445,9972,12447,9974,9978,9979,12318,9981,
12451,11664,12452,9984,9988,11466,9993,12458,9995,12459,10054,10001,12463,10004,12465,10005,10998,11265,12467,12468,12469,10015,10170,12471,12472,
12473,10020,10023,12475,12476,10025,12479,12480,12482,12245,10030,10031,10032,11364,10033,10840,10034,10035,12489,10036,12491,10945,12492,10039,10040,
12495,12496,12498,12500,10045,10046,10047,12503,12504,12506,10051,10052,12509,11339,12511,10057,10059,12514,10284,10064,10065,10660,10066,12516,10070,
12518,10072,10076,12522,10078,12525,10080,10081,10082,12527,10084,12530,12532,10089,10090,12535,10092,10093,10096,10762,10098,10099,12540,12541,12085,
10398,12545,10834,10108,10109,12547,12548,12550,12551,10154,10116,10117,10804,10118,12556,11971,10121,10122,10124,12561,10879,12562,12563,12565,10690,
11962,10131,12567,10134,12569,10136,12571,12572,10138,12239,10142,10143,10898,10146,11253,11638,12579,10150,12582,12583,10344,10153,12570,12588,11873,
10160,11248,10164,12592,12593,12595,12596,12597,10173,10174,12600,12601,10178,10758,12602,11306,10183,10184,10245,10186,12607,10188,12610,10189,11040,
10191,12613,10193,10194,12615,10195,12073,12616,10197,10198,10210,12619,10200,12622,10204,12625,12140,11778,12626,10208,10211,12629,10854,10213,11871,
12631,12632,10219,10220,12636,12638,12640,12641,10225,12643,10227,12645,10229,10230,12649,12651,10233,12654,10234,10235,12657,12659,10238,10239,12663,
12664,12665,11019,10244,12667,10246,12566,10248,12669,10250,12671,10253,11994,10255,12675,10259,12411,10261,10262,12396,12678,12680,12682,10270,10271,
12686,10272,12687,12688,10276,12691,10278,10279,10602,12695,12697,10283,12700,11060,11924,12703,10290,10292,10295,12707,12591,12161,10299,12710,10301,
10303,10558,12713,12714,10306,10308,10310,12718,11708,10313,12720,10315,12723,12724,12725,12727,12729,11676,10322,10323,12731,10326,12733,12734,10329,
12735,10330,10331,12737,10333,12478,12739,10337,12741,10339,10340,12743,10341,12745,12747,12749,10345,10741,10346,12751,12676,10348,12753,10350,10351,
12755,10352,12439,12757,12759,12437,10356,10357,10358,12763,12764,12766,11441,12767,10364,10365,12769,10367,12770,12064,12772,10371,10372,10673,10374,
12367,10376,12779,12768,10378,12780,12782,10381,10384,12784,10385,10387,10389,11302,12098,12787,12605,10396,10397,10442,10399,12668,12792,10403,10404,
11593,12795,10407,12797,10409,10410,12800,10412,10413,12802,10415,12805,12807,12809,12810,10420,10421,12814,12580,12815,10425,10426,12818,10980,10429,
12821,10433,12822,11704,12824,10436,11824,11584,10439,11984,12827,12828,12829,12831,12833,10446,10448,12837,12838,12840,12841,10453,12842,12444,12844,
12846,12847,10459,10460,10862,10462,10464,10465,12240,10466,12852,10467,11849,12854,10470,12856,10473,10474,12642,10476,10477,12861,12862,10479,11816,
10481,10483,12864,12865,10489,12866,10492,12446,10495,12869,10498,10500,12872,12873,10502,10652,10510,10513,10514,11886,10515,12131,12406,12881,10519,
10520,12670,11493,10523,12886,10526,12888,10527,10528,12891,10530,10532,10533,10534,10536,12370,12898,12899,12900,10542,12903,10543,10766,10916,11985,
10547,12905,12906,10549,10550,10551,10552,12611,10554,10677,10556,12701,10559,12912,10560,11750,10565,12915,12081,12916,10569,10572,10573,11707,10576,
10577,12920,10579,12689,12922,10582,10585,12925,12926,12927,10588,10589,10590,12931,12932,10594,10595,12878,12937,10600,12939,12940,10604,11738,12942,
11077,10607,12944,11212,10610,12947,12683,10612,10724,10614,12951,10615,12953,12954,10617,12957,12958,10619,12960,10622,11500,10623,11450,12870,10626,
10627,12965,12966,10629,12969,12970,10635,12972,10636,12974,11770,10638,12977,12698,12979,12981,10644,10646,12443,10648,10649,12986,10651,12988,10947,
12319,10655,12544,12889,10658,12993,10659,11210,12995,12997,10664,10665,13000,10668,10670,13003,13004,13005,13007,10675,13010,12222,10679,11565,13011,
13013,13014,13016,10693,13019,10694,12839,13021,13022,13024,13025,10700,10701,13028,10703,13029,13030,13032,12799,12606,10709,13036,13038,10714,10715,
12789,13041,13042,10718,13044,10720,10721,13046,10723,12267,11105,11426,10728,12215,13050,10731,13053,10733,13055,10736,11416,10738,13058,13056,10740,
13060,11045,10743,13063,10746,12413,13065,10748,11710,11800,13068,13070,10752,10753,13073,12612,13075,10757,11538,13078,13080,10761,13082,10763,12058,
11214,10941,12908,13085,10770,10771,11129,13088,12129,10774,13091,10775,12202,10779,13093,13094,10782,12705,11267,10785,11127,10787,10988,12589,10789,
13098,13099,12520,10793,10794,13104,10795,12832,10796,10797,13106,10800,13108,12143,10802,10803,12269,13110,13112,10810,13114,10812,10813,13118,10968,
10815,13119,10817,10818,13121,10820,10821,12000,10823,13124,10826,10827,13128,11645,10830,10832,13131,13132,10959,10836,10837,13136,11482,13137,13139,
10842,10873,10844,10845,13144,11819,10849,13147,10851,11400,13064,10855,13150,10858,10859,13152,13153,10861,12321,10863,10864,13155,11665,10866,13157,
10870,13159,13160,10874,11213,12251,13164,13166,10884,10885,10887,13170,10888,13172,13174,10891,11136,10893,13178,13168,13179,12820,10899,12462,13182,
10902,13185,10903,12009,13186,11772,10907,12187,10912,10914,10915,13191,10918,10920,11492,10922,11148,12039,10925,10926,13197,13198,10928,13201,13203,
10932,13206,12762,10936,10937,13208,13209,13210,10944,10946,11572,10949,10952,10953,10955,10956,13215,12510,13217,13219,10962,10963,13223,10965,12534,
10967,12453,11003,10970,13227,10975,10976,10978,13230,13033,13232,12133,13233,10984,10985,12382,13127,13236,10989,11024,12661,12197,10992,13242,13243,
13244,12013,10999,11000,12857,12490,11004,13247,13084,11006,11007,13250,11289,11010,11964,11014,13253,11017,11018,13096,11021,11922,12623,11023,11027,
13256,11028,13257,13258,13259,11036,12716,13262,13264,13265,11044,13267,11046,11435,11734,13269,11051,13102,11052,11335,11053,13272,13273,11058,11059,
12106,13276,12709,13279,11064,11065,13283,11067,13285,11069,12603,12448,13288,11074,11075,13290,11960,13291,12042,11082,13292,11085,12316,13295,11087,
11089,12598,11091,11092,11094,13300,13301,11097,13303,12575,11100,11103,12875,11104,11106,11108,11110,13308,13309,13310,11113,11114,13314,13315,11117,
12902,11119,11120,11121,12346,13145,11124,11126,13320,11128,13321,13322,11131,13324,11132,12273,11134,11299,11901,13327,12094,13328,12415,11142,11144,
12938,13332,11147,13335,13268,13336,11152,11154,13340,12485,11158,11159,13342,11161,11163,11166,13345,11168,12736,11169,12305,13349,11172,11174,11175,
11177,13353,13355,11180,13357,11182,13360,11185,11186,13363,13364,11189,11191,13367,11192,13368,11651,11198,11199,11791,11201,11203,13371,13372,11205,
13374,11207,11208,13377,12493,13379,12191,13380,11216,13383,11220,11223,13386,11224,13387,13388,11227,11229,13390,11231,11545,11233,11234,11235,13394,
11237,13396,11241,11245,12871,11773,12963,13092,13398,11250,11542,13399,11981,11256,12323,13400,13402,12577,13403,11263,13405,13407,13408,11269,13411,
13412,11272,11274,13414,11276,13416,13417,13419,13420,11282,11284,11631,11285,11628,11286,12650,11287,11894,11724,11293,11758,11295,12262,13428,13430,
11301,11303,12177,12884,13434,13435,12457,11308,11310,13437,13438,12124,11313,13440,11315,13181,11319,11320,11321,13445,11324,11325,11326,13449,11329,
11330,13451,11606,11332,11333,13222,11334,12721,13452,12335,13454,12933,12512,11344,12206,11346,11348,12380,12744,11351,11352,13459,11353,12778,11354,
13461,13089,11358,11359,13465,11360,13466,13468,11363,12168,11365,12488,13393,11368,12515,11374,13476,11376,13479,12028,13453,11379,13483,13484,11381,
13486,11385,13444,13489,11387,13491,11388,13492,12175,11391,13494,12790,13255,13448,11398,11399,13497,12934,11903,11402,13498,11406,11407,13500,11408,
11409,13502,13503,13504,13505,11415,13148,13507,13508,13472,11420,11422,11423,12774,11424,11532,11428,13512,11430,11448,11432,11433,13278,13515,12285,
13518,12418,13520,11442,11694,13305,11444,11445,13523,13120,13524,13526,11449,12024,13528,11571,11454,11455,13531,11456,11457,11458,12277,13534,11461,
11462,11465,12261,13538,11667,11945,11471,13540,13541,11473,11808,11991,11477,13546,11480,11483,13547,13548,11487,12627,13551,11489,12223,13553,11491,
11494,12620,13557,11497,13559,11501,11502,13561,12858,13562,11505,13376,11506,13564,11507,11508,11744,11510,13565,11512,13456,13566,13568,11515,12441,
11516,13570,13571,11518,13573,13575,11521,13577,11522,13358,12196,13578,11525,11526,11527,13582,11530,11672,11534,11777,11536,12882,13585,13586,11540,
11621,13590,11546,13593,11547,13594,11548,11857,13596,13598,11551,11553,11554,11829,13603,11556,13196,13605,13606,11560,13608,11561,11889,13609,11563,
11812,13194,11566,13611,12018,13612,11570,13317,12253,11574,13475,13370,11578,11579,13615,12232,13616,11583,13015,11586,12483,13618,11588,11589,11590,
13621,11591,13079,11592,13623,11596,13624,11598,11599,11601,12344,11604,13629,11607,13631,11609,13634,11612,12494,11614,13639,11615,13641,11616,13455,
11620,13645,11623,12880,11626,13647,11629,13649,11630,13650,13651,12153,11635,11636,13655,11637,11639,11654,11642,11644,13660,11646,13661,12564,13662,
13663,13107,12499,11653,11656,13224,11657,13665,11660,13667,12989,11666,13646,11951,12537,13072,11673,13670,13513,11677,13672,11679,13674,11944,11682,
13125,11685,13678,13679,11687,13680,11688,13682,11689,11690,13685,13686,13688,11693,11695,13689,13690,11698,13692,12122,11701,11703,13694,11705,12834,
13695,11711,11712,11713,13697,11714,12033,11715,12825,13699,13700,11718,11719,11932,11720,11721,11723,13142,11725,13701,11726,11727,13706,13008,13708,
13710,11736,13101,11739,13714,11741,12205,12634,13718,12973,11747,11748,13721,11753,11754,11756,13103,12930,11760,11874,12405,11763,11764,13728,12288,
12876,13729,11843,13731,12754,11774,12672,13734,12454,13736,11780,13187,11782,11904,13521,11785,13009,13742,13743,13745,13747,13749,11792,11793,11794,
13751,12301,11796,13542,11802,11803,13756,12003,13732,13757,13754,11814,13421,13759,11818,11820,13761,13762,13764,11827,13766,11830,13768,13769,11833,
11834,11835,13773,13572,12868,11839,11840,12487,12543,13778,13001,11844,12326,11846,11847,13781,11850,12964,11853,13783,13316,11856,13784,13785,13787,
11861,13790,11863,11864,13791,13792,11866,11867,13794,11869,13280,13797,12407,12943,11877,11878,13681,13802,11880,11881,13804,11883,12860,11885,13807,
13808,11888,13810,11890,13241,11891,13812,13090,13813,13815,11897,13530,11899,12786,13817,13286,13818,11906,13819,11909,12996,11910,13822,13177,11913,
12936,13825,11916,11917,11918,13828,11919,12849,12892,11921,11925,13831,11926,11927,12719,11928,13474,13833,11930,13834,11933,11934,13704,11935,11936,
13837,13838,11939,11941,11942,13097,11943,12185,13841,13842,11947,13844,11948,13846,13847,11952,11953,13850,11955,13852,11958,13854,13855,13234,11965,
13858,13859,11967,13156,11969,11974,13860,11973,13129,11976,13863,13378,11979,12086,11982,13867,13868,11986,13602,11987,13071,12791,11990,13870,11992,
13270,13289,11995,12728,11996,13872,11998,13873,12209,12004,13199,13829,12008,12502,12983,12011,12408,12015,12016,13426,12220,13031,12026,12027,13878,
12853,12243,12867,12031,13192,12036,12777,12038,13109,12043,13881,12044,13883,12046,13884,13885,13625,12049,12052,12585,12055,13891,13893,12060,12801,
13896,12192,12063,13059,13900,12067,12068,13326,13903,13904,12072,12074,13299,12075,13907,13908,12843,13793,12080,12306,13910,12083,12557,13911,12088,
13740,12091,12092,13914,12097,13054,12100,13916,12102,12103,13683,13917,13918,12107,13574,12108,13442,12120,13922,12112,13450,12114,13924,12115,13925,
13926,12999,12119,12121,13583,12466,12125,13193,13899,12127,12130,12887,13932,13306,13933,12137,13105,13183,12702,13935,12692,12146,12147,13086,13939,
12149,13806,12150,13567,13463,12152,13750,12156,12157,12158,13944,13946,13705,13948,12167,13216,12169,13950,12170,13307,13951,12481,12173,12781,13953,
13952,12180,13955,13957,12184,13231,12186,12188,13049,13961,12193,13588,13963,13964,13965,12980,12199,12200,12201,13969,13970,12208,13971,13972,12212,
13726,13974,12217,13976,12538,12226,12228,12229,12230,13406,13978,12233,13981,12234,12235,13725,12237,12330,12241,13076,13983,12247,12248,13741,13987,
12252,13823,12573,12254,12961,13879,13990,12257,13576,12259,12991,13351,12263,13077,12266,12268,12271,13996,13997,12274,13999,14000,14002,13138,12281,
12282,14005,12284,14006,12581,13189,13220,12293,12294,12295,14009,13980,13862,12298,12299,12946,12708,14013,14014,12309,12311,12312,13628,12314,13432,
13133,12320,12322,13592,14020,13886,12327,13617,13735,12329,12331,14023,13707,13702,12334,14024,12338,13880,14027,12342,13809,14030,14032,12347,14034,
13287,14036,12352,14039,12353,14040,12355,12660,14043,12357,13923,14046,12360,12361,14048,14049,12364,12366,13633,12712,12373,12374,14053,12376,14055,
12637,12379,13062,12381,12383,14058,14059,12385,13973,14060,12388,12390,12391,13535,12394,14064,14066,12513,12400,14068,12402,14070,12409,12412,12416,
14074,12417,12419,14075,12421,13260,12422,12423,14078,14079,12425,12426,13986,12429,14083,12431,12432,14085,12433,12434,12913,14087,13423,14089,14091,
13095,13942,12449,13429,12450,14092,13325,13795,12455,12456,13720,12460,12461,13488,12464,13441,13167,13716,12528,12470,13516,13840,12539,12474,13171,
12477,12484,12521,12486,12750,12646,14098,14100,12497,13610,12501,14104,13205,14105,12505,12507,14107,12508,14109,13839,13998,12560,14096,13017,12711,
12517,14115,14116,12519,13554,14054,14118,12523,12524,14121,12526,14124,13439,12529,14126,12531,12533,13938,12536,13659,13517,12542,12546,14131,12549,
13556,12552,12553,12554,12555,14134,12558,12559,14135,14136,13774,12568,12794,13514,12574,13446,13496,12576,14139,12578,12890,14141,12584,12586,14144,
12587,14146,12590,14148,12987,12594,14151,14152,12599,13389,14155,14157,12604,14159,12608,12609,12904,13637,14161,14162,12614,12617,12618,13549,13730,
12621,14165,12624,13480,14167,13501,12628,14170,12630,13753,12633,12635,14173,12639,12644,12647,13204,12648,14175,12652,12653,12929,12655,13165,12656,
13284,12658,12662,14181,14149,13626,12666,13180,13711,12673,12674,14187,13237,14188,12677,14189,13329,12679,12681,14192,12684,14193,12685,14195,13851,
13717,13069,12690,13985,12693,12694,14199,12696,12699,13460,12704,12706,14122,14201,12715,12717,13333,12722,14205,14176,12726,14123,12730,12732,13117,
13581,14210,13323,12738,14212,12740,14213,13369,12742,14216,14217,13543,14112,12746,14220,12748,14222,14224,14225,12752,12788,12756,14228,12758,12760,
12761,13874,14230,14231,12765,14233,13960,13994,13495,12771,12773,12775,12776,14130,12783,14057,12785,13921,14239,12793,14241,12796,14244,12798,13780,
14018,14236,12803,12804,12806,12967,12808,13161,14250,12811,12812,14253,12813,12816,12817,14256,12819,14102,12823,12826,13906,12830,14260,12835,12836,
12845,13339,13875,13023,13213,12848,13338,12850,14254,12851,13584,14267,14268,12855,14269,13443,13601,12859,14271,13436,12863,14272,14273,14262,13266,
13251,13913,12874,12877,13550,12879,12909,14128,12883,13334,12885,14275,14276,14232,13151,13274,12893,12894,14277,12895,14279,12896,14281,12897,13207,
12901,14284,13560,12911,14285,12907,12910,14286,12914,14287,12917,12918,14160,12919,14292,12921,13827,12923,12924,14294,14295,14191,12928,13511,13905,
13779,13777,12935,13776,13675,12941,14300,12945,12948,12949,14304,12950,14305,14108,12952,12955,12956,13143,12959,13433,14310,12962,14311,14243,14312,
14298,12968,14314,12971,14316,13202,12975,12976,13346,12978,14318,12982,12984,14137,12985,14319,12990,12992,12994,14166,14322,12998,13277,14323,13002,
14324,13767,13006,13087,14072,13012,14299,13018,13020,14330,14332,13026,13027,13470,13447,13034,13035,14336,13037,14337,13039,13040,14340,14338,13043,
13600,13045,14227,13047,13048,14342,14343,13051,13052,13057,14347,13313,13061,14164,14348,14168,13066,13067,14349,13074,14351,13081,13083,13652,13703,
13929,14354,13100,13281,13343,13111,14356,13113,13115,13116,13331,14017,14360,14361,14362,13122,14365,13123,14367,14368,13126,14370,14371,13184,13130,
14372,14373,13134,13135,13775,13696,13140,13141,14376,13146,13149,14127,13727,13154,14378,13158,13162,13163,13919,14380,13668,13169,13361,13173,13175,
13176,14246,14015,13876,14386,14293,13188,13190,14001,13195,14120,14387,13493,13200,14388,14389,13427,14110,13211,14280,13212,14377,13214,14392,13218,
13221,13226,13225,14395,13228,14396,13229,14397,13959,13657,13235,14400,13238,13239,13240,14033,14004,14403,13245,13246,13248,13249,13384,13252,14355,
13254,14097,13261,14325,13312,13263,14411,13271,14283,13604,13413,13275,14413,14223,13282,14257,14415,14416,13658,14419,13293,13294,13471,13296,13297,
13934,13298,14229,13967,13302,13304,14133,14086,13311,14147,14422,14423,13318,13319,13928,14424,13887,13676,14132,13330,14427,14414,13337,13341,14429,
14430,13344,14028,14344,13347,14433,13348,13966,13350,14327,13352,14366,14436,13354,13356,14296,14437,13359,14264,14383,13362,14440,13365,13366,14442,
14443,14445,13373,13481,13375,14215,13666,13381,13382,13385,14449,14450,14451,13391,14453,13392,14455,13395,14237,13397,14290,13830,14456,13401,13404,
14358,14425,13409,13410,14184,14459,14461,13415,14463,13418,14008,13422,14464,13424,14465,13425,13431,14467,14359,14469,13473,13977,13457,14470,13458,
14471,13693,14473,13462,13464,14315,13467,13789,13469,13943,14476,13638,14477,14478,13477,13478,14203,13482,14481,13936,13485,13613,13622,13487,14484,
13490,13912,13733,14485,13664,13499,14019,14007,13506,13509,13510,13814,14490,13519,14435,13522,14491,14218,13525,14288,13527,14010,13529,13580,14417,
13532,13533,14496,14154,13536,14498,13537,14499,13539,13763,13544,13545,14502,13864,13552,13820,13555,13866,14503,13558,14504,14226,13563,14460,13569,
13620,14357,14507,14179,14509,13579,14204,14512,14080,14513,14514,13587,13589,13591,14516,13772,13595,13597,14518,13599,14341,14468,14418,13607,14519,
13614,14326,14117,14182,13619,14522,14523,14321,14524,13627,14431,13630,13632,14528,14056,13635,13636,14143,14219,13640,14313,13642,13989,13643,13644,
14172,13853,13648,14003,13653,13654,13739,13656,14500,14532,13677,14069,14533,13669,14535,13671,14263,13799,13673,14521,13927,14539,14320,14258,13684,
14541,14542,13687,13709,14545,13691,13991,14249,14546,13698,14544,13724,14242,14044,14548,14270,13712,13713,13715,14266,13719,13722,13723,14554,13737,
13738,13744,14556,13746,13945,13748,14557,13984,13752,13755,13758,13760,14145,14334,14071,14558,13765,13931,13770,13771,14041,14369,13801,13832,13782,
14408,14560,14402,13786,13788,14306,14412,14562,14466,13796,13798,13800,14221,13803,14106,13805,14565,13811,13816,14248,14208,13821,13824,13826,13979,
14202,14035,14458,14568,13835,14570,13836,14571,14289,14399,13843,13845,13849,14574,13848,14196,13856,13857,14029,14576,14483,13861,13865,13869,14578,
13871,14580,14581,13877,13975,13882,14177,14076,14094,13888,13889,13890,14583,14584,13892,14037,13894,13895,14297,13897,13898,13901,13902,14529,14393,
13909,13947,13915,14588,13920,14381,14564,14045,14591,14551,13930,13937,13940,13941,14593,14594,13949,14375,14596,13954,13956,13958,14597,14335,13962,
14599,14303,13968,14600,14405,14587,14602,14301,14589,14486,13982,14307,13988,14022,13992,13993,14150,14198,13995,14448,14608,14011,14012,14016,14077,
14611,14021,14612,14025,14026,14211,14615,14031,14617,14140,14038,14042,14438,14619,14047,14604,14050,14051,14623,14052,14624,14625,14420,14061,14062,
14063,14452,14065,14627,14067,14073,14526,14328,14081,14174,14082,14629,14084,14088,14090,14309,14093,14197,14095,14099,14101,14631,14103,14563,14555,
14111,14113,14114,14508,14635,14119,14493,14346,14125,14129,14410,14511,14579,14520,14138,14142,14639,14482,14550,14640,14153,14643,14156,14158,14234,
14566,14163,14169,14171,14561,14598,14178,14479,14180,14515,14487,14183,14185,14186,14510,14190,14647,14194,14200,14489,14245,14206,14207,14209,14648,
14457,14606,14214,14374,14601,14650,14235,14238,14621,14240,14607,14592,14644,14247,14573,14251,14252,14569,14261,14255,14259,14637,14265,14656,14494,
14385,14657,14620,14274,14475,14278,14282,14291,14572,14302,14505,14308,14474,14382,14317,14501,14577,14329,14543,14331,14333,14559,14540,14339,14662,
14345,14567,14350,14488,14352,14353,14595,14363,14364,14642,14622,14406,14379,14409,14667,14384,14537,14390,14391,14582,14394,14398,14506,14401,14404,
14530,14407,14672,14441,14666,14527,14536,14421,14673,14630,14426,14428,14663,14652,14432,14675,14434,14618,14439,14553,14534,14586,14444,14446,14447,
14660,14454,14678,14462,14610,14472,14680,14677,14682,14480,14655,14547,14668,14492,14495,14671,14585,14497,14538,14651,14664,14517,14525,14684,14531,
14645,14614,14685,14669,14636,14549,14552,14665,14686,14626,14661,14575,14613,14646,14658,14605,14590,14638,14654,14687,14641,14603,14609,14674,14616,
14683,14633,14628,14688,14632,14681,14634,14676,14649,14653,14659,14670,14679]
,\[
3,4,6,8,9,1,10,2,13,15,16,17,5,19,7,22,24,25,27,28,29,11,31,12,33,
34,14,37,39,40,42,43,18,46,47,48,20,50,21,53,54,23,57,58,59,26,62,64,65,67,
68,69,30,72,73,74,32,77,79,80,81,35,83,36,86,87,38,90,92,93,94,41,97,99,100,
101,44,103,45,106,108,109,111,112,113,49,116,117,118,51,120,52,123,125,126,127,55,129,56,132,
134,135,137,138,139,60,141,61,144,145,63,148,150,151,152,66,155,157,158,160,161,162,70,164,71,
167,169,170,172,173,174,75,176,76,179,180,78,183,185,186,188,189,190,82,193,194,195,84,197,85,
200,202,203,204,88,206,89,209,210,91,213,215,216,218,219,220,95,222,96,224,225,98,228,230,231,
233,234,235,102,238,239,240,104,242,105,245,246,107,249,251,252,253,110,256,258,259,261,262,263,114,
265,115,268,270,271,273,274,275,119,278,279,280,121,282,122,285,286,124,288,290,291,293,294,128,297,
298,299,130,301,131,304,305,133,308,310,311,312,136,315,317,318,320,321,322,140,325,326,327,142,329,
143,332,334,335,336,146,338,147,341,342,149,345,347,348,350,351,352,153,354,154,357,358,156,361,363,
364,365,159,368,370,371,373,374,375,163,378,379,165,381,166,384,385,168,388,389,390,171,393,395,396,
398,399,400,175,403,404,405,177,407,178,410,412,413,414,181,416,182,419,420,184,423,425,426,427,187,
430,432,433,435,436,437,191,439,192,442,444,445,447,448,449,196,452,453,454,198,456,199,459,460,201,
462,464,465,467,468,469,205,472,473,474,207,476,208,479,481,482,483,211,485,212,488,489,214,492,494,
495,496,217,499,500,502,503,504,221,507,508,509,223,512,514,515,516,226,518,227,521,522,229,525,527,
528,529,232,532,534,535,537,538,539,236,541,237,544,546,547,549,550,551,241,554,555,556,243,558,244,
561,563,564,565,247,567,248,570,571,250,574,576,577,579,580,581,254,583,255,586,587,257,589,591,592,
593,260,595,597,598,600,601,602,264,605,606,266,608,267,611,612,269,615,617,618,619,272,622,624,625,
627,628,629,276,631,277,634,635,636,638,639,640,281,643,644,645,283,647,284,650,652,653,654,287,657,
658,289,661,663,664,665,292,668,670,671,672,295,673,296,676,678,679,681,682,683,300,686,687,688,302,
690,303,693,695,696,697,306,699,307,702,703,309,706,708,709,711,712,713,313,715,314,718,719,316,722,
724,725,726,319,729,731,732,734,735,736,323,738,324,741,743,744,746,747,748,328,751,752,753,330,755,
331,758,759,333,762,764,765,767,768,769,337,772,773,339,775,340,778,780,781,343,783,344,786,787,346,
790,792,793,794,349,797,798,800,801,802,353,805,806,807,355,809,356,812,814,815,816,359,818,360,821,
822,362,825,827,828,830,831,832,366,367,836,837,369,840,842,843,844,372,847,849,850,852,853,854,376,
856,377,859,861,862,863,380,866,867,868,382,870,383,873,875,876,877,386,879,387,882,884,886,887,888,
391,890,392,893,894,394,897,899,900,530,397,903,905,906,908,909,910,401,912,402,685,916,817,918,919,
920,406,923,891,924,408,926,409,929,930,411,933,935,936,938,939,940,415,943,944,945,417,947,418,950,
952,953,954,421,956,422,959,960,424,963,965,966,968,969,970,428,972,429,975,976,431,979,981,982,983,
434,986,988,989,991,992,993,438,996,997,998,440,1000,441,1003,1004,443,1007,1009,1010,1011,446,1014,1015,1017,
1018,1019,450,1021,451,1024,1025,1005,1027,1028,455,1031,1032,1033,457,1035,458,1038,1040,1041,1042,461,1045,1046,463,
1049,1051,1052,1053,466,1056,1058,1059,1061,1062,1063,470,1065,471,1068,1070,1071,1073,1074,1075,475,1078,1079,1080,477,
1082,478,1085,1086,480,1089,1091,1092,1093,1094,484,1097,1098,1099,486,1101,487,1104,1106,1107,1108,490,1110,491,1113,
1114,493,1117,1119,1120,1122,1123,1124,497,1126,498,1129,1131,1132,1133,501,1136,1138,1139,1141,1142,1143,505,1145,506,
1148,1150,1151,1153,1154,1155,510,1157,511,1159,513,1162,1164,1165,1167,1168,1169,517,1172,1173,1174,519,1176,520,1179,
1180,1181,523,1183,524,1186,1187,526,1190,1192,1193,1195,1196,1197,1198,531,1200,533,1203,1205,1206,1207,536,1210,1211,
1213,1214,1215,540,1218,1219,1220,542,1222,543,1225,1226,545,1229,1231,1232,1233,548,1236,1238,1239,1241,1242,1243,552,
1245,553,1248,1250,1251,1253,1254,1255,557,1258,1259,1260,559,1262,560,1265,1266,562,1269,1271,1272,1274,1275,1276,566,
1279,1280,1281,568,1283,569,1286,1288,1289,1290,572,1292,573,1295,1296,575,1299,1301,1302,1303,578,1306,1308,1309,1311,
1312,1313,582,1316,596,1317,584,1319,585,1321,1323,1324,1325,588,1328,1329,590,1332,1334,1335,1337,1338,1339,594,1341,
1105,1343,1345,1346,1347,599,1350,1352,1353,1355,1356,1357,603,1359,604,1362,1364,1365,1366,607,1369,1370,1371,609,1373,
610,1376,1378,1379,1380,613,1382,614,1385,1386,616,1389,1391,1392,1394,1395,1396,620,1398,621,698,1401,623,1403,1405,
1406,1407,626,1410,1412,1413,1415,1416,1417,630,1420,1421,1422,632,1424,633,1427,1429,1431,1432,1433,637,1436,1438,1439,
1441,1442,1443,641,1445,642,1448,1450,1451,1453,1454,1455,646,1458,1459,1460,648,1462,649,1464,1465,651,1468,1470,1471,
1472,1473,1474,655,1476,656,1479,1481,1482,1483,659,1485,660,1488,1489,662,1492,1494,1495,1497,1498,1499,666,1501,667,
1504,1505,669,1507,1509,1510,1512,1513,1514,1515,1516,674,1518,675,1521,1522,677,704,1526,1527,1528,680,1531,1533,1534,
1536,1537,1538,684,1541,1543,1544,1546,1547,1548,689,1551,1552,1553,691,1555,692,1223,1557,694,1560,1562,1564,1565,1567,
1568,1569,700,1571,701,1574,1576,1577,1578,705,1581,1582,707,1585,1587,1588,1216,710,1591,1593,1594,1596,911,1597,714,
1600,1601,1602,716,1604,717,1607,1609,1610,1611,720,1613,721,1616,1617,723,1620,1622,1623,1625,1626,1627,727,1629,728,
1632,1633,730,1636,1638,1639,1640,733,1643,1645,1646,1648,1649,1650,737,1653,1654,1655,739,1657,740,1660,1661,742,1664,
1666,1667,1668,745,1671,1673,1674,1676,1677,1678,749,1680,750,1683,1685,1686,1688,1689,1690,754,1693,1694,1695,756,1697,
757,1700,1702,1703,1704,760,1706,761,1709,1710,763,1713,1715,1716,1717,766,1719,1720,1721,1722,770,1724,771,1727,1728,
1729,1730,774,1733,1734,1735,776,1737,777,1740,1741,779,1744,1746,1747,782,1749,784,1751,785,1754,1756,1757,1758,788,
1759,789,1762,1763,791,1766,1768,1769,1771,1772,1773,795,1775,796,1778,1780,1781,1782,799,1785,1787,1788,1790,1264,1791,
803,1793,804,1796,1798,1799,1801,1802,1803,808,1806,1807,1808,810,1810,811,1813,1814,813,1817,1819,1820,1822,1823,1824,
1826,1827,819,1829,820,1832,1834,1835,1836,823,1838,824,1841,1842,826,1845,1847,1848,1849,829,1851,1853,1854,1856,1857,
1858,833,1860,834,1862,835,1865,1500,1867,1868,838,1870,839,1873,1874,841,1877,1879,1880,1026,1882,1883,845,1885,846,
1888,1889,848,1892,1894,1895,1896,851,1899,1901,1902,1904,1905,855,1908,1909,1910,857,1912,858,1914,860,1917,1919,1920,
1922,1923,1924,864,1926,865,1929,1931,1932,1934,1828,1935,869,1938,1939,1940,871,1942,872,1945,1946,874,1949,1951,1096,
1953,1954,1955,878,1958,1959,880,1961,881,1964,1965,883,1968,885,1971,1973,1974,1976,1977,1978,889,1980,1981,1982,1983,
892,1985,1987,1988,1989,895,1991,896,1994,1995,898,1998,2000,2001,2002,901,2004,902,2007,2008,904,2010,2012,2013,2014,
907,2017,2019,2020,2022,2023,2025,2026,2027,913,2029,914,2031,915,2034,2035,917,2038,2040,2041,2043,2044,2045,921,2047,
922,2050,2052,2053,2054,925,2057,2058,2059,927,2061,928,1217,2064,2065,931,2067,932,2070,2071,934,2074,2075,2076,937,
2079,2081,2082,2084,2085,2086,941,2088,942,2091,2093,2094,2096,2097,2098,946,2101,2102,2103,948,2105,949,2108,2109,951,
2112,2114,2115,2117,2118,2119,955,2122,2123,2124,957,2126,958,2129,2131,2132,2133,961,2135,962,2138,2139,964,2142,1374,
2144,2145,967,2148,2150,2151,2153,2154,2155,971,2158,2159,2060,973,2161,974,2164,2166,2167,2168,977,2136,978,2172,2173,
980,2176,2178,2179,2181,2182,2183,984,2185,985,2188,2189,987,2192,2194,2195,2196,990,2199,2201,2202,2204,2205,2206,994,
2208,995,2211,2213,2214,2216,2217,2218,999,2221,2222,2223,1001,2225,1002,2228,2230,2231,1006,2234,1008,2237,2238,2239,2240,
2241,1012,1013,2244,2246,2247,2248,1016,2251,2253,2254,2256,2257,2258,1020,2260,2261,2262,1022,2264,1023,2267,2268,2270,2271,
2273,2274,2275,1029,2277,1030,2280,2282,2284,2110,2285,1034,2288,2289,2290,1036,2292,1037,2295,2296,1039,2299,2301,2302,2304,
2305,2306,1043,2308,1044,2311,2313,2314,2315,1047,2317,1048,2320,2321,1050,2324,2325,2327,2328,2329,1054,2331,1055,2334,1750,
1057,2337,2339,2340,2341,1060,2344,2346,2347,2349,2350,2351,1064,2354,2355,2356,1066,2358,1067,2361,2362,1069,2365,2367,2368,
1072,2371,2372,2374,2375,2376,1076,2378,1077,2381,2383,2384,2386,2387,2388,1081,2391,2392,2393,1083,2395,1084,2398,2400,2401,
1087,2403,1088,2406,2407,1090,2410,2412,2413,2415,2416,2418,2419,2420,1095,2421,2423,2425,2426,2428,2429,2430,1100,2433,2434,
2435,1102,2437,1103,2440,2441,2443,2445,2446,2448,2449,2450,1109,2453,2454,2455,1111,2457,1112,2460,2462,2463,2464,1115,2466,
1116,2469,2470,1118,2473,2474,1906,1121,2477,2478,2479,2481,2482,1125,2484,2485,1127,2487,1128,2490,2491,1130,2494,2496,2497,
2499,2500,2501,1134,2503,1135,2506,2507,1137,2510,2511,2512,1140,2515,2517,2518,2520,2521,2522,1144,2525,2526,2527,1146,2529,
1147,2531,1149,2534,2536,2537,2538,1152,2541,2542,2544,2545,2546,1156,2549,2550,2551,1158,1647,2553,1160,2555,1161,2558,2559,
1163,2562,2564,2565,1166,2568,2570,2572,2573,1170,2575,1171,2578,2580,2581,2582,2583,2584,1175,2587,2588,2589,1177,2591,1178,
2594,2596,2597,2599,2600,2601,1182,2604,2605,1184,2607,1185,2610,2611,2612,2613,1188,2615,1189,2618,2619,1191,2622,2623,1194,
2626,2628,2629,2128,2476,2632,2633,2634,1199,2637,2638,2639,1201,2641,1202,2643,2644,1204,2647,2648,2649,2651,2652,2653,1208,
2655,1209,2658,2660,2661,2662,1212,2229,2666,2667,2669,2670,2671,2673,2675,2676,2678,2679,2680,1221,2683,2684,2685,1224,2688,
2690,2691,2692,1227,2694,1228,2697,2698,1230,2701,2703,2704,2706,2707,2708,1234,2710,1235,2713,2714,1237,2717,2719,2720,2721,
1240,2724,2726,2727,2169,2729,2730,1244,2733,2734,2735,1246,2737,1247,2740,2741,1249,2744,2746,2747,2748,1252,2751,2753,2754,
2756,2757,1561,1256,2759,1257,2761,2763,2764,2766,2767,2768,1261,1969,2771,2772,1263,2774,2776,2778,2779,2780,1267,2782,1268,
2785,2786,1270,2788,2790,2791,2792,1273,2795,2796,2797,2798,2799,1277,2801,1278,2804,2806,1621,2807,2808,1282,2811,2812,2813,
1284,2814,1285,2817,2818,1287,2821,2823,2824,2826,2827,2828,1291,2831,2832,2833,1293,2835,1294,2838,2840,2841,2842,1297,2844,
1298,2847,2848,1300,2851,2853,2854,2856,2857,2858,1304,2860,1305,2863,2864,1307,2866,2868,2869,2870,1310,2872,2874,2875,2877,
2878,2879,1314,1583,1315,2883,2884,2885,1318,2887,2888,1320,2891,1322,2276,2895,2896,2897,1326,2677,1327,2900,2902,2903,2904,
1330,2906,1331,2909,2910,1333,2913,2915,2916,1336,2919,2921,2922,2924,2925,2926,1340,2929,2930,1342,1800,2663,1344,2935,2937,
1725,2939,2940,2941,1348,2943,1349,2945,1351,2948,2949,2950,1354,2953,2955,2956,2958,2959,2960,1358,2963,2964,2965,1360,2967,
1361,2970,2971,1363,2974,2976,2212,2978,2979,2980,1367,2982,1368,2985,2987,2988,2990,2991,2992,1372,2995,2996,2997,1375,3000,
3001,1377,3004,3006,3007,3009,3010,3011,1381,3013,3014,1383,3016,1384,3018,3020,3021,3022,1387,3024,1388,3027,3028,1390,3030,
3032,3033,3034,1393,3036,3038,3039,3041,3042,3043,1397,3046,3047,3048,1399,3050,1400,3053,3054,3055,1402,1486,3058,1404,3061,
3063,3064,3066,3067,3068,1408,3070,1409,3073,3074,1411,3077,2635,3079,3080,1414,3083,3085,3086,3088,3089,3090,1418,3092,1419,
3094,3095,3097,3098,3099,1423,3102,3103,3104,1425,3106,1426,3109,3110,1428,3113,3114,1430,3117,3119,3121,3122,1434,3124,1435,
3127,3128,1437,3130,3132,3133,3134,1440,3137,3139,3140,3142,3143,3144,1444,3146,2447,1446,3148,1447,3151,3152,1449,3154,3156,
3157,3158,1452,3161,3163,3164,3166,3167,3168,1456,3170,1457,3173,2867,3175,3177,3178,3179,1461,3182,3183,3184,1463,1907,3187,
3188,1466,1467,3192,2459,1469,3195,3196,3198,3200,3201,3203,1963,3204,1475,3207,3208,3209,1477,3211,1478,3214,3215,1480,3218,
3220,3221,3223,3224,3225,1484,3228,3229,3230,1487,3233,3235,3236,3237,1490,3239,1491,3242,3243,1493,3246,3248,3249,3250,1496,
3253,3255,3256,3258,3259,3261,3262,3263,1502,3265,1503,3267,3269,3270,3271,1506,3274,3275,1508,3278,2488,3280,3281,1511,3284,
3286,3287,3289,3290,3292,3293,3294,1517,3297,3298,3299,1519,3301,1520,3304,3305,3306,1523,3308,1524,3310,1525,3313,3314,3316,
3317,3318,1529,3319,1530,3322,1532,3325,3327,3328,3329,1535,3332,3334,3335,3337,3338,3339,1539,3341,1540,3344,3345,1542,3348,
2728,3350,3351,1545,3354,3355,3357,3358,3359,1549,1550,3363,3365,3366,3368,3369,3370,1554,3373,3374,2986,1556,3377,3378,3379,
1558,3381,1559,3384,3385,3386,1563,3389,3390,1840,3391,1566,3394,3396,3397,3399,3400,1570,3403,3404,2233,1572,1573,3407,3408,
1575,3410,3412,3413,3415,3416,3417,1579,2942,1580,3421,3423,3424,3012,3425,1584,1663,3428,1586,3431,3433,3434,1589,3436,1590,
3439,3440,1592,3443,3445,3446,3447,1595,3450,3451,3452,3453,1598,3455,1599,3457,3459,3460,3462,3463,3464,1603,3467,3468,3469,
1605,3471,1606,3473,3474,1608,3477,3479,3147,3481,3482,3483,1612,3486,3487,3488,1614,3490,1615,3493,3495,3496,3497,1618,3499,
1619,3502,2006,3504,3506,3507,3508,1624,1760,3512,3513,3515,3516,3517,1628,3520,3521,3522,1630,3524,1631,3527,3529,3530,3531,
1634,3533,1635,3536,3537,1637,3540,3541,3543,3544,1641,2177,1642,3548,3549,1644,1672,3553,3554,3555,3557,3559,3560,3562,3563,
1651,3565,1652,3567,3569,3570,3572,3573,3574,1656,3575,3576,1658,3577,1659,3580,3582,3583,3584,1662,3587,1665,3590,3592,3593,
3595,3596,3597,1669,3599,1670,3601,3603,3604,3605,1675,3608,3610,2762,3612,3613,1679,3616,3617,3618,1681,3620,1682,3623,3624,
1684,3627,3629,3630,3631,1687,3633,3635,3636,3638,3639,3640,1691,3642,1692,3644,3646,3647,3649,3650,3651,1696,3654,3655,3656,
1698,3658,1699,3661,3662,1701,3664,3666,3667,2307,2286,3669,1705,3672,3673,1707,1898,1708,3677,3679,3680,1711,3681,1712,3683,
3684,1714,3686,3688,3689,3690,3691,1718,3694,2646,3695,3697,3699,3700,3701,1723,3703,3704,3705,1726,2936,3709,3710,3711,1731,
3713,1732,3716,3718,3719,3721,3722,3723,1736,3726,2770,3727,1738,3729,1739,3732,3733,3084,1742,3735,1743,3738,3739,1745,3742,
3743,3744,3745,1748,3747,3748,3749,3750,3751,1752,2242,1753,3171,1755,3756,3758,3759,3761,3762,3763,3764,3765,1761,2861,3769,
3770,3771,1764,3773,1765,3776,3777,1767,3780,3782,3783,2961,1770,3786,3788,3789,3791,3792,3793,1774,3796,3797,3798,1776,3800,
1777,3802,1779,3805,3807,3808,3810,3811,3812,1783,3814,1784,3817,3818,1786,3821,3823,3824,3825,1789,3828,3830,3831,3832,1792,
3835,3836,3837,1794,3839,1795,3840,3841,1797,3843,3845,3846,3848,3850,3851,3853,3854,1804,3855,1805,3858,3860,3861,3863,3864,
3865,1809,3868,3869,1811,3871,1812,3874,3876,3877,1815,3879,1816,3882,3883,1818,3886,3888,3889,3890,1821,3893,3895,3896,3898,
3899,3900,1825,3903,3905,3906,3907,3909,3910,3911,1830,3913,1831,3916,3917,1833,3920,3922,3923,3925,3926,3927,1837,3930,2504,
3931,1839,3933,3935,3937,3938,3939,1843,3941,1844,3944,3945,1846,3948,3950,3951,3953,3954,1850,3957,3958,1852,3961,3963,3964,
3965,1855,3968,3970,3971,3973,3974,3975,1859,3977,3978,3979,1861,3982,3983,3984,1863,3986,1864,3988,1866,3991,3992,3994,3995,
3996,1869,3545,3999,1871,4001,1872,4004,4006,4007,4008,1875,4010,1876,4012,4013,1878,4016,4018,4019,1881,4020,4022,4023,4024,
1884,2442,4027,1886,4029,1887,4031,4033,4034,4035,1890,4037,1891,4040,4041,1893,4044,2480,4046,4048,4049,4050,1897,2773,4053,
4054,1900,4057,4058,4059,4060,1903,4063,4065,4066,4067,4069,2030,4071,4072,4073,1911,4075,4076,1913,4078,4079,1915,4080,1916,
4083,4084,1918,4087,4088,4089,1921,4091,4093,4094,4096,4097,4098,1925,4101,4102,4103,1927,4105,1928,4108,4109,1930,3075,4112,
4113,4114,1933,4117,4119,4120,4121,1936,4123,1937,4125,4127,4128,3346,4130,4131,1941,4134,4135,4136,1943,4138,1944,4141,4143,
4144,4145,1947,4147,1948,4150,4151,1950,4153,4154,1952,4157,4159,4160,4162,4163,1956,4165,1957,4168,4156,4170,4171,1960,4174,
4175,4176,1962,4178,4180,4181,4182,4183,1966,4185,1967,4188,4189,1970,4192,4193,1972,4196,4198,4199,2901,1975,4202,4204,4205,
4207,4208,4209,1979,4212,4214,4215,4217,4218,4220,4221,4222,1984,4225,4226,1986,3826,4230,4232,4233,4234,1990,4235,4236,1992,
4238,1993,4241,4243,4244,4245,1996,4247,1997,4250,2907,1999,4253,4254,4255,4257,4258,4259,2003,4262,2516,4263,2005,4265,4267,
4269,4270,4271,2009,4274,4275,2011,4278,4280,4281,2852,4282,2015,4284,2016,4287,4288,2018,4290,4292,4293,4294,2021,4297,4298,
4299,2024,4302,4304,4305,4307,4308,3264,2028,4311,4313,4314,3976,2032,2033,4318,4319,4320,2036,4322,2037,4325,4326,2039,4328,
4329,4330,2042,4333,4334,4335,2046,4337,4338,2048,4340,2049,4343,4026,2051,4346,4348,4349,4350,4351,2055,4353,2056,2272,4357,
4358,4359,4361,4362,4363,2062,4365,2063,4368,4369,4370,4371,4372,2066,2245,4375,4376,2068,4378,2069,4381,4383,4384,4385,2072,
2073,4388,4390,4391,4393,4394,2077,4396,2078,4399,4400,2080,4403,4405,4406,4407,2083,4408,4410,4411,4413,4414,2087,4417,4418,
3489,2089,4420,2090,4422,2092,4425,4427,4428,4429,2095,4432,4434,4435,4437,4438,4439,2099,4441,2100,4443,4445,4446,4448,4449,
4450,2104,4452,2106,4454,2107,4415,4456,4457,4458,4459,2111,4462,4463,2113,4466,3675,4468,4469,2116,4471,4473,4474,4476,4477,
4478,2120,3602,2121,4481,4483,4484,4486,4487,4488,2125,4491,4492,4493,2127,4496,4497,2130,4498,2427,2973,4499,2134,4502,4503,
4504,4505,2137,4508,2911,4510,2140,4512,2141,3174,4515,2143,4518,4519,4521,4401,2146,4523,2147,4526,4527,2149,4530,4531,2152,
4534,4536,4537,4538,2156,4540,2157,4542,4544,4545,4546,2160,3659,4548,2162,4550,2163,4553,4554,2165,4557,4559,4560,4562,4563,
2170,4565,2171,4568,4570,4571,4572,2174,4574,2175,4576,4578,4580,4581,4582,2180,4585,4587,4588,4590,4591,4592,2184,4595,4596,
4597,2186,4599,2187,4602,4604,4605,2190,4607,2191,4610,4611,2193,4614,4616,4617,4619,4264,2197,4621,2198,4624,4625,2200,4628,
4630,4631,4632,2203,4635,4637,4638,3361,4640,4641,2207,4644,4645,2209,4647,2210,4649,4650,4652,4653,4654,2215,4657,4658,2739,
4659,2219,4661,2220,4664,4666,4667,2224,4670,4671,2226,4673,2227,4675,4677,4679,4680,4681,2232,4684,4685,2235,4687,2236,4689,
3819,4691,4693,4695,4697,4698,4699,4700,2243,4703,4705,4706,3296,4708,4709,2249,4711,2250,4714,4715,2252,3336,4719,4720,4721,
2255,4724,4725,4727,4728,4729,2259,4731,4732,4734,4735,3311,2263,4738,2931,4739,2265,2266,4743,4745,4746,2269,3740,4663,4748,
4750,4751,4752,4753,4754,2278,4756,2279,2659,4759,2281,4762,2283,4765,4767,4306,3897,4768,2287,4771,4773,4774,4776,4777,4778,
2291,4781,4782,4783,2293,4785,2294,2962,4788,4789,2297,4791,2298,4794,4043,2300,4796,4798,4799,4800,2303,4802,3546,4804,4805,
4806,4808,4809,4810,2309,4811,2310,4814,4815,2312,4818,4820,4821,2621,4823,4824,2316,4827,2890,4828,2318,4830,2319,4146,4834,
2576,4835,2322,4836,2323,4839,4841,4842,4843,2326,4846,4848,4849,4851,2330,4854,4855,2332,4856,2333,2664,4859,2335,4861,2336,
4863,4864,2338,4867,4869,4870,4871,2342,4555,2343,4875,4876,2345,4749,4880,4881,4882,2348,4885,4886,4887,4888,4889,2352,4891,
2353,4893,4894,4895,4896,4897,2357,4900,4901,4902,2359,4904,2360,4907,4909,4910,4911,2363,4913,2364,4916,4917,2366,4920,4922,
4923,4924,2369,4926,2370,4927,4929,4930,2373,4933,4935,4936,4938,4939,4095,2377,4941,4942,4943,2379,4945,2380,4246,4948,2382,
4951,4952,4953,4954,2385,4957,4958,4960,4961,2389,4028,2390,4965,4967,4968,2918,4970,4971,2394,4974,4975,4976,2396,4978,2397,
4981,4982,2399,4984,4985,4986,2402,4989,4990,4991,2404,4712,2405,4995,4997,4998,4999,2408,5001,2409,5004,5005,2411,4129,5009,
5010,2414,5013,5015,5016,5017,2417,5019,5021,5022,5024,5025,5026,5027,5028,2422,5031,5032,2424,4716,5036,5037,3320,5039,5040,
5042,5043,5044,2431,5046,2432,5048,5050,4373,5033,5052,2436,5055,5056,5057,2438,5059,2439,5062,2709,4354,2444,5065,5067,5068,
5069,5071,5072,5074,5075,2451,5077,2452,5079,5081,5082,5084,5085,5086,2456,5089,5090,5091,2458,5093,5095,3191,2461,2938,5097,
5098,5099,2465,5101,5102,5103,2467,2468,5107,5109,5110,5111,2471,5113,2472,5116,5118,5119,2475,5121,5123,5124,4047,5126,5128,
5130,5131,2483,5133,5135,5136,5137,2486,5140,5141,5142,2489,4455,5146,5147,2492,5149,2493,5152,5153,2495,5156,5158,5159,5160,
2498,5163,5165,5166,5167,5168,5169,2502,5171,5172,5173,2505,5176,5178,5155,3852,2508,5180,2509,5183,5185,5186,5188,5189,2513,
5191,2514,5193,3107,5195,4277,5197,5198,2519,5201,5203,5204,5206,5207,5208,2523,5210,2524,4382,5213,2993,5215,5216,5217,2528,
5220,5221,2530,5224,5225,2540,2532,5226,2533,3383,5229,2535,5232,5233,5235,5236,5237,2539,5238,5240,5241,5242,5243,2543,5246,
5248,5228,5250,5251,2547,2548,5255,5257,3498,5259,5260,5261,2552,5264,5265,4608,2554,5267,5268,4419,2556,5270,2557,4517,5273,
5274,2560,5276,2561,5279,5280,2563,5283,5285,5286,3579,2566,5288,2567,5291,5292,2569,5295,5296,2571,3737,5300,5301,5302,2574,
5305,5306,5307,5308,2577,5310,2579,3998,5314,4494,5317,5318,5319,5320,5321,2585,5323,2586,5326,5328,3069,5330,5331,5332,2590,
5334,5335,2592,2593,4312,5338,2595,4453,5341,5342,5343,2598,5346,5247,5348,5349,2602,5351,2603,5354,5356,5357,5358,2606,5361,
5362,3241,2608,5364,2609,5367,5369,5370,5372,5373,5374,2614,5377,5378,2616,5380,2617,5383,5385,4812,5386,2620,5389,5391,5392,
5393,2624,5394,2625,4639,5397,2627,5400,5401,5402,2630,3340,2631,5404,5078,5405,5406,2636,5409,5410,5411,4878,5413,5117,2640,
5416,4387,2642,5419,5421,5422,5423,2645,5426,5428,5429,2650,4780,5431,5433,5434,5435,2654,5437,5127,2656,5438,2657,5018,5441,
5443,5444,5108,5446,5447,5448,2665,5450,5452,5445,2668,5454,5455,5456,5458,5459,5460,2672,5462,2674,5464,5466,5467,5468,5470,
5472,4817,5473,5474,5475,2681,3251,2682,5478,5480,5481,5482,2686,5484,2687,5487,5488,2689,5491,5492,5494,4932,5495,2693,5498,
5499,5500,2695,5502,2696,5505,4543,2699,5507,2700,5510,5511,2702,5514,2731,5515,2705,5518,5519,5521,5522,5524,5525,4433,2711,
5527,2712,5530,5532,5533,5534,2715,5535,2716,3476,5538,2718,5539,5541,5542,5544,4964,2722,3578,2723,4184,5547,2725,4460,5551,
5552,5554,3342,5556,3205,2732,5559,5561,5563,3500,4261,2736,4825,5566,5567,2738,5569,5570,5572,5573,2742,5575,2743,5577,5578,
2745,5581,5583,5584,5585,2749,5587,2750,5590,5591,2752,5593,5595,5509,5596,2755,5599,5601,3323,5602,2758,5605,2760,5608,5609,
5610,2765,5612,5614,5616,5617,4224,2769,5619,5621,5622,5586,5624,5625,5627,5628,3295,2775,5630,5631,2777,5633,5635,5636,5637,
2781,5639,5640,5641,2783,2784,5643,5644,2787,5646,2789,4444,4211,5650,5651,5652,2793,3466,2794,5656,5658,4946,5660,5661,5663,
5664,5665,2800,5668,5669,5670,2802,5672,2803,5675,5676,2805,5679,5680,3528,5682,5683,2809,5685,2810,5688,5690,5691,5693,5694,
5696,5697,2815,5699,2816,5701,5703,5704,5705,2819,5654,2820,5708,5709,2822,5712,5714,4426,5715,2825,5718,5720,5721,5723,5724,
5725,2829,5727,2830,5730,5731,5733,5734,5735,2834,5738,5739,5740,2836,5742,2837,5745,5746,2839,5748,5750,5751,5752,2843,5755,
5756,5757,2845,5759,2846,5713,5754,5761,5762,2849,5764,2850,5766,3380,3588,5768,5769,4642,2855,4730,5772,5774,5775,2859,5778,
5779,2862,5782,5784,5785,5786,2865,5789,5791,5792,5794,5795,2932,2871,5797,2873,5799,5800,3857,2876,5803,5804,5806,5807,2880,
5809,2881,5811,2882,5814,5557,5816,5817,2886,5819,5820,5822,5823,2889,5825,5827,5828,2892,5830,2893,5832,2894,5834,5836,5838,
5839,5840,2898,5842,2899,5844,5845,5846,5848,5849,5851,5852,5853,2905,5856,3125,5857,5858,2908,5860,5862,5863,4525,2912,5866,
5867,2914,5870,5872,3663,2917,5875,5876,2920,5879,5880,5881,2923,5884,5885,5886,5887,2927,5889,2928,5892,5893,2933,3025,2934,
5897,5899,5901,5903,5904,5905,5906,5907,5909,5910,5911,2944,4336,5913,2946,5914,2947,5916,5917,5918,2951,5920,2952,5923,5898,
2954,5926,5928,5929,3409,2957,5931,5933,4656,5934,5935,5936,5938,5940,5941,5943,4367,5944,2966,5946,2968,5948,2969,5951,5365,
5953,2972,5954,5956,2975,5959,5960,2977,4847,5963,5965,5966,5967,2981,5970,5971,5972,2983,5974,2984,5977,5978,5980,5982,3514,
5983,2989,5986,5987,5989,5990,5991,5992,2994,5995,5997,4838,5998,2998,6000,2999,6003,6005,6006,6007,3002,3803,3003,5151,6011,
3005,6013,5311,3008,6016,6017,6018,6019,6021,6022,6024,6025,3015,4116,5336,6028,3017,6029,3019,6032,4669,6033,6034,6035,3023,
6038,6039,3395,6040,3026,6043,6044,4914,6045,3029,6048,3031,6051,6053,6054,6056,6057,3035,6060,3037,6063,6065,6066,6067,3040,
6070,6071,6072,6074,6075,6076,3044,6078,3045,6081,6083,6084,6086,6087,5763,3049,3767,6090,6091,3051,6093,3052,6096,6098,6099,
6101,3056,6103,3057,6106,6107,6108,3059,6110,3060,6111,6112,3062,6115,6116,3065,6118,6120,6121,6122,6123,4495,6125,6126,6127,
3071,3072,6131,6133,6134,6135,3076,6138,6139,3078,6142,6143,6144,6145,3081,6147,3082,6150,6151,6153,6155,6156,6157,3087,6160,
5479,5859,6163,6164,6165,3091,6168,6169,3093,6172,5550,6174,6175,3096,6178,6180,5749,6181,6182,3100,6184,3101,6186,6188,6189,
6191,6192,6193,3105,6196,6197,6198,6199,3108,3388,6201,6202,3111,6204,3112,6207,6209,3418,3115,6211,3116,6214,6215,3118,6218,
3120,6221,6223,6224,6225,3123,6228,3138,6229,6230,3126,6233,6234,3129,6237,6238,3131,6240,6242,4556,6244,6245,3135,4660,3136,
6248,6250,6251,6252,3141,6243,6254,6255,6257,6258,6259,3145,6260,6261,3149,6262,3150,6265,3414,4064,3153,3936,6268,3155,6271,
6272,5908,5387,3159,6275,3160,6277,6278,3162,6280,6282,6283,6284,3165,6286,3790,6288,6290,4506,3169,5831,3172,6294,6296,6297,
3176,6300,6302,6303,6304,6305,3180,3422,3181,6309,5303,4074,5070,5230,6311,3185,6313,3186,6316,6317,6319,6320,3189,3190,6321,
5112,6323,3193,6325,3194,6328,6329,3197,6210,3199,6333,6335,4612,6336,3202,6339,6341,6342,6343,6344,3206,6346,6347,6348,5418,
3838,3210,3915,6351,5214,3212,6353,3213,6354,6356,6357,6358,3216,6359,3217,6362,3219,6365,6367,6368,3222,6371,5284,6373,6374,
3226,6376,3227,6378,6380,6381,6382,3231,5874,3232,6386,6387,3234,6390,6391,6392,4482,3238,6394,3240,6395,6397,6399,6400,6401,
3244,6403,3245,6405,6406,3247,6409,6411,6412,6414,6415,6416,3252,4115,3254,6419,6421,6422,6423,3257,6425,6426,6427,3260,6430,
6432,6433,6434,6436,6437,6438,3266,6440,6441,3268,6443,6445,6447,6448,3272,3273,6452,6454,6455,6456,3276,3643,3277,6459,3279,
6462,6435,6463,6464,3282,6466,3283,4769,3285,6470,6472,6473,6474,3288,6477,6478,3291,6481,6482,6484,6485,5540,6487,6489,6490,
6492,6493,4404,3300,6495,6496,6497,3302,4111,3303,6310,6500,6502,6503,6504,3307,6507,6508,6509,3309,6512,6513,6514,6515,3312,
6518,4507,4062,6520,3315,6523,6525,6527,6528,6529,6530,6531,6532,3321,6534,6535,3324,6538,3326,6541,6543,6544,6546,6547,6548,
3330,6550,3331,6552,3333,6009,6556,6557,6287,6559,6533,6560,6562,6563,6564,3343,6567,4461,6569,6570,3347,5984,3349,6573,6574,
6576,6577,6578,3352,5245,3353,6582,6584,6585,6586,3356,6589,6590,6592,3795,6593,3360,6595,3362,6598,6599,3364,6602,6604,6605,
6606,3367,6609,6610,6611,6612,6613,3371,5805,3372,6616,4315,6617,3375,4386,3376,6620,6622,6624,4489,6625,3766,6627,5322,3382,
6630,6632,6633,3387,6636,6638,6639,6640,3392,3393,6644,6645,6647,6030,6648,3398,6649,5449,3401,6651,3402,6654,6656,6657,6658,
3405,6660,3406,4763,6663,6665,6666,3411,6669,6671,5981,6673,6675,6676,6677,3419,6679,3420,6682,6683,4021,6686,6688,5150,3426,
6690,3427,6692,3429,3430,6480,5125,3432,6698,4792,6699,3435,6701,3437,6703,3438,4009,6706,6707,3441,6709,3442,3444,6712,6713,
6714,6715,3448,3947,3449,5390,4327,6720,6722,6723,6724,3454,6726,6727,6728,3456,6731,6732,3458,6735,6736,6737,3461,3566,6740,
6741,5278,6743,6744,3465,6746,6748,6749,5395,3470,6751,6752,6753,3472,6756,6757,6758,3475,4195,6760,3478,6763,6764,3480,6766,
6767,4593,6769,6770,3484,6772,3485,6775,6777,4424,6778,6779,6781,3491,6782,3492,6785,6786,3494,6788,6789,6791,6792,6793,3956,
3501,6796,6797,3503,6799,3505,3693,6800,3509,6802,3510,6804,3511,5363,6806,6808,6810,6811,6813,3518,6815,3519,6816,6817,6819,
6820,3523,6823,6824,6219,3525,6826,3526,6829,6831,3558,5192,5041,6833,3532,6835,6836,3534,6837,3535,6839,6734,6840,3538,4919,
3539,4947,6843,6844,3542,6846,6847,3547,6849,6851,6852,3550,6854,3551,6856,3552,5094,6859,6861,6862,3556,6864,6865,6867,6869,
6870,3561,5634,6873,3564,6876,6877,6879,4516,3568,6881,4723,6883,3571,6885,6887,6888,6889,6891,6892,6894,6895,6896,6897,6899,
3581,6902,6903,6904,6905,3585,4758,3586,6907,3589,6910,6911,3591,6914,6915,6916,5200,3594,3859,5045,6919,6921,6922,6923,3598,
6926,6927,6928,3600,6931,6932,6934,6936,6937,6939,6940,4626,3606,6942,3607,6945,6946,3609,6678,6948,3611,6951,6952,6954,6955,
3614,6957,3615,6960,6961,6962,6963,3619,6965,6966,6967,3621,3652,3622,6971,5403,6972,3625,6974,3626,6977,6978,3628,6981,6982,
6983,6985,6938,6986,3632,6989,6990,3634,4191,6993,5008,6994,3637,5138,6998,6999,7001,7002,7003,3641,7005,7006,7008,6834,3645,
7011,7012,7013,3653,3648,5687,7017,7018,7020,7021,7023,7025,6540,7027,7028,3657,7030,3660,4643,7033,7034,7036,7037,3665,7040,
7041,7042,3668,7044,7045,7046,3670,7048,3671,7051,4784,7053,7054,3674,7055,3676,5049,7057,3678,7060,4826,7062,7063,3682,7065,
7066,7067,3685,7070,7071,3687,7074,5996,7075,7076,7078,6950,7079,3692,5262,7082,6402,7084,3696,7085,7086,3698,7089,7049,7091,
7092,3702,7095,7096,7098,7099,7100,7101,3706,7103,3707,7105,3708,7108,7110,7111,7113,7114,3712,7116,3714,6739,3715,6276,7119,
3717,3962,7122,7123,7124,3720,7126,7128,7129,3724,7131,3725,7133,7134,7135,3728,7138,6882,7139,3730,7141,3731,7143,7144,3734,
7147,7148,7149,3736,7152,6588,7154,7155,3741,7158,6655,7161,7162,7164,4928,7165,3746,7168,7169,7170,7171,3752,7173,3753,7174,
3754,7176,3755,7178,3757,7181,5657,4032,3760,6146,7186,7187,7189,7191,7192,3768,5258,7196,6324,7198,7199,7200,3772,7202,7203,
3774,5837,3775,7207,4858,3778,7209,3779,3781,7212,7213,7214,3784,7216,3785,7218,7219,3787,6761,7221,6738,7223,7224,7225,5648,
3794,7226,7228,7230,7231,3799,7233,7234,3801,7237,7238,7239,3804,7241,3806,4295,7244,7245,7246,3809,7249,4377,7251,7252,7253,
7254,3813,7257,5833,3815,6579,3816,5796,7260,7261,3820,7263,7264,3822,7267,7269,7271,7272,7273,3827,6687,3829,4837,5205,7277,
7278,7279,3833,7281,3834,7284,7286,7287,4248,7288,6653,5919,7291,5689,7292,3842,3844,7296,5930,7297,3847,7300,7301,3849,7303,
7304,7305,7307,6141,7308,7309,3856,7163,7311,7313,7314,7315,3862,7317,7319,7320,7090,3866,3867,7323,7324,7325,3870,7327,7328,
3872,7329,3873,7331,7332,3875,7335,7104,7336,3878,7338,6444,3880,7340,3881,7342,7344,7345,7346,3884,3885,7350,7351,3887,7354,
7356,7357,7359,7360,7361,3891,7363,3892,7365,7366,3894,4883,7368,7369,7371,5600,7372,7374,7375,7376,3901,7378,3902,7379,7380,
3904,7382,5890,7383,7384,3908,7387,4397,7389,7391,3912,7394,7395,7396,3914,7398,7399,3918,7401,3919,7403,3921,4547,7406,3924,
7409,7410,7411,7412,7413,3928,7415,3929,7418,7420,7421,7299,3932,7424,7425,4868,3934,7428,7430,4442,4760,7433,7434,7435,3940,
7438,7439,3942,7441,3943,7443,7087,7444,7445,3946,7446,7447,3949,7450,7451,7452,6166,3952,7455,7456,7457,3955,7459,6410,7462,
7463,7464,3959,7466,3960,7469,7471,7472,7474,7475,3966,7477,3967,6597,7479,3969,7482,7484,7485,7486,3972,7488,7490,5736,7492,
7494,7496,7497,7499,7500,7501,3980,7503,3981,7505,7507,7508,7509,3985,7512,7513,7514,3987,7516,7517,3989,7519,3990,7522,7524,
7525,7526,3993,7529,7531,7532,7533,3997,7536,5812,7537,4000,5588,7539,4002,7541,4003,4014,4005,7201,5297,7543,7544,7545,4011,
7547,7549,7550,4015,7553,7554,4017,7557,7559,7561,7563,7565,7566,7567,4025,7569,7570,7571,7572,7573,4030,7576,7577,7400,7579,
4710,4036,7582,7583,4038,7585,4039,7588,7589,7590,4042,4251,7593,7594,4045,7596,7597,7598,4051,7600,4052,7603,7604,7605,4055,
7607,4056,7610,7612,7613,7614,7615,7616,4061,4210,7619,7620,4324,7622,7623,4068,7626,7627,4070,7630,5457,7632,4345,6012,7635,
7636,7637,4077,7640,7641,7642,7643,4081,7645,4082,7648,7649,7650,4085,7652,4086,7653,7654,7656,7657,4090,7660,4092,7662,5513,
7663,7664,7352,4099,7666,4100,7669,7670,7672,7673,7674,4104,7676,7677,4106,7679,4107,7682,7683,7684,4110,7686,7688,7690,7691,
7693,7694,7696,7697,4118,7699,7701,7702,7703,7704,4122,7707,7708,6109,4124,7711,4126,7712,7714,7716,7717,4132,7719,4133,7721,
5667,4683,7723,7724,4137,5999,6880,7727,4139,4987,4140,7730,7731,4142,7734,7736,7737,7738,4148,6913,4149,6980,7743,7744,4152,
7747,7748,7749,7750,4155,7752,4158,7754,4177,7756,4161,5114,7759,7760,4164,7763,7764,4166,7766,4167,7768,4169,7771,7772,7773,
7774,4172,7776,4173,7779,5355,7781,7782,7784,7785,7786,4179,7788,7790,7791,7793,7794,7795,7796,4186,7798,4187,5815,7802,7803,
5686,4190,7806,7807,4364,4194,7810,7811,4197,7814,7815,4200,7816,4201,7819,7820,4203,7823,7824,4206,7827,7829,7007,7830,7832,
7833,4213,7836,7377,7838,7839,4216,7842,7844,7845,7846,4219,6246,7849,7851,7852,7853,4223,7855,7857,7858,7859,4227,7861,4228,
6052,4229,7865,4231,4853,6930,7024,4865,7869,7871,7872,7873,4237,7285,4915,4239,7874,4240,5399,7877,4242,7880,7211,6059,7883,
7884,7886,7887,7888,7889,4249,7892,5729,4252,7894,7895,4256,7897,7899,7900,7778,4260,7902,7904,7906,7907,7908,4266,7911,7912,
4268,7915,7917,5436,7918,7919,4272,7921,4273,7924,7926,7927,4737,4276,5564,7930,4279,7932,7933,7934,7935,5000,4283,7938,7939,
7940,4285,7942,4286,7944,7946,7947,7948,4289,7951,4291,7483,6773,7953,7954,4296,7957,7958,7959,4300,7961,4301,7963,4303,7966,
7967,7969,6398,7970,4309,7971,4310,5716,5835,7973,4316,7975,4317,7977,7979,7980,7981,7982,4321,7984,7985,4323,7987,7989,7215,
7990,7991,4850,4331,4741,4332,7995,7997,7998,7999,8000,7068,8002,6812,4339,8005,8006,8007,4341,6247,4342,8009,4344,8011,4347,
8013,8015,4575,8017,8018,8019,4352,4360,8022,8023,4355,5808,4356,8025,8027,8028,8030,8031,8032,8033,8034,7818,4366,8037,8038,
8040,8041,8043,8044,8008,4374,8047,7473,8049,8050,8051,4379,4380,8054,8056,8057,8058,7595,8059,8061,8062,4389,8065,8067,8068,
4392,8070,8071,8072,8073,4395,8076,8077,8078,4398,8081,8082,4795,8083,4402,8086,8087,8089,7172,8091,8092,8093,4409,7891,8096,
4412,8098,6350,8100,8101,4416,8104,8106,8107,8109,4793,8110,4421,8112,8113,4423,8116,8117,8119,8121,8122,8124,5382,7185,4430,
8126,4431,8128,8130,8131,4436,5272,7038,8134,4440,8136,7848,8138,8140,8141,4447,8142,7955,8144,8145,4451,8147,8148,8150,8151,
7715,8153,7039,8155,8156,8158,8159,4464,8161,4465,8164,8165,4467,8167,8169,4470,8172,8173,4472,8175,8176,8177,4475,8180,8181,
7828,8183,8184,4479,8186,4480,8188,8190,4992,4485,8193,8195,8196,4490,8199,8200,8201,8203,8205,8206,8207,8209,8210,4500,8212,
4501,8215,8216,8218,8219,8221,8222,8223,8225,8226,4509,8229,8230,4511,8232,5912,4513,7638,4514,8236,8237,8238,8240,8241,6874,
4520,8244,5921,4522,8246,4524,8248,8250,8251,4528,8252,4529,8254,4532,8256,4533,8259,8260,4535,8262,5950,8265,7093,4539,8266,
8267,4541,8125,4586,8272,8273,8275,8276,8277,4549,8280,8281,8282,4551,4552,8286,8287,8288,8290,8291,4558,7220,8295,8296,8297,
4561,8299,8301,8302,5312,4564,8305,6790,4566,8307,4567,7831,8310,4569,6476,8313,6014,8314,8315,4573,6958,8318,8320,8321,6235,
4577,8324,8325,4579,7416,8328,8330,5692,8331,4583,4584,8334,8336,8337,4589,8340,8341,8342,8343,8344,4594,8346,8347,8349,8350,
8351,4598,8353,8354,5218,4600,4601,7777,8357,4603,6558,8360,8361,4606,8364,8365,8366,4609,8368,8369,8080,8132,4613,8372,6973,
4615,8374,8376,8377,4618,8379,8380,4620,8382,8383,4622,4623,8386,8387,8388,8389,4627,8391,8392,4629,8395,8396,4633,5313,4634,
8398,4636,8401,8402,8403,8404,8405,8294,8408,8409,4646,8412,7353,8413,4648,8415,8417,8418,4651,8420,8422,7735,8424,8162,8425,
4655,8427,8428,8429,8416,8431,8432,8433,8434,4662,8436,4665,8439,8440,4668,8443,8445,8446,8447,4672,5384,8450,8451,4674,4676,
8454,8455,4678,8458,8459,8460,4682,8462,7159,4686,8465,4973,8466,4688,8468,4690,8471,7602,7617,4692,8474,8475,4694,5096,4696,
5979,8477,6634,8478,5927,8480,8481,4701,8483,4702,8486,8487,4704,8333,8490,4707,8492,8493,8495,8496,8497,4713,8500,7746,8501,
4717,8503,4718,4977,8506,8508,8509,4722,8511,8512,8513,8514,4726,8452,8516,8518,8519,8521,5184,8522,8523,4733,8526,8527,7408,
8528,4736,8530,8531,8533,8534,8535,4740,5818,8537,4742,8539,4872,4744,8542,8543,8544,4747,8546,8548,8550,5504,4775,8552,8553,
8554,8555,4755,8557,8211,4757,8558,8559,6154,8560,4761,6866,8538,4764,8563,4766,8566,8567,8568,8569,4770,8570,4772,6878,8573,
5047,8467,8576,8577,8578,8579,4779,6718,8581,8227,5325,4786,4787,8585,8586,8587,8588,4790,8589,5673,8591,7026,8592,4797,8594,
8596,8597,4801,8599,4803,8602,8603,8605,8606,8607,8608,4807,8611,8613,8085,8014,8614,8615,4813,8617,8619,8620,6377,4816,8622,
8624,4819,8626,8628,8629,6685,4822,6536,8631,5347,8633,8634,4829,8637,8638,8639,4831,6721,4832,8640,4833,8643,8645,6137,8646,
6943,4840,8649,8476,8651,8652,8653,8654,4844,8656,4845,8658,8660,8661,8662,4852,8664,8665,6524,8666,4857,8669,8670,7274,4860,
8673,8674,4862,8677,8678,8679,4866,5414,8682,8683,4873,8684,4874,8686,8688,8689,4877,8691,4879,7606,8694,8695,4884,8698,8699,
8700,8701,8703,6526,8705,4890,8708,8709,8710,4892,6549,8713,8715,6468,8717,8718,4898,8720,4899,8722,8723,8724,8675,8725,4903,
8727,5157,6783,4905,8728,4906,8730,8731,4908,8733,8735,8736,8738,8739,4912,8741,8742,8743,8744,8745,4918,8748,8749,4921,8751,
8359,5290,8753,4925,8756,8757,8759,8761,8763,8764,8765,4931,8767,6389,8769,4934,6626,8771,4937,8774,7867,8775,4940,8778,8779,
8781,8782,4944,8784,8785,8787,8788,8789,4949,4950,8790,8791,8793,8794,8796,5700,8797,4955,8799,4956,8801,6295,8802,4959,8804,
8805,8806,4962,8807,4963,8809,8810,4966,7680,8813,8814,8815,4969,8818,8819,7184,6326,4972,8823,7770,8825,8827,8828,6684,4979,
4980,6167,8832,8833,4983,7913,8837,8838,8839,8840,8841,4988,8844,8846,8270,8848,8849,8850,4993,8852,4994,8854,8855,4996,8858,
8621,8860,8861,8863,8864,8865,5002,5381,5003,7876,8870,8871,5006,8873,5007,8875,8877,6334,5011,8879,5012,8881,8882,5014,8884,
8886,8887,8888,8889,5134,8891,5020,8894,8896,8897,8898,5023,8901,8902,8903,5580,8906,8907,8908,8909,8910,5029,8912,5030,8915,
8916,8917,8918,5034,8920,5035,8923,8925,8926,8927,5038,8929,8930,8931,8932,8934,8935,6670,5051,8938,7240,5053,8940,5054,8943,
8944,8945,5058,8948,8949,7542,5060,7316,5061,8952,5063,8954,5064,8956,5066,8959,8961,8962,8964,7870,5073,8966,8968,8969,8970,
5076,8973,6667,5080,8975,8976,5083,8979,8980,8982,8983,8984,5087,5088,8987,8988,8989,5092,8991,7208,8993,8995,8997,8998,7422,
9000,6898,5100,8564,9004,6041,9005,9006,9007,5104,8464,5105,5106,9011,9013,9015,9016,7805,5115,9019,9020,9022,9024,9025,6565,
5120,9027,9028,9029,5122,9031,9033,6941,9034,5129,7442,9037,9038,9039,5132,9042,9044,9046,9047,7493,9049,7801,5139,9050,9051,
9052,8590,5143,5144,9055,5145,9057,8004,9058,5148,9060,8358,5154,9063,9064,9066,9067,9068,5161,5162,9070,5164,9073,9074,9075,
9076,9078,7355,9080,6148,9081,5170,9084,9086,9087,9088,9089,5174,9091,5175,9094,9095,5177,7248,7983,5179,9099,9100,5181,9102,
5182,9105,9106,9107,9108,8893,5187,9110,9111,7275,5190,9113,9114,5194,9116,5196,9119,9120,6628,9121,5199,9123,5202,9126,9127,
9128,9130,6705,9131,5209,9133,9134,9135,5211,8616,5212,9139,9141,9142,9143,9144,9145,5219,9147,9148,5855,5222,5223,9152,9153,
9154,9156,9157,5227,9159,5252,8762,9161,5231,9045,9164,9165,5234,9168,9169,6062,8584,9171,7929,6159,5239,9174,9175,8630,9177,
9178,5726,9179,5244,8317,9181,9183,9184,5249,9186,7799,9187,5253,9189,5254,9192,9193,5256,9117,7339,9196,8115,9197,6461,9198,
9199,5263,9202,8139,9203,5266,9205,9206,9207,5269,9210,9211,9212,5271,9129,9216,9217,9218,5275,9221,9222,9223,5277,9225,9226,
9227,5281,5582,5282,9231,5684,5287,9234,9235,9236,5289,8213,9239,9241,9242,9243,5293,7243,5294,9246,9247,9248,9249,5298,7118,
5299,9253,9255,9256,9258,7841,5304,9261,8822,9263,7294,9265,9266,9267,5309,9268,6114,9269,5315,6267,5316,7258,9273,9275,9276,
6194,9278,9185,9279,5324,9280,9281,5327,9284,8489,5329,9287,8111,9289,8924,5508,5333,8776,5337,9291,9292,5339,9294,5340,7625,
9296,9297,9298,5344,9300,5345,9303,9305,9306,9307,5350,9309,6170,9146,5352,9311,5353,9314,9316,9317,9319,9320,9321,5359,9323,
5360,9326,9327,9328,9329,9330,5366,9332,5368,9334,9335,8393,5371,9338,9340,9341,9342,9343,5375,9345,5376,9347,8872,9349,9350,
5379,9352,8010,9355,5549,9356,5388,9359,9361,9362,9364,9365,9367,7112,9368,5396,7392,9371,5398,9374,9009,9376,9377,6807,9379,
7397,5407,9380,5408,9383,9384,9385,9386,5412,9389,9390,5415,9391,5417,5420,9395,9396,6845,8950,5424,8397,5425,9400,5427,9403,
9404,5430,9406,9407,5432,7578,9409,7728,9411,6614,9413,9414,5439,5964,5440,7800,5442,9419,9420,9421,7270,7449,7256,8245,9424,
9425,5451,9054,9427,5453,8890,9092,9431,9433,9434,9435,5461,9438,9439,5463,9441,9442,5465,9230,9445,9446,5469,8977,5471,9450,
9452,9453,9454,5476,9455,5477,8845,9458,9459,9460,5483,7268,9462,9463,5485,9464,5486,8306,9467,5489,5490,9470,9472,9473,9474,
5493,9477,5597,9479,9480,5496,5497,5847,9483,7546,5501,9486,9487,5503,9489,8149,5506,9492,9493,9494,9496,9497,5512,9498,9500,
9501,9021,9502,5516,9504,5517,9507,9508,5520,9511,6554,5523,9514,9515,9035,5526,8274,9518,5528,9520,5529,9521,9522,5531,5653,
9525,9526,5536,9528,5537,9531,8974,9532,9337,9534,5543,9536,5545,9538,5546,6933,5548,8565,9543,9545,9546,5553,9549,6745,5555,
5558,9552,5560,9554,5562,9557,9558,5565,7974,7580,9562,5824,9563,5568,6664,9565,9566,8697,5571,9567,9568,5574,9570,9571,5576,
8367,9574,8064,7568,5579,9417,7125,9576,9308,9577,8598,9578,9579,9580,5589,9313,9582,5592,9584,5594,9585,9586,7448,5598,9589,
9591,9592,5603,9594,5604,7993,5606,9597,5607,9599,9122,9271,9601,9602,5611,9604,9605,5613,9607,9608,5615,9611,9613,9614,5618,
9617,9618,9619,5620,9622,9623,5623,9625,9626,9627,5626,9468,9630,9631,5629,6875,9632,7190,5632,9633,6407,7016,5868,9636,5638,
9638,9640,9641,5642,9643,9645,9339,8103,5645,9648,9649,5647,9651,9652,5649,9655,9657,9658,9540,9659,9660,5655,9662,6768,5659,
9664,9666,9667,7834,5662,9670,6420,9672,9673,9674,5666,9676,8942,9677,5671,9679,9680,9681,5770,5674,9682,9684,9685,5677,9687,
5678,9689,9690,7639,5681,6725,9393,9692,9008,5728,9694,9695,7633,7276,9699,9700,9701,9703,9575,5695,9705,9706,9707,5698,9709,
9710,9711,9713,9714,5702,9717,9718,5843,5706,9719,5707,9721,8020,7022,5710,5711,9725,9726,9727,9728,5717,7000,9730,5719,9731,
9732,9733,5722,9736,9737,9738,9739,6349,6095,8770,9741,9742,9743,5732,9746,9747,6821,5737,9488,9749,9750,5741,9752,5743,9754,
5744,9757,9758,5747,6498,9760,9762,9764,9765,9766,5753,9768,9770,8247,9772,5758,9774,9775,9776,5760,8339,9382,7222,9780,9781,
5765,9784,5767,9786,9788,9789,8580,5771,9792,9793,9794,5773,6803,9796,5776,5790,5777,9798,9799,5780,9801,5781,8883,5783,9137,
8936,9805,5787,5788,9808,9809,5793,9812,9813,9471,9815,9816,8556,5798,9819,9820,9821,5801,9823,5802,6662,9824,9825,9826,9828,
9829,5869,9830,5810,9832,9833,9834,5813,9836,9837,9838,9839,7405,9639,5821,9842,5924,6042,9843,9844,5826,9846,9847,5829,9849,
6002,9850,6058,9852,9853,9855,9856,9858,9859,9860,5841,7964,8919,9863,9865,9866,9867,7850,9868,5850,9870,9871,9872,9873,5854,
8182,9875,9877,9878,9879,9881,9331,5861,9883,9884,5864,5865,9887,9889,9890,9892,9893,5871,9896,9897,5873,8650,9457,9899,9900,
5877,5878,9903,9904,9906,5882,8913,5883,9910,9911,9912,9914,9915,5888,9916,9917,5891,9920,9922,9923,5894,9925,5895,9927,5896,
9928,5900,8704,5902,9083,9931,9932,9933,9935,6774,9936,9937,8243,6298,9938,5915,8826,9940,9942,9944,9945,9946,5922,9934,9948,
5925,9951,9953,9954,9955,5932,9956,9957,9958,5937,6650,5939,8904,5942,6340,5945,5947,9965,5949,7498,5952,9969,6830,9970,9971,
9972,5955,9974,9848,5957,5958,9976,9978,9979,9980,5961,9981,5962,9984,7843,7047,5968,9003,5969,9987,9988,9990,9991,5973,9993,
5975,9995,5976,9998,6451,10000,10001,5985,10003,10004,10005,5988,10008,10010,8021,10012,7671,5993,10013,5994,7710,10014,10015,6001,7145,
10017,6004,10020,10021,7646,6539,10023,6008,10025,6010,9482,8758,8326,6015,10030,10031,10032,10033,6020,10034,10035,10036,6023,10039,10040,
10041,6026,6027,10045,10046,10047,6031,10049,10051,10052,6036,10054,6037,7558,10057,10059,10060,9985,10062,10064,10065,10066,6046,6047,10070,
6049,10072,6050,7175,10075,10076,8706,6055,10078,10080,10081,10082,10084,7863,6061,10086,6064,10089,10090,10092,10093,6068,6069,10096,10098,
10099,6073,7678,7978,6077,10104,7914,6079,10106,6080,10108,10109,6082,9720,10111,6085,10113,6088,6089,10116,10117,10118,6092,10121,10122,
6094,10124,6097,10126,9968,6100,9448,7290,6102,10129,6104,10131,6105,10134,9994,10136,9138,10138,10140,6987,10142,10143,10144,6113,7976,
10146,10147,6117,6274,10150,6119,10153,10154,10156,8463,8734,6124,10160,7150,6128,6129,10164,6130,10167,10168,6132,10170,10171,10173,10174,
6136,10177,10178,6140,10181,10183,10184,8257,10186,9610,10188,10189,6149,10191,10193,10194,10195,6152,10197,10198,9683,6522,6158,10200,6161,
7193,6162,8198,10204,10205,10206,10208,10210,10211,10212,10213,6171,10216,6173,10218,10219,7740,10220,6176,6716,6177,9449,6179,10225,10227,
8285,10229,10230,6183,6708,10233,10234,6185,10235,6187,10238,10239,6190,10242,10244,10245,10246,10247,10248,6195,10250,6608,10252,10253,10255,
8712,6200,10257,10259,10260,6203,8595,10261,6205,10262,6206,10265,6208,10268,6693,10270,10271,10272,6212,10128,6213,10276,10278,10279,9693,
6216,6217,10283,7217,10284,6220,10287,6222,10290,10292,10293,10294,10295,7552,6226,6227,10299,10301,9503,10302,10303,10304,6231,10306,6232,
10308,10309,10310,6236,10313,6239,9909,10315,6241,7556,10318,8941,6249,10320,10322,10323,6918,6253,10326,8914,10328,10329,6256,10330,9150,
10331,10333,10334,10336,10337,10339,10340,9158,6263,10341,6264,8179,10344,6266,10345,6269,10346,6270,10348,10350,10351,10352,6273,6997,8160,
10356,10357,10358,6279,10360,10361,6281,10364,10365,10366,10367,6285,10370,10371,10372,6289,10374,6291,10376,6292,10378,6293,10381,8084,10383,
8332,10384,10385,6299,6301,10387,10389,10390,6631,10223,6306,10392,6307,10394,6308,7094,10396,10397,6312,10398,10399,6314,8690,6315,10403,
10404,6318,10407,10409,10410,10412,10413,6322,9539,7797,10415,6327,6868,8304,10354,8582,6330,10418,6331,6439,6332,10420,10421,8655,6337,
6338,10423,8228,6691,10425,10426,6345,10429,8441,10431,10432,10433,6352,10436,9465,6355,10439,10332,10440,8642,8792,10442,6360,6361,10446,
6363,10448,6364,10450,6366,9132,8960,7177,6369,10453,6370,10456,6372,10459,10460,10462,6694,8716,6375,10464,10465,9656,10466,6379,10159,
10467,9696,10469,10470,6383,6384,6385,10473,10474,6388,10476,10477,6393,10479,10480,6801,6467,10481,6396,10483,10485,7180,10487,10488,10489,
6404,10491,10492,6486,6408,10495,7681,6413,10498,10209,10500,7050,7388,6417,10502,6418,10505,8842,10508,10510,8732,6424,10513,10514,7994,
10515,6428,6429,10519,10520,6431,10522,10523,10525,10526,10527,10044,10528,10530,10532,10533,10534,6442,10536,8035,6446,10538,10539,6449,6450,
10542,10543,6453,6566,8012,6457,10547,6458,10549,10550,6460,10551,10552,10554,10555,10556,6465,10558,10559,10560,6469,6471,8016,7647,10564,
10565,6475,7618,10567,6479,10569,10571,10572,10573,6483,10575,10576,10577,10578,10579,6488,10582,6697,10584,10585,6491,10588,10589,10590,6494,
10592,10593,10594,10595,6704,6499,9285,10596,6501,8279,10600,10601,10602,6505,10604,6506,10607,7856,10609,10610,6510,6511,10612,6787,10614,
10615,9228,6516,10617,6517,10619,10620,6519,10622,10623,6521,10298,10626,10627,10629,8714,10632,10141,10634,10635,6850,10636,6537,10638,6542,
9358,10641,6545,10644,10646,10648,8911,10649,6551,10651,10652,6553,9537,6555,10655,6561,10657,10658,10659,10660,10662,6568,10664,10665,10666,
10667,10668,6571,10670,6572,10673,10675,6828,6575,10677,10679,10680,10681,6580,9140,6581,10685,10686,6583,10688,10690,9283,10692,10693,10694,
6587,10311,7769,6591,10700,10701,6594,10703,6596,10705,10706,6784,6600,8808,6601,10709,6603,10712,8234,10714,10715,6607,10717,10718,10720,
10721,10723,10724,10725,6615,9408,10254,7875,6618,10728,6619,10731,9782,6621,10733,8847,6623,10736,10737,10738,10740,8214,10741,6629,10743,
10745,6635,10746,6637,8729,10748,7996,6641,6642,6643,7695,10752,10753,6646,10471,10757,8772,6935,10758,6652,10761,10762,10763,10764,6659,
8502,10766,6661,9581,8231,10770,7658,7956,6668,10771,6672,9402,6674,9180,10774,10775,6825,9596,6680,6681,8338,10779,9817,6689,10782,
10783,10785,10786,8575,10787,6695,10789,6696,9170,10793,10794,10795,6700,10796,10797,6702,10799,10800,8545,9966,10802,10803,7381,9366,6710,
10804,6711,10807,10386,10810,9544,7146,6717,6719,10812,10813,10815,8178,10817,10026,10818,10820,6871,10821,6729,10823,6730,10824,10826,10827,
10828,6733,8693,10830,6996,10832,7289,8999,10069,8157,6742,10834,6995,9977,10836,10837,6747,10840,10095,10842,6750,10844,10845,10846,6754,
6755,8258,8488,10849,10850,10851,6759,10854,10855,10856,6762,10858,10859,6765,10861,10862,10388,10863,10864,10866,6771,10869,10870,10535,6776,
10873,10874,10876,10018,10697,6780,10879,10606,10880,10881,10883,10884,7804,7634,10885,10886,10887,6794,10888,6795,9992,8627,10891,6798,10893,
10894,10896,10162,9748,10898,10899,6805,9485,10902,10903,8303,6809,10905,10906,10907,6814,10910,10676,10912,6818,10914,9548,10915,6822,10916,
6827,9960,10918,6832,10919,8001,10562,10920,10922,6838,10925,10926,10161,6841,10928,6842,10930,8990,10932,10933,10934,10936,10937,6848,10939,
7837,9372,10941,6853,10944,10945,6855,10946,10947,7432,6857,10949,6858,10952,10953,9200,6860,7210,9053,10955,10956,6863,9405,9620,10959,
9344,10962,10963,8384,6872,10965,10967,8024,10503,10968,10970,10971,6884,7611,6886,10975,10976,10977,10978,6890,10980,10981,6893,10984,10985,
9986,10988,10989,10422,6900,10061,6901,10992,7465,9973,10011,6906,10994,6908,10428,6909,10997,10998,10999,6912,11000,11001,11003,8851,11004,
6917,11006,11007,6920,11010,11012,6924,11014,6925,11016,11017,11018,11019,6929,9561,11021,11023,11024,10913,11009,7700,11027,11028,6944,11029,
7780,11031,6947,9257,6949,11033,11035,11036,6953,8663,11040,11041,6956,11044,11045,11046,6959,9001,11050,7364,6964,11051,11052,11053,6968,
6969,6970,11058,11059,11060,6975,6976,11064,11065,11066,6979,11067,11069,6984,11071,6988,11074,11075,11076,11077,6991,6992,8154,10507,11082,
9930,11084,11085,10767,9351,11087,7004,11088,11089,11091,11092,7009,11094,7010,9629,11096,11097,7014,10833,7015,11098,11099,11100,7019,7937,
11102,8773,10107,11103,11104,11105,11106,10063,7029,11108,7031,11110,7032,11113,11114,11115,7035,11117,11119,10497,11120,11121,7043,11124,9804,
11126,11127,11128,11129,7052,11131,11132,11134,7056,11136,11137,7058,7059,9902,7061,11142,11143,11144,7064,9059,11147,11148,11149,7069,11152,
11154,11155,7072,7073,11158,11159,7077,11161,11163,11164,7080,7081,11166,7083,11168,11169,7088,11172,11174,9600,11175,11177,10809,7097,7102,
11179,11180,7106,11182,7107,11185,11186,7109,11189,11190,11191,11192,7885,10972,7115,11195,7117,11198,11199,7120,7121,11201,11202,11203,9401,
8853,7127,11205,11207,11208,7130,11210,7132,11212,11213,11214,7136,11216,7137,11219,11220,7140,11222,11223,11224,7142,11227,8857,11229,11231,
11232,11233,7151,11234,11235,7153,11236,11237,7540,7156,7157,11241,11242,7160,7188,10699,10338,10484,11245,7166,11246,7167,9444,11248,11250,
11251,11253,11255,11256,11257,8438,7179,7182,11261,7183,11263,10541,8143,11265,7194,11267,7195,11269,7197,11272,11274,11275,9429,9195,11276,
7204,11171,7205,7206,8407,9041,11282,7767,11284,8185,9535,11285,11286,11287,10002,8045,11135,11289,7227,7229,11293,11295,8271,7232,8905,
7235,8090,7236,11026,11299,11301,11302,11303,7242,9478,8263,7247,7476,11306,7250,10401,8146,11308,7386,9547,11310,8711,7255,11311,7259,
11313,8593,7262,11315,10058,11317,10995,7265,10683,7266,11318,11319,11320,11321,11323,11324,7280,11325,11326,7282,7283,9541,11329,11330,11332,
9065,11333,11334,11335,7293,7295,11339,11341,7298,11344,11346,11347,11348,7302,7348,11351,11352,11353,11354,7306,10274,11358,11359,7310,11360,
7312,11363,11364,11365,9490,9795,9023,8636,7318,11368,9097,7321,11369,7322,11372,8168,11374,9712,10831,7326,11376,10973,8750,11367,7330,
8707,11379,7333,11381,7334,9997,8876,11385,7337,11387,9093,11388,9964,7341,11391,8859,7343,10566,9642,8095,7347,11395,7349,11398,11399,
11400,11401,9440,7358,11402,8786,11403,7362,11406,11407,11408,11038,7367,11409,11410,7370,11413,11415,11416,10179,7373,10073,10157,11420,11421,
11422,11423,11424,11425,11426,7757,9905,11428,7385,11430,11432,11433,11093,11435,7390,7866,7393,9392,9777,11438,7893,11440,11441,11442,11444,
11445,11446,7402,11309,11448,7404,11449,11450,7698,7407,11170,10780,11452,9071,11454,11455,7414,11456,9628,7417,11457,11458,7419,11461,11462,
10580,7423,11464,11465,9061,7426,11466,7427,7429,11469,7431,11471,11473,11475,10544,7436,11477,7437,11480,11482,11483,7440,11486,11487,10570,
9238,11489,10286,11491,11492,11493,11494,7453,7733,7454,11497,11498,10264,11500,11501,7458,11502,7460,7461,10829,11505,11506,11507,11508,7467,
11510,7468,11512,7470,9876,11515,11516,11518,9898,10091,11521,11522,7478,11525,11526,11527,7480,11528,7481,11530,11532,10529,11081,11534,7487,
11536,7489,11538,11533,7491,9104,11540,9375,7495,11542,8423,11545,11546,8836,7502,11547,11548,7504,10125,7506,11551,7706,11553,8680,11554,
7510,11556,7511,11559,11560,10702,11561,7515,9975,11563,11564,7518,11565,11566,7520,10656,7521,9282,7523,8532,11570,11571,11572,7527,11574,
7528,7530,11577,11578,11579,7890,9017,7534,7535,11583,7928,11584,7538,11586,11588,11589,11590,8426,11591,11592,11593,7548,8937,11596,11123,
7551,11598,11599,11601,7555,11604,7668,7560,11606,11607,7562,11609,8541,7564,11612,9082,11614,11615,11616,11618,11620,11621,7574,11623,7575,
11626,11628,11629,11630,11631,7581,8048,11635,11636,7584,11637,11638,11639,7586,7587,11642,11644,11645,11646,7591,7592,9593,11649,11651,10848,
11653,11654,10468,11656,11657,7599,9036,7601,11660,8618,8053,7608,10777,7609,8309,11664,11665,9032,11666,11667,10307,11670,7621,8102,11672,
8623,11673,7624,11600,11676,11677,7628,11679,7629,11682,9880,7631,10393,11685,10382,11687,11688,11689,11690,7644,11693,11694,7651,11695,7655,
11698,11699,10574,7659,11701,7661,10180,11703,11704,11705,7665,11707,11708,7667,11710,11711,11712,11713,11714,11715,7675,10545,11718,11719,11720,
10097,11721,11723,11724,11725,7685,11726,11727,7687,11730,11072,7689,9167,7692,11734,11736,11738,8996,11739,10256,7986,11741,7705,11744,11312,
7709,11747,11748,7713,11750,10691,11183,7718,11753,7720,9590,7722,11754,11756,11090,7725,7726,11758,11238,7729,11760,10056,7732,10362,11763,
11764,9315,11357,11766,7739,11732,8370,7741,10678,7742,11567,9191,7745,11770,11772,11622,11773,11774,7751,11777,11778,7753,8958,11780,7755,
11782,7758,11785,8868,7761,11057,7762,11467,10463,11288,7765,11791,11792,11793,11794,8562,11796,7775,11798,11799,11800,11802,11803,7783,7878,
7787,11808,11165,7789,11810,10512,11812,7792,11814,9949,11816,8192,10553,9616,11818,8721,11819,11820,7808,8824,7809,11745,11824,9665,7812,
7813,11296,11827,11829,11830,9606,7817,9637,11116,11833,11834,11835,7821,7822,11839,11840,7825,7826,9252,11292,11594,11843,10586,11844,7835,
11846,10201,11847,11849,11850,11851,7840,11853,11854,11856,11857,7847,11859,11861,11863,11864,11866,11867,7854,9704,11869,11871,11610,11873,11874,
7860,11877,11878,7862,9274,11880,7864,11881,7868,11883,11885,11886,10630,11479,11888,11889,11890,11891,7879,9740,7881,11894,7882,9322,11897,
9232,11899,11900,11901,11903,11904,7896,11906,7898,11908,11909,7901,11910,7903,10867,7905,11913,11176,11200,11916,11917,11918,7909,11919,7910,
8171,11921,11922,7916,11924,8191,10599,10808,11925,7920,11926,11927,7922,11928,7923,9118,7925,11930,11932,11933,11934,11935,11936,8540,7931,
8507,11939,11941,11942,7936,11943,11944,11945,7941,11947,10438,7943,11948,7945,11951,11952,11953,7949,11955,7950,9755,11958,7952,11273,11960,
11961,11962,11964,10316,11965,7960,11967,7962,11969,11514,7965,11971,11973,11974,7968,11976,11977,10258,11979,7972,11981,11982,11984,11985,11986,
11987,11431,11990,10557,11991,11992,7988,11994,11995,11996,7992,11998,12000,12001,12002,9412,8375,12003,12004,8003,12007,12008,12009,12011,11079,
12013,9517,10493,12015,9553,12016,8026,12018,12019,8029,12021,12023,12024,12026,12027,11451,12028,8036,12031,12033,8039,10103,12036,8042,12038,
12039,8046,12042,11373,12043,12044,8052,10009,8604,8055,12046,8060,12049,12050,8063,12052,8066,12055,10546,8069,12058,11940,8435,8074,12060,
8075,12063,12064,8843,8079,9484,12067,12068,8088,12069,10055,12072,12073,12074,8094,12075,11923,12077,8097,8099,12080,12081,11684,8105,12083,
12085,10243,12086,8108,12088,11983,11823,11837,12091,12092,8114,12094,8118,12097,12098,8120,9299,12100,8123,12102,12082,12103,8127,12105,12106,
8129,12107,12108,8133,8135,9961,9773,8137,9288,8269,10022,12112,9456,12114,12115,9572,12117,12119,12120,12121,8152,10067,12122,12124,12125,
11162,12127,12129,12130,8163,12131,8166,12133,10458,8170,12113,11125,8311,8174,12137,8319,11008,8187,8189,12140,11511,8194,12142,12143,8197,
12146,12147,10486,12149,8202,12150,8204,12152,9418,12153,8208,12156,12157,9845,12158,11187,11419,10175,8217,10581,8220,11959,12161,11244,11988,
11048,8224,11817,11946,9624,12167,11290,12168,8233,12169,12170,8235,10169,12173,8239,12175,8242,12177,12178,8249,10583,12180,8702,11095,8253,
10094,8255,12184,12185,12186,12187,10613,12188,8261,12191,12192,12193,8264,12195,12196,12197,8268,10335,12199,12200,12201,8278,12202,11582,12205,
8283,12206,8284,12208,12209,8289,12212,12213,8312,8292,11138,8293,12215,8821,12217,8298,12093,8300,12220,10494,12222,12223,8308,8900,11797,
8609,12226,12228,8316,11993,12229,11771,8322,12230,8323,12232,12233,12234,12235,8327,10068,12014,11042,8329,12237,12239,10511,12240,12241,8335,
12243,12245,11702,12247,11279,11417,12248,8345,12251,8348,12252,12253,12254,8352,12257,12138,8355,12259,8356,12261,10645,12262,12263,8362,8363,
12266,12267,12268,9416,12269,8869,8371,12271,8373,12273,12274,11266,8378,11173,12277,8381,11643,8768,12281,12282,8385,12284,12285,8390,10882,
11054,8394,12288,8399,8400,9363,12041,11495,10521,12293,12294,12295,8406,12298,12299,9219,8410,12301,8411,8414,12054,12305,12306,8419,9569,
8421,12309,12311,9800,12312,12314,11243,12316,8430,12318,12319,12320,12321,12322,12323,10452,8437,9423,12326,11070,12327,8442,12329,8444,12330,
12331,8448,9913,8449,12334,12087,12335,8453,12338,12070,8456,11327,8457,12109,10563,8461,12342,12344,12346,9588,12347,8469,9759,8470,8472,
9302,8473,12352,12353,8479,12355,12357,11617,11896,8482,12360,9603,12361,8484,8485,12364,12366,12367,10087,8491,12328,12136,8494,12370,11602,
8498,8499,12373,12374,8504,12376,8505,10411,12379,11781,12380,8510,12381,12382,12383,12045,10441,12385,8515,11342,11832,8517,12388,12390,12391,
12258,8520,11587,8524,12394,8525,12396,9814,8529,10132,12400,12402,11020,10966,12349,8536,11153,9807,9612,12405,12406,12407,12408,12409,8547,
12411,12412,8549,12413,8551,12415,9751,12416,12417,12418,8574,12419,8561,12421,12422,9756,11663,12423,12425,11892,12426,8571,9353,8572,12429,
12431,12432,12225,12433,11931,12434,8583,12384,12437,12439,12441,10088,9524,8755,12443,12444,9229,8600,12446,8601,9213,12448,12449,8610,12450,
8612,11813,12453,12454,12455,12456,12457,8625,8783,12460,12461,12462,8632,12464,8635,11828,12466,9661,8641,8644,8647,12470,8648,11535,9529,
12474,10901,11218,8657,12477,12478,8659,12481,12483,12484,12485,12486,10037,8667,12487,8668,9891,12488,8671,12490,8672,11338,12493,12494,11394,
8676,12497,12499,9162,12501,12502,9634,8681,12505,11876,12507,12508,8685,12510,8687,12512,12513,8692,9783,11949,12515,8696,9451,10897,12517,
12519,12520,12521,12523,12524,12118,12526,10643,12424,12528,12529,12531,11194,12533,12534,8719,12536,12537,12538,10451,10940,12539,8726,12542,12543,
12544,12308,9778,10744,12546,8737,12549,8740,12552,12553,12554,12304,8746,12555,8747,12557,12558,12559,12560,8752,10269,8754,12564,8895,8760,
12566,10139,12568,12365,12570,9387,8766,12573,12574,11427,11294,12575,12576,12577,8777,12578,12580,12581,8780,12584,12585,12586,12587,10123,12589,
12590,12591,11585,12445,12594,8795,8798,12598,10380,12599,8800,10943,10788,8803,10120,12603,9166,12604,12605,12606,12608,12609,8811,12611,8812,
12612,12614,11349,12458,8816,10732,8817,12617,11411,12618,8820,12620,12621,12623,12624,8829,8830,8831,12627,9785,12628,8834,8835,12442,12630,
12056,12633,12634,12635,12637,12639,9010,12642,11305,12644,12176,12646,12647,12648,12650,12652,12653,8856,12655,12656,12658,12660,12661,12662,8862,
12659,12666,10852,11625,8866,12668,8867,9357,12670,10016,12672,12673,8874,12674,8878,12676,8880,11759,12677,8885,12679,12681,12683,12684,12685,
8892,10377,11882,12689,12690,12692,12693,12694,8899,12696,12698,12699,12701,10203,12702,12704,11047,12705,12706,12708,12709,9262,10516,12711,10908,
12712,8921,8922,12715,12716,12717,9669,8928,12719,11597,12721,12722,8933,10729,12726,12728,8939,12730,9233,10719,12732,11453,12733,8946,9026,
8947,10669,12736,8951,12738,8953,10993,12740,8955,9260,12742,8957,12744,12746,12748,8963,10482,8965,12750,8967,12752,11573,12643,10625,12754,
8971,12756,8972,12758,9040,12760,12761,12339,12762,8978,12765,8981,10499,11680,12687,12768,8985,9761,8986,12771,12773,12774,12775,12776,12777,
8992,12778,8994,11552,11345,12781,11459,12783,11647,9002,12785,12786,9941,12236,9012,9014,12788,12789,12790,9018,11557,12791,12793,12794,12255,
12506,11997,12796,12798,10363,12799,9030,12801,10375,12803,12804,12806,12808,9043,12811,12812,12813,9048,9654,12816,12817,10727,9056,12819,12820,
12034,9724,9062,12823,12825,12826,11893,10711,11150,9069,11217,9072,12830,12832,12834,12835,12836,9077,12839,9079,11141,11488,9085,12843,12845,
12755,10909,12848,10781,9090,12491,12849,12850,9096,12851,9098,12853,9101,9103,12855,12857,12858,12859,9109,9208,12860,9112,12270,12280,9115,
12863,12610,9918,9124,12844,9125,12867,10778,12868,12870,12871,12595,9136,12874,12875,12876,12877,12878,12879,9149,12880,9151,12096,12882,12883,
12884,9155,11109,12885,12887,9882,9160,12889,12890,9163,12892,12893,12894,12895,12896,12897,9172,9173,12901,12902,9176,12680,10190,10447,10819,
12904,9182,12907,12908,12909,12821,12116,9188,12910,9190,12911,10754,9982,9194,12913,12914,9615,9201,9204,12551,12906,11568,12917,9209,12918,
12919,9214,12921,9215,10176,12923,12924,9220,10598,12928,12929,9512,12930,9224,12933,12934,12935,12936,10682,12938,9237,12941,10713,9240,12943,
9533,10838,12945,9244,12946,9245,12948,12949,10982,12950,9250,12952,9251,12955,12956,9254,12164,12959,12912,12961,9259,12962,12963,11624,12964,
10050,9264,12967,12968,12264,12971,10273,9270,12973,9272,12975,12976,12978,9277,12980,11383,12982,10437,12983,12984,12985,12414,12987,9286,12989,
12990,12991,9290,10291,12992,9293,12994,9295,12996,12998,12006,12999,9301,13001,13002,9304,12393,13006,13008,13009,9310,10509,9495,9312,13012,
9318,13015,13017,13018,9324,13020,9325,12035,13023,9530,13026,13027,10950,10281,12371,9333,13031,9336,13033,13034,13035,13037,11848,13039,13040,
9346,12596,9348,13043,11595,12210,13045,13047,9609,9354,13048,11697,13049,9360,13051,13052,11481,13054,13056,13057,9369,11107,9370,13059,12163,
9373,13061,13062,11404,13064,9378,13066,9510,9381,13067,13069,13071,11938,13072,9388,13074,13076,13077,9394,13079,13081,10406,9397,11569,9398,
9399,13083,13084,13086,11668,13087,9410,13089,13090,11389,9415,11254,13092,11043,9422,11729,12891,9426,12174,13095,9428,13096,9430,11463,13097,
9432,13100,13101,13102,13103,9436,13105,9437,10430,10695,13005,13107,9443,13109,12427,11972,9447,13111,13113,9888,13115,13116,13117,9461,12920,
12238,13120,12332,9797,9466,10215,13122,9469,13123,13125,13126,13127,9475,9476,13129,13130,9481,9769,13133,13134,13135,9491,11852,13138,13140,
13141,13142,13143,11499,9499,13145,13146,9505,12669,9506,13148,13149,9509,12810,13151,9513,13154,9686,9516,11627,10517,9519,12377,13156,13158,
12076,9523,13161,13162,9527,13163,13165,13167,9835,13168,13169,9542,13171,13173,13175,13176,13177,10079,9550,9551,13180,9555,13181,9556,13183,
13184,9559,13078,9560,13187,9564,13188,11575,12279,13189,13190,9573,9735,13192,9583,13193,13194,13195,13196,11783,9587,13199,13200,13202,13204,
13205,9595,12541,11776,13207,9598,12800,11396,12579,13211,12214,12682,13212,10618,13213,13214,9621,13216,13218,13220,13221,13222,13224,10784,11239,
10921,9635,13225,13226,9864,11831,13228,13229,9644,13231,9646,9647,13234,13235,13011,9650,12336,13237,13238,9653,13239,13240,13241,9663,10007,
13245,9668,11340,12861,9671,13246,11523,9675,13248,13249,12869,9678,10917,10948,13251,13252,13254,12401,13242,9688,12283,9691,13255,12960,13058,
9697,12866,9698,9702,13260,13261,9708,13263,10112,13266,10391,9715,13268,9716,10951,12389,13270,9722,11855,9723,13271,11101,10531,13274,13275,
9729,13277,13278,13280,13281,13282,9734,13284,13286,13287,11145,10461,13289,10631,12856,9744,9745,12476,12504,10478,13293,13294,9753,13296,13297,
13298,10490,13256,13299,13098,9763,10974,13302,9767,9771,11474,13304,9779,13305,13306,13157,13307,9787,12547,13311,13312,13313,9790,9791,11968,
13153,13316,13317,13318,13319,10325,11669,10105,9802,13197,9803,12640,13323,9806,13325,13185,13326,9967,9810,9811,11011,13329,13330,13331,12802,
9818,13333,13334,9822,11709,13337,13338,13339,9827,13341,10986,13250,9831,13053,13343,13344,13346,13347,9840,13348,9841,9952,13350,13351,13352,
13243,13354,9851,13356,13358,13359,9854,13361,13362,9857,13091,13365,13366,9861,12697,9862,12482,13369,13152,9869,10822,13370,9874,12981,13373,
13375,10865,13376,13028,13378,9885,9886,13381,13382,11328,13384,13385,9894,11049,9895,13389,12535,10671,13000,13391,9901,13392,12099,13393,9907,
13395,9908,11678,13397,9919,9921,12986,9924,12495,12720,9926,12607,12012,10650,9929,13401,13147,13355,12500,13404,13406,9939,13409,13410,9943,
12451,13413,12496,9947,13415,9950,13418,11055,13421,13166,13422,9959,13423,9962,13424,9963,12079,10957,13425,10165,11436,13426,13427,13429,13431,
11271,13432,9983,13433,11509,9989,13436,10639,12588,9996,9999,10475,13439,13441,11870,10006,13442,13443,13444,13446,13447,12550,13448,10019,13450,
11078,10024,12993,12631,12386,10027,11193,10028,10029,13453,13455,12203,13456,13457,11655,13458,13170,10038,11478,11249,12780,10042,13460,10043,11262,
13462,13463,13464,11080,10048,10405,13467,13469,13470,10053,13471,13472,10074,13473,13474,13475,13477,13478,10071,13480,13481,13482,10077,13082,13485,
13487,13488,10083,12649,13490,10085,11641,12010,13430,13493,13495,13496,11350,12583,11806,10935,10100,10101,10102,13041,13499,11111,13398,10110,13501,
10568,10114,10115,11484,13506,13336,10119,11056,13509,10942,12518,13510,13068,10127,12324,10130,13511,10133,13513,10135,13178,13514,10137,13516,13517,
10145,13519,10148,13521,10149,13522,11787,11397,10151,10152,13525,10155,13527,10158,10791,10163,13529,13530,10166,13532,10716,13533,10172,13208,13535,
13536,13537,10182,13402,10185,13539,11252,10187,13542,13543,12286,13544,13545,10192,12548,12764,10196,13549,13550,10199,11722,13552,10202,13554,13555,
13556,10207,13558,13321,10214,13560,13085,10217,12852,13563,13420,10221,13022,10222,11130,11920,10224,10349,10226,12256,10228,13567,10735,11386,10231,
13569,10232,13572,13300,13574,12814,13576,10236,10240,10237,12207,13579,13580,13396,13581,10241,13230,13583,13584,10249,11954,10251,13279,13587,13588,
13589,13591,13592,10263,11025,10266,13595,10267,13597,13599,13600,13601,13602,10275,13604,13507,10277,11671,13607,11674,10280,11429,10282,13610,13269,
10285,10288,12359,10289,11822,11999,12828,10296,10297,12166,10300,13613,12572,13614,10305,13372,12970,12873,10312,13617,10314,11228,12957,13619,13620,
10317,13449,10319,13622,10321,12997,10324,10327,13625,13626,13627,13628,13630,11661,13632,13633,13635,13636,13637,13638,10342,13640,10343,13642,13643,
13644,10347,13646,11529,10457,12095,13648,10353,11700,10355,13652,13653,13353,13654,10359,13656,13657,12532,13658,13659,10368,12362,10369,11659,13203,
10373,13174,13664,12029,12428,10379,12842,13219,13666,12739,13668,13598,10395,12005,12307,10400,13669,10402,12695,13671,12403,13673,10408,13675,10938,
13676,13677,10414,12840,13631,10416,13681,10417,13683,13684,10419,13687,13104,11520,12888,10424,13691,13400,10427,12759,12540,13693,10434,12745,10435,
13696,13411,13019,13014,10443,13698,10444,13371,10445,13073,12899,11957,13701,10449,11686,13702,13703,10454,13704,10455,13046,13705,13707,10506,13709,
13711,11503,13712,13713,13715,13716,10472,13717,13719,12862,13720,11746,13722,12724,13723,13724,13063,11543,13725,10496,13379,13726,13727,10501,13690,
10504,13730,13670,13732,11032,13733,10518,13735,12154,13737,13119,10524,13738,12145,13739,13740,13741,12582,13744,13746,13748,10537,12731,11717,13750,
10540,13752,13571,13753,13754,13755,10548,13678,13155,13758,13612,10621,13494,10561,13209,13760,10857,13763,13765,10814,11316,13767,12181,11221,13770,
13771,13772,10587,13774,13775,12276,13776,10591,13777,13779,10597,12151,13780,12593,13288,10603,12854,10605,13782,10608,12244,12809,10611,13786,13788,
13789,13697,12032,12172,10616,13793,13324,13232,13795,13796,12465,13798,10624,13799,13800,13801,10628,13803,11989,11581,10633,13805,13806,13520,10637,
13809,13032,10640,13811,10642,11204,11270,10647,13814,11184,11247,13816,12242,10653,10654,13106,13452,11331,13820,13821,10661,12898,10663,13823,11230,
13824,13186,13826,13827,10798,10672,13512,10674,12641,13829,13830,10684,13618,13832,10687,13751,10689,13388,12707,11280,13835,13836,10696,12545,12602,
10698,13322,11209,12292,13839,10704,13840,10707,10708,10954,13843,10710,13845,11370,13848,13024,13849,12671,13851,12837,13853,10722,10726,13856,13857,
10730,13847,11633,12300,13645,10734,13861,11278,10739,13862,10742,13864,11757,13865,13866,10747,10749,13247,10750,13869,10751,12969,11716,10755,13110,
10756,11030,13871,10759,13342,10760,11380,10765,10768,13874,10769,11911,13408,10772,10773,11188,10776,13075,12452,13257,13875,13876,11749,13877,10790,
10792,12779,13742,11692,12953,11902,13879,13880,10801,13093,10805,13882,10806,13831,10811,13886,13887,13888,13889,10816,13890,13892,13894,13895,10825,
13897,13898,13808,13899,13901,13902,12111,10835,11160,13905,12475,13906,10839,13272,10841,12101,10843,13909,12278,10847,10871,11259,10853,11156,12473,
13912,13913,11118,10860,11805,12398,13915,10868,13044,13182,10872,13621,10875,13919,10877,13920,10878,13921,13132,13842,10911,13923,10889,11650,10890,
11807,10892,13927,13928,10895,13929,13930,10900,13931,11133,11915,10904,13295,13562,11197,13573,13380,13934,10923,10924,13936,13937,13938,10927,13940,
13941,10929,11648,10931,12937,13606,13942,11460,13943,12905,13945,11975,13947,12710,13320,10958,13949,10960,11658,10961,13265,12954,13952,10964,10969,
13954,12569,13956,13958,13959,10979,13957,13960,10983,13962,13660,10987,13629,10990,10991,13966,13967,13968,12784,10996,11002,12563,11005,11956,13973,
11013,13566,13975,11015,11022,13144,12020,12447,13977,11034,13979,13980,11037,13139,12171,11039,13206,12051,13982,12988,13984,13264,13985,13986,13988,
13989,11061,11062,11537,11063,11675,12645,13128,11226,13991,11068,13992,13759,11073,13993,13994,13995,11083,13998,12132,11086,14001,12931,12134,14003,
14004,12221,12636,13904,14007,13609,13029,13559,14008,13978,11112,14010,14011,13468,12995,13465,14012,11412,11122,14015,13807,11937,14016,12723,14017,
13403,14018,14019,11139,11140,12565,14005,11146,11196,14021,14022,11151,12053,13505,12471,11157,14025,14026,14028,14029,11167,14031,14033,13689,14035,
11240,14037,14038,11178,11260,14041,14042,11181,13828,14044,14045,12703,14047,12619,12772,14050,14051,13976,13766,14052,14034,11580,14054,13253,11206,
14056,14057,11211,11761,12139,11215,11283,12881,12480,14061,14062,13586,11929,11225,14063,14065,14067,13815,13951,12218,14069,14071,12615,14072,14073,
11258,11468,12317,13438,14076,11264,13728,14077,11268,11384,14080,14081,12040,14082,14084,13070,13773,11277,14086,13303,11281,13963,14088,14090,11291,
13258,11297,12932,11298,11390,11300,13094,11304,14093,12872,11307,14094,12420,14095,13498,11314,13907,14096,14091,13223,11322,13340,13150,14079,13136,
13198,11905,11336,14097,11337,11343,14099,11731,14101,14102,14103,11355,11356,14106,12302,13872,11361,14108,11362,14110,14111,11366,14112,11371,14113,
14114,11375,12561,14117,11377,11378,14119,14120,13615,14122,14123,11382,13665,14125,14127,12600,14128,12392,11815,11392,11393,14129,14130,11405,14132,
12472,13301,14133,13596,12333,11414,13822,13680,11418,13868,13996,14058,13227,12713,14137,11434,11437,14138,11439,14140,12159,11443,14142,14143,11447,
14145,12459,14147,14149,12939,14150,11762,14153,14154,13491,14156,13025,14158,11470,14160,13345,11472,11752,11476,14163,13363,14164,14124,11485,13364,
14152,14121,14166,11490,14168,14169,12922,11496,14171,12479,14172,12135,11504,12657,14032,12216,11513,14174,14176,12965,14177,11517,14178,11519,14179,
13564,14180,14000,11524,14182,14183,14184,11531,12084,14185,14186,11539,13731,11541,13688,11544,14190,13965,14191,12162,13812,11549,14194,11550,14196,
11640,14197,13585,11555,14198,13267,11558,14200,12290,11562,13118,11811,11576,14202,14203,13935,12410,14204,12864,14206,12104,14207,14208,14209,13999,
13944,11603,14211,12194,11605,13813,11608,14214,14215,11611,14218,11613,12824,14219,14221,12925,14223,11619,13706,14226,13900,14227,14229,13394,13972,
13547,11632,11634,12616,14232,14210,14234,13908,14235,14236,13285,13757,14237,11652,12527,13244,14238,11662,14240,11768,14242,14243,14245,14246,11681,
11683,12325,11804,14247,14248,14249,13616,12947,12089,14251,14252,11691,14254,14255,11765,11696,14257,14258,13804,14259,11706,11862,14261,13515,13407,
14262,14263,12782,11755,14264,12751,11728,14265,11733,14266,11735,11737,12942,14066,11740,12265,11742,14270,11743,12204,14126,11751,14199,12227,12211,
13435,12718,13700,14274,11767,12675,11769,13383,13259,11775,14040,11779,12815,11784,12017,11786,12030,14175,11788,14278,11789,14280,11790,13108,14282,
14283,11795,11801,13210,11821,13486,13863,11809,12940,14288,14289,14290,11825,14291,11826,12368,13557,14293,13065,13641,14296,14297,14298,11836,11838,
13428,11841,14299,11842,11845,14023,14144,14301,14302,14303,11858,13335,11860,14306,14307,13036,14308,11865,14309,11868,12224,13784,11872,11875,13570,
14311,14313,11879,14315,14317,11884,12629,13283,11887,13710,14116,13504,12805,11895,12399,11898,14320,14321,13561,11907,13315,12691,11912,11914,13924,
14325,14326,12356,14157,12190,14327,12829,14328,14329,14331,12638,14189,14333,14334,12977,14335,12492,13791,14217,14338,14339,11966,11950,14341,14340,
13159,13551,12846,13721,13948,11963,14344,14345,14346,14155,11970,14014,13662,11978,11980,13769,13582,12562,13416,14350,12128,14352,14353,12632,12022,
12025,14355,13663,12037,13749,14059,14357,13855,14358,14359,12047,12048,13611,12886,14363,14364,12057,14366,12059,14105,14369,12061,12062,12065,12753,
12066,14374,14009,12287,12071,14375,12467,12769,12078,13623,14377,12090,12369,13850,12291,14379,14281,13390,14330,12435,12110,13987,14381,14382,14383,
14384,12571,14385,12123,13160,12126,13818,14348,12141,13682,12144,12310,13451,14092,12148,14390,12155,12915,12735,12160,14391,12165,13883,14393,13762,
13649,13445,14394,12179,14396,12182,12958,12183,12667,14398,14399,12189,12436,14401,14402,12198,12219,12351,13538,14404,14405,14406,12337,14407,13374,
14139,13734,14408,12231,14409,14410,12700,13526,12246,14083,12249,14412,12250,14378,14414,13661,12260,14417,14418,14420,12567,13794,12272,12734,14324,
12275,14087,12654,13502,14167,13846,12289,14279,14421,12296,12297,12303,13911,13060,13215,12313,12315,14425,14426,13764,13787,12556,14428,13736,13080,
12340,14431,12341,13541,14432,12343,14434,12345,12833,12348,14435,12350,12763,13971,14024,12354,14075,14438,14439,12358,13873,13546,14413,14441,12363,
14444,12372,13761,12375,14446,12378,14447,13007,14448,13518,12387,14269,13918,14452,12395,14454,12397,14386,12664,14250,12404,14220,12818,14400,13357,
14457,13088,14458,12727,12827,14460,14462,13273,12430,14294,14275,14224,12438,13672,12440,12469,14466,14118,14468,12463,12468,14319,14036,12489,14337,
14472,12498,14474,14273,13124,12503,14475,13314,14085,12509,12511,12514,12516,14479,14271,12979,14480,13434,12522,14482,12622,12525,13756,14483,14141,
13854,12530,14456,14486,13440,14487,14304,14450,14488,14419,14489,13699,14060,13368,12974,13489,14492,14451,12944,13983,14318,14493,13981,12592,14494,
14495,13852,12597,14322,14497,12601,13010,13969,14500,14272,13885,14501,12613,13651,13679,14373,13332,12625,12626,14131,13308,13819,14505,14506,14465,
12651,12903,13191,14508,14510,14511,12663,12665,13867,13603,13387,13790,14515,14453,12678,14517,14514,14370,12787,14159,12686,12688,14518,12865,14520,
14521,12714,13484,13013,14478,12725,12729,13910,14525,12766,12737,14526,14527,12741,14467,14529,14530,12743,14531,13399,12747,14228,12749,14002,13833,
13055,14397,14336,12757,13893,14233,14332,14347,12767,12770,13236,13878,14534,14519,12792,14536,12795,14089,14537,12797,14538,14165,13508,12807,14540,
14502,14543,14544,13590,13349,14476,14305,12822,14547,14411,12831,12838,12841,12847,14477,13810,14549,14550,13386,14551,14552,13540,14553,14360,13419,
14442,14555,14548,13309,14395,14372,12900,13016,14055,14323,13838,14193,12916,14053,13950,14020,13926,14559,14109,14542,12926,12927,13417,14560,14561,
14463,13797,14554,13500,13692,12951,14187,14362,13997,14563,12966,14523,14564,14213,13694,13961,12972,14566,13454,14445,13932,13534,14567,13578,13003,
13004,13114,14225,14569,13164,13021,13655,14286,13030,14572,14222,14573,13038,14006,13914,13042,14575,14443,13050,14503,14403,14231,14577,13974,14579,
14212,13466,14046,13953,13099,14300,13112,14582,14161,13729,14241,13792,13121,14585,14389,14230,14181,14342,14586,14287,14365,13917,13553,13131,13137,
14587,14013,13276,14528,14589,13172,13825,14590,14292,13179,14588,14423,14592,14371,13201,14595,14064,13217,14354,13747,14433,13647,13233,14316,14598,
14429,13593,13859,14601,14039,13650,14349,13310,13262,14148,14603,13922,14604,14605,14546,14606,13290,13291,14607,13292,13903,14609,14610,14440,13327,
13328,14581,13781,13964,14613,14614,14616,13955,13565,14098,14310,14422,14618,13360,14620,14571,14621,14622,13367,13817,14284,13377,13881,14626,13503,
13524,14392,13837,13714,14611,13492,13405,14512,14430,13412,14628,13414,13783,14449,13743,13939,13634,13437,14630,14471,14629,13459,14632,13461,14633,
14556,13708,14634,13476,13479,14583,13483,13548,14636,14312,13497,14170,14637,14638,14545,14277,13523,13528,13531,14641,14642,13860,14644,14490,14195,
14623,13685,13858,14557,14645,13568,14639,13575,14593,13577,14367,14078,14578,14646,14541,14267,13594,13605,14625,13608,14608,14596,14485,14602,13624,
14351,14314,13916,14649,13844,13639,14481,14617,13667,14498,14361,14651,13674,14652,14070,14188,14653,13686,14654,14499,14655,13695,13745,14516,14580,
13718,14115,14104,13785,14491,14256,14658,14659,13768,13778,14356,14660,14436,13802,14388,14146,14285,14648,13834,14562,14049,13841,14100,14661,14368,
14509,13933,14663,13870,14268,14664,13884,14532,14665,13891,13896,14666,14068,14667,13925,14668,14565,14576,14669,13946,14597,14522,14074,14568,14670,
13970,14671,14260,14048,13990,14673,14135,14201,14437,14387,14674,14574,14459,14027,14591,14030,14657,14043,14507,14424,14276,14343,14162,14676,14239,
14464,14677,14679,14470,14647,14675,14681,14107,14205,14594,14683,14134,14136,14619,14627,14151,14672,14600,14535,14173,14192,14469,14599,14216,14662,
14244,14682,14295,14253,14415,14584,14533,14504,14678,14570,14612,14686,14513,14427,14656,14376,14380,14615,14635,14643,14524,14496,14416,14455,14680,
14685,14640,14558,14461,14631,14473,14539,14484,14687,14624,14650,14688,14684]
>;
print "Group G is J3 < Sym(14688)";