/*
www-ATLAS of Group Representations.
U6(2) represented as permutations on 12474 points.
*/

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