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

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