b21 := (1,3,9,23,57,44,18,7,2)(4,10,24,58,135,90,38,15,6)(5,13,32,76,177,198, 85,36,14)(8,19,46,110,252,280,122,52,21)(11,27,65,154,346,359,160,67,28) (12,29,69,163,365,383,170,73,30)(16,26,63,149,336,480,214,93,39)(17,40, 95,217,487,507,226,99,41)(20,47,111,253,567,601,268,117,49)(22,53,124, 285,640,669,298,130,55)(25,61,143,327,732,746,333,147,62)(31,74,172,387, 854,833,377,167,72)(33,78,182,410,898,908,415,184,79)(34,80,185,417,911, 931,425,189,81)(35,68,161,361,804,944,432,192,82)(37,86,199,449,981,995, 454,202,87)(42,100,228,509,1110,1125,517,232,101)(43,102,234,521,1132, 1147,528,237,103)(45,106,243,545,1183,1205,555,247,108)(48,114,261,587, 1262,1273,594,265,115)(50,70,165,370,529,1148,608,271,118)(51,94,215,482, 1048,1311,614,274,119)(54,125,286,641,1364,1398,656,292,127)(56,131,300, 674,1430,1458,687,306,133)(59,138,316,710,1499,1512,718,320,139)(60,140, 322,721,1317,617,275,120,141)(64,151,340,455,915,441,195,84,152)(66,156, 351,784,1530,727,790,353,157)(71,96,219,491,1067,1700,828,374,166)(75, 174,392,863,1033,473,211,92,175)(77,179,403,887,1819,1833,893,407,180) (83,193,434,946,1924,1941,955,438,194)(88,203,218,489,1063,2026,1001,458, 204)(89,205,460,1004,1547,736,1009,462,206)(91,209,467,1019,2049,2059, 1026,470,210)(97,220,493,1071,2133,2148,1078,496,221)(98,222,497,1080, 2151,2162,1088,500,223)(104,238,530,1150,1929,2265,1159,534,239)(105,240, 536,1163,2272,1292,1172,540,241)(107,244,546,1184,2309,1558,743,332,146) (109,248,557,1210,2350,2365,1219,563,250)(112,256,575,1240,2398,1534, 1246,579,257)(113,258,581,1249,2413,2421,1254,583,259)(116,186,419,916, 1873,2467,1277,596,266)(121,276,619,1318,2541,2553,1325,623,277)(123,281, 631,1343,2576,2596,1353,635,283)(126,289,649,1384,2648,2656,1392,653,290) (128,150,338,756,918,1388,651,659,293)(129,294,661,1405,1313,615,1312, 664,295)(132,301,675,1431,2139,2743,1446,681,303)(134,307,689,1461,2765, 2788,1474,695,309)(136,311,699,1481,2800,2810,1488,703,312)(137,313,705, 1491,2692,1415,667,568,314)(142,324,725,1526,2869,2457,1272,728,325)(144, 329,737,1548,2616,1363,1552,739,330)(145,331,740,1553,2906,2514,1305,611, 273)(148,334,510,229,481,840,380,169,264)(153,343,764,1591,1647,799,358, 768,344)(155,348,776,1614,2993,3001,1618,780,349)(158,235,523,1136,2238, 3031,1636,793,354)(159,355,162,363,808,1664,1641,796,356)(164,367,817, 1682,2691,1413,665,296,368)(168,378,522,1134,2235,3146,1718,837,379)(171, 384,848,1740,3170,3179,1746,850,385)(173,389,779,747,1564,1702,829,375, 390)(176,396,869,1778,2533,1314,616,873,397)(178,400,879,1802,1600,1576, 1811,883,401)(181,408,895,1837,2707,2456,1271,593,409)(183,411,900,1848, 3314,2985,1851,902,412)(187,263,591,1269,2450,3362,1879,920,420)(188,421, 921,1880,2377,3354,1874,924,422)(190,426,362,806,759,339,758,933,427) (191,428,934,1900,3382,3393,1906,937,429)(196,442,963,1953,2709,1423, 1963,967,443)(197,444,969,1062,2118,2243,1140,973,445)(200,395,867,1774, 2910,3509,1997,985,450)(201,227,508,1107,2192,3515,2001,988,451)(207,463, 1010,1133,2234,2213,2038,1013,464)(208,465,1015,2042,3326,1855,2047,1018, 466)(212,474,1035,2073,3595,3605,2080,1038,475)(213,476,750,335,749,1568, 2085,1041,477)(216,484,1053,2106,3635,3026,1631,789,485)(224,501,767, 1596,2970,1970,972,1093,502)(225,503,1095,2171,3724,2594,2178,1099,504) (230,511,1112,2198,3766,3772,2203,1114,512)(231,513,1116,2132,3676,2825, 1497,709,514)(233,518,1126,2225,1639,2885,2230,1128,519)(236,524,1138, 2240,2422,1255,2245,1142,525)(242,541,1174,2293,3865,3725,2298,1178,543) (245,549,1192,2325,3904,3910,2331,1196,550)(246,551,1197,1913,3401,3914, 2334,1198,552)(249,558,1211,1291,2487,2848,1511,717,560)(251,564,1220, 1137,1097,2173,2374,1224,566)(254,570,1228,2380,3958,2883,2386,1232,571) (255,572,1234,2388,2900,1549,738,1236,573)(260,584,1256,2424,4009,4015, 2428,1259,585)(262,589,1266,2443,2586,1377,2448,1268,590)(267,597,1135, 2236,3811,4054,2470,1280,598)(269,602,1287,2480,4063,4072,2486,1290,603) (270,604,416,909,1864,3339,2490,1293,605)(272,609,1108,2193,2147,3695, 2509,1302,610)(278,624,1327,982,1991,2758,1455,686,625)(279,626,1332, 2559,1385,1022,468,1021,627)(282,632,1344,2577,4158,2846,1510,716,319) (284,636,1355,2600,2161,3716,2607,1359,638)(287,644,1372,2629,2205,3774, 2637,1376,645)(288,646,1378,2639,4215,4218,2643,1380,647)(291,654,1393, 2658,1559,744,1333,1396,655)(297,666,1020,2006,3519,2809,2368,1221,565) (299,670,1421,2705,4273,3173,2712,1425,672)(302,678,1439,2733,4294,3062, 1657,1443,679)(304,323,723,1522,2862,4193,2615,1449,682)(305,683,1450, 2177,2048,3565,2754,1453,684)(308,690,1462,2766,3843,4323,2779,1468,692) (310,696,1476,2791,2137,2760,2792,1477,697)(315,707,1494,2820,4256,4231, 2823,1496,708)(317,712,1504,2835,4357,4118,2538,1506,713)(318,714,1507, 2840,4358,4257,2687,1410,715)(321,719,1514,2852,4355,2831,2420,1389,652) (326,729,730)(328,734,1188,547,1187,2316,2898,1546,735)(337,753,1575, 2939,2060,2756,1454,685,754)(341,761,1586,2715,1910,939,430,938,762)(342, 660,1403,2673,3896,2317,1691,823,372)(345,769,1598,2973,2922,1563,2921, 1601,770)(347,773,1607,2981,1814,3225,2986,1610,774)(350,781,1620,3004, 4473,3748,2654,1391,782)(352,786,478,1042,2087,3614,3022,1629,787)(357, 797,1164,2274,2644,4219,3043,1644,798)(360,802,1652,2614,4192,3286,1830, 892,406)(364,810,1667,2241,2918,1561,745,1560,811)(366,814,1675,2997, 1616,777,1456,1678,815)(369,820,1687,3103,4023,4005,2419,1253,821)(371, 822,1690,3110,4442,2952,1584,760,394)(373,824,1692,2382,1229,2100,1049, 1694,825)(376,433,945,1923,3418,3985,2403,1705,830)(381,841,1723,2273, 3844,2708,3155,1727,842)(382,843,1729,1109,2194,3550,2031,1732,844)(386, 851,1748,2207,1117,2206,3188,1752,852)(388,856,1758,3198,2061,1028,471, 1027,857)(391,860,1765,3204,4087,3197,3208,1767,861)(393,865,1772,3215, 1943,957,439,956,866)(398,874,1788,2528,3832,2262,1158,1792,875)(399,876, 1794,3239,3855,4635,3244,1798,877)(402,884,1270,592,435,948,1926,1815, 885)(404,889,1824,3275,3024,4481,3279,1826,890)(405,891,1827,3281,2759, 1457,2684,1408,663)(413,620,1319,2543,4121,4685,3325,1854,903)(414,904, 490,1065,2123,3663,3328,1856,905)(418,913,1871,2976,4363,4596,3176,1744, 914)(423,925,926)(424,927,1622,2969,2522,1308,613,1307,928)(431,940,1912, 2632,1373,2631,1801,1916,941)(436,949,1927,1736,846,1735,3164,1930,950) (437,951,1932,3429,3242,1796,3241,1935,952)(440,958,1944,3445,4572,3617, 2089,1947,959)(446,974,1974,3480,2136,3679,3488,1978,975)(447,976,1980, 3138,1713,835,970,1967,977)(448,978,1985,2217,3786,2670,1401,658,979) (452,989,1570,2929,4424,2994,1731,1973,990)(453,991,1149,2252,3585,2844, 3523,2008,992)(456,537,1165,2276,3846,4382,3533,2016,996)(457,997,2017, 3218,4616,4290,2812,1490,998)(459,1002,2027,2067,1031,2066,3548,2029, 1003)(461,1005,2030,3549,2438,2408,3228,1785,1006)(469,1023,2053,3570, 2718,4153,2571,1341,630)(472,1029,2062,3580,3126,4554,3586,2065,1030) (479,1043,2090,3618,2195,3760,3622,2093,1044)(483,1050,2102,2818,4348, 2909,1554,741,1051)(486,1056,2109,2581,1346,2580,3000,2111,1057)(488, 1060,2116,2741,1445,1282,599,1281,1061)(492,1069,2131,3674,4169,4199, 3283,1828,1070)(494,1072,2135,3678,4852,4782,3682,2138,1073)(495,1074, 1760,3201,1764,859,1329,2141,1075)(498,1082,2153,3705,3965,3912,3708, 2154,1083)(499,1084,2155,3709,3360,1878,3008,2157,1085)(505,1100,1608, 2982,4454,3883,2305,2182,1101)(506,1102,2183,3741,2459,2816,3746,2185, 1103)(515,1119,1605,772,1604,2726,2711,2214,1120)(516,1121,2216,3785, 4448,4880,3789,2219,1122)(520,1129,935,1901,3383,3023,1630,788,1130)(526, 1143,2246,3817,4625,3231,3773,2204,1115)(527,1144,2248,3819,4160,4890, 3820,2249,1145)(531,1152,2224,3795,4401,4372,3827,2255,1153)(532,1154, 2170,1094,2169,3723,2356,1214,559)(533,1155,1836,2372,2414,1250,1424, 2259,1156)(535,1160,2266,3836,4885,3798,3839,2268,1161)(538,1166,2278, 3849,4898,4503,3057,1653,1167)(539,1168,2281,3588,4820,4789,3854,2284, 1169)(542,1175,612,1306,2516,3189,2407,1245,578)(544,1179,2300,1809,3256, 4280,3884,2306,1181)(548,1189,2321,3899,4919,4822,3900,2323,1190)(553, 1199,917,1875,2837,1505,2836,2337,1200)(554,1201,2028,3546,3963,2383, 1230,2339,1202)(556,1206,2346,2348,1412,1227,1866,910,1208)(561,582,1251, 2416,2646,1382,648,1381,1216)(562,1217,2362,2496,4080,4217,3942,2363, 1218)(569,1225,2376,3955,4751,4373,3957,2378,1226)(574,1237,2392,3971, 4799,3544,3975,2395,1238)(576,1242,2402,2296,1176,2295,3869,2404,1243) (577,1244,2405,3988,4892,3826,3718,2163,1090)(580,1247,2409,3992,4940, 4922,3907,2330,1195)(586,1260,2429,2379,3165,4396,2884,2433,1261)(588, 701,1484,2035,1012,2034,3102,2439,1264)(595,1274,1081,2152,3508,4619, 3222,2462,1275)(600,1283,2475,3845,2640,1632,791,1039,1284)(606,1294, 2491,1362,639,1360,2609,2495,1295)(607,1296,2497,1755,2917,4419,4083, 2500,1297)(618,1127,2227,3799,3930,2349,2912,1555,742)(621,1320,2544, 4007,2423,3643,4127,2547,1321)(622,1322,2146,3694,4855,4587,3250,1803, 1323)(628,1336,2564,4145,2899,4393,4147,2566,1337)(629,1338,2568,3245, 3841,2270,1162,2269,1339)(633,1347,2583,1891,929,980,1988,2587,1348)(634, 1349,2588,2681,4249,4621,3857,2590,1350)(637,1356,2601,3274,3514,4342, 2807,1487,1358)(642,1367,1886,3370,4325,2984,4201,2622,1368)(643,1369, 2624,1779,3221,3282,2877,1532,1370)(650,1386,2582,2484,1289,2483,3703, 2650,1387)(657,1399,947,1925,1703,3124,4241,2667,1400)(662,1055,1106, 2190,2697,1417,668,1416,1407)(671,1422,2706,4274,3851,2280,2716,1485,702) (673,1426,1328,2097,1047,2096,3564,2046,1428)(676,1434,2724,3400,1911, 3399,2078,2728,1435)(677,1436,2531,4111,3194,1756,855,1131,1437)(680, 1402,2671,3522,2237,3812,2373,2740,1444)(688,1459,2762,4312,3740,4317, 3562,2044,1017)(691,1465,1203,2340,3923,3589,4316,2767,1466)(693,706, 1493,2817,4347,4398,2886,1538,1469)(694,1470,2781,2393,3972,4529,3428, 2783,1471)(698,1478,2794,4332,3268,1820,1739,2797,1479)(700,1483,2005, 3303,4668,3934,2353,1213,1011)(704,1489,2811,3455,4757,4884,4297,2737, 1442)(711,1501,2829,1668,3073,2250,2695,2036,1502)(720,1516,1517)(722, 1520,2314,1186,2313,3891,2784,1472,1521)(724,1523,2864,4345,4917,5006, 4379,2865,1524)(726,1528,2872,3340,4695,4964,4391,2874,1529)(731,1536, 2882,4279,4937,4374,3583,2064,1537)(733,1540,2890,2924,3594,4802,3553, 2893,1541)(748,1565,2275,2734,1440,1707,831,1706,1566)(751,1571,2931, 4117,2537,1316,2536,2933,1572)(752,1573,919,1876,1773,3217,2786,2159, 1087)(755,1578,2943,4433,5011,4790,3646,2642,1579)(757,1582,800,1648, 3047,2801,2968,1595,766)(763,1589,2958,4340,3293,2444,2677,2158,1086) (765,1593,2964,4016,3148,1721,3147,2965,1594)(771,1602,2024,3542,2828, 1500,2308,1182,1603)(775,1611,2988,3344,1867,3061,1656,2990,1612)(778, 1617,2998,4468,4623,3350,2384,1868,1452)(783,1623,2822,1495,2780,4324, 2892,3012,1624)(785,1625,3013,3248,4628,4678,3315,3017,1626)(792,1633, 3027,2719,1429,2717,2635,1375,1340)(794,1146,1659,805,1658,3064,4484, 3032,1637)(795,1034,2072,3389,1904,3388,4486,3035,1638)(801,1649,3050, 3655,2119,3654,4499,3053,1650)(803,1654,3058,2827,2018,3534,3257,1810, 1655)(807,1662,3069,4513,4741,3419,3255,1808,882)(809,1645,3044,3214, 1771,864,838,1719,1665)(812,1670,3077,4048,3778,2849,2037,1209,1671)(813, 1672,3080,2283,3852,4327,4522,3082,1673)(816,1679,2418,1252,834,1712, 3136,3090,1680)(818,1684,3098,2782,2668,4017,3224,1782,871)(819,1685, 3100,4536,4302,2742,4238,2661,1395)(826,1695,1696)(827,1697,1588,2956, 4043,2464,1276,2463,1698)(832,1708,1952,2613,2625,3621,3084,2972,1709) (836,1714,3139,4567,4521,3081,4520,3142,1715)(839,962,1951,3454,3450, 4497,3049,2863,1720)(845,1733,3159,4584,3503,3690,4333,3162,1734)(847, 1737,3168,4590,4744,3425,3220,1777,1738)(849,1742,1016,2043,3560,4806, 4595,3175,1743)(853,1753,2937,1574,2936,4428,3667,2126,1754)(858,1762, 2674,2745,1448,1896,932,1895,1763)(862,1124,2221,3196,1757,3195,3962, 3209,1768)(868,1775,1335,2562,3374,1889,1258,2361,1776)(870,1780,1843, 2261,1157,2260,1492,2815,1781)(872,1783,3226,3644,2113,1058,2112,1303, 1784)(878,1799,3246,4636,4598,3180,1747,1861,1800)(880,1804,3251,4640, 4208,4490,4074,2489,1805)(881,1806,3252,3016,2942,4432,3947,2753,1807) (886,1816,3262,2191,3755,4535,4651,3266,1817)(888,1821,3269,2134,3677, 3933,2352,1212,1822)(894,1834,3291,2129,1068,2128,3669,3292,1835)(896, 1839,2798,1480,1597,2971,4451,3300,1840)(897,1841,3302,3750,4395,2881, 4295,3304,1842)(899,1845,3308,4526,4934,3981,3442,1942,1846)(901,1850, 3318,4682,4516,3816,2242,1139,1007)(906,1857,2560,2612,1361,2610,4189, 3331,1858)(907,1859,3333,1921,2530,4110,4689,3334,1860)(912,1869,3345, 2244,1141,1686,3101,3348,1870)(922,1881,3203,4600,3944,2364,3943,3365, 1882)(923,1883,3366,4705,3714,4817,4197,2619,1366)(930,1064,2121,3659, 4126,2546,4125,3377,1892)(936,1902,3385,2567,4148,4967,4672,3387,1903) (942,1917,3407,4734,3653,2517,4099,3411,1918)(943,1919,3413,4739,4498, 3052,1946,3417,1920)(953,1936,3434,4714,3380,1894,3346,3436,1937)(954, 1938,3438,4485,5016,4927,4752,3440,1939)(960,1948,3448,2156,1569,2928, 4423,3451,1949)(961,1769,3210,4611,4368,4583,3156,1728,1950)(964,1955, 3459,3697,3625,3356,4661,3460,1956)(965,1957,3461,2641,4216,4060,3642, 3463,1958)(966,1959,3464,4761,5035,4758,4730,3465,1960)(968,1964,1722, 3070,3479,4383,2868,3472,1965)(971,1968,2264,3835,4850,4700,3352,3476, 1969)(983,1096,2172,3727,4861,3710,4478,3504,1992)(984,1993,3066,3185, 1750,1661,2472,2569,1994)(986,1998,3510,3970,2391,2512,4095,3511,1999) (987,1089,1897,3381,4547,3113,4436,3512,2000)(993,2009,2935,4426,4942, 4908,3881,3526,2010)(994,2011,3527,2764,2833,1503,2832,3528,2012)(999, 2020,1482,1046,2095,3623,2804,3538,2021)(1000,2022,3540,4796,5002,4336, 4797,3541,2023)(1008,1971,1460,2763,2584,4161,4338,2802,2032)(1014,2039, 3555,4416,4984,4800,4804,3557,2040)(1024,2054,3571,4437,3935,2354,3921, 3573,2055)(1025,2056,3574,4812,4200,4154,2573,3446,2057)(1032,2068,2980, 1606,2201,2747,4305,3590,2069)(1036,2074,2853,4369,3263,3691,3166,1787, 2075)(1037,2076,3600,4787,3525,3796,4198,2620,2077)(1040,2081,3606,2808, 4343,3129,4556,3329,2082)(1045,1945,1123,2220,3776,2814,3885,2307,2094) (1052,2104,3607,3916,2336,3915,4832,3634,2105)(1054,2107,3636,3649,2115, 1059,2114,3373,1888)(1066,1231,1207,2347,2257,3288,1832,2375,2125)(1076, 2142,3686,2598,1354,2527,2453,3688,2143)(1077,2144,3689,3547,3306,1844, 3305,3693,2145)(1079,2149,3699,2664,1397,2663,2660,1394,1987)(1091,2164, 3719,3961,2381,3960,3840,3593,2165)(1092,2166,2987,3443,3630,2099,3629, 3721,2167)(1098,2174,2799,4337,3079,4518,4622,3730,2175)(1104,2186,2806, 1486,2805,3435,4748,3749,2187)(1105,2188,3751,3487,2140,3683,3788,3163, 2189)(1111,2197,3764,4875,4050,4949,4550,3119,1699)(1113,2200,3770,2520, 2834,4356,4196,2618,1365)(1118,2208,3777,2344,3926,4211,4474,3005,2209) (1151,2231,3804,4859,3707,3015,3680,3822,2253)(1170,2285,3078,4517,4944, 4307,3120,3858,2286)(1171,2287,1427,2713,2471,3351,1872,2335,2288)(1173, 2290,3862,3633,4654,5031,4671,3307,2292)(1177,2297,3872,4906,4965,4670, 4783,3516,2002)(1180,2301,3877,3088,4527,4289,2725,2385,2303)(1185,2311, 2940,4431,4397,4375,4914,3890,2312)(1191,1498,2826,4353,3666,2124,3665, 3902,2324)(1193,2326,3273,1823,3272,4633,4905,3905,2327)(1194,2328,1797, 1666,2966,2477,2563,3906,2329)(1204,2341,2662,4239,3521,4784,4926,3925, 2342)(1215,2357,3939,3332,4229,2655,4228,3444,2358)(1222,1235,2390,3969, 3868,2294,3867,3949,2369)(1223,2370,3951,4187,4932,4012,3953,2437,2371) (1233,2387,3966,3640,3794,2223,3449,3936,2355)(1239,2004,3518,4427,3213, 4613,3353,3976,2396)(1241,2070,3591,3733,2507,1301,2506,3982,2400)(1248, 2411,3995,3494,1982,3493,2895,1543,2412)(1257,2426,3160,1795,1509,2679, 1406,2678,2427)(1263,1379,2052,3569,3323,1853,3322,3756,2436)(1265,2440, 3330,3260,1813,3259,4646,3938,2441)(1267,2445,4029,4301,3376,4711,3959, 4030,2446)(1278,1786,3229,4624,3991,4776,4093,4051,2468)(1279,1326,2554, 4135,4769,3486,4149,3085,2469)(1285,2478,4059,3808,2233,3807,4167,2593, 1352)(1286,2479,4061,4523,4447,3559,2041,3558,2359)(1288,2481,4064,3181, 3886,4910,4886,4067,2482)(1298,2501,1674,3083,4524,5007,4385,3193,2502) (1299,2503,2058,3577,4276,2710,2430,4018,2504)(1300,2505,4086,4141,2558, 3284,1829,1414,1922)(1304,2510,4091,3359,1877,3358,3765,4094,2511)(1309, 2523,4105,4608,4006,4704,3361,4106,2524)(1310,2525,4107,4162,2585,3997, 3842,3271,2526)(1315,2534,4113,4961,4381,4972,4282,4116,2535)(1324,2550, 4130,4921,3901,3738,4870,4132,2551)(1330,2555,4137,3919,2338,3918,4408, 2901,1550)(1331,2556,4138,4707,4924,5036,4903,4140,2557)(1334,2561,4142, 3736,2180,3735,3802,2229,2406)(1342,2572,3030,1635,3029,4477,4681,4156, 2574)(1345,2579,3009,3973,2394,3950,4483,3028,1634)(1351,2591,2659,4235, 3994,2410,1432,1976,2592)(1357,2604,4178,4308,2755,3172,1741,3171,2605) (1371,2626,4206,2914,4417,3572,2647,1383,2627)(1374,2633,4212,2729,4291, 2861,4378,4213,2634)(1390,2652,2565,3651,2117,3152,1725,1981,2653)(1404, 2675,3874,2923,3556,4210,2630,3021,1898)(1409,2685,2176,3731,4627,3232, 1789,1557,2686)(1411,2688,4258,4814,4754,4440,2948,3624,2689)(1418,2698, 4195,3502,1990,3501,3473,1966,1986)(1419,2699,2867,1525,2866,4380,4990, 4268,2700)(1420,2701,4270,4049,4131,3657,2120,3656,2703)(1433,2721,4283, 4014,2907,4413,3041,4284,2722)(1438,2730,1544,2896,4406,4151,2570,2435, 2731)(1441,2735,4296,4376,3803,2946,1580,2945,2736)(1447,2473,4055,4951, 4415,2911,3922,4264,2744)(1451,2750,3469,1962,3468,4155,2894,1542,2751) (1463,2769,2447,4031,2672,4243,3769,4318,2770)(1464,2771,1556,2913,3728, 2542,4120,4315,2772)(1467,2777,4321,3967,4648,3261,4566,3717,2778)(1473, 1716,3143,3492,3937,4551,3121,3670,2785)(1475,2789,4328,4998,4531,3094, 3055,2271,2776)(1508,2842,4361,5004,4887,4168,2595,3238,2843)(1513,2850, 2978,2824,4351,5003,4400,2897,1545)(1515,2578,4159,3664,4846,4943,4847, 4027,2854)(1518,2856,4114,4962,4403,2889,4402,3034,2857)(1519,2858,2955, 1587,2954,3834,2263,3833,2859)(1527,2871,4386,3495,1983,3076,3038,1642, 2091)(1531,2875,4143,3825,3317,1849,3316,4392,2876)(1533,1934,3431,3913, 4883,4810,3568,2051,2878)(1535,2879,4394,2989,4459,5001,4334,2795,2880) (1539,2887,4399,3408,4612,3212,1770,3211,2888)(1551,2902,1701,3122,3068, 1660,3067,2451,2903)(1562,2919,4150,4968,4995,4286,2723,4285,2920)(1567, 2925,4420,4184,4538,4001,4234,2983,1609)(1577,2941,4065,4457,4849,3675, 3668,2127,2739)(1581,2202,3771,3223,4620,5014,4453,2975,2947)(1583,2476, 4058,4952,4472,3524,3752,4441,2950)(1585,2267,3838,4204,2967,3123,2657, 4232,2953)(1590,2318,3897,4918,4955,4079,4794,3536,2960)(1592,2432,4020, 3609,2083,3608,4824,4207,2963)(1599,2548,4128,4929,3929,2345,3927,4452, 2974)(1613,2991,4461,4350,2821,3458,4759,4463,2992)(1615,2995,4405,2891, 4404,4911,3887,2310,2996)(1619,3002,3986,4300,3087,1677,3086,4471,3003) (1621,3006,4475,4172,2599,4026,2442,4025,3007)(1627,2979,3287,1831,2694, 4261,4722,4446,3018)(1628,3019,4320,2775,2279,3298,4465,3319,3020)(1640, 3036,3613,2934,3014,2905,4411,4119,2540)(1643,3039,4489,3737,2181,3462, 4760,4170,3040)(1646,2086,3612,3954,3398,1909,3397,2493,3045)(1651,3054, 4501,4226,4708,3474,4514,3072,1761)(1663,2025,3543,4511,3063,4122,4634, 3243,2084)(1669,3074,4515,4129,3500,1989,3499,2332,3075)(1676,3051,4479, 4221,4180,3601,4352,3233,1790)(1681,3091,3702,2150,3701,3280,4657,4068, 3092)(1683,3095,4532,3219,4617,4179,3931,2351,3096)(1688,3105,4330,2790, 2930,4388,4013,3384,3106)(1689,3107,4540,3253,4643,4745,3427,1931,3108) (1693,3114,3174,4594,4365,2847,2693,4260,3115)(1704,1907,3394,3684,4278, 4994,5022,4553,3125)(1710,3132,4559,4842,3759,3866,4902,4562,3133)(1711, 3134,4564,4765,3619,2092,2977,3447,3135)(1717,3144,4570,3584,4819,4979, 5027,4571,3145)(1724,3150,4576,4779,3632,2103,3631,4577,3151)(1726,2218, 3787,4879,5028,4933,4412,3592,2071)(1730,3157,3554,4266,4811,3628,2098, 3627,3158)(1745,2366,1899,2460,2519,4100,3856,4057,3177)(1749,3183,3184) (1751,3186,4601,4022,3782,4569,3974,4602,3187)(1759,3199,3744,3498,4774, 4720,4247,4607,3200)(1766,3205,4292,2803,2666,2749,3335,1862,3206)(1791, 3234,4629,3379,1893,3378,3563,2045,3235)(1793,3236,4630,3698,3520,2007, 2179,3734,3237)(1812,2466,4046,4948,4220,2645,2434,4021,3258)(1818,2682, 4250,3343,3405,1915,3404,4652,3267)(1825,3277,4582,5024,4639,3249,4638, 4467,3278)(1838,3295,2532,4112,3161,4586,4470,4666,3296)(1847,3311,4549, 3118,3452,4755,3599,4675,3312)(1852,2498,4081,4504,4909,5039,5012,4443, 3321)(1863,3336,4691,3430,1933,2212,3781,4692,3337)(1865,3341,4696,3871, 2320,2813,2454,4035,3342)(1884,2611,4191,3873,4667,3301,3800,4706,3367) (1885,3368,2108,3410,3713,4863,4821,3597,3369)(1887,3371,4615,3216,4614, 4464,3109,4541,3372)(1890,1984,3496,4492,4414,2908,3696,4710,3375)(1905, 3390,4724,5025,4552,4719,3426,1928,3391)(1908,3395,4684,4339,4539,4269, 4991,4726,3396)(1914,3402,4033,4945,4736,3409,2916,3964,3403)(1940,3025, 2839,2282,2690,4259,3392,3416,3420)(1954,3456,4222,4690,4505,5019,4838, 3645,3457)(1961,3466,4519,4867,3720,3481,3895,4450,3467)(1972,3478,4175, 2602,4174,3993,4701,3357,3299)(1975,3482,4766,4679,5033,4974,4658,4767, 3483)(1977,3484,4309,4996,4462,3104,4293,2732,3485)(1979,3489,2014,3531, 4792,4281,2720,3685,3490)(1995,3505,3742,2621,2597,4047,4003,4743,3424) (1996,3506,2957,2228,3801,2251,3821,4778,3507)(2003,2184,3743,4872,3956, 4618,4805,3579,3517)(2013,3529,4183,2606,4182,4568,3753,4791,3530)(2015, 3532,4793,4041,4346,4716,4977,4194,2617)(2019,2210,3779,2915,4418,3620, 4829,4434,3535)(2033,3422,4725,4992,4781,4439,4777,4480,3551)(2050,3566, 4808,5015,4775,4897,4605,3192,3567)(2063,3581,4815,3876,2299,3324,4458, 4816,3582)(2079,3602,4823,5037,4826,3610,4076,2492,3603)(2088,3615,4331, 4999,4840,3652,4040,4699,3616)(2101,2488,4073,4954,5038,4923,3909,4756, 3453)(2110,3637,4834,4985,4603,3190,3065,4512,3638)(2122,3661,4843,3978, 3140,3537,3792,4697,3347)(2130,3671,4144,4904,3870,4788,5029,4709,3672) (2160,3320,4683,3726,4062,4780,4976,4185,3715)(2168,2399,3980,4939,4966, 5040,5021,4868,3722)(2196,3761,2727,2702,4271,4124,2545,4123,3762)(2199, 3767,4533,4813,3578,4319,4928,4203,3768)(2211,2793,2926,3864,3739,4871, 4833,4688,3780)(2215,3783,3611,4827,4322,4115,4963,4731,3784)(2222,3071, 2397,3977,2539,3441,4753,4560,3793)(2226,3747,4807,4907,5008,4407,4306, 2748,3797)(2232,3805,4275,4993,4649,3704,4857,3754,3806)(2239,3813,4889, 4837,3641,4836,4610,4510,3814)(2247,2774,3230,4173,4011,2425,4010,3363, 3310)(2254,3823,4891,3917,3116,4190,3711,3990,3824)(2256,3828,4674,3818, 3010,2949,3576,4335,2796)(2258,2830,4354,3878,4102,2521,4101,4687,3829) (2277,3847,3270,4653,3475,2773,4209,2628,3848)(2289,3860,3042,4491,4830, 5013,4445,2961,3861)(2291,3863,4901,4773,4647,5030,4680,3898,2319)(2302, 3879,4042,4104,4075,4662,3552,3830,3880)(2304,2322,2499,4082,3097,3948, 4825,3987,3882)(2315,3892,4045,2465,4044,4946,4038,2458,3893)(2333,2515, 3729,4546,3112,4545,3660,3745,3911)(2343,3598,4482,4214,2638,4181,2623, 4202,3687)(2360,3940,2449,4032,3775,3297,3477,2768,3941)(2367,3920,4188, 2608,4186,4024,4935,3998,3946)(2389,3037,4487,4786,4039,2461,3227,3945, 3968)(2401,3983,3809,2838,2669,4163,3561,3289,3984)(2415,2704,2494,4077, 3089,4528,5020,4931,3999)(2417,4002,4070,2757,3639,3692,4853,4019,2431) (2452,2651,4225,4136,4669,4544,3111,4543,4034)(2455,4036,4729,4882,3791, 4592,3169,4591,4037)(2474,4056,3364,3647,4092,4896,4936,4277,2714)(2485, 4069,4642,4364,3033,4310,4913,3889,3875)(2508,4089,3706,4858,4341,4728, 3513,2951,4090)(2513,4096,4957,4223,2649,3575,2636,3141,3433)(2518,3626, 4496,3048,4495,4770,4673,4008,3758)(2529,4108,4558,3130,4557,4244,4986, 4960,4109)(2549,3673,4287,3338,4693,4740,4975,4390,2873)(2552,4133,3131, 3406,4732,4530,3093,4236,4134)(2575,4053,3349,4698,3662,4844,4715,4970, 4157)(2589,4165,4860,5034,5005,4362,2845,4248,2680)(2603,4176,4973,4469, 2999,4254,3056,3596,4177)(2665,3903,4367,2851,4366,4656,4272,4735,4240) (2676,3421,4742,4563,5026,4677,3313,4676,4246)(2683,4251,4088,4869,4841, 3658,4410,2904,4252)(2696,4262,4989,4831,5000,4877,4166,4785,4263)(2738, 3202,4581,3154,4580,4314,4377,2860,4298)(2746,4304,4237,4255,4947,4606, 4874,3763,4267)(2752,3191,4604,4702,4916,4387,3207,4609,3815)(2761,2938, 4430,3850,3908,4344,4575,4895,4205)(2787,4326,4997,4727,4795,3539,3309, 2962,3989)(2819,4349,4893,4798,4987,4502,4881,3790,4004)(2841,4359,3837, 3859,4139,4894,4969,4152,4360)(2855,4370,4311,4429,3265,4650,4865,4329, 4371)(2870,4384,4971,4171,4941,4000,4245,4435,2944)(2927,3996,3952,4494, 3046,4493,5018,4978,4422)(2932,4052,4950,4930,3932,3928,4876,5010,4425) (2959,3011,4476,4828,4525,4631,4768,3587,4444)(3059,4303,4506)(3060,4507, 4982,4224,4750,3437,4749,4713,4508)(3099,4534,3470,4703,3894,4466,4953, 4066,3264)(3117,3648,3497,4561,4456,4818,5017,4488,4548)(3127,4555,4733, 4718,3386,4717,4028,3137,3439)(3128,3414,4071,4664,3294,4663,5032,4655, 3276)(3149,4573,4956,4084,3182,4599,4983,4227,4574)(3153,4578,3240,4632, 4762,4585,4915,4389,4579)(3167,4589,3415,4455,4864,4449,4460,3290,4253) (3178,3853,4899,4097,3491,4771,4888,4694,4597)(3247,4626,4772,4313,4981, 4421,4438,3681,4637)(3254,4644,4801,4299,4509,4809,5023,4959,4645)(3285, 4659,4988,4925,4588,4835,4723,4845,4660)(3327,4686,4641,4958,4103,4920, 4763,3471,3355)(3412,4737,4873,4542,4288,4848,4233,3810,4738)(3423,4078, 4409,4854,4712,3757,4856,3700,4098)(3432,4746,4164,3604,4803,3924,4900, 4980,4747)(3545,3650,4839,3888,4912,3979,4938,4242,4230)(3712,4862,5009, 4665,4537,4593,4500,4721,4565)(3732,4085,3831,4265,4851,4764,4866,4878, 4146);