z1 := (1,3)(2,4,8,5)(6,10,18,11)(7,12,21,13)(9,15,26,16)(14,23,39,24)(17,28,
     45,29)(19,31,50,32)(20,33,53,34)(22,36,58,37)(25,41,66,42)(30,47,76,48)
     (35,55,89,56)(38,60,97,61)(40,63,101,64)(43,68,109,69)(44,70,112,71)(46,
     73,117,74)(49,78,125,79)(51,81,130,82)(52,83,133,84)(54,86,138,87)(57,91,
     145,92)(59,94,150,95)(62,99)(65,103,163,104)(67,106,167,107)(72,114,177,
     115)(75,119,185,120)(77,122,189,123)(80,127,197,128)(85,135,208,136)(88,
     140,110,141)(90,142,216,143)(93,147,224,148)(96,152,232,153)(98,155,237,
     156)(100,129,199,158)(102,160,245,161)(105,165)(108,169,259,170)(111,171,
     261,172)(113,174,266,175)(116,179,274,180)(118,182,279,183)(121,187)(124,
     191,291,192)(126,194,296,195)(131,201,305,202)(132,203,308,204)(134,206,
     313,207)(137,209,317,210)(139,212,322,213)(144,218,332,219)(146,221,337,
     222)(149,226,344,227)(151,229,349,230)(154,234,356,235)(157,239,364,240)
     (159,242,369,243)(162,247,376,248)(164,250,380,251)(166,253,383,254)(168,
     256,387,257)(173,263,398,264)(176,268,198,269)(178,271,410,272)(181,276,
     418,277)(184,281,426,282)(186,283,429,284)(188,286,434,287)(190,288,437,
     289)(193,293,445,294)(196,298,453,299)(200,302,458,303)(205,310,469,311)
     (211,319,483,320)(214,324,491,325)(215,326,494,327)(217,329,499,330)(220,
     334,507,335)(223,339)(225,341,252,342)(228,346,522,347)(231,351,530,352)
     (233,354,535,355)(236,358,541,359)(238,361,546,362)(241,366,553,367)(244,
     370,557,371)(246,373,562,374)(249,255,385,378)(258,389,587,390)(260,392,
     590,393)(262,395,595,396)(265,400,603,401)(267,403,608,404)(270,407,300,
     408)(273,412,622,413)(275,415,626,416)(278,420,634,421)(280,423,639,424)
     (285,431,652,432)(290,439,664,440)(292,442,669,443)(295,447,675,448)(297,
     450,680,451)(301,455,688,456)(304,460,694,461)(306,463,464,307)(309,466,
     703,467)(312,471,711,472)(314,474,716,475)(315,476,340,477)(316,478,512,
     338)(318,480,724,481)(321,485,732,486)(323,488,737,489)(328,496,391,497)
     (331,501,756,502)(333,504,761,505)(336,509,767,510)(343,516,779,517)(345,
     519,784,520)(348,524,790,525)(350,527,795,528)(353,532,802,533)(357,538,
     368,539)(360,543,819,544)(363,548,827,549)(365,550,830,551)(372,559,843,
     560)(375,564,850,565)(377,567,855,568)(379,570,860,571)(381,573,865,574)
     (382,575,868,576)(384,578,873,579)(386,581,876,582)(388,584,881,585)(394,
     592,894,593)(397,597,459,598)(399,600,906,601)(402,605,914,606)(405,610,
     922,611)(406,612,925,613)(409,616,932,617)(411,619,937,620)(414,624,662,
     438)(417,628,951,629)(419,631,444,632)(422,636,961,637)(425,641,969,642)
     (427,644,974,645)(428,646,977,647)(430,649,982,650)(433,654,989,655)(435,
     657,994,658)(436,659,997,660)(441,666,1007,667)(446,672,1016,673)(449,
     677,1024,678)(452,682,1032,683)(454,685,1035,686)(457,690,1043,691)(462,
     696,1051,697)(465,700,1057,701)(468,705,523,706)(470,708,1069,709)(473,
     713,1077,714)(479,721,1091,722)(482,726,1099,727)(484,729,506,730)(487,
     734,1109,735)(490,739,1117,740)(492,742,1122,743)(493,744,1125,745)(495,
     747,1130,748)(498,750,1134,751)(500,753,1139,754)(503,758,1147,759)(508,
     764,1157,765)(511,769,1165,770)(513,772,1170,773)(514,774,1173,775)(515,
     776,1176,777)(518,781,1184,782)(521,786,1192,787)(526,792,1200,793)(529,
     796,1205,797)(531,799,1209,800)(534,804,1216,805)(536,807,1221,808)(537,
     809,555,810)(540,813,1230,814)(542,816,1235,817)(545,821,1241,822)(547,
     824,1245,825)(552,832,1025,833)(554,835,1262,836)(556,837,1265,838)(558,
     840,1270,841)(561,845,1276,846)(563,848,1279,849)(566,852,1284,853)(569,
     857,580,858)(572,862,1299,863)(577,870,1312,871)(583,878,1325,879)(586,
     883,1333,884)(588,886,1338,887)(589,888,1341,889)(591,891,1346,892)(594,
     896,1354,897)(596,899,1359,900)(599,903,630,904)(602,908,1373,909)(604,
     911,1378,912)(607,916,1386,917)(609,919,1391,920)(614,927,1404,928)(615,
     929,1407,930)(618,934,684,935)(621,939,1421,940)(623,942,1426,943)(625,
     945,1429,946)(627,948,1434,949)(633,955,1446,956)(635,958,1451,959)(638,
     963,1457,964)(640,966,1462,967)(643,971,1469,972)(648,979,1482,980)(651,
     984,1489,985)(653,986,1492,987)(656,991,1500,992)(661,999,1513,1000)(663,
     1002,1517,1003)(665,1005,1522,1006)(668,1008,1526,1009)(670,1011,1531,
     1012)(671,1013,692,1014)(674,1018,1541,1019)(676,1021,1546,1022)(679,
     1026,1552,1027)(681,1029,1557,1030)(687,1037,820,1038)(689,1040,1574,
     1041)(693,1045,1582,1046)(695,1048,1586,1049)(698,1052,1592,1053)(699,
     1054,1595,1055)(702,1059,1603,1060)(704,1062,1608,1063)(707,1066,728,
     1067)(710,1071,1622,1072)(712,1074,1626,1075)(715,1079,1634,1080)(717,
     1082,1638,1083)(718,1084,1641,1085)(719,1086,1644,1087)(720,1088,1647,
     1089)(723,1093,1653,1094)(725,1096,1657,1097)(731,1103,1668,1104)(733,
     1106,1672,1107)(736,1111,1676,1112)(738,1114,1681,1115)(741,1119,1686,
     1120)(746,1127,1698,1128)(749,1132)(752,1136,1712,1137)(755,1141,1718,
     1142)(757,1144,1723,1145)(760,1149,1730,1150)(762,1152,1735,1153)(763,
     1154,788,1155)(766,1159,1745,1160)(768,1162,1749,1163)(771,1167,1757,
     1168)(778,1178,1773,1179)(780,1181,1778,1182)(783,1186,1784,1187)(785,
     1189,1789,1190)(789,1194,1797,1195)(791,1197,1801,1198)(794,1202,1807,
     1203)(798,1207,1814,1208)(801,1210,844,1211)(803,1213,1822,1214)(806,
     1218,1830,1219)(811,1225,1841,1226)(812,1227,1844,1228)(815,1232,1850,
     1233)(818,1237,1857,1238)(823,1242,1863,1243)(826,1247,1871,1248)(828,
     1250,1876,1251)(829,1252,1879,1253)(831,1255,1884,1256)(834,1259,1590,
     1260)(839,1267,1902,1268)(842,1272,1910,1273)(847,1277,1584,1047)(851,
     1281,1921,1282)(854,1286,1929,1287)(856,1289,1934,1290)(859,1293,1941,
     1294)(861,1296,1946,1297)(864,1301,1954,1302)(866,1304,1958,1305)(867,
     1306,1961,1307)(869,1309,1966,1310)(872,1314,1972,1315)(874,1317,1976,
     1318)(875,1319,1979,1320)(877,1322,1984,1323)(880,1327,1990,1328)(882,
     1330,1995,1331)(885,1335,2001,1336)(890,1343,2014,1344)(893,1348,962,
     1349)(895,1351,2025,1352)(898,1356,2032,1357)(901,1361,2035,1362)(902,
     1363,2038,1364)(905,1367,2043,1368)(907,1370,2048,1371)(910,1375,2052,
     1376)(913,1380,1509,1381)(915,1383,944,1384)(918,1388,2068,1389)(921,
     1393,2075,1394)(923,1396,2080,1397)(924,1398,2083,1399)(926,1401,2088,
     1402)(931,1409,2100,1410)(933,1412,2105,1413)(936,1415,2109,1416)(938,
     1418,2114,1419)(941,1423,2122,1424)(947,1431,2133,1432)(950,1436,2141,
     1437)(952,1439,2145,1440)(953,1441,2148,1442)(954,1443,2151,1444)(957,
     1448,2159,1449)(960,1453,2167,1454)(965,1459,2175,1460)(968,1463,2180,
     1464)(970,1466,2185,1467)(973,1471,2193,1472)(975,1474,2198,1475)(976,
     1476,2201,1477)(978,1479,2204,1480)(981,1484,2211,1485)(983,1487)(988,
     1494,2021,1495)(990,1497,2227,1498)(993,1502,2233,1503)(995,1505,2024,
     1506)(996,1507,2240,1508)(998,1510,1366,1511)(1001,1515,1455,1516)(1004,
     1519,2252,1520)(1010,1528,2267,1529)(1015,1535,2279,1536)(1017,1538,2282,
     1539)(1020,1543,2289,1544)(1023,1548,2295,1549)(1028,1554,2302,1555)
     (1031,1559,2310,1560)(1033,1562,2315,1563)(1034,1564,2318,1565)(1036,
     1567,2323,1568)(1039,1571,1274,1572)(1042,1576,2335,1577)(1044,1579,2338,
     1580)(1050,1588,2348,1589)(1056,1597,1110,1598)(1058,1600,2365,1601)
     (1061,1605,2373,1606)(1064,1610,2381,1611)(1065,1612,2384,1613)(1068,
     1616,2391,1617)(1070,1619,2396,1620)(1073,1623,2402,1624)(1076,1628,2410,
     1629)(1078,1631,1090,1632)(1081,1636,2420,1637)(1092,1650,2438,1651)
     (1095,1654,2444,1655)(1098,1659,2452,1660)(1100,1662,2456,1663)(1101,
     1664,2287,1542)(1102,1665,2459,1666)(1105,1670,1372,1671)(1108,1673,2470,
     1674)(1113,1678,1374,1679)(1116,1639,2423,1682)(1118,1683,2481,1684)
     (1121,1688,2486,1689)(1123,1691,2431,1646)(1124,1692,2491,1693)(1126,
     1695,2496,1696)(1129,1700,2502,1701)(1131,1703,2507,1704)(1133,1706,2512,
     1707)(1135,1709,2517,1710)(1138,1713,2523,1714)(1140,1716,2528,1717)
     (1143,1720,1358,1721)(1146,1725,1201,1169)(1148,1727,2541,1728)(1151,
     1732,1360,1733)(1156,1739,2560,1740)(1158,1742,2563,1743)(1161,1747,2571,
     1748)(1164,1751,2577,1752)(1166,1754,1183,1755)(1171,1760,2586,1761)
     (1172,1762,2589,1763)(1174,1765,2594,1766)(1175,1767,2597,1768)(1177,
     1770,2602,1771)(1180,1775,2610,1776)(1185,1781,2620,1782)(1188,1786,2628,
     1787)(1191,1791,2636,1792)(1193,1794,2639,1795)(1196,1798,2645,1799)
     (1199,1803,2653,1804)(1204,1809,2661,1810)(1206,1278,1916,1812)(1212,
     1819,1239,1820)(1215,1824,2684,1825)(1217,1827,2689,1828)(1220,1831,2695,
     1832)(1222,1834,2700,1835)(1223,1836,2703,1837)(1224,1838,2705,1839)
     (1229,1846)(1231,1848,2721,1849)(1234,1430,2131,1852)(1236,1854,2730,
     1855)(1240,1859,2738,1860)(1244,1865,2746,1866)(1246,1868,2750,1869)
     (1249,1873,2756,1874)(1254,1881,2769,1882)(1257,1885,2775,1886)(1258,
     1887,2778,1888)(1261,1891,2785,1892)(1263,1894,2790,1895)(1264,1896,2793,
     1897)(1266,1899,2798,1900)(1269,1904,2804,1905)(1271,1907,2808,1908)
     (1275,1912,2816,1913)(1280,1918,2826,1919)(1283,1923,1326,1924)(1285,
     1926,2838,1927)(1288,1931,2846,1932)(1291,1936,2854,1937)(1292,1938,2856,
     1939)(1295,1943,2862,1944)(1298,1948,2868,1949)(1300,1951,1311,1952)
     (1303,1955,2875,1956)(1308,1963,2887,1964)(1313,1969,2896,1970)(1316,
     1973,2902,1974)(1321,1981,1581,1982)(1324,1986,2920,1987)(1329,1992,1583,
     1993)(1332,1996,2932,1997)(1334,1999,2937,2000)(1337,2003,2941,2004)
     (1339,2006,2945,2007)(1340,2008,2948,2009)(1342,2011,2950,2012)(1345,
     2016,2954,2017)(1347,2019,2957,2020)(1350,2022,1382,2023)(1353,2027,2965,
     2028)(1355,2029,2968,2030)(1365,2040,2985,2041)(1369,2045,1578,2046)
     (1377,2054,3002,2055)(1379,2057,3005,2058)(1385,2062,3014,2063)(1387,
     2065,3017,2066)(1390,2069,3023,2070)(1392,2072,3027,2073)(1395,2077,3033,
     2078)(1400,2085,3046,2086)(1403,2090,3054,2091)(1405,2092,3057,2093)
     (1406,2094,3060,2095)(1408,2097,3063,2098)(1411,2102,3070,2103)(1414,
     2107)(1417,2111,3084,2112)(1420,2116,3091,2117)(1422,2119,3095,2120)
     (1425,2124,3103,2125)(1427,2127,3108,2128)(1428,2129)(1433,2135,2130,
     2136)(1435,2138,2137,2139)(1438,2096,1537,2143)(1445,2153,3143,2154)
     (1447,2156,3148,2157)(1450,2161,3154,2162)(1452,2164,3159,2165)(1456,
     2169,3167,2170)(1458,2172,3172,2173)(1461,2177,3178,2178)(1465,2182,3185,
     2183)(1468,2187,1514,2188)(1470,2190,3197,2191)(1473,2195,3205,2196)
     (1478,2202,2947,2203)(1481,2206,3214,2207)(1483,2209,1499,2210)(1486,
     1962,2885,2212)(1488,2214,3221,2215)(1490,2217,3226,2218)(1491,2219)
     (1493,2221,3231,2222)(1496,1953,2872,2225)(1501,2230,3244,2231)(1504,
     2235,2946,2236)(1512,2244,3265,2245)(1518,2249,3272,2250)(1521,2254,3280,
     2255)(1523,2257,3285,2258)(1524,2259,1550,2260)(1525,2261,3290,2262)
     (1527,2264,3295,2265)(1530,2269,3303,2270)(1532,2272,3308,2273)(1533,
     2274,2349,2275)(1534,2276,3313,2277)(1540,2284,3326,2285)(1545,2291,3335,
     2292)(1547,2293,3338,2294)(1551,2297,3344,2298)(1553,2300,3349,2301)
     (1556,2304,3353,2305)(1558,2307,3358,2308)(1561,2312,3365,2313)(1566,
     2320,3378,2321)(1569,2325,3384,2326)(1570,2327,2754,1872)(1573,2330,3390,
     2331)(1575,2333,3395,2334)(1585,2342,3409,2343)(1587,2345,3414,2346)
     (1591,2350,2421,2351)(1593,2353,3423,2354)(1594,2355,3426,2356)(1596,
     2358,2328,2359)(1599,2362,1630,2363)(1602,2367,3442,2368)(1604,2370,3446,
     2371)(1607,2375,3454,2376)(1609,2378,3458,2379)(1614,2386,3471,2387)
     (1615,2388,3474,2389)(1618,2393,1793,2394)(1621,2398,3487,2399)(1625,
     2404,3492,2405)(1627,2407,3494,2408)(1633,2414,3506,2415)(1635,2417,3511,
     2418)(1640,2424,3520,2425)(1642,2426,3523,2427)(1643,2056,3003,2428)
     (1645,2430,3015,2064)(1648,2433,2532,2434)(1649,2435,1675,2436)(1652,
     2440,3540,2441)(1656,2446,3548,2447)(1658,2449,3553,2450)(1661,2429,1741,
     2454)(1667,2461,3571,2462)(1669,2464,3576,2465)(1677,2472,3588,2473)
     (1680,2476,3238,2477)(1685,2482,2015,2226)(1687,2483,1697,2484)(1690,
     2488,3607,2489)(1694,2493,3613,2494)(1699,2499,2013,2500)(1702,2504,3630,
     2505)(1705,2509,3637,2510)(1708,2514,3645,2515)(1711,2519,2002,2520)
     (1715,2525,3660,2526)(1719,2530,3668,2531)(1722,2534,3673,2535)(1724,
     2537)(1726,1758,1753,2539)(1729,2543,3687,2544)(1731,2546,3192,2547)
     (1734,2550,3198,2551)(1736,2553,3702,2554)(1737,2555,3705,2556)(1738,
     2557,3708,2558)(1744,2565,3721,2566)(1746,2568,1975,2569)(1750,2574,3732,
     2575)(1756,2581,2475,2490)(1759,2583,3747,2584)(1764,2591,3759,2592)
     (1769,2599,3772,2600)(1772,2604,3779,2605)(1774,2607,3783,2608)(1777,
     2612,3790,2613)(1779,2615,3794,2616)(1780,2617,1805,2618)(1783,2622,3803,
     2623)(1785,2625,1945,2626)(1788,2630,1942,2631)(1790,2633,3816,2634)
     (1796,2641,3827,2642)(1800,2647,3832,2648)(1802,2650,3836,2651)(1806,
     2655,2400,2656)(1808,2658,2406,2659)(1811,2663,3852,2664)(1813,2665,1864,
     2666)(1815,2668,3859,2669)(1816,2670,3861,2671)(1817,2672,3864,2673)
     (1818,2674,2200,2675)(1821,2678,2205,2679)(1823,2681,3877,2682)(1826,
     2686,3884,2687)(1829,2691,3891,2692)(1833,2697,3899,2698)(1840,2707,3912,
     2708)(1842,2710,3917,2711)(1843,2712,3919,2713)(1845,2715,3924,2716)
     (1847,2718,3928,2719)(1851,2724,3935,2725)(1853,2727,3938,2728)(1856,
     2732,3943,2733)(1858,2735,3946,2736)(1861,2740,3951,2741)(1862,2742,3954,
     2743)(1867,2747,3960,2748)(1870,2751,3964,2752)(1875,2758,3975,2759)
     (1877,2761,3980,2762)(1878,2763,3983,2764)(1880,2766,3988,2767)(1883,
     2771,3994,2772)(1889,2780,4006,2781)(1890,2782,1901,2783)(1893,2787,3340,
     2788)(1898,2795,4025,2796)(1903,2801,4033,2802)(1906,2099,3065,2806)
     (1909,2810,2018,2811)(1911,2813,2010,2814)(1914,2818,4055,2819)(1915,
     2820,2357,2821)(1917,2823,4062,2824)(1920,2828,4070,2829)(1922,2831,4073,
     2832)(1925,2835,1950,2836)(1928,2840,4086,2841)(1930,2843,4090,2844)
     (1933,2848,4098,2849)(1935,2851,4102,2852)(1940,2858,4112,2859)(1947,
     2865,4121,2866)(1957,2877,4138,2878)(1959,2880,4143,2881)(1960,2882,4144,
     2883)(1965,2889,4153,2890)(1967,2892,4158,2893)(1968,2894,1988,2895)
     (1971,2898,4166,2899)(1977,2905,4177,2906)(1978,2907,4179,2908)(1980,
     2910,4184,2911)(1983,2914,4189,2915)(1985,2917,4194,2918)(1989,2922,4202,
     2923)(1991,2925,4207,2926)(1994,2929,4212,2930)(1998,2934,4220,2935)
     (2005,2943,4233,2944)(2026,2962,4251,2963)(2031,2970,4262,2971)(2033,
     2972,2051,2973)(2034,2974,4267,2975)(2036,2977,4272,2978)(2037,2979,4275,
     2980)(2039,2982,4280,2983)(2042,2987,4285,2988)(2044,2731,3941,2990)
     (2047,2992,4292,2993)(2049,2995,4297,2996)(2050,2997,4300,2998)(2053,
     3000,4305,3001)(2059,3007,4313,3008)(2060,3009,3252,3010)(2061,3011,4318,
     3012)(2067,3019,4329,3020)(2071,3024,4335,3025)(2074,3028)(2076,3030,
     4343,3031)(2079,3035,4351,3036)(2081,3038,4356,3039)(2082,3040,4358,3041)
     (2084,3043,4362,3044)(2087,3048,4370,3049)(2089,3051,4374,3052)(2101,
     3067,4399,3068)(2104,3072,4405,3073)(2106,3075,4410,3076)(2108,3078,4415,
     3079)(2110,3081,4420,3082)(2113,3086,4426,3087)(2115,3089,4431,3090)
     (2118,3093,4436,3094)(2121,3097,2176,3098)(2123,3100,4445,3101)(2126,
     3105,4452,3106)(2132,3112,3273,3113)(2134,3115,2158,3116)(2140,3121,4471,
     3122)(2142,3124,4476,3125)(2144,3127,4479,3128)(2146,3130,4484,3131)
     (2147,3132,4487,3133)(2149,3135,4490,3136)(2150,3137,4492,3138)(2152,
     3140,4496,3141)(2155,3145,4503,3146)(2160,3151,3271,3152)(2163,3156,4518,
     3157)(2166,3161,4230,3162)(2168,3164,4235,3165)(2171,3169,4534,3170)
     (2174,3174,4542,3175)(2179,3180,4550,3181)(2181,3183,4555,3184)(2184,
     3187,4561,3188)(2186,3190,4565,3191)(2189,3194,2208,3195)(2192,3199,4572,
     3200)(2194,3202,4577,3203)(2197,3207,4584,3208)(2199,3210,4020,2792)
     (2213,3218,4598,3219)(2216,3223,4604,3224)(2220,2637,3821,3229)(2223,
     3233,2737,3234)(2224,3235,4619,3236)(2228,3239,4624,3240)(2229,3241,2246,
     3242)(2232,3246,4632,3247)(2234,3249,4636,3250)(2237,3253,4638,3254)
     (2238,3255,4641,3256)(2239,2701,3904,3257)(2241,3259,2984,3260)(2242,
     3261)(2243,3262,4647,3263)(2247,3267,4654,3268)(2248,3269,4657,3270)
     (2251,3274,2303,3275)(2253,3277,4663,3278)(2256,3282,4670,3283)(2263,
     3292,4683,3293)(2266,3297,4688,3298)(2268,3300,2288,3301)(2271,3305,4695,
     3306)(2278,3315,4710,3316)(2280,3318,4715,3319)(2281,3320,4718,3321)
     (2283,3323,4723,3324)(2286,3328,4731,3329)(2290,3332,4737,3333)(2296,
     3341,4742,3342)(2299,3346,4748,3347)(2306,3355,4757,3356)(2309,3359,4760,
     3360)(2311,3362,4765,3363)(2314,3367,4769,3368)(2316,3370,4774,3371)
     (2317,3372,4777,3373)(2319,3375,4782,3376)(2322,3380)(2324,3382,4788,
     3383)(2329,3387,4796,3388)(2332,3392,2734,3393)(2336,3398,4812,3399)
     (2337,3400,4815,3401)(2339,3403,4820,3404)(2340,2377,3456,3405)(2341,
     3406,2800,3407)(2344,3411,4829,3412)(2347,3416,4014,3417)(2352,3420,3450,
     3421)(2360,3430,4851,3431)(2361,3432,4853,3433)(2364,3436,4858,3437)
     (2366,3439,4863,3440)(2369,3444,4871,3445)(2372,3448,4876,3449)(2374,
     3451,2401,3452)(2380,3460,4890,3461)(2382,3463,4895,3464)(2383,3465,4898,
     3466)(2385,3468,4903,3469)(2390,3476,4384,3058)(2392,3478,4916,3479)
     (2395,3481,4921,3482)(2397,3484,4926,3485)(2403,3490,4935,3491)(2409,
     3496,4942,3497)(2411,3499,4946,3500)(2412,3501,4949,3502)(2413,3503,4951,
     3504)(2416,3508,4959,3509)(2419,3513,4967,3514)(2422,3516,4970,3517)
     (2432,3528,3727,3529)(2437,3534,4995,3535)(2439,3537,4998,3538)(2442,
     2573,3730,3541)(2443,3542,5004,3543)(2445,3545,2466,3546)(2448,3550,5013,
     3551)(2451,3555,5020,3556)(2453,3558,5025,3559)(2455,3561,5028,3562)
     (2457,3564,4004,2779)(2458,3565,5033,3566)(2460,3568,4560,3569)(2463,
     3573,5044,3574)(2467,3578,5051,3579)(2468,3580,5053,3581)(2469,3582,5056,
     3583)(2471,3585,5059,3586)(2474,3590,5065,3591)(2478,3593,5068,3594)
     (2479,3595,5071,3596)(2480,3597,2830,2643)(2485,3602,5082,3603)(2487,
     3118,4465,3605)(2492,3610,5088,3611)(2495,3615,5095,3616)(2497,3618,5100,
     3619)(2498,3620,2521,3621)(2501,3624,5108,3625)(2503,3627,5113,3628)
     (2506,2638,3822,3632)(2508,3634,5123,3635)(2511,3639,5131,3640)(2513,
     3642,5136,3643)(2516,3647,5142,3648)(2518,3650,5147,3651)(2522,3654,5153,
     3655)(2524,3657,5158,3658)(2527,3662,5164,3663)(2529,3665,5165,3666)
     (2533,3670,3743,3671)(2536,3675,5163,3676)(2538,3678,5185,3679)(2540,
     3681,5190,3682)(2542,3684,5195,3685)(2545,3689,5203,3690)(2548,3693,5064,
     3694)(2549,3695,2570,3696)(2552,3699,5215,3700)(2559,3710,5231,3711)
     (2561,3713,5236,3714)(2562,3715,4475,3716)(2564,3718,5243,3719)(2567,
     3723,5251,3724)(2572,3728,5066,3729)(2576,3734,5265,3735)(2578,3737,5269,
     3738)(2579,3739,5272,3740)(2580,3741,5274,3742)(2582,3744,3544,3745)
     (2585,3749,5283,3750)(2587,3751,5286,3752)(2588,3753,5288,3754)(2590,
     3756,5292,3757)(2593,3761,5298,3762)(2595,3764,5300,3765)(2596,3766,5301,
     3767)(2598,3769,5305,3770)(2601,3774,5308,3775)(2603,3777,5313,3778)
     (2606,3780,5316,3781)(2609,3785,2662,3786)(2611,3117,4464,3788)(2614,
     3792,5331,3793)(2619,3797,5339,3798)(2621,3800,5342,3801)(2624,3805,5349,
     3806)(2627,3807,5352,3808)(2629,3609,2644,3810)(2632,3813,5360,3814)
     (2635,3818,5368,3819)(2640,3824,5376,3825)(2646,3633,5121,3830)(2649,
     2842,4088,3834)(2652,3838,5392,3839)(2654,3841,5395,3842)(2657,3845,4100,
     2850)(2660,3848,5405,3849)(2667,3856,2693,3857)(2676,3868,5436,3869)
     (2677,3870,5439,3871)(2680,3874,2812,3875)(2683,3879,5450,3880)(2685,
     2786,4013,3882)(2688,3886,3929,2720)(2690,3888,5462,3889)(2694,3893,5470,
     3894)(2696,3896,4291,3897)(2699,3901,4298,3902)(2702,3905,5482,3906)
     (2704,3907,5485,3908)(2706,3909,5486,3910)(2709,3914,5491,3915)(2714,
     3921,5498,3922)(2717,3926,5504,3927)(2722,3931,4038,2805)(2723,3932,2744,
     3933)(2729,3939,4002,2777)(2739,3949,5530,3950)(2745,3956,5540,3957)
     (2749,3961,5547,3962)(2753,3966,5555,3967)(2755,3969,2770,3970)(2757,
     3972,5564,3973)(2760,3977,5570,3978)(2765,3985,5581,3986)(2768,3990,5588,
     3991)(2773,3995,5594,3996)(2774,3997,5597,3998)(2776,4000,5602,4001)
     (2784,4010,5613,4011)(2789,4015,5618,4016)(2791,4018,5622,4019)(2794,
     4022,5627,4023)(2797,4027,5635,4028)(2799,4030,5639,4031)(2803,4035,5647,
     4036)(2807,4040,5655,4041)(2809,4043,5660,4044)(2815,4049,5669,4050)
     (2817,4052,5673,4053)(2822,4059,5681,4060)(2825,4064,2876,4065)(2827,
     4067,5688,4068)(2833,4075,5698,4076)(2834,4077,5701,4078)(2837,4080,5706,
     4081)(2839,4083,5710,4084)(2845,4092,5722,4093)(2847,4095,2861,4096)
     (2853,4103,5734,4104)(2855,4106,5737,4107)(2857,4109,5740,4110)(2860,
     4114,5748,4115)(2863,4117,5752,4118)(2864,3287,4677,4119)(2867,4123,5759,
     4124)(2869,4126,5763,4127)(2870,4128,5765,4129)(2871,4130,5767,4131)
     (2873,4132,5769,4133)(2874,4134,5772,4135)(2879,4140,5778,4141)(2884,
     4146,5786,4147)(2886,4148,2928,4149)(2888,4151,5790,4152)(2891,4155,5795,
     4156)(2897,4163,5806,4164)(2900,4168,5810,4169)(2901,4170,4529,3166)
     (2903,4172,2912,4173)(2904,4174,5814,4175)(2909,4181,5824,4182)(2913,
     4186,5832,4187)(2916,4191,5836,4192)(2919,4196,5842,4197)(2921,4199,5845,
     4200)(2924,4204,5852,4205)(2927,4209,5858,4210)(2931,4214,5866,4215)
     (2933,4217,5871,4218)(2936,4222,5877,4223)(2938,4225,5882,4226)(2939,
     4227,2952,4228)(2940,4229,5615,4012)(2942,4003,3592,4231)(2949,3336,4460,
     3111)(2951,3930)(2953,4236,5891,4237)(2955,4238,5894,4239)(2956,4240,
     5897,4241)(2958,4243,5900,4244)(2959,4245,3608,4246)(2960,4247,5903,4248)
     (2961,3258,3163,4249)(2964,4253,3424,4254)(2966,4255,5913,4256)(2967,
     4257,5915,4258)(2969,4259,3418,4260)(2976,4269,5928,4270)(2981,4277,5939,
     4278)(2986,4282,5947,4283)(2989,4287,5953,4288)(2991,4289,3126,4290)
     (2994,4294,5959,4295)(2999,4302,3021,4303)(3004,4308,5976,4309)(3006,
     4310,5978,4311)(3013,4319,5989,4320)(3016,4323,5996,4324)(3018,4326,6001,
     4327)(3022,4331,6008,4332)(3026,4337,6016,4338)(3029,4340,6021,4341)
     (3032,4345,3085,4346)(3034,4348,3364,4349)(3037,4353,6037,4354)(3042,
     4360,6047,4361)(3045,4364,3379,4365)(3047,4367,3069,4368)(3050,4371,6056,
     4372)(3053,4376,6064,4377)(3055,4379,6069,4380)(3056,4381,6072,4382)
     (3059,4385,4316,4386)(3061,4388,6082,4389)(3062,4390,6085,4391)(3064,
     4393,4312,4394)(3066,4396,6094,4397)(3071,4402,3377,4403)(3074,4407,6108,
     4408)(3077,4412,5367,4413)(3080,4417,6122,4418)(3083,4422,3366,4423)
     (3088,4428,6135,4429)(3092,4433,6141,4434)(3096,4242,5428,4439)(3099,
     4442,3114,4443)(3102,4447,6156,4448)(3104,4449,6157,4450)(3107,4453,6163,
     4454)(3109,4456,6167,4457)(3110,4458,3337,4459)(3119,4466,4435,4467)
     (3120,4468,6177,4469)(3123,4473,6184,4474)(3129,4481,6194,4482)(3134,
     4488,6205,4489)(3139,4493,6212,4494)(3142,4498,3149,4499)(3144,4501,6096,
     4398)(3147,4505,6227,4506)(3150,4508,3176,4509)(3153,4512,6238,4513)
     (3155,4515,3294,4516)(3158,4520,3291,4521)(3160,4523,6251,4524)(3168,
     4531,6264,4532)(3171,4536,6270,4537)(3173,4539,6274,4540)(3177,4544,6281,
     4545)(3179,4547,6286,4548)(3182,4552,6292,4553)(3186,4558,5783,4559)
     (3189,3587,5060,4563)(3193,4566,6308,4567)(3196,4569,6313,4570)(3201,
     4574,6321,4575)(3204,4579,6326,4580)(3206,4582,3211,3844)(3209,4586,6334,
     4587)(3212,4589,6337,4590)(3213,4591,6340,4592)(3215,3225,4606,4593)
     (3216,4594,6344,4595)(3217,4596)(3220,4599,4576,4600)(3222,4602,6350,
     4603)(3227,4608,6356,4609)(3228,4610,6358,4611)(3230,4612,6360,4613)
     (3232,4615,6363,4616)(3237,4621,6369,4622)(3243,4627,6378,4628)(3245,
     4629,6381,4630)(3248,4634,5907,4635)(3251,4637,5576,3982)(3264,4649,6403,
     4650)(3266,4651,6406,4652)(3276,4661,3299,4662)(3279,4664,6424,4665)
     (3281,4667,6428,4668)(3284,4672,6435,4673)(3286,4675,6440,4676)(3288,
     4620,6367,4678)(3289,4679,6444,4680)(3296,4686,6453,4687)(3302,4691,6459,
     4692)(3304,4694,5222,3704)(3307,4697,4601,4263)(3309,4699,4607,4700)
     (3310,4701,6463,4702)(3311,4703,6466,4704)(3312,4705,6469,4706)(3314,
     4707,6472,4708)(3317,4712,6480,4713)(3322,4720,6493,4721)(3325,4725,6500,
     4726)(3327,4728,6502,4729)(3330,4732,6507,4733)(3331,4734,3351,4735)
     (3334,4739,3940,4740)(3339,4741)(3343,4743,6514,4744)(3345,4746,6518,
     4747)(3348,4749,6522,4750)(3350,4752,6525,4753)(3352,4754,4971,3518)
     (3354,3527,3357,4756)(3361,4762,6536,4763)(3369,4771,6550,4772)(3374,
     4779,6561,4780)(3381,4785,6567,4786)(3385,4791,6571,4792)(3386,4793,6574,
     4794)(3389,4798,6582,4799)(3391,4801,6587,4802)(3394,4804,6592,4805)
     (3396,4807,6597,4808)(3397,4809,6600,4810)(3402,4817,6610,4818)(3408,
     4824,3415,4825)(3410,4826,6621,4827)(3413,4831,6628,4832)(3419,4835,6635,
     4836)(3422,4839,6640,4840)(3425,4842,6127,4421)(3427,4844,6646,4845)
     (3428,4846,6649,4847)(3429,4848,6652,4849)(3434,4855,6662,4856)(3435,
     3661,5090,3612)(3438,4860,3584,4861)(3441,4865,6674,4866)(3443,4868,3493,
     4869)(3447,4404,6103,4874)(3453,4880,6696,4881)(3455,4882,6699,4883)
     (3457,4885,6704,4886)(3459,4887,6706,4888)(3462,4892,6713,4893)(3467,
     4900,6726,4901)(3470,4905,6733,4906)(3472,4907,6736,4908)(3473,3763,5299,
     4909)(3475,4911,5303,3768)(3477,4913,6743,4914)(3480,4918,3560,4919)
     (3483,4923,6758,4924)(3486,4928,5682,4929)(3488,4930,6767,4931)(3489,
     4932,3515,4933)(3495,4939,6779,4940)(3498,4910,3536,4944)(3505,4953,6794,
     4954)(3507,4956,6799,4957)(3510,4961,6805,4962)(3512,4964,6810,4965)
     (3519,4972,6819,4973)(3521,4975,6824,4976)(3522,4977,6826,4978)(3524,
     4980,6830,4981)(3525,4982,5966,4983)(3526,4984,6014,4985)(3530,4986,6837,
     4987)(3531,4988,6840,4989)(3532,4990,6843,4991)(3533,4992,6846,4993)
     (3539,5000,6145,5001)(3547,5008,5757,4122)(3549,5010,6873,5011)(3552,
     5014,6879,5015)(3554,5017,6884,5018)(3557,5022,6891,5023)(3563,5029,6901,
     5030)(3567,5035,6911,5036)(3570,5038,6915,5039)(3572,5041,6920,5042)
     (3575,5046,6926,5047)(3577,5049,6931,5050)(3589,5062,6945,5063)(3598,
     5073,6957,5074)(3599,5075,6960,5076)(3600,5077,6963,5078)(3601,5079,6966,
     5080)(3604,5084,6974,5085)(3606,5086,5611,4009)(3614,5092,6984,5093)
     (3617,5097,6990,5098)(3622,5103,6996,5104)(3623,5105,6999,5106)(3626,
     5110,3916,5111)(3629,5115,7012,5116)(3631,5118,3644,5119)(3636,5125,7025,
     5126)(3638,5128,7030,5129)(3641,5133,7037,5134)(3646,5139,7045,5140)
     (3649,5144,7051,5145)(3652,5149,5214,5150)(3653,5151,5169,5152)(3656,
     5155,7061,5156)(3659,5160,7067,5161)(3664,5166,7071,5167)(3667,5170,7075,
     5171)(3669,5173,7080,5174)(3672,5176,7084,5177)(3674,5179,7087,5180)
     (3677,5182,7091,5183)(3680,5187,6947,5188)(3683,5192,3840,5193)(3686,
     5197,7105,5198)(3688,5200,4193,5201)(3691,5204,4190,5205)(3692,5206,7113,
     5207)(3697,5210,7117,5211)(3698,5212,7120,5213)(3701,5217,7124,5218)
     (3703,5220,7129,5221)(3706,5223,7132,5224)(3707,5225,7134,5226)(3709,
     5228,5208,5229)(3712,5233,7144,5234)(3717,5240,7154,5241)(3720,5245,7161,
     5246)(3722,5248,7165,5249)(3725,5253,7171,5254)(3726,5255,7173,5256)
     (3731,5259,4167,5260)(3733,5262,7182,5263)(3736,5227,3799,5267)(3746,
     5277,3773,5278)(3748,5280,3758,5281)(3755,5290,7214,5291)(3760,5295,3771,
     5296)(3776,5310,7239,5311)(3782,4069,5690,5318)(3784,5320,5856,4208)
     (3787,5322,3809,5323)(3789,5325,7257,5326)(3791,5328,7261,5329)(3795,
     5334,7270,5335)(3796,5336,7272,5337)(3802,5343,6385,5344)(3804,5346,6388,
     5347)(3811,5355,7291,5356)(3812,5357,7293,5358)(3815,5362,7296,5363)
     (3817,5365,7301,5366)(3820,5370,7305,5371)(3823,5373,7310,5374)(3826,
     5378,7317,5379)(3828,5380,4284,5381)(3829,4066,3850,4094)(3831,5382,7322,
     5383)(3833,5384,7324,5385)(3835,5387,7328,5388)(3837,5390,5850,4203)
     (3843,5397,7340,5398)(3846,5400,4958,5401)(3847,5402,7345,5403)(3851,
     5407,3900,5408)(3853,5410,7353,5411)(3854,5412,6705,5413)(3855,5414,7358,
     5415)(3858,5418,7365,5419)(3860,5421,7369,5422)(3862,5424,3883,5425)
     (3863,5426,7374,5427)(3865,5429,7377,5430)(3866,5431,7380,5432)(3867,
     5433,7382,5434)(3872,3987,5583,5441)(3873,5442,7394,5443)(3876,5445,7397,
     5446)(3878,5447,7400,5448)(3881,5452,6252,5453)(3885,5456,7412,5457)
     (3887,5459,6250,5460)(3890,5464,7423,5465)(3892,5467,7427,5468)(3895,
     5472,7435,5473)(3898,5475,7440,5476)(3903,5479,7445,5480)(3911,5487,7456,
     5488)(3913,5490,7283,5350)(3918,5493,7463,5494)(3920,5496,7468,5497)
     (3923,5499,7471,5500)(3925,5502,5878,5503)(3934,5509,7483,5510)(3936,
     5512,7486,5513)(3937,5514,7487,5515)(3942,5517,7488,5518)(3944,5520,7492,
     5521)(3945,5522,7495,5523)(3947,5525,7500,5526)(3948,5527,7503,5528)
     (3952,5533,7513,5534)(3953,4852,6657,5535)(3955,5537,7517,5538)(3958,
     5542,7522,5543)(3959,5544,6449,4684)(3963,5549,7528,5550)(3965,5552,7533,
     5553)(3968,5557,7541,5558)(3971,5561,3992,5562)(3974,5566,7552,5567)
     (3976,4048,5667,4234)(3979,5572,7561,5573)(3981,5575,7032,5130)(3984,
     5578,7570,5579)(3989,5585,7576,5586)(3993,5590,7582,5591)(3999,5599,7593,
     5600)(4005,5604,7599,5605)(4007,5607,7602,5608)(4008,5609,7605,5610)
     (4017,5619,7616,5620)(4021,5624,7624,5625)(4024,5629,4063,5630)(4026,
     5632,7633,5633)(4029,5636,7638,5637)(4032,5641,7646,5642)(4034,5644,7649,
     5645)(4037,5649,7655,5650)(4039,5652,4054,5653)(4042,5657,7663,5658)
     (4045,5662,4219,5663)(4046,5664,7671,5665)(4047,5666,7289,5354)(4051,
     5671,6953,5672)(4056,5675,6097,4814)(4057,5676,4870,5677)(4058,5678,7686,
     5679)(4061,5683,7691,5684)(4071,5692,7499,5693)(4072,5694,7496,5695)
     (4074,4902,6728,5696)(4079,5703,7714,5704)(4082,5708,4198,4108)(4085,
     5712,7725,5713)(4087,5715,7730,5716)(4089,5717,7733,5718)(4091,4139,5776,
     5720)(4097,5725,7743,5726)(4099,5728,7748,5729)(4101,5730,7751,5731)
     (4105,4162,5761,4125)(4111,5742,7769,5743)(4113,5745,7772,5746)(4116,
     5750,4136,4618)(4120,5754,7782,5755)(4137,4188,5834,5774)(4142,5780,7812,
     5781)(4145,5784,7817,5785)(4150,5043,4171,5069)(4154,5792,7824,5793)
     (4157,5796,7829,5797)(4159,5799,7834,5800)(4160,5801,7837,5802)(4161,
     5803,7840,5804)(4165,5807,7846,5808)(4176,5815,7853,5816)(4178,5818,7855,
     5819)(4180,5821,7859,5822)(4183,5826,7867,5827)(4185,5829,7871,5830)
     (4195,5839,7885,5840)(4201,5847,7897,5848)(4206,5853,7901,5854)(4211,
     5860,7909,5861)(4213,5863,7914,5864)(4216,5868,7919,5869)(4221,5874,7928,
     5875)(4224,5879,7934,5880)(4232,5887,7947,5888)(4250,5905,7969,5906)
     (4252,5908,7972,5909)(4261,4614)(4264,5919,4789,5920)(4265,5921,4306,
     5922)(4266,5209,7115,5923)(4268,5925,7993,5926)(4271,4359,6045,5930)
     (4273,5932,7873,5831)(4274,5933,8005,5934)(4276,5936,8010,5937)(4279,
     5941,8015,5942)(4281,5944,8019,5945)(4286,5950,8029,5951)(4293,5956,8036,
     5957)(4296,5961,8042,5962)(4299,5964,4336,5965)(4301,5967,8049,5968)
     (4304,5971,4787,5972)(4307,5974,8057,5975)(4314,5981,8068,5982)(4315,
     5983,8071,5984)(4317,5985,8074,5986)(4321,5991,8084,5992)(4322,5993,8086,
     5994)(4325,5998,8093,5999)(4328,6003,6534,6004)(4330,6005,6540,6006)
     (4333,6010,5184,6011)(4334,6012,8107,6013)(4339,6018,5186,6019)(4342,
     6023,8120,6024)(4344,6026,8124,6027)(4347,6029,4366,5659)(4350,6031,8131,
     6032)(4352,6034,8136,6035)(4355,6039,8142,6040)(4357,6042,8145,6043)
     (4363,6050,8155,6051)(4369,5101,6993,6054)(4373,6058,6460,6059)(4375,
     6061,8165,6062)(4378,6066,8170,6067)(4383,6074,8182,6075)(4387,6079,7571,
     6080)(4392,6087,7569,6088)(4395,6091,5631,6092)(4400,6098,8210,6099)
     (4401,6100,4424,6101)(4406,6105,4689,6106)(4409,6110,4736,6111)(4411,
     6113,8225,6114)(4414,6116,8230,6117)(4416,6119,8235,6120)(4419,6124,8241,
     6125)(4425,6129,8249,6130)(4427,6132,8254,6133)(4430,6137,6766,4950)
     (4432,6138,8260,6139)(4437,5386,7326,5399)(4438,6144,6303,4562)(4440,
     6146,8271,6147)(4441,6148,4444,6149)(4446,6153,8281,6154)(4451,6159,8287,
     6160)(4455,6165,8294,6166)(4461,6169,8299,6170)(4462,6171,4778,6172)
     (4463,6173,8302,6174)(4470,6178,8308,6179)(4472,6181,8311,6182)(4477,
     6187,8321,6188)(4478,6189,8324,6190)(4480,4530,6262,6192)(4483,6196,8335,
     6197)(4485,6199,8340,6200)(4486,6201,8343,6202)(4491,6208,8353,6209)
     (4495,6214,7203,5282)(4497,6216,8364,6217)(4500,6219,4646,6220)(4502,
     6221,4551,6222)(4504,6224,8374,6225)(4507,6229,4648,6230)(4510,6233,4781,
     6234)(4511,6235,8387,6236)(4514,6240,8394,6241)(4517,6242,8396,6243)
     (4519,6245,4533,6246)(4522,6248,8403,6249)(4525,6253,8407,6254)(4526,
     6255,7935,6256)(4527,6257,7918,6258)(4528,6259,8413,6260)(4535,6267,8426,
     6268)(4538,6271,8432,6272)(4541,6276,8439,6277)(4543,6279)(4546,6283,
     8447,6284)(4549,6288,8455,6289)(4554,6294,8463,6295)(4556,6297,8417,6298)
     (4557,6299,4581,5686)(4564,6305,4727,4639)(4568,6310,8487,6311)(4571,
     6315,4693,6316)(4573,6318,4698,6319)(4578,6323,8504,6324)(4583,6328,7628,
     6329)(4585,6331,4588,6332)(4597,6346,6400,4645)(4605,6352,7302,6353)
     (4617,6364,8558,6365)(4623,6371,8568,6372)(4625,6374,8571,6375)(4626,
     6376,8574,6377)(4631,6383,8583,6384)(4633,6386,7514,6387)(4640,6391,8592,
     6392)(4642,6394,8597,6395)(4643,6396,8600,6397)(4644,6398,8603,6399)
     (4653,6408,8618,6409)(4655,6411,8621,6412)(4656,6413,4696,5389)(4658,
     6415,8626,6416)(4659,6417,7615,6418)(4660,6419,7594,6420)(4666,6426,8639,
     6427)(4669,6430,8644,6431)(4671,6433,4682,6434)(4674,6437,8651,6438)
     (4681,6446,8660,6447)(4685,6450,8665,6451)(4690,6456,8672,6457)(4709,
     6474,8691,6475)(4711,6477,8695,6478)(4714,6482,8699,6483)(4716,6485,8703,
     6486)(4717,6487,8706,6488)(4719,6490,8711,6491)(4722,6495,8715,6496)
     (4724,6498,8719,6499)(4730,6504,4758,6505)(4738,6511,8730,6512)(4745,
     6515,8736,6516)(4751,6523,8747,6524)(4755,6528,8755,6529)(4759,6532,8759,
     6533)(4761,4943,6782,6535)(4764,6538,6956,6539)(4766,6541,6975,6542)
     (4767,6543,4784,6544)(4768,6545,8772,6546)(4770,6547,8775,6548)(4773,
     6552,8062,6553)(4775,6555,8059,6556)(4776,6557,8784,6558)(4783,6564,8792,
     6565)(4790,6569,8797,6570)(4795,6576,8806,6577)(4797,6579,8809,6580)
     (4800,6584,8108,6585)(4803,6589,5444,6590)(4806,6594,8106,6595)(4811,
     6602,8835,6603)(4813,6605,8839,6606)(4816,6608,8844,6609)(4819,6612,8848,
     6613)(4821,6614,8851,6615)(4822,6616,6680,5749)(4823,6617,8855,6618)
     (4828,6622,8862,6623)(4830,6625,4837,6626)(4833,6630,7896,6631)(4834,
     6632,8873,6633)(4838,6637,8880,6638)(4841,6642,6814,6643)(4843,5606,6578,
     5643)(4850,6654,8903,6655)(4854,6659,8909,6660)(4857,6664,8914,6665)
     (4859,6667,7170,5252)(4862,6669,8920,6670)(4864,6672)(4867,6676,8928,
     6677)(4872,6681,8935,6682)(4873,6683,8938,6684)(4875,6686,8940,6687)
     (4877,6689,8944,6690)(4878,6691,8947,6692)(4879,6693,8950,6694)(4884,
     6701,6624,6702)(4889,6707,8962,6708)(4891,6710,8966,6711)(4894,6715,8972,
     6716)(4896,6718,8967,6719)(4897,6720,8978,6721)(4899,6723,8983,6724)
     (4904,6730,8993,6731)(4912,6740,9006,6741)(4915,6745,9011,6746)(4917,
     6748,9016,6749)(4920,6752,9023,6753)(4922,6755,9028,6756)(4925,6760,9033,
     6761)(4927,6763,9038,6764)(4934,6771,9047,6772)(4936,6774,9050,6775)
     (4937,5423,7351,5409)(4938,6776,9052,6777)(4941,6780)(4945,6784,9058,
     6785)(4947,5202,7089,5181)(4948,6787,9063,6788)(4952,6791,9068,6792)
     (4955,6796,9076,6797)(4960,6802,9085,6803)(4963,6807,9092,6808)(4966,
     6812,9099,6813)(4968,6815,9102,6816)(4969,5955,8034,6817)(4974,6821,9109,
     6822)(4979,6827,9116,6828)(4994,6848,9141,6849)(4996,6851,9145,6852)
     (4997,6853,9147,6854)(4999,6856,9151,6857)(5002,6859,7169,6860)(5003,
     6861,9158,6862)(5005,6864,9161,6865)(5006,6866,8804,6575)(5007,6867,9164,
     6868)(5009,6870,9168,6871)(5012,6875,9173,6876)(5016,6881,9178,6882)
     (5019,6885,9182,6886)(5021,6888,9187,6889)(5024,6893,9195,6894)(5026,
     6896,9200,6897)(5027,6898,9203,6899)(5031,6903,9207,6904)(5032,6905,9209,
     6906)(5034,6908,9213,6909)(5037,6913,9219,6914)(5040,6917,9222,6918)
     (5045,6923,6833,6924)(5048,6928,9239,6929)(5052,6934,9243,6935)(5054,
     5791,5058,6937)(5055,6938,9247,6939)(5057,6941,7981,5914)(5061,6944,8569,
     6373)(5067,6948,6832,6949)(5070,6951,9259,6952)(5072,6954,9075,6955)
     (5081,6968,9278,6969)(5083,6971,5406,6972)(5087,6977,7521,5541)(5089,
     5394,7336,6979)(5091,6981,5117,6982)(5094,6986,9297,6987)(5096,5507,7479,
     6989)(5099,6991,9302,6992)(5102,6994,9304,6995)(5107,7001,9313,7002)
     (5109,7004,5146,7005)(5112,7007,5143,5516)(5114,7009,9324,7010)(5120,
     7016,9335,7017)(5122,7019,9339,7020)(5124,7022,9344,7023)(5127,7027,9349,
     7028)(5132,7034,9356,7035)(5135,6121,8220,6109)(5137,7040,9362,7041)
     (5138,7042,5162,7043)(5141,7047,9371,7048)(5148,7053,9380,7054)(5154,
     7059,9391,7060)(5157,7062,7477,5505)(5159,7064,9398,7065)(5168,7073,5216,
     5312)(5172,7077,9417,7078)(5175,7082,9424,7083)(5178,7086)(5189,7094,
     9440,7095)(5191,7097,9444,7098)(5194,6627,8866,7100)(5196,7102,9450,7103)
     (5199,7107,8483,7108)(5219,7126,8491,7127)(5230,7138,9488,7139)(5232,
     7141,9491,7142)(5235,7145,8617,7146)(5237,7148,9242,6932)(5238,7149,9499,
     7150)(5239,7151,9502,7152)(5242,7156,9506,7157)(5244,7159,9511,7160)
     (5247,7163,5817,7164)(5250,7167,5276,7168)(5257,7175,9530,7176)(5258,
     7177,6877,7178)(5261,7180,5809,7181)(5264,7184,9537,7185)(5266,6441,5268,
     7187)(5270,7189,9541,7190)(5271,7191,9543,7192)(5273,7194,9548,7195)
     (5275,7197,9174,7198)(5279,7200)(5284,5952,8014,5940)(5285,7205,8137,
     7206)(5287,7208,9560,7209)(5289,7211,9563,7212)(5293,7217,9571,7218)
     (5294,7219,5307,6458)(5297,7222,9577,7223)(5302,7228,9586,7229)(5304,
     7231,9589,7232)(5306,7234,9593,7235)(5309,6175,8304,7237)(5314,5896,7956,
     7242)(5315,7243,5361,7244)(5317,7246,9605,7247)(5319,7249,7274,5340)
     (5321,7251,9613,7252)(5324,7254,9618,7255)(5327,5338,7273,7259)(5330,
     7263,9628,7264)(5332,7266,5348,7267)(5333,7268,7957,5898)(5341,7275,7806,
     5775)(5345,7279,5756,7280)(5351,7284,9648,7285)(5353,7287,9289,7288)
     (5359,6661,8911,7294)(5364,7298,5744,7299)(5369,7303)(5372,7307,9669,
     7308)(5375,7312,9672,7313)(5377,7315,9677,7316)(5391,7331,9694,7332)
     (5393,7334,9698,7335)(5396,7338,9587,7230)(5404,7347,9715,7348)(5416,
     7360,9730,7361)(5417,7362,7581,7363)(5420,7366,5536,7367)(5435,7384,9752,
     7385)(5437,7386,9754,7387)(5438,7388,9757,7389)(5440,7391,9760,7392)
     (5449,7402,5454,7403)(5451,7405,7608,7406)(5455,7409,5477,7410)(5458,
     7413,9786,7414)(5461,7417,5648,7418)(5463,7420,9794,7421)(5466,7390,5511,
     7425)(5469,7429,9806,7430)(5471,7432,9809,7433)(5474,7437,9815,7438)
     (5478,7442,9823,7443)(5481,7447,8023,7448)(5483,7450,9832,7451)(5484,
     7452,9835,7453)(5489,7458,9842,7459)(5492,7461,9845,7462)(5495,7465,9851,
     7466)(5501,7473,9862,7474)(5506,5893,7954,7478)(5508,7480,6685,7481)
     (5519,7489,9877,7490)(5524,7497,9888,7498)(5529,7505,9898,7506)(5531,
     7508,9900,7509)(5532,7510,5545,7511)(5539,7225,9581,7519)(5546,7524,9066,
     6790)(5548,6855,9149,7526)(5551,7530,9922,7531)(5554,7535,5595,7536)
     (5556,7538,9931,7539)(5559,7543,9939,7544)(5560,7545,5563,7546)(5565,
     7549,9948,7550)(5568,7553,9953,7554)(5569,7555,9956,7556)(5571,7558,5580,
     7559)(5574,7563,9963,7564)(5577,7567,9967,7568)(5582,7573,9973,7574)
     (5584,7575,7660,5654)(5587,7578,9978,7579)(5589,7580)(5592,5656,7661,
     7584)(5593,7585,9985,7586)(5596,7588,9906,7516)(5598,7590,9989,7591)
     (5601,7371,9739,7595)(5603,7596,9995,7597)(5612,7607)(5614,7609,10008,
     7610)(5616,7611,7955,5895)(5617,7612,10010,7613)(5621,7618,10016,7619)
     (5623,7621,10021,7622)(5626,7626,10028,7627)(5628,7629)(5634,7635,10040,
     7636)(5638,7640,10047,7641)(5640,7643,10050,7644)(5646,7651,10062,7652)
     (5651,7656,10068,7657)(5661,7666,10079,7667)(5668,7674,10084,7675)(5670,
     7676,10087,7677)(5674,7680,5685,7681)(5680,7688,9051,7689)(5687,7693,
     10109,7694)(5689,7696,10114,7697)(5691,7699,10119,7700)(5697,7704,10123,
     7705)(5699,7707,10126,7708)(5700,7709,10129,7710)(5702,7712,10134,7713)
     (5705,7715,10137,7716)(5707,7718,8910,7719)(5709,7720,10144,7721)(5711,
     7344,9710,7723)(5714,7727,10152,7728)(5719,7701,10121,7734)(5721,7736,
     10164,7737)(5723,7738,10167,7739)(5724,7740,10170,7741)(5727,7745,10178,
     7746)(5732,7753,10190,7754)(5733,7755,10193,7756)(5735,7758,7921,5870)
     (5736,7759,10196,7760)(5738,7762,10201,7763)(5739,7764,10203,7765)(5741,
     7767,10208,7768)(5747,7774,5779,7775)(5751,7777,10217,7778)(5753,7779,
     10220,7780)(5758,7785,10229,7786)(5760,7788,10234,7789)(5762,6739,9005,
     7790)(5764,7792,10236,7793)(5766,7795,9485,7135)(5768,7797,10242,7798)
     (5770,6455,8561,6510)(5771,7800,10245,7801)(5773,7803,10248,7804)(5777,
     7808,10254,7809)(5782,7814,10259,7815)(5787,7819,9231,7820)(5788,7188,
     9446,7099)(5789,7821,10233,7822)(5794,7826,9257,7827)(5798,7831,10276,
     7832)(5805,7842,10289,7843)(5811,6345,8531,7847)(5812,7848,10296,7849)
     (5813,7850,9232,7851)(5820,7856,10307,7857)(5823,7861,5867,7862)(5825,
     7864,8959,7865)(5828,7869,8506,6325)(5833,7875,10326,7876)(5835,6327,
     8508,7878)(5837,7880,5851,7881)(5838,7882,10331,7883)(5841,7887,9686,
     7323)(5843,7889,10338,7890)(5844,7891,10340,7892)(5846,7894,10345,7895)
     (5849,7899,10350,7900)(5855,7485,9873,7902)(5857,7903,10353,7904)(5859,
     7906,10230,7907)(5862,7911,10362,7912)(5865,7916,8960,7917)(5872,7923,
     10349,7924)(5873,7925,5889,7926)(5876,7930,10383,7931)(5881,7936,10391,
     7937)(5883,7939,10394,7940)(5884,7941,9725,7357)(5885,7942,10014,7943)
     (5886,7944,9993,7945)(5890,7949,10407,7950)(5892,7952,10411,7953)(5899,
     7958,10418,7959)(5901,7961,10423,7962)(5902,7963,10424,7964)(5904,7966,
     10426,7967)(5910,7974,10438,7975)(5911,7976,10440,7977)(5912,7978,10443,
     7979)(5916,7983,10096,7683)(5917,7984,10449,7985)(5918,7965,5973,7606)
     (5924,7990,10456,7991)(5927,7995,5960,7996)(5929,7998,6599,7999)(5931,
     8001,10470,8002)(5935,8007,10477,8008)(5938,8011,6611,8012)(5943,8016,
     10482,8017)(5946,8021,10488,8022)(5948,8024,10491,8025)(5949,8026,8479,
     8027)(5954,8032,10501,8033)(5958,8038,6601,8039)(5963,8044,10516,8045)
     (5969,8051,10526,8052)(5970,8053,10528,8054)(5977,8060,10537,8061)(5979,
     8063,10540,8064)(5980,8065,7566,8066)(5987,8076,8564,8077)(5988,8078,
     9952,8079)(5990,8081,7673,8082)(5995,8088,10564,8089)(5997,8091,6586,
     8092)(6000,8095,6583,6503)(6002,8097,10575,8098)(6007,8101,10458,7992)
     (6009,8102,10582,8103)(6015,8109,10587,8110)(6017,8111,10589,8112)(6020,
     8115,6057,8116)(6022,8118,10596,8119)(6025,8122)(6028,8126,10603,8127)
     (6030,8129,10608,8130)(6033,8133,10613,8134)(6036,7668,10080,8138)(6038,
     8140,6046,8141)(6041,8139,10595,8117)(6044,8147,10625,8148)(6048,8151,
     8961,6703)(6049,8152,10632,8153)(6052,8156,10348,7898)(6053,7090,9433,
     8157)(6055,8159,10638,8160)(6060,8162,10639,8163)(6063,8166,9567,7215)
     (6065,8168,9949,8169)(6068,8172,9938,8173)(6070,8174,10649,8175)(6071,
     8176,10652,8177)(6073,8179,10656,8180)(6076,8184,10621,8144)(6077,7986,
     10450,7989)(6078,8185,10662,8186)(6081,8189,10666,8190)(6083,8192,10670,
     8193)(6084,8194,10673,8195)(6086,8196,10675,8197)(6089,8198,10678,8199)
     (6090,8200,10680,8201)(6093,8203,6136,8204)(6095,8206,10687,8207)(6102,
     8214,10699,8215)(6104,8216,9576,8217)(6107,8218,9127,6836)(6112,8222,
     9578,8223)(6115,8227,10710,8228)(6118,8232,10717,8233)(6123,8238,10725,
     8239)(6126,8243,10729,8244)(6128,8246,10732,8247)(6131,8251,10738,8252)
     (6134,8256,10744,8257)(6140,8262,10752,8263)(6142,8265,10755,8266)(6143,
     8267,6161,8268)(6150,8275,10767,8276)(6151,8277,9619,8278)(6152,8279,
     6278,6410)(6155,8282,10773,8283)(6158,6964,9271,8285)(6162,8288,9445,
     8289)(6164,8291,10782,8292)(6168,8297,9439,8298)(6176,8305,10189,8306)
     (6180,8309,10804,8310)(6183,8313,6213,8314)(6185,8316,6492,8317)(6186,
     8318,10815,8319)(6191,8326,10827,8327)(6193,8329,6481,8330)(6195,8332,
     6204,8333)(6198,8337,10840,8338)(6203,8345,9258,8346)(6206,8348,6479,
     8349)(6207,8350,9260,8351)(6210,8355,9334,8356)(6211,8357,6494,8358)
     (6215,8361,9336,8362)(6218,8365,10876,8366)(6223,8371,6244,8372)(6226,
     8376,10894,8377)(6228,8379,9268,6961)(6231,8382,10900,8383)(6232,8384,
     10903,8385)(6237,8388,10908,8389)(6239,8391,10913,8392)(6247,8400,10925,
     8401)(6261,8415,7874,8416)(6263,8418,10945,8419)(6265,8421,8154,8422)
     (6266,8423,6290,8424)(6269,8428,10958,8429)(6273,8434,10968,8435)(6275,
     6900,9204,8437)(6280,8442,9996,7598)(6282,8444,10979,8445)(6285,8449,
     10985,8450)(6287,8452,10989,8453)(6291,8457,6335,8458)(6293,8460,10996,
     8461)(6296,8465,10981,8466)(6300,8470,8781,8471)(6301,8472,10277,8473)
     (6302,8474,11012,8475)(6304,8477,6320,8478)(6306,8480,10977,8443)(6307,
     8481,11020,8482)(6309,8484,11022,8485)(6312,8489,11028,8490)(6314,8492,
     11031,8493)(6317,8496,11038,8497)(6322,8501,11044,8502)(6330,8511,11053,
     8512)(6333,8515,11060,8516)(6336,7031,9352,8518)(6338,8520,11064,8521)
     (6339,8522,11067,8523)(6341,8525,11070,8526)(6342,8527,11073,8528)(6343,
     8436,10970,8529)(6347,8533,11078,8534)(6348,8535,8505,8536)(6349,8537)
     (6351,8539,9903,7512)(6354,8542,11086,8543)(6355,8544,11088,8545)(6357,
     8547,10712,8229)(6359,8549,11095,8550)(6361,8552,11097,8553)(6362,8554,
     11098,8555)(6366,6839,7507,8560)(6368,8562,10260,8563)(6370,8565,11108,
     8566)(6379,8576,10272,7825)(6380,8577,11119,8578)(6382,8580,11122,8581)
     (6389,8587,10648,8588)(6390,8589,11129,8590)(6393,8594,11135,8595)(6401,
     8606)(6402,8607,11147,8608)(6404,8610,11149,8611)(6405,8612,11152,8613)
     (6407,8615,11156,8616)(6414,8623,6432,8624)(6421,8632,8723,8633)(6422,
     8634,11177,8635)(6423,8586,11123,8582)(6425,8636,11180,8637)(6429,8642,
     11187,8643)(6436,8648,11195,8649)(6439,8652,11201,8653)(6442,8654,11203,
     8655)(6443,7603,10003,8656)(6445,6998,9308,8658)(6448,8662,6461,8663)
     (6452,8667,11215,8668)(6454,8670,9871,7482)(6462,8674,11222,8675)(6464,
     8677)(6465,8678,11228,8679)(6467,8681,11232,8682)(6468,8683,11234,8684)
     (6470,8685,9110,6823)(6471,8686,11237,8687)(6473,8688,11240,8689)(6476,
     7368,9737,8693)(6484,8700,11257,8701)(6489,8708,8951,8709)(6497,8717,
     8949,7370)(6501,8721,11140,8599)(6506,8724,6902,7794)(6508,7791,7143,
     8726)(6509,8727,8622,8728)(6513,8732,11292,8733)(6517,8737,11300,8738)
     (6519,8740,9649,8741)(6520,7830,6531,8742)(6521,8743,11307,8744)(6526,
     8750,11318,8751)(6527,8752,9262,8753)(6530,8757,9283,7038)(6537,8763,
     11331,8764)(6549,8776,11347,8777)(6551,8779,6560,8780)(6554,8782,11349,
     8783)(6559,8785,9570,8786)(6562,8788,11354,8789)(6563,8787,9572,8790)
     (6566,8793,11360,8794)(6568,8795)(6572,8800,11101,8557)(6573,8801,11371,
     8802)(6581,8811,11385,8812)(6588,8817,11394,8818)(6591,8821,11398,8822)
     (6593,8824,7670,8825)(6596,8828,7669,8829)(6598,8831,11411,8832)(6604,
     6874,9172,8837)(6607,8841,11423,8842)(6619,8857,8870,8858)(6620,8859,
     11446,8860)(6629,8868,11455,8869)(6634,8874,11462,8875)(6636,8877,11465,
     8878)(6639,8882,11473,8883)(6641,8885,11475,8886)(6644,8888,11479,8889)
     (6645,8890,10495,8028)(6647,8892,11483,8893)(6648,8894,6653,8895)(6650,
     8897,11488,8898)(6651,8899,11491,8900)(6656,8905,10088,8906)(6658,8907,
     10086,8712)(6663,8912,11504,8913)(6666,8710,11271,8916)(6668,8917,6783,
     8918)(6671,8922,11515,8923)(6673,8925,11518,8926)(6675,8927,9081,6800)
     (6678,8930,11524,8931)(6679,8932,11527,8933)(6688,6980,6773,8942)(6695,
     8952,11550,8953)(6697,8954,11552,8955)(6698,8956,11554,8957)(6700,8958,
     9348,7026)(6709,7136,7355,8964)(6712,7706,6759,8968)(6714,8970,7304,7888)
     (6717,8974,7356,8975)(6722,8980,11575,8981)(6725,8985,7311,8986)(6727,
     8988,6742,8989)(6729,8991,9486,7137)(6732,8995,6737,8996)(6734,8998,
     11593,8999)(6735,9000,11596,9001)(6738,9003,9566,9004)(6744,9009,7309,
     9010)(6747,9013,11610,9014)(6750,9018,11615,9019)(6751,9020,11618,9021)
     (6754,9025,11622,9026)(6757,7722,7306,9030)(6762,9035,11633,9036)(6765,
     9039,9547,9040)(6768,9041,8264,8509)(6769,9042,11638,9043)(6770,9044,
     11641,9045)(6778,9053,11644,9054)(6781,9056,9098,9057)(6786,9060,9100,
     9061)(6789,9064,9049,9065)(6793,9070,11662,9071)(6795,9073,11667,9074)
     (6798,9078,11673,9079)(6801,9082,6818,9083)(6804,9087,11683,9088)(6806,
     7318,7260,9090)(6809,9093,7258,9094)(6811,9096,11696,9097)(6820,9106,
     11704,9107)(6825,9112,11709,9113)(6829,9118,9533,9119)(6831,9121,9516,
     9122)(6834,9123,11717,9124)(6835,9125,11719,9126)(6838,9129,11722,9130)
     (6841,6950,9252,6942)(6842,9132,11724,9133)(6844,9134,11727,9135)(6845,
     9136,11729,9137)(6847,9139,11732,9140)(6850,9143,11738,9144)(6858,9153,
     11751,9154)(6863,9138,6933,9160)(6869,9166,11764,9167)(6872,9169,11767,
     9170)(6878,9175,11373,8803)(6880,8799,11368,9177)(6883,9179,11775,9180)
     (6887,9184,11781,9185)(6890,9189,6912,9190)(6892,9192,7153,9193)(6895,
     9197,11798,9198)(6907,8722,8269,9211)(6910,9215,7155,9216)(6916,8602,
     11144,9221)(6919,9224,11828,9225)(6921,9227,11832,9228)(6922,9229,6936,
     9230)(6925,9233,11834,9234)(6927,9236,11839,9237)(6930,9240,11158,8619)
     (6940,9249,11857,9250)(6943,8468,8459,9253)(6946,9255,11865,9256)(6958,
     9263,6973,9264)(6959,9265,11105,9266)(6962,9269,11873,9270)(6965,9272,
     11876,9273)(6967,9275,11880,9276)(6970,9131,11118,9280)(6976,9284,11890,
     9285)(6978,9287,11895,9288)(6983,9291,11900,9292)(6985,9294,11904,9295)
     (6988,9298,11909,9299)(6997,9306,11915,9307)(7000,9310,11919,9311)(7003,
     9315,11925,9316)(7006,9319,11932,9320)(7008,9322,11933,9323)(7011,9326,
     10283,7836)(7013,9328,11940,9329)(7014,9330,11614,9331)(7015,9332,11942,
     9333)(7018,9337,7286,9338)(7021,9341,10867,9342)(7024,9345,11952,9346)
     (7029,9350,9872,7484)(7033,9354,10919,8397)(7036,9358,7072,9128)(7039,
     9359,11972,9360)(7044,9366,11619,9367)(7046,9369,11983,9370)(7049,9373,
     11988,9374)(7050,9375,11990,9376)(7052,9377,11993,9378)(7055,9382,12000,
     9383)(7056,9384,12003,9385)(7057,9386,12005,9387)(7058,9388,12007,9389)
     (7063,9395,12018,9396)(7066,9400,12026,9401)(7068,9403,12028,9404)(7069,
     9405,12031,9406)(7070,9407,12033,9408)(7074,9411,12035,9412)(7076,9414,
     8414,9415)(7079,9419,12043,9420)(7081,9421,12045,9422)(7085,9427,10574,
     9428)(7088,9431,12053,9432)(7092,9435,12057,9436)(7093,9437,11757,9438)
     (7096,7207,9559,9442)(7101,9447,12067,9448)(7104,9452,12073,9453)(7106,
     9455,12076,9456)(7109,9459,9793,7419)(7110,9460,7122,8609)(7111,7116,
     9465,7121)(7112,9208,11811,9461)(7114,9463,11585,8992)(7118,7732,10158,
     9467)(7119,9468,9688,7325)(7123,9470,12091,9471)(7125,9473,12096,9474)
     (7128,9477,12101,9478)(7130,9480,11080,8538)(7131,9481,12105,9482)(7133,
     9483,12108,9484)(7140,9489,12114,9490)(7147,9495,12119,9496)(7158,9508,
     10819,9509)(7162,9513,12138,9514)(7166,9518,12144,9519)(7172,9524,12151,
     9525)(7174,9527,11872,9528)(7179,9531,12157,9532)(7183,8069,10543,9535)
     (7186,9539,12164,9540)(7193,9545,10718,9546)(7196,9550,10716,9551)(7199,
     9554)(7201,8486,7220,8673)(7202,9555,12177,9556)(7204,7337,9701,9521)
     (7210,9562,11276,8716)(7213,9564,7240,9565)(7216,9568,12186,9569)(7221,
     9574,12192,9575)(7224,9579,12196,9580)(7226,9582,12199,9583)(7227,8250,
     10736,9584)(7233,9590,12206,9591)(7236,9594,12211,9595)(7238,9596,8164,
     9597)(7241,9598,10734,8248)(7245,9602,7265,9603)(7248,9607,12230,9608)
     (7250,9610,12234,9611)(7253,9615,12241,9616)(7256,9620,12246,9621)(7262,
     9625,12252,9626)(7269,8125,10601,9632)(7271,9634,12263,9635)(7276,9639,
     12268,9640)(7277,9641,12269,9642)(7278,9643,10664,8188)(7281,8009,9719,
     7350)(7282,9646,12273,9647)(7290,9653,11175,8965)(7292,9654,12281,9655)
     (7295,9658,12288,9659)(7297,8255,10742,9661)(7300,9664,12294,9665)(7314,
     9674,12305,9675)(7319,9680,9709,7343)(7320,9681,12310,9682)(7321,9683,
     12313,9684)(7327,9690,12318,9691)(7329,7352,9721,8006)(7330,9692,12320,
     9693)(7333,9695,9520,9696)(7339,9702,12329,9703)(7341,9705,12334,9706)
     (7342,9707,12337,9708)(7346,9712,12343,9713)(7349,9717,12348,9718)(7354,
     9723,12354,9724)(7359,9727,12357,9728)(7364,7813,10258,9734)(7372,9046,
     9740,7373)(7375,9741,9303,9314)(7376,9742,12370,9743)(7378,9744,12373,
     9745)(7379,9746,9860,7472)(7381,9748,12376,9749)(7383,7467,9853,9750)
     (7393,9762,12395,9763)(7395,7460,9843,9765)(7396,9766,12398,9767)(7398,
     9769,12401,9770)(7399,9771,11376,9772)(7401,9773,11381,9774)(7404,9776,
     12406,9777)(7407,9780,7446,8406)(7408,9781,12412,9782)(7411,8075,10550,
     9784)(7415,8936,11532,9788)(7416,9789,7434,9790)(7422,9796,12426,9797)
     (7424,9799,8240,9800)(7426,9775,8245,9802)(7428,9803,8891,9804)(7431,
     9807,10506,9808)(7436,9812,12440,9813)(7439,9817,12446,9818)(7441,9820,
     12449,9821)(7444,9825,10525,8050)(7449,9829,12460,9830)(7454,9837,12469,
     9838)(7455,9839,12471,9840)(7457,8498,11040,8659)(7464,9848,12482,9849)
     (7469,9855,12490,9856)(7470,9857,12493,9858)(7475,9864,12499,9865)(7476,
     9866,12502,9867)(7491,9879,10875,9880)(7493,9882,12519,9883)(7494,9884,
     12522,9885)(7501,9891,12530,9892)(7502,9893,7529,9894)(7504,9895,12535,
     9896)(7515,9904,11406,9905)(7518,9908,12547,9909)(7520,9910,11117,8575)
     (7523,9913,11189,9914)(7525,9915,8143,9916)(7527,9918,12557,9919)(7532,
     9923,10658,8181)(7534,9924,12549,9925)(7537,9928,7557,9929)(7540,9933,
     9889,9934)(7542,9936,8814,9937)(7547,9943,12579,9944)(7548,9945,12581,
     9946)(7551,9950,12586,9951)(7560,9960,12596,9961)(7562,8183,10660,8187)
     (7565,9965,12601,9966)(7572,9970,7587,9971)(7577,7982,10447,8876)(7583,
     9981,12622,9982)(7589,9987,12629,9988)(7592,9991,7617,9992)(7600,9998,
     12640,9999)(7601,10000,12643,10001)(7604,10004,10427,10005)(7614,10012,
     12654,10013)(7620,10018,12658,10019)(7623,10023,7664,10024)(7625,10026,
     12668,10027)(7630,10031,12676,10032)(7631,10033,7702,10034)(7632,10035,
     7703,10036)(7634,10038,11586,10039)(7637,10042,12684,10043)(7639,10045,
     7654,10046)(7642,10048,12486,10049)(7645,10051,12690,10052)(7647,10054,
     12695,10055)(7648,10056,12698,10057)(7650,10059,12703,10060)(7653,10064,
     12711,10065)(7658,10070,10705,10071)(7659,10072,11699,9103)(7662,10074,
     12722,10075)(7665,10077,12725,10078)(7672,10082,12731,10083)(7678,10089,
     12409,9779)(7679,10090,12738,10091)(7682,10094,10701,10095)(7684,10097,
     12748,10098)(7685,10099,12239,9614)(7687,10101,12751,10102)(7690,10103,
     12752,10104)(7692,10106,12521,10107)(7695,10111,7802,10112)(7698,10116,
     12763,10117)(7711,10131,12777,10132)(7717,10139,12788,10140)(7724,10147,
     12795,10148)(7726,9697,12323,10150)(7729,10153,12801,10154)(7731,10156,
     12805,10157)(7735,10161,12812,10162)(7742,10172,12823,10173)(7744,10175,
     10901,10176)(7747,10179,12829,10180)(7749,10182,12833,10183)(7750,10184,
     7870,10185)(7752,10187,12839,10188)(7757,10194,9410,10195)(7761,10198,
     12850,10199)(7766,10205,12858,10206)(7770,10209,11336,8767)(7771,10210,
     12864,10211)(7773,10213,11278,8718)(7776,10215,12869,10216)(7781,10222,
     12877,10223)(7783,10224,12880,10225)(7784,10226,12883,10227)(7787,10231,
     12888,10232)(7796,10239,12896,10240)(7799,9425,7810,10243)(7805,8973,
     9462,10250)(7807,10252,11816,9212)(7811,10255,12915,10256)(7816,10261,
     12921,10262)(7818,10264,12923,10265)(7823,10269,7905,10270)(7828,9783,
     12414,10274)(7833,10278,12937,10279)(7835,10281,12940,10282)(7838,10284,
     7839,10285)(7841,10286,12945,10287)(7844,10291,12950,10292)(7845,10293,
     12572,10294)(7852,10300,12959,10301)(7854,10303,12963,10304)(7858,10309,
     12971,10310)(7860,10312,12975,10313)(7863,10315,7879,10316)(7866,10318,
     12984,10319)(7868,10320,12986,10321)(7872,10323,12991,10324)(7877,9007,
     11602,10327)(7884,9732,12361,10333)(7886,9685,12315,10335)(7893,10342,
     13012,10343)(7908,10356,13028,10357)(7910,10359,13032,10360)(7913,10364,
     13034,10365)(7915,10367,13038,10368)(7920,10371,12946,10288)(7922,10115,
     12762,10372)(7927,10377,13049,10378)(7929,10380,13051,10381)(7932,10385,
     13056,10386)(7933,10387,13059,10388)(7938,10393,13030,10358)(7946,10401,
     11894,10402)(7948,10404,11910,10405)(7951,10408,13075,10409)(7960,10420,
     13091,10421)(7968,10428,13095,10429)(7970,10431,13097,10432)(7971,10433,
     13100,10434)(7973,10436,8020,10437)(7980,10445,8884,10446)(7987,10451,
     13115,10452)(7988,10453,13116,10454)(7994,10460,13123,10461)(7997,10464,
     8013,10465)(8000,10467,13129,10468)(8003,8863,11449,10472)(8004,10473,
     13133,10474)(8018,10484,13142,10485)(8030,10497,13159,10498)(8031,10499,
     8040,10500)(8035,10504,13165,10505)(8037,10507,13166,10508)(8041,10511,
     13171,10512)(8043,10513,13174,10514)(8046,10518,13177,10519)(8047,10520,
     13178,10521)(8048,10522,13180,10523)(8055,10530,13186,10531)(8056,10532,
     9117,10533)(8058,10535,11419,8838)(8067,10541,13193,10542)(8070,10544,
     12362,9733)(8072,10546,11707,9687)(8073,10547,13195,10548)(8080,10551,
     13200,10552)(8083,10555,8114,10556)(8085,10558,13208,10559)(8087,10561,
     9108,10562)(8090,9700,12327,10566)(8094,10570,8104,10571)(8096,10572,
     13215,10573)(8099,10576,13218,10577)(8100,10578,11350,10579)(8105,10583,
     13220,10584)(8113,10591,13227,10592)(8121,10597,13232,10598)(8123,10599,
     13235,10600)(8128,10605,10390,10606)(8132,10611,13246,10612)(8135,10615,
     13190,10616)(8146,10623,13257,10624)(8149,10627,13263,10628)(8150,10629,
     8161,10630)(8158,9293,11902,9402)(8167,10641,13277,10642)(8171,10646,
     13284,10647)(8178,10654,12179,9558)(8191,10668,10545,9940)(8202,10681,
     13311,10682)(8205,10684,8219,10685)(8208,8532,8378,10688)(8209,10689,
     9027,10690)(8211,10692,13324,10693)(8212,10694,13326,10695)(8213,10696,
     13327,10697)(8221,10703)(8224,8937,8731,10253)(8226,10707,13337,10708)
     (8231,10714,13344,10715)(8234,10719,13348,10720)(8236,10721,13350,10722)
     (8237,10723,8258,10724)(8242,10726,13354,10727)(8253,10740,13364,10741)
     (8259,10746,8295,10747)(8261,10749,13375,10750)(8270,10758,13385,10759)
     (8272,10761,13387,10762)(8273,10763,13389,10764)(8274,8425,10953,10765)
     (8280,10770,13394,10771)(8284,10774,13396,10775)(8286,10777,13400,10778)
     (8290,10780,11145,8604)(8293,10784,13405,10785)(8296,10786,13407,10787)
     (8300,10790,10363,10791)(8301,10792,13413,10793)(8303,10795,13417,10796)
     (8307,10800,9689,10801)(8312,10807,13430,10808)(8315,10811,8331,10812)
     (8320,10817,11021,10818)(8322,10820,13441,10821)(8323,10822,13443,10823)
     (8325,10824,10951,10825)(8328,10829,10964,10830)(8334,10835,13460,10836)
     (8336,10538,13191,10838)(8339,10842,13466,10843)(8341,10845,13471,10846)
     (8342,10847,10728,10848)(8344,10850,10739,10851)(8347,10854,8359,10855)
     (8352,10860,13484,10861)(8354,10863,13488,10864)(8360,10868,13492,10869)
     (8363,10872,10480,10873)(8367,10878,8404,10879)(8368,10880,13502,10881)
     (8369,10882,13503,10883)(8370,10884,13506,10885)(8373,10888,13513,10889)
     (8375,10891,13518,10892)(8380,10895,13522,10896)(8381,10897,8393,10898)
     (8386,10905,11971,9764)(8390,10910,8669,10911)(8395,10916,13543,10917)
     (8398,10920,13547,10921)(8399,10922,13550,10923)(8402,10927,13557,10928)
     (8405,10930,8657,10931)(8408,10933,13564,10934)(8409,10935,13566,10936)
     (8410,8908,11500,10937)(8411,10938,13569,10939)(8412,10940,13570,10941)
     (8420,10947,13579,10948)(8427,10955,13588,10956)(8430,10960,13596,10961)
     (8431,10962,13599,10963)(8433,10965,8446,10966)(8438,10972,8441,10973)
     (8440,10975)(8448,10982,13620,10983)(8451,10986,13623,10987)(8454,9920,
     12552,9912)(8456,8573,11116,10992)(8462,10998,13634,10999)(8464,11000,
     13636,11001)(8467,11004,13643,11005)(8469,11006,13646,11007)(8476,11014,
     10748,11015)(8488,11025,13665,11026)(8494,11033,13676,11034)(8495,11035,
     8666,11036)(8499,10151,12798,10191)(8500,11041,8517,11042)(8503,11046,
     8605,11047)(8507,11024,8519,10263)(8510,11050,9747,11051)(8513,11055,
     13693,11056)(8514,11057,12688,11058)(8524,11068,13704,11069)(8530,11075,
     10971,11076)(8540,11081,13719,11082)(8541,11083,12306,11084)(8546,11090,
     13728,11091)(8548,11093,13731,11094)(8551,11096,12955,10297)(8556,10295,
     12953,11100)(8559,11103,13741,11104)(8567,11109,13746,11110)(8570,11112,
     13749,11113)(8572,11114,13291,11115)(8579,11120,13756,11121)(8584,11124,
     13758,11125)(8585,11126,13760,11127)(8591,11130,13764,11131)(8593,11132,
     13765,11133)(8596,11136,13771,11137)(8598,11138,12433,11139)(8601,11142,
     13776,11143)(8614,11153,13789,11154)(8620,11159,13798,11160)(8625,9651,
     12276,11164)(8627,11165,8638,11166)(8628,11167,13806,11168)(8629,11169,
     13807,11170)(8630,11171,13810,11172)(8631,11173,13812,11174)(8640,11183,
     13818,11184)(8641,11185,13459,11186)(8645,11190,13824,11191)(8646,11192,
     13827,11193)(8647,11194,12168,9791)(8650,11197,13831,11198)(8661,11207,
     13841,11208)(8664,11211,13844,11212)(8671,11218,13852,11219)(8676,11224,
     13860,11225)(8680,11230,13869,11231)(8690,11242,13878,11243)(8692,11245,
     13773,11246)(8694,11248,13772,11249)(8696,11250,13887,11251)(8697,11252,
     8713,11253)(8698,11254,13892,11255)(8702,11259,13896,11260)(8704,11262,
     13901,11263)(8705,11264,13903,11265)(8707,11267,13907,11268)(8714,11273,
     13777,11274)(8720,11280,13922,11281)(8725,11284,9217,11285)(8729,11289,
     13933,11290)(8734,11294,13935,11295)(8735,11296,8760,11297)(8739,11301,
     13940,11302)(8745,11309,13950,11310)(8746,11311,12594,9959)(8748,11313,
     8754,11314)(8749,11315,13954,11316)(8756,11322,12154,9529)(8758,11324,
     12934,11325)(8761,11327)(8762,11328,8778,11329)(8765,11332,13964,11333)
     (8766,11334,13967,11335)(8768,11337,13969,11338)(8769,11339,13970,11340)
     (8770,11341,13972,11342)(8771,9787,12418,10067)(8773,11343,13974,11344)
     (8774,11345,13977,11346)(8791,11356,11992,11357)(8796,11363,8827,11364)
     (8798,11366,9876,11367)(8805,11375,13998,11374)(8807,11377,13999,11378)
     (8808,11379,14002,11380)(8810,11382,9017,11383)(8813,11387,14008,11388)
     (8815,11389,9887,11390)(8816,11391,14009,11392)(8819,9048,11293,9301)
     (8820,11396,14014,11397)(8823,11400,14020,11401)(8826,11404,9878,11405)
     (8830,11408,14025,11409)(8833,11412,8846,11413)(8834,11414,14031,11415)
     (8836,11417)(8840,11420,14038,11421)(8843,11425,13316,11426)(8845,11428,
     14042,11429)(8847,11430,8852,9638)(8849,11432,14044,11433)(8850,11434,
     14046,11435)(8853,11437,12914,11438)(8854,11439,14051,11440)(8856,11442,
     9024,11443)(8861,11447,8867,11079)(8864,11450,14061,11451)(8865,11452,
     14064,11453)(8871,10127,12771,11457)(8872,11458,14070,11459)(8879,11467,
     14079,11468)(8881,11470,14081,11471)(8887,11477,11539,11395)(8896,11486,
     14098,11487)(8901,11493,14107,11494)(8902,11485,14096,11495)(8904,11497,
     10619,11498)(8915,8997,11591,11507)(8919,11509,14122,11510)(8921,11512,
     14125,11513)(8924,11516,14129,11517)(8929,11522,10214,9738)(8934,11529,
     10713,11530)(8939,11534,14146,11535)(8941,11537,14149,11538)(8943,9756,
     12386,11540)(8945,11542,14151,11543)(8946,11544,14154,11545)(8948,11546,
     14155,11547)(8963,9899,9726,11558)(8969,11562,8987,11563)(8971,10334,
     11684,9454)(8976,11567,14179,11568)(8977,11569,14182,11570)(8979,11572,
     14187,11573)(8982,9668,12299,11576)(8984,11578,14192,11579)(8990,11582,
     14198,11583)(8994,11587,14202,11588)(9002,11598,14216,11599)(9008,11603,
     9031,11604)(9012,11607,9768,11608)(9015,11541,14150,11612)(9022,11620,
     13073,10406)(9029,11624,13496,11625)(9032,11627,14242,11628)(9034,11630,
     14247,11631)(9037,11634,14252,11635)(9055,10772,13386,10760)(9059,11648,
     13111,11649)(9062,11652,11472,11653)(9067,11658,13689,11659)(9069,11660,
     13655,11661)(9072,11664,14274,11665)(9077,11670,14281,11671)(9080,11674,
     14286,11675)(9084,9526,12153,11679)(9086,11681,12136,9512)(9089,11685,
     14295,11686)(9091,11688,14300,11689)(9095,11693,14303,11694)(9101,11698)
     (9104,11700,14310,11701)(9105,11476,14083,11702)(9111,11708,13212,10568)
     (9114,10567,9155,11711)(9115,11712,14322,11713)(9120,11715,9156,11474)
     (9142,11735,14346,11736)(9146,11741,14350,11742)(9148,11744,10909,11745)
     (9150,11747,12392,10478)(9152,11749,12387,11750)(9157,11065,13700,11753)
     (9159,11755,14054,11756)(9162,11758,14365,11759)(9163,11760,14367,11761)
     (9165,11763)(9171,11768,14376,11769)(9176,11770,14379,11771)(9181,11776,
     14385,11777)(9183,11779,14389,11780)(9186,11783,14133,11520)(9188,11785,
     14396,11786)(9191,11789,9205,11790)(9194,11640,14257,11793)(9196,11795,
     14410,11796)(9199,11800,14417,11801)(9201,11803,14422,11804)(9202,11805,
     14424,11806)(9206,11808,14426,11809)(9210,11813,14431,11814)(9214,11817,
     12797,10149)(9218,11820,10439,11821)(9220,11822,14441,11823)(9223,11826,
     14448,11827)(9226,11830,14450,11831)(9235,11836,14455,11837)(9238,11841,
     14459,11842)(9241,11845,14464,11846)(9244,11849,14469,11850)(9245,11851,
     12936,11852)(9246,9731,12360,11853)(9248,11854,14473,11855)(9251,11859,
     14476,11860)(9254,11862,9267,11863)(9261,11868,9542,10580)(9274,11877,
     14493,11878)(9277,11882,14499,11883)(9279,11884,12928,10268)(9281,11886,
     14502,11887)(9282,11888,14505,11889)(9286,11892,14215,11893)(9290,11897,
     11931,11898)(9296,11906,14522,11907)(9300,11911,14525,11912)(9305,11085,
     13722,11111)(9309,11916,14529,11917)(9312,11921,14533,11922)(9317,11927,
     14542,11928)(9318,11929,14544,11930)(9321,10496,11810,9679)(9325,11935,
     14549,11936)(9327,11914,9368,11938)(9340,11947)(9343,11949,14563,11950)
     (9347,11954,14568,11955)(9351,11959,14575,11960)(9353,11962,10653,11963)
     (9355,11965,14580,11966)(9357,11968,13750,11969)(9361,11973,11723,11974)
     (9363,11975,14585,11976)(9364,11977,14588,11978)(9365,10907,11991,11979)
     (9372,11986,10399,11987)(9379,9390,12009,11995)(9381,11997,14603,11998)
     (9392,12011,14617,12012)(9393,12013,9409,12014)(9394,12015,14620,12016)
     (9397,12020,10384,12021)(9399,12023,14627,12024)(9413,12036,14634,12037)
     (9416,12040)(9418,12041,9429,12042)(9423,12046,13872,11235)(9426,12047,
     14643,12048)(9430,12050,14646,12051)(9434,12055,14652,12056)(9441,12060,
     12900,12061)(9443,11551,12034,12063)(9449,12068,14669,12069)(9451,12071,
     14674,12072)(9457,12077,9476,12078)(9458,12079,13790,12080)(9464,12083,
     14687,12084)(9466,12085,14689,12086)(9469,12088,14693,12089)(9472,12093,
     14699,12094)(9475,12098,13788,12099)(9479,12102,14711,12103)(9487,12111,
     14717,12112)(9492,12115,14721,12116)(9493,12117,9504,10806)(9494,12118)
     (9497,12120,14726,12121)(9498,10266,12925,10299)(9500,12122,14729,12123)
     (9501,12124,13842,11209)(9503,12126,13485,12127)(9505,12128,13882,12129)
     (9507,11525,14138,12131)(9510,12133,14545,12134)(9515,12139,9534,12140)
     (9517,12141,14751,12142)(9522,12146,14757,12147)(9523,12148,14760,12149)
     (9536,12159,9662,12160)(9538,12162,9645,12163)(9544,11869,10238,12167)
     (9549,12169,14773,12170)(9552,12171,14775,12172)(9553,12173,14776,12174)
     (9557,9667,12298,9670)(9561,12181,9861,12182)(9573,12189,10640,12190)
     (9585,12201,14045,12202)(9588,10609,13096,10430)(9592,12208,12631,9990)
     (9599,12216,14810,12217)(9600,12218,14811,12219)(9601,12220,14812,12221)
     (9604,12224,14816,12225)(9606,12227,14817,12228)(9609,12232,14823,12233)
     (9612,12236,14491,12237)(9617,12243,13424,12244)(9622,12247,14833,12248)
     (9623,12249,14835,12250)(9624,12251,14795,12198)(9627,12254,14191,12255)
     (9629,11874,13429,12256)(9630,12257,14840,12258)(9631,12259,14842,12260)
     (9633,12240,13753,12261)(9636,10142,10416,12264)(9637,12265,10415,12266)
     (9644,12270,9663,12271)(9650,10711,13341,12275)(9652,12277,10403,12278)
     (9656,12283,14857,12284)(9657,12285,14859,12286)(9660,12290,14865,12291)
     (9666,12296,14874,12297)(9671,12300,14879,12301)(9673,9875,12512,12303)
     (9676,12307,14886,12308)(9678,11690,14279,11669)(9699,12325,14908,12326)
     (9704,12331,10503,12332)(9711,12340,11680,12341)(9714,12344,14926,12345)
     (9716,12346,14929,12347)(9720,12350,11643,12351)(9722,12352,9819,12353)
     (9729,12359,13192,10539)(9735,9897,12537,12364)(9736,12282,9801,12365)
     (9751,12378,14954,12379)(9753,12381,14957,12382)(9755,12384,14960,12385)
     (9758,12388,14964,12389)(9759,12390,13538,12391)(9761,12393,13533,12394)
     (9778,12407,14976,12408)(9785,12415,12503,12416)(9792,11655,14263,11651)
     (9795,12423,14991,12424)(9798,10779,13380,10754)(9805,12430,14996,12431)
     (9810,12436,10011,12437)(9811,12438,9826,12439)(9814,10650,10041,9969)
     (9816,12443,15011,12444)(9822,12451,15021,12452)(9824,12454,15024,12455)
     (9827,12456,11146,12457)(9828,12458)(9831,12462,13698,11062)(9833,12464,
     15035,12465)(9834,12466,15038,12467)(9836,11063,10588,12468)(9841,12473,
     9863,10529)(9844,12475,12969,10308)(9846,12477,9850,12478)(9847,12479,
     15047,12480)(9852,12484,15053,12485)(9854,12487,15056,12488)(9859,12495,
     13054,12496)(9868,12504,14923,12339)(9869,12505,15074,12506)(9870,12507,
     15077,12508)(9874,10756,13381,10984)(9881,12516,15091,12517)(9886,12524,
     15097,12525)(9890,12527,15100,12528)(9901,12539,15113,12540)(9902,10859,
     11016,10865)(9907,12544,10631,12545)(9911,12550,11508,12551)(9917,12554,
     14348,12555)(9921,12559,9964,12560)(9926,12563,15136,12564)(9927,12565,
     15137,12566)(9930,11668,14278,12569)(9932,12571,14103,11490)(9935,11646,
     11365,11657)(9941,12574,13355,12575)(9942,12576,13976,12577)(9947,12582,
     12425,12583)(9954,12587,15150,12588)(9955,12203,14798,12589)(9957,12591,
     14799,12204)(9958,12592,15154,12593)(9962,12598,10651,12599)(9968,12603,
     15158,12604)(9972,12607,15163,12608)(9974,12610,15165,12611)(9975,12612,
     13331,10700)(9976,12613,15168,12614)(9977,11463,12397,12615)(9979,12617,
     12402,12618)(9980,12619,15174,12620)(9983,12624,15181,12625)(9984,12335,
     14917,12626)(9986,12180,14781,12628)(9994,12634,15191,12635)(9997,12638,
     15196,12639)(10002,12644,15201,12645)(10006,12647,14815,12648)(10007,
     12649,15203,12650)(10009,11386,14006,12652)(10015,12655,13093,10422)
     (10017,11355,13982,12656)(10020,12659,14302,11691)(10022,12661,11037,
     12662)(10025,12665,10044,12666)(10029,12671,15228,12672)(10030,12673,
     15231,12674)(10037,10691,10105,11441)(10053,12692,15248,12693)(10058,
     12700,15258,12701)(10061,12705,15263,12706)(10063,12708,15264,12709)
     (10066,12713,10076,12714)(10069,12716,12501,12717)(10073,12719,12602,
     12720)(10081,12728,10379,12729)(10085,12734,15287,12735)(10092,12740,
     10118,12741)(10093,12742,11319,12743)(10100,11469,11531,11448)(10108,
     12755,15305,12756)(10110,12758,15309,12759)(10113,12760,12816,10165)
     (10120,12764,11320,12765)(10122,12679,12881,12767)(10124,12768,15316,
     12769)(10125,12770,13392,10768)(10128,12772,15319,12773)(10130,12774,
     15322,12775)(10133,12779,15329,12780)(10135,12782,15333,12783)(10136,
     10237,12894,12205)(10138,12785,15337,12786)(10141,12790,14828,12242)
     (10143,12791,10146,12792)(10145,12794,13724,11087)(10155,12803,14328,
     11720)(10159,11718,14327,12808)(10160,12809,10177,12810)(10163,12814,
     13036,10366)(10166,11944,14560,12817)(10168,12818,14561,11946)(10169,
     12819,10244,10425)(10171,12820,15367,12821)(10174,12825,15372,12826)
     (10181,12831,15380,12832)(10186,12836,15385,12837)(10192,12842,15389,
     12843)(10197,12848,12054,12849)(10200,12851,13423,10799)(10202,12853,
     13918,12854)(10204,10802,13425,12856)(10207,12860,15408,12861)(10212,
     12866,15415,12867)(10218,12871,15421,12872)(10219,12873,15423,12874)
     (10221,12875,15426,12876)(10228,12884,13891,12885)(10235,12891,12212,
     12892)(10241,12898,14633,12899)(10246,12903,15450,12904)(10247,12905,
     15452,12906)(10249,12908,15456,12909)(10251,12911,15459,12912)(10257,
     12917,15151,12918)(10267,12926,15476,12927)(10271,12930,12032,12184)
     (10273,12932,14369,12933)(10275,12185,14784,12935)(10280,12938,15482,
     12939)(10290,12947,14641,12948)(10298,12956,15495,12957)(10302,12961,
     15501,12962)(10305,12964,15504,12965)(10306,12966,10332,12967)(10311,
     12973,15509,12974)(10314,12977,15511,12978)(10317,12981,15518,12982)
     (10322,12988,15525,12989)(10325,12993,15530,12994)(10328,12996,15533,
     12997)(10329,12998)(10330,12999,15537,13000)(10336,13003,12274,13004)
     (10337,13005,14931,13006)(10339,13007,12600,13008)(10341,13009,15306,
     13010)(10344,13014,13428,10805)(10346,13015,15543,13016)(10347,13017,
     13861,13018)(10351,13020,15546,13021)(10352,13022,10361,13023)(10354,
     13024,15549,13025)(10355,13026,10735,13027)(10369,13039,15559,13040)
     (10370,13041,10389,13042)(10373,13044,12027,11548)(10374,11642,14258,
     13045)(10375,13046,14218,11601)(10376,11613,14229,13047)(10382,13052,
     15567,13053)(10392,13061,12727,13062)(10395,13064,14590,13065)(10396,
     11565,14176,12279)(10397,13066,15576,13067)(10398,13068,15578,13069)
     (10400,13070,15579,13071)(10410,13077,15587,13078)(10412,13080,10667,
     12156)(10413,13081,12081,13082)(10414,13083,14974,13084)(10417,13085,
     15595,13086)(10419,13088,15598,13089)(10435,13101,10607,13102)(10441,
     13104,15611,13105)(10442,13106,15613,13107)(10444,13109,15616,13110)
     (10448,13112,15618,13113)(10455,12235,10483,13118)(10457,13119,15623,
     13120)(10459,13121,15626,13122)(10462,13124,10466,13125)(10463,13126,
     15628,13127)(10469,12380,14956,13130)(10471,13131,10476,12280)(10475,
     13134,15636,13135)(10479,13137,13499,13138)(10481,13139,15639,13140)
     (10486,13144,15644,13145)(10487,13146,15647,13147)(10489,13149,10490,
     13150)(10492,13152,15653,13153)(10493,11676,10517,13154)(10494,13155,
     15656,13156)(10502,13162,15663,13163)(10509,13168)(10510,13169,15673,
     13170)(10515,13175,15677,13176)(10524,13182,10585,13183)(10527,12686,
     15244,13184)(10534,13185,10560,13187)(10536,13188,15685,13189)(10549,
     13197,15689,13198)(10553,12375,14950,13202)(10554,13203,11829,13204)
     (10557,13206,10569,13207)(10563,10617,13248,13209)(10565,13210,15698,
     13211)(10581,11566,14177,11574)(10586,13222,15707,13223)(10590,13224,
     12491,13225)(10593,13228,15065,13229)(10594,13230,15055,13231)(10602,
     13238,15717,13239)(10604,13240,15719,13241)(10610,13244,15725,13245)
     (10618,13249,15729,13250)(10620,13251,11772,13252)(10622,13254,15735,
     13255)(10626,13260,15744,13261)(10633,13267,10637,13268)(10634,13269,
     15754,13270)(10635,13271,11460,13272)(10636,13273,15758,13274)(10643,
     13278,15762,13279)(10644,13280,15764,13281)(10645,13282,10659,13283)
     (10655,13287,15490,12952)(10657,13289,13752,13290)(10661,13292,15499,
     12960)(10663,13294,15774,13295)(10665,13296,15776,13297)(10669,13298,
     15778,13299)(10671,13300,15779,13301)(10672,13302,15242,12683)(10674,
     13303,14767,12158)(10676,13305)(10677,13306,15785,13307)(10679,12143,
     14753,13309)(10683,13313,15792,13314)(10686,13317,15795,13318)(10698,
     13329,15805,13330)(10702,13332,11427,13333)(10704,13334,15808,13335)
     (10706,13336,11291,12006)(10709,13338,15811,13339)(10730,13357,10737,
     13358)(10731,13359,11920,12636)(10733,13360,15828,13361)(10743,13367,
     15838,13368)(10745,13370,15841,13371)(10751,13377,10990,13378)(10753,
     12942,10781,13379)(10757,13382,15851,13383)(10766,13391,15556,13035)
     (10769,12985,15378,12830)(10776,13398,15861,13399)(10783,13402,10988,
     13403)(10788,11431,14043,13409)(10789,13410,11351,13411)(10794,13414,
     15872,13415)(10797,13419,11945,13420)(10798,13421,15877,13422)(10803,
     13426,10841,13427)(10809,13432,13463,10839)(10810,11052,13684,11045)
     (10813,13435,15889,13436)(10814,13437,15891,13438)(10816,13439,10826,
     13440)(10828,13448,15908,13449)(10831,13452,15915,13453)(10832,13454)
     (10833,13455,10856,13456)(10834,13457,15921,13458)(10837,13461,15924,
     13462)(10844,13468,15928,13469)(10849,12191,13352,13472)(10852,11692,
     10871,13475)(10853,13476,15937,13477)(10857,13480,15943,13481)(10858,
     13482,15568,13057)(10862,13486,14791,12193)(10866,13490,15951,13491)
     (10870,13494,15953,13495)(10874,13497,15956,13498)(10877,13500,13247,
     13501)(10886,13508,15967,13509)(10887,13510,15970,13511)(10890,13515,
     10991,13516)(10893,13520,14175,11564)(10899,13525,13544,13526)(10902,
     13527,15507,12972)(10904,13529,13524,13530)(10906,13531,11358,13532)
     (10912,13536,15993,13537)(10914,13539,15995,13540)(10915,13541,10929,
     13542)(10918,13528,10954,13545)(10924,13552,16010,13553)(10926,13554,
     11241,13555)(10932,13561,15571,13562)(10942,13571,15488,13572)(10943,
     13573,12929,13574)(10944,13575,16026,13576)(10946,12943,15485,13577)
     (10949,13581,16033,13582)(10950,13583,16036,13584)(10952,13585,16038,
     13586)(10957,13590,16045,13591)(10959,13593,16050,13594)(10967,13603,
     16064,13604)(10969,13606,14402,13607)(10974,13610)(10976,13612,16071,
     13613)(10978,13615,16076,13616)(10980,11981,14593,13618)(10993,13626,
     10997,13627)(10994,13628,16091,13629)(10995,13630,16094,13631)(11002,
     13638,13644,13639)(11003,13640,11011,13641)(11008,13647,16110,13648)
     (11009,13356,15821,13346)(11010,13649,16112,13650)(11013,13652,13642,
     13653)(11017,13656,16117,13657)(11018,13658,16085,13659)(11019,13660,
     15033,12463)(11023,13663,16123,13664)(11027,13667,16129,13668)(11029,
     13670,16133,13671)(11030,13672,13712,11074)(11032,13674,16138,13675)
     (11039,13677,16141,13678)(11043,13682,16148,13683)(11048,13685,12968,
     13686)(11049,13687,13001,13661)(11054,13691,16151,13692)(11059,13694)
     (11061,13696,16154,13697)(11066,12396,14967,13701)(11071,13707,16166,
     13708)(11072,13709,13718,13710)(11077,13715,16029,13716)(11089,13726,
     16181,13727)(11092,13729,16184,13730)(11099,13737,16191,13738)(11102,
     13160,15659,13739)(11106,13742,11710,13743)(11107,12366,14943,13744)
     (11128,13761,15581,13072)(11134,13767,15608,13768)(11141,13774,16214,
     13775)(11148,13780,16221,13781)(11150,13783,16226,13784)(11151,13785,
     16228,13786)(11155,13791,16233,13792)(11157,13794,16238,13795)(11161,
     13799,16243,13800)(11162,13801,16244,13802)(11163,13803,16248,13804)
     (11176,13814,16255,13815)(11178,12095,14701,13816)(11179,13033,14520,
     11905)(11181,13817)(11182,11739,11199,11650)(11188,13822,14394,11784)
     (11196,13829,16270,13830)(11200,13833)(11202,11937,14551,13834)(11204,
     13835,16274,13836)(11205,13837,16276,13838)(11206,13839,11213,13840)
     (11210,13843,15945,13483)(11214,13845,16283,13846)(11216,11899,14513,
     13848)(11217,13849,16286,13850)(11220,13854,16293,13855)(11221,13489,
     15949,13856)(11223,13858,16297,13859)(11226,13862,16301,13863)(11227,
     13864,16302,13865)(11229,12137,14748,13867)(11233,13871,15633,13132)
     (11236,13873,14765,12152)(11238,13874,16310,13875)(11239,13876,16313,
     13877)(11244,13880,16317,13881)(11247,13884,16318,13885)(11256,13617,
     16078,13893)(11258,13894,11269,13622)(11261,13898,16328,13899)(11266,
     13904,16334,13905)(11270,13908,16338,13909)(11272,13911,16341,13912)
     (11275,13913,16344,13914)(11277,13916,16347,13917)(11279,13919,16349,
     13920)(11282,13924,14714,12106)(11283,13565,15444,13925)(11286,13928,
     15436,13929)(11287,13930,13002,11359)(11288,12038,13194,13931)(11298,
     13936,11312,13751)(11299,13937,16364,13938)(11303,13942,16371,13943)
     (11304,13944,15237,12678)(11305,12229,14819,13945)(11306,12806,15355,
     13946)(11308,13947,16374,13948)(11317,12405,14973,12421)(11321,13956,
     11326,13957)(11323,13958,14632,13959)(11330,13961,16383,13962)(11348,
     13978,14777,12176)(11352,13979,11362,13980)(11353,13981)(11361,13985,
     16403,13986)(11369,13991,16410,13992)(11370,13993)(11372,13995,16415,
     13996)(11384,14004,16227,14005)(11393,14011,16426,14012)(11399,14017,
     15996,14018)(11402,12400,14969,12399)(11403,14021,16435,14022)(11407,
     12372,11496,12371)(11410,14027,16442,14028)(11416,14033,16449,14034)
     (11418,14035,11422,14036)(11424,14039,14374,14040)(11436,14048,16458,
     14049)(11444,14055,16462,14056)(11445,14057,16464,14058)(11454,14066,
     16320,13888)(11456,13679,16143,14068)(11461,14071,16478,14072)(11464,
     14074,16481,14075)(11466,14077,16486,14078)(11478,14085,16113,14086)
     (11480,14088,14144,14089)(11481,14090,16496,14091)(11482,14092,16499,
     14093)(11484,13787,16230,14095)(11489,14101,16506,14102)(11492,14105,
     16509,14106)(11499,12197,11856,14111)(11501,14113,14946,12369)(11502,
     14114,12226,14115)(11503,14116,16515,14117)(11505,14119,16519,14120)
     (11506,14121,16339,13910)(11511,14123)(11514,14127,11858,14128)(11519,
     14131,16532,14132)(11521,14134,11533,14135)(11523,13883,12691,14137)
     (11526,14139,15992,13535)(11528,14141,12694,14142)(11536,12025,14629,
     14148)(11549,14157,16553,14158)(11553,14159,16556,14160)(11555,14162,
     11838,14163)(11556,14164,11835,14165)(11557,14166,16563,14167)(11559,
     11870,13050,14169)(11560,14170,16562,14171)(11561,14172,15326,14173)
     (11571,14184,16571,14185)(11577,14189,16576,14190)(11580,14194)(11581,
     14195,16581,14196)(11584,14199,13048,14200)(11589,14203,13321,14204)
     (11590,14205,14409,14206)(11592,14207,14406,14208)(11594,14210,14238,
     14211)(11595,13735,13325,14212)(11597,14214,16189,13736)(11600,13219,
     15706,14217)(11605,14221,16591,14222)(11606,13288,15020,14223)(11609,
     14224,16241,13797)(11611,14226,11621,14227)(11616,14230,16598,14231)
     (11617,14232,16601,14233)(11623,14236,16605,14237)(11626,14239,15339,
     14240)(11629,14244,16608,14245)(11632,14249,15739,14250)(11636,13347,
     15822,14254)(11637,14255,16330,13900)(11639,13902,16331,14256)(11645,
     14259,16617,14260)(11647,14261,11746,14262)(11654,14265,16621,14266)
     (11656,14267,11737,11875)(11663,14271,16629,14272)(11666,14276,15939,
     13478)(11672,14283,16640,14284)(11677,12847,15394,14288)(11678,14289,
     12739,14290)(11682,14293,16121,13662)(11687,14297,16651,14298)(11695,
     14305,15366,14306)(11697,13997,16416,14307)(11703,14312,16660,14313)
     (11705,14315,14809,14316)(11706,14317,11714,14318)(11716,14324,16668,
     14325)(11721,14329,13353,14330)(11725,14332,16674,14333)(11726,14168,
     16564,14334)(11728,14336,11733,14337)(11730,14339,16681,14340)(11731,
     14341,16683,14342)(11734,14344,12747,14345)(11740,12548,12749,14349)
     (11743,14352,16692,14353)(11748,14357,16698,14358)(11752,12383,14958,
     13384)(11754,12222,14813,14362)(11762,14368,14814,12223)(11765,14370,
     11773,14371)(11766,14372,14029,14373)(11774,14381,16723,14382)(11778,
     14387,16727,14388)(11782,14391,16731,14392)(11787,14398)(11788,14399,
     16737,14400)(11791,14403,16742,14404)(11792,14405,11818,14292)(11794,
     14407,16744,14408)(11797,14412,13605,14413)(11799,14414,11807,14415)
     (11802,14419,16752,14420)(11812,14428,16757,14429)(11815,14433,16352,
     14434)(11819,14437,16765,14438)(11824,14443,13395,14444)(11825,14445,
     11843,14446)(11833,14452,14565,14453)(11840,14456,16780,14457)(11844,
     14461,11847,14462)(11848,14466,16789,14467)(11861,14478,13624,14479)
     (11864,14482,16803,14483)(11866,14485,16805,14486)(11867,14487,16636,
     14488)(11871,12356,14936,14490)(11879,14495,13745,14496)(11881,14497,
     16811,14498)(11885,14251,11970,14235)(11891,14507,15195,14508)(11896,
     14511,11908,14512)(11901,14515,16285,14516)(11903,14518,16826,14519)
     (11913,14527,16659,14311)(11918,14531,15116,12543)(11923,14535,11996,
     14536)(11924,14537,11948,14538)(11926,14540,16840,14541)(11934,14547,
     11985,14548)(11939,14553,16849,14554)(11941,14556,16431,14557)(11943,
     13264,15749,14559)(11951,14564,14881,12302)(11953,14566,16858,14567)
     (11956,14570,16861,14571)(11957,14572)(11958,14573,16863,14574)(11961,
     14576,15766,13285)(11964,14577,11994,14578)(11967,14581,16868,14582)
     (11980,14591,16482,14592)(11982,14594,16878,14595)(11984,14597,16485,
     14598)(11989,14600,16380,14601)(11999,14604,16884,14605)(12001,12542,
     15115,14606)(12002,14607,16887,14608)(12004,14610,16888,14611)(12008,
     14612,16889,14613)(12010,12793,15343,14615)(12017,12200,14797,14622)
     (12019,14623,12030,14624)(12022,12784,15335,13567)(12029,14609,12844,
     14631)(12039,14635,16908,14636)(12044,14639,16913,14640)(12049,14644,
     16322,14645)(12052,14648,15503,14649)(12058,14655,16922,14656)(12059,
     14657,16925,14658)(12062,14660,12328,14661)(12064,14662,16928,14663)
     (12065,14664,16930,14665)(12066,14666,12322,14667)(12070,14671,16935,
     14672)(12074,14676,14599,14677)(12075,14678,15580,14679)(12082,14685,
     16231,14686)(12087,14691)(12090,14694,12976,14695)(12092,14697,16810,
     14698)(12097,14703,12970,14704)(12100,14707,16967,14708)(12104,14181,
     12109,14712)(12107,13397,15860,13401)(12110,14715,16975,14716)(12113,
     14719,16978,14720)(12125,14732,16990,14733)(12130,14738,16999,14739)
     (12132,14741,15879,14742)(12135,14745,17006,14746)(12145,14755,17014,
     14756)(12150,14762,12992,14763)(12155,14517,16825,14552)(12161,14308,
     12166,14769)(12165,14771,12267,13099)(12175,12584,15143,12573)(12178,
     14779,17032,14780)(12183,14782,17035,14783)(12187,14786,12195,12567)
     (12188,14787,17038,14788)(12194,14792,17042,14793)(12207,14801,12210,
     14802)(12209,14803,17049,14804)(12213,14805,17051,14806)(12214,14807,
     17054,14808)(12215,14386,15430,12882)(12231,14820,14975,14821)(12238,
     14826,17067,14827)(12245,14830,17070,14831)(12253,14837,14855,14838)
     (12262,14845,17085,14846)(12272,14850,14894,14851)(12287,14860,17095,
     14861)(12289,12687,15245,14863)(12292,14867,16725,14384)(12293,14868,
     17100,14869)(12295,14871,17103,14872)(12304,14883,15955,14884)(12309,
     14887,12840,14888)(12311,14890,12835,14891)(12312,14892,17122,14893)
     (12314,14895,12349,14896)(12316,14897,12807,14898)(12317,14435,14427,
     14899)(12319,14900,17125,14901)(12321,14902,15545,14903)(12324,14905,
     17129,14906)(12330,14912,17052,14913)(12333,14915,17140,14916)(12336,
     14918,14764,14919)(12338,14921,17143,14922)(12342,14925)(12355,14934,
     16584,14935)(12358,13813,14354,14937)(12363,14939,17151,14940)(12367,
     14944,14534,14945)(12368,14099,14972,12404)(12374,14948,15648,14949)
     (12377,14951,17159,14952)(12403,14970,12429,14971)(12410,14375,16716,
     14978)(12411,13748,16199,14979)(12413,14980,16475,14069)(12417,14982,
     12715,14983)(12419,14984,17183,14985)(12420,14986,17184,14987)(12422,
     14988,12707,14989)(12427,14993,14108,14994)(12428,14995,14097,14614)
     (12432,14998,15730,14999)(12434,15000,17192,15001)(12435,15002,15731,
     15003)(12441,15006,14087,15007)(12442,15008,16120,15009)(12445,15013,
     12450,15014)(12447,15016,17207,15017)(12448,15018,17209,15019)(12453,
     15022,15651,13151)(12459,15028,12472,15029)(12461,15030,15192,15031)
     (12470,15041,15190,15042)(12474,13173,12476,15044)(12481,15048,17241,
     15049)(12483,15051,17243,15052)(12489,14849,17087,15058)(12492,12642,
     15199,15060)(12494,15062,17252,15063)(12497,15066,17254,15067)(12498,
     13578,14621,15068)(12500,15070,17257,15071)(12509,15079,17262,15080)
     (12510,14625,16899,15081)(12511,15082,13019,15083)(12513,15085,12526,
     15086)(12514,15087,17267,15088)(12515,12730,12518,15089)(12520,15093,
     17274,15094)(12523,15095,16240,13796)(12529,12710,15266,12726)(12531,
     14145,15078,15102)(12532,15103,12556,15104)(12533,15105,17280,15106)
     (12534,15107,17282,15108)(12536,15110)(12538,12827,15374,13158)(12541,
     13320)(12546,15118,17289,15119)(12553,14880,17112,15124)(12558,15128,
     17297,15129)(12561,15132,12597,15133)(12562,15134,16210,15135)(12568,
     15139,16806,14489)(12570,12578,12627,15141)(12580,12590,15146,12609)
     (12585,15148,14082,15149)(12595,15156,15217,12663)(12605,15160,16448,
     14285)(12606,14848,17086,15161)(12616,15170)(12621,15176,17333,15177)
     (12623,15178,17336,15179)(12630,15184,17343,15185)(12632,15186,17301,
     15187)(12633,15188,17346,15189)(12637,15193,17348,15194)(12641,15198,
     15285,12733)(12646,15202,16206,13763)(12651,15204)(12653,15206,15726,
     15207)(12657,15209,17359,15210)(12660,15213,13690,15214)(12664,15218,
     16253,15219)(12667,15221,17367,15222)(12669,15224,17369,15225)(12670,
     15226)(12675,15233,16275,15234)(12677,15235,17379,15236)(12680,15238,
     16577,15239)(12681,14026,16423,14007)(12682,15240,17382,15241)(12685,
     15145,13233,15243)(12689,13465,15925,15246)(12696,13559,16017,15251)
     (12697,15252,17392,15253)(12699,15255,17396,15256)(12702,15259,14270,
     14579)(12704,15261,14277,15262)(12712,15267,17406,15268)(12718,15153,
     15809,15271)(12721,15274,17410,15275)(12723,15277,17411,15278)(12724,
     15279,17414,15280)(12732,15283,17417,15284)(12736,15289,17421,15290)
     (12737,15291,15410,12862)(12744,13114,15619,15296)(12745,15297,17425,
     15298)(12746,15299,13221,13953)(12750,15300,17427,15301)(12753,15302,
     17428,15303)(12754,15304,17069,14829)(12757,15307,15112,15308)(12761,
     15310,15114,15311)(12766,15314,12799,15315)(12776,15324,13013,15325)
     (12778,15327,12787,15328)(12781,15330,17029,15331)(12789,15340,13011,
     15341)(12796,15345,17007,14747)(12800,15348,15606,13098)(12802,14501,
     16072,15350)(12804,15352,17460,15353)(12811,15357,14047,15358)(12813,
     15359,15465,15360)(12815,15362,15542,15363)(12822,15368,17466,15369)
     (12824,15370,17469,15371)(12828,15375,12841,15376)(12834,15382,17481,
     15383)(12838,15387,14920,14927)(12845,15391,12859,15392)(12846,15393,
     15876,15321)(12852,15399,16763,15400)(12855,15403,17498,15404)(12857,
     13720,15875,13418)(12863,15411,17502,15412)(12865,14500,14650,15413)
     (12868,15417,16193,15418)(12870,15419,17505,15420)(12878,15428,16704,
     14363)(12879,15429,16814,14503)(12886,14616,16892,15433)(12887,15434,
     12897,15435)(12889,15437,12949,15438)(12890,15439,15704,13217)(12893,
     15440,16894,14618)(12895,15442,12951,15443)(12901,15446,15688,15447)
     (12902,13952,16378,15448)(12907,15425,17510,15454)(12910,14942,17155,
     15458)(12913,15461,17538,15462)(12916,15463,17539,15464)(12919,15466,
     14080,15467)(12920,15468,17541,15469)(12922,15471,16604,15472)(12924,
     15473,17545,15474)(12931,15457,17535,15479)(12941,15484,16677,15121)
     (12944,15486,16682,15487)(12954,15492,17563,15493)(12958,15496,16139,
     15497)(12979,15513,17582,15514)(12980,15515,15664,15516)(12983,15520,
     17588,15521)(12987,15523,17591,15524)(12990,15527,16661,14314)(12995,
     15531,15320,15532)(13029,15551,16284,15552)(13031,15553,17618,15554)
     (13037,15557,16183,15558)(13043,15561,13055,15562)(13058,15569,17630,
     15570)(13060,15572,17633,15573)(13063,15574,15361,15575)(13074,15582,
     13092,15583)(13076,15584,17638,15585)(13079,15588,17250,15589)(13087,
     15596,17595,15597)(13090,15600,17651,15601)(13094,15603,17655,15604)
     (13103,15609,13408,15610)(13108,15614,17662,15615)(13117,15622,16108,
     13645)(13128,15629,17669,15630)(13136,15638,13141,15312)(13143,15641,
     17677,15642)(13148,15649,17682,15650)(13157,15657,15985,14992)(13161,
     15660,17690,15661)(13164,15665,17692,15666)(13167,15669,17697,15670)
     (13172,15675,17699,15676)(13179,15679,15687,13196)(13181,15680,13563,
     15681)(13199,15690,13216,15691)(13201,15692,17707,15693)(13205,15694,
     17709,15695)(13213,15700,16190,14178)(13214,15701,17715,15702)(13226,
     15708,17607,15538)(13234,15712,16613,15046)(13236,15714,17619,15555)
     (13237,15715,17404,15265)(13242,15721,17725,15722)(13243,15723,14360,
     15724)(13253,15732,14225,15733)(13256,15737,17734,15738)(13258,15740,
     14219,14878)(13259,15741,13266,15742)(13262,15746,15627,15747)(13265,
     15750,15131,15751)(13275,15760,13276,15761)(13286,15767,17756,15768)
     (13293,15771,17156,15772)(13304,15781,17248,15782)(13308,15786,17761,
     15787)(13310,15788,17764,15789)(13312,15645,14474,15635)(13315,14539,
     16839,14546)(13319,15796,13369,15797)(13322,15798,14411,15799)(13323,
     15800,17773,15801)(13328,15802,17774,15803)(13340,15812,17783,15813)
     (13342,15815,17785,15816)(13343,15817,17147,15818)(13345,15819,17146,
     15820)(13349,15823,17788,15824)(13351,15152,17312,15825)(13362,15829,
     14800,15830)(13363,15831,17795,15832)(13365,15833,13966,15834)(13366,
     15835,13965,15836)(13372,15843,13404,15844)(13373,15845,17809,15846)
     (13374,15847,17812,15848)(13376,15849)(13388,15854,17817,15855)(13390,
     15857,16630,15858)(13393,14933,17149,15634)(13406,15865,17823,15866)
     (13412,15871,16249,13805)(13416,15422,15334,15874)(13431,14710,16970,
     15882)(13433,15884,17834,15885)(13434,15886,17837,15887)(13442,15896,
     17849,15897)(13444,15899,16130,15900)(13445,15901,17854,15902)(13446,
     15903,17857,15904)(13447,15905,13464,15906)(13450,15910,16732,15911)
     (13451,15912,17866,15913)(13467,15926)(13470,15929,15931,15930)(13473,
     15933)(13474,15934,17890,15935)(13479,15940,17894,15941)(13487,15947,
     16122,15948)(13493,15952,16262,13821)(13504,15961,14393,15962)(13505,
     15963,14397,15964)(13507,14395,16733,15965)(13512,15972,16607,14243)
     (13514,15599,17649,15974)(13517,15976,17629,15977)(13519,15979,17932,
     15980)(13521,15981,17933,15982)(13523,15757,17748,15984)(13534,15990,
     13560,15991)(13546,15890,17840,16001)(13548,15728,14241,16003)(13549,
     16004,14248,16005)(13551,16007,17952,16008)(13556,16013,17959,16014)
     (13558,16016,16653,14299)(13568,14749,16745,14543)(13580,16030,13595,
     16031)(13587,16039,17988,16040)(13589,16042,17993,16043)(13592,16047,
     18000,16048)(13597,16052,18005,16053)(13598,16054,18008,16055)(13600,
     16057,18010,16058)(13601,16059,18012,16060)(13602,16061,18015,16062)
     (13608,16067,18021,16068)(13609,13713,16171,13757)(13611,16069,18022,
     16070)(13614,16073,13651,16074)(13619,16080,18031,16081)(13621,16083,
     18033,16084)(13625,16086,16554,16087)(13632,14484,13695,16096)(13633,
     16097,18038,16098)(13635,16100,18042,16101)(13637,16102,18044,16103)
     (13654,16115,13688,16116)(13666,16126,18060,16127)(13669,16131,17835,
     16132)(13673,16135,17833,16136)(13680,16144,18078,16145)(13681,16146,
     18080,16147)(13699,16156,17135,14911)(13702,16158,18089,16159)(13703,
     16160,13714,16161)(13705,16163,13755,16164)(13706,16165,16180,13725)
     (13711,16168,16182,16169)(13717,16174)(13721,16175,15332,16176)(13723,
     16178,16162,16179)(13732,15773,13734,16186)(13733,16187,18111,16188)
     (13740,16194,15050,16195)(13747,16197,18120,16198)(13754,16200,16623,
     16201)(13759,14521,16828,15806)(13762,16204,13769,16205)(13766,16208,
     16300,16209)(13770,16211,16303,16212)(13778,16217,15867,16218)(13779,
     16219,18133,16220)(13782,16223,18135,16224)(13793,16235,16957,16236)
     (13808,16251,17424,15295)(13809,15483,16798,14477)(13811,16252,17180,
     14981)(13819,14421,16619,16259)(13820,16260,13828,16261)(13823,16264,
     15624,15711)(13825,16265,18165,16266)(13826,16267,18167,16268)(13832,
     15313,17432,16272)(13847,15780,17639,15586)(13851,16288,18175,16289)
     (13853,16291,18177,16292)(13857,16295)(13866,16299,18184,16304)(13868,
     16305,15756,16306)(13870,16307,18187,16308)(13879,16314,18191,16315)
     (13886,16319,15705,15713)(13889,13923,16353,16321)(13890,13927,16351,
     13921)(13895,16324,18197,16325)(13897,16326,18200,16327)(13906,16335,
     14323,16336)(13915,16345,14785,16346)(13926,16356,18023,16357)(13932,
     14253,16612,15550)(13934,14073,13955,16360)(13939,16366,15769,16367)
     (13941,16369,13949,16370)(13951,16376,15770,16377)(13960,14220,16590,
     16381)(13963,16385,14862,14852)(13968,16388,18235,16389)(13971,16391,
     18238,16392)(13973,16393,18239,16394)(13975,16395)(13983,16399,18243,
     16400)(13984,16401,18244,16402)(13987,16405,13989,16406)(13988,16407,
     16696,14356)(13990,15936,16618,16408)(13994,16413,17311,16414)(14000,
     16417,17059,16418)(14001,14947,15564,16419)(14003,16421,15563,16422)
     (14010,16424,14019,16425)(14013,16427,17171,14965)(14015,14963,16715,
     16428)(14016,16429,15282,16430)(14023,16437)(14024,16438,18263,16439)
     (14030,16444,18266,16445)(14032,16446,18269,16447)(14037,16452,16603,
     14234)(14041,15294,16843,16454)(14050,16459,17419,15286)(14052,14584,
     16869,16441)(14053,16460,18279,16461)(14059,16203,18123,16202)(14060,
     14280,16635,15946)(14062,16396,18240,16466)(14063,16467,18287,16468)
     (14065,16470,18290,16471)(14067,14768,16476,16473)(14076,16483,18300,
     16484)(14084,16491,18307,16492)(14094,16500,15986,16501)(14100,15270,
     14104,16504)(14109,14683,16947,16512)(14110,16513,15853,16514)(14112,
     14378,16718,14377)(14118,16517,16906,14630)(14124,16523,17057,16524)
     (14126,16526,17058,16527)(14130,16530,18335,16531)(14136,16535,15111,
     16536)(14140,15539,17608,16538)(14143,16222,16111,16541)(14147,16542,
     18343,16543)(14152,16547,18345,16548)(14153,16549,18347,16550)(14156,
     16551,18350,16552)(14161,16558,18356,16559)(14174,16440,15565,16433)
     (14180,16567,17435,15318)(14183,16569,18363,16570)(14186,16573,18366,
     16574)(14188,14962,16932,14668)(14193,16579,18076,16580)(14197,14475,
     14977,15481)(14201,16583,17643,15592)(14209,16585,14213,16586)(14228,
     16595,16905,16596)(14246,16609,17686,15654)(14264,16620,14818,16453)
     (14268,16624,15856,16625)(14269,16626,18394,16627)(14273,15398,14304,
     16631)(14275,14723,14885,15405)(14282,16637,15932,16638)(14287,16643,
     14294,16644)(14291,16645,17016,16646)(14296,16648,18404,16649)(14301,
     16654,17956,16011)(14309,16455,17779,16658)(14319,16664,18415,16665)
     (14320,16666,17758,16667)(14321,15988,17937,16254)(14326,15697,17711,
     15709)(14331,16671,18420,16672)(14335,16675,18422,16676)(14338,16679,
     18423,16680)(14343,16684,18426,16685)(14347,16688,18432,16689)(14351,
     16690,17474,16691)(14355,16694,18437,16695)(14359,16700,17657,15605)
     (14361,16701,18442,16702)(14364,16705,17253,16706)(14366,16708,18443,
     16709)(14380,16720,18452,16721)(14383,16724,14583,15216)(14390,16728,
     18251,16729)(14401,16739,18020,16740)(14416,16747,18470,16748)(14418,
     16750)(14423,16753,17621,16754)(14425,16755,18478,16756)(14430,16758,
     18481,16759)(14432,16761,18486,16762)(14436,16764,16670,14727)(14439,
     16323,18196,16766)(14440,16600,14465,16767)(14442,16768,18490,16769)
     (14447,16773,17195,16774)(14449,16775,18315,16776)(14451,16384,17024,
     16493)(14454,16778,18502,16779)(14458,16782,18505,16783)(14460,15396,
     17491,16784)(14463,16786,18509,16787)(14468,16791,18512,16792)(14470,
     16793,16971,15076)(14471,16794,17527,16795)(14472,16796,17674,15637)
     (14480,16799,14528,16800)(14481,16801,14494,16802)(14492,16808,14530,
     16809)(14504,16815,18519,16807)(14506,14854,17090,15281)(14509,16818,
     17068,16819)(14510,14653,14847,14642)(14514,16823,16923,16824)(14523,
     16312,18190,16829)(14524,16830,15591,16831)(14526,15662,17691,16832)
     (14532,15718,17640,16372)(14550,16845,15827,16846)(14555,16850,16678,
     15004)(14558,16853,17710,15696)(14562,16854,18539,16855)(14569,16860,
     17585,15517)(14586,16870,18545,16871)(14587,16872,17004,14743)(14589,
     16873,18547,16874)(14596,15122,17292,16879)(14602,16881,16885,16882)
     (14619,16895,18560,16896)(14626,16900,18181,16901)(14628,16903,17902,
     16904)(14637,16909,18093,16910)(14638,16911,18092,16912)(14647,15441,
     14651,16917)(14654,16920,18301,16921)(14659,15577,17547,15475)(14670,
     16247,16546,16933)(14673,16937,16560,16938)(14675,16939,18575,16940)
     (14680,16942,18577,16943)(14681,16944,14684,16945)(14682,15142,17308,
     16946)(14688,16949,18583,16950)(14690,16375,18065,16379)(14692,16951,
     18070,16952)(14696,16955,18588,16956)(14700,16958,18069,16959)(14702,
     16960,18591,16961)(14705,16964)(14706,16965,18598,16966)(14709,16968,
     18600,16969)(14713,16972,18602,16973)(14718,16976,18441,16977)(14722,
     16980,18609,16981)(14724,16982,18611,16983)(14725,16984,18613,16985)
     (14728,16986,17693,16337)(14730,16987,18206,16988)(14731,16280,17454,
     15347)(14734,16992)(14735,16993,17888,16994)(14736,16995,17884,16996)
     (14737,16997)(14740,17000,17883,17001)(14744,16348,16741,17005)(14750,
     17008,15502,17009)(14752,17010,14759,17011)(14754,17012,17904,17013)
     (14758,16296,16522,17015)(14761,17017,15500,17018)(14766,17020,15155,
     17021)(14770,17023,18155,16246)(14772,17025,18640,17026)(14774,17027,
     18643,17028)(14778,17030,14790,17031)(14789,17040,18650,17041)(14794,
     17044,14796,17045)(14822,16924,18571,16936)(14824,17064,17614,17065)
     (14825,14928,15862,17066)(14832,17071,14844,14966)(14834,17072,15342,
     16588)(14836,17074,16673,17075)(14839,17076,16722,17077)(14841,17079,
     18670,17080)(14843,17082,17646,17083)(14853,17089,16258,15852)(14856,
     16152,15416,17091)(14858,17092,14864,17093)(14866,17096,15414,17097)
     (14870,17102,18617,16989)(14873,17105,18682,17106)(14875,15655,17687,
     17108)(14876,17109,17114,14882)(14877,16876,18548,17110)(14889,17119,
     18693,17120)(14904,17127,18701,17128)(14907,16578,18370,17130)(14909,
     17132,18362,16568)(14910,17133,15703,17134)(14914,17137,14924,17138)
     (14930,15540,17609,17148)(14932,16837,16534,16844)(14938,15276,15790,
     15223)(14941,17153,15117,17154)(14953,17160,18711,17161)(14955,17163,
     18714,17164)(14959,17166,18717,17167)(14961,17169,15791,16412)(14968,
     16420,18254,16545)(14990,17187,18734,17188)(14997,17190,16927,17191)
     (15005,17193,18740,17194)(15010,17198,15272,17199)(15012,17200,18746,
     17201)(15015,17204,18747,17205)(15023,17212,18754,17213)(15025,17214,
     18756,17215)(15026,17216,18759,17217)(15027,17218,18762,17219)(15032,
     17223,18561,17224)(15034,17226,18765,17227)(15036,17229,17325,15169)
     (15037,17230,18768,17231)(15039,17233,18280,17234)(15040,17235,18526,
     16822)(15043,16277,15144,17237)(15045,17238,17606,17239)(15054,17245,
     18780,17246)(15057,17104,15064,17099)(15059,17249,17653,15602)(15061,
     17145,15646,17251)(15069,17256,16897,16639)(15072,17259)(15073,16848,
     16891,17260)(15075,17261,16833,16852)(15084,17265,15101,17053)(15090,
     17269,18797,17270)(15092,17271,15096,17272)(15098,17275,18802,17276)
     (15099,15547,17111,17277)(15109,17284,15127,17285)(15120,17291,18264,
     16502)(15123,15381,17479,15384)(15125,17281,17288,17293)(15126,17294,
     18817,17295)(15130,17299,16592,17300)(15138,17305,15625,16397)(15140,
     17306,18829,17307)(15147,17309,17462,15356)(15157,16362,18224,17313)
     (15159,17314,16582,15784)(15162,15716,17721,17316)(15164,17318,18836,
     17319)(15166,17321,18840,17322)(15167,17323,18842,17324)(15171,17326,
     18845,17327)(15172,17328,18847,17329)(15173,17330)(15175,17331,18413,
     16662)(15180,17338,18852,17339)(15182,17341,18211,17342)(15183,15505,
     17572,17244)(15197,17351,15257,17352)(15200,17354,15249,17355)(15205,
     16915,18566,16916)(15208,17357,15211,17358)(15212,17360,18864,17361)
     (15215,17048,15938,17363)(15220,15826,17790,17365)(15227,17371,18348,
     16713)(15229,17372,18870,17373)(15230,17374)(15232,17375,18873,17376)
     (15247,17385,18879,17386)(15250,17388,18883,17389)(15254,17394,18887,
     17395)(15260,17399,18889,17400)(15269,15674)(15273,17407,18895,17408)
     (15288,17362)(15292,15431,17514,16717)(15293,17423,16520,15427)(15317,
     17162,18713,17434)(15323,17438,18918,17439)(15336,17445,17830,15878)
     (15338,17447,18928,17448)(15344,15402,17496,17451)(15346,17452,18934,
     17453)(15349,17455,18935,17456)(15351,17458,18938,17459)(15354,15407,
     17495,15401)(15364,17464,17113,16856)(15365,17465,18914,17433)(15373,
     17472,18948,17473)(15377,15975,17928,16000)(15379,15960,17910,17401)
     (15386,17482,17931,15978)(15388,17484,15528,17485)(15390,17468,18411,
     17487)(15395,17490,17664,15617)(15397,16167,15406,17492)(15409,17500,
     18967,17501)(15424,16611,18387,17509)(15432,17515,17098,17516)(15445,
     17525,18988,17526)(15449,17529,18385,16606)(15451,16866,16813,17530)
     (15453,17531,16816,17532)(15455,17533,18546,17534)(15460,16821,18525,
     16926)(15470,17542,18998,17543)(15477,17549,19003,17550)(15478,17551,
     18739,17552)(15480,17554,18738,17555)(15489,17559,19008,17560)(15491,
     17019,15494,17561)(15498,17568,19016,17569)(15506,17573,19020,17574)
     (15508,17576,19022,17577)(15510,17578,19024,17579)(15512,17580,18457,
     16730)(15519,15966,17916,17586)(15522,17589,19033,17590)(15526,17593,
     18087,17594)(15529,17596,19036,17597)(15534,17036,17335,17556)(15535,
     17602,17334,17603)(15536,17604,19039,17605)(15541,17610,15883,17611)
     (15544,17612,19043,17613)(15548,17615,16864,17616)(15560,17623,16311,
     17624)(15566,16216,18130,17626)(15590,17641,19060,17642)(15593,17644)
     (15594,16114,18050,17645)(15607,17658,15640,17165)(15612,17660,15923,
     16150)(15620,17665,15621,17666)(15631,17671,17731,17672)(15632,16566,
     18360,17673)(15643,17678,19076,17679)(15652,17683,18867,17684)(15658,
     17688,19082,17689)(15667,17228,18501,16777)(15668,17694,19085,17695)
     (15671,16511,15672,16503)(15678,17345,15859,17347)(15682,17700,15684,
     17701)(15683,17702)(15686,17703,18293,17378)(15699,17713,16490,16411)
     (15710,17719,16250,17720)(15720,17723,19095,17724)(15727,17727,18256,
     17637)(15734,17729,15755,17730)(15736,17732,19102,17733)(15743,17737,
     19109,17738)(15745,17739)(15748,17740,17598,17741)(15752,17744,18249,
     17745)(15753,17746,19116,17747)(15759,17749,19038,17750)(15763,17752)
     (15765,17754,18744,17197)(15777,17181,15783,17186)(15793,17766,19127,
     17767)(15794,17768,19130,17769)(15804,17775,19136,17776)(15807,17777,
     17340,17778)(15810,17780,16359,17781)(15814,16368,18223,16361)(15837,
     17797,19149,17798)(15839,17800,19150,17801)(15840,17802,18982,17519)
     (15842,17804,19154,17805)(15850,17815,19168,17816)(15863,17819,16027,
     17820)(15864,16092,17220,17821)(15868,17824,18276,17825)(15869,17826,
     15873,16387)(15870,16565,15989,17827)(15880,17831,16149,15950)(15881,
     17832,16474,17829)(15888,17839,18630,17003)(15892,17842,19186,17843)
     (15893,17844,19189,17845)(15894,17846,16105,17847)(15895,17796,17225,
     17848)(15898,16056,17986,16082)(15907,17859,19207,17860)(15909,17862,
     16106,17863)(15914,17868,19217,17869)(15916,17871,18755,17872)(15917,
     17873,18760,17874)(15918,17875,19223,17876)(15919,17877,15920,17878)
     (15922,17880,19229,17881)(15927,17885,19234,17886)(15942,17896,19242,
     17897)(15944,17899)(15954,17906,17546,17437)(15957,16075,18024,17907)
     (15959,17908,16015,17909)(15968,17917,19201,17918)(15969,17919,19255,
     17920)(15971,17922,19258,17923)(15973,17925,19262,17926)(15983,17921,
     15999,17935)(15987,17712,19091,17936)(15994,16032,17978,17942)(15997,
     17944,19279,17945)(15998,16652,16279,17142)(16002,17946,19281,17947)
     (16006,17950,19285,17951)(16009,17954,19287,17955)(16012,17174,18725,
     17957)(16018,17963,16022,17964)(16019,17965,19291,17966)(16020,17967,
     19294,17968)(16021,17969,19296,17970)(16023,16095)(16024,17971,16273,
     16093)(16025,17972,17221,17973)(16028,17975,17222,17976)(16034,16066,
     18019,17980)(16035,17981,18489,17982)(16037,17984,19307,17985)(16041,
     17990,16628,17991)(16044,17995,18466,17996)(16046,17998,19320,17999)
     (16049,18002,19325,18003)(16051,16089,16065,16090)(16063,18017,19344,
     18018)(16077,18026,19349,18027)(16079,18029,19353,18030)(16088,18035,
     19358,18036)(16099,17858,19205,18040)(16104,18046,19371,18047)(16107,
     18048,19373,18049)(16109,17599,18101,16173)(16118,18052,19378,18053)
     (16119,18054,19380,18055)(16124,18056,19382,18057)(16125,18058,16290,
     18059)(16128,18062,19387,18063)(16134,18067,19031,18068)(16137,18071,
     16746,18072)(16140,17889,16281,17900)(16142,17442,17544,18075)(16153,
     16363,17202,18084)(16155,16257,17208,18086)(16157,18088,18144,16234)
     (16170,18096,19411,18097)(16172,18099,17564,18100)(16177,18104,16834,
     18105)(16185,18109)(16192,18114,17620,18115)(16196,18117,16707,18118)
     (16207,16213,18127,18124)(16215,18128,17681,18129)(16225,17287,18172,
     17791)(16229,18138,19438,18139)(16232,18141,19440,18142)(16237,18147)
     (16239,16669,18419,18149)(16242,18151,19448,18152)(16245,18153,19450,
     18154)(16256,18157,19451,18158)(16263,18162,18455,18163)(16269,18169,
     16365,18170)(16271,17206,18745,17203)(16278,16495,18310,17144)(16282,
     17377,18570,18173)(16287,17050,18657,18174)(16294,18179,19463,18180)
     (16298,18182,19464,18183)(16309,18188,18412,18189)(16316,18192,16329,
     18193)(16332,16797,18514,18203)(16333,18204,16350,18205)(16340,18208,
     18255,16931)(16342,18209,16343,18210)(16354,18216,17818,18217)(16355,
     18218,17704,18121)(16358,18220,19484,18221)(16373,18227,19490,18228)
     (16382,18230,19473,18231)(16386,18233,18032,18234)(16390,18236,19495,
     18237)(16398,18241,17443,18242)(16404,17537,16907,18246)(16409,17648,
     19009,18247)(16432,18257,18414,16663)(16434,18258,16479,17771)(16436,
     17150,18706,18260)(16443,18265,19500,18252)(16450,18270,19137,18271)
     (16451,16518,18325,18272)(16456,18274,16457,18275)(16463,18282,17592,
     18283)(16465,17974,19300,18284)(16469,18288,19305,17983)(16472,18292,
     16929,16589)(16477,18295,19146,17793)(16480,18297,19527,18298)(16487,
     18303,19535,18304)(16488,18305,17506,17557)(16489,17979,17504,18306)
     (16494,18308,19538,18309)(16497,18312,16650,18313)(16498,16890,18557,
     18314)(16505,17627,16641,16902)(16507,18318,19543,18319)(16508,17628,
     19053,17903)(16510,17905,16633,17891)(16516,18323,19551,18324)(16521,
     18327,18703,18126)(16525,18125,18702,18329)(16528,18331,19114,18332)
     (16529,18333,19554,18334)(16533,18337,19129,18338)(16537,18339,17390,
     18340)(16539,17172,18722,18095)(16540,18341)(16544,17486,16616,17131)
     (16555,18352,16914,18353)(16557,18354,16817,18355)(16561,18357,19565,
     18358)(16572,16656,18403,16647)(16575,18368,17405,16875)(16587,18375,
     19523,18294)(16593,16867,18544,17178)(16594,17511,18976,18376)(16597,
     18378,19577,18379)(16599,18380,19578,18381)(16602,18382,19579,18383)
     (16610,17412,18898,18386)(16614,18388,18835,17317)(16615,17047,18656,
     18389)(16622,18390,18253,18391)(16632,17915,16642,18397)(16634,18398,
     19588,18399)(16655,18407,18074,18408)(16657,18409,19594,18410)(16686,
     18427,16699,18428)(16687,18429,19600,18430)(16693,18435,18813,18436)
     (16697,18438,19605,18439)(16703,17056,16788,17081)(16710,18250)(16711,
     17073,16790,17063)(16712,18444,18979,18445)(16714,18446,19610,18447)
     (16719,18450,16726,18451)(16734,18458,17398,18454)(16735,18459,19618,
     18460)(16736,18461,19620,18462)(16738,18464,19624,18465)(16743,17457,
     18636,18468)(16749,18472,19631,18473)(16751,18475,19635,18476)(16760,
     18483,19645,18484)(16770,18492,18364,18493)(16771,18494,19652,18495)
     (16772,18349,18860,18496)(16781,18503,18666,18504)(16785,18506,19447,
     18507)(16804,17286,18812,18518)(16812,18521,19601,18431)(16820,18523,
     16934,18524)(16827,18528)(16835,17393,18854,18531)(16836,17263,18789,
     18532)(16838,18533,17676,18113)(16841,18159,19452,18534)(16842,18166,
     18790,17264)(16847,18535)(16851,18536,19501,18537)(16857,17698)(16859,
     18540,16865,18541)(16862,17685,19077,17680)(16877,18286,19519,18549)
     (16880,18186)(16883,18553,18267,18168)(16886,18555,16893,17353)(16898,
     18558,17513,17716)(16918,18568,19694,18569)(16919,17332)(16941,17943,
     17170,18576)(16948,18581,17667,18582)(16953,18584,19701,18585)(16954,
     18586,19704,18587)(16962,18592,19708,18593)(16963,18594,19118,18595)
     (16974,18604,19052,18605)(16979,18606,19449,18607)(16991,18618,16998,
     18619)(17002,18628,19178,18629)(17022,17088)(17033,18644,17039,18645)
     (17034,18646,17139,18647)(17037,18648,17141,18649)(17043,17349,18856,
     18651)(17046,18654,19745,18655)(17055,18659,18690,17117)(17060,18660,
     17654,18661)(17061,18326,17656,18662)(17062,18663,19748,18664)(17078,
     18667,18601,18668)(17084,18674,19758,18675)(17094,18676,18562,18677)
     (17101,17828,19177,18681)(17107,18684,19762,18680)(17115,18686,19738,
     18687)(17116,18688,19768,18689)(17118,18691,18632,18692)(17121,18694)
     (17123,18695,17634,17718)(17124,18696,18834,17315)(17126,18698,19770,
     18699)(17136,17759,19122,17760)(17152,18707,17792,18708)(17157,17431,
     17344,17528)(17158,18709,18783,17799)(17168,18719,18580,18720)(17173,
     18723,19783,18724)(17175,18726,19781,18721)(17176,17696,18862,17635)
     (17177,18727,19613,18728)(17179,18729,19616,18730)(17182,17185,18733,
     18732)(17189,18736,19791,18737)(17196,18742,18316,18743)(17210,18750)
     (17211,18751,19078,18752)(17232,18710,17717,18770)(17236,18773,19812,
     18774)(17240,18775,17247,18776)(17242,18778,19815,18779)(17255,18781,
     19329,18782)(17258,18785,19820,18786)(17266,18791,19823,18792)(17268,
     18794,19827,18795)(17273,18799,19830,18800)(17278,18805,19832,18806)
     (17279,18807,19833,18808)(17283,18278,19514,18811)(17290,17416,18901,
     18814)(17296,18819,19843,18820)(17298,18146,19431,18132)(17302,18823,
     19844,18824)(17303,18825,19846,18826)(17304,18827,19848,18828)(17310,
     18832,17663,18833)(17320,18837,19852,18838)(17337,18850,18897,17409)
     (17350,18857,17356,18858)(17364,18855,19093,18866)(17366,17708,17370,
     17705)(17368,17706,19089,18868)(17380,18874,17467,18875)(17381,18876,
     19407,18090)(17383,18877,19716,18878)(17387,18880,17397,18881)(17391,
     18884,18715,18885)(17402,18890,19261,18891)(17403,18892,19263,18893)
     (17413,18899,18513,18156)(17415,17675,18342,18900)(17418,18903,19348,
     18025)(17420,18904,19863,18848)(17422,18905,18966,18906)(17426,18907,
     18402,18908)(17429,18910,19891,18911)(17430,18912,19179,18913)(17436,
     18915,19075,18916)(17440,18920,19896,18921)(17441,18922,19899,18923)
     (17444,18924,19901,18925)(17446,18926,19902,18927)(17449,18930)(17450,
     18931,19906,18932)(17461,18939,17480,18846)(17463,18940,19909,18941)
     (17470,18944,17722,18945)(17471,18946,17478,17575)(17475,18949,19019,
     18950)(17476,18951,19913,18952)(17477,18953,19915,18954)(17483,18956,
     18108,18957)(17488,18959,19919,18960)(17489,18479,19639,18961)(17493,
     18962,19920,18963)(17494,18964,17497,18965)(17499,18365,19569,18369)
     (17503,18970,18137,18971)(17507,18972,19927,18973)(17508,18974,19930,
     18975)(17512,17553,19005,18122)(17517,18498,17523,18980)(17518,18608,
     19108,18981)(17520,18597)(17521,18983,19937,18984)(17522,18985,19938,
     18986)(17524,18497,19110,18500)(17536,18992,19567,18993)(17540,18994,
     19943,18995)(17548,19001,17565,19002)(17558,18665,19749,19006)(17562,
     19010,17600,19011)(17566,19012,19767,19013)(17567,19014,19952,19015)
     (17570,19017,17571,19018)(17581,19025,19709,19026)(17583,19027,19958,
     19028)(17584,19029,19710,19030)(17587,17856,19204,18198)(17601,19037)
     (17617,19045,19968,19046)(17622,19048,19044,19049)(17625,19050,19893,
     19051)(17631,19055,18803,19056)(17632,17962,18796,17940)(17636,19057,
     19857,19058)(17647,19062,19911,19063)(17650,19065)(17652,19066,19979,
     19067)(17659,19068,17661,19069)(17668,18416,19596,19073)(17670,19074)
     (17714,18487)(17726,19097,18851,19098)(17728,19099,19159,17808)(17735,
     19104,17789,19105)(17736,19106,19992,19107)(17742,19111,18822,19112)
     (17743,19113)(17751,19119,18603,19120)(17753,19121,19747,18658)(17755,
     18788,18704,19059)(17757,17810,19156,17806)(17762,19123,19088,19124)
     (17763,19125)(17765,17958,18578,19126)(17770,19131,17953,19132)(17772,
     19133)(17782,19139,18859,19140)(17784,19141,19764,19142)(17786,19143,
     18106,19144)(17787,18718,18991,19145)(17794,19147,20006,19148)(17803,
     19152,19289,17960)(17807,19157,20014,19158)(17811,19161,20017,19162)
     (17813,19164,20018,19165)(17814,19166,20020,19167)(17822,19173)(17836,
     18073,19395,19181)(17838,19183,19389,18064)(17841,19182,17861,19185)
     (17850,19193,20036,19194)(17851,19195,20038,19196)(17852,19197,20041,
     19198)(17853,19199,20044,19200)(17855,19202,18199,19203)(17864,19210,
     20051,19211)(17865,19212,20054,19213)(17867,19214,20056,19215)(17870,
     19218)(17879,19226,17898,19227)(17882,19231,17887,19232)(17892,19237,
     19881,18886)(17893,19238,20073,19239)(17895,18039,19363,19240)(17901,
     18843,19858,19244)(17911,19247,17949,19248)(17912,19249,20084,19250)
     (17913,19251)(17914,19252,19597,18417)(17924,19259,19184,19260)(17927,
     19264,19375,19265)(17929,19266,20092,19267)(17930,19268,20074,19269)
     (17934,19271,18590,19272)(17938,19274)(17939,19275,20098,19276)(17941,
     18434,19603,18440)(17948,19282,20100,19283)(17961,19290,19491,18232)
     (17977,19224,20062,19301)(17987,18011,19337,19308)(17989,19309,19190,
     19310)(17992,19312,19370,19313)(17994,19314,20119,19315)(17997,19317,
     20122,19318)(18001,19322,20125,19323)(18004,19327,20127,19328)(18006,
     19330,20128,19331)(18007,19332,20129,19333)(18009,19335,20132,19336)
     (18013,19188,18014,19339)(18016,19341,20139,19342)(18028,18214,18207,
     19351)(18034,19356,20153,19357)(18037,19360,20157,19361)(18041,19364)
     (18043,19365,20161,19366)(18045,19368,18285,19369)(18051,18565,18987,
     19376)(18061,19385,20172,19386)(18066,19390,19254,19391)(18077,19397,
     19117,19398)(18079,19399,20183,19400)(18081,19402,19101,19403)(18082,
     19401,18083,19404)(18085,19138)(18091,19191,18098,19408)(18094,19409)
     (18102,19413,20195,19414)(18103,19094,18917,19415)(18107,19416,19406,
     19417)(18110,19419,20198,19420)(18112,19421,18248,19422)(18116,19425,
     20204,19426)(18119,19428,18947,19429)(18131,18849,19864,19430)(18134,
     19433,19634,19434)(18136,19436,18140,18942)(18143,19441,20215,19442)
     (18145,19443,19636,19444)(18148,19445,20218,19446)(18150,18229,18384,
     19103)(18160,19230,19882,19225)(18161,19453,19792,19454)(18164,19087,
     19982,19071)(18171,19457,20222,19458)(18176,18552,18289,19459)(18178,
     19460,20223,19461)(18185,18367,19570,18377)(18194,19470,18213,18215)
     (18195,19471,18574,19472)(18201,19474,20227,19475)(18202,19476,20228,
     19477)(18212,19479,18705,18735)(18219,19481,20229,19482)(18222,19486,
     19531,19487)(18225,19488,20235,19489)(18226,19222)(18245,19499,20103,
     19288)(18259,18863,19615,18456)(18261,19503,19942,19504)(18262,19505,
     18777,19506)(18268,18330,18554,19509)(18273,19511,19042,18328)(18277,
     19513)(18281,19515,19568,18361)(18291,19521,20232,19522)(18296,19525,
     20245,19526)(18299,19529,19304,19530)(18302,19532,19303,19533)(18311,
     19540,19910,18943)(18317,19497)(18320,19545,20254,19546)(18321,19547,
     18831,19548)(18322,19549,18392,19550)(18336,19555,19998,19556)(18344,
     18977,18511,19510)(18346,19557,20258,19558)(18351,19561,20260,19562)
     (18359,18894,19883,19566)(18371,19553,20226,19572)(18372,19573,19786,
     19574)(18373,19575)(18374,19576)(18393,19583,18830,19584)(18395,18888,
     19007,19585)(18396,19586,19180,19253)(18400,19589,19367,19590)(18401,
     19591,19908,19592)(18405,18958,19918,19032)(18406,18612,19719,18936)
     (18418,19128,19779,18716)(18421,19598,19884,18896)(18424,19599,18425,
     18872)(18433,19602,19873,19277)(18448,19611,19723,18616)(18449,18522,
     19671,19612)(18453,19614,19978,19064)(18463,19622)(18467,19626,18488,
     19627)(18469,19321,20037,19628)(18471,19629,20042,19630)(18474,19632,
     20294,19633)(18477,19637,20296,19638)(18480,19640,20299,19641)(18482,
     19643,20301,19644)(18485,19646,20303,19647)(18491,19649,19754,18672)
     (18499,19654,20307,19655)(18508,18815,19839,19660)(18510,19662,20314,
     19663)(18515,19664,18520,19665)(18516,19666)(18517,19667,20315,19668)
     (18527,18772,19047,18763)(18529,18700,19135,18614)(18530,19674,20318,
     19675)(18538,19090,18551,19092)(18542,19679,19907,18933)(18543,19680,
     19563,19678)(18550,19682,20249,19683)(18556,19685,19462,19686)(18559,
     18969,19924,19687)(18563,18572,19695,18573)(18564,19689,19987,19690)
     (18567,19691,20322,19692)(18579,19698,20325,19699)(18589,19705,20332,
     19706)(18596,19712,18599,19713)(18610,19718)(18615,19721,20169,19722)
     (18620,19324,20027,19171)(18621,19456,20221,19724)(18622,18637,19729,
     18635)(18623,18634)(18624,18679,18625,19725)(18626,19468,18631,19717)
     (18627,19726,18683,18955)(18633,19728,20165,19374)(18638,19730,20341,
     19731)(18639,19732,19493,19733)(18641,19734,19494,19735)(18642,19736,
     20344,19737)(18652,19741,18997,19742)(18653,19743,19384,19744)(18669,
     19750,19651,19751)(18671,19752,20351,19753)(18673,19755,20352,19756)
     (18678,19760,19715,19761)(18685,19765,19922,19766)(18697,19677,18804,
     19684)(18712,19775,20367,19776)(18731,18869,19865,19787)(18741,19793)
     (18748,19176,18749,19797)(18753,19595)(18757,18764,19804,19800)(18758,
     19478)(18761,19802,19869,19803)(18766,19805,20376,19806)(18767,19807,
     20378,19808)(18769,19693,20324,19810)(18771,19811,18818,19608)(18784,
     19818,19688,19819)(18787,19656,20309,19821)(18793,19824,18801,19825)
     (18798,19828,20279,19778)(18809,19834,18821,19835)(18810,19836)(18816,
     19840,20397,19841)(18839,19853,20361,19854)(18841,19856,19539,19607)
     (18844,19859,20400,19860)(18853,19817,19964,19867)(18861,19868,20199,
     19657)(18865,18902,19886,19302)(18871,19871,20403,19872)(18882,19878,
     20410,19879)(18909,19720,19923,18968)(18919,19855,20246,19528)(18929,
     19388,19887,19903)(18937,19905,20003,19904)(18978,19220,19784,19933)
     (18989,19940,19000,19941)(18990,19790,19670,19004)(18996,19945,19932,
     19946)(18999,19947,19383,19948)(19021,19955,20134,19338)(19023,19702,
     20328,19956)(19034,19727,19040,19960)(19035,19961,20437,19962)(19041,
     19965,20029,19966)(19054,19971,20442,19972)(19061,19975,20030,19976)
     (19070,19980,19917,19981)(19072,19983)(19079,19984)(19080,19292,19286,
     19293)(19081,19379,20168,19985)(19083,19788,19974,19789)(19084,19986,
     19086,19959)(19096,19988,19866,19467)(19100,19989,20450,19990)(19115,
     19994,20453,19995)(19134,19672)(19151,19949,20197,19418)(19153,20009,
     20336,20010)(19155,20011,20460,20012)(19160,20016,19174,19280)(19163,
     19278)(19169,20023,20466,20024)(19170,20025,20468,20026)(19172,19795,
     20154,20028)(19175,19935)(19187,20031,20388,20032)(19192,20033,20173,
     20034)(19206,20045,20477,20046)(19208,20047,20479,20048)(19209,20049,
     20107,19298)(19216,20057,20124,20058)(19219,19894,20418,20060)(19221,
     19951)(19228,20064,20490,20065)(19233,19954,20434,20068)(19235,20069,
     20492,20070)(19236,19512)(19241,20075,20372,19785)(19243,20077,20496,
     20078)(19245,19746,19273,19851)(19246,20079,19270,20080)(19256,20087,
     19257,20088)(19284,19642,19311,20101)(19295,20105,20441,20106)(19297,
     19794)(19299,20108,19345,20109)(19306,19895,19352,20113)(19316,20120,
     20377,20121)(19319,20040,20463,20039)(19326,20053,20485,20052)(19334,
     20130,20522,20131)(19340,20136,20526,20137)(19343,20141,20531,20142)
     (19346,20144,20532,20145)(19347,20063)(19350,19571,20146,19921)(19354,
     20148,20321,20149)(19355,20150,20357,20151)(19359,20155,20537,20156)
     (19362,20159,20094,20123)(19372,20163,20541,20164)(19377,20166,20544,
     20167)(19381,20170,20546,20171)(19392,20176)(19393,20177,19769,20178)
     (19394,20179,19993,20180)(19396,19469,20224,20181)(19405,20186,19427,
     20187)(19410,20190,20175,20191)(19412,20192,20438,20193)(19423,20200,
     19890,20201)(19424,20202,19916,20203)(19432,20207,19435,20208)(19437,
     20211,19552,20212)(19439,20213,20563,20214)(19455,20220)(19465,19697,
     19466,19696)(19480,20116)(19483,20230,20568,20231)(19485,19623,20287,
     20233)(19492,20237,19496,19801)(19498,19707,20333,20238)(19502,20240,
     19524,19582)(19507,20241)(19508,19650,19939,19564)(19516,19847,20346,
     19740)(19517,19544,20253,19845)(19518,20242,19536,20022)(19520,20243,
     19537,20244)(19534,20248,19838,19580)(19541,20250)(19542,20251,19739,
     19799)(19559,20259,19560,19953)(19581,20261,20387,19822)(19587,20267,
     19849,20268)(19593,20270,20323,20262)(19604,20273,19676,20274)(19606,
     20276,19673,20277)(19609,20278)(19617,20085,20502,20089)(19619,20282,
     20586,20283)(19621,20285)(19625,20093,20505,20289)(19648,19826,19661,
     20304)(19653,20305,20601,20306)(19658,20196)(19659,20310,20338,20311)
     (19669,20316,19997,20317)(19681,20319,20566,20320)(19700,20326,19963,
     20327)(19703,20329,20606,20330)(19711,20334,20472,20335)(19714,20265)
     (19757,20354,20559,20206)(19759,20355,20511,20356)(19763,20359,20614,
     20360)(19771,20217,20004,19862)(19772,20362,20000,20363)(19773,20364)
     (19774,20365,20104,20366)(19777,20369,19780,20188)(19782,20370)(19796,
     20373)(19798,20374)(19809,20379,19837,20380)(19813,20381,20368,20382)
     (19814,20383,19931,20384)(19816,19969,19926,20385)(19829,20389,20487,
     20390)(19831,20391,20621,20392)(19842,20272,19885,20275)(19850,20398,
     20412,20399)(19861,20348,20216,20401)(19870,20402,20577,20264)(19874,
     20396,20234,20405)(19875,20406,19880,20407)(19876,20007,20095,20340)
     (19877,20408,20411,19936)(19888,20413,20209,20414)(19889,20415,20626,
     20416)(19892,20350,19914,20417)(19897,20420,20158,20421)(19898,20269,
     20160,20252)(19900,20152,20495,20423)(19912,19929,20428,19928)(19925,
     19970,20219,20427)(19934,20015,20462,20429)(19944,20430)(19950,20432,
     20194,20433)(19957,20386)(19967,20440)(19973,20443,20072,20444)(19977,
     20263,20579,20447)(19991,20451,19996,20452)(19999,20454,20008,20455)
     (20001,20456)(20002,20457,20638,20458)(20005,20339)(20013,20461)(20019,
     20464,20617,20465)(20021,20393)(20035,20470,20624,20471)(20043,20474)
     (20050,20482,20651,20483)(20055,20143,20520,20126)(20059,20488,20375,
     20342)(20061,20489,20066,20345)(20067,20469,20425,20491)(20071,20493,
     20266,20494)(20076,20343)(20081,20498,20627,20499)(20082,20449,20552,
     20185)(20083,20500,20657,20501)(20086,20475,20646,20503)(20090,20504)
     (20091,20308)(20096,20506,20409,20507)(20097,20256)(20099,20508,20102,
     20509)(20110,20512,20112,20513)(20111,20115,20517,20514)(20114,20515,
     20529,20516)(20117,20518,20118,20404)(20133,20524,20135,20525)(20138,
     20527,20668,20528)(20140,20530)(20147,20534,20225,20535)(20162,20539)
     (20174,20548,20439,20549)(20182,20551,20595,20297)(20184,20295)(20189,
     20553,20533,20536)(20205,20558,20659,20510)(20210,20560,20644,20561)
     (20236,20570,20239,20571)(20247,20573,20641,20574)(20255,20575)(20257,
     20576)(20280,20347,20371,20582)(20281,20583,20565,20584)(20284,20587,
     20689,20588)(20286,20422,20290,20419)(20288,20589,20690,20590)(20291,
     20424)(20292,20431)(20293,20592,20300,20593)(20298,20596,20302,20597)
     (20312,20564,20313,20497)(20331,20607,20704,20608)(20337,20609,20476,
     20547)(20349,20610,20625,20611)(20353,20550,20604,20562)(20358,20613)
     (20394,20622,20395,20623)(20426,20572,20680,20557)(20435,20631,20666,
     20632)(20436,20486,20654,20633)(20445,20635,20523,20615)(20446,20620,
     20521,20629)(20448,20636)(20459,20473,20585,20640)(20467,20642,20710,
     20643)(20478,20555)(20480,20554,20678,20647)(20481,20648,20669,20649)
     (20484,20653,20702,20605)(20519,20663,20674,20664)(20538,20591)(20540,
     20645,20673,20652)(20542,20650)(20543,20675,20706,20639)(20545,20637)
     (20556,20628,20707,20679)(20567,20682)(20569,20683,20725,20684)(20580,
     20685,20692,20594)(20581,20686,20618,20634)(20598,20694,20731,20695)
     (20599,20696)(20600,20697,20732,20698)(20602,20612,20705,20699)(20603,
     20700,20660,20701)(20616,20672)(20619,20693)(20630,20670)(20655,20687,
     20728,20691)(20656,20671,20681,20714)(20658,20716,20733,20717)(20661,
     20718)(20662,20719)(20665,20715,20721,20713)(20667,20722)(20676,20677,
     20724,20720)(20688,20729)(20703,20711)(20708,20726)(20709,20735,20734,
     20736)(20712,20730)(20723,20727);