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