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