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