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