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