bin1 := (5,13)(8,22)(9,23)(10,29)(14,40)(15,38)(17,49)(18,50)(19,56)(24,68)(25,
     72)(26,76)(28,67)(30,87)(31,85)(33,96)(34,97)(35,102)(37,108)(41,119)(42,
     123)(43,111)(44,130)(45,134)(46,138)(47,115)(48,116)(51,150)(52,154)(53,
     158)(55,149)(57,168)(58,167)(60,175)(61,176)(62,182)(63,186)(64,69)(65,
     192)(70,204)(71,208)(73,215)(74,190)(75,203)(77,205)(78,227)(79,195)(80,
     234)(81,235)(82,241)(83,199)(84,247)(88,259)(89,263)(90,250)(91,270)(92,
     274)(93,278)(94,254)(95,255)(98,288)(99,292)(100,296)(103,305)(104,303)
     (106,314)(107,315)(109,321)(110,117)(112,330)(113,131)(114,335)(118,124)
     (120,351)(121,354)(122,133)(125,366)(126,370)(127,374)(128,346)(129,365)
     (132,349)(135,375)(136,333)(137,382)(139,400)(140,398)(142,409)(143,413)
     (144,416)(145,420)(146,151)(147,425)(152,437)(153,441)(155,446)(156,423)
     (157,436)(159,456)(160,460)(161,428)(162,466)(163,467)(164,472)(165,306)
     (166,477)(169,485)(170,489)(171,479)(172,496)(173,499)(177,511)(178,514)
     (179,517)(181,510)(183,527)(184,526)(187,536)(188,539)(189,543)(191,214)
     (193,552)(194,207)(196,558)(197,559)(198,565)(201,571)(202,213)(206,515)
     (209,590)(210,225)(211,583)(212,591)(216,607)(217,610)(218,599)(219,616)
     (220,620)(221,624)(222,603)(223,228)(224,633)(226,589)(229,618)(230,646)
     (231,650)(232,631)(233,643)(236,660)(237,664)(238,668)(240,659)(242,678)
     (243,619)(244,444)(245,687)(246,691)(248,483)(249,257)(251,702)(252,271)
     (253,706)(256,712)(258,264)(260,723)(261,358)(262,715)(265,734)(266,435)
     (267,741)(268,718)(269,733)(272,751)(273,755)(275,759)(276,705)(277,581)
     (279,768)(280,767)(282,773)(283,777)(284,779)(285,783)(286,289)(287,788)
     (290,796)(291,800)(293,807)(294,786)(295,795)(297,748)(298,820)(299,790)
     (302,828)(307,842)(308,831)(309,845)(310,849)(311,852)(312,835)(313,836)
     (316,860)(317,863)(318,866)(320,872)(322,878)(323,880)(324,874)(325,887)
     (326,891)(327,895)(328,364)(329,347)(331,904)(332,896)(334,390)(336,916)
     (337,914)(339,924)(340,410)(341,928)(343,934)(344,888)(345,938)(348,944)
     (350,355)(352,642)(353,946)(356,962)(357,964)(359,950)(360,961)(361,459)
     (362,367)(363,977)(368,987)(369,990)(371,992)(372,975)(373,602)(376,1004)
     (377,898)(378,1010)(379,1014)(380,1018)(381,389)(383,747)(384,465)(385,
     1031)(386,960)(387,951)(388,1000)(391,1042)(392,1045)(393,414)(394,1051)
     (395,1054)(396,1040)(397,1059)(401,1070)(402,469)(403,1062)(404,1079)
     (405,1083)(407,939)(408,1066)(411,1094)(412,1098)(415,1093)(417,1109)
     (418,1114)(419,931)(421,813)(422,735)(424,445)(426,1131)(427,455)(429,
     1136)(430,1137)(431,1143)(433,1146)(434,438)(439,1159)(440,1162)(442,
     1149)(443,1158)(447,1179)(448,716)(449,698)(450,1187)(451,1191)(452,1195)
     (453,1175)(454,1199)(457,1206)(458,1194)(461,1217)(462,854)(463,1223)
     (464,947)(468,1231)(470,1057)(473,486)(474,1242)(475,1246)(476,1249)(478,
     1254)(480,1261)(481,497)(482,1265)(484,490)(487,1277)(488,1267)(491,998)
     (492,1291)(493,1294)(494,695)(495,1287)(498,1305)(500,1311)(501,1263)
     (502,1304)(503,1317)(506,1321)(507,512)(508,1327)(513,1339)(516,1325)
     (518,1349)(519,528)(520,1330)(521,636)(522,770)(523,1356)(524,1334)(525,
     1361)(529,1369)(530,1364)(531,1374)(532,1377)(533,1379)(534,771)(535,537)
     (538,1389)(540,1396)(541,1383)(542,1388)(544,726)(545,1406)(546,573)(547,
     580)(548,617)(549,976)(550,577)(551,1420)(553,1425)(554,774)(555,1428)
     (556,1431)(557,632)(560,1439)(561,1442)(562,1444)(564,1438)(566,1452)
     (567,676)(568,1457)(569,688)(572,1392)(574,1467)(575,1470)(576,1472)(578,
     604)(579,1477)(582,588)(584,1486)(585,1480)(586,1412)(587,1493)(592,1502)
     (593,1495)(594,1509)(595,1512)(596,1498)(597,897)(598,606)(600,1524)(601,
     1468)(605,1532)(608,640)(609,1540)(611,1544)(613,1551)(614,980)(615,900)
     (621,1564)(622,1414)(623,1557)(625,1573)(626,1576)(627,1475)(628,1583)
     (629,1587)(630,1590)(634,1416)(635,765)(637,867)(638,1603)(639,1484)(641,
     1611)(644,1360)(645,1609)(647,1623)(648,683)(649,1560)(651,1628)(652,
     1632)(653,1433)(654,1636)(655,1638)(656,661)(657,1643)(662,1653)(663,
     1656)(665,959)(666,1641)(667,1652)(669,1670)(670,1673)(671,1646)(673,
     1679)(674,1649)(675,1682)(677,682)(679,1690)(680,1348)(681,1685)(684,
     1622)(685,1375)(686,1699)(689,1703)(692,1710)(693,1302)(694,1706)(696,
     1717)(697,1177)(699,1712)(700,732)(701,719)(703,1731)(704,935)(707,1742)
     (708,1490)(710,1749)(713,1754)(714,721)(717,1178)(720,1768)(722,727)(724,
     1432)(725,1773)(728,1781)(729,1770)(730,1780)(731,1103)(736,1617)(737,
     927)(738,1796)(739,1125)(740,1791)(742,1804)(743,1689)(744,1726)(745,
     1568)(746,1813)(749,752)(750,1820)(753,1824)(754,1734)(756,1832)(757,
     1823)(758,892)(760,1842)(761,1838)(762,1849)(763,1851)(764,1527)(766,
     1856)(769,949)(775,798)(776,1871)(778,1876)(780,1019)(781,1882)(782,1342)
     (784,1890)(785,1894)(787,806)(789,816)(791,1902)(792,797)(793,1121)(794,
     805)(799,1869)(801,1920)(802,1904)(803,1914)(804,1714)(808,1934)(809,
     1937)(810,1928)(811,1941)(812,1945)(814,1930)(815,1426)(817,821)(818,
     1954)(819,1951)(822,1960)(823,1964)(824,1968)(825,1953)(826,1972)(829,
     1977)(830,838)(832,1984)(833,846)(834,1989)(837,1996)(839,843)(840,2000)
     (841,1247)(844,870)(847,2007)(848,2009)(850,1404)(851,1043)(855,2018)
     (856,2020)(857,2022)(858,861)(859,969)(862,1776)(864,1629)(865,2029)(868,
     1846)(869,1107)(871,2044)(873,876)(875,2047)(877,881)(879,2054)(882,1861)
     (883,2060)(884,2064)(885,1580)(886,2058)(889,1164)(890,1747)(893,936)
     (894,2071)(899,1522)(901,2086)(902,1909)(903,905)(906,2094)(907,1240)
     (908,911)(909,956)(910,2097)(912,1025)(913,2103)(917,2109)(918,923)(919,
     2113)(920,2117)(922,2107)(925,2123)(926,2127)(930,1110)(937,2075)(940,
     2116)(941,2146)(942,1011)(943,983)(945,2154)(948,1027)(952,1900)(953,
     1827)(954,1621)(955,2078)(957,2169)(958,963)(965,2183)(966,2171)(967,
     2179)(968,2190)(970,2193)(971,2196)(972,2176)(973,2202)(978,2210)(979,
     1048)(981,1523)(982,2216)(984,2222)(985,988)(989,2228)(991,1811)(993,
     2238)(995,2237)(996,2245)(997,2247)(999,1417)(1001,1005)(1002,1595)(1003,
     1046)(1006,2262)(1008,2253)(1009,2261)(1012,2272)(1013,2274)(1015,2281)
     (1016,2150)(1017,2271)(1020,1700)(1021,2219)(1022,2293)(1023,2296)(1024,
     2299)(1026,1041)(1028,1395)(1029,2304)(1030,2307)(1032,2309)(1033,2311)
     (1034,2312)(1036,2226)(1037,2320)(1038,2294)(1039,1207)(1044,2255)(1047,
     1737)(1049,2256)(1050,2332)(1052,2341)(1053,2344)(1055,1489)(1056,2099)
     (1058,2352)(1060,2355)(1061,1068)(1063,2358)(1064,1080)(1067,1675)(1069,
     1074)(1071,1295)(1072,2325)(1073,2366)(1075,1483)(1076,2215)(1077,1182)
     (1078,2379)(1081,1559)(1082,2243)(1084,2361)(1085,2386)(1086,2394)(1087,
     2398)(1088,2283)(1089,2402)(1090,1095)(1091,1792)(1092,1102)(1096,2410)
     (1097,2412)(1099,1988)(1100,2405)(1101,2409)(1104,1633)(1105,2331)(1106,
     2257)(1108,2421)(1111,1115)(1113,1616)(1116,2017)(1117,2431)(1118,1259)
     (1119,1262)(1120,2428)(1122,2436)(1123,1908)(1124,2439)(1126,1152)(1127,
     1188)(1128,2446)(1129,1154)(1130,1300)(1132,1203)(1133,1464)(1134,2454)
     (1135,2456)(1138,1818)(1139,1925)(1140,2385)(1142,2461)(1144,2469)(1147,
     2473)(1148,2475)(1150,1167)(1151,1790)(1153,2484)(1155,1176)(1156,2490)
     (1157,1166)(1160,2098)(1161,1440)(1163,1944)(1165,2069)(1168,1785)(1169,
     2030)(1170,1664)(1171,2500)(1172,1698)(1173,1687)(1174,1363)(1180,1620)
     (1181,1456)(1183,2516)(1184,2519)(1185,1354)(1186,1763)(1189,1963)(1190,
     2529)(1192,1912)(1193,2445)(1196,1759)(1197,2067)(1198,2208)(1200,1301)
     (1201,1204)(1202,2542)(1205,1210)(1208,2444)(1209,2544)(1211,2550)(1212,
     1543)(1213,2545)(1214,1413)(1215,1408)(1216,1218)(1219,2494)(1220,2562)
     (1221,2555)(1222,2558)(1224,1985)(1225,2568)(1226,2241)(1227,2214)(1228,
     1554)(1229,2574)(1230,2100)(1232,1482)(1233,1496)(1235,2576)(1237,1272)
     (1238,1243)(1239,1536)(1241,2583)(1244,2417)(1245,1602)(1248,1585)(1250,
     2601)(1251,2003)(1252,2598)(1253,2605)(1256,2157)(1257,2608)(1258,2592)
     (1260,1271)(1264,1310)(1266,1273)(1268,1716)(1269,1298)(1270,1626)(1274,
     1278)(1275,2582)(1276,2586)(1279,2634)(1280,2057)(1281,2640)(1282,1740)
     (1283,2633)(1284,2433)(1285,1288)(1286,2282)(1289,1547)(1290,1831)(1292,
     1465)(1293,2643)(1296,2656)(1297,2616)(1299,2390)(1303,1309)(1306,2669)
     (1307,2664)(1308,2540)(1312,2675)(1313,2677)(1314,2008)(1315,2681)(1316,
     1487)(1318,2687)(1322,2691)(1323,2292)(1324,1665)(1326,1345)(1328,2670)
     (1329,1347)(1331,2561)(1332,2701)(1333,2703)(1336,2707)(1337,1795)(1338,
     1344)(1340,1725)(1341,1880)(1343,2714)(1346,1601)(1350,1961)(1351,2345)
     (1352,2096)(1353,1857)(1355,1865)(1357,1841)(1358,2726)(1359,2729)(1362,
     2731)(1365,1511)(1366,1370)(1367,1758)(1368,2072)(1371,2623)(1372,2736)
     (1373,2742)(1376,2746)(1378,2748)(1380,1684)(1381,2749)(1384,2755)(1385,
     1390)(1386,2757)(1387,1394)(1391,2762)(1393,2765)(1397,2771)(1398,2239)
     (1399,2775)(1400,2156)(1401,2768)(1402,1774)(1403,1407)(1405,2781)(1409,
     2448)(1410,2782)(1411,2787)(1415,1563)(1418,2795)(1419,1793)(1421,2797)
     (1422,1424)(1423,2305)(1427,2741)(1429,1492)(1430,1983)(1434,2805)(1435,
     2808)(1436,2617)(1441,2814)(1445,2010)(1446,2823)(1447,2811)(1450,1672)
     (1451,2829)(1453,2832)(1454,2835)(1455,2485)(1459,1709)(1460,2581)(1463,
     2654)(1466,2465)(1469,2849)(1471,2852)(1473,2853)(1474,1571)(1478,2740)
     (1479,2860)(1481,1588)(1485,1499)(1488,2546)(1491,2662)(1494,1500)(1497,
     2522)(1501,1503)(1504,2885)(1505,2655)(1507,2715)(1508,2884)(1510,2892)
     (1513,2897)(1514,2899)(1515,2756)(1516,2381)(1518,1807)(1520,1534)(1521,
     2909)(1525,1755)(1526,2826)(1528,2145)(1529,2916)(1530,1584)(1535,2925)
     (1537,1541)(1538,2168)(1539,2926)(1542,2534)(1546,2059)(1548,2204)(1549,
     2932)(1550,2933)(1552,2940)(1553,2679)(1555,2367)(1556,1562)(1558,2300)
     (1561,2696)(1565,2790)(1567,2792)(1569,2954)(1570,2863)(1572,1577)(1574,
     1640)(1575,2956)(1578,2965)(1579,2968)(1581,2957)(1582,2964)(1586,2596)
     (1589,1976)(1591,2978)(1592,1634)(1593,1614)(1594,1958)(1596,2254)(1597,
     2051)(1598,2983)(1599,2539)(1600,2668)(1604,2110)(1605,2990)(1606,2435)
     (1608,2865)(1610,2927)(1612,2995)(1613,2120)(1615,1826)(1618,2869)(1619,
     2388)(1624,2349)(1625,2327)(1627,1769)(1630,2356)(1631,3011)(1635,1859)
     (1637,2404)(1639,2092)(1642,1661)(1644,3025)(1645,1668)(1650,1654)(1651,
     1660)(1655,1943)(1657,1952)(1658,3029)(1659,3034)(1662,2160)(1663,1863)
     (1666,3040)(1667,3043)(1669,1674)(1671,2317)(1676,3049)(1677,3051)(1678,
     3052)(1680,3057)(1681,2543)(1683,1719)(1686,1794)(1688,3061)(1691,3065)
     (1692,3007)(1693,2700)(1694,2619)(1695,3063)(1696,1809)(1697,2551)(1701,
     2952)(1702,2517)(1705,3074)(1707,2326)(1708,2585)(1711,3081)(1713,2902)
     (1715,3077)(1718,3086)(1720,3088)(1721,3090)(1722,3093)(1723,1762)(1724,
     2512)(1727,3096)(1728,2025)(1729,2276)(1730,1732)(1733,1821)(1735,1756)
     (1736,2920)(1738,3102)(1739,1850)(1743,2665)(1744,1872)(1745,2229)(1748,
     2848)(1750,3113)(1753,1817)(1757,2455)(1760,1771)(1761,3121)(1764,2124)
     (1765,1812)(1766,3128)(1767,1788)(1772,2803)(1775,1843)(1777,2780)(1778,
     2468)(1779,3133)(1782,3071)(1783,2737)(1784,2632)(1786,2407)(1787,3097)
     (1789,3142)(1797,3153)(1798,3155)(1799,3157)(1800,2784)(1801,2482)(1802,
     2126)(1803,1808)(1805,3161)(1806,3162)(1814,2050)(1815,2778)(1816,2084)
     (1819,1870)(1822,1825)(1828,2339)(1829,3175)(1830,2579)(1833,2234)(1834,
     1910)(1835,2080)(1836,3181)(1837,1840)(1839,3183)(1844,3189)(1845,2389)
     (1847,3186)(1848,2725)(1852,2463)(1853,2893)(1854,2854)(1855,2132)(1858,
     2804)(1860,2738)(1862,2173)(1866,1981)(1873,2048)(1874,1917)(1875,2967)
     (1877,3213)(1878,3210)(1879,2286)(1881,1883)(1884,3220)(1885,3221)(1886,
     3138)(1887,3062)(1888,3223)(1889,1891)(1893,3226)(1895,3224)(1896,2711)
     (1897,2392)(1898,1942)(1899,3165)(1901,1959)(1903,3235)(1905,1919)(1906,
     2289)(1907,1948)(1911,1931)(1913,1918)(1915,2794)(1916,2635)(1921,2870)
     (1922,2464)(1923,2629)(1924,2987)(1926,3103)(1927,1932)(1929,2338)(1933,
     1938)(1935,3260)(1936,2509)(1940,2565)(1946,3266)(1947,3231)(1949,2491)
     (1950,2828)(1955,3187)(1956,2122)(1957,3172)(1962,3276)(1966,2246)(1967,
     2499)(1969,3229)(1970,2164)(1971,3234)(1973,2137)(1974,2088)(1975,2895)
     (1978,2976)(1979,3285)(1980,2382)(1982,2910)(1986,3177)(1987,2779)(1990,
     3132)(1991,2624)(1993,3291)(1994,2015)(1995,3006)(1997,2515)(1998,2383)
     (1999,2938)(2001,2918)(2002,2991)(2004,2408)(2005,2717)(2006,2308)(2011,
     2698)(2012,3301)(2013,2032)(2014,2580)(2016,2557)(2019,2994)(2021,3308)
     (2023,2958)(2024,3197)(2026,2035)(2027,2068)(2028,2034)(2031,2783)(2033,
     2452)(2036,2479)(2037,3317)(2038,2476)(2039,2042)(2040,2862)(2041,2988)
     (2043,3179)(2045,3019)(2046,3320)(2049,2053)(2052,2478)(2055,3325)(2056,
     3328)(2061,3330)(2062,2578)(2063,3329)(2065,2554)(2066,2620)(2070,2074)
     (2073,2606)(2076,3337)(2077,3340)(2079,2095)(2081,2905)(2083,2260)(2085,
     2377)(2089,3345)(2090,3257)(2091,2985)(2101,3166)(2102,2949)(2104,3261)
     (2105,2114)(2108,3353)(2111,3239)(2112,2979)(2115,2718)(2118,2209)(2119,
     2166)(2121,2645)(2125,3366)(2128,3125)(2129,3365)(2131,3371)(2133,3204)
     (2134,3205)(2139,2907)(2140,2143)(2141,2735)(2142,2399)(2144,2950)(2147,
     2903)(2148,3084)(2149,2667)(2151,2280)(2152,2221)(2153,2720)(2155,2672)
     (2158,2825)(2159,3381)(2161,2174)(2163,2177)(2165,3280)(2167,2378)(2170,
     3388)(2172,2182)(2175,3158)(2178,2181)(2180,3152)(2184,2901)(2185,3395)
     (2187,3389)(2188,3332)(2189,2674)(2191,2569)(2194,2526)(2195,3406)(2197,
     2637)(2198,3322)(2199,3208)(2201,3137)(2203,3191)(2205,2223)(2206,2224)
     (2207,3411)(2211,3098)(2212,3360)(2213,3413)(2217,2710)(2218,2287)(2225,
     3173)(2227,2232)(2230,3240)(2231,2319)(2233,2727)(2235,2973)(2240,3421)
     (2242,2418)(2248,3425)(2249,3278)(2250,3424)(2251,3031)(2252,2259)(2258,
     3163)(2263,2827)(2264,2975)(2265,3004)(2266,2302)(2267,3432)(2268,2273)
     (2269,2373)(2270,2279)(2275,3104)(2277,3419)(2278,2591)(2284,2521)(2285,
     3136)(2288,2922)(2290,2599)(2291,3009)(2295,2813)(2298,2323)(2301,2948)
     (2303,2758)(2306,2898)(2310,3212)(2313,2915)(2314,2622)(2315,3382)(2316,
     3383)(2318,2492)(2321,3448)(2322,2728)(2324,2387)(2328,3046)(2329,2333)
     (2330,2861)(2334,2411)(2335,2422)(2336,3001)(2337,3454)(2340,2342)(2343,
     3455)(2346,3451)(2347,3341)(2348,2547)(2351,2575)(2353,2752)(2354,3459)
     (2357,2368)(2359,2969)(2360,2613)(2362,3460)(2365,2369)(2370,2371)(2372,
     2666)(2374,3194)(2375,3467)(2376,3468)(2380,2513)(2384,3170)(2391,2457)
     (2393,3198)(2395,3472)(2396,3271)(2400,3354)(2401,2451)(2403,2438)(2413,
     3416)(2414,3480)(2415,3018)(2416,3414)(2419,3180)(2420,3303)(2423,2450)
     (2424,3487)(2425,2947)(2426,2929)(2427,2429)(2430,2867)(2432,3489)(2434,
     3401)(2437,3490)(2440,3244)(2441,3143)(2442,3131)(2443,3146)(2447,2819)
     (2449,2507)(2453,2688)(2458,2567)(2459,2462)(2470,3509)(2471,3339)(2472,
     2474)(2477,3101)(2480,3242)(2481,3518)(2483,3147)(2486,2535)(2487,2786)
     (2488,2962)(2493,2966)(2495,2560)(2496,2631)(2498,3111)(2501,3403)(2502,
     3123)(2503,3423)(2504,3523)(2505,3524)(2506,3499)(2510,3089)(2511,3311)
     (2518,2745)(2523,3222)(2524,3532)(2525,2834)(2527,2531)(2528,2536)(2530,
     2953)(2532,3391)(2533,3498)(2537,2538)(2541,2584)(2548,2600)(2549,3140)
     (2552,2611)(2553,2559)(2556,3050)(2563,3289)(2564,3541)(2566,3304)(2570,
     2763)(2571,3399)(2572,3377)(2573,3078)(2577,3254)(2587,2900)(2588,3484)
     (2589,2590)(2593,3127)(2594,3550)(2595,2972)(2597,3417)(2602,3537)(2603,
     3349)(2604,3478)(2607,2610)(2612,3553)(2614,3045)(2615,2652)(2618,2682)
     (2621,2628)(2625,2644)(2626,2646)(2627,3027)(2630,3548)(2636,3269)(2638,
     3245)(2639,2796)(2641,3296)(2648,3567)(2649,3513)(2650,2684)(2653,2657)
     (2658,2761)(2659,2883)(2661,3297)(2663,3437)(2671,3562)(2673,3465)(2676,
     3048)(2678,3010)(2680,2955)(2683,3573)(2685,3556)(2686,3356)(2689,2980)
     (2690,2692)(2693,3367)(2694,2709)(2695,3412)(2697,3190)(2699,3032)(2702,
     3522)(2704,2776)(2705,2723)(2706,3054)(2708,2946)(2712,3445)(2713,3434)
     (2716,2891)(2719,3017)(2721,3230)(2722,3200)(2724,3557)(2730,2887)(2732,
     3543)(2733,3270)(2734,3500)(2739,2851)(2743,2815)(2744,3583)(2747,2770)
     (2751,2921)(2753,3355)(2754,3116)(2759,2769)(2760,3119)(2764,2812)(2766,
     2959)(2767,3211)(2772,3589)(2773,3044)(2774,3586)(2777,3237)(2788,3013)
     (2791,2984)(2793,3592)(2799,3564)(2800,3561)(2802,3299)(2806,2904)(2807,
     2982)(2809,3246)(2810,3390)(2816,3087)(2817,3596)(2818,3014)(2820,2824)
     (2822,3457)(2830,3570)(2831,2836)(2833,3193)(2837,3306)(2838,3598)(2839,
     3100)(2840,3576)(2841,3587)(2842,3501)(2843,3546)(2850,3315)(2855,3282)
     (2856,3038)(2857,2960)(2858,2971)(2859,3274)(2864,2874)(2866,3544)(2868,
     3475)(2872,2879)(2873,3176)(2875,3327)(2877,3228)(2878,2882)(2880,3495)
     (2881,2886)(2888,3273)(2889,3005)(2890,3265)(2896,3502)(2906,3431)(2911,
     2912)(2913,3215)(2914,3527)(2917,3294)(2919,3481)(2923,3348)(2928,3117)
     (2930,3037)(2931,2934)(2935,3319)(2936,3606)(2939,2941)(2942,3607)(2943,
     3535)(2944,3156)(2945,3233)(2951,3387)(2961,3313)(2963,3485)(2970,3199)
     (2974,3070)(2977,3287)(2986,3580)(2989,3549)(2992,3594)(2996,3428)(2997,
     3305)(2998,3410)(3002,3429)(3003,3026)(3008,3072)(3012,3574)(3015,3591)
     (3016,3441)(3020,3047)(3021,3597)(3022,3614)(3023,3024)(3028,3374)(3030,
     3036)(3033,3035)(3039,3525)(3041,3488)(3042,3536)(3053,3560)(3056,3617)
     (3058,3357)(3059,3149)(3060,3611)(3064,3066)(3067,3450)(3068,3281)(3069,
     3206)(3073,3436)(3075,3312)(3076,3079)(3080,3082)(3083,3232)(3085,3333)
     (3091,3526)(3092,3622)(3094,3579)(3099,3130)(3106,3379)(3107,3407)(3108,
     3263)(3112,3336)(3114,3575)(3115,3248)(3118,3283)(3120,3559)(3122,3565)
     (3124,3627)(3126,3370)(3129,3435)(3134,3298)(3139,3569)(3144,3581)(3145,
     3516)(3150,3464)(3151,3463)(3154,3486)(3159,3631)(3160,3633)(3164,3430)
     (3167,3169)(3168,3470)(3171,3444)(3174,3601)(3178,3214)(3182,3443)(3184,
     3602)(3185,3449)(3188,3249)(3192,3307)(3195,3563)(3196,3552)(3201,3290)
     (3202,3539)(3207,3408)(3209,3620)(3216,3368)(3217,3251)(3218,3462)(3219,
     3540)(3227,3342)(3236,3380)(3238,3243)(3241,3256)(3247,3624)(3250,3268)
     (3252,3350)(3253,3577)(3255,3343)(3262,3447)(3264,3400)(3272,3514)(3275,
     3277)(3279,3612)(3284,3286)(3292,3426)(3293,3616)(3295,3551)(3302,3314)
     (3309,3398)(3310,3638)(3316,3637)(3318,3528)(3321,3476)(3323,3409)(3324,
     3588)(3326,3505)(3331,3517)(3334,3396)(3346,3469)(3347,3636)(3351,3427)
     (3352,3359)(3358,3458)(3361,3415)(3362,3558)(3363,3496)(3364,3369)(3372,
     3446)(3373,3534)(3376,3531)(3378,3639)(3384,3521)(3385,3538)(3392,3595)
     (3393,3397)(3394,3625)(3404,3405)(3418,3610)(3433,3438)(3439,3440)(3442,
     3542)(3452,3609)(3453,3483)(3456,3578)(3461,3510)(3466,3590)(3473,3566)
     (3474,3623)(3477,3619)(3479,3482)(3492,3555)(3493,3494)(3506,3604)(3507,
     3568)(3515,3621)(3519,3630)(3520,3632)(3529,3530)(3533,3600)(3545,3613)
     (3571,3572)(3582,3584)(3585,3628)(3599,3608)(3615,3618);