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