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