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