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

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