b11 := (1,2,5)(3,8,11)(4,6,12)(7,16,17)(9,22,25)(10,20,26)(13,31,33)(14,34,35)
     (15,28,37)(18,42,43)(19,45,48)(21,50,51)(23,56,59)(24,54,60)(27,64,66)
     (29,68,70)(30,71,72)(32,75,77)(36,83,84)(38,88,89)(39,91,92)(40,94,96)
     (41,97,98)(44,104,105)(46,109,112)(47,107,113)(49,79,116)(52,120,121)(53,
     123,126)(55,128,129)(57,134,136)(58,132,137)(61,142,144)(62,145,146)(63,
     148,150)(65,153,155)(67,158,159)(69,162,164)(73,168,169)(74,171,173)(76,
     176,178)(78,181,183)(80,86,186)(81,187,188)(82,190,191)(85,196,197)(87,
     200,201)(90,207,208)(93,212,213)(95,216,218)(99,224,225)(100,227,229)
     (101,230,231)(102,233,235)(103,236,182)(106,242,245)(108,141,246)(110,
     251,254)(111,249,255)(114,260,262)(115,263,264)(117,147,267)(118,269,270)
     (119,272,273)(122,278,279)(124,284,287)(125,282,288)(127,157,291)(130,
     296,297)(131,299,302)(133,304,305)(135,308,310)(138,315,317)(139,318,319)
     (140,321,323)(143,326,328)(149,335,337)(151,339,341)(152,259,342)(154,
     345,347)(156,350,352)(160,357,358)(161,360,362)(163,364,366)(165,369,371)
     (166,372,373)(167,375,376)(170,381,382)(172,386,388)(174,391,393)(175,
     394,395)(177,398,399)(179,402,404)(180,405,406)(184,413,414)(185,416,418)
     (189,423,424)(192,430,431)(193,433,435)(194,436,437)(195,439,440)(198,
     446,447)(199,448,228)(202,452,453)(203,222,455)(204,456,457)(205,459,209)
     (206,461,370)(210,468,469)(211,471,472)(214,478,479)(215,481,483)(217,
     486,488)(219,490,492)(220,355,412)(221,494,495)(223,498,499)(226,505,506)
     (232,515,516)(234,520,522)(237,526,527)(238,529,531)(239,532,533)(240,
     535,537)(241,538,539)(243,544,547)(244,542,548)(247,553,554)(248,556,559)
     (250,561,562)(252,563,568)(253,565,569)(256,574,576)(257,577,578)(258,
     580,582)(261,586,588)(265,592,593)(266,595,552)(268,599,600)(271,606,607)
     (274,612,613)(275,615,616)(276,618,620)(277,621,622)(280,628,629)(281,
     630,633)(283,314,634)(285,639,642)(286,637,643)(289,648,650)(290,651,652)
     (292,407,564)(293,657,658)(294,660,551)(295,662,663)(298,667,668)(300,
     673,676)(301,671,677)(303,330,680)(306,685,686)(307,688,691)(309,693,694)
     (311,698,700)(312,701,702)(313,704,706)(316,709,711)(320,567,717)(322,
     720,722)(324,724,726)(325,647,727)(327,731,733)(329,736,738)(331,654,591)
     (332,741,742)(333,744,745)(334,747,748)(336,751,752)(338,755,757)(340,
     760,519)(343,763,765)(344,766,767)(346,771,772)(348,775,777)(349,778,779)
     (351,783,785)(353,788,789)(354,791,792)(356,794,795)(359,800,801)(361,
     803,805)(363,807,809)(365,812,813)(367,816,818)(368,819,385)(374,826,827)
     (377,831,832)(378,428,834)(379,835,836)(380,838,839)(383,845,846)(384,
     847,849)(387,853,855)(389,858,859)(390,421,821)(392,862,864)(396,868,870)
     (397,871,872)(400,878,880)(401,881,882)(403,886,888)(408,894,896)(409,
     426,824)(410,897,463)(411,899,901)(415,906,907)(417,910,912)(419,915,917)
     (420,918,919)(422,922,923)(425,929,930)(427,740,932)(429,935,936)(432,
     942,943)(434,460,947)(438,953,954)(441,960,961)(442,962,964)(443,965,966)
     (444,968,970)(445,971,972)(449,980,982)(450,983,984)(451,986,987)(454,
     993,994)(458,999,1000)(462,1007,1008)(464,1011,1012)(465,1014,511)(466,
     1016,1017)(467,619,1020)(470,1024,1025)(473,1031,1032)(474,1034,737)(475,
     1036,1037)(476,579,1039)(477,865,1040)(480,1045,1046)(482,1047,1049)(484,
     1052,1054)(485,914,1055)(487,1058,1059)(489,1062,1064)(491,1066,1068)
     (493,921,891)(496,1076,1077)(497,1079,1081)(500,1086,1087)(501,1089,1090)
     (502,1091,1092)(503,1094,1096)(504,1097,1098)(507,1104,1105)(508,1106,
     1108)(509,1109,1111)(510,902,1003)(512,1053,1113)(513,1115,1005)(514,
     1117,1118)(517,1123,1124)(518,948,1127)(521,1131,1133)(523,1135,1137)
     (524,997,1139)(525,1140,1141)(528,1146,1023)(530,1149,1151)(534,1157,
     1158)(536,1162,1164)(540,1170,1171)(541,1173,1176)(543,573,1177)(545,
     1182,1185)(546,1180,1186)(549,1191,1193)(550,1194,1195)(555,1203,1204)
     (557,1209,1212)(558,1207,1213)(560,590,1215)(566,1222,1223)(570,1227,
     1229)(571,1230,1231)(572,1233,1235)(575,1239,1241)(581,1248,1250)(583,
     1252,1253)(584,1255,1257)(585,1190,1258)(587,638,1263)(589,1265,1267)
     (594,707,1272)(596,1174,1276)(597,1201,602)(598,1278,1279)(601,1285,1286)
     (603,1288,1289)(604,1051,1274)(605,1291,1292)(608,1298,1299)(609,904,
     1199)(610,1300,1301)(611,1303,1304)(614,1309,1310)(617,1315,1316)(623,
     913,1324)(624,1326,1328)(625,1329,1330)(626,1331,1333)(627,1334,1335)
     (631,1342,1345)(632,1340,1346)(635,1351,1352)(636,1354,1357)(640,1363,
     1365)(641,1361,1366)(644,1371,1373)(645,1374,1375)(646,1377,1379)(649,
     1383,1385)(653,1390,1391)(655,1394,1395)(656,718,1397)(659,714,1402)(661,
     1404,1406)(664,1409,1410)(665,1411,1412)(666,1414,1130)(669,1418,1419)
     (670,1420,1423)(672,697,1424)(674,1429,1432)(675,1427,1433)(678,1438,
     1440)(679,1441,1442)(681,780,1445)(682,1447,1448)(683,790,1349)(684,1451,
     1452)(687,1456,1457)(689,1460,1463)(690,1168,1464)(692,713,1467)(695,
     1472,1473)(696,1475,1154)(699,1480,1482)(703,1486,1487)(705,1490,1492)
     (708,1437,1495)(710,1498,1500)(712,1503,1505)(715,1218,1508)(716,1509,
     1337)(719,1513,1515)(721,1518,1519)(723,1147,1246)(725,1525,1527)(728,
     1196,1531)(729,1532,1533)(730,1534,1535)(732,1538,1539)(734,1542,1543)
     (735,1544,1545)(739,1550,1551)(743,1556,1557)(746,1562,1563)(749,1567,
     1569)(750,787,1570)(753,1574,1576)(754,1577,759)(756,1580,1581)(758,1583,
     1178)(761,1585,1587)(762,1588,1579)(764,1590,1592)(768,1236,1021)(769,
     1597,1599)(770,1600,1083)(773,1606,1608)(774,988,1609)(776,1613,1615)
     (781,1619,1621)(782,1566,1622)(784,1607,823)(786,1627,1628)(793,1634,
     1635)(796,1639,1640)(797,1029,1522)(798,1642,1643)(799,1645,1646)(802,
     1651,1653)(804,1656,1657)(806,1660,1661)(808,1663,957)(810,1666,1668)
     (811,890,1669)(814,1674,1676)(815,1677,861)(817,1681,1683)(820,1686,1688)
     (822,1689,1143)(825,1693,1367)(828,1057,1699)(829,1197,1701)(830,1703,
     1704)(833,1710,1711)(837,1716,1717)(840,1721,1722)(841,958,1724)(842,
     1725,1726)(843,1728,949)(844,1730,1731)(848,1739,1741)(850,1744,1745)
     (851,1747,1749)(852,1750,1751)(854,946,1755)(856,1757,1759)(857,1760,
     1761)(860,1636,1766)(863,1769,1770)(866,1773,1680)(867,1692,1685)(869,
     1777,1779)(873,1785,1786)(874,1787,1789)(875,1790,1791)(876,1793,1795)
     (877,1796,1797)(879,1801,1803)(883,1809,1810)(884,1812,1813)(885,1665,
     1814)(887,1818,1820)(889,1823,1825)(892,1828,1829)(893,1831,1832)(895,
     1836,1838)(898,1843,1844)(900,1847,1849)(903,1852,1853)(905,1210,1855)
     (908,1861,1862)(909,1863,1865)(911,1867,1868)(916,1872,1874)(920,1877,
     1878)(924,1884,1885)(925,1886,1887)(926,1729,1888)(927,1889,1530)(928,
     1890,1061)(931,1893,1894)(933,1897,1898)(934,1899,1319)(937,1904,1905)
     (938,1907,1259)(939,1908,1909)(940,1911,1913)(941,1914,1915)(944,1134,
     1921)(945,1922,1287)(950,1928,1929)(951,1931,1719)(952,1933,1934)(955,
     1940,1469)(956,1714,1942)(959,1945,1946)(963,1952,1954)(967,1961,1962)
     (969,1966,1696)(973,1971,1972)(974,1973,1975)(975,1976,1977)(976,1979,
     1981)(977,1982,1983)(978,1984,1986)(979,1070,1987)(981,1989,1990)(985,
     1995,1996)(989,1084,2002)(990,2003,2004)(991,2005,1072)(992,2006,2007)
     (995,2013,2014)(996,1985,2015)(998,2018,2019)(1001,2024,2025)(1002,1712,
     2028)(1004,1443,1150)(1006,2031,1835)(1009,1027,1633)(1010,1095,2033)
     (1013,2036,2037)(1015,2041,1035)(1018,2045,2046)(1019,2048,2050)(1022,
     2051,2052)(1026,2058,1662)(1028,1459,2060)(1030,2063,2064)(1033,2070,
     2071)(1038,2078,2079)(1041,2083,2084)(1042,2086,2088)(1043,2089,2091)
     (1044,1804,2092)(1048,2098,2099)(1050,2101,2103)(1056,2108,2110)(1060,
     1103,2117)(1063,2119,2120)(1065,2122,2124)(1067,2126,2127)(1069,2130,
     1280)(1071,2132,2134)(1073,2136,2137)(1074,1145,1998)(1075,2139,2140)
     (1078,2146,2147)(1080,2150,1782)(1082,1993,2032)(1085,1612,2156)(1088,
     2160,2161)(1093,2168,1733)(1099,2176,2177)(1100,2179,2094)(1101,2180,
     2181)(1102,1183,2184)(1107,2191,1826)(1110,2195,2196)(1112,1586,2199)
     (1114,2201,2202)(1116,2205,2153)(1119,2210,2211)(1120,2212,2213)(1121,
     2215,2217)(1122,1968,2218)(1125,2222,2223)(1126,2224,2226)(1128,2228,
     2229)(1129,2231,2232)(1132,1529,2233)(1136,2237,2239)(1138,2053,2241)
     (1142,1320,1560)(1144,2247,1732)(1148,2250,2251)(1152,2254,2169)(1153,
     2242,2040)(1155,2256,2043)(1156,2257,2258)(1159,2263,2264)(1160,1548,
     2267)(1161,1842,2204)(1163,2271,2273)(1165,2275,2277)(1166,2034,2279)
     (1167,2280,1819)(1169,2282,2283)(1172,2289,1857)(1175,2291,2294)(1179,
     2299,2302)(1181,2304,2305)(1184,2307,2310)(1187,2315,2317)(1188,2318,
     2319)(1189,2320,2322)(1192,2262,1415)(1198,2332,2333)(1200,2335,2336)
     (1202,2133,2338)(1205,2343,2344)(1206,2345,2348)(1208,1226,2349)(1211,
     1792,2351)(1214,2354,2355)(1216,2359,2360)(1217,2361,2297)(1219,1880,
     2364)(1220,2366,1399)(1221,1243,2367)(1224,2372,2373)(1225,2375,2377)
     (1228,2379,2381)(1232,2384,2385)(1234,2167,2389)(1237,2391,2393)(1238,
     2353,2394)(1240,2397,2399)(1242,2401,2403)(1244,2357,2328)(1245,1564,
     2406)(1247,2408,2410)(1249,1358,1387)(1251,2415,2417)(1254,1489,2420)
     (1256,2423,2425)(1260,1630,2430)(1261,2431,2432)(1262,2434,2435)(1264,
     2437,2438)(1266,2442,2444)(1268,1339,2447)(1269,2449,2451)(1270,2452,
     2453)(1271,2454,2455)(1273,2458,2459)(1275,2460,2461)(1277,2465,2466)
     (1281,1322,2471)(1282,2472,2473)(1283,2474,1312)(1284,2476,2477)(1290,
     2238,2485)(1293,2488,2489)(1294,2047,2492)(1295,2493,2494)(1296,2496,
     2498)(1297,2499,1501)(1302,2135,2508)(1305,2512,2513)(1306,2515,2517)
     (1307,2518,2519)(1308,2520,2521)(1311,2527,2528)(1313,2529,2530)(1314,
     2531,2532)(1317,2538,2539)(1318,2540,2542)(1321,2545,2546)(1323,2548,
     2549)(1325,2552,2125)(1327,1698,2105)(1332,2558,2560)(1336,2563,2565)
     (1338,2567,2569)(1341,1370,2570)(1343,2575,2578)(1344,2573,2054)(1347,
     2582,2584)(1348,2585,2586)(1350,2358,2589)(1353,2594,2595)(1355,2599,
     2602)(1356,2597,2603)(1359,1477,2606)(1360,2608,2611)(1362,2613,2614)
     (1364,2615,2617)(1368,2620,2621)(1369,2623,2625)(1372,2628,2630)(1376,
     2636,1516)(1378,2638,2640)(1380,2641,2642)(1381,2644,1384)(1382,2581,
     2645)(1386,1632,2649)(1388,1697,2329)(1389,2323,2651)(1392,2655,1926)
     (1393,2657,2659)(1396,2662,2590)(1398,2107,2665)(1400,2666,2411)(1401,
     2668,2669)(1403,2672,2674)(1405,2676,2677)(1407,2680,2681)(1408,2682,
     2683)(1413,2198,2690)(1416,2693,2694)(1417,2695,2696)(1421,2704,2707)
     (1422,2702,2708)(1425,2710,2711)(1426,2245,2714)(1428,2715,2716)(1430,
     2720,1994)(1431,2718,2426)(1434,2723,2725)(1435,2726,2727)(1436,2729,
     1910)(1439,2732,1561)(1444,2738,2739)(1446,1811,2742)(1449,2746,2747)
     (1450,2748,2749)(1453,2752,2753)(1454,2755,2583)(1455,2757,2300)(1458,
     2760,2761)(1461,2764,2767)(1462,2248,2768)(1465,2773,2774)(1466,2775,
     2776)(1468,1546,1937)(1470,2780,2259)(1471,2782,2730)(1474,2786,2787)
     (1476,2790,1605)(1478,2793,2795)(1479,2772,2796)(1481,2799,2801)(1483,
     2163,2802)(1484,2777,2735)(1485,2803,2804)(1488,2808,2809)(1491,2813,
     2814)(1493,2816,2818)(1494,2819,2821)(1496,2587,1930)(1497,2102,2824)
     (1499,2827,2828)(1502,2830,2831)(1504,2834,2295)(1506,1718,2838)(1507,
     2839,2841)(1510,2844,2845)(1511,2382,2847)(1512,2321,2849)(1514,2851,
     2853)(1517,1549,2855)(1520,2860,2433)(1521,2861,1524)(1523,2863,2572)
     (1526,2868,2870)(1528,2577,2873)(1536,2881,2883)(1537,2884,2885)(1540,
     2889,2891)(1541,2892,2637)(1547,2854,2899)(1552,2904,2905)(1553,1708,
     2907)(1554,2096,2908)(1555,2910,2911)(1558,2914,2915)(1559,2916,2917)
     (1565,2923,2924)(1568,2926,2927)(1571,2930,2932)(1572,1616,1999)(1573,
     2934,2935)(1575,2938,2940)(1578,2942,2944)(1582,2948,2949)(1584,2890,
     2951)(1589,2957,2959)(1591,2961,2962)(1593,2634,2880)(1594,2000,2937)
     (1595,2966,2967)(1596,2969,2941)(1598,2972,2784)(1601,2975,2976)(1602,
     2977,1720)(1603,2009,2174)(1604,2978,2979)(1610,2984,2985)(1611,2987,
     2989)(1614,2770,2994)(1617,2929,2956)(1618,2999,3000)(1620,2524,3005)
     (1623,3008,3009)(1624,3010,3011)(1625,2016,3014)(1626,3015,3016)(1629,
     1775,3021)(1631,3024,3025)(1637,2281,2993)(1638,3033,3034)(1641,3037,
     1960)(1644,3041,3042)(1647,3046,1768)(1648,2081,3048)(1649,3049,2074)
     (1650,3051,3052)(1652,3055,3056)(1654,2502,3059)(1655,1764,3060)(1658,
     3063,3065)(1659,3066,1738)(1664,3070,3071)(1667,3072,2629)(1670,3076,
     2342)(1671,1805,3078)(1672,3079,2592)(1673,3081,1776)(1675,3084,3085)
     (1678,3088,1752)(1679,2526,3089)(1682,3093,3094)(1684,3097,3099)(1687,
     3102,3104)(1690,3109,3111)(1691,3112,3113)(1694,3116,3117)(1695,1883,
     3118)(1700,3120,3121)(1702,2155,3123)(1705,3126,3127)(1706,1902,2330)
     (1707,3128,3129)(1709,3130,3131)(1713,3137,2234)(1715,3140,3141)(1723,
     1912,3149)(1727,3153,3154)(1734,3160,3161)(1735,3163,1957)(1736,3165,
     3166)(1737,3167,3169)(1740,2612,2632)(1742,3173,2691)(1743,3174,3068)
     (1746,1765,3178)(1748,3181,3182)(1753,3189,2252)(1754,3190,3191)(1756,
     3192,3193)(1758,3197,1900)(1762,3202,1896)(1763,3057,3203)(1767,1821,
     3207)(1771,3213,2059)(1772,3039,3216)(1774,3218,3219)(1778,2030,3027)
     (1780,2253,3222)(1781,3223,2501)(1783,3225,3086)(1784,3227,2243)(1788,
     3230,3231)(1794,3238,3240)(1798,2128,3243)(1799,3245,3247)(1800,2829,
     3248)(1802,2576,3249)(1806,3074,3217)(1807,3187,3253)(1808,3095,3254)
     (1815,3175,3261)(1816,1892,3263)(1817,3264,3265)(1822,3270,3271)(1824,
     3274,3276)(1827,3280,3282)(1830,3069,3285)(1833,2276,3289)(1834,3290,
     3257)(1837,3293,3294)(1839,3297,3298)(1840,3299,3108)(1841,3301,3303)
     (1845,3307,3309)(1846,3106,3310)(1848,3313,3315)(1850,2216,3319)(1851,
     2955,3320)(1854,2049,3324)(1856,3327,3233)(1858,3329,3330)(1859,3332,
     2481)(1860,2326,2815)(1864,3338,3340)(1866,2470,3343)(1869,3209,3082)
     (1870,3346,3347)(1871,3349,3350)(1873,3352,3353)(1875,3355,3356)(1876,
     3357,3114)(1879,2313,3361)(1881,2981,3363)(1882,3364,2616)(1891,3291,
     3376)(1895,3300,3124)(1901,3122,3384)(1903,2609,3386)(1906,2390,3392)
     (1916,2898,2931)(1917,3406,3408)(1918,3409,3410)(1919,3412,3414)(1920,
     3415,3416)(1923,3064,3419)(1924,3420,3421)(1925,3422,3423)(1927,3424,
     3425)(1932,3428,3383)(1935,2635,3432)(1936,3433,3435)(1938,3437,3439)
     (1939,2865,2670)(1941,2537,3441)(1943,3443,3031)(1944,3444,2820)(1947,
     3446,2850)(1948,3447,3449)(1949,2100,3450)(1950,3452,3453)(1951,2363,
     3455)(1953,2042,2797)(1955,3458,3399)(1956,3442,3156)(1958,3462,2067)
     (1959,2023,3157)(1963,3470,2445)(1964,3371,3471)(1965,3151,3427)(1967,
     2143,3474)(1969,3475,3032)(1970,2939,3477)(1974,3479,3481)(1978,3486,
     3487)(1980,3491,3492)(1988,3497,3498)(1991,2012,3463)(1992,3503,2800)
     (1997,2554,3508)(2001,3513,3514)(2008,3521,3522)(2010,3524,3525)(2011,
     2309,2164)(2017,3221,3510)(2020,2208,3536)(2021,3537,2265)(2022,3539,
     2106)(2026,3212,3544)(2027,3302,3545)(2029,3547,2950)(2035,2346,3552)
     (2038,3553,3554)(2039,2862,3556)(2044,3561,3239)(2055,3179,3572)(2056,
     2894,3575)(2057,3251,3576)(2061,3158,3578)(2062,3579,2954)(2065,3584,
     3585)(2066,2857,2895)(2068,3587,3588)(2069,3589,2236)(2072,3593,3594)
     (2073,2559,3596)(2075,3597,3598)(2076,3599,3044)(2077,3170,3601)(2080,
     3365,3604)(2082,2503,3607)(2085,3610,3611)(2087,3613,2974)(2090,2203,
     2579)(2093,3620,3621)(2095,2864,3624)(2097,3625,3626)(2104,3013,3633)
     (2109,3138,2737)(2111,3348,3639)(2112,3640,3641)(2113,3642,3643)(2114,
     3645,3646)(2115,3647,3648)(2116,3650,3529)(2118,3652,3653)(2121,3658,
     3660)(2123,3662,3664)(2129,3670,3337)(2131,3673,3675)(2138,3680,3681)
     (2141,2479,3684)(2142,3685,3687)(2144,2963,3690)(2145,3691,3692)(2148,
     3696,3697)(2149,3698,3700)(2151,2544,3703)(2152,3375,3704)(2154,3706,
     3707)(2157,3710,3711)(2158,3712,3713)(2159,3714,2952)(2162,3717,2918)
     (2165,3720,3592)(2166,2311,3519)(2170,3516,2249)(2171,2990,3725)(2172,
     3726,2462)(2173,3518,2996)(2175,3728,3729)(2178,3732,3733)(2182,3738,
     3739)(2183,3740,3742)(2185,3744,3745)(2186,2758,3747)(2187,3748,3749)
     (2188,3750,3752)(2189,3753,2392)(2190,3730,3754)(2192,3229,3756)(2193,
     3634,3757)(2194,3758,3759)(2197,3763,3765)(2200,3769,3534)(2206,3532,
     3775)(2207,3776,2692)(2209,3778,3334)(2214,3782,2805)(2219,3788,3483)
     (2220,3464,3790)(2221,3791,3792)(2225,3152,3796)(2227,3798,3800)(2230,
     3574,3803)(2235,3809,3810)(2240,3429,3815)(2244,2487,3322)(2246,3540,
     3818)(2255,3825,3826)(2260,3830,2457)(2261,3831,2664)(2266,3459,3837)
     (2268,3198,2835)(2269,3456,3284)(2270,3768,3840)(2272,3842,3843)(2274,
     3845,3171)(2278,3770,3850)(2284,3853,3605)(2285,3855,3767)(2286,3856,
     3857)(2287,2734,2712)(2288,2686,3859)(2290,2525,3746)(2292,2314,3864)
     (2293,2510,3866)(2296,3870,3871)(2298,3873,3874)(2301,3875,3878)(2303,
     2327,3881)(2306,2378,3668)(2308,3362,3886)(2312,3888,3889)(2316,3894,
     3895)(2324,3868,3901)(2325,3903,2893)(2331,3908,3909)(2334,3912,3913)
     (2337,3760,3917)(2339,3920,3921)(2340,3922,3836)(2341,3924,3564)(2347,
     3928,3288)(2350,2483,3292)(2352,2869,3932)(2356,3937,3938)(2362,3861,
     3669)(2365,3945,3755)(2368,2439,2754)(2369,3947,3948)(2370,3950,2912)
     (2371,3952,3953)(2374,2792,3954)(2376,3494,3956)(2380,3694,3959)(2383,
     3883,3962)(2386,3964,2536)(2387,3965,3967)(2388,3211,3482)(2395,2402,
     3974)(2396,3393,3472)(2398,3978,3979)(2400,3981,3705)(2404,3986,3272)
     (2405,3987,3989)(2407,3990,2953)(2409,3991,3993)(2412,2446,3996)(2413,
     3997,2633)(2414,3998,2422)(2416,4000,4001)(2418,2876,4003)(2419,2826,
     4004)(2421,4006,2833)(2424,4008,3657)(2427,4012,3999)(2428,4013,4014)
     (2429,4016,4017)(2436,4022,2667)(2440,4023,2706)(2441,3994,4024)(2443,
     4027,4028)(2448,3595,2639)(2450,2456,4033)(2463,4040,2505)(2464,4041,
     4042)(2467,4047,4048)(2468,4049,4050)(2469,4052,4053)(2475,4057,2491)
     (2478,2562,4060)(2480,4062,3195)(2482,4065,4066)(2484,4068,3214)(2486,
     4070,4071)(2490,3656,4075)(2495,4078,4079)(2497,3806,3865)(2500,3535,
     3832)(2504,4084,4085)(2506,3550,3075)(2507,4087,4088)(2509,3073,3551)
     (2511,4092,4093)(2514,4097,3168)(2516,3333,4098)(2522,3890,4103)(2523,
     4104,2836)(2533,3515,2783)(2534,3485,4114)(2535,2973,4115)(2541,3466,
     3591)(2543,4089,4122)(2547,3799,4095)(2550,4129,4131)(2551,3666,3370)
     (2553,3961,3236)(2555,4136,4058)(2556,3603,4139)(2557,2713,3228)(2561,
     4055,4143)(2564,4144,3387)(2566,3743,4146)(2568,4149,4150)(2571,4152,
     3142)(2574,3819,4155)(2580,3569,4160)(2588,4163,4164)(2591,2842,4031)
     (2593,3719,4166)(2596,4169,3582)(2598,2619,4170)(2600,3396,3098)(2601,
     4171,4173)(2604,3976,4179)(2605,4180,4181)(2607,4184,4185)(2610,4187,
     4190)(2618,4195,3951)(2622,4199,4200)(2624,4203,4204)(2626,4205,4207)
     (2627,4177,4208)(2631,3053,4211)(2643,4217,3136)(2646,2874,3426)(2647,
     3568,4221)(2648,3204,4222)(2650,4224,3023)(2652,2875,3394)(2653,3972,
     4226)(2654,3501,4227)(2656,4230,4231)(2658,4233,4234)(2660,2843,2840)
     (2661,4236,4237)(2663,3943,2688)(2671,4242,4018)(2673,4005,4244)(2675,
     4245,3586)(2678,4247,3902)(2679,4165,3940)(2684,4253,4254)(2685,4255,
     4256)(2687,3563,4141)(2689,3631,3829)(2697,4064,4264)(2698,4265,4266)
     (2699,3833,3899)(2700,3862,4267)(2701,4269,4272)(2703,2722,3623)(2705,
     2745,4275)(2709,4276,4212)(2717,4278,4279)(2719,4280,4007)(2721,4282,
     3884)(2724,4287,4288)(2728,4074,4290)(2731,3844,4292)(2733,4110,4295)
     (2736,3808,4162)(2740,4299,4300)(2741,4301,3877)(2743,2810,2992)(2744,
     4303,3305)(2750,2902,3067)(2751,3308,4307)(2756,4309,4310)(2759,4311,
     3606)(2762,3036,4313)(2763,4314,4154)(2765,3326,4021)(2766,3741,4315)
     (2769,3176,4317)(2771,4319,3478)(2778,3275,4291)(2779,2986,4322)(2781,
     3460,4259)(2785,3405,4325)(2788,4327,4073)(2789,2960,4329)(2791,3734,
     3614)(2794,4331,4333)(2798,3820,4336)(2806,3812,4339)(2807,4340,4341)
     (2811,4036,4344)(2812,2837,4345)(2817,4346,3867)(2822,4145,4220)(2823,
     3723,3411)(2825,4284,4352)(2832,3863,4046)(2846,4363,4364)(2848,3982,
     3701)(2852,4368,3006)(2856,4372,4373)(2858,4374,4375)(2859,4376,2877)
     (2866,3002,4381)(2867,4157,4382)(2871,4385,4387)(2872,4388,4389)(2878,
     3029,4377)(2879,4393,4378)(2882,2919,4112)(2886,4397,3786)(2887,3146,
     2922)(2888,4400,4401)(2896,4370,3807)(2897,3026,3145)(2900,3430,4407)
     (2901,3183,3821)(2903,4409,4274)(2906,4349,4412)(2909,3654,3367)(2913,
     3918,4416)(2920,4117,4326)(2921,3957,4108)(2925,3689,4421)(2928,4151,
     4371)(2933,3017,3674)(2936,4427,4429)(2943,4045,4434)(2945,4436,4437)
     (2946,3020,4438)(2947,4439,3003)(2958,3785,4443)(2964,4306,4360)(2965,
     3438,4446)(2968,4447,3822)(2970,4448,4449)(2971,4450,4159)(2980,4425,
     3047)(2982,3655,3358)(2983,4455,4456)(2988,4457,4458)(2991,4460,4462)
     (2995,4464,4465)(2997,4158,4466)(2998,4467,3321)(3001,4470,3581)(3004,
     4472,3259)(3007,3682,4440)(3012,3548,4477)(3018,4435,4478)(3019,3030,
     4479)(3022,3841,4480)(3028,3286,4482)(3035,4485,3724)(3038,4488,4417)
     (3040,4192,4490)(3043,4260,4359)(3045,3206,4492)(3050,3533,3571)(3054,
     4500,4502)(3058,4504,4505)(3061,3200,4509)(3062,4510,3180)(3077,4175,
     4516)(3080,4248,4519)(3083,4523,4525)(3087,4508,4526)(3090,4503,4529)
     (3091,3119,4386)(3092,3278,4459)(3096,4533,3258)(3100,4535,3774)(3101,
     4537,3188)(3103,4538,4539)(3105,4318,3828)(3107,3898,3783)(3110,4542,
     4453)(3115,4138,4193)(3125,4189,4552)(3132,3404,4560)(3133,4109,4561)
     (3134,4563,3395)(3135,4565,3983)(3139,4566,4241)(3143,3431,4568)(3144,
     4569,3391)(3147,3417,3975)(3148,3354,4572)(3150,4575,4413)(3155,4582,
     4002)(3159,3210,4585)(3162,4587,4281)(3164,4588,3434)(3172,4238,4593)
     (3177,3558,4573)(3184,4305,4511)(3185,3186,4600)(3194,3377,4531)(3196,
     4506,4411)(3199,3678,4606)(3201,4507,4594)(3205,4335,4608)(3208,4610,
     4530)(3215,3323,3266)(3220,3695,4618)(3224,4621,4622)(3226,4623,3988)
     (3232,4626,4337)(3234,4628,4520)(3235,3852,3847)(3237,3925,4631)(3241,
     4517,4620)(3242,4494,4633)(3244,3882,3344)(3246,4498,4637)(3250,4113,
     4061)(3252,4641,4642)(3255,4605,3267)(3256,4609,4601)(3260,4647,4082)
     (3262,4649,3858)(3268,4294,4550)(3269,4643,4365)(3273,4077,4654)(3277,
     4656,4026)(3279,4257,4630)(3281,4452,4658)(3283,3854,3941)(3287,4661,
     4662)(3295,4343,3715)(3296,4430,4665)(3304,4669,4670)(3306,4090,3824)
     (3311,4672,4673)(3312,4674,4431)(3314,4558,4285)(3316,4332,4679)(3317,
     4357,4680)(3318,4681,4168)(3325,4029,4684)(3328,3761,4687)(3331,3805,
     4688)(3335,4690,4263)(3336,3467,4072)(3339,4694,3793)(3341,4391,4246)
     (3342,3366,3672)(3345,3939,4076)(3351,3632,4699)(3359,4702,3731)(3360,
     3413,4703)(3368,3502,4707)(3369,4491,3628)(3372,4010,3906)(3373,4708,
     4709)(3374,4549,4701)(3378,3702,4712)(3379,4298,4540)(3380,4713,4603)
     (3381,3469,4361)(3382,4715,4716)(3385,4216,4225)(3388,4719,4720)(3389,
     4721,4722)(3390,4723,4725)(3397,4727,4557)(3398,4728,4293)(3400,3907,
     4451)(3401,4729,4730)(3402,4556,4731)(3403,4116,4442)(3407,4733,4735)
     (3418,4740,4356)(3436,4133,4705)(3440,4403,4751)(3445,4250,4358)(3448,
     4570,4754)(3451,4481,3995)(3454,4134,4249)(3457,4758,4228)(3461,4648,
     4590)(3465,3517,4762)(3468,4316,4198)(3473,4744,4132)(3476,3773,4764)
     (3480,4765,4627)(3484,4768,4396)(3488,4328,4770)(3489,4748,3966)(3490,
     3722,3541)(3493,4586,4772)(3495,4711,3507)(3496,3771,4773)(3499,3971,
     4775)(3500,3651,4776)(3504,4777,4476)(3505,3683,4206)(3506,4422,3679)
     (3509,3915,4779)(3511,4780,4781)(3512,4782,4191)(3520,3923,4091)(3523,
     4785,4786)(3526,4788,3897)(3527,4789,3686)(3528,3638,4094)(3530,4790,
     4791)(3531,3795,3735)(3538,4750,4182)(3542,3787,4037)(3543,4798,3781)
     (3546,4800,3823)(3549,4567,4801)(3555,4576,4803)(3557,4484,4347)(3559,
     3848,4805)(3560,4793,4461)(3562,4659,4219)(3565,4664,4183)(3566,4807,
     4102)(3567,4809,3590)(3570,4289,4624)(3573,4811,4616)(3577,4320,4038)
     (3580,4589,4814)(3583,4817,4818)(3600,4822,4815)(3602,4700,4548)(3608,
     4414,4613)(3609,4825,4521)(3612,4302,4394)(3615,4406,4444)(3616,4615,
     4497)(3617,4496,4755)(3618,4545,4426)(3619,4828,4524)(3622,4824,4830)
     (3627,3816,4831)(3629,3933,4176)(3630,4493,3916)(3635,4118,4405)(3636,
     4262,3835)(3637,4833,4835)(3644,4123,3671)(3649,4188,4194)(3659,4841,
     4842)(3661,4579,4685)(3663,4845,4612)(3665,4847,4848)(3667,4522,3905)
     (3676,4483,4850)(3677,4851,4172)(3688,4756,4353)(3693,4692,4854)(3699,
     4081,4408)(3708,4051,3963)(3709,4581,4860)(3716,4404,4864)(3718,4865,
     4866)(3721,3985,4583)(3727,4869,4512)(3736,4528,4433)(3737,4808,4806)
     (3751,4873,4766)(3762,3992,4840)(3764,4874,4734)(3766,4876,4296)(3772,
     4367,4390)(3777,3789,4877)(3779,4797,4878)(3780,4032,4795)(3784,4794,
     4243)(3794,4883,4706)(3797,4884,4218)(3801,4683,4667)(3802,4886,4887)
     (3804,4555,4888)(3811,4578,4487)(3813,4839,3879)(3814,4604,4119)(3817,
     4812,4362)(3827,4111,4419)(3834,4893,4881)(3838,4894,4895)(3839,4896,
     4897)(3846,3927,4324)(3849,4787,4889)(3851,4592,4304)(3860,4900,4056)
     (3869,4726,4903)(3872,4905,4827)(3876,3887,4907)(3880,4351,4704)(3885,
     3896,4909)(3891,4639,4915)(3892,4611,4916)(3893,4354,4917)(3900,4350,
     4920)(3904,4657,4469)(3910,4913,4489)(3911,4924,4127)(3914,4925,4501)
     (3919,4384,4196)(3926,4927,4928)(3929,3931,4355)(3930,4908,4634)(3934,
     4714,4931)(3935,4932,4904)(3936,3969,4749)(3942,4574,4933)(3944,4532,
     4934)(3946,4020,4935)(3949,4655,4936)(3955,4135,4853)(3958,4571,4937)
     (3960,4514,4619)(3968,4745,3970)(3973,4186,4921)(3977,4379,4395)(3980,
     4792,4677)(3984,4321,4577)(4009,4942,4875)(4011,4286,4140)(4015,4943,
     4063)(4019,4944,4826)(4025,4486,4232)(4030,4629,4445)(4034,4142,4689)
     (4035,4743,4763)(4039,4741,4947)(4043,4911,4923)(4044,4101,4348)(4054,
     4872,4518)(4059,4130,4553)(4067,4420,4796)(4069,4428,4468)(4080,4099,
     4885)(4083,4392,4952)(4086,4710,4857)(4096,4891,4799)(4100,4832,4856)
     (4105,4810,4660)(4106,4383,4959)(4107,4718,4861)(4120,4760,4580)(4121,
     4922,4964)(4124,4859,4846)(4125,4965,4950)(4126,4940,4454)(4128,4949,
     4892)(4137,4966,4929)(4147,4767,4820)(4148,4962,4153)(4156,4197,4596)
     (4161,4614,4666)(4167,4868,4312)(4174,4972,4277)(4178,4974,4975)(4201,
     4863,4402)(4202,4463,4978)(4209,4418,4979)(4210,4980,4759)(4213,4981,
     4495)(4214,4223,4640)(4215,4513,4956)(4229,4902,4984)(4235,4985,4696)
     (4239,4251,4757)(4240,4901,4410)(4252,4273,4987)(4258,4988,4867)(4261,
     4899,4632)(4268,4559,4724)(4270,4992,4695)(4271,4663,4990)(4283,4698,
     4676)(4297,4668,4562)(4308,4919,4651)(4323,4635,4686)(4330,4338,4880)
     (4334,5000,4783)(4342,4914,4862)(4366,4432,4995)(4369,4598,4645)(4380,
     4941,4534)(4398,4671,4544)(4399,4963,4742)(4415,4475,4977)(4423,4938,
     4746)(4424,5002,5009)(4441,5012,5005)(4471,4954,4816)(4473,4838,5015)
     (4474,5007,4968)(4499,5018,4823)(4515,4849,4906)(4527,4644,4982)(4536,
     5010,5021)(4541,5022,4999)(4543,4998,4939)(4546,5023,4784)(4547,4564,
     5024)(4551,4602,4607)(4554,4717,4834)(4584,4739,4926)(4591,4802,4882)
     (4595,5028,5029)(4597,4946,4957)(4599,4986,4879)(4617,4989,4971)(4625,
     5016,5017)(4636,4961,4829)(4638,4958,4976)(4646,4871,4960)(4650,5031,
     4813)(4652,4991,4844)(4653,5001,5030)(4675,4996,4890)(4678,4769,4994)
     (4682,4819,4821)(4691,5026,5034)(4693,4732,5032)(4697,4993,4778)(4736,
     5020,4918)(4737,5004,4843)(4738,4753,4997)(4747,4752,5013)(4761,5019,
     4945)(4771,4774,4955)(4804,5036,4836)(4837,5011,4983)(4852,4948,5025)
     (4855,4967,5014)(4858,4953,5038)(4870,4898,5035)(4910,5006,5008)(4912,
     5039,5003)(4930,4951,5033)(4969,5027,5037)(4970,4973,5040);