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