b11 := (1,21)(2,720)(3,2111)(6,939)(7,924)(8,1866)(9,1949)(11,336)(12,2837)(13,
     1719)(14,708)(15,770)(16,2880)(18,1891)(20,2784)(22,463)(23,1279)(24,
     1308)(25,2608)(26,2470)(28,2119)(29,2034)(30,1213)(31,160)(33,1042)(34,
     2352)(35,2898)(37,2646)(38,2999)(39,2714)(40,2919)(42,960)(43,2860)(45,
     3147)(46,272)(47,2404)(48,927)(50,1523)(52,3497)(53,2231)(54,2234)(55,
     2239)(56,1986)(57,756)(58,2374)(60,466)(61,1924)(63,2623)(64,1670)(65,
     3051)(67,1596)(68,1708)(69,3200)(70,2648)(71,636)(72,2805)(74,1976)(75,
     2425)(76,1416)(77,3082)(78,1388)(79,155)(80,1285)(81,1351)(82,2671)(83,
     2052)(84,486)(85,3135)(86,2703)(87,2177)(88,353)(89,1144)(90,1900)(91,
     2241)(93,1097)(94,1803)(95,2264)(96,1753)(97,996)(98,947)(100,2449)(101,
     2876)(102,2358)(103,2610)(105,753)(106,2324)(107,2711)(108,672)(110,1103)
     (112,1953)(113,397)(114,2402)(115,1896)(117,2868)(118,361)(119,938)(120,
     304)(121,1657)(122,3188)(123,2081)(124,2115)(125,2091)(126,3005)(127,
     1524)(128,2313)(129,1687)(130,1105)(131,1426)(132,1207)(133,592)(134,
     3429)(135,228)(137,2494)(139,1620)(140,2662)(142,2445)(144,925)(145,3232)
     (146,156)(147,1165)(148,2022)(149,1208)(150,752)(151,1241)(152,1616)(153,
     3346)(154,2320)(157,1415)(158,1039)(159,3105)(161,2272)(162,3401)(163,
     1903)(164,3045)(165,1963)(166,918)(167,2597)(168,3118)(170,1074)(172,
     3092)(173,2645)(175,252)(176,1358)(177,1160)(178,1920)(179,1668)(180,669)
     (181,2484)(182,2954)(183,2731)(184,629)(186,505)(187,1046)(188,2130)(189,
     2690)(190,2062)(191,3361)(192,632)(194,999)(195,1315)(196,1027)(197,1587)
     (199,2540)(200,411)(201,616)(202,2480)(203,3495)(204,1651)(205,3008)(208,
     1361)(211,2504)(212,507)(213,841)(214,933)(217,1130)(218,1219)(220,3146)
     (221,2408)(223,2414)(224,1396)(225,357)(226,380)(227,2507)(229,2800)(230,
     3049)(231,599)(232,1085)(233,2263)(234,2451)(235,3015)(236,3283)(237,
     2337)(238,323)(239,2738)(240,317)(242,1865)(243,1875)(244,3068)(245,514)
     (246,1684)(247,3461)(249,2759)(251,1590)(253,1567)(254,316)(255,3263)
     (257,1535)(258,664)(259,1902)(260,1366)(264,645)(266,552)(268,935)(269,
     3421)(270,1740)(271,3178)(273,1643)(274,3368)(275,831)(276,2569)(277,
     1802)(278,2109)(280,3337)(281,1784)(282,2604)(283,3395)(284,2295)(285,
     2061)(286,811)(287,2369)(289,3509)(290,1427)(291,1246)(292,3123)(294,
     3189)(295,365)(297,926)(299,1278)(300,1852)(301,2058)(302,991)(303,1166)
     (305,1343)(306,2525)(307,1946)(308,728)(311,1890)(312,3156)(313,864)(314,
     2895)(318,2754)(319,1661)(321,1379)(322,1043)(324,2521)(325,694)(327,731)
     (328,2980)(329,3257)(330,989)(332,3106)(333,867)(334,830)(335,3013)(337,
     2982)(339,2427)(340,2390)(341,3153)(342,3009)(343,907)(345,931)(346,3402)
     (347,1732)(348,2090)(349,806)(350,3208)(351,2280)(352,389)(354,3384)(356,
     2984)(358,3357)(359,2166)(360,1836)(362,455)(363,1812)(364,598)(367,2219)
     (368,945)(369,1360)(371,2990)(373,3159)(374,1883)(375,1573)(377,2292)
     (378,2798)(379,3016)(381,2243)(382,2304)(385,1796)(387,1052)(388,1944)
     (390,3499)(392,767)(393,2774)(395,3437)(396,1667)(398,1437)(399,3116)
     (402,1572)(405,642)(406,2300)(407,1254)(408,2010)(409,516)(410,900)(412,
     3030)(413,701)(414,2791)(416,534)(418,2927)(419,2392)(420,1528)(421,2171)
     (422,1682)(425,3175)(428,1761)(429,2518)(430,2160)(431,1901)(433,2778)
     (434,1100)(435,1442)(436,2828)(437,3004)(438,1481)(441,1113)(442,981)
     (443,2719)(444,1927)(445,1844)(446,1926)(447,2526)(448,473)(449,3381)
     (451,1571)(452,2035)(454,3185)(456,3343)(457,2959)(458,797)(459,2827)
     (460,2354)(461,2830)(462,2139)(467,3460)(468,3408)(470,2987)(471,3438)
     (472,966)(474,698)(475,550)(476,1236)(477,1372)(478,737)(479,2037)(480,
     899)(481,2846)(484,887)(485,2348)(488,3104)(489,846)(491,1101)(492,3315)
     (495,1627)(497,586)(498,1754)(501,3211)(502,976)(503,1574)(506,2308)(508,
     1826)(509,1952)(510,1446)(511,824)(513,2380)(517,2306)(518,2533)(519,
     3083)(520,1413)(521,2870)(522,1913)(523,2835)(524,936)(525,2811)(526,
     1083)(527,768)(529,1111)(530,893)(531,1793)(532,1226)(535,2679)(536,2281)
     (537,3282)(538,3287)(539,578)(540,1112)(541,2650)(542,2733)(543,3058)
     (544,2842)(546,617)(547,2508)(548,3409)(549,2891)(551,1391)(553,3375)
     (554,2362)(555,1044)(556,2520)(557,1011)(559,1128)(560,2596)(561,1537)
     (562,1533)(564,718)(566,1814)(567,2866)(568,2505)(569,1264)(570,1205)
     (571,1769)(572,1490)(574,782)(575,858)(576,951)(577,1005)(581,685)(582,
     1554)(584,2096)(587,3099)(588,2405)(589,1648)(590,1454)(591,1079)(593,
     624)(594,1149)(595,2588)(596,1008)(600,2890)(601,1173)(602,3000)(603,726)
     (605,713)(606,1969)(607,1245)(608,1106)(609,1744)(610,1615)(611,1950)
     (613,2948)(614,2457)(615,1393)(619,775)(620,3047)(621,2775)(622,1197)
     (626,1581)(627,1981)(628,2476)(630,2031)(633,1267)(634,2742)(637,3100)
     (638,2048)(639,711)(640,825)(641,2410)(643,1499)(646,3124)(647,3314)(648,
     1848)(649,2339)(650,2479)(651,3251)(652,2343)(654,1486)(655,3022)(657,
     2422)(658,914)(659,2612)(660,2560)(662,1057)(663,3094)(665,3379)(666,
     2247)(667,2164)(668,2973)(671,1095)(673,1237)(676,1916)(677,2909)(679,
     3505)(680,1847)(681,1563)(682,2585)(684,2157)(686,955)(687,2761)(688,
     1855)(692,1282)(693,2174)(695,2572)(696,1610)(697,1763)(699,1227)(700,
     3213)(702,1817)(704,1378)(705,1932)(706,2531)(707,2769)(709,2843)(710,
     815)(712,1877)(714,1943)(715,1469)(716,3362)(717,2194)(721,2908)(722,
     1225)(723,1807)(725,2385)(727,1671)(730,2692)(732,3333)(735,1672)(736,
     1293)(739,2074)(740,842)(741,1666)(742,2401)(743,2574)(744,1951)(745,
     1747)(746,2928)(748,2676)(749,2325)(750,2722)(751,3169)(755,3373)(757,
     1709)(758,2509)(759,2684)(760,1570)(761,1402)(762,1172)(763,2167)(764,
     1451)(765,3468)(766,1117)(769,2101)(771,2492)(773,2397)(774,1340)(776,
     1881)(777,1660)(778,1947)(779,1255)(780,977)(786,2524)(787,3301)(788,829)
     (790,1541)(792,1564)(793,2478)(794,1915)(796,3162)(798,1942)(799,2128)
     (800,1957)(801,2515)(802,1457)(803,3424)(804,2001)(805,1047)(807,1453)
     (808,3199)(813,2271)(814,1181)(816,1762)(817,3417)(819,3256)(820,1465)
     (826,1059)(827,1107)(832,2864)(833,2806)(835,3359)(837,1386)(838,1713)
     (839,3202)(840,2483)(843,2435)(844,3145)(845,1467)(847,1425)(848,2752)
     (849,870)(850,2386)(851,2853)(852,2336)(853,1038)(854,1192)(855,2270)
     (856,2765)(857,2889)(859,1075)(860,3027)(861,1249)(863,3344)(865,3006)
     (866,1874)(868,1653)(872,972)(873,1585)(874,3293)(876,2985)(877,1179)
     (878,2611)(879,2340)(880,2781)(883,3186)(884,2469)(885,2450)(886,3155)
     (888,3446)(889,2260)(891,932)(894,1517)(895,2577)(896,1080)(898,3191)
     (901,1364)(902,1098)(903,967)(905,3152)(906,2301)(910,3295)(911,2133)
     (912,998)(913,3397)(915,2925)(916,1758)(917,3340)(919,3374)(920,3055)
     (921,2332)(922,2189)(923,3033)(928,2967)(929,1854)(930,3151)(934,3160)
     (937,2501)(940,1912)(941,1116)(942,3241)(943,3075)(946,2054)(948,2750)
     (949,1164)(950,2087)(952,1736)(953,1120)(956,1072)(958,2202)(961,2447)
     (962,2383)(963,2882)(964,2297)(965,1317)(969,2636)(970,2170)(971,2836)
     (974,1411)(980,3089)(983,3247)(984,1263)(986,1656)(987,2466)(990,2040)
     (992,2591)(993,2163)(995,1284)(1001,2082)(1002,3066)(1004,3096)(1006,
     2724)(1010,1261)(1013,2473)(1017,3296)(1018,3406)(1019,1743)(1022,2649)
     (1025,3119)(1026,1727)(1029,1725)(1030,2162)(1033,1353)(1034,2766)(1035,
     3020)(1036,2232)(1037,3491)(1040,3416)(1041,3294)(1045,3335)(1048,1365)
     (1050,1547)(1051,1304)(1053,1433)(1054,2179)(1055,3475)(1056,1276)(1058,
     1390)(1060,3480)(1061,3391)(1062,3310)(1064,1639)(1065,3496)(1066,1703)
     (1068,1318)(1069,2922)(1071,2799)(1073,1301)(1076,1473)(1077,3025)(1078,
     1470)(1081,2251)(1084,3163)(1088,3133)(1089,3367)(1090,3279)(1091,1820)
     (1092,1980)(1094,2872)(1096,2955)(1099,1777)(1104,2275)(1110,3158)(1118,
     1141)(1119,1863)(1122,1681)(1124,1194)(1125,3353)(1126,1705)(1127,2578)
     (1132,3485)(1133,3258)(1134,2319)(1136,2233)(1139,1858)(1143,1510)(1145,
     1339)(1147,2926)(1148,2945)(1150,1222)(1151,3349)(1152,1647)(1153,1634)
     (1154,3369)(1158,3440)(1159,2804)(1162,1488)(1163,2946)(1167,3130)(1168,
     3267)(1169,2511)(1170,2913)(1171,1474)(1175,1238)(1177,1831)(1178,2137)
     (1180,1700)(1182,2629)(1183,3017)(1184,2205)(1185,1663)(1186,2583)(1187,
     2958)(1189,1674)(1190,1367)(1195,1779)(1196,1598)(1198,3253)(1199,1745)
     (1201,2351)(1206,2555)(1209,2409)(1210,3072)(1211,1575)(1212,1676)(1214,
     2310)(1215,1291)(1216,1711)(1217,1298)(1218,2181)(1221,3320)(1223,2817)
     (1224,2512)(1229,3456)(1230,2433)(1231,1914)(1233,2129)(1234,1506)(1235,
     1459)(1239,2226)(1240,2607)(1242,1414)(1243,1558)(1244,2988)(1247,1631)
     (1248,3136)(1251,3143)(1252,3177)(1253,3430)(1256,3360)(1257,1860)(1258,
     2709)(1259,3249)(1260,1904)(1262,2063)(1265,1280)(1266,2563)(1269,1299)
     (1270,2482)(1271,1815)(1272,2622)(1274,2517)(1275,2253)(1277,1565)(1283,
     2394)(1286,2227)(1287,2198)(1288,1936)(1289,1354)(1292,1983)(1294,2311)
     (1295,2715)(1296,2071)(1297,2086)(1300,2834)(1307,2600)(1310,2120)(1312,
     2579)(1316,1923)(1319,1444)(1320,2207)(1321,2883)(1322,2453)(1323,2852)
     (1324,2792)(1325,1873)(1326,1403)(1327,2666)(1328,3207)(1330,2279)(1332,
     2303)(1333,2007)(1334,3418)(1335,1561)(1336,1551)(1341,1602)(1342,2213)
     (1344,3244)(1345,2808)(1346,1521)(1349,1536)(1352,2552)(1355,3396)(1357,
     2704)(1359,3386)(1362,2658)(1363,2080)(1368,2656)(1369,1604)(1370,2803)
     (1371,1871)(1374,1617)(1375,2144)(1380,1606)(1381,2637)(1382,1448)(1383,
     1838)(1384,2443)(1385,2047)(1387,3285)(1392,2142)(1395,2417)(1398,2199)
     (1399,1765)(1400,1889)(1401,1619)(1407,2465)(1408,1861)(1409,3266)(1410,
     1527)(1412,2619)(1417,1543)(1421,2869)(1422,2190)(1424,2942)(1428,2593)
     (1429,2277)(1431,3109)(1432,2187)(1434,3018)(1435,3448)(1436,2727)(1439,
     1771)(1440,3138)(1441,1988)(1443,2735)(1445,2415)(1449,2041)(1452,2102)
     (1456,3382)(1462,1929)(1463,2302)(1464,2211)(1466,2488)(1468,2767)(1475,
     2218)(1476,3265)(1477,1645)(1478,3084)(1483,3240)(1484,2089)(1485,2995)
     (1489,2316)(1491,3366)(1492,3510)(1495,2097)(1496,1605)(1498,3388)(1500,
     1845)(1501,2491)(1502,3215)(1505,2557)(1507,3383)(1509,1766)(1511,2736)
     (1512,3034)(1513,3093)(1514,2248)(1516,3303)(1518,2663)(1519,1735)(1522,
     1878)(1525,1774)(1526,1589)(1530,2269)(1531,2209)(1538,2161)(1539,2357)
     (1542,2236)(1544,2570)(1549,1597)(1550,3254)(1552,3308)(1553,2841)(1555,
     2823)(1556,2400)(1557,3291)(1559,2641)(1562,2701)(1566,2554)(1568,3486)
     (1576,1837)(1578,2598)(1579,1690)(1580,1760)(1582,2514)(1584,2910)(1586,
     2944)(1588,3122)(1592,2888)(1593,3102)(1594,2737)(1595,2335)(1599,3113)
     (1600,2764)(1601,3392)(1603,2936)(1607,1834)(1608,2498)(1609,2257)(1611,
     1618)(1614,1628)(1621,2516)(1622,2983)(1624,3444)(1625,1978)(1626,2222)
     (1629,3276)(1632,2028)(1633,3056)(1635,3398)(1636,2695)(1637,2025)(1640,
     2149)(1641,2874)(1642,2974)(1644,3074)(1646,3239)(1649,3194)(1652,1842)
     (1658,1968)(1659,2790)(1662,3212)(1664,2293)(1665,2367)(1669,1738)(1673,
     2802)(1675,1731)(1679,2503)(1680,2599)(1683,2881)(1685,1870)(1686,2783)
     (1688,3452)(1689,3470)(1691,3325)(1692,2584)(1693,2749)(1694,2244)(1695,
     2148)(1696,3432)(1697,1718)(1698,2920)(1701,2004)(1702,2201)(1704,2472)
     (1706,3248)(1710,3176)(1712,2553)(1714,3038)(1716,3457)(1717,3447)(1721,
     1791)(1723,2861)(1726,2716)(1728,1850)(1729,1884)(1730,1998)(1733,3426)
     (1734,3054)(1742,2977)(1746,2814)(1748,2059)(1757,2706)(1759,2839)(1764,
     2718)(1767,2700)(1770,2849)(1772,1899)(1773,2729)(1775,1893)(1776,3140)
     (1778,2432)(1781,2867)(1783,2107)(1786,3316)(1789,2772)(1790,3479)(1794,
     2406)(1795,3003)(1797,2875)(1798,3037)(1799,1835)(1800,2522)(1801,2652)
     (1804,1999)(1805,2551)(1806,3001)(1810,1971)(1811,2002)(1813,2191)(1816,
     1972)(1819,3281)(1825,2538)(1827,3134)(1829,1909)(1830,3149)(1832,3477)
     (1833,2381)(1841,2654)(1846,2510)(1849,3472)(1851,2844)(1856,1977)(1859,
     2609)(1862,2697)(1864,2382)(1868,2237)(1869,2017)(1872,1945)(1879,2672)
     (1880,2321)(1882,2605)(1887,2122)(1888,2741)(1894,2573)(1897,2430)(1898,
     3378)(1905,3419)(1906,2278)(1910,2475)(1917,2126)(1918,2021)(1919,2762)
     (1922,1973)(1925,3214)(1928,3493)(1930,2657)(1931,2143)(1934,3197)(1935,
     2426)(1937,2893)(1939,2458)(1940,2463)(1955,3270)(1956,2630)(1958,3081)
     (1959,2739)(1962,2438)(1966,2723)(1970,2256)(1974,2428)(1984,3413)(1985,
     2970)(1989,2906)(1992,3298)(1996,3443)(1997,2196)(2000,2274)(2003,2713)
     (2005,2638)(2009,2334)(2011,2391)(2012,2490)(2013,2961)(2015,2725)(2016,
     2184)(2018,2100)(2019,2326)(2020,3345)(2023,3196)(2026,3330)(2027,2905)
     (2029,3198)(2030,2240)(2036,2462)(2044,2125)(2045,3218)(2046,2379)(2049,
     2327)(2053,3205)(2055,3131)(2056,2885)(2060,2620)(2064,3272)(2068,2176)
     (2070,2323)(2072,2094)(2073,2810)(2076,2364)(2077,3216)(2079,3121)(2083,
     3433)(2084,2262)(2088,2710)(2093,2389)(2098,2904)(2099,3026)(2104,2350)
     (2105,2407)(2114,2188)(2117,3299)(2118,2224)(2121,3365)(2123,2544)(2127,
     2934)(2135,2699)(2136,3060)(2141,2153)(2150,2255)(2152,3451)(2156,3403)
     (2159,3184)(2165,2740)(2172,2468)(2175,2628)(2180,2545)(2182,3063)(2183,
     3300)(2185,2283)(2193,2664)(2195,2668)(2200,2559)(2203,2230)(2216,3427)
     (2220,2686)(2228,3114)(2229,2496)(2235,3439)(2238,2655)(2249,3394)(2250,
     2567)(2254,3449)(2259,2644)(2265,2549)(2267,2794)(2268,2298)(2276,2833)
     (2282,3023)(2284,3229)(2285,3428)(2286,2952)(2287,2305)(2290,3090)(2294,
     2536)(2296,2770)(2309,2454)(2312,3321)(2314,2780)(2315,3193)(2317,2436)
     (2328,3393)(2329,3322)(2330,3434)(2331,3245)(2333,3482)(2338,2616)(2341,
     2930)(2344,3387)(2347,3484)(2349,3046)(2353,2917)(2359,3503)(2360,3284)
     (2363,3370)(2366,2816)(2368,3076)(2370,2399)(2372,2971)(2373,3312)(2375,
     3469)(2378,3117)(2384,2395)(2387,3348)(2393,3091)(2396,3024)(2403,2670)
     (2412,2499)(2416,3168)(2419,3044)(2420,2979)(2424,2771)(2429,2865)(2434,
     2857)(2437,3069)(2440,3302)(2441,2998)(2448,3488)(2452,2915)(2456,2812)
     (2459,3062)(2460,2495)(2461,2950)(2486,2991)(2487,3204)(2497,2923)(2502,
     3195)(2506,3217)(2519,3233)(2534,3304)(2537,3238)(2539,3210)(2546,2643)
     (2547,2702)(2548,2859)(2556,3473)(2561,2730)(2562,2993)(2566,2571)(2575,
     2901)(2576,3061)(2580,3355)(2589,3120)(2594,3165)(2595,3010)(2602,2748)
     (2613,3390)(2614,3274)(2617,2757)(2618,3221)(2627,3071)(2634,2840)(2635,
     2758)(2647,3465)(2659,2877)(2660,2914)(2665,3377)(2674,3148)(2675,3292)
     (2677,3414)(2678,2981)(2681,3203)(2685,2747)(2691,2815)(2693,2918)(2694,
     3354)(2698,3467)(2705,3040)(2707,2744)(2712,3201)(2717,3474)(2732,2953)
     (2734,3262)(2743,3464)(2746,3164)(2755,2845)(2763,3041)(2776,3462)(2782,
     3079)(2786,3053)(2787,3501)(2789,2820)(2793,3141)(2796,3261)(2801,3471)
     (2809,3236)(2813,3050)(2822,2968)(2825,2902)(2832,3415)(2838,3411)(2848,
     2996)(2855,3425)(2856,3352)(2858,3052)(2862,3380)(2878,3339)(2894,3350)
     (2896,3336)(2900,3407)(2907,3107)(2911,3181)(2916,3405)(2921,3225)(2932,
     2949)(2935,2976)(2938,3007)(2939,3110)(2947,3459)(2956,2966)(2957,3363)
     (2960,3129)(2962,3494)(2964,3275)(2969,3032)(2975,3420)(2978,3450)(2997,
     3243)(3002,3098)(3011,3372)(3014,3080)(3019,3097)(3021,3139)(3029,3192)
     (3031,3311)(3059,3179)(3064,3498)(3065,3095)(3073,3101)(3077,3323)(3085,
     3328)(3108,3347)(3115,3305)(3125,3182)(3126,3431)(3142,3319)(3144,3278)
     (3166,3280)(3167,3273)(3171,3307)(3187,3342)(3222,3506)(3223,3334)(3224,
     3478)(3226,3453)(3259,3466)(3264,3271)(3269,3356)(3313,3400)(3317,3410)
     (3385,3422)(3458,3489);