[ [ 341, 743, 1378, 1708, 2122, 2354, 2404, 3482, 3537, 3790 ], 
  [ 2, 3, 4, 5, 6, 9, 11, 19, 29, 41, 55, 71, 89, 109, 122, 131, 133, 134, 145, 146, 147, 155, 159, 
      160, 171, 173, 174, 181, 187, 188, 199, 202, 203, 209, 217, 218, 230, 234, 235, 240, 251, 252, 
      259, 265, 270, 271, 275, 278, 289, 290, 296, 298, 299, 300, 305, 311, 312, 315, 317, 318, 321, 
      322, 323, 327, 334, 335, 342, 345, 347, 348, 349, 352, 360, 361, 363, 366, 368, 371, 373, 375, 
      376, 377, 379, 388, 389, 397, 398, 403, 405, 407, 408, 409, 410, 420, 421, 422, 426, 430, 437, 
      439, 441, 442, 443, 443, 454, 455, 464, 466, 469, 476, 478, 480, 480, 481, 481, 482, 493, 494, 
      494, 499, 505, 506, 511, 518, 520, 521, 522, 523, 524, 535, 536, 546, 550, 558, 565, 566, 567, 
      567, 569, 570, 571, 582, 582, 583, 588, 596, 598, 601, 609, 614, 616, 616, 618, 620, 621, 622, 
      633, 634, 645, 651, 652, 657, 666, 670, 672, 673, 675, 677, 678, 679, 689, 690, 696, 706, 710, 
      718, 727, 728, 730, 734, 736, 738, 739, 740, 751, 764, 772, 774, 777, 786, 792, 795, 795, 797, 
      802, 804, 806, 807, 808, 817, 825, 837, 843, 844, 849, 859, 864, 867, 868, 875, 877, 879, 880, 
      881, 906, 916, 920, 928, 939, 940, 943, 946, 948, 955, 957, 959, 960, 961, 969, 978, 992, 1000, 
      1002, 1005, 1014, 1021, 1025, 1025, 1028, 1034, 1041, 1043, 1045, 1046, 1047, 1072, 1084, 1090, 
      1091, 1096, 1107, 1113, 1117, 1118, 1120, 1127, 1134, 1136, 1138, 1139, 1140, 1144, 1154, 1170, 
      1180, 1184, 1191, 1203, 1204, 1208, 1212, 1214, 1223, 1230, 1232, 1234, 1235, 1236, 1240, 1258, 
      1272, 1280, 1282, 1283, 1292, 1300, 1305, 1305, 1309, 1313, 1316, 1325, 1332, 1334, 1336, 1337, 
      1340, 1348, 1366, 1378, 1384, 1388, 1399, 1406, 1411, 1412, 1415, 1423, 1432, 1439, 1443, 1445, 
      1455, 1463, 1479, 1489, 1497, 1510, 1511, 1516, 1521, 1523, 1525, 1534, 1543, 1549, 1550, 1552, 
      1559, 1562, 1579, 1593, 1601, 1610, 1618, 1624, 1624, 1629, 1634, 1637, 1648, 1657, 1661, 1663, 
      1674, 1681, 1683, 1699, 1711, 1717, 1728, 1736, 1742, 1743, 1747, 1752, 1756, 1767, 1775, 1777, 
      1779, 1785, 1787, 1790, 1800, 1807, 1823, 1837, 1850, 1851, 1857, 1863, 1865, 1868, 1878, 1889, 
      1895, 1897, 1905, 1906, 1909, 1915, 1919, 1928, 1935, 1949, 1952, 1961, 1969, 1976, 1976, 1982, 
      1988, 1991, 1993, 2004, 2013, 2016, 2018, 2023, 2027, 2030, 2041, 2047, 2050, 2065, 2078, 2089, 
      2097, 2104, 2105, 2110, 2116, 2120, 2133, 2140, 2142, 2150, 2152, 2155, 2160, 2162, 2166, 2176, 
      2182, 2184, 2198, 2206, 2219, 2220, 2227, 2234, 2236, 2240, 2246, 2251, 2262, 2266, 2268, 2272, 
      2277, 2280, 2287, 2288, 2292, 2297, 2302, 2311, 2317, 2328, 2337, 2345, 2352, 2352, 2359, 2366, 
      2369, 2372, 2384, 2393, 2395, 2402, 2405, 2408, 2412, 2416, 2420, 2431, 2436, 2440, 2448, 2454, 
      2460, 2471, 2479, 2487, 2488, 2494, 2501, 2505, 2507, 2517, 2522, 2524, 2527, 2534, 2537, 2543, 
      2545, 2549, 2553, 2555, 2560, 2570, 2575, 2578, 2592, 2605, 2606, 2613, 2621, 2623, 2628, 2635, 
      2640, 2643, 2649, 2651, 2658, 2662, 2665, 2668, 2673, 2677, 2683, 2684, 2689, 2693, 2699, 2708, 
      2713, 2715, 2716, 2725, 2733, 2740, 2740, 2748, 2756, 2759, 2763, 2777, 2779, 2781, 2783, 2785, 
      2790, 2793, 2799, 2802, 2806, 2809, 2812, 2817, 2828, 2832, 2837, 2848, 2859, 2867, 2875, 2876, 
      2883, 2891, 2895, 2897, 2904, 2906, 2910, 2917, 2920, 2922, 2925, 2929, 2933, 2938, 2940, 2945, 
      2948, 2950, 2956, 2966, 2970, 2978, 2991, 2992, 2999, 3008, 3010, 3016, 3029, 3031, 3032, 3034, 
      3035, 3041, 3044, 3048, 3054, 3058, 3060, 3062, 3065, 3070, 3075, 3081, 3084, 3091, 3098, 3107, 
      3115, 3122, 3122, 3130, 3139, 3142, 3151, 3153, 3156, 3163, 3166, 3167, 3170, 3171, 3176, 3180, 
      3188, 3193, 3195, 3198, 3204, 3215, 3218, 3224, 3235, 3243, 3251, 3252, 3260, 3272, 3274, 3274, 
      3276, 3276, 3283, 3286, 3290, 3296, 3300, 3301, 3303, 3304, 3308, 3313, 3319, 3325, 3327, 3335, 
      3346, 3359, 3360, 3367, 3376, 3378, 3387, 3389, 3391, 3398, 3401, 3401, 3404, 3404, 3410, 3414, 
      3418, 3423, 3428, 3429, 3431, 3434, 3440, 3444, 3451, 3453, 3456, 3465, 3473, 3480, 3480, 3488, 
      3499, 3500, 3501, 3502, 3509, 3512, 3515, 3521, 3525, 3525, 3529, 3529, 3534, 3539, 3542, 3546, 
      3552, 3553, 3555, 3562, 3568, 3579, 3587, 3595, 3596, 3603, 3605, 3612, 3614, 3615, 3616, 3617, 
      3623, 3627, 3631, 3636, 3641, 3641, 3644, 3644, 3648, 3654, 3657, 3664, 3665, 3671, 3684, 3685, 
      3692, 3699, 3699, 3700, 3705, 3709, 3715, 3718, 3719, 3721, 3722, 3727, 3732, 3736, 3740, 3746, 
      3746, 3748, 3755, 3758, 3765, 3773, 3780, 3780, 3786, 3790, 3791, 3793, 3797, 3803, 3808, 3812, 
      3813, 3816, 3817, 3821, 3827, 3829, 3836, 3836, 3839, 3848, 3856, 3864, 3866, 3869, 3871, 3872, 
      3874, 3877, 3885, 3889, 3894, 3895, 3896, 3903, 3908, 3919, 3920, 3929, 3933, 3935, 3938, 3940, 
      3942, 3944, 3950, 3951, 3957, 3963, 3975, 3979, 3985, 3986, 3990, 4005, 4011, 4013, 4016, 4020, 
      4033, 4036, 4049, 4056 ] ]