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