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