b21 := (1,3,5)(4,6,9)(7,10,14)(8,11,16)(12,17,22)(13,18,24)(15,20,27)(19,25,32)
     (21,28,36)(23,30,39)(26,33,43)(29,37,48)(31,40,52)(34,44,57)(35,45,59)
     (38,49,63)(41,53,68)(42,54,70)(46,51,65)(47,60,77)(50,64,82)(55,71,90)
     (56,72,92)(58,74,95)(61,78,100)(62,79,102)(66,84,108)(67,85,110)(69,87,
     113)(73,93,120)(75,96,124)(76,97,126)(80,103,133)(81,104,135)(83,106,138)
     (86,111,112)(88,114,146)(89,115,148)(91,117,151)(94,121,156)(98,127,162)
     (99,128,164)(101,130,167)(105,136,174)(107,139,178)(109,141,181)(116,149,
     189)(118,152,192)(119,153,194)(122,157,199)(123,158,201)(125,160,204)
     (129,165,210)(131,168,214)(132,169,216)(134,171,219)(137,175,224)(140,
     179,229)(142,182,232)(143,183,234)(144,184,235)(145,185,237)(147,187,239)
     (150,190,243)(154,195,249)(155,196,250)(159,202,257)(161,205,186)(163,
     207,263)(166,211,266)(170,217,273)(172,220,276)(173,221,277)(176,225,282)
     (177,226,284)(180,230,289)(188,240,300)(191,244,305)(193,246,308)(197,
     251,313)(198,252,315)(200,254,318)(203,258,323)(206,261,327)(208,264,330)
     (209,265,332)(212,267,335)(213,268,337)(215,270,340)(218,274,345)(222,
     278,350)(223,279,352)(227,285,358)(228,286,360)(231,290,365)(233,292,368)
     (236,295,372)(238,297,375)(241,301,379)(242,302,381)(245,306,386)(247,
     309,389)(248,310,391)(253,316,398)(255,319,401)(256,320,403)(259,324,407)
     (260,325,409)(262,328,413)(269,338,424)(271,341,427)(272,342,428)(275,
     346,433)(280,353,439)(281,354,441)(283,356,444)(287,361,450)(288,362,451)
     (291,366,456)(293,369,458)(294,370,460)(296,373,463)(298,376,467)(299,
     377,469)(303,382,475)(304,383,477)(307,387,482)(311,392,488)(312,393,490)
     (314,395,493)(317,399,497)(321,404,503)(322,405,505)(326,410,510)(329,
     414,515)(331,416,518)(333,418,521)(334,419,522)(336,421,525)(339,425,530)
     (343,429,535)(344,430,537)(347,434,542)(348,435,408)(349,436,544)(351,
     437,545)(355,442,550)(357,445,554)(359,447,557)(363,452,562)(364,453,564)
     (367,457,569)(371,461,574)(374,464,578)(378,470,584)(380,472,587)(384,
     478,594)(385,479,596)(388,483,601)(390,485,604)(394,491,611)(396,438,546)
     (397,494,615)(400,498,620)(402,500,623)(406,506,630)(411,511,636)(412,
     512,638)(415,516,642)(417,519,645)(420,523,650)(422,526,653)(423,527,655)
     (426,531,660)(431,538,668)(432,539,670)(440,548,680)(443,551,683)(446,
     555,687)(448,558,690)(449,559,692)(454,565,698)(455,566,700)(459,571,697)
     (462,575,710)(465,579,715)(466,580,717)(468,582,720)(471,585,724)(473,
     588,728)(474,589,730)(476,591,733)(480,597,740)(481,598,742)(484,602,746)
     (486,605,749)(487,606,751)(489,608,754)(492,612,758)(495,616,763)(496,
     617,765)(499,621,770)(501,624,772)(502,625,774)(504,627,776)(507,631,781)
     (508,632,782)(509,633,784)(513,639,791)(514,640,793)(517,643,797)(520,
     646,801)(524,651,807)(528,656,813)(529,657,815)(532,661,820)(533,662,821)
     (534,663,823)(536,665,826)(540,671,833)(541,672,835)(543,674,838)(547,
     678,843)(549,681,846)(552,684,849)(553,685,851)(556,688,855)(560,693,861)
     (561,694,863)(563,696,866)(567,701,871)(568,702,873)(570,704,876)(572,
     706,879)(573,707,881)(576,711,886)(577,712,888)(581,718,895)(583,721,899)
     (586,725,902)(590,731,909)(592,734,912)(593,735,913)(595,737,916)(599,
     743,923)(600,744,925)(603,747,929)(607,752,935)(609,755,938)(610,654,810)
     (613,759,943)(614,760,945)(618,766,952)(619,767,954)(622,771,959)(626,
     775,682)(628,777,966)(629,778,968)(634,785,975)(635,786,977)(637,788,980)
     (641,794,987)(644,798,992)(647,802,997)(648,803,998)(649,804,1000)(652,
     808,1005)(658,816,1014)(659,817,1016)(664,824,1024)(666,827,1028)(667,
     828,1030)(669,830,1033)(673,836,1040)(675,839,1042)(676,840,1044)(677,
     841,1046)(679,844,1050)(686,852,1059)(689,856,1064)(691,858,1067)(695,
     864,1074)(699,868,1079)(703,874,1086)(705,877,1090)(708,882,1096)(709,
     883,1098)(713,889,1104)(714,890,1106)(716,892,1109)(719,896,1114)(722,
     900,1117)(723,901,1119)(726,903,1122)(727,904,1124)(729,906,1127)(732,
     910,1132)(736,914,1137)(738,917,1139)(739,918,1141)(741,920,1144)(745,
     926,1150)(748,930,1155)(750,932,1158)(753,936,1163)(756,939,1167)(757,
     940,1169)(761,946,1175)(762,947,1177)(764,949,1180)(768,955,1187)(769,
     956,1189)(773,961,1195)(779,969,1203)(780,970,1205)(783,973,1209)(787,
     978,1215)(789,981,1218)(790,982,1219)(792,984,1020)(795,988,1225)(796,
     989,1227)(799,993,1232)(800,994,1234)(805,1001,1241)(806,1002,1243)(809,
     1006,1248)(811,1008,1249)(812,1009,1250)(814,1011,1253)(818,1017,1259)
     (819,1018,1261)(822,1021,1264)(825,1025,1267)(829,1031,1273)(831,1034,
     1276)(832,1035,1278)(834,1037,1281)(837,971,1206)(842,1047,1292)(845,
     1051,1297)(847,1053,1299)(848,1054,1301)(850,1056,1304)(853,1060,1309)
     (854,1061,1311)(857,1065,1316)(859,1068,1319)(860,1069,1321)(862,1071,
     1324)(865,1075,1329)(867,1077,1331)(869,1080,1334)(870,1081,1336)(872,
     1083,1339)(875,1087,1344)(878,1091,1349)(880,1093,1352)(884,1099,1357)
     (885,1100,1359)(887,972,1207)(891,1107,1366)(893,1110,1369)(894,1111,
     1097)(897,1115,1374)(898,1116,1376)(905,1125,1385)(907,1128,1388)(908,
     1129,1390)(911,1133,1395)(915,1101,1360)(919,1142,1405)(921,1145,1408)
     (922,1146,1410)(924,1147,1412)(927,1151,1416)(928,1152,1418)(931,1156,
     1423)(933,1159,1426)(934,1160,1148)(937,1164,1432)(941,1170,1439)(942,
     1171,1441)(944,1173,1444)(948,1178,1449)(950,1181,1452)(951,1182,1454)
     (953,1184,1457)(957,1190,1464)(958,1191,1466)(960,1193,1469)(962,1196,
     1472)(963,1197,1474)(964,1198,1476)(965,1199,1478)(967,1201,1481)(974,
     1210,1490)(976,1212,1493)(979,1216,1425)(983,1220,1500)(985,996,1236)
     (986,1222,1503)(990,1228,1509)(991,1229,1239)(995,1235,1515)(999,1238,
     1519)(1003,1244,1525)(1004,1245,1527)(1007,1154,1420)(1010,1251,1531)
     (1012,1254,1534)(1013,1255,1536)(1015,1120,1380)(1019,1262,1544)(1022,
     1265,1547)(1023,1266,1549)(1026,1268,1552)(1027,1269,1554)(1029,1271,
     1557)(1032,1274,1561)(1036,1279,1567)(1038,1282,1570)(1039,1283,1572)
     (1041,1285,1575)(1043,1287,1578)(1045,1289,1176)(1048,1293,1585)(1049,
     1294,1587)(1052,1298,1592)(1055,1302,1597)(1057,1305,1600)(1058,1306,
     1602)(1062,1312,1609)(1063,1313,1611)(1066,1317,1616)(1070,1322,1621)
     (1072,1325,1624)(1073,1326,1626)(1076,1330,1631)(1078,1332,1634)(1082,
     1337,1640)(1084,1340,1643)(1085,1341,1645)(1088,1345,1363)(1089,1346,
     1651)(1092,1350,1656)(1094,1353,1660)(1095,1354,1662)(1102,1361,1669)
     (1103,1362,1247)(1105,1364,1672)(1108,1367,1676)(1112,1371,1681)(1113,
     1372,1682)(1118,1378,1688)(1121,1381,1692)(1123,1383,1695)(1126,1386,
     1698)(1130,1391,1704)(1131,1392,1706)(1134,1396,1711)(1135,1397,1712)
     (1136,1398,1714)(1138,1400,1717)(1140,1402,1720)(1143,1406,1723)(1149,
     1413,1731)(1153,1419,1738)(1157,1424,1743)(1161,1428,1747)(1162,1429,
     1748)(1165,1433,1753)(1166,1434,1754)(1168,1436,1757)(1172,1442,1764)
     (1174,1445,1767)(1179,1450,1771)(1183,1455,1777)(1185,1458,1780)(1186,
     1459,1782)(1188,1461,1785)(1192,1467,1791)(1194,1470,1795)(1200,1479,
     1804)(1202,1482,1808)(1204,1483,1810)(1208,1487,1815)(1211,1491,1819)
     (1213,1494,1821)(1214,1495,1823)(1217,1496,1825)(1221,1501,1830)(1223,
     1504,1697)(1224,1505,1834)(1226,1507,1837)(1230,1318,1617)(1231,1511,
     1841)(1233,1513,1844)(1237,1517,1849)(1240,1520,1853)(1242,1522,1855)
     (1246,1528,1862)(1252,1532,1865)(1256,1537,1870)(1257,1538,1871)(1258,
     1539,1873)(1260,1541,1876)(1263,1545,1881)(1270,1555,1889)(1272,1558,
     1892)(1275,1562,1897)(1277,1564,1900)(1280,1568,1905)(1284,1573,1650)
     (1286,1576,1914)(1288,1579,1917)(1290,1581,1920)(1291,1582,1922)(1295,
     1588,1929)(1296,1589,1931)(1300,1594,1937)(1303,1598,1942)(1307,1603,
     1947)(1308,1604,1949)(1310,1606,1952)(1314,1612,1958)(1315,1613,1960)
     (1320,1619,1966)(1323,1622,1969)(1327,1627,1975)(1328,1628,1976)(1333,
     1635,1984)(1335,1637,1987)(1338,1641,1989)(1342,1646,1994)(1343,1647,
     1996)(1347,1652,2001)(1348,1653,2003)(1351,1657,2005)(1355,1663,2012)
     (1356,1499,1827)(1358,1665,1910)(1365,1673,2023)(1368,1677,2028)(1370,
     1679,2031)(1373,1683,2035)(1375,1685,2038)(1377,1686,2040)(1379,1689,
     2043)(1382,1693,2048)(1384,1696,2051)(1387,1699,2054)(1389,1701,2057)
     (1393,1707,2064)(1394,1708,2066)(1399,1715,1814)(1401,1718,2076)(1403,
     1721,2079)(1404,1722,2081)(1407,1724,2084)(1409,1726,2087)(1411,1728,
     2090)(1414,1732,2094)(1415,1733,2096)(1417,1735,2098)(1421,1740,2103)
     (1422,1741,2105)(1427,1745,2110)(1430,1749,2115)(1431,1750,2117)(1435,
     1755,2121)(1437,1758,2125)(1438,1759,2127)(1440,1761,2130)(1443,1765,
     2135)(1446,1768,2137)(1447,1769,2138)(1448,1770,2140)(1451,1772,2143)
     (1453,1774,2145)(1456,1778,2150)(1460,1783,2155)(1462,1786,2157)(1463,
     1787,2159)(1465,1789,2162)(1468,1792,2166)(1471,1796,2171)(1473,1798,
     2174)(1475,1800,2177)(1477,1802,2180)(1480,1805,2184)(1484,1811,2190)
     (1485,1812,2192)(1486,1813,1654)(1488,1816,2196)(1489,1817,2198)(1492,
     1820,2201)(1497,1746,2111)(1498,1826,2207)(1502,1831,2213)(1506,1835,
     2218)(1508,1838,2222)(1510,1839,2224)(1512,1842,2228)(1514,1845,2231)
     (1516,1847,2234)(1518,1850,2238)(1521,1854,2242)(1523,1856,2244)(1524,
     1857,2246)(1526,1859,2249)(1529,1863,2254)(1530,1864,2255)(1533,1742,
     2106)(1535,1867,2259)(1540,1874,2266)(1542,1877,2268)(1543,1878,2270)
     (1546,1882,2274)(1548,1883,2276)(1550,1884,2278)(1551,1885,2280)(1553,
     1886,2282)(1556,1890,2287)(1559,1893,2291)(1560,1894,2293)(1563,1898,
     2297)(1565,1901,2299)(1566,1902,2301)(1569,1906,2306)(1571,1908,2309)
     (1574,1911,2312)(1577,1915,2317)(1580,1918,2320)(1583,1923,2325)(1584,
     1924,2327)(1586,1926,2330)(1590,1932,2337)(1591,1933,2339)(1593,1935,
     2341)(1595,1938,2344)(1596,1939,2346)(1599,1943,2351)(1601,1945,2354)
     (1605,1950,2360)(1607,1953,2364)(1608,1954,2366)(1610,1956,2369)(1614,
     1961,2374)(1615,1962,2376)(1618,1964,2379)(1620,1967,1957)(1623,1970,
     2383)(1625,1972,2386)(1629,1977,2391)(1630,1978,2393)(1632,1980,2395)
     (1633,1981,2397)(1636,1985,2401)(1638,1988,2404)(1639,1690,2044)(1642,
     1990,2407)(1644,1992,2410)(1648,1997,2415)(1649,1998,2417)(1655,2004,
     2422)(1658,2006,2424)(1659,2007,2426)(1661,2009,2429)(1664,2013,2434)
     (1666,2015,2436)(1667,2016,2438)(1668,2017,2440)(1670,2019,2443)(1671,
     2020,2444)(1674,2024,2449)(1675,2025,2451)(1678,2029,2456)(1680,2032,
     2459)(1684,2036,2463)(1687,2041,2469)(1691,2045,2474)(1694,2049,2479)
     (1700,2055,2486)(1702,2058,2489)(1703,2059,2491)(1705,2061,2493)(1709,
     2067,2499)(1710,2068,2501)(1713,2071,2505)(1716,2074,1752)(1719,2077,
     2511)(1725,2085,2520)(1727,2088,2522)(1729,2091,2525)(1730,2092,2527)
     (1734,2097,2532)(1736,2099,2535)(1737,2100,2537)(1739,2102,2540)(1744,
     2108,2547)(1751,2118,2556)(1756,2122,2559)(1760,2128,2565)(1762,2131,
     2568)(1763,2132,2570)(1766,2136,2575)(1773,2144,2583)(1775,2146,2585)
     (1776,2147,2587)(1779,2151,2592)(1781,2153,2336)(1784,2156,2597)(1788,
     2160,2601)(1790,2163,2605)(1793,2167,2610)(1794,2168,2612)(1797,2172,
     2617)(1799,2175,2619)(1801,2178,2622)(1803,2181,2625)(1806,2185,2630)
     (1807,2186,2631)(1809,2188,2633)(1818,2199,2645)(1822,2203,2546)(1824,
     2205,2652)(1828,2209,2656)(1829,2210,2658)(1832,2214,2663)(1833,2215,
     2665)(1836,2219,2668)(1840,2225,2675)(1843,2229,2679)(1846,2232,2683)
     (1848,2235,2686)(1851,2239,2691)(1852,2240,2693)(1858,2247,2700)(1860,
     2250,2703)(1861,2251,2705)(1866,2257,2712)(1868,2260,2714)(1869,2261,
     2716)(1872,2263,2719)(1875,2267,2723)(1879,2271,2685)(1880,2272,2485)
     (1887,2283,2736)(1888,2284,2737)(1891,2288,2742)(1895,2294,2748)(1896,
     2295,2750)(1899,2298,2754)(1903,2302,2396)(1904,2303,2759)(1907,2307,
     2763)(1909,2310,2766)(1912,2313,2768)(1913,2314,2770)(1916,2318,2774)
     (1919,2321,2778)(1921,2323,2781)(1925,2328,2787)(1927,2331,2791)(1928,
     2332,2793)(1930,2334,2796)(1934,1955,2367)(1936,2342,2803)(1940,2347,
     2808)(1941,2348,2810)(1944,2352,2815)(1946,2355,2819)(1948,2357,2822)
     (1951,2361,2825)(1959,2371,2835)(1963,2377,1973)(1965,2380,2844)(1968,
     2217,2667)(1971,2384,2849)(1974,2387,2853)(1979,2394,2860)(1982,2398,
     2504)(1983,2399,2864)(1986,2402,2868)(1991,2408,2874)(1993,2411,2877)
     (1995,2413,2880)(1999,2418,2885)(2000,2419,2887)(2002,2420,2889)(2008,
     2427,2896)(2010,2430,2899)(2011,2431,2901)(2014,2435,2904)(2018,2441,
     2911)(2021,2445,2916)(2022,2446,2917)(2026,2452,2924)(2027,2453,2926)
     (2030,2457,2931)(2033,2460,2935)(2034,2461,2937)(2037,2464,2941)(2039,
     2466,2944)(2042,2470,2949)(2046,2475,2953)(2047,2476,2955)(2050,2480,
     2960)(2052,2482,2963)(2053,2483,2965)(2056,2487,2969)(2060,2492,2974)
     (2062,2494,2977)(2063,2495,2943)(2065,2496,2980)(2069,2502,2987)(2070,
     2503,2989)(2072,2506,2991)(2073,2507,2993)(2075,2509,2996)(2078,2512,
     2999)(2080,2514,2682)(2082,2516,3003)(2083,2517,3005)(2086,2521,3010)
     (2089,2164,2606)(2093,2528,3017)(2095,2530,3020)(2101,2538,3028)(2104,
     2542,2173)(2107,2545,3035)(2109,2548,3038)(2112,2550,2582)(2113,2551,
     3042)(2114,2552,3044)(2116,2553,3046)(2119,2557,2515)(2120,2558,3051)
     (2123,2560,3054)(2124,2561,3056)(2126,2563,3059)(2129,2566,3063)(2133,
     2571,3068)(2134,2572,3070)(2139,2577,3076)(2141,2579,3079)(2142,2580,
     3081)(2148,2588,3087)(2149,2589,3089)(2152,2593,3094)(2154,2595,3097)
     (2158,2599,3101)(2161,2602,3103)(2165,2607,3109)(2169,2613,3116)(2170,
     2614,3118)(2176,2620,3125)(2179,2623,3129)(2182,2626,2879)(2183,2627,
     3134)(2187,2632,3139)(2189,2634,3142)(2191,2636,3144)(2193,2638,2414)
     (2194,2639,3147)(2195,2640,3149)(2197,2642,3152)(2200,2646,3157)(2202,
     2648,3160)(2204,2650,3162)(2206,2653,3165)(2208,2654,3167)(2211,2659,
     3173)(2212,2660,3175)(2216,2666,2258)(2220,2669,3180)(2221,2670,3182)
     (2223,2672,3185)(2226,2676,3188)(2227,2677,3190)(2230,2680,3194)(2233,
     2684,3198)(2236,2687,3201)(2237,2688,3203)(2241,2694,3209)(2243,2695,
     3211)(2245,2697,3212)(2248,2701,3216)(2252,2706,2674)(2253,2707,3223)
     (2256,2710,3227)(2262,2717,2473)(2264,2720,3234)(2265,2721,3236)(2269,
     2725,3241)(2273,2728,3245)(2275,2730,3248)(2277,2731,3250)(2279,2733,
     3252)(2281,2734,3254)(2285,2738,3258)(2286,2739,3260)(2289,2743,3265)
     (2290,2744,3267)(2292,2745,2747)(2296,2751,3274)(2300,2756,3279)(2304,
     2760,3284)(2305,2761,2814)(2308,2764,3289)(2311,2767,3293)(2315,2771,
     2940)(2316,2772,3299)(2319,2775,2584)(2322,2779,3307)(2324,2782,3311)
     (2326,2784,3314)(2329,2788,3317)(2333,2794,3324)(2335,2621,3126)(2338,
     2798,3329)(2340,2800,3331)(2343,2804,3336)(2345,2806,3339)(2349,2811,
     2975)(2350,2812,3346)(2353,2816,3349)(2356,2820,3353)(2358,2823,3356)
     (2359,2824,3358)(2362,2826,3361)(2363,2827,3363)(2365,2829,3366)(2368,
     2832,3253)(2370,2833,3370)(2372,2836,3373)(2373,2837,3375)(2375,2839,
     3268)(2378,2841,3380)(2381,2845,3384)(2382,2846,3386)(2385,2850,3390)
     (2388,2854,3395)(2389,2855,2696)(2390,2856,3397)(2392,2858,3399)(2400,
     2865,3407)(2403,2869,3412)(2405,2871,3415)(2406,2872,3417)(2409,2875,
     3421)(2412,2878,3133)(2416,2882,3428)(2421,2890,3437)(2423,2892,2425)
     (2428,2897,3444)(2432,2902,3449)(2433,2903,3451)(2437,2906,3455)(2439,
     2908,3458)(2442,2912,2698)(2447,2918,3466)(2448,2919,3468)(2450,2921,
     3471)(2454,2927,3478)(2455,2928,3480)(2458,2932,3485)(2462,2938,3490)
     (2465,2942,3494)(2467,2945,3497)(2468,2946,3499)(2471,2950,3503)(2472,
     2951,3505)(2477,2956,3511)(2478,2957,3513)(2481,2961,3518)(2484,2966,
     3524)(2488,2970,3528)(2490,2972,3531)(2497,2981,3537)(2498,2982,3539)
     (2500,2984,3542)(2508,2994,3550)(2510,2997,3554)(2513,3000,3557)(2518,
     3006,3564)(2519,3007,3565)(2523,3012,3571)(2524,3013,3573)(2526,2651,
     3163)(2529,3018,3578)(2531,3021,3581)(2533,3022,3583)(2534,3023,3585)
     (2536,3025,3587)(2539,3029,3592)(2541,3030,3594)(2543,3032,3596)(2544,
     3033,3597)(2549,3039,3479)(2554,3047,3611)(2555,3048,3613)(2562,3057,
     3620)(2564,3060,3624)(2567,3064,3629)(2569,3065,3631)(2573,3071,3637)
     (2574,3072,3639)(2576,3074,3642)(2578,3077,3645)(2581,3082,3650)(2586,
     3084,3653)(2590,3090,3660)(2591,3091,3662)(2594,3095,3667)(2596,3098,
     3174)(2598,2952,3506)(2600,3102,3673)(2603,3104,3676)(2604,3105,3678)
     (2608,3110,3683)(2609,3111,3685)(2611,3113,3687)(2615,3119,3691)(2616,
     3120,3693)(2618,3122,3695)(2624,3130,3692)(2628,3135,3707)(2629,3136,
     3709)(2635,3092,3663)(2637,3145,3716)(2641,3150,3721)(2643,3153,3723)
     (2644,3154,3725)(2647,3158,3627)(2649,3161,3732)(2655,3168,3740)(2657,
     3170,3743)(2661,2959,3515)(2662,3176,3749)(2664,3177,3751)(2671,3183,
     3756)(2673,3186,3760)(2678,3191,3192)(2681,3195,3768)(2689,3204,3778)
     (2690,3205,3780)(2692,3206,3782)(2699,3213,3207)(2702,3217,3793)(2704,
     3219,3796)(2708,3224,3802)(2709,3225,3804)(2711,3228,3806)(2713,3230,
     3809)(2715,3231,3099)(2718,3141,3713)(2722,3237,3348)(2724,3239,3818)
     (2726,3242,3360)(2727,3243,3822)(2729,3246,3825)(2732,2888,3434)(2735,
     3255,3834)(2740,3261,3841)(2741,3262,3151)(2746,3269,3848)(2749,3271,
     3851)(2752,3275,3856)(2753,3276,3858)(2755,3278,3861)(2757,3280,3863)
     (2758,3281,3865)(2762,3286,3871)(2765,3290,3875)(2769,3295,3881)(2773,
     3300,3887)(2776,3303,3544)(2777,3304,3892)(2780,3308,3896)(2783,3312,
     3900)(2785,3315,3903)(2786,3316,3905)(2789,3318,3908)(2790,3319,3910)
     (2792,3321,3913)(2795,3325,3918)(2797,3327,3921)(2799,3330,3924)(2801,
     3332,2847)(2802,3333,3927)(2805,3337,3930)(2807,3340,3933)(2809,3342,
     3935)(2813,3347,3940)(2817,3350,3943)(2818,3351,3945)(2821,3354,3948)
     (2828,3364,3957)(2830,3367,3959)(2831,3368,3961)(2834,3371,3965)(2838,
     3376,3970)(2840,3378,3973)(2842,3381,3976)(2843,3357,3951)(2848,3387,
     3982)(2851,3391,3146)(2852,3392,3988)(2857,3398,3994)(2859,3400,3996)
     (2861,3402,3998)(2862,3403,4000)(2863,3404,4001)(2866,3408,4004)(2867,
     3409,4005)(2870,3413,4010)(2873,3418,4015)(2876,3422,4020)(2881,3426,
     4025)(2883,3429,4028)(2884,3430,3992)(2886,3432,4032)(2891,3438,4038)
     (2893,3440,4041)(2894,3166,3737)(2895,3441,4042)(2898,3445,4047)(2900,
     3447,3138)(2905,3453,4056)(2907,3456,4059)(2909,3459,4061)(2910,3460,
     3764)(2913,3463,4065)(2914,3464,4067)(2915,3465,4069)(2920,3469,4072)
     (2922,3472,4076)(2923,3473,4078)(2925,3475,4081)(2929,3481,4086)(2930,
     3482,4088)(2933,3486,4090)(2934,3487,4091)(2936,3489,4094)(2939,3491,
     4097)(2947,3500,4106)(2948,3501,3509)(2954,3508,4115)(2958,3514,4121)
     (2962,3519,4126)(2964,3521,4129)(2967,3525,4134)(2968,3526,4136)(2971,
     3529,4139)(2973,3532,4142)(2976,3533,4144)(2978,3534,4145)(2979,3535,
     4147)(2983,3540,4153)(2985,3495,4100)(2986,3543,3055)(2988,3545,4158)
     (2990,3546,4160)(2992,3548,4163)(2995,3551,4167)(2998,3555,4172)(3001,
     3558,4176)(3002,3559,4178)(3004,3561,4181)(3008,3566,4186)(3009,3567,
     4187)(3011,3569,4190)(3014,3574,4194)(3015,3575,4196)(3016,3576,3024)
     (3019,3579,4201)(3026,3588,4208)(3027,3589,4209)(3031,3595,4216)(3034,
     3598,4220)(3036,3600,4223)(3037,3601,4225)(3040,3604,4229)(3041,3605,
     4231)(3043,3607,4234)(3045,3609,4235)(3049,3614,4240)(3050,3615,4242)
     (3052,3617,4245)(3053,3618,4247)(3058,3621,4251)(3061,3625,4256)(3062,
     3626,4258)(3066,3632,4262)(3067,3633,4264)(3069,3635,4266)(3073,3640,
     4271)(3075,3643,4275)(3078,3646,4279)(3080,3647,4281)(3083,3651,4284)
     (3085,3654,4286)(3086,3655,4109)(3088,3657,4290)(3093,3664,4298)(3096,
     3668,4303)(3100,3671,4307)(3106,3679,4314)(3107,3680,4316)(3108,3681,
     4318)(3112,3686,4324)(3114,3688,4326)(3115,3689,4200)(3117,3690,4328)
     (3121,3694,4332)(3123,3696,4335)(3124,3697,3950)(3127,3699,4338)(3128,
     3700,4340)(3131,3703,4344)(3132,3704,4346)(3137,3710,4353)(3140,3712,
     4356)(3143,3714,3288)(3148,3718,4362)(3155,3726,4368)(3156,3270,3849)
     (3159,3729,4372)(3164,3735,4379)(3169,3741,4384)(3171,3744,4388)(3172,
     3745,4390)(3178,3752,4396)(3179,3229,3807)(3181,3754,4399)(3184,3757,
     4403)(3187,3761,4408)(3189,3763,4411)(3193,3765,4413)(3196,3769,4418)
     (3197,3770,4420)(3199,3772,4422)(3200,3773,4424)(3202,3775,4427)(3208,
     3783,4436)(3210,3785,4439)(3214,3789,4444)(3215,3790,4446)(3218,3794,
     4451)(3220,3797,4453)(3221,3798,4455)(3222,3799,4457)(3226,3805,4464)
     (3232,3810,4469)(3233,3811,4471)(3235,3813,4474)(3238,3816,4280)(3240,
     3819,4481)(3244,3823,4484)(3247,3826,4487)(3249,3828,4489)(3251,3830,
     4492)(3256,3835,4497)(3257,3836,4499)(3259,3838,4502)(3263,3843,4508)
     (3264,3844,4398)(3266,3845,4511)(3272,3852,4516)(3273,3853,4518)(3277,
     3859,4524)(3282,3866,3562)(3283,3867,4531)(3285,3869,4534)(3287,3872,
     4537)(3291,3876,4383)(3292,3877,4543)(3294,3879,3972)(3296,3882,4548)
     (3297,3883,4550)(3298,3884,4552)(3301,3888,4557)(3302,3889,4559)(3305,
     3893,4561)(3306,3894,4562)(3309,3897,4565)(3310,3898,3909)(3313,3901,
     4570)(3320,3911,4577)(3322,3914,4580)(3323,3915,4581)(3326,3919,4586)
     (3328,3922,4590)(3334,3928,4596)(3335,3929,4598)(3338,3931,4601)(3341,
     3934,4605)(3343,3936,4607)(3344,3937,4609)(3345,3938,4611)(3352,3878,
     4544)(3355,3949,4622)(3359,3953,4624)(3362,3955,4627)(3365,3958,4631)
     (3369,3962,4634)(3372,3966,4639)(3374,3968,4642)(3377,3971,4644)(3379,
     3974,4647)(3382,3977,4650)(3383,3978,4652)(3385,3979,4654)(3388,3983,
     4659)(3389,3984,4661)(3393,3989,4666)(3394,3990,4668)(3396,3991,4670)
     (3401,3997,4674)(3405,3504,4110)(3406,4002,4680)(3410,4006,4684)(3411,
     4007,4686)(3414,4011,4690)(3416,4013,4620)(3419,4016,4695)(3420,4017,
     4697)(3423,4021,4486)(3424,4022,4700)(3425,4023,4702)(3427,4026,4706)
     (3431,4030,4711)(3433,4033,4483)(3435,4035,4716)(3436,4036,4718)(3439,
     4039,4722)(3442,4043,4725)(3443,4044,3467)(3446,4048,3493)(3448,4050,
     4731)(3450,4052,4734)(3452,4054,4737)(3454,4057,4741)(3457,3824,4485)
     (3461,3462,4063)(3470,4073,4753)(3474,4079,4760)(3476,4082,4763)(3477,
     4083,4764)(3483,4089,4769)(3484,4051,4732)(3488,4092,4773)(3492,4098,
     4780)(3496,4101,4783)(3498,4103,4786)(3502,4108,4791)(3507,4113,4796)
     (3510,4116,4800)(3512,4118,4803)(3516,4123,4809)(3517,3890,3612)(3520,
     4127,4812)(3522,4130,4815)(3523,4131,4817)(3527,4137,4824)(3530,4140,
     4828)(3536,4148,4836)(3538,4150,4839)(3541,4154,4844)(3547,4161,4851)
     (3549,4164,3608)(3552,4168,4858)(3553,4169,4860)(3556,4173,4864)(3560,
     4179,4871)(3563,4182,4875)(3568,4188,4882)(3570,4191,4886)(3572,4192,
     4888)(3577,4198,3995)(3580,4202,4896)(3582,4204,4899)(3584,4205,4900)
     (3586,4206,4902)(3590,4210,4907)(3591,4211,3747)(3593,4213,4911)(3599,
     4221,4917)(3602,4226,4921)(3603,4227,4922)(3606,4232,4924)(3610,4236,
     4929)(3616,4243,4936)(3619,4248,4218)(3622,4252,4943)(3623,4253,4560)
     (3628,4259,4950)(3630,4261,4953)(3634,4265,3895)(3636,4267,4960)(3638,
     4269,4963)(3641,4272,4967)(3644,4276,4972)(3648,4282,4976)(3649,4283,
     4978)(3652,3791,4447)(3656,4288,4982)(3658,4291,4986)(3659,4292,4988)
     (3661,4294,4991)(3665,4299,3906)(3666,4300,4575)(3669,4304,5000)(3670,
     4305,5002)(3672,4308,5006)(3674,4309,5008)(3675,4310,5009)(3677,4312,
     5012)(3682,4319,5019)(3684,4321,5021)(3698,4336,5034)(3701,4341,5040)
     (3702,4342,5042)(3705,4347,5047)(3706,4348,5049)(3708,4350,5052)(3711,
     4354,5055)(3715,4359,5060)(3717,4361,5062)(3719,4363,5064)(3720,4364,
     5066)(3722,4365,3846)(3724,4366,5069)(3727,4369,4244)(3728,4370,3860)
     (3730,4373,5077)(3731,4374,4916)(3733,4376,4966)(3734,4377,5082)(3736,
     4380,4449)(3738,4381,5086)(3739,4382,5088)(3742,4385,5089)(3746,4391,
     3821)(3748,4392,5096)(3750,4393,3820)(3753,4397,5101)(3755,4400,5104)
     (3758,4404,5109)(3759,4405,5111)(3762,4409,5115)(3766,4414,5121)(3767,
     4415,5117)(3771,4421,5127)(3774,4425,5130)(3776,4428,5133)(3777,4429,
     5135)(3779,4431,5138)(3781,4433,5140)(3784,4437,5144)(3786,4440,5147)
     (3787,4441,3827)(3788,4442,5150)(3792,4448,4228)(3795,4452,5159)(3800,
     4458,5165)(3801,4459,5167)(3803,4461,5170)(3808,4467,5177)(3812,4472,
     5183)(3814,4475,5186)(3815,4476,5188)(3817,4478,5191)(3829,4490,5200)
     (3831,4493,5203)(3832,4494,5204)(3833,4495,5206)(3837,4500,5211)(3839,
     4503,5214)(3840,4504,5216)(3842,4506,5218)(3847,4512,5225)(3850,4514,
     5227)(3854,4519,5233)(3855,4520,5235)(3857,4522,5238)(3862,4526,5243)
     (3864,4528,5246)(3868,4532,5251)(3870,4535,5254)(3873,4538,5257)(3874,
     4539,5259)(3880,4546,5267)(3885,4553,5274)(3886,4554,5276)(3891,4273,
     4968)(3899,4567,5288)(3902,4571,5293)(3904,4573,5296)(3907,4574,5298)
     (3912,4578,5302)(3916,4582,5307)(3917,4583,5309)(3920,4587,5314)(3923,
     4591,4287)(3925,4593,5321)(3926,3980,4655)(3932,4602,5330)(3939,4612,
     5337)(3941,4614,5339)(3942,4615,5341)(3944,4617,5344)(3946,4618,5346)
     (3947,4619,5348)(3952,4623,4230)(3954,4625,5353)(3956,4628,5356)(3960,
     3981,4656)(3963,4635,5362)(3964,4636,5364)(3967,4640,5223)(3969,4643,
     5370)(3975,4648,5375)(3985,4662,4910)(3986,4663,5388)(3987,4664,5389)
     (3993,4671,5397)(3999,4676,5401)(4003,4681,5406)(4008,4687,5412)(4009,
     4688,5414)(4012,4691,5097)(4014,4692,5419)(4018,4698,5425)(4019,4658,
     5382)(4024,4703,5431)(4027,4707,5436)(4029,4709,5439)(4031,4712,5443)
     (4034,4714,5445)(4037,4719,5451)(4040,4708,5437)(4045,4726,5458)(4046,
     4727,5460)(4049,4729,5463)(4053,4735,5469)(4055,4738,5472)(4058,4742,
     5476)(4060,4744,5457)(4062,4746,5480)(4064,4748,5483)(4066,4723,5455)
     (4068,4750,5485)(4070,4751,5486)(4071,4752,4533)(4074,4754,5487)(4075,
     4755,5489)(4077,4757,5491)(4080,4761,5496)(4084,4765,4604)(4085,4766,
     5501)(4087,4768,5503)(4093,4774,5072)(4095,4776,5511)(4096,4777,5513)
     (4099,4781,5518)(4102,4784,5521)(4104,4787,5524)(4105,4579,5303)(4107,
     4789,5527)(4111,4793,5531)(4112,4794,5533)(4114,4797,5537)(4117,4801,
     5541)(4119,4804,5545)(4120,4805,5546)(4122,4807,5549)(4124,4810,5282)
     (4125,4811,5554)(4128,4813,5557)(4132,4818,5563)(4133,4819,5565)(4135,
     4821,5567)(4138,4825,5569)(4141,4829,5572)(4143,4831,5575)(4146,4833,
     5578)(4149,4837,5582)(4151,4840,5583)(4152,4841,5585)(4155,4558,5280)
     (4156,4845,5590)(4157,4846,5592)(4159,4848,5595)(4162,4852,5600)(4165,
     4855,5604)(4166,4856,5606)(4170,4861,4360)(4171,4862,5613)(4174,4865,
     5616)(4175,4866,5119)(4177,4868,5620)(4180,4872,5625)(4183,4876,5629)
     (4184,4877,5630)(4185,4878,5632)(4189,4883,5638)(4193,4889,5644)(4195,
     4891,5647)(4197,4893,5650)(4199,4894,5652)(4203,4897,5656)(4207,4903,
     5663)(4212,4909,5666)(4214,4772,5507)(4215,4912,5669)(4217,4914,5672)
     (4219,4915,5673)(4222,4918,5676)(4224,4919,5678)(4233,4925,5682)(4237,
     4930,5688)(4238,4931,5689)(4239,4932,5691)(4241,4358,5059)(4246,4937,
     5697)(4249,4939,5700)(4250,4940,5701)(4254,4945,5706)(4255,4946,5707)
     (4257,4948,5708)(4260,4951,5710)(4263,4955,5715)(4268,4961,5722)(4270,
     4964,5726)(4274,4969,5731)(4277,4973,5736)(4278,4974,5738)(4285,4979,
     5743)(4289,4983,5746)(4293,4989,5753)(4295,4992,5756)(4296,4993,5758)
     (4297,4994,5760)(4301,4997,5764)(4302,4998,5765)(4306,5003,5771)(4311,
     5010,5778)(4313,5013,5782)(4315,5015,5784)(4317,5017,5787)(4320,5020,
     5790)(4322,5022,5792)(4323,5023,5793)(4325,5024,5795)(4327,5026,5798)
     (4329,5028,5801)(4330,4895,5653)(4331,5029,5803)(4333,4466,5175)(4334,
     5031,5806)(4337,5035,5811)(4339,5037,5814)(4343,5043,5820)(4345,5045,
     5385)(4349,5050,5827)(4351,4935,5694)(4352,4987,5750)(4355,5056,5755)
     (4357,5058,5836)(4367,5070,5847)(4371,5074,5851)(4375,5079,5856)(4378,
     5083,5677)(4386,5090,5865)(4387,5091,5129)(4389,5093,5869)(4394,5098,
     5873)(4395,5099,5202)(4401,5105,5880)(4402,5106,5881)(4406,5112,5888)
     (4407,5113,5890)(4410,5116,5893)(4412,5118,5895)(4416,5123,5900)(4417,
     5124,5902)(4419,5125,5904)(4423,5128,5907)(4426,5131,5908)(4430,5136,
     5901)(4432,5139,5915)(4434,5141,5918)(4435,5142,5920)(4438,5145,5924)
     (4443,5151,5930)(4445,5153,5933)(4450,5156,5937)(4454,5161,4649)(4456,
     5163,5944)(4460,5168,5936)(4462,5171,5615)(4463,5172,5721)(4465,5174,
     5955)(4468,5178,5960)(4470,5180,5962)(4473,5184,5967)(4477,5189,5973)
     (4479,5192,5977)(4480,5193,5979)(4482,5195,4835)(4488,5198,5114)(4491,
     5201,5987)(4496,5207,4949)(4498,5209,5995)(4501,5212,5997)(4505,5217,
     6001)(4507,5219,6002)(4509,5221,6004)(4510,5222,6005)(4513,5044,5821)
     (4515,5228,6010)(4517,5230,6013)(4521,5236,6019)(4523,5239,6023)(4525,
     5241,5075)(4527,5244,6029)(4529,5247,6031)(4530,5248,6033)(4536,5255,
     6039)(4540,5260,6044)(4541,5261,6046)(4542,5262,6048)(4545,5265,6052)
     (4547,5268,6055)(4549,5269,6057)(4551,5271,6060)(4555,5277,6067)(4556,
     5278,6068)(4563,5283,6072)(4564,5284,6074)(4566,5286,6077)(4568,5289,
     6081)(4569,5290,6083)(4572,5294,6087)(4576,5299,6092)(4584,5310,6104)
     (4585,5311,6106)(4588,5315,5363)(4589,5316,6110)(4592,5319,4633)(4594,
     5322,6117)(4595,5323,6119)(4597,5325,6122)(4599,5326,6124)(4600,5327,
     6126)(4603,5331,5577)(4606,5317,6111)(4608,5333,6132)(4610,5334,6134)
     (4613,5338,6139)(4616,5342,6144)(4621,5349,6152)(4626,5354,6157)(4629,
     5357,6161)(4630,5358,6163)(4632,5360,5371)(4637,5365,6169)(4638,5366,
     4651)(4641,5368,6172)(4645,5372,5971)(4646,5373,6177)(4653,5378,6181)
     (4657,5381,6184)(4660,5384,6188)(4665,5390,6193)(4667,5392,4672)(4669,
     5394,6196)(4673,5398,6200)(4675,5399,6202)(4677,5402,6205)(4678,5403,
     6207)(4679,5404,6209)(4682,5407,5791)(4683,5408,6213)(4685,5410,6215)
     (4689,5415,6219)(4693,5420,6224)(4694,5421,6226)(4696,5423,6229)(4699,
     5426,6233)(4701,5428,6236)(4704,5432,6240)(4705,5433,6242)(4710,5440,
     6043)(4713,5444,4826)(4715,5446,6254)(4717,5448,6257)(4720,5452,6261)
     (4721,5453,6263)(4724,5456,6265)(4728,5461,6270)(4730,5464,6273)(4733,
     5467,6277)(4736,5470,6281)(4739,5473,6284)(4740,5474,6286)(4743,5477,
     6290)(4745,5479,6292)(4747,5481,6293)(4749,5478,5087)(4756,5490,6302)
     (4758,5492,6304)(4759,5493,6305)(4762,5497,6310)(4767,5502,6314)(4770,
     5505,4887)(4771,5506,6317)(4775,5510,6321)(4778,5514,6059)(4779,5515,
     5561)(4782,5519,6330)(4785,5522,6332)(4788,5525,6336)(4790,5528,6340)
     (4792,5530,6343)(4795,5534,6347)(4798,5538,6070)(4799,5539,6353)(4802,
     5542,6355)(4806,5547,6358)(4808,5550,6362)(4814,5558,6371)(4816,5560,
     6373)(4820,5158,5939)(4822,5081,5858)(4823,5568,6381)(4827,5570,6384)
     (4830,5573,6133)(4832,5576,6388)(4834,5579,6391)(4838,5054,5831)(4842,
     5586,5668)(4843,5587,6399)(4847,5593,6403)(4849,5596,6406)(4850,5597,
     5835)(4853,5601,6411)(4854,5602,6412)(4857,5607,6418)(4859,5609,6041)
     (4863,4870,5622)(4867,5618,5137)(4869,5621,6429)(4873,5626,6435)(4874,
     5627,5903)(4879,5633,6441)(4880,5634,6442)(4881,5635,6444)(4884,5639,
     6449)(4885,5640,6451)(4890,5645,6455)(4892,5648,6458)(4898,5657,6466)
     (4901,5660,6470)(4904,5030,5804)(4905,5664,6474)(4906,5571,6385)(4908,
     5665,6475)(4913,5670,6480)(4920,5679,5641)(4923,4975,5162)(4926,5683,
     6490)(4927,5684,6492)(4928,5685,6494)(4933,5692,5786)(4934,5693,6500)
     (4938,5698,6504)(4941,5702,6509)(4942,5703,6511)(4944,5705,6514)(4947,
     4958,5718)(4952,5711,6521)(4954,5713,6524)(4956,5716,6527)(4957,5717,
     6529)(4959,5719,6531)(4962,5723,6535)(4965,5727,5687)(4970,5732,6545)
     (4971,5733,5741)(4977,5740,6159)(4980,5744,6554)(4981,5745,6556)(4984,
     5747,6559)(4985,5748,6561)(4990,5754,6568)(4995,5761,6573)(4996,5762,
     6575)(4999,5766,6580)(5001,5768,6583)(5004,5772,6586)(5005,5773,6588)
     (5007,5775,5942)(5011,5779,6595)(5014,5783,6599)(5016,5785,6601)(5018,
     5788,6603)(5025,5796,5430)(5027,5799,6612)(5032,5807,6620)(5033,5808,
     6621)(5036,5812,6626)(5038,5815,6630)(5039,5816,6632)(5041,5818,5961)
     (5046,5823,6638)(5048,5824,6639)(5051,5828,6643)(5053,5830,5612)(5057,
     5834,6649)(5061,5838,6405)(5063,5840,6653)(5065,5842,6027)(5067,5843,
     6656)(5068,5844,6658)(5071,5848,5226)(5073,5849,6663)(5076,5852,6666)
     (5078,5854,6669)(5080,5857,6673)(5084,5861,6678)(5085,5862,6679)(5092,
     5867,6685)(5094,5126,5589)(5095,5870,6689)(5100,5874,6694)(5102,5876,
     5999)(5103,5877,6698)(5107,5882,6703)(5108,5883,5912)(5110,5885,6707)
     (5120,5896,6716)(5122,5898,5149)(5132,5909,6728)(5134,5911,6731)(5143,
     5921,6739)(5146,5925,6742)(5148,5927,6594)(5152,5931,6749)(5154,5934,
     6751)(5155,5935,6753)(5157,5938,6756)(5160,5941,6759)(5164,5945,6762)
     (5166,5947,6765)(5169,5950,6567)(5173,5954,5213)(5176,5957,6773)(5179,
     5777,6592)(5181,5963,6778)(5182,5964,6780)(5185,5968,6784)(5187,5970,
     6787)(5190,5974,6791)(5194,5980,6798)(5196,5982,6801)(5197,5983,6803)
     (5199,5985,6805)(5205,5990,6811)(5208,5993,6814)(5210,5996,6817)(5215,
     5998,6820)(5220,6003,6822)(5224,6006,6825)(5229,6011,6831)(5231,6014,
     6833)(5232,6015,6835)(5234,6017,6838)(5237,6020,6840)(5240,6024,6845)
     (5242,6026,6847)(5245,6030,6850)(5249,6034,6854)(5250,6035,6856)(5252,
     6036,5611)(5253,6037,6859)(5256,6040,6863)(5258,6042,6865)(5263,6049,
     6871)(5264,6050,6873)(5266,6053,6877)(5270,6058,6881)(5272,6061,6884)
     (5273,6062,6886)(5275,6064,6889)(5279,6069,6894)(5281,6071,6896)(5285,
     6075,6901)(5287,6078,5735)(5291,6084,6911)(5292,6085,6913)(5295,6088,
     6917)(5297,6090,6920)(5300,6093,6923)(5301,6094,6925)(5304,6097,6929)
     (5305,6098,6930)(5306,6099,6932)(5308,6101,6935)(5312,5355,6158)(5313,
     6107,6942)(5318,6112,6342)(5320,6114,6949)(5324,6120,6955)(5328,6127,
     6963)(5329,6128,6965)(5332,6130,6967)(5335,6135,6971)(5336,6136,6973)
     (5340,6141,6979)(5343,6145,5471)(5345,6147,6985)(5347,6149,6988)(5350,
     6153,6992)(5351,6154,6590)(5352,5984,5376)(5359,6164,7003)(5361,6166,
     7006)(5367,6171,7012)(5369,6173,7014)(5374,6178,7018)(5377,6179,6174)
     (5379,6182,7022)(5380,6183,7023)(5383,6186,7025)(5386,6189,7027)(5387,
     6190,7029)(5391,6194,7033)(5393,6195,6744)(5395,6197,7036)(5396,6198,
     7038)(5400,6203,7043)(5405,6210,7050)(5409,6214,7055)(5411,5417,6221)
     (5413,6216,7057)(5416,6220,7061)(5418,6222,7064)(5422,6227,7069)(5424,
     6230,5643)(5427,6234,6682)(5429,6237,6256)(5434,6243,7081)(5435,6244,
     6295)(5438,6246,7083)(5441,6248,7086)(5442,6249,7087)(5447,6255,7093)
     (5449,6258,7096)(5450,6259,6245)(5454,6264,7100)(5459,6267,7104)(5462,
     5516,5825)(5465,6274,7110)(5466,6275,7112)(5468,6278,7116)(5475,6287,
     7125)(5482,6294,6291)(5484,6296,7099)(5488,6300,7133)(5494,6306,7139)
     (5495,6307,7140)(5498,6311,7145)(5499,6312,7146)(5500,6313,7148)(5504,
     6315,7028)(5508,6318,7153)(5509,6319,7154)(5512,6323,7159)(5517,6327,
     7163)(5520,6331,7165)(5523,6333,7168)(5526,6337,7172)(5529,6341,7175)
     (5532,6345,7178)(5535,6348,7182)(5536,6349,7183)(5540,6354,7187)(5543,
     6356,5894)(5544,5658,6467)(5548,6359,7191)(5551,6363,7196)(5552,6364,
     7198)(5553,6365,7200)(5555,6367,7203)(5556,6368,7205)(5559,6372,7209)
     (5562,6374,7211)(5564,6376,7214)(5566,6378,7216)(5574,6298,7130)(5580,
     6392,7226)(5581,6393,7228)(5584,6396,7232)(5588,6400,7237)(5591,6309,
     7142)(5594,6404,7241)(5598,6408,7245)(5599,6409,6610)(5603,6413,7247)
     (5605,6415,7250)(5608,6419,7253)(5610,6421,7255)(5614,6423,7258)(5617,
     6425,7260)(5619,6427,7262)(5623,6431,7267)(5624,6432,7269)(5628,6437,
     7275)(5631,6439,7278)(5636,6445,7283)(5637,6446,7284)(5642,6452,7290)
     (5646,6456,7294)(5649,6459,7298)(5651,6460,7300)(5654,6462,6410)(5655,
     6463,7302)(5659,6468,7303)(5661,6471,7307)(5662,6472,7309)(5667,6477,
     6288)(5671,6481,7318)(5674,6484,7322)(5675,6485,7324)(5680,6487,7326)
     (5681,6488,7224)(5686,6495,7335)(5690,6497,7338)(5695,6502,7343)(5696,
     6165,7004)(5699,6505,7346)(5704,6512,7354)(5709,6518,7359)(5712,6522,
     7362)(5714,6525,7366)(5720,6532,7372)(5724,6536,7376)(5725,6537,7378)
     (5728,6540,7381)(5729,6541,7382)(5730,6542,7383)(5734,6089,6918)(5737,
     6548,7389)(5739,6550,7392)(5742,6552,7394)(5749,6562,7405)(5751,6564,
     7407)(5752,6565,7409)(5757,6570,7413)(5759,6572,7416)(5763,6576,7421)
     (5767,6581,7427)(5769,6109,6944)(5770,6584,7431)(5774,6589,7436)(5776,
     6591,7438)(5780,6596,7442)(5781,6597,7151)(5789,6604,7449)(5794,6607,
     7452)(5797,6609,7455)(5800,6366,7201)(5802,6614,7460)(5805,6617,7464)
     (5809,6622,7467)(5810,6623,7469)(5813,6627,7472)(5817,6633,7479)(5819,
     6600,7445)(5822,6007,6826)(5826,6640,7486)(5829,6644,7491)(5832,6647,
     6657)(5833,6648,7496)(5837,6651,7500)(5839,6652,7502)(5841,6654,7505)
     (5845,6659,7509)(5846,6660,7152)(5850,6664,7515)(5853,6667,7518)(5855,
     6670,7521)(5859,6675,7527)(5860,6676,7529)(5863,6680,7533)(5864,6681,
     7534)(5866,6683,7535)(5868,6686,7538)(5871,6690,7543)(5872,6691,7545)
     (5875,6695,7549)(5878,6699,7553)(5879,6700,7555)(5884,6705,7561)(5886,
     6175,7015)(5887,6708,7565)(5889,6710,7568)(5891,6711,7570)(5892,6712,
     7572)(5897,6717,7576)(5899,6719,7578)(5905,6723,7582)(5906,6724,7584)
     (5910,6729,7589)(5913,6732,7593)(5914,6733,7595)(5916,6709,7566)(5917,
     6735,7598)(5919,6737,7600)(5922,6740,7603)(5923,6741,7605)(5926,6743,
     7607)(5928,6745,7609)(5929,6746,7611)(5932,6750,7613)(5940,6757,7620)
     (5943,6760,6720)(5946,6763,7625)(5948,6766,7628)(5949,6767,7630)(5951,
     6769,7632)(5952,6770,7634)(5953,6517,7358)(5956,6771,7547)(5958,6774,
     7637)(5959,6775,7639)(5965,6781,7646)(5966,6782,7648)(5969,6785,7652)
     (5972,6788,7655)(5975,6792,7657)(5976,6793,7659)(5978,6795,7662)(5981,
     6799,7666)(5986,6806,7673)(5988,6808,7676)(5989,6809,7677)(5991,6812,
     7680)(5992,6813,7682)(5994,6815,7685)(6000,6821,7689)(6008,6827,7694)
     (6009,6828,7696)(6012,6832,7700)(6016,6836,6876)(6018,6839,7707)(6021,
     6841,7710)(6022,6842,7712)(6025,6846,7715)(6028,6848,7718)(6032,6852,
     7723)(6038,6860,7731)(6045,6867,7531)(6047,6869,7594)(6051,6874,7746)
     (6054,6878,7749)(6056,6879,7751)(6063,6887,7760)(6065,6382,7219)(6066,
     6890,7763)(6073,6898,7772)(6076,6902,7777)(6079,6905,7780)(6080,6906,
     7782)(6082,6908,6677)(6086,6914,7790)(6091,6921,7796)(6095,6926,7802)
     (6096,6927,7803)(6100,6933,7809)(6102,6936,7812)(6103,6937,7813)(6105,
     6939,7815)(6108,6943,7819)(6113,6947,7824)(6115,6950,7827)(6116,6951,
     7829)(6118,6953,7832)(6121,6956,7836)(6123,6958,7839)(6125,6960,7841)
     (6129,6966,7847)(6131,6968,7850)(6137,6974,7854)(6138,6975,7856)(6140,
     6977,7859)(6142,6872,7743)(6143,6980,7863)(6146,6983,7867)(6148,6986,
     7871)(6150,6989,7875)(6151,6990,7877)(6155,6994,7881)(6156,6995,7005)
     (6160,6998,7885)(6162,7000,7888)(6167,7007,7893)(6168,7008,7895)(6170,
     7010,7898)(6176,7016,7903)(6180,7019,7906)(6185,7024,7910)(6187,7026,
     7911)(6191,7030,7912)(6192,7031,7913)(6199,7039,7919)(6201,7040,7716)
     (6204,6650,7498)(6206,7045,7924)(6208,7047,7926)(6211,7051,7454)(6212,
     7052,6387)(6217,7058,7935)(6218,7059,7937)(6223,7065,7943)(6225,7067,
     7946)(6228,7070,7948)(6231,7072,7950)(6232,7073,7951)(6235,7074,7952)
     (6238,7076,7954)(6239,7077,7956)(6241,7079,7958)(6247,7084,6390)(6250,
     7088,7967)(6251,7089,7969)(6252,7090,7971)(6253,7091,7973)(6260,7097,
     7980)(6262,7080,7959)(6266,7102,7098)(6268,7105,7985)(6269,7106,7987)
     (6271,7108,7990)(6272,7109,7992)(6276,7113,6465)(6279,7117,8000)(6280,
     7118,8002)(6282,7120,8004)(6283,7121,8006)(6285,7123,8009)(6289,7126,
     8012)(6297,7129,8016)(6299,7131,8019)(6301,7134,8022)(6303,7135,8024)
     (6308,7141,8029)(6316,7150,8039)(6320,7155,6790)(6322,7157,8044)(6324,
     7160,8047)(6325,7161,8048)(6326,7162,8050)(6328,7164,8053)(6329,6579,
     7424)(6334,7169,8058)(6335,6779,7643)(6338,7173,8063)(6339,7174,8065)
     (6344,7176,8068)(6346,7179,8071)(6350,7184,8076)(6351,7185,7425)(6352,
     7186,8079)(6357,7188,8082)(6360,7192,8087)(6361,7193,8089)(6369,7206,
     8097)(6370,7207,8098)(6375,7212,7249)(6377,7215,8104)(6379,7217,8106)
     (6380,6507,7348)(6383,7220,8108)(6386,7222,8110)(6389,7223,8112)(6394,
     7229,8118)(6395,7230,8120)(6397,7233,8123)(6398,7234,8125)(6401,6499,
     7340)(6402,7238,8036)(6407,7243,8134)(6414,7248,8138)(6416,7251,8141)
     (6417,6885,7757)(6420,7254,8145)(6422,7256,8148)(6424,7114,7996)(6426,
     7261,8153)(6428,7263,8155)(6430,7265,8158)(6433,7270,8163)(6434,7271,
     8164)(6436,7273,8167)(6438,7276,7124)(6440,7279,8172)(6443,7281,8175)
     (6447,7285,8179)(6448,7286,7463)(6450,7287,7350)(6453,7291,8185)(6454,
     7292,8187)(6457,7295,7530)(6461,7301,8196)(6464,7259,8150)(6469,7304,
     6804)(6473,7310,8204)(6476,7313,8208)(6478,7314,8209)(6479,7315,8211)
     (6482,7319,8215)(6483,7320,8216)(6486,7325,8220)(6489,7328,8224)(6491,
     7330,8226)(6493,7332,8229)(6496,7336,8234)(6498,7339,8237)(6501,7341,
     8240)(6503,6508,7349)(6506,7347,8245)(6510,7351,8248)(6513,6519,7360)
     (6515,7356,7391)(6516,7357,8253)(6520,7361,8258)(6523,7363,8260)(6526,
     7367,8265)(6528,7369,8267)(6530,7371,8270)(6533,6534,7373)(6538,7379,
     8275)(6539,7380,8277)(6543,7384,7501)(6544,7385,8281)(6546,7387,8283)
     (6547,7388,8285)(6549,7390,8287)(6551,7393,8290)(6553,7395,8292)(6555,
     7397,8295)(6557,7399,8298)(6558,7400,8300)(6560,7402,8303)(6563,7406,
     8308)(6566,7410,8313)(6569,7411,6714)(6571,7414,8316)(6574,7418,7789)
     (6577,7422,8324)(6578,7423,8326)(6582,7428,8330)(6585,7432,8335)(6587,
     7434,8338)(6593,7439,7672)(6598,7444,8348)(6602,7447,8351)(6605,7450,
     7930)(6606,7451,8355)(6608,7453,8356)(6611,7456,8359)(6613,7458,8361)
     (6615,7461,8364)(6616,7462,8366)(6618,7465,8368)(6619,7466,7727)(6624,
     7470,8373)(6625,7471,8375)(6628,7473,6819)(6629,7474,8378)(6631,7476,
     8380)(6634,7480,7386)(6635,7481,8385)(6636,7482,8386)(6637,7483,8388)
     (6641,7487,8391)(6642,7488,8392)(6645,7492,8396)(6646,7493,7368)(6655,
     7506,8410)(6661,7511,8416)(6662,7512,6843)(6665,7513,8418)(6668,7519,
     8420)(6671,7522,8424)(6672,7523,8256)(6674,7525,7891)(6684,6715,7574)
     (6687,7539,7601)(6688,7540,8437)(6692,7546,8043)(6693,7517,7588)(6696,
     7550,8444)(6697,7551,8446)(6701,7556,8329)(6702,7557,7575)(6704,7559,
     8452)(6706,7562,8455)(6713,7573,8465)(6718,7564,7537)(6721,7579,8470)
     (6722,7580,6818)(6725,7585,7558)(6726,7520,8421)(6727,7586,8475)(6730,
     7590,8479)(6734,7596,7034)(6736,7599,8487)(6738,6978,7860)(6747,7440,
     8343)(6748,7612,8494)(6752,7614,8497)(6754,7616,8499)(6755,7617,8501)
     (6758,7621,8504)(6761,7623,8506)(6764,7626,8508)(6768,7631,8513)(6772,
     7635,8516)(6776,7640,8521)(6777,7641,8522)(6783,7649,8528)(6786,7653,
     8533)(6789,7656,8536)(6794,7660,8540)(6796,7663,8543)(6797,7664,8545)
     (6800,7667,8548)(6802,7669,8221)(6807,7674,8553)(6810,7678,8557)(6816,
     7686,8566)(6823,7691,7975)(6824,7692,8572)(6829,7697,8577)(6830,6834,
     7702)(6837,7705,8585)(6844,7713,8591)(6849,7719,8595)(6851,7721,7548)
     (6853,7724,8600)(6855,7726,7137)(6857,7728,7740)(6858,7729,8605)(6861,
     7732,7750)(6862,7733,8608)(6864,7735,8611)(6866,7737,8614)(6868,7739,
     8616)(6870,7741,8618)(6875,7747,8203)(6880,7752,8626)(6882,7754,8443)
     (6883,7755,8630)(6888,7761,8602)(6891,7764,8640)(6892,7765,8641)(6893,
     7766,8643)(6895,7768,8645)(6897,7770,8648)(6899,7773,8651)(6900,7774,
     8653)(6903,7778,8658)(6904,7779,8660)(6907,7783,8664)(6909,7785,8666)
     (6910,7786,8668)(6912,7788,8671)(6915,7791,8674)(6916,7792,7375)(6919,
     7795,8679)(6922,7797,8682)(6924,7799,7709)(6928,7396,8293)(6931,7806,
     8201)(6934,7810,7671)(6938,7814,8124)(6940,7816,8695)(6941,7817,8697)
     (6945,7821,8701)(6946,7822,8702)(6948,7825,8705)(6952,7830,8709)(6954,
     7833,8713)(6957,7837,8162)(6959,7794,8677)(6961,7842,8721)(6962,7843,
     8722)(6964,7844,8724)(6969,7851,8730)(6970,7852,8732)(6972,7853,8086)
     (6976,7857,7902)(6981,7864,8744)(6982,7865,8745)(6984,7868,8748)(6987,
     7872,8751)(6991,6993,7879)(6996,7882,8760)(6997,7883,8762)(6999,7886,
     8766)(7001,7889,8770)(7002,7890,8246)(7009,7896,8777)(7011,7681,8560)
     (7013,7900,8782)(7017,7904,8785)(7020,7907,8789)(7021,7908,8790)(7032,
     7495,8399)(7035,7915,8715)(7037,7917,7041)(7042,7920,8799)(7044,7922,
     8802)(7046,7925,8804)(7048,7927,8807)(7049,7928,8809)(7053,7931,8271)
     (7054,7932,8812)(7056,7934,8814)(7060,7938,8817)(7062,7940,8820)(7063,
     7941,8822)(7066,7944,8825)(7068,7947,8829)(7071,7949,8832)(7075,7953,
     8836)(7078,7957,8154)(7082,7961,7604)(7085,7963,8844)(7092,7974,8629)
     (7094,7976,8852)(7095,7977,8853)(7101,7981,7991)(7103,7983,8858)(7107,
     7988,8864)(7111,7994,8869)(7115,7997,8871)(7119,8003,8875)(7122,8007,
     8880)(7127,8013,7136)(7128,8014,8887)(7132,8020,8306)(7138,8025,8896)
     (7143,8031,8902)(7144,8032,8904)(7147,8035,7845)(7149,8037,8909)(7156,
     8042,8914)(7158,8045,8917)(7166,8054,8926)(7167,8055,8928)(7170,8059,
     8932)(7171,8060,8934)(7177,8069,7993)(7180,8072,8943)(7181,8073,7965)
     (7189,8083,8952)(7190,8084,8954)(7194,7311,8205)(7195,8090,8959)(7197,
     8091,8961)(7199,8092,8963)(7202,8093,8964)(7204,8095,8868)(7208,8099,
     8971)(7210,8100,8266)(7213,7327,8222)(7218,8107,8978)(7221,8109,8981)
     (7225,8113,8985)(7227,8115,8987)(7231,8121,8993)(7235,8126,7964)(7236,
     8127,8996)(7239,8129,8999)(7240,8130,9001)(7242,8132,9004)(7244,8135,
     9007)(7246,8137,9010)(7252,8142,9014)(7257,8057,8930)(7264,8156,9026)
     (7266,8159,9030)(7268,8161,9033)(7272,8165,9037)(7274,8168,9041)(7277,
     8170,9043)(7280,8173,9047)(7282,8176,9051)(7288,8182,9057)(7289,8183,
     9059)(7293,8188,8345)(7296,8191,9068)(7297,8192,9070)(7299,8177,9052)
     (7305,8199,9073)(7306,8200,8363)(7308,7805,7489)(7312,8206,9077)(7316,
     8212,9084)(7317,8213,9086)(7321,8217,9091)(7323,8218,9093)(7329,7846,
     8725)(7331,8227,9099)(7333,8230,9102)(7334,8231,9103)(7337,8235,9107)
     (7342,8241,7645)(7344,8243,8257)(7345,8244,9090)(7352,8249,9116)(7353,
     8250,9118)(7355,8251,8828)(7364,8261,9127)(7365,8262,9128)(7370,8268,
     9132)(7374,8272,9136)(7377,8273,8584)(7398,8296,9158)(7401,8301,9164)
     (7403,8304,9167)(7404,8305,9168)(7408,8310,8078)(7412,8315,9175)(7415,
     8317,9176)(7417,8319,9179)(7419,8321,9181)(7420,8322,9183)(7426,8328,
     9190)(7429,8331,9192)(7430,8332,9193)(7433,8336,9197)(7435,7437,8340)
     (7441,8344,9204)(7443,8346,9206)(7446,8349,9210)(7448,8352,9214)(7457,
     8360,9220)(7459,8362,9222)(7468,8371,9229)(7475,8379,9234)(7477,8381,
     9235)(7478,8382,9236)(7484,8307,9169)(7485,8389,9243)(7490,8393,9248)
     (7494,8398,7995)(7497,8401,9257)(7499,8403,9024)(7503,8406,9261)(7504,
     8407,9263)(7507,8411,8263)(7508,8412,9268)(7510,8414,9269)(7514,8419,
     8925)(7516,7633,8514)(7524,8426,9279)(7526,8427,9281)(7528,8429,9284)
     (7532,7929,8810)(7536,8433,7608)(7541,8438,7706)(7542,8439,9295)(7544,
     8441,9297)(7552,8447,7916)(7554,8448,9303)(7560,8453,9309)(7563,8456,
     9313)(7567,8459,9316)(7569,7878,8756)(7571,8462,9320)(7577,8468,9326)
     (7581,7629,8511)(7583,8472,9330)(7587,8476,9334)(7591,8480,9339)(7592,
     8481,9341)(7597,8485,9346)(7602,8489,8619)(7606,8490,9351)(7610,8491,
     9353)(7615,8498,8739)(7618,8502,9362)(7619,7955,8838)(7622,8505,9366)
     (7624,8507,9368)(7627,8509,9371)(7636,8517,9379)(7638,8519,9382)(7642,
     8523,9385)(7644,8133,9005)(7647,8526,9387)(7650,8529,9390)(7651,8530,
     9392)(7654,8534,9395)(7658,8538,8860)(7661,8541,9401)(7665,8546,9406)
     (7668,8549,9408)(7670,8551,8886)(7675,8554,9411)(7679,8558,9415)(7683,
     8562,9417)(7684,8563,9418)(7687,8567,9423)(7688,8568,9425)(7690,8570,
     8604)(7693,8573,9429)(7695,8574,9431)(7698,8578,9435)(7699,8579,8404)
     (7701,8580,9438)(7703,8582,9439)(7704,8583,9441)(7708,8587,9445)(7711,
     8259,9125)(7714,8592,9449)(7717,8593,8594)(7720,8590,8765)(7722,8597,
     9454)(7725,8601,9459)(7730,8606,9119)(7734,8609,9465)(7736,8612,9469)
     (7738,8615,9472)(7742,8116,8988)(7744,8620,9301)(7745,8621,9475)(7748,
     8622,9476)(7753,8627,9481)(7756,8631,9484)(7758,8633,9485)(7759,8634,
     9486)(7762,8637,7979)(7767,8644,9496)(7769,8646,7876)(7771,8649,9501)
     (7775,8654,9506)(7776,8655,9508)(7781,8662,9515)(7784,8665,9517)(7787,
     8669,9522)(7793,8676,9529)(7798,8683,9534)(7800,8685,9537)(7801,8686,
     9539)(7804,8688,9541)(7807,8689,8982)(7808,8690,9543)(7811,8691,9416)
     (7818,8698,9550)(7820,8700,9553)(7823,8703,8561)(7826,8706,9558)(7828,
     8707,9560)(7831,8710,9564)(7834,8280,9143)(7835,8714,9569)(7838,8717,
     9572)(7840,8719,9574)(7848,8442,9298)(7849,8727,9582)(7855,8735,9589)
     (7858,8738,9389)(7861,8740,9592)(7862,8741,9594)(7866,8746,9597)(7869,
     8749,9479)(7870,8750,9600)(7873,8752,9603)(7874,8753,9604)(7880,8758,
     9405)(7884,8763,8915)(7887,8767,9205)(7892,8772,9620)(7894,8774,8623)
     (7897,8778,9627)(7899,8780,8425)(7901,8350,9211)(7905,8786,8652)(7909,
     8791,9637)(7914,8795,9642)(7918,8797,9645)(7921,8800,9649)(7923,8803,
     9652)(7933,8794,9640)(7936,8816,9596)(7939,8818,9663)(7942,8672,9524)
     (7945,8826,9671)(7960,8841,7982)(7962,8842,9681)(7966,8845,9241)(7968,
     8847,9686)(7970,8848,9688)(7972,8849,9690)(7978,8854,9695)(7984,8859,
     9701)(7986,8861,9702)(7989,8865,9704)(7998,8872,9708)(7999,8873,9710)
     (8001,8146,9018)(8005,8877,9715)(8008,8881,9717)(8010,8883,9720)(8011,
     8357,8951)(8015,8888,9725)(8017,8890,8862)(8018,8891,8728)(8021,8893,
     9729)(8023,8894,9730)(8026,8897,9733)(8027,8898,9734)(8028,8899,9736)
     (8030,8901,9653)(8033,8905,9473)(8034,8906,9744)(8038,8910,9749)(8040,
     8912,9752)(8041,8913,9753)(8046,8918,9757)(8049,8921,9760)(8051,8625,
     9478)(8052,8923,8878)(8056,8929,9768)(8061,8935,9728)(8062,8936,9775)
     (8064,8938,9776)(8066,8940,9779)(8067,8941,8550)(8070,8286,9149)(8074,
     8945,9783)(8075,8946,9785)(8077,8948,9788)(8080,8950,9791)(8081,8747,
     9598)(8085,8955,9794)(8088,8957,9797)(8094,8965,9803)(8096,8967,9806)
     (8101,8973,9812)(8102,8974,9814)(8103,8975,9816)(8105,8977,9817)(8111,
     8983,9820)(8114,8435,9290)(8117,8989,9826)(8119,8991,9829)(8122,8994,
     9833)(8128,8997,9836)(8131,9002,9840)(8136,9008,9847)(8139,9011,8247)
     (8140,9012,9850)(8143,9015,9854)(8144,9016,9182)(8147,9019,9857)(8149,
     9021,9274)(8151,9022,9859)(8152,9023,9861)(8157,9027,9863)(8160,9031,
     9868)(8166,9038,9872)(8169,9042,8334)(8171,9044,9878)(8174,9048,8581)
     (8178,9053,9884)(8180,9055,9887)(8181,9056,9849)(8184,9060,9892)(8186,
     9062,8193)(8189,9065,9898)(8190,9066,8512)(8194,8367,9225)(8195,9035,
     9233)(8197,9072,9904)(8198,8464,9322)(8202,8353,9215)(8207,9078,9910)
     (8210,9081,9912)(8214,9087,9917)(8219,9094,9922)(8223,8712,9566)(8225,
     9096,9925)(8228,9100,9929)(8232,9104,9933)(8233,9105,9934)(8236,8493,
     9355)(8238,9109,9938)(8239,9110,9075)(8242,9113,9942)(8252,9120,9948)
     (8254,9122,9951)(8255,9123,9953)(8264,9129,9958)(8269,9133,9963)(8274,
     9138,9969)(8276,9140,9097)(8278,9142,9148)(8279,9061,9893)(8282,9145,
     9975)(8284,9147,9978)(8288,9150,9981)(8289,9151,9983)(8291,9153,9984)
     (8294,9156,9988)(8297,9159,9991)(8299,9161,9994)(8302,9165,9999)(8309,
     8588,9446)(8311,9171,10005)(8312,9172,9020)(8314,9173,10008)(8318,9177,
     10012)(8320,9180,10014)(8323,9184,10018)(8325,9186,10020)(8327,9188,
     10021)(8333,9194,10027)(8337,9198,10030)(8339,8571,9239)(8341,9201,10034)
     (8342,9202,10035)(8347,9207,10039)(8354,9216,10046)(8358,9218,10049)
     (8365,9224,10055)(8369,9226,10056)(8370,9227,9662)(8372,9230,10060)(8374,
     9231,10061)(8376,9232,8870)(8377,8515,9376)(8383,9237,10065)(8384,9238,
     10066)(8387,9240,10068)(8390,9244,10072)(8394,9249,9414)(8395,9250,10078)
     (8397,9252,10081)(8400,9255,10082)(8402,9258,10084)(8405,9259,9260)(8408,
     9264,8413)(8409,9265,10090)(8415,9270,10096)(8417,9272,10098)(8422,9276,
     9968)(8423,9277,10102)(8428,9282,10105)(8430,9285,10108)(8431,9286,10109)
     (8432,9287,8783)(8434,9289,10113)(8436,9291,10116)(8440,8827,9631)(8445,
     9300,10123)(8449,9304,10125)(8450,9305,9571)(8451,9306,10128)(8454,9310,
     9034)(8457,8467,8488)(8458,9314,10136)(8460,9317,8958)(8461,9318,10137)
     (8463,9321,10141)(8466,9324,10144)(8469,9327,10146)(8471,9329,10149)
     (8473,9331,10151)(8474,9332,10153)(8477,9335,10155)(8478,9336,10156)
     (8482,9342,10160)(8483,9343,10162)(8484,9344,10163)(8486,9347,10167)
     (8492,9354,10173)(8495,9357,10176)(8496,9358,9813)(8500,9360,10179)(8503,
     9363,10181)(8510,9372,9337)(8518,9380,10195)(8520,9383,10198)(8524,9386,
     10202)(8525,9292,10117)(8527,9388,10204)(8531,9350,10170)(8532,9393,
     10207)(8535,9396,9437)(8537,9398,10212)(8539,9400,10215)(8542,9402,9195)
     (8544,9404,9805)(8547,9407,10221)(8552,9409,10224)(8555,9412,10228)(8556,
     9413,10230)(8559,8589,9447)(8564,9419,9945)(8565,9420,10232)(8569,9426,
     10101)(8575,9432,10240)(8576,9433,10242)(8586,9443,10252)(8596,9452,
     10256)(8598,9455,10259)(8599,9456,10261)(8603,9460,8632)(8607,9463,10266)
     (8610,9466,10268)(8613,9470,10273)(8617,9166,10000)(8624,9477,10278)
     (8628,9375,10191)(8635,9487,10287)(8636,9488,10289)(8638,9490,10291)
     (8639,9491,10293)(8642,9494,10220)(8647,9498,10299)(8650,9502,10302)
     (8656,9509,10309)(8657,9510,10310)(8659,9511,9144)(8661,9513,9578)(8663,
     9516,10315)(8667,9519,8811)(8670,9254,8731)(8673,9525,10320)(8675,9527,
     10322)(8678,8962,9800)(8680,9531,10327)(8681,9532,10329)(8684,9535,10330)
     (8687,9540,10335)(8692,9098,9926)(8693,9545,10340)(8694,9546,10342)(8696,
     9547,10344)(8699,9551,10016)(8704,9556,10351)(8708,9561,10355)(8711,9565,
     10359)(8716,9570,8920)(8718,9573,9971)(8720,9530,10325)(8723,9577,8806)
     (8726,9580,10368)(8729,9583,10372)(8733,9586,10376)(8734,9587,10377)
     (8736,9590,9079)(8737,9319,10138)(8742,8833,9674)(8743,9595,10384)(8754,
     9605,10391)(8755,9606,10336)(8757,9608,10394)(8759,9609,10396)(8761,9611,
     10399)(8764,9614,10052)(8768,9615,10402)(8769,9616,10404)(8771,9618,
     10042)(8773,9621,10409)(8775,9623,10411)(8776,9624,10413)(8779,9503,
     10303)(8781,9628,10416)(8784,9629,10418)(8787,9632,10421)(8788,9633,
     10423)(8792,9638,10426)(8793,9639,8834)(8796,9643,10429)(8798,9646,10432)
     (8801,9650,10436)(8805,9654,9514)(8808,9656,10440)(8813,9658,10442)(8815,
     9660,10445)(8819,9664,10447)(8821,9666,10449)(8823,9668,9924)(8824,9669,
     10452)(8830,9672,10455)(8831,9673,10456)(8835,9675,10459)(8837,9677,
     10462)(8839,9679,8892)(8840,9680,10465)(8843,9682,10468)(8846,9684,10471)
     (8850,9691,10477)(8851,9692,10478)(8855,9696,10481)(8856,9697,10217)
     (8857,9698,10026)(8863,9703,10484)(8866,9705,10486)(8867,9706,10214)
     (8874,9711,10491)(8876,9713,10493)(8879,9716,10497)(8882,9718,10500)
     (8884,9721,9174)(8885,9722,10503)(8889,9726,10507)(8895,9731,10511)(8900,
     9737,10517)(8903,9740,10519)(8907,9745,10525)(8908,9746,10527)(8911,9750,
     10529)(8916,9755,10533)(8919,9758,10226)(8922,9761,10538)(8924,9763,
     10539)(8927,9765,10542)(8931,9769,10545)(8933,9771,10546)(8937,9162,9995)
     (8939,9777,10551)(8942,9780,9927)(8944,9782,10556)(8947,9786,10560)(8949,
     9789,9374)(8953,9793,10567)(8956,9795,10568)(8960,9106,9935)(8966,9804,
     10572)(8968,9807,10574)(8969,9808,10575)(8970,9809,10577)(8972,9811,
     10580)(8976,9723,10504)(8979,9818,9325)(8980,9323,10142)(8984,9821,9937)
     (8986,9823,10589)(8990,9827,9253)(8992,9830,9900)(8995,9834,10597)(8998,
     9837,10600)(9000,9838,10602)(9003,9841,10606)(9006,9844,10609)(9009,9848,
     10612)(9013,9851,10614)(9017,9500,10301)(9025,9862,10622)(9028,9864,
     10625)(9029,9865,10263)(9032,9869,10626)(9036,9870,9085)(9039,9873,10627)
     (9040,9874,10629)(9045,9879,10634)(9046,9280,10059)(9049,9882,10638)
     (9050,9883,9458)(9054,9885,10641)(9058,9889,10645)(9063,9895,10651)(9064,
     9896,10652)(9067,9899,10654)(9069,9901,10640)(9071,9903,10657)(9074,9906,
     10660)(9076,9907,10662)(9080,9911,10666)(9082,9576,10366)(9083,9913,
     10668)(9088,9766,10201)(9089,9918,10673)(9092,9919,10675)(9095,9923,
     10678)(9101,9930,10683)(9108,9936,10688)(9111,9940,10188)(9112,9126,9956)
     (9114,9943,10693)(9115,9944,10695)(9117,9946,10697)(9121,9949,10698)
     (9124,9954,10702)(9130,9959,10086)(9131,9960,10705)(9134,9964,10709)
     (9135,9965,9952)(9137,9967,10712)(9139,9970,10714)(9141,9972,10715)(9146,
     9976,10718)(9152,9724,10505)(9154,9985,10726)(9155,9986,10728)(9157,9989,
     10732)(9160,9992,10735)(9163,9996,10738)(9170,10004,10576)(9178,9370,
     10187)(9185,9955,10703)(9187,10007,10747)(9189,10022,10760)(9191,10024,
     9607)(9196,9694,10480)(9199,10031,10769)(9200,10032,10770)(9203,10036,
     10247)(9208,10040,10775)(9209,10041,10246)(9212,10044,10778)(9213,10045,
     10780)(9217,10047,10782)(9219,9635,9557)(9221,10051,10605)(9223,10053,
     10787)(9228,10057,10791)(9242,10069,10798)(9245,10073,10802)(9246,10074,
     10803)(9247,10075,10804)(9251,10079,10808)(9256,10083,9867)(9262,10087,
     10591)(9266,10091,10815)(9267,10092,10817)(9271,10097,10821)(9273,10099,
     10700)(9275,10100,10825)(9278,10103,10827)(9283,10106,10830)(9288,10111,
     10833)(9293,10118,10415)(9294,10119,10839)(9296,10120,10841)(9299,10122,
     10843)(9302,10124,10845)(9307,10129,10850)(9308,10130,10251)(9311,10133,
     10148)(9312,10134,10853)(9315,9397,10210)(9328,10147,10848)(9333,10154,
     10866)(9338,10157,10870)(9340,10159,10871)(9345,10164,9909)(9348,10168,
     10877)(9349,10169,10879)(9352,10171,10427)(9356,10175,10884)(9359,10013,
     10753)(9361,10180,10888)(9364,10182,10890)(9365,10183,10892)(9367,10184,
     10894)(9369,10186,10896)(9373,10190,10900)(9377,10192,10903)(9378,10193,
     10904)(9381,10196,10907)(9384,10199,10910)(9391,10206,10916)(9394,10208,
     10885)(9399,10213,10513)(9403,10218,10923)(9410,10225,10928)(9421,10233,
     10823)(9422,10234,10933)(9424,10236,10936)(9427,9876,10630)(9428,10237,
     10194)(9430,10239,10939)(9434,10243,10941)(9436,10245,9457)(9440,10248,
     9625)(9442,10250,10947)(9444,10253,10949)(9448,10255,10952)(9450,10257,
     10412)(9451,10258,10955)(9453,9871,9939)(9461,10264,10957)(9462,10265,
     10958)(9464,10267,10339)(9467,10269,10962)(9468,10270,10964)(9471,10274,
     10441)(9474,10275,10968)(9480,10279,10973)(9482,10281,10474)(9483,10282,
     10135)(9489,10290,10891)(9492,10294,10311)(9493,10295,10981)(9495,10297,
     10983)(9497,10298,9784)(9499,10300,10984)(9504,10304,10986)(9505,10305,
     10988)(9507,10307,10991)(9512,10312,10995)(9518,10316,10998)(9520,10318,
     11000)(9521,9567,9641)(9523,10319,10280)(9526,10321,11003)(9528,10323,
     10756)(9533,10308,10992)(9536,10331,11012)(9538,10333,10508)(9542,10337,
     10227)(9544,10338,11017)(9548,10345,11021)(9549,10346,11023)(9552,9839,
     10603)(9554,10348,11025)(9555,10349,10948)(9559,10353,9665)(9562,10356,
     11029)(9563,10357,11031)(9568,10361,11034)(9575,10365,11039)(9579,10367,
     11041)(9581,10369,11042)(9584,10373,11046)(9585,10374,11047)(9588,10378,
     11049)(9591,10380,11052)(9593,10382,11054)(9599,10386,11059)(9601,10387,
     11061)(9602,10388,9799)(9610,10397,11070)(9612,10400,10790)(9613,10401,
     11074)(9617,10405,11078)(9619,10407,11080)(9622,10410,11084)(9626,10414,
     11088)(9630,10419,10925)(9634,10424,11094)(9636,9915,10670)(9644,10430,
     10439)(9647,10433,11099)(9648,10434,11100)(9651,10009,10749)(9655,10438,
     11103)(9657,10143,10856)(9659,10443,11107)(9661,10385,11057)(9667,10358,
     9762)(9670,10453,11115)(9676,10460,11120)(9678,10463,11122)(9683,10469,
     9778)(9685,10472,11130)(9687,10473,9947)(9689,10475,11132)(9693,10479,
     11135)(9699,10216,10510)(9700,10483,11137)(9707,10487,11140)(9709,10489,
     11142)(9712,10492,11144)(9714,10494,11147)(9719,10501,9982)(9727,9824,
     9866)(9732,10512,11156)(9735,10514,9832)(9738,10461,10915)(9739,10518,
     11161)(9741,10520,11162)(9742,10521,11164)(9743,10522,11166)(9747,10528,
     11170)(9748,10398,11071)(9751,10530,11171)(9754,10531,11172)(9756,10534,
     11176)(9759,10535,11178)(9764,10540,10814)(9767,10543,10038)(9770,10115,
     10837)(9772,10547,11184)(9773,10548,10558)(9774,10549,11186)(9781,10554,
     11191)(9787,10561,11198)(9790,10563,10633)(9792,10565,11202)(9796,10569,
     10855)(9798,10375,11048)(9801,10571,10067)(9802,9825,9835)(9810,10578,
     10444)(9815,10582,11218)(9819,10585,11220)(9822,10587,11133)(9828,10592,
     10562)(9831,10595,11163)(9842,10607,11232)(9843,10608,11234)(9845,10610,
     11236)(9846,10611,11238)(9852,10615,11241)(9853,10292,10978)(9855,10617,
     10985)(9856,10618,11244)(9858,10620,11246)(9860,10601,11228)(9875,9950,
     10699)(9877,10631,11253)(9880,10635,11256)(9881,10636,11257)(9886,10642,
     11261)(9888,10643,11263)(9890,10646,11265)(9891,10647,11267)(9894,10650,
     11271)(9897,10653,11274)(9902,10656,11276)(9905,10659,11280)(9908,10663,
     11205)(9914,10669,11288)(9916,10671,11038)(9920,10676,11295)(9921,10677,
     11297)(9928,10681,11065)(9931,10684,11304)(9932,10685,11306)(9941,10691,
     11310)(9957,10704,10929)(9961,10706,11093)(9962,10707,11002)(9966,10710,
     10801)(9973,10604,11231)(9974,10716,11327)(9977,10719,11331)(9979,10721,
     11332)(9980,10722,11333)(9987,10729,11340)(9990,10733,11345)(9993,10736,
     11349)(9997,10739,11352)(9998,10740,11354)(10001,10742,11119)(10002,
     10743,11357)(10003,10744,10464)(10006,10515,11158)(10010,10750,11363)
     (10011,10751,11365)(10015,10754,11207)(10017,10755,11369)(10019,10737,
     11350)(10023,10761,11373)(10025,10763,11374)(10028,10765,11377)(10029,
     10766,11379)(10033,10094,10286)(10037,10773,11384)(10043,10777,11387)
     (10048,10783,11091)(10050,10785,11394)(10054,10788,11398)(10058,10488,
     11141)(10062,10792,11400)(10063,10793,11401)(10064,10794,11402)(10070,
     10506,11153)(10071,10799,11408)(10076,10805,11412)(10077,10806,11414)
     (10080,10809,11417)(10085,10812,11324)(10088,10813,11259)(10089,10093,
     10818)(10095,10819,11423)(10104,10828,11430)(10107,10613,11239)(10110,
     10832,11433)(10112,10834,10586)(10114,10836,11233)(10121,10842,11439)
     (10126,10847,11443)(10127,10628,11250)(10131,10363,11036)(10132,10852,
     11448)(10139,10661,11282)(10140,10854,10835)(10145,10858,11452)(10150,
     10862,11455)(10152,10864,10185)(10158,10370,11043)(10161,10283,10974)
     (10165,10874,11462)(10166,10875,11464)(10172,10881,11468)(10174,10883,
     10784)(10177,10831,11431)(10178,10886,11472)(10189,10898,11479)(10197,
     10908,11488)(10200,10911,11492)(10203,10912,11493)(10205,10914,11217)
     (10209,10655,10594)(10211,10238,10768)(10219,10924,11502)(10222,10926,
     11504)(10223,10927,11506)(10229,10930,11507)(10231,10931,11319)(10235,
     10934,11509)(10241,10420,10838)(10244,10942,11514)(10249,10945,11516)
     (10254,10950,11520)(10260,10956,11362)(10262,10767,11380)(10271,10965,
     11527)(10272,10966,11529)(10276,10969,10435)(10277,10970,11533)(10284,
     10975,11264)(10285,10976,10619)(10288,10393,11067)(10296,10982,11541)
     (10306,10989,11546)(10313,10687,10599)(10314,10996,11242)(10317,10999,
     10880)(10324,11006,11556)(10326,10392,11066)(10328,11009,11559)(10332,
     11013,11562)(10334,10727,11337)(10341,10437,11101)(10343,11019,11309)
     (10347,11024,10893)(10350,11026,11544)(10352,10667,11287)(10354,10371,
     11044)(10360,11032,11577)(10362,11035,10596)(10364,11037,11583)(10379,
     11050,11591)(10381,11053,11595)(10383,11055,11466)(10389,11063,11344)
     (10390,11064,11605)(10395,11068,11608)(10403,11076,10826)(10406,11079,
     11262)(10408,11081,11568)(10417,11089,11018)(10422,11092,11622)(10425,
     11095,10632)(10428,10960,11525)(10431,11098,11625)(10446,11109,10498)
     (10448,11110,11330)(10450,11112,11636)(10451,11113,11638)(10454,10711,
     11325)(10457,11116,10876)(10458,11117,11641)(10466,10789,10921)(10467,
     11124,11607)(10470,11127,11648)(10476,10490,11143)(10482,11136,11656)
     (10485,11138,11659)(10495,11148,11667)(10496,11149,11669)(10499,11150,
     11671)(10502,10723,11334)(10509,11154,11674)(10516,11159,11678)(10523,
     11167,11682)(10524,11168,11684)(10526,11169,11685)(10532,11173,11687)
     (10536,10954,10951)(10537,11179,11692)(10541,10820,11424)(10544,10822,
     11426)(10550,11187,11700)(10552,11189,11702)(10553,11190,11704)(10555,
     11192,11706)(10557,11194,11709)(10559,11195,11711)(10564,11200,11343)
     (10566,11203,11715)(10570,11206,11717)(10573,11209,11668)(10579,11214,
     11724)(10581,11216,11725)(10583,10745,11358)(10584,11219,11728)(10588,
     11221,11730)(10590,11222,11731)(10593,11224,11732)(10598,11226,11735)
     (10616,11033,11578)(10621,11247,11399)(10623,11248,10919)(10624,10639,
     10938)(10637,11258,11097)(10644,11208,11718)(10648,11268,11589)(10649,
     11269,11751)(10658,11278,11579)(10664,11284,11762)(10665,11285,11157)
     (10672,11291,11765)(10674,11293,10944)(10679,11298,11769)(10680,11299,
     11201)(10682,11301,11772)(10686,10692,10720)(10689,11307,11776)(10690,
     11308,11777)(10694,11312,11781)(10696,11313,11422)(10701,11316,10713)
     (10708,11322,11789)(10717,11328,11007)(10724,11335,11798)(10725,10889,
     11302)(10730,11341,11771)(10731,11342,11351)(10734,11346,11807)(10741,
     11355,11815)(10746,11359,11817)(10748,11361,11818)(10752,11366,11820)
     (10757,11370,11824)(10758,11371,11450)(10759,10851,11446)(10762,11008,
     11557)(10764,11375,11196)(10771,11382,10776)(10772,11383,11830)(10774,
     11385,11831)(10779,11389,11835)(10781,11391,11705)(10786,11395,11614)
     (10795,11403,11411)(10796,11404,11842)(10797,11405,11844)(10800,11409,
     11005)(10807,11415,11792)(10810,11418,11211)(10811,11419,11425)(10816,
     11421,11855)(10824,11427,10863)(10829,11272,11753)(10840,11436,11860)
     (10844,11440,11864)(10846,11442,11867)(10849,11444,11870)(10857,11435,
     11545)(10859,11434,11859)(10860,11453,11458)(10861,10899,11480)(10865,
     11456,11879)(10867,10935,11510)(10868,11457,11880)(10869,11051,11592)
     (10872,11460,11883)(10873,11461,11884)(10878,11465,11096)(10882,11469,
     11889)(10887,11473,11893)(10895,11475,11896)(10897,11477,11899)(10901,
     11482,11903)(10902,11483,11905)(10905,11485,11696)(10906,11348,11808)
     (10909,11489,11910)(10913,11494,11182)(10917,11497,11916)(10918,11266,
     11748)(10920,11498,11917)(10922,11499,11676)(10932,11508,11924)(10937,
     11511,11926)(10940,11512,11289)(10943,11515,11927)(10946,11517,11929)
     (10953,11522,11075)(10959,11524,11934)(10961,11526,11531)(10963,11275,
     11756)(10967,11530,11616)(10971,11378,11828)(10972,11534,11939)(10977,
     11536,11123)(10979,11538,11941)(10980,11303,11090)(10987,11543,11898)
     (10990,11547,11518)(10993,11549,11945)(10994,11550,11946)(10997,11552,
     11949)(11001,11177,11690)(11004,11554,11952)(11010,11210,11720)(11011,
     11560,11957)(11014,11072,11612)(11015,11563,11854)(11016,11564,11922)
     (11020,11040,11585)(11022,11290,11764)(11027,11571,11596)(11028,11572,
     11588)(11030,11574,11965)(11045,11561,11570)(11056,11598,11978)(11058,
     11600,11637)(11060,11602,11981)(11062,11604,11347)(11069,11609,11985)
     (11073,11613,11988)(11077,11615,11989)(11082,11617,11631)(11083,11618,
     11243)(11085,11620,11993)(11086,11569,11960)(11087,11621,11294)(11102,
     11628,11997)(11104,11629,11998)(11105,11230,11737)(11106,11630,12000)
     (11108,11632,12002)(11111,11635,12005)(11114,11639,12006)(11118,11642,
     12008)(11121,11644,12011)(11125,11329,11794)(11126,11647,11396)(11128,
     11649,12014)(11129,11650,12016)(11131,11652,11270)(11134,11654,12007)
     (11139,11660,12023)(11145,11663,12027)(11146,11664,12029)(11151,11672,
     11750)(11152,11673,12030)(11155,11675,12032)(11160,11679,12035)(11165,
     11680,12036)(11174,11688,12041)(11175,11689,12042)(11180,11693,12044)
     (11181,11694,11708)(11183,11695,11809)(11185,11697,12047)(11188,11367,
     11821)(11193,11707,12054)(11197,11712,12057)(11199,11713,12059)(11204,
     11716,12061)(11212,11721,12064)(11213,11722,12066)(11223,11254,11743)
     (11225,11733,12070)(11227,11496,11914)(11229,11736,11834)(11235,11245,
     11537)(11237,11565,11729)(11240,11528,11773)(11249,11739,11449)(11251,
     11740,11839)(11252,11741,12074)(11255,11627,11742)(11260,11746,12077)
     (11273,11754,11381)(11277,11757,11935)(11279,11758,12079)(11281,11760,
     11364)(11283,11761,11915)(11286,11763,11500)(11292,11766,11429)(11296,
     11626,11467)(11300,11770,11634)(11305,11774,12088)(11311,11779,12086)
     (11314,11782,11321)(11315,11783,12094)(11317,11785,11813)(11318,11786,
     11566)(11320,11787,11819)(11323,11790,11838)(11326,11791,12099)(11336,
     11799,11670)(11338,11801,12020)(11339,11802,11610)(11353,11812,12107)
     (11356,11816,12112)(11360,11651,12017)(11368,11822,12115)(11372,11825,
     12119)(11376,11474,11894)(11386,11832,12122)(11388,11505,11921)(11390,
     11775,12089)(11392,11836,12093)(11393,11640,11470)(11397,11837,11868)
     (11406,11845,12129)(11407,11846,12131)(11410,11848,12097)(11413,11850,
     11666)(11416,11851,12134)(11420,11853,11752)(11428,11857,11767)(11432,
     11548,11943)(11437,11861,12138)(11438,11862,12140)(11441,11865,11904)
     (11445,11871,12145)(11447,11873,12147)(11451,11662,12025)(11454,11877,
     11891)(11459,11881,12152)(11463,11886,12155)(11471,11890,12158)(11476,
     11897,12165)(11478,11900,12168)(11481,11902,12171)(11484,11906,12173)
     (11486,11908,12176)(11487,11909,12178)(11490,11841,12126)(11491,11911,
     12180)(11495,11913,12182)(11501,11918,11866)(11503,11920,12186)(11513,
     11768,11932)(11519,11930,12194)(11521,11931,12195)(11523,11933,12087)
     (11532,11937,12198)(11535,11940,12040)(11539,11749,11804)(11540,11803,
     12105)(11542,11942,11623)(11551,11947,12203)(11553,11950,12204)(11555,
     11953,12206)(11558,11723,12067)(11567,11959,12211)(11573,11963,12213)
     (11575,11966,12063)(11576,11967,12216)(11580,11968,12218)(11581,11969,
     12210)(11582,11970,12220)(11584,11971,12082)(11586,11972,11975)(11587,
     11973,12222)(11590,11974,12200)(11593,11976,12223)(11594,11977,12224)
     (11597,11887,12026)(11599,11759,12080)(11601,11979,12226)(11603,11982,
     12229)(11606,11984,12231)(11611,11986,12232)(11619,11992,12237)(11624,
     11995,12238)(11633,12003,11800)(11643,12009,12191)(11645,12012,11826)
     (11646,11683,11814)(11653,12018,11833)(11655,12019,11948)(11657,11797,
     12103)(11658,12021,12251)(11661,12024,12252)(11665,11795,12101)(11677,
     12033,12258)(11681,12037,12262)(11686,11726,11727)(11691,11962,11956)
     (11698,12048,12268)(11699,11847,12124)(11701,12050,12270)(11703,11912,
     12181)(11710,12056,12274)(11714,12060,12247)(11719,12062,12208)(11734,
     12071,12279)(11738,12073,11755)(11744,11745,12076)(11778,12091,12286)
     (11780,12092,11994)(11784,12095,12022)(11788,11907,12174)(11793,12100,
     12055)(11796,12102,12160)(11805,12106,12289)(11810,12108,11869)(11811,
     12109,12291)(11823,12116,12297)(11827,12120,12300)(11829,12121,12156)
     (11840,12125,12302)(11843,12128,12304)(11849,12132,12308)(11852,12135,
     12310)(11856,12136,12172)(11858,11885,12154)(11863,12141,12315)(11872,
     12146,12193)(11874,12148,12320)(11875,12149,12321)(11876,12150,12123)
     (11878,12118,12298)(11882,12153,12323)(11888,12069,12221)(11892,12159,
     12325)(11895,12162,12327)(11901,12169,12331)(11919,12185,12305)(11923,
     12188,12104)(11925,12189,12340)(11928,12192,12342)(11936,12196,12039)
     (11938,12199,12344)(11944,12201,12345)(11951,12205,12053)(11954,12207,
     12350)(11955,12072,12187)(11958,12209,12175)(11961,12212,12031)(11964,
     12214,12043)(11980,12227,12358)(11983,12230,12360)(11987,12233,12177)
     (11990,12235,12364)(11991,12236,12065)(11996,12239,12078)(11999,12241,
     12349)(12001,12242,12084)(12004,12243,12347)(12010,12245,12369)(12013,
     12157,12049)(12015,12249,12370)(12028,12254,12357)(12034,12259,12377)
     (12038,12255,12111)(12045,12264,12234)(12046,12265,12382)(12051,12271,
     12085)(12052,12272,12386)(12058,12275,12280)(12068,12114,12294)(12075,
     12281,12240)(12081,12282,12387)(12083,12283,12389)(12090,12285,12391)
     (12096,12287,12337)(12098,12127,12190)(12110,12292,12248)(12113,12293,
     12257)(12117,12250,12371)(12130,12306,12400)(12133,12184,12278)(12137,
     12312,12351)(12139,12314,12404)(12142,12316,12405)(12143,12317,12215)
     (12144,12318,12407)(12151,12319,12408)(12161,12326,12246)(12163,12328,
     12411)(12164,12329,12365)(12166,12202,12346)(12167,12330,12413)(12170,
     12332,12355)(12179,12336,12244)(12183,12338,12388)(12197,12343,12402)
     (12217,12352,12422)(12219,12353,12424)(12225,12356,12427)(12228,12359,
     12428)(12253,12372,12433)(12256,12374,12362)(12260,12378,12368)(12261,
     12379,12439)(12263,12381,12277)(12266,12380,12440)(12267,12383,12442)
     (12269,12385,12313)(12273,12367,12348)(12276,12288,12299)(12284,12390,
     12444)(12290,12384,12431)(12295,12394,12392)(12296,12395,12448)(12301,
     12333,12406)(12303,12397,12451)(12307,12401,12452)(12309,12403,12398)
     (12311,12366,12430)(12322,12409,12445)(12324,12410,12421)(12335,12416,
     12459)(12339,12418,12361)(12341,12419,12461)(12354,12425,12432)(12373,
     12434,12462)(12375,12435,12464)(12376,12436,12412)(12393,12446,12467)
     (12396,12449,12456)(12399,12429,12423)(12414,12458,12426)(12415,12447,
     12469)(12417,12460,12450)(12420,12453,12470)(12437,12465,12468)(12438,
     12466,12474)(12441,12463,12475)(12443,12454,12471)(12455,12457,12472)
     (12473,12477,12479)(12476,12478,12480);