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

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