bin1 := (1,3,8,10,4)(2,5,12,14,6)(7,15,28,30,16)(9,18,33,35,19)(11,21,39,41,22)
     (13,24,44,46,25)(17,31,56,58,32)(20,36,64,66,37)(23,42,74,76,43)(26,47,
     82,84,48)(27,49,86,88,50)(29,52,92,94,53)(34,60,105,107,61)(38,67,116,
     118,68)(40,70,122,124,71)(45,78,133,135,79)(51,89,149,114,90)(54,95,77,
     131,96)(55,97,158,160,98)(57,100,163,165,101)(59,102,125,72,103)(62,108,
     99,161,109)(63,110,175,177,111)(65,112,179,181,113)(69,119,188,142,120)
     (73,126,196,198,127)(75,129,201,203,130)(80,136,128,199,137)(81,138,212,
     214,139)(83,140,216,218,141)(85,134,207,219,143)(87,145,223,225,146)(91,
     150,232,233,151)(93,153,237,239,154)(104,168,259,261,169)(106,170,263,
     182,115)(117,184,284,286,185)(121,189,292,293,190)(123,192,296,298,193)
     (132,205,313,315,206)(144,220,255,166,221)(147,226,191,294,227)(148,228,
     272,346,229)(152,234,287,186,235)(155,240,290,361,241)(156,242,363,365,
     243)(157,244,317,208,245)(159,246,369,371,247)(162,249,375,377,250)(164,
     252,380,381,253)(167,256,385,387,257)(171,264,195,301,265)(172,266,399,
     401,267)(173,268,403,310,269)(174,270,406,408,271)(176,273,409,411,274)
     (178,276,415,417,277)(180,279,419,421,280)(183,281,311,204,282)(187,288,
     324,432,289)(194,299,230,347,300)(197,302,447,449,303)(200,305,453,454,
     306)(202,308,457,458,309)(209,318,469,471,319)(210,320,382,254,321)(211,
     322,475,477,323)(213,325,478,480,326)(215,328,484,486,329)(217,331,488,
     490,332)(222,336,498,499,337)(224,339,501,503,340)(231,348,516,518,349)
     (236,354,527,529,355)(238,357,533,535,358)(248,372,251,378,373)(258,388,
     573,575,389)(260,391,578,580,392)(262,394,523,352,395)(275,412,278,418,
     413)(283,424,623,557,376)(285,426,625,627,427)(291,433,636,638,434)(295,
     438,644,646,439)(297,441,649,651,442)(304,450,307,455,451)(312,460,670,
     672,461)(314,463,674,676,464)(316,466,642,437,467)(327,481,330,487,482)
     (333,491,338,465,492)(334,493,542,712,494)(335,495,714,716,496)(341,504,
     459,668,505)(342,506,729,731,507)(343,508,536,359,509)(344,510,735,737,
     511)(345,512,739,606,513)(350,519,741,514,520)(351,521,440,647,522)(353,
     524,751,753,525)(356,530,641,436,531)(360,537,768,770,538)(362,540,773,
     774,541)(364,543,776,778,544)(366,546,462,673,547)(367,548,783,785,549)
     (368,550,787,702,485)(370,551,788,790,552)(374,554,794,795,555)(379,559,
     801,802,560)(383,564,628,428,565)(384,566,811,812,567)(386,569,814,816,
     570)(390,576,655,445,577)(393,581,396,584,425)(397,585,835,837,586)(398,
     587,779,545,588)(400,589,841,843,590)(402,592,662,848,593)(404,595,851,
     852,596)(405,597,854,856,598)(407,600,859,861,601)(410,604,867,869,605)
     (414,609,874,875,610)(416,446,656,877,611)(420,615,882,884,616)(422,618,
     568,813,619)(423,620,888,890,621)(429,629,652,443,630)(430,631,902,904,
     632)(431,633,906,697,634)(435,639,771,539,640)(444,653,929,931,654)(448,
     657,934,936,658)(452,660,940,941,661)(456,664,944,945,665)(468,679,817,
     571,680)(470,681,964,966,682)(472,684,556,796,685)(473,686,971,972,687)
     (474,688,974,976,689)(476,691,978,980,692)(479,695,984,986,696)(483,700,
     725,991,701)(489,706,996,998,707)(497,717,1012,1014,718)(500,721,612,878,
     614)(502,723,1023,1025,724)(515,742,1047,1049,743)(517,745,1053,1055,746)
     (526,754,1066,1067,755)(528,757,1069,1071,758)(532,761,1077,1079,762)
     (534,733,1036,1083,764)(553,791,805,562,792)(558,798,666,946,799)(561,
     803,942,663,804)(563,806,967,683,807)(572,818,1141,1143,819)(574,821,
     1145,1147,822)(579,827,1157,1159,828)(582,830,1032,870,607)(583,831,1163,
     1165,832)(591,844,594,849,845)(599,857,994,704,858)(602,862,694,982,863)
     (603,864,981,693,865)(608,871,730,617,872)(613,879,690,977,880)(622,891,
     1231,1119,892)(624,894,703,993,705)(626,896,1237,1239,897)(635,908,1254,
     1256,909)(637,911,1259,1261,912)(643,916,1268,1269,917)(645,775,1096,
     1272,919)(648,922,1276,1278,923)(650,900,1244,1281,925)(659,937,947,667,
     938)(669,949,1303,1305,950)(671,952,1307,1309,953)(675,957,1315,1317,958)
     (677,960,1063,987,698)(678,840,1177,1320,961)(699,988,752,708,989)(709,
     999,820,1144,1000)(710,1001,1366,1368,1002)(711,1003,1370,1138,1004)(713,
     1006,1375,1108,784)(715,1008,1378,1380,1009)(719,1015,969,808,1016)(720,
     1017,895,1235,1018)(722,1020,1121,797,1021)(726,1026,1402,1404,1027)(727,
     1028,1406,1229,1029)(728,1030,1409,1411,1031)(732,1034,756,1068,1035)
     (734,1037,1416,1418,1038)(736,1039,1420,1422,1040)(738,1042,959,1104,781)
     (740,1044,1429,1431,1045)(744,1050,1274,921,1051)(747,1056,1287,1444,
     1057)(748,1058,1446,1218,881)(749,1059,1084,765,1060)(750,1061,1450,1452,
     1062)(759,1072,924,1279,1073)(760,1074,910,1257,1075)(763,1080,1273,920,
     1081)(766,1085,1453,1064,1086)(767,1087,1480,1482,1088)(769,1090,1485,
     1486,1091)(772,1092,1488,1490,1093)(777,1098,1498,1500,1099)(780,1102,
     1505,1507,1103)(782,1105,1510,1512,1106)(786,1110,1517,1355,1111)(789,
     1113,1521,1522,1114)(793,1116,1526,1528,1117)(800,1123,1536,1361,997)
     (809,1128,1543,1545,1129)(810,1130,1547,1549,1131)(815,1136,1556,1558,
     1137)(823,1148,956,1313,1149)(824,1150,1107,1513,1151)(825,1152,1575,
     1577,1153)(826,1154,1310,954,1155)(829,1160,932,905,1161)(833,1166,951,
     1306,1167)(834,1168,1594,1596,1169)(836,887,1225,1599,1171)(838,1173,
     1132,1550,1174)(839,1175,1603,1605,1176)(842,1178,1608,1609,1179)(846,
     1182,1615,1617,1183)(847,948,1233,893,1184)(850,1186,1622,1623,1187)(853,
     1190,1627,1628,1191)(855,1193,1632,1634,1194)(860,1199,1640,1642,1200)
     (866,1204,1649,1651,1205)(868,1206,1653,1655,1207)(873,1211,1661,1567,
     1212)(876,1214,1292,1666,1215)(883,943,1299,1671,1219)(885,1221,1675,
     1677,1222)(886,1223,1501,1100,1224)(889,1227,1683,1685,1228)(898,1240,
     1381,1010,1241)(899,1242,918,1270,1243)(901,1245,1705,1707,1246)(903,
     1247,1709,1711,1248)(907,1251,1715,1717,1252)(913,1262,1089,1483,1263)
     (914,1264,1731,1360,995)(915,1265,1282,926,1266)(927,1283,1412,1033,1284)
     (928,1285,1756,1758,1286)(930,1288,1759,1760,1289)(933,1290,1663,1213,
     1291)(935,1293,1764,1765,1294)(939,1296,1769,1771,1297)(955,1311,1170,
     1597,1312)(962,1321,1094,1491,1322)(963,1323,1802,1804,1324)(965,1325,
     1806,1807,1326)(968,1328,1811,1813,1329)(970,1330,1815,1816,1331)(973,
     1334,1820,1638,1197)(975,1336,1823,1825,1337)(979,1341,1830,1832,1342)
     (983,1346,1837,1839,1347)(985,1348,1841,1843,1349)(990,1353,1849,1783,
     1354)(992,1356,1112,1519,1357)(1005,1372,1007,1376,1373)(1011,1382,1883,
     1885,1383)(1013,1385,1889,1891,1386)(1019,1391,1856,1362,1392)(1022,1395,
     1905,1907,1396)(1024,1398,1910,1912,1399)(1041,1423,1250,1713,1424)(1043,
     1426,1712,1249,1427)(1046,1432,1950,1951,1433)(1048,1434,1953,1955,1435)
     (1052,1437,1959,1925,1410)(1054,1439,1963,1965,1440)(1065,1454,1985,1987,
     1455)(1070,1460,1995,1997,1461)(1076,1466,2004,2006,1467)(1078,1469,2009,
     2010,1470)(1082,1474,1926,2018,1475)(1095,1492,1135,1554,1493)(1097,1495,
     1551,1133,1496)(1101,1502,1515,1109,1503)(1115,1523,1124,1537,1524)(1118,
     1529,1538,1125,1530)(1120,1531,1188,1624,1532)(1122,1352,1847,2084,1534)
     (1126,1210,1659,2086,1539)(1127,1540,2088,2090,1541)(1134,1552,1226,1681,
     1553)(1139,1559,1600,1172,1560)(1140,1561,1679,2114,1562)(1142,1564,2118,
     2120,1565)(1146,1569,2123,2125,1570)(1156,1579,2138,2139,1580)(1158,1581,
     2141,2143,1582)(1162,1586,1637,1196,1587)(1164,1589,2153,2154,1590)(1180,
     1610,2182,2184,1611)(1181,1612,1625,1189,1613)(1185,1619,1332,1817,1620)
     (1192,1629,1836,1345,1630)(1195,1635,1198,1639,1636)(1201,1643,1359,1855,
     1644)(1202,1645,1656,1208,1646)(1203,1647,1335,1821,1648)(1209,1657,1588,
     2151,1658)(1216,1667,1696,2249,1668)(1217,1669,1833,1343,1670)(1220,1672,
     1234,1692,1673)(1230,1686,2077,2269,1687)(1232,1689,2273,2275,1690)(1236,
     1694,2280,2282,1695)(1238,1697,2284,2286,1698)(1253,1718,2307,2308,1719)
     (1255,1720,2310,2312,1721)(1258,1723,2315,1983,1451)(1260,1725,2318,2320,
     1726)(1267,1734,2333,2335,1735)(1271,1739,2107,2340,1740)(1275,1744,2343,
     2345,1745)(1277,1484,2029,2347,1747)(1280,1750,1984,2352,1751)(1295,1766,
     1300,1775,1767)(1298,1772,1776,1301,1773)(1302,1777,1371,1869,1778)(1304,
     1780,2378,2380,1781)(1308,1785,2382,2384,1786)(1314,1791,2389,2390,1792)
     (1316,1793,2392,2233,1794)(1318,1796,1828,1339,1797)(1319,1798,2180,2398,
     1799)(1327,1808,1818,1333,1809)(1338,1826,1340,1829,1827)(1344,1834,1844,
     1350,1835)(1351,1845,1606,2177,1846)(1358,1853,1397,1908,1854)(1363,1857,
     2457,2455,1858)(1364,1859,2126,1571,1860)(1365,1861,2461,2463,1862)(1367,
     1864,2467,2468,1865)(1369,1867,1462,1998,1703)(1374,1872,2475,2060,1873)
     (1377,1876,2480,2059,1511)(1379,1878,2483,2485,1879)(1384,1886,1902,1393,
     1887)(1387,1892,1916,2504,1893)(1388,1894,2506,2413,1895)(1389,1896,2508,
     2509,1897)(1390,1898,1913,1400,1899)(1394,1903,2516,2517,1904)(1401,1914,
     2528,2530,1915)(1403,1917,2531,2533,1918)(1405,1920,2167,2387,1789)(1407,
     1752,2001,1464,1738)(1408,1922,2537,2539,1923)(1413,1927,2519,1906,1928)
     (1414,1678,2258,1741,1929)(1415,1930,2348,1748,1931)(1417,1822,2422,2548,
     1933)(1419,1935,2552,2026,1481)(1421,1937,2555,2556,1938)(1425,1941,2561,
     2135,1942)(1428,1944,2565,2566,1945)(1430,1947,2569,2571,1948)(1436,1956,
     1724,2316,1957)(1438,1960,2313,1722,1961)(1441,1966,1465,2002,1967)(1442,
     1968,2592,2594,1969)(1443,1970,2596,2031,1971)(1445,1973,2512,1900,1974)
     (1447,1976,1746,2346,1977)(1448,1978,2603,2605,1979)(1449,1980,2607,2609,
     1981)(1456,1988,2349,1749,1989)(1457,1990,1494,2039,1991)(1458,1701,1476,
     2019,1742)(1459,1992,2337,1737,1993)(1463,1999,2488,1881,2000)(1468,2007,
     2330,1732,2008)(1471,2011,1704,2291,2012)(1472,2013,1736,2336,2014)(1473,
     1919,2534,1921,2015)(1477,2020,1924,2540,2021)(1478,2022,2649,2650,2023)
     (1479,2024,2651,2653,2025)(1487,2032,2662,2664,2033)(1489,2035,2668,2669,
     2036)(1497,2041,2678,2680,2042)(1499,2043,2682,2684,2044)(1504,2048,2689,
     2691,2049)(1506,2051,2695,2697,2052)(1508,2054,2303,2700,2055)(1509,2056,
     2702,2703,2057)(1514,2062,2263,2709,2063)(1516,2065,2239,2714,2066)(1518,
     2068,2717,2718,2069)(1520,2071,2721,2722,2072)(1525,2075,2726,2727,2076)
     (1527,2078,2729,2731,2079)(1533,2082,2287,1699,2083)(1535,2028,2657,2329,
     2085)(1542,1939,2557,2745,2091)(1544,2093,2747,2749,2094)(1546,2095,2751,
     2753,2096)(1548,2098,2756,2757,2099)(1555,2105,2767,2769,2106)(1557,2108,
     2771,2773,2109)(1563,2115,2388,1790,2116)(1566,2121,1568,1868,2122)(1572,
     2127,2144,1583,2128)(1573,1700,2288,1874,2129)(1574,2130,2793,2795,2131)
     (1576,2133,2799,2801,2134)(1578,2136,1779,2204,2137)(1584,2145,1946,2567,
     2146)(1585,2147,2698,2053,2148)(1591,2155,2819,2248,2156)(1592,2157,2247,
     1787,2158)(1593,2159,2822,2823,2160)(1595,1682,2262,2826,2162)(1598,2165,
     1877,2481,2166)(1601,2169,2833,2834,2170)(1602,2171,2836,2838,2172)(1604,
     2174,2841,2842,2175)(1607,2178,2845,2847,2179)(1614,2186,2412,1812,2187)
     (1616,2189,1810,2410,2190)(1618,2192,2092,2746,2193)(1621,2195,2867,2869,
     2196)(1626,2200,2875,2395,2201)(1631,2206,2883,2293,1706)(1633,2208,2887,
     2889,2209)(1641,2216,2901,2903,2217)(1650,2225,2913,2915,2226)(1652,2228,
     2919,2921,2229)(1654,2231,2923,2924,2232)(1660,2237,2930,2932,2238)(1662,
     2240,2933,2905,2219)(1664,2242,2936,2938,2243)(1665,2244,2940,2368,2245)
     (1674,2253,2950,2952,2254)(1676,2256,2955,2956,2257)(1680,2259,2827,2163,
     2260)(1684,2264,2962,2964,2265)(1688,2270,2279,1693,2271)(1691,2276,2861,
     2191,2277)(1702,2289,2983,2281,2290)(1708,2295,3000,2359,1757)(1710,2297,
     3003,3004,2298)(1714,2301,2866,3008,2302)(1716,2304,3010,3012,2305)(1727,
     2321,1743,2341,2322)(1728,2323,3032,3034,2324)(1729,2325,3036,2362,2326)
     (1730,2327,2980,2278,2328)(1733,2331,3040,3042,2332)(1753,2353,1982,2610,
     2354)(1754,2355,3070,3071,2356)(1755,2357,3072,3074,2358)(1761,2363,2449,
     3080,2364)(1762,2365,3081,3082,2366)(1763,2074,2724,3083,2367)(1768,2369,
     3085,3086,2370)(1770,2371,3088,3090,2372)(1774,1972,2598,1975,2374)(1782,
     1866,1784,2046,2381)(1788,2385,2394,1795,2386)(1800,2399,3120,3121,2400)
     (1801,2401,3123,3125,2402)(1803,2404,3128,3129,2405)(1805,2407,3131,3133,
     2408)(1814,2414,3140,3141,2415)(1819,2419,2814,2149,2420)(1824,2424,3149,
     3151,2425)(1831,2431,3161,3163,2432)(1838,2234,2925,3170,2438)(1840,2440,
     3174,3176,2441)(1842,2443,3178,3179,2444)(1848,2447,3184,3186,2448)(1850,
     2450,3187,2944,2250)(1851,2451,3189,3191,2452)(1852,2453,2723,2073,2454)
     (1863,2464,2959,2261,2465)(1870,2470,3207,3209,2471)(1871,2472,2965,2266,
     2473)(1875,2477,2255,2953,2478)(1880,2486,2103,2764,2487)(1882,2489,3230,
     3232,2490)(1884,2491,3234,3236,2492)(1888,2496,3244,3190,2497)(1890,2499,
     3188,3248,2500)(1901,2513,3264,3265,2514)(1909,2522,3276,3278,2523)(1911,
     2525,3281,3283,2526)(1932,2545,2563,1943,2546)(1934,2549,1936,2553,2550)
     (1940,2558,2572,1949,2559)(1952,2575,3337,3338,2576)(1954,2578,3340,3342,
     2579)(1958,2581,3346,3347,2582)(1962,2585,3352,3353,2586)(1964,2587,3355,
     3357,2588)(1986,2612,3388,3390,2613)(1994,2618,3400,3402,2619)(1996,2620,
     3404,3406,2621)(2003,2627,3415,3416,2628)(2005,2630,3418,3256,2631)(2016,
     2641,3436,3438,2642)(2017,2643,3440,3442,2644)(2027,2655,2361,3077,2656)
     (2030,2659,3076,2360,2660)(2034,2665,2765,2104,2666)(2037,2670,2403,3126,
     2671)(2038,2672,2685,2045,2673)(2040,2675,2097,2754,2676)(2047,2686,2161,
     2824,2687)(2050,2692,2707,2061,2693)(2058,2704,2775,2111,2705)(2064,2710,
     2991,2406,2711)(2067,2715,2942,2246,2716)(2070,2719,2241,2934,2720)(2080,
     2732,2236,2928,2733)(2081,2734,3540,3541,2735)(2087,2739,3549,3551,2740)
     (2089,2741,3553,3555,2742)(2100,2758,2173,2839,2759)(2101,2760,2774,2110,
     2761)(2102,2762,3576,3578,2763)(2112,2776,3594,3596,2777)(2113,2778,3302,
     2542,2482)(2117,2781,3603,3492,2690)(2119,2783,3606,3607,2784)(2124,2787,
     3613,3615,2788)(2132,2796,2828,2164,2797)(2140,2806,3637,3639,2807)(2142,
     2809,3641,3642,2810)(2150,2815,3650,3195,2459)(2152,2817,3653,3304,2544)
     (2168,2830,2535,2176,2831)(2181,2848,3686,3688,2849)(2183,2850,3689,3691,
     2851)(2185,2853,2197,2870,2854)(2188,2857,2871,2198,2858)(2194,2864,3702,
     3703,2865)(2199,2872,3556,2743,2873)(2202,2877,2434,2430,2878)(2203,2879,
     2423,3147,2880)(2205,2881,3715,3716,2882)(2207,2884,2898,2214,2885)(2210,
     2890,2223,2911,2891)(2211,2892,3729,3731,2893)(2212,2894,2904,2218,2895)
     (2213,2896,3680,2843,2897)(2215,2899,2421,2906,2220)(2221,2907,2224,2912,
     2908)(2222,2909,3746,3747,2910)(2227,2916,2230,2922,2917)(2235,2926,3761,
     3118,2927)(2251,2945,3781,3782,2946)(2252,2947,3779,2943,2948)(2267,2966,
     3802,3804,2967)(2268,2968,3806,3538,2969)(2272,2973,3772,2937,2458)(2274,
     2975,2935,3770,2976)(2283,2985,3243,3824,2986)(2285,2988,3826,3828,2989)
     (2292,2994,3006,2300,2995)(2294,2997,2296,3001,2998)(2299,2868,3013,2306,
     3005)(2309,3016,3855,3373,2600)(2311,3018,3857,3859,3019)(2314,3021,3862,
     3298,3022)(2317,3025,3865,3866,3026)(2319,3027,3868,3870,3028)(2334,3044,
     3889,3891,3045)(2338,3048,3896,3898,3049)(2339,3050,3900,3591,3051)(2342,
     3054,3904,3905,3055)(2344,3057,3906,3698,3058)(2350,3063,3913,3915,3064)
     (2351,3065,3917,3450,3066)(2373,3091,2446,3182,3092)(2375,3094,3948,3950,
     3095)(2376,3096,3409,2623,2961)(2377,3097,3952,3622,2794)(2379,3099,3955,
     3956,3100)(2383,3103,3961,3963,3104)(2391,3111,3755,3972,3112)(2393,3114,
     3974,3975,3115)(2396,3116,3783,3655,2820)(2397,3117,3977,3429,2637)(2409,
     3134,2416,3142,3135)(2411,3137,3143,2417,3138)(2418,3144,3692,2852,3145)
     (2426,3152,2436,3167,3153)(2427,3154,4012,4014,3155)(2428,3156,3164,2433,
     3157)(2429,3158,3651,2816,3159)(2435,3165,2437,3168,3166)(2439,3171,2442,
     3177,3172)(2445,3180,3654,2818,3181)(2456,3194,3274,2521,2874)(2460,3196,
     4049,4051,3197)(2462,2755,3568,4052,3199)(2466,3202,4057,3557,2744)(2469,
     3204,2782,3604,3205)(2474,3212,3658,4069,3213)(2476,3215,4072,4073,3216)
     (2479,3219,4078,3659,3220)(2484,3224,4083,4085,3225)(2493,3237,2974,3813,
     3238)(2494,3239,3258,4103,3240)(2495,3241,4105,4107,3242)(2498,3245,3808,
     2970,3246)(2501,3249,2981,3818,3250)(2502,2554,3313,4116,3251)(2503,3252,
     4118,3562,3253)(2505,3254,2860,3697,3255)(2507,2993,3833,3056,3257)(2510,
     3260,2518,3270,3261)(2511,3262,4125,4127,3263)(2515,3266,3815,2977,3267)
     (2520,3272,2524,3279,3273)(2527,3284,4132,3269,3285)(2529,2954,3331,4146,
     3287)(2532,3290,4151,4153,3291)(2536,3294,4157,4158,3295)(2538,3296,4160,
     4162,3297)(2541,3300,4165,4117,3301)(2543,3303,2629,3417,2979)(2547,3307,
     4005,4173,3308)(2551,3311,4177,3454,3312)(2560,3317,3491,4184,3318)(2562,
     3320,4188,4190,3321)(2564,3323,4193,4194,3324)(2568,3327,4197,4030,3175)
     (2570,3329,4199,3669,2832)(2573,3332,3864,3024,3333)(2574,3334,2577,3339,
     3335)(2580,3343,3871,3029,3344)(2583,3348,3068,2626,3349)(2584,3350,3014,
     3851,3351)(2589,3358,3020,3860,3359)(2590,3360,4220,4180,3315)(2591,3361,
     4222,4013,3362)(2593,3364,4011,4226,3365)(2595,3367,3061,3883,3039)(2597,
     3369,4232,4234,3370)(2599,3371,4236,4237,3372)(2601,3374,4239,4241,3375)
     (2602,3035,3428,2636,3376)(2604,3378,4245,4247,3379)(2606,3380,4249,4250,
     3381)(2608,3382,4252,4254,3383)(2611,3385,3474,2674,3386)(2614,3391,3293,
     4155,3392)(2615,3393,4264,4266,3394)(2616,3395,3902,3052,3396)(2617,3397,
     3043,3887,3398)(2622,3407,3047,3894,3408)(2624,3410,3286,4145,3411)(2625,
     3412,3618,2791,3413)(2632,3420,2658,3458,3421)(2633,3422,3884,4296,3423)
     (2634,3424,4297,4299,3425)(2635,3426,3908,3059,3427)(2638,3430,3443,2645,
     3431)(2639,3432,4305,4307,3433)(2640,3434,3316,4181,3435)(2646,3444,3271,
     3107,3445)(2647,3053,3863,3023,3446)(2648,3447,4322,4323,3448)(2652,3452,
     4328,4330,3453)(2654,3455,3841,4333,3456)(2661,3461,4337,4339,3462)(2663,
     3463,4341,4343,3464)(2667,3467,4348,3787,2951)(2677,3477,4362,4364,3478)
     (2679,3127,3986,4367,3480)(2681,3482,4370,4372,3483)(2683,3485,4375,4377,
     3486)(2688,3489,4380,4381,3490)(2694,3495,4388,3674,2837)(2696,3497,4391,
     4393,3498)(2699,3501,4200,3330,3502)(2701,3504,4401,4403,3505)(2706,3509,
     3223,4082,3510)(2708,3512,4411,3799,3513)(2712,3517,4420,4422,3518)(2713,
     3519,4423,3742,3520)(2725,3531,4441,4443,3532)(2728,3534,4447,3550,2859)
     (2730,3536,3548,4452,3537)(2736,3542,2982,3819,3543)(2737,3544,4457,4459,
     3545)(2738,3546,3874,4462,3547)(2748,3560,4319,4467,3561)(2750,3563,4468,
     4470,3564)(2752,3565,4472,4474,3566)(2766,3581,4487,4489,3582)(2768,2840,
     3677,4491,3584)(2770,3586,4493,4495,3587)(2772,3589,4498,4499,3590)(2779,
     3598,3098,3953,3599)(2780,3600,4508,4509,3601)(2785,3608,2803,3632,3609)
     (2786,3610,3198,2789,3611)(2790,3616,2804,3633,3617)(2792,3619,4525,4526,
     3620)(2798,3625,4534,3983,3124)(2800,3627,4537,4539,3628)(2802,3630,4542,
     4543,3631)(2805,3634,2808,3640,3635)(2811,3643,4554,3850,3644)(2812,3645,
     3621,4527,3646)(2813,3647,4559,4561,3648)(2821,3656,4569,4571,3657)(2825,
     3660,3797,4574,3661)(2829,3665,4086,3226,3666)(2835,3671,4585,4587,3672)
     (2844,3681,4484,3577,3682)(2846,3683,3575,4482,3684)(2855,3694,3704,4606,
     3695)(2856,3087,3940,4601,3687)(2862,3002,3840,4610,3699)(2863,3700,4154,
     3292,3701)(2876,3708,4618,4619,3709)(2886,3720,2941,3777,3721)(2888,3723,
     4634,4636,3724)(2900,3737,4649,4651,3738)(2902,3739,4653,4655,3740)(2914,
     3749,4567,4665,3750)(2918,3753,4669,4670,3754)(2920,3009,3847,4671,3756)
     (2929,3763,4136,3275,3764)(2931,3765,4683,4108,3766)(2939,3774,3530,4439,
     3775)(2949,3784,4697,4699,3785)(2957,3790,3506,4404,3791)(2958,3792,4704,
     4705,3793)(2960,3795,4405,3507,3796)(2963,3211,4066,4709,3798)(2971,3809,
     3268,4131,3810)(2972,3811,4725,4727,3812)(2978,3816,3139,3996,3817)(2984,
     3820,2987,3597,3821)(2990,3829,4121,3259,3830)(2992,3831,4123,4611,3832)
     (2996,3836,3722,4632,3837)(2999,3838,4745,3926,3839)(3007,3844,4749,4750,
     3845)(3011,3849,4753,3978,3119)(3015,3852,3017,3856,3853)(3030,3310,4176,
     4747,3842)(3031,3872,4643,3730,3873)(3033,3875,3728,4641,3876)(3037,3879,
     4772,4774,3880)(3038,3881,4128,4776,3882)(3041,3885,4778,4780,3886)(3046,
     3892,3228,4089,3893)(3060,3909,3377,4243,3910)(3062,3911,3919,3067,3912)
     (3069,3920,4814,4815,3921)(3073,3924,4819,4821,3925)(3075,3927,3314,4179,
     3928)(3078,3930,4825,4827,3931)(3079,3932,4694,3780,3933)(3084,3937,4833,
     4835,3938)(3089,3942,3685,4599,3943)(3093,3945,3363,4224,3946)(3101,3957,
     3108,3966,3958)(3102,3732,3786,3105,3959)(3106,3964,3109,3967,3965)(3110,
     3968,3113,3973,3969)(3122,3980,4875,4877,3981)(3130,3989,4063,3208,3990)
     (3132,3552,3206,4061,3991)(3136,3993,3997,4890,3994)(3146,4000,4898,4899,
     4001)(3148,4003,3193,4046,4004)(3150,4006,4904,4906,4007)(3160,4017,4915,
     4917,4018)(3162,4019,4919,4921,4020)(3169,4024,4679,4925,4025)(3173,4028,
     4928,4929,4029)(3183,4036,4735,3822,4037)(3185,4038,4138,4689,4039)(3192,
     4044,3528,4437,4045)(3200,4053,4483,4948,4054)(3201,4055,4950,4952,4056)
     (3203,3571,3794,4706,4058)(3210,4065,3662,4500,3592)(3214,4070,4081,3222,
     4071)(3217,4074,4965,4967,4075)(3218,4076,4702,3789,3470)(3221,4079,3488,
     3579,4080)(3227,4087,4957,4064,4088)(3229,4090,4981,4983,4091)(3231,4093,
     4985,4986,4094)(3233,4096,4990,4407,4097)(3235,4099,4994,4995,4100)(3247,
     4111,5006,5007,4112)(3277,3769,4686,4042,4137)(3280,4139,5039,5040,4140)
     (3282,4141,5010,4114,4142)(3288,4147,3559,3834,4148)(3289,3305,4169,3558,
     4149)(3299,4163,3449,4324,4164)(3306,4170,4813,5067,4171)(3309,4174,3843,
     3748,4175)(3319,4185,4196,3326,4186)(3322,4023,4627,3717,4191)(3325,3918,
     3328,4198,4195)(3336,4203,5097,5099,4204)(3341,4207,5105,5107,4208)(3345,
     4212,5114,5115,4213)(3354,3580,4218,3356,3570)(3366,4227,3878,4771,4228)
     (3368,4230,4770,3877,4231)(3384,4255,3922,4816,4256)(3387,4257,5158,5159,
     4258)(3389,4259,5161,5162,4260)(3399,4270,5082,4189,4271)(3401,4273,4558,
     5181,4274)(3403,4276,5184,5186,4277)(3405,4279,5189,5190,4280)(3414,4285,
     5197,5199,4286)(3419,4291,4178,5073,4292)(3437,4311,5232,5234,4312)(3439,
     4314,5238,5240,4315)(3441,3848,4752,4751,3846)(3451,4325,4823,3929,4326)
     (3457,3987,4882,4590,3675)(3459,4335,3923,4817,4336)(3460,3678,4593,4880,
     3984)(3465,4344,3569,4476,4345)(3466,4216,5117,4766,4346)(3468,4349,4332,
     3567,4350)(3469,3867,3476,4360,3869)(3471,4351,4594,3679,4352)(3472,4353,
     3583,4490,4354)(3473,4355,5274,5276,4356)(3475,4358,5118,4217,4359)(3479,
     4365,4479,3573,4366)(3481,4368,3588,4496,4369)(3484,4373,4492,3585,4374)
     (3487,4378,5298,4494,3947)(3493,4383,3496,4389,4384)(3494,4385,5305,5307,
     4386)(3499,4394,3664,4576,4395)(3500,4396,4400,3503,4397)(3508,4406,5291,
     4371,3593)(3511,4409,4540,3629,4410)(3514,4413,3663,4575,4414)(3515,4415,
     3982,4878,4416)(3516,4417,5243,4318,4418)(3521,4425,3524,4430,4426)(3522,
     4427,3771,4688,3823)(3523,4428,5345,5347,4429)(3525,4431,3778,4692,4432)
     (3526,4433,5352,5354,4434)(3527,4435,4831,3936,4436)(3529,4438,4008,3773,
     3735)(3533,4444,3941,4838,4445)(3535,4448,4836,3939,4449)(3539,3719,4629,
     5156,4453)(3554,3706,4615,5377,4464)(3572,4477,4883,3988,4478)(3574,4480,
     5398,5400,4481)(3595,4502,5306,5417,4503)(3602,4510,5423,5424,4511)(3605,
     4514,4884,5429,4515)(3612,4520,5434,5436,4521)(3614,4122,5019,5438,4522)
     (3623,4529,3626,4535,4530)(3624,4531,5445,5447,4532)(3636,4547,5465,5467,
     4548)(3638,4398,5318,5469,4549)(3649,4251,4900,4002,4562)(3652,4564,5204,
     4289,4565)(3667,4578,3673,4588,4579)(3668,4580,5195,4284,4581)(3670,4583,
     4591,3676,4584)(3690,3999,4896,5516,4602)(3693,4603,5518,5520,4604)(3696,
     4607,4454,5368,4608)(3705,4613,4463,5376,4614)(3707,4159,4628,3718,4616)
     (3710,4620,4642,5533,4621)(3711,3767,4684,4041,4622)(3712,4623,5060,4841,
     3944)(3713,3776,4637,3725,4043)(3714,4624,5536,5538,4625)(3726,4638,4996,
     4101,4639)(3727,4640,4109,4626,4092)(3733,4645,5556,5558,4646)(3734,4647,
     3751,4666,4022)(3736,4040,4685,3768,4648)(3741,4656,5568,4911,4657)(3743,
     4658,4910,5572,4659)(3744,4016,4914,4026,4660)(3745,4661,5574,5575,4662)
     (3752,4667,4676,3759,4668)(3757,4672,4032,4931,4673)(3758,4674,4930,4031,
     4675)(3760,4677,4871,5583,4678)(3762,4680,5584,5586,4681)(3788,4700,4062,
     4956,4701)(3800,4710,5401,4485,4711)(3801,4712,5613,5615,4713)(3803,4715,
     5617,5618,4716)(3805,4718,5490,4572,4719)(3807,4721,4973,5622,4722)(3814,
     4729,5629,5548,4730)(3825,4736,5637,5412,4497)(3827,4737,5028,4130,4738)
     (3835,4742,4321,5245,4743)(3854,4756,5654,5139,4757)(3858,4759,5658,5660,
     4760)(3861,4763,5055,5665,4764)(3888,4781,5437,5062,4166)(3890,4782,5680,
     5681,4783)(3895,4788,5481,4560,4789)(3897,4308,4187,5080,4791)(3899,4793,
     5410,5694,4794)(3901,4796,5696,5295,4376)(3903,4797,5698,5699,4798)(3907,
     4802,4746,5644,4803)(3914,4244,5147,5712,4808)(3916,4810,5246,5717,4811)
     (3934,4829,3935,4830,4523)(3949,4845,5446,5744,4846)(3951,4848,5746,5224,
     4304)(3954,4851,4596,5510,4852)(3960,4857,5752,5754,4858)(3962,4455,5369,
     5566,4859)(3970,4863,5760,5762,4864)(3971,4553,5475,5090,4865)(3976,4869,
     5017,4120,4870)(3979,4873,4068,3985,4874)(3992,4887,5782,5784,4888)(3995,
     4891,4612,5526,4892)(3998,4894,4600,5515,4895)(4009,4907,5005,4110,4908)
     (4010,4909,4728,4663,4714)(4015,4912,5804,5806,4913)(4021,4922,5554,4644,
     4923)(4027,4926,4932,4033,4927)(4034,4933,4566,5242,4317)(4035,4934,5819,
     5821,4935)(4047,4939,4595,5509,4940)(4048,4941,5827,5829,4942)(4050,4943,
     5830,5831,4944)(4059,4168,5064,5525,4609)(4060,4597,5511,4854,4955)(4067,
     4959,5845,5846,4960)(4077,4969,5322,5858,4970)(4084,4975,5725,4826,4976)
     (4095,4987,4720,5620,4988)(4098,4991,5619,4717,4992)(4102,4997,5592,4687,
     4998)(4104,5000,5353,5890,5001)(4106,5003,5892,5799,4905)(4113,5008,4723,
     5623,5009)(4115,5011,5893,5004,5012)(4119,5015,5899,5900,5016)(4124,5020,
     5903,5904,5021)(4126,5023,5905,5906,5024)(4129,5026,4693,5279,5027)(4133,
     5031,5371,4918,5032)(4134,5033,5042,4143,5034)(4135,5035,5596,4695,5036)
     (4144,4856,5119,5832,4946)(4150,5046,5801,5921,5047)(4152,5048,5922,5497,
     5049)(4156,5053,5927,5928,5054)(4161,5058,5933,5934,5059)(4167,5063,4958,
     4504,4824)(4172,5068,5943,5547,4779)(4182,5076,5954,5955,5077)(4183,4544,
     5459,4849,5078)(4192,5085,5965,5967,5086)(4201,5092,5972,5974,5093)(4202,
     5094,5108,4209,5095)(4205,5100,4758,5656,5101)(4206,5102,5140,4238,5103)
     (4210,5109,4215,5116,5110)(4211,5111,5981,5983,5112)(4214,5051,5122,5897,
     5013)(4219,5120,5986,5988,5121)(4221,5123,5532,4937,4460)(4223,4327,5248,
     5542,4631)(4225,5125,5991,5812,5126)(4229,5130,5994,5143,5131)(4233,5134,
     5997,5999,5135)(4235,5137,6002,6004,5138)(4240,5142,6007,5730,4832)(4242,
     5144,5671,6009,5145)(4246,4744,5642,6012,5148)(4248,5150,6015,6016,5151)
     (4253,5154,5915,6019,5155)(4261,5163,4269,5176,5164)(4262,5165,6024,6026,
     5166)(4263,5167,5952,5075,5168)(4265,5170,6031,6033,5171)(4267,5172,4272,
     5179,5173)(4268,5174,6035,6036,5175)(4275,5182,4795,5695,5098)(4278,5187,
     5655,4792,5188)(4281,5191,6050,6051,5192)(4282,5193,4974,4847,4419)(4283,
     4968,5855,5044,5194)(4287,5200,5254,4334,5201)(4288,5202,4801,5702,5203)
     (4290,5205,5701,4800,5206)(4293,4881,5776,6061,5209)(4294,5210,6063,6064,
     5211)(4295,5212,6013,5149,5213)(4298,5216,6068,5357,4440)(4300,5218,4799,
     5700,5219)(4301,4592,5506,6070,5220)(4302,5221,6069,5217,5128)(4303,5222,
     4807,5710,5223)(4306,5226,6074,6076,5227)(4309,5228,5840,4953,5229)(4310,
     5230,5709,4806,5231)(4313,5235,4316,5241,5236)(4320,5014,5071,5946,5244)
     (4329,5249,4630,5541,5250)(4331,5252,6086,5505,4589)(4338,5257,6091,6093,
     5258)(4340,5088,5969,5498,4582)(4342,5261,6098,6099,5262)(4347,5264,5704,
     4945,5265)(4357,5277,5682,4784,5278)(4361,5281,6117,6118,5282)(4363,5284,
     6122,6124,5285)(4379,5299,5489,4570,5300)(4382,5301,4516,5430,5302)(4387,
     5308,6144,5503,5309)(4390,5311,6148,6149,5312)(4392,5314,6151,6153,5315)
     (4399,5319,6156,6157,5320)(4402,5323,4524,5439,5324)(4408,5327,5864,4977,
     5328)(4412,5331,5918,6167,5332)(4421,5338,4708,5609,5339)(4424,5342,6179,
     5807,4916)(4442,5359,6197,5813,5360)(4446,5362,5790,5523,5363)(4450,5364,
     6202,6203,5365)(4451,4961,5847,4962,5366)(4456,4989,5879,6207,5370)(4458,
     5372,6163,6131,5292)(4461,5374,5531,5552,5375)(4465,5378,5550,6210,5379)
     (4466,5380,6171,5336,5381)(4469,5384,6213,6215,5385)(4471,5387,6218,5769,
     4872)(4473,5389,6079,6221,5390)(4475,5391,5208,5601,5392)(4486,5402,6231,
     6232,5403)(4488,5405,6235,6236,5406)(4501,5414,5427,4513,5415)(4505,4741,
     5640,5789,4893)(4506,4885,5431,4517,5418)(4507,5419,6244,6246,5420)(4512,
     5425,4557,4860,5426)(4518,5432,6247,5421,5433)(4519,5280,6104,5266,4740)
     (4528,5441,4853,5749,5442)(4533,5448,6262,5773,5449)(4536,5451,6264,6266,
     5452)(4538,5330,6165,6268,5453)(4541,5456,6270,6271,5457)(4545,5460,6273,
     6275,5461)(4546,5462,5474,4552,5463)(4550,5470,4867,5765,5471)(4551,5472,
     5764,4866,5473)(4555,5476,6284,6285,5477)(4556,5478,6287,6288,5479)(4563,
     5483,5487,4568,5484)(4573,4971,5859,5610,5491)(4577,5493,6297,6299,5494)
     (4586,5501,6304,6306,5502)(4598,5512,5528,5611,5513)(4605,5521,6318,6319,
     5522)(4617,5397,6227,6322,5529)(4633,5543,6331,6332,5544)(4635,4726,5627,
     6335,5546)(4650,4828,5727,6346,5560)(4652,5562,4733,5633,5022)(4654,5564,
     6352,6353,5565)(4664,5576,6358,6359,5577)(4682,5587,5591,6370,5588)(4690,
     4842,4767,5667,5571)(4691,5593,5798,6376,5594)(4696,5597,6379,6381,5598)
     (4698,5599,6065,6382,5600)(4703,5603,6386,6387,5604)(4707,5607,5488,6295,
     5608)(4724,5624,5346,6183,5625)(4731,5630,6403,5628,5038)(4732,5631,6405,
     6206,5632)(4734,5634,5639,4739,5635)(4748,5645,6414,6416,5646)(4754,5649,
     6418,6420,5650)(4755,5651,5661,4761,5652)(4762,5662,4765,5666,5663)(4768,
     4818,5356,5795,4902)(4769,5358,6196,5567,5668)(4773,5672,6427,6429,5673)
     (4775,5675,6431,6433,5676)(4777,5177,5133,5996,5677)(4785,5683,6439,6441,
     5684)(4786,5685,5919,5043,5686)(4787,5687,4790,5690,5688)(4804,5705,6458,
     6459,5706)(4805,5707,6435,5678,5708)(4809,5713,4812,5718,5714)(4820,5720,
     4901,5794,5721)(4822,5313,6150,5775,4879)(4834,5731,6355,5569,5732)(4837,
     5734,5527,5787,5735)(4839,5736,6475,6476,5737)(4840,5325,6161,5605,5738)
     (4843,5739,5570,5127,5740)(4844,5741,5747,4850,5742)(4855,5750,6272,5458,
     5751)(4861,5755,6486,6488,5756)(4862,5757,5766,4868,5758)(4876,4947,5833,
     6496,5772)(4886,5779,5791,4978,5780)(4889,5785,6504,6505,5786)(4897,5273,
     6113,6327,5537)(4903,5796,6509,6510,5797)(4920,5810,6523,6524,5811)(4924,
     5814,6525,6368,5815)(4936,5822,5343,6180,5823)(4938,5198,5545,6333,5824)
     (4949,5745,6479,6160,5835)(4951,5837,6139,6544,5838)(4954,5841,5508,5854,
     5842)(4963,5848,5333,6168,5849)(4964,5422,6248,6296,5850)(4966,5852,6159,
     6553,5853)(4972,5860,6388,5606,5861)(4979,5865,6561,6562,5866)(4980,5867,
     5225,6072,5868)(4982,5870,6564,6566,5871)(4984,5873,6569,6570,5874)(4993,
     5091,5968,5087,5882)(4999,5886,5002,5891,5887)(5018,5901,5805,5025,5902)
     (5029,5907,5626,6402,5908)(5030,5909,5557,5373,5910)(5037,5913,5444,5559,
     5914)(5041,5916,6588,6602,5917)(5045,5884,5716,5050,5084)(5052,5924,5169,
     6029,5925)(5056,5929,5153,6018,5930)(5057,5931,6017,5152,5932)(5061,5935,
     6609,6610,5936)(5065,5894,5239,5382,5069)(5066,5939,6612,6613,5940)(5070,
     5944,5237,5941,5945)(5072,5947,6087,5253,5948)(5074,5950,5643,6411,5951)
     (5079,5956,5480,6289,5957)(5081,5959,6259,5440,5960)(5083,5962,5321,6158,
     5963)(5089,5970,6291,5482,5971)(5096,5770,6494,6634,5975)(5104,5976,6298,
     6635,5977)(5106,5978,6636,6637,5979)(5113,5984,6638,6639,5985)(5124,5989,
     5995,5132,5990)(5129,5992,6430,5674,5993)(5136,6000,5669,6425,6001)(5141,
     6005,6066,5214,6006)(5146,6010,5215,6067,6011)(5157,6020,6653,6611,5937)
     (5160,6021,6654,6655,6022)(5178,6037,6667,6668,6038)(5180,6039,6545,6631,
     6040)(5183,6042,6670,6552,6043)(5185,6044,6162,5326,6045)(5196,6053,6675,
     6676,6054)(5207,6059,6685,6686,6060)(5233,5923,5942,6614,6078)(5247,6082,
     5777,6303,5500)(5251,6084,5255,6088,6085)(5256,6089,5982,5393,6090)(5259,
     6094,5260,6096,6095)(5263,6100,6708,6308,6101)(5267,6105,5383,6212,5987)
     (5268,6106,6712,6498,6107)(5269,6108,5408,6226,5396)(5270,6109,6714,6716,
     6110)(5271,6077,6696,6717,6111)(5272,5394,6128,5288,6112)(5275,6115,5573,
     6356,6116)(5283,6119,6132,5293,6120)(5286,6125,6228,6728,6126)(5287,6071,
     6692,6729,6127)(5289,6129,6731,6732,6130)(5290,5793,6135,5296,5530)(5294,
     6133,6733,6734,6134)(5297,6136,5693,5938,6137)(5303,6140,6269,5454,6141)
     (5304,5534,6324,5636,6142)(5310,6145,5335,5492,6146)(5316,6154,5443,6260,
     6155)(5317,5464,6276,6261,5466)(5329,6164,5450,6263,5496)(5334,6169,6695,
     6487,6170)(5337,6172,6185,5348,6173)(5340,6175,5595,6377,6176)(5341,6177,
     6467,5726,6178)(5344,6181,6756,6757,6182)(5349,6186,6761,6762,6187)(5350,
     6188,6759,6184,6189)(5351,6190,6764,6765,6191)(5355,6193,6767,6768,6194)
     (5361,6199,6205,5367,6200)(5386,6216,5388,6219,6217)(5395,6224,6789,6791,
     6225)(5399,6229,5535,6325,6230)(5404,6233,6239,5411,6234)(5407,6237,6114,
     6720,6238)(5409,5540,6240,5413,5792)(5416,6241,6799,6800,6242)(5428,6251,
     6805,6495,6252)(5435,6256,6808,6809,6257)(5455,5759,6489,6143,5761)(5468,
     6278,6371,5589,6279)(5485,6292,6294,5486,6293)(5495,6300,6665,6274,6301)
     (5499,6302,6829,6421,5653)(5504,6220,6080,6030,6307)(5507,6310,5771,5719,
     6311)(5514,6313,5733,6473,6314)(5517,6315,6838,6629,5966)(5519,6316,6839,
     6840,6317)(5524,6320,6842,6538,6321)(5539,6328,5715,6081,6329)(5549,6336,
     6374,6853,6337)(5551,6338,6326,6397,6339)(5553,6250,6426,5670,6340)(5555,
     6342,6490,6856,6343)(5561,6347,5563,6350,6348)(5578,6360,6364,5580,6361)
     (5579,6362,6865,6866,6363)(5581,5869,6563,6576,5880)(5582,6253,6804,6249,
     6365)(5585,6366,6867,6869,6367)(5590,6372,5763,6323,6373)(5602,6383,5778,
     5839,6384)(5612,6392,6882,6883,6393)(5614,6394,6884,6886,6395)(5616,6396,
     6888,6585,5889)(5621,5648,6417,5647,6399)(5638,6243,6801,6896,6407)(5641,
     6408,6897,6898,6409)(5657,5980,6166,6749,6422)(5659,6423,6905,6906,6424)
     (5664,5875,6571,6567,5872)(5679,6436,6914,6915,6437)(5689,6121,6724,6815,
     6265)(5691,6048,6554,6746,6445)(5692,6446,6922,6543,6447)(5697,6451,6924,
     6925,6452)(5703,6147,6739,6726,6123)(5711,6211,6410,6899,6460)(5722,6462,
     5723,6464,6463)(5724,6465,6468,5728,6466)(5729,6469,6766,6192,6470)(5743,
     6369,6870,6755,6245)(5748,6481,6830,6305,6482)(5753,5825,6533,6951,6485)
     (5767,6492,6493,5768,6254)(5774,6097,6052,6073,6497)(5781,6501,6960,6902,
     6415)(5783,6502,6961,6962,6503)(5788,6506,6964,6877,6507)(5800,6512,5896,
     6590,6513)(5802,6514,6357,5876,6515)(5803,6516,6281,6822,6277)(5808,6519,
     5809,6521,6520)(5816,6526,6528,5817,6527)(5818,6483,6948,6480,6529)(5820,
     6530,6979,6981,6531)(5826,6534,6984,6985,6535)(5828,6472,6940,6988,6537)
     (5834,6539,5851,6551,6540)(5836,6541,6547,5843,6542)(5844,6478,6003,6643,
     6548)(5856,5878,6574,6579,5883)(5857,6555,6736,6138,6556)(5862,6557,6937,
     7000,6558)(5863,6559,7002,7003,6560)(5877,6572,7010,7011,6573)(5881,6577,
     7013,7014,6578)(5885,6471,6939,6690,6580)(5888,6583,7018,7020,6584)(5895,
     6195,6769,6647,6589)(5898,6103,6711,7024,6591)(5911,6600,6861,6790,6601)
     (5912,6049,6674,6671,6046)(5920,6438,6916,7030,6604)(5926,6605,7031,7033,
     6606)(5949,6618,6455,6927,6619)(5953,6621,7046,7048,6622)(5958,6623,6444,
     6442,6624)(5961,6625,6923,6449,6626)(5964,6616,7041,7051,6628)(5973,6632,
     6062,6687,6633)(5998,6641,7057,6860,6351)(6008,6645,7061,6909,6646)(6014,
     6649,7065,7066,6650)(6023,6656,7023,6779,6209)(6025,6657,7069,7071,6658)
     (6027,6660,6041,6666,6034)(6028,6661,7073,7074,6662)(6032,6663,6784,7076,
     6664)(6047,6672,6290,6627,6673)(6055,6677,6928,6456,6678)(6056,6679,6499,
     6956,6680)(6057,6681,6901,6412,6682)(6058,6683,6453,6926,6684)(6075,6693,
     6707,7089,6694)(6083,6698,7091,6872,6699)(6092,6704,7055,7093,6705)(6102,
     6709,6536,6986,6710)(6152,6744,6953,6599,6745)(6174,6750,7125,7005,6751)
     (6198,6770,7138,6876,6380)(6201,6773,6841,7141,6774)(6204,6777,6879,7144,
     6778)(6208,6432,6910,6823,6385)(6214,6781,7124,7145,6782)(6222,6785,6875,
     7149,6786)(6223,6787,7150,6893,6404)(6255,6806,6802,6987,6807)(6258,6810,
     6390,6669,6811)(6267,6817,6821,6593,6818)(6280,6824,6344,6855,6341)(6282,
     6825,6517,6863,6354)(6283,6826,7166,6952,6703)(6286,6827,7168,7169,6828)
     (6309,6832,6721,6454,6833)(6312,6835,7171,7172,6836)(6330,6846,6907,6702,
     6847)(6334,6849,6582,7017,6850)(6345,6857,6753,7126,6858)(6349,6450,6788,
     6595,6448)(6375,6758,7022,6587,6871)(6378,6873,7193,7194,6874)(6389,6398,
     6889,6890,6400)(6391,6880,6760,7130,6881)(6401,6891,7196,7198,6892)(6406,
     6894,6976,6715,6895)(6413,6845,7012,7053,6630)(6419,6903,6457,6929,6904)
     (6428,6908,7203,6975,6522)(6434,6911,7058,6642,6912)(6440,6917,7159,7206,
     6918)(6443,6920,7207,7208,6921)(6461,6932,7180,6848,6933)(6474,6942,6963,
     7218,6943)(6477,6772,6549,6994,6946)(6484,6949,6819,7164,6950)(6491,6954,
     7165,6820,6780)(6500,6957,7004,7222,6958)(6508,6966,6640,6935,6967)(6511,
     6968,6597,7027,6969)(6518,6972,6936,7212,6973)(6532,6586,7021,6851,6982)
     (6546,6713,6803,6999,6992)(6550,6995,7143,6776,6996)(6565,6581,7016,7246,
     7007)(6568,7008,7247,7248,7009)(6575,6748,7025,6592,6741)(6594,6743,7028,
     6598,6816)(6596,7026,7253,7148,6885)(6603,6970,7072,6659,7029)(6607,7034,
     7068,6652,7035)(6608,7036,6651,7067,7037)(6615,7039,7038,7257,7040)(6617,
     7042,6701,7092,6738)(6620,6852,7181,6919,7044)(6644,7059,6688,7083,7060)
     (6648,7063,7211,6931,7064)(6689,7084,6913,7204,7085)(6691,7086,6930,7210,
     7050)(6697,6997,7221,6955,6934)(6700,6834,6990,7170,6831)(6706,7094,7297,
     7299,7095)(6718,7097,7151,7115,7098)(6719,7099,6971,6798,7100)(6722,7102,
     6796,7156,7103)(6723,7104,7113,7301,7105)(6725,7106,7153,6794,7107)(6727,
     7108,7303,7254,7109)(6730,6947,7160,7111,6878)(6735,7001,6793,7114,6854)
     (6737,7116,6814,7163,7062)(6740,7118,7162,6812,7119)(6742,7120,6813,6900,
     7121)(6747,7122,7220,6945,7123)(6752,7047,6998,7240,6989)(6754,7127,6991,
     7241,6993)(6763,7132,7128,7309,7133)(6771,7139,6775,7142,7140)(6783,7146,
     7323,7325,7147)(6792,7015,7096,7161,7152)(6795,7154,7112,7306,7155)(6797,
     7157,7327,7274,7158)(6837,7173,7304,7264,7174)(6843,7176,7333,7334,7177)
     (6844,7178,7199,7331,7179)(6859,7183,7185,6862,7184)(6864,7186,7006,7245,
     7187)(6868,7189,7340,7341,7190)(6887,7195,7347,7252,7032)(6938,7213,7134,
     7316,7214)(6941,7216,6944,7219,7217)(6959,7223,7328,7267,7224)(6965,7226,
     7367,7368,7227)(6974,7229,7231,6977,7230)(6978,7232,7188,7307,7233)(6980,
     7234,7373,7374,7235)(6983,7237,7377,7378,7238)(7019,7250,7386,7387,7251)
     (7043,7259,7079,7286,7117)(7045,7260,7391,7392,7261)(7049,7262,7359,7394,
     7263)(7052,7265,7175,7332,7266)(7054,7268,7395,7357,7269)(7056,7270,7396,
     7338,7271)(7070,7239,7319,7137,7275)(7075,7280,7405,7406,7281)(7077,7282,
     7278,7402,7283)(7078,7284,7407,7408,7285)(7080,7287,7209,7290,7082)(7081,
     7288,7409,7410,7289)(7087,7292,7300,7101,7293)(7088,7258,7390,7413,7294)
     (7090,7295,7305,7110,7296)(7129,7276,7318,7136,7310)(7131,7312,7135,7317,
     7313)(7167,7329,7424,7425,7330)(7182,7336,7372,7379,7337)(7191,7342,7348,
     7427,7343)(7192,7344,7428,7429,7345)(7197,7349,7430,7431,7350)(7200,7351,
     7225,7366,7352)(7201,7353,7399,7273,7354)(7202,7355,7432,7371,7356)(7205,
     7346,7363,7215,7358)(7228,7369,7339,7380,7370)(7236,7375,7249,7385,7376)
     (7242,7381,7365,7320,7382)(7243,7383,7244,7384,7362)(7255,7388,7435,7434,
     7361)(7256,7389,7436,7419,7314)(7272,7397,7438,7439,7398)(7277,7400,7433,
     7360,7401)(7279,7403,7335,7426,7404)(7291,7411,7440,7437,7412)(7298,7414,
     7302,7416,7415)(7308,7417,7315,7311,7418)(7321,7364,7393,7322,7420)(7324,
     7421,7326,7423,7422);