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