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