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