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