(n+1) is not divisible by
any digit of n
Hello SeqFans,
We want (n+1) not to be divisible by any digit of n [with (n+1) the
smallest integer not yet present in the seq.]
S = 2, 3, 4, 5, 6, 7, 8, 9, 20, 23, 25, 27, 29, 33, 34,
35, 37, 38, 43, 46, 47, 50, 52, 53, ...
No integer with a "1" digit can enter S, of course, and all
primes will appear -- except the ones containing a "1".
Best,
É.
__________
[Maximilian Hasler]:
Bonsoir Eric,
Je pense qu’une erreur s’est glissée dans tes calculs
; au lieu du 34 je trouve 22 :
EA(Nmax)={my(a=[],d=[0],u=0,nd);
while( #a<Nmax, for( t=2,9e9, bittest(u,t) & next; for(i=1+!d[1],#d, t%d[i]
|| next(2)); nd=Set(digits(t)); setsearch(nd,1)
& next; a=concat(a,t);
u+=1<<t; d=nd;
print1(t",");break));a}
EA(100) = 2, 3, 4, 5, 6, 7, 8, 9, 20, 23, 25, 27, 29,
33, 22, 35, 26, 37, 32, 43, 34, 38, 28, 39, 40, 30, 44, 42, 45, 46, 47, 50, 24,
49, 53, 52, 57, 36, 55, 48, 54, 58, 59, 56, 62, 63, 64, 65, 67, 68, 69, 70, 60,
73, 74, 66, 75, 72, 79, 76, 80, 77, 78, 82, 83, 85, 84, 86, 87, 89, 92, 93, 88,
90, 94, 95, 96, 97, 200, 99, 98, 202, 203, 205, 207, 209, 223, 227, 225, 229,
233, 235, 239, 245, 237, 247, 243, 253, 257, 249, ...
P.-S.
Il me semble que ta version correspond à "a(n+1)>a(n)" et non pas à "a(n+1) pas encore
utilisé".
__________
Yes, Maximilian is
right; the above S sequence is the one where we want
"a(n+1)>a(n)" and not "(n+1) is the smallest integer not yet present in the
seq."
– which is exactly the one computed by Maximilian. [The monotonically
increasing sequence is now https://oeis.org/A217491.]
Many thanks for the
correction, Maximilian,
Best,
É.
__________
October 5th
update
[Jean-Marc Falcoz]:
First 10.000 terms of EA(Nmax), computed by Jean-Marc Falcoz, and the subsequent
graph (above); this is now https://oeis.org/A217489
:
{2, 3, 4, 5, 6, 7, 8, 9, 20, 23, 25,
27, 29, 33, 22, 35, 26, 37, 32, 43, 34, 38, 28, 39, 40, 30, 44, 42, 45, 46, 47,
50, 24, 49, 53, 52, 57, 36, 55, 48, 54, 58, 59, 56, 62, 63, 64, 65, 67, 68, 69,
70, 60, 73, 74, 66, 75, 72, 79, 76, 80, 77, 78, 82, 83, 85, 84, 86, 87, 89, 92,
93, 88, 90, 94, 95, 96, 97, 200, 99, 98, 202, 203, 205, 207, 209, 223, 227,
225, 229, 233, 235, 239, 245, 237, 247, 243, 253, 257, 249, 255, 259, 263, 265,
267, 269, 273, 275, 277, 279, 283, 287, 285, 289, 293, 295, 299, 303, 206, 297,
305, 208, 307, 220, 309, 224, 323, 325, 329, 335, 226, 327, 337, 230, 343, 238,
347, 242, 333, 232, 349, 250, 339, 236, 353, 244, 345, 254, 357, 248, 355, 256,
359, 262, 363, 260, 365, 266, 367, 268, 369, 272, 373, 274, 375, 278, 377, 284,
379, 286, 383, 290, 385, 292, 389, 298, 393, 280, 387, 302, 395, 296, 397, 304,
322, 403, 326, 407, 222, 399, 308, 332, 409, 246, 405, 234, 425, 423, 427, 429,
433, 334, 338, 340, 346, 350, 328, 437, 358, 356, 344, 362, 439, 370, 320, 443,
374, 382, 445, 258, 447, 270, 435, 386, 364, 394, 398, 380, 388, 404, 282, 449,
294, 453, 406, 422, 455, 306, 352, 457, 342, 463, 430, 434, 442, 459, 354, 446,
454, 366, 368, 428, 465, 458, 378, 436, 466, 467, 470, 330, 376, 400, 390, 392,
469, 473, 475, 402, 477, 426, 479, 438, 478, 450, 462, 483, 482, 485, 474, 486,
487, 489, 490, 493, 494, 497, 498, 499, 502, 503, 424, 495, 506, 448, 505, 204,
507, 228, 509, 264, 523, 527, 529, 533, 452, 537, 464, 525, 539, 472, 535, 476,
526, 543, 538, 484, 522, 547, 534, 542, 549, 546, 553, 488, 530, 496, 545, 554,
557, 276, 555, 252, 559, 336, 440, 550, 288, 563, 508, 324, 565, 524, 567, 536,
532, 569, 544, 558, 348, 562, 573, 548, 566, 556, 568, 572, 577, 372, 575, 384,
574, 578, 396, 460, 579, 408, 570, 432, 583, 586, 587, 444, 582, 589, 492, 593,
584, 594, 597, 456, 598, 564, 599, 528, 603, 500, 468, 585, 588, 596, 592, 607,
520, 609, 560, 602, 595, 552, 623, 605, 604, 590, 606, 580, 622, 625, 627, 629,
633, 608, 620, 635, 626, 637, 628, 639, 632, 643, 634, 638, 644, 645, 646, 647,
649, 650, 652, 653, 656, 657, 659, 658, 662, 655, 663, 640, 665, 664, 667, 668,
669, 670, 673, 674, 675, 676, 677, 680, 679, 682, 683, 685, 686, 687, 689, 692,
695, 688, 693, 694, 697, 698, 699, 700, 240, 703, 704, 642, 705, 576, 706, 709,
300, 707, 360, 722, 723, 725, 727, 729, 733, 724, 737, 730, 734, 739, 736, 740,
654, 742, 743, 745, 666, 728, 747, 678, 746, 753, 748, 690, 735, 752, 757, 624,
749, 726, 755, 636, 754, 702, 759, 696, 758, 684, 763, 760, 764, 765, 766, 767,
769, 772, 773, 775, 648, 770, 480, 630, 776, 778, 540, 738, 779, 600, 777, 660,
782, 783, 785, 708, 732, 787, 750, 744, 762, 789, 780, 774, 786, 788, 790, 768,
793, 794, 795, 796, 797, 799, 800, 420, 803, 802, 805, 756, 806, 807, 804, 798,
809, 820, 823, 827, 825, 829, 833, 826, 835, 836, 830, 838, 839, 842, 837, 844,
822, 843, 845, 834, 847, 846, 849, 850, 828, 853, 854, 857, 852, 859, 858, 862,
855, 863, 860, 865, 866, 867, 869, 868, 873, 874, 870, 876, 877, 878, 879, 883,
875, 884, 882, 885, 886, 887, 890, 889, 892, 893, 895, 894, 897, 898, 899, 902,
903, 784, 905, 672, 907, 808, 900, 824, 909, 832, 923, 925, 929, 933, 848, 906,
856, 908, 922, 935, 872, 927, 937, 880, 924, 939, 896, 926, 943, 934, 938, 932,
947, 930, 904, 942, 949, 946, 950, 888, 940, 953, 928, 955, 944, 957, 948, 958,
956, 952, 959, 962, 965, 964, 967, 920, 969, 968, 970, 960, 973, 974, 975, 976,
977, 978, 979, 982, 983, 980, 966, 985, 986, 987, 988, 989, 993, 992, 995, 984,
994, 997, 996, 998, 2002, 945, 2003, 2005, 963, 2000, 999, 840, 954, 2006,
2007, 2025, 2009, 2023, 2027, 2029, 2033, 2035, 2039, 2045, 2037, 2047, 2043,
2053, 2057, 2049, 2055, 2059, 2063, 2065, 2067, 2069, 2073, 2075, 2077, 2083,
2087, 2085, 2079, 2089, 2093, 2095, 2099, 2203, 2207, 2097, 2209, 2225, 2223,
2227, 2229, 2233, 2237, 2239, 2243, 2245, 2247, 2235, 2249, 2253, 2257, 2259,
2263, 2255, 2267, 2265, 2269, 2273, 2279, 2283, 2275, 2277, 2285, 2287, 2293,
2297, 2299, 2289, 2303, 2305, 2309, 2323, 2327, 2329, 2333, 2335, 2339, 2345,
2347, 2353, 2357, 2363, 2359, 2369, 2365, 2377, 2375, 2383, 2387, 2389, 2393,
2395, 2399, 2405, 2307, 2407, 2295, 2337, 2423, 2425, 2343, 2429, 2325, 2437,
2435, 2443, 2447, 2349, 2449, 2355, 2453, 2459, 2373, 2455, 2367, 2465, 2379,
2467, 2385, 2473, 2477, 2397, 2479, 2409, 2427, 2403, 2483, 2485, 2433, 2489,
2445, 2439, 2495, 2463, 2497, 2469, 2487, 2475, 2493, 2503, 2507, 2509, 2499,
2505, 2457, 2523, 2527, 2529, 2533, 2537, 2539, 2543, 2549, 2553, 2557, 2547,
2559, 2563, 2567, 2573, 2579, 2577, 2587, 2589, 2569, 2593, 2597, 2599, 2603,
2525, 2583, 2609, 2535, 2623, 2545, 2607, 2565, 2627, 2575, 2629, 2555, 2633,
2585, 2637, 2605, 2639, 2635, 2647, 2595, 2643, 2645, 2649, 2625, 2653, 2657,
2659, 2663, 2665, 2667, 2655, 2669, 2675, 2673, 2677, 2679, 2683, 2687, 2685,
2689, 2693, 2695, 2697, 2699, 2703, 2705, 2707, 2725, 2727, 2729, 2733, 2735,
2743, 2747, 2739, 2749, 2753, 2759, 2757, 2763, 2755, 2767, 2745, 2769, 2773,
2777, 2775, 2783, 2785, 2787, 2789, 2795, 2797, 2803, 2723, 2809, 2737, 2825,
2709, 2805, 2779, 2823, 2765, 2799, 2827, 2829, 2793, 2833, 2807, 2837, 2839,
2843, 2845, 2847, 2853, 2849, 2855, 2857, 2859, 2863, 2867, 2865, 2869, 2873,
2875, 2879, 2883, 2885, 2877, 2887, 2889, 2893, 2897, 2895, 2899, 2903, 2905,
2909, 2923, 2927, 2929, 2933, 2935, 2939, 2945, 2937, 2953, 2947, 2949, 2955,
2957, 2959, 2963, 2965, 2967, 2969, 2973, 2977, 2983, 2975, 2987, 2985, 2989,
2993, 2995, 2999, 3003, 2008, 2205, 2907, 3005, 2024, 2835, 3007, 2020, 2925,
3009, 2026, 2943, 3023, 3025, 3029, 3035, 2032, 3037, 2036, 3043, 2030, 3047,
2038, 3049, 2042, 2979, 3027, 3053, 2044, 2997, 3039, 2048, 3033, 2050, 3057,
2054, 3059, 2056, 3063, 2060, 3045, 2062, 3055, 2066, 3065, 2068, 3067, 2074,
3069, 2072, 3075, 2078, 3077, 2080, 3073, 2084, 3079, 2090, 3083, 2086, 3085,
2092, 3089, 2098, 3093, 2096, 3095, 2204, 3087, 2206, 3097, 2200, 3099, 2222,
3203, 3205, 3209, 3223, 3227, 3229, 3233, 3235, 3239, 3245, 3247, 3253, 3257,
3259, 3263, 3265, 3269, 3275, 3277, 3287, 3289, 3283, 3293, 3295, 3299, 3305,
2224, 3207, 3307, 2228, 3225, 3323, 3325, 3329, 3335, 2234, 3337, 2230, 3343,
2242, 3237, 3347, 2246, 3243, 3349, 2254, 3249, 3353, 2236, 3355, 2248, 3255,
3359, 2252, 3267, 3365, 2258, 3273, 3373, 2260, 3279, 3377, 2264, 3285, 3367,
2266, 3297, 3379, 2270, 3303, 2240, 3309, 2272, 3327, 3383, 2276, 3333, 2278,
3345, 2282, 3339, 2284, 3357, 2288, 3363, 2290, 3369, 2294, 3385, 2302, 3389,
2300, 3395, 2296, 3387, 2306, 3397, 2308, 3403, 2326, 3407, 2330, 3409, 2338,
3425, 3427, 3433, 2342, 3437, 2350, 3439, 2354, 3443, 2362, 3445, 2366, 3449,
2374, 3455, 2378, 3457, 2386, 3463, 2390, 3467, 2398, 3469, 2402, 3375, 2332,
3473, 2426, 3393, 2320, 3475, 2434, 3479, 2438, 3485, 2422, 3399, 2324, 3487,
2446, 3405, 2458, 3423, 3493, 2450, 3429, 3497, 2462, 3435, 2474, 3447, 2470,
3453, 2482, 3459, 2486, 3465, 2494, 3477, 2498, 3489, 2506, 3483, 2522, 3499,
2530, 3503, 2336, 3505, 2344, 3509, 2348, 3523, 3527, 3529, 3533, 2356, 3539,
2368, 3535, 2372, 3545, 2534, 3547, 2542, 3507, 2384, 3553, 2392, 3557, 2396,
3559, 2404, 3495, 2546, 3537, 2428, 3525, 3563, 2408, 3543, 2554, 3549, 2558,
3567, 2432, 3565, 2444, 3555, 2452, 3569, 2456, 3573, 2468, 3575, 2476, 3579,
2488, 3577, 2504, 3583, 2492, 3585, 2524, 3587, 2564, 3589, 2548, 3593, 2464,
3595, 2528, 3597, 2536, 3599, 2552, 3603, 2360, 3605, 2566, 3607, 2420, 3609,
2380, 3623, 3625, 3629, 3635, 2572, 3627, 3637, 2440, 3633, 2480, 3639, 2500,
3643, 2570, 3649, 2578, 3653, 2576, 3657, 2582, 3647, 2594, 3659, 2584, 3663,
2540, 3667, 2560, 3669, 2588, 3673, 2596, 3677, 2600, 3645, 2602, 3655, 2606,
3665, 2608, 3675, 2624, 3679, 2620, 3683, 2590, 3687, 2626, 3685, 2636, 3689,
2630, 3695, 2632, 3697, 2638, 3703, 2642, 3693, 2644, 3699, 2648, 3705, 2654,
3707, 2650, 3709, 2656, 3723, 3725, 3727, 3733, 2662, 3729, 3737, 2666, 3735,
2668, 3739, 2672, 3743, 2678, 3747, 2686, 3745, 2698, 3749, 2690, 3755, 2684,
3753, 2692, 3757, 2696, 3759, 2704, 3763, 2680, 3765, 2708, 3767, 2720, 3769,
2722, 3775, 2726, 3777, 2728, 3779, 2732, 3785, 2734, 3793, 2738, 3797, 2740,
3783, 2746, 3789, 2750, 3799, 2752, 3803, 2660, 3773, 2756, 3807, 2762, 3795,
2764, 3805, 2674, 3809, 2702, 3823, 3787, 2770, 3825, 3827, 3833, 2758, 3837,
2774, 3835, 2782, 3839, 2780, 3845, 2786, 3847, 2794, 3849, 2798, 3853, 2788,
3855, 2804, 3829, 3857, 2806, 3843, 2822, 3859, 2828, 3863, 2830, 3865, 2834,
3869, 2836, 3875, 2846, 3867, 2852, 3873, 2854, 3877, 2858, 3879, 2860, 3883,
2842, 3885, 2866, 3887, 2876, 3889, 2870, 3893, 2878, 3895, 2882, 3897, 2890,
3899, 2884, 3903, 2744, 3905, 2768, 3907, 2776, 3909, 2792, 3923, 3925, 3929,
3935, 2824, 3927, 3937, 2840, 3933, 2800, 3939, 2848, 3943, 2894, 3945, 2902,
3947, 2906, 3949, 2926, 3953, 2864, 3955, 2872, 3957, 2888, 3959, 2896, 3963,
2900, 3965, 2908, 3967, 2920, 3973, 2924, 3975, 2932, 3977, 2930, 3979, 2936,
3983, 2938, 3985, 2942, 3989, 2948, 3993, 2944, 3995, 2954, 3997, 2950, 3999,
2956, 4003, 2962, 4007, 990, 2004, 3969, 2960, 4009, 2022, 3987, 2966, 4025,
4023, 4027, 4005, 2034, 4033, 2974, 4029, 4035, 2978, 4037, 2986, 4039, 2990,
4043, 2998, 4045, 2046, 4047, 2070, 4049, 2058, 4053, 3002, 4055, 2082, 4057,
2094, 4063, 3022, 4067, 3026, 4069, 3034, 3038, 2972, 4065, 3046, 3050, 2968,
4073, 3058, 2996, 4075, 2202, 4059, 2226, 4077, 2238, 4079, 2262, 4083, 3062,
4085, 2274, 4087, 2250, 4089, 2298, 4093, 3070, 2980, 4097, 2334, 4099, 2346,
4205, 4203, 4207, 4209, 4223, 4225, 4227, 4229, 4233, 4235, 4237, 4243, 4247,
4239, 4249, 4245, 4253, 4259, 4263, 4255, 4257, 4267, 4265, 4269, 4273, 4279,
4283, 4277, 4275, 4287, 4285, 4289, 4295, 4297, 4299, 4303, 3074, 3082, 4307,
3086, 3004, 3094, 3098, 3020, 4309, 3202, 4325, 4327, 4337, 3226, 4333, 3206,
4339, 3230, 4343, 3238, 4345, 3242, 4349, 3250, 4357, 3254, 4363, 3262, 4355,
3266, 4367, 3274, 4369, 3278, 4373, 3286, 4375, 3298, 4379, 3302, 4385, 3322,
4387, 3326, 4393, 3290, 4397, 3334, 3338, 3028, 4399, 3346, 3350, 2984, 4305,
3358, 3044, 3362, 4403, 3370, 2992, 4323, 4405, 2286, 4095, 2382, 4409, 2370,
4423, 4427, 4293, 4429, 4335, 3374, 3382, 4433, 3386, 3052, 4439, 3394, 3398,
3068, 3076, 3008, 3092, 4435, 3406, 3422, 4445, 2322, 4447, 2358, 4453, 3434,
3430, 3442, 4457, 2406, 4329, 4459, 2442, 4347, 3446, 3454, 3458, 3466, 3470,
3478, 3482, 4463, 3490, 3494, 3502, 4469, 3506, 3032, 4465, 3526, 4477, 2430,
4475, 2454, 4353, 3538, 3236, 4483, 3530, 3056, 3064, 3542, 4487, 2466, 4359, 3554,
3562, 4489, 2478, 4365, 3566, 3088, 3220, 4493, 3550, 3208, 4495, 2526, 4377,
3574, 3578, 3244, 4499, 2490, 4389, 3586, 3268, 4505, 2394, 4507, 2502, 4383,
3590, 3224, 4523, 4529, 4407, 2538, 4537, 3602, 4525, 4437, 3622, 4535, 3598,
3284, 4543, 3626, 4547, 2574, 4443, 3634, 3638, 3260, 4549, 2562, 4449, 2550,
4467, 3646, 3650, 3232, 4553, 3658, 3292, 4555, 2586, 4473, 3662, 4559, 2598,
4479, 2622, 4395, 3674, 3670, 3040, 3682, 4565, 3686, 3308, 3332, 4567, 3694,
3698, 3340, 3706, 3200, 4573, 3722, 4577, 2634, 4579, 2658, 4497, 2670, 4425,
4503, 3734, 3730, 3256, 4583, 3742, 4589, 2694, 4485, 2646, 4455, 2682, 4509,
2706, 4527, 4533, 3746, 3754, 3758, 3356, 3248, 4585, 2742, 4539, 3766, 3272,
4595, 2766, 4545, 2754, 4563, 3778, 3364, 3770, 3280, 4597, 2778, 4569, 3782,
4603, 3790, 3296, 4607, 3802, 4609, 3794, 3806, 3380, 3388, 3404, 3826, 4625,
4557, 2802, 4575, 2826, 4587, 2838, 4627, 4593, 3838, 3428, 4633, 3830, 3436,
3842, 4637, 3854, 3862, 4639, 3850, 3452, 4643, 3866, 3460, 3874, 3886, 3476,
3890, 3484, 3878, 3508, 3524, 4649, 3898, 3500, 3304, 3902, 4645, 3922, 4655,
3926, 4657, 3938, 3532, 4663, 3934, 3946, 3950, 3328, 4667, 3958, 3548, 3962,
4669, 3970, 3320, 4673, 3974, 3982, 4675, 3986, 3556, 3344, 3994, 3998, 3572,
4679, 4006, 4022, 4599, 2874, 4605, 4034, 4030, 4042, 4623, 4685, 4046, 4054,
2862, 4629, 4647, 4058, 2886, 4635, 4066, 4070, 2790, 4659, 4078, 2850, 4653,
4082, 4665, 4094, 2730, 4687, 4090, 2922, 4677, 4202, 4683, 4222, 4689, 4226,
4693, 4234, 4697, 4238, 4699, 4246, 4695, 4258, 4703, 4250, 4707, 2934, 4705,
2946, 4709, 2958, 4723, 4727, 4729, 4733, 4262, 4725, 4737, 4274, 4735, 4282,
4739, 4286, 4743, 4294, 4745, 2994, 4747, 2970, 4749, 3030, 3080, 3580, 3596,
3352, 4753, 4306, 4270, 4755, 3006, 3368, 3604, 4298, 4757, 3042, 4759, 3054,
4322, 4763, 4330, 4334, 4342, 4765, 4346, 4354, 4358, 4366, 4370, 4378, 4390,
4382, 4769, 4394, 4402, 4767, 4406, 4426, 4773, 4430, 4438, 4442, 4775, 3078,
3620, 4777, 3090, 3376, 3392, 4783, 4450, 2898, 4785, 3222, 4787, 3246, 4789,
3270, 4793, 4454, 2982, 4795, 3282, 4799, 3306, 3400, 4462, 4779, 3342, 4805,
3066, 3424, 4807, 3258, 4823, 4825, 4797, 3354, 4466, 4474, 3294, 4829, 4803,
4478, 3330, 3440, 4486, 4490, 3234, 4835, 4498, 3378, 3628, 4837, 4502, 4809,
3390, 3448, 4522, 4827, 4833, 4526, 4839, 4534, 4538, 4546, 4558, 3366, 3464,
4550, 3402, 4843, 4562, 4847, 3426, 4849, 3450, 4574, 3438, 4570, 3462, 4853,
4582, 4857, 3474, 4586, 4594, 3486, 4598, 3498, 4606, 4622, 4845, 3522, 4859,
3534, 4634, 4630, 4642, 4855, 3546, 4646, 4654, 4658, 4666, 4670, 4678, 4682,
4863, 4690, 4694, 4702, 4867, 4706, 4726, 4869, 4730, 4738, 4742, 4873, 4750,
3558, 3644, 4754, 3582, 4877, 3594, 4762, 4875, 3606, 3472, 4883, 4766, 4778,
3630, 3488, 4774, 3642, 4865, 4786, 4790, 3666, 3496, 4798, 3678, 3652, 4879,
3702, 4885, 3654, 4802, 4887, 3690, 3520, 4889, 3570, 3536, 3544, 4822, 4893,
4826, 4895, 3738, 3676, 3560, 3568, 3668, 3692, 4897, 3750, 3592, 4903, 4834,
4838, 4846, 4850, 3726, 4909, 3774, 4862, 4899, 3786, 3700, 3608, 3724, 4925,
4907, 3846, 4858, 3762, 4927, 4929, 4933, 4870, 3798, 3740, 4874, 3834, 4882,
4905, 3822, 4937, 4894, 3858, 3748, 4898, 3882, 4939, 4886, 4906, 4922, 4935,
4934, 4930, 4942, 4943, 4945, 3894, 4946, 4947, 3930, 3584, 4949, 3954, 4954,
3966, 3632, 4955, 4002, 4923, 4957, 4026, 4953, 4958, 4038, 4963, 4966, 4965,
4967, 4969, 4970, 4062, 4959, 4074, 3870, 3764, 4973, 4975, 4098, 3990, 3640,
4978, 4206, 4977, 4254, 4979, 4278, 4983, 4982, 4985, 4242, 4987, 4290, 4989,
4326, 4993, 4990, 4350, 4994, 4362, 4997, 4386, 4999, 4398, 5002, 5003, 3656,
3664, 5005, 504, 3906, 3680, 3772, 5009, 2028, 4995, 4422, 5007, 792, 5023,
5027, 5029, 5033, 3688, 3788, 3796, 3704, 5006, 3728, 5035, 3736, 3760, 3776,
3784, 5030, 3752, 5039, 3808, 3820, 5045, 3942, 5047, 3978, 3844, 5026, 5037,
3824, 5053, 3832, 5057, 864, 5025, 5043, 5038, 3836, 3860, 3868, 3884, 5042,
5049, 4434, 5050, 936, 3800, 3892, 5059, 2064, 5055, 972, 5063, 3848, 5054,
4086, 5062, 5067, 3856, 3908, 3932, 5065, 3872, 5069, 3896, 3940, 5066, 3904,
5074, 4266, 5073, 3928, 5075, 2052, 5077, 2076, 5079, 2208, 5083, 3956, 3944,
5078, 2244, 5085, 2268, 5087, 2292, 5089, 2364, 5093, 3952, 5099, 2256, 5097,
2328, 5095, 2352, 5203, 5207, 5209, 5223, 5227, 5233, 5237, 5239, 5243, 5249,
5253, 5257, 5247, 5259, 5263, 5267, 5269, 5273, 5279, 5277, 5283, 5287, 5289,
5293, 5297, 5303, 3964, 5086, 3988, 3980, 4004, 4050, 4302, 5225, 5229, 5299,
5307, 3968, 4028, 5205, 5309, 3976, 3880, 4036, 5090, 2388, 5245, 5323, 5327,
5329, 5333, 3992, 5255, 5337, 4024, 5235, 5339, 4048, 4230, 5275, 5343, 5098,
2436, 5285, 5347, 5206, 5349, 5222, 5353, 4052, 5357, 4064, 5230, 5359, 4072,
5265, 5363, 4076, 5234, 5369, 4084, 4338, 5242, 5367, 4096, 5246, 5373, 4204,
5295, 5377, 4208, 5305, 4088, 4374, 5254, 5379, 4232, 5335, 4228, 5325, 5383,
4244, 5345, 5258, 5387, 4252, 5389, 4268, 5355, 4256, 5393, 4264, 5365, 4276,
5375, 4288, 5385, 4292, 5395, 4304, 5266, 5397, 4324, 5399, 4328, 5405, 4446,
5270, 5403, 5278, 5407, 4458, 4482, 5409, 4494, 4470, 4506, 5282, 5423, 5429,
5433, 5294, 5437, 5302, 5443, 5306, 4336, 5290, 5439, 5326, 5447, 4542, 5427,
5449, 4566, 5338, 4348, 5330, 4352, 5453, 5342, 5459, 4578, 4554, 4602, 5425,
5457, 4626, 5435, 5354, 5362, 5467, 5366, 4364, 5350, 4372, 5455, 4638, 5374,
5378, 4388, 5386, 4396, 5390, 4376, 5398, 4436, 5402, 5463, 5422, 5469, 5426,
5473, 5434, 5438, 5446, 5458, 4662, 5445, 4674, 5450, 4686, 5462, 5477, 4698,
5465, 5474, 4722, 5475, 4734, 5470, 4758, 4782, 5479, 4794, 4530, 5482, 5483,
5486, 5487, 4806, 5485, 4746, 5489, 4854, 4842, 5493, 5494, 4866, 5495, 4902,
5497, 4926, 5503, 4384, 5498, 4938, 5506, 4408, 4590, 4962, 5505, 2088, 5499,
4974, 4650, 5507, 2232, 5509, 2424, 5523, 5527, 5529, 5533, 4424, 5525, 5537,
4432, 5539, 4444, 4770, 4878, 4890, 4830, 5522, 5543, 5534, 5542, 5547, 4986,
5530, 4448, 4950, 4998, 5034, 5546, 5549, 5046, 5553, 4456, 5554, 5022, 5557,
2304, 5545, 5058, 2484, 5535, 4468, 5555, 2376, 5563, 4472, 5559, 2472, 5567,
4484, 5070, 2448, 5565, 4492, 5569, 4496, 5558, 2508, 5573, 4504, 5082, 5577,
2496, 5575, 2532, 5579, 2544, 5583, 4508, 5094, 5226, 5587, 2556, 5589, 2604,
5585, 2628, 5593, 4528, 5597, 2568, 5599, 2652, 5603, 4532, 5609, 4544, 5202,
5607, 4552, 5623, 5627, 5629, 5633, 4556, 5566, 4564, 5578, 2676, 5595, 2688,
5605, 4568, 5582, 5637, 4576, 5594, 5262, 5639, 4588, 5238, 5647, 5602, 5643,
5606, 4592, 5649, 5626, 5653, 4604, 5570, 2592, 5657, 4624, 5625, 5659, 4628,
5635, 4636, 5590, 2724, 5645, 5638, 4652, 5663, 4648, 5630, 4664, 5642, 5667,
4672, 5655, 4676, 5650, 4684, 5654, 5662, 5669, 4688, 5665, 4696, 5666, 4708,
5274, 5673, 4724, 5675, 4736, 5674, 5678, 4748, 5286, 5677, 4744, 5298, 5683,
4732, 5687, 4756, 5679, 4768, 5685, 4772, 5689, 4796, 5686, 4804, 5250, 5693,
4784, 5322, 5699, 4792, 5695, 4808, 5334, 5698, 4828, 5697, 4832, 5705, 2664,
5703, 4852, 5707, 2736, 5723, 5729, 5709, 2748, 5725, 5727, 5737, 4856, 5702,
5739, 4864, 5690, 4844, 5346, 5722, 5743, 5734, 5738, 4868, 5726, 5749, 5358,
4876, 5735, 4888, 5370, 4892, 5745, 5382, 5747, 5394, 5746, 5753, 4904, 5406,
5733, 4924, 5755, 2784, 5757, 2796, 5759, 2832, 5765, 4936, 5750, 2808, 5763,
4948, 5430, 5758, 2844, 5767, 4952, 5773, 4964, 5762, 5769, 4972, 5777, 2868,
5775, 2892, 5779, 2904, 5783, 4988, 5442, 5787, 2964, 5785, 2988, 5789, 3036,
3920, 5795, 2928, 5793, 4976, 5770, 2952, 5797, 2976, 5799, 3048, 5774, 5454,
5466, 5782, 5807, 3084, 5786, 4996, 5794, 5478, 5526, 5803, 5036, 4928, 5809,
3228, 5825, 5823, 5827, 5829, 5833, 5044, 5502, 5837, 5084, 5538, 5068, 5092,
5839, 5204, 5843, 5798, 3252, 5849, 5574, 5562, 5847, 5598, 3324, 5845, 5586,
5228, 5853, 5236, 5857, 3204, 5855, 2772, 5805, 3276, 5863, 5252, 5859, 3372,
5867, 5276, 5869, 5284, 5873, 5308, 5324, 5879, 3396, 4000, 5490, 5622, 5877,
3348, 5806, 5332, 5887, 3468, 5822, 5883, 5348, 5834, 5842, 5889, 3444, 5830,
5356, 4984, 5550, 2856, 5893, 5372, 5897, 3588, 5396, 5008, 3492, 5875, 3564,
5846, 5854, 5634, 5858, 3636, 4040, 5646, 5866, 5404, 5658, 5428, 5899, 3684,
5870, 3708, 4220, 5835, 5444, 5682, 5903, 5024, 5907, 3072, 5885, 3732, 5905,
3264, 5909, 3288, 5923, 5927, 5933, 5032, 5929, 5937, 5048, 5694, 5878, 3756,
5056, 5072, 5939, 5096, 5224, 5943, 5882, 5947, 5766, 5248, 5949, 5754, 5706,
5272, 5953, 5264, 5957, 3336, 4060, 5865, 5452, 5959, 3408, 5890, 3804, 5894,
5802, 5963, 5288, 5967, 5296, 5969, 5336, 5344, 5902, 5973, 5368, 5468, 5906,
5384, 5926, 5977, 3432, 5935, 5392, 5983, 5476, 5938, 5492, 5979, 3504, 5942,
5987, 3828, 5945, 5826, 5989, 3876, 4300, 5930, 5408, 5742, 5993, 5432, 5999,
3552, 6007, 4240, 5895, 3948, 5950, 3576, 5456, 5954, 5838, 5524, 5997, 3624,
5965, 5464, 5962, 6009, 4280, 5925, 6023, 5975, 3648, 5966, 5488, 5778, 3852,
6029, 5955, 3696, 4340, 5974, 5862, 6003, 4360, 5978, 3972, 5995, 3768, 4420,
5985, 4044, 5670, 5504, 5874, 5886, 5548, 5898, 4092, 6005, 5528, 6027, 6025,
6033, 4400, 5730, 5536, 5552, 6037, 4460, 5986, 5564, 5998, 4236, 6035, 5572,
6039, 4480, 5790, 3792, 6043, 5990, 3864, 6002, 6045, 6022, 6047, 6026, 6049,
6034, 6038, 4540, 5922, 6053, 5576, 5584, 5934, 6046, 6050, 5588, 3924, 6055,
5596, 5608, 5636, 5624, 6057, 5632, 6059, 5644, 6058, 5668, 5684, 6062, 6063,
4520, 6067, 4580, 5946, 6069, 4600, 6065, 5648, 6073, 4640, 6070, 4660, 6074,
6075, 5672, 6077, 4700, 5850, 3996, 4720, 6079, 4780, 5958, 4308, 6082, 6083,
4820, 6085, 5692, 6087, 4940, 5970, 3936, 4760, 6086, 4900, 5982, 6089, 5020,
6093, 4840, 5994, 6006, 4880, 6030, 4960, 6094, 6095, 5656, 5696, 5704, 6042,
6097, 5000, 3024, 6203, 6205, 6099, 5060, 5708, 4068, 6098, 5260, 6207, 6225,
6209, 6223, 6227, 6229, 6233, 6235, 6239, 6245, 6237, 6247, 6243, 6253, 6257,
6249, 6259, 6263, 6265, 6267, 6255, 6269, 6275, 6273, 6277, 6283, 6287, 6285,
6279, 6289, 6293, 6295, 6297, 6299, 6303, 5080, 4284, 6305, 5728, 6309, 5200,
6307, 5240, 6323, 6325, 6329, 6335, 5732, 6337, 5300, 5744, 6054, 6202, 6327,
6343, 6206, 6333, 5320, 6347, 6226, 6339, 5360, 5752, 6353, 5756, 5764, 6238, 6349,
6230, 6355, 5768, 5788, 4332, 6359, 5776, 5792, 6357, 5804, 6066, 5380, 5828,
6363, 5420, 6367, 5440, 6078, 5500, 3096, 5480, 6222, 6345, 6242, 6365, 5824,
6369, 5540, 6234, 6373, 5560, 5836, 5852, 6377, 5620, 6379, 5660, 5848, 6246,
6375, 5864, 6254, 6383, 5740, 6262, 6385, 5876, 5884, 6258, 6387, 5780, 4356,
6266, 6389, 5860, 5908, 4404, 6090, 5600, 5872, 6393, 5680, 5924, 6397, 5720,
6399, 5800, 4428, 6395, 5888, 4452, 6403, 6250, 6407, 6274, 6409, 6278, 6423,
6425, 6427, 6429, 6405, 6286, 6433, 6290, 6437, 6298, 6439, 6302, 6443, 6322,
6445, 6326, 6449, 6334, 6338, 5900, 3984, 6346, 6350, 5896, 5932, 6457, 6358,
5948, 6294, 6447, 6362, 6455, 6374, 6382, 6463, 6370, 5840, 6282, 6435, 6386,
5956, 5936, 5944, 6306, 5920, 6459, 6394, 6398, 5972, 6467, 6406, 6422, 6453,
6434, 6430, 6442, 6465, 6446, 6454, 6458, 6466, 6469, 6470, 6473, 6478, 6477,
6479, 6483, 6475, 6487, 6485, 6482, 6489, 6490, 6493, 6494, 6495, 6497, 6499,
6502, 6503, 5968, 5996, 5984, 6342, 6505, 5992, 6509, 6004, 6506, 6008, 5980,
4476, 6507, 6028, 6523, 6527, 6529, 6533, 6032, 6535, 6044, 6525, 6537, 6052,
6539, 6056, 6064, 6526, 6543, 6538, 6068, 6020, 6545, 6542, 6547, 6549, 6553,
6076, 5960, 6088, 6092, 6555, 6208, 6557, 6224, 6559, 6232, 6563, 6236, 6565,
6244, 6567, 6248, 6569, 6256, 6573, 6268, 6575, 6284, 6577, 6292, 6583, 6308,
6220, 6579, 6296, 6585, 6332, 6587, 6364, 6530, 6272, 6589, 6356, 6304, 6550,
6328, 6593, 6344, 6554, 6562, 6597, 6352, 6599, 6368, 6260, 6595, 6376, 6040,
6566, 6388, 6340, 6574, 6578, 6404, 6586, 6428, 6603, 6080, 6380, 6436, 6590,
6392, 6605, 6424, 6607, 6200, 6609, 6280, 6623, 6625, 6627, 6633, 6320, 6629,
6635, 6448, 6598, 6452, 6637, 6400, 6602, 6639, 6440, 6622, 6643, 6626, 6645,
6634, 6638, 6460, 6646, 6647, 6649, 6650, 6464, 6653, 6472, 6655, 6476, 6658,
6484, 6657, 6488, 6659, 6496, 6662, 6663, 6500, 6508, 6524, 6667, 6520, 6669,
6532, 6673, 6536, 6544, 6674, 6665, 6548, 6677, 6556, 6568, 6572, 6679, 6560,
6584, 6682, 6675, 6592, 6683, 6580, 6596, 6604, 6670, 6620, 6685, 6628, 6687,
6644, 6686, 6652, 6689, 6668, 6676, 6632, 6695, 6608, 6692, 6693, 6640, 6694,
6697, 6656, 6664, 6698, 6699, 6680, 6700, 6688, 6703, 6704, 6705, 6707, 6709,
6722, 6723, 6725, 6729, 6733, 6724, 6735, 6728, 6737, 6730, 6736, 6739, 6740,
6742, 6743, 6745, 6746, 6747, 6749, 6753, 6752, 6757, 6754, 6758, 6759, 6763,
6760, 6764, 6765, 6766, 6767, 6770, 6772, 6773, 6775, 6777, 6778, 6779, 6782,
6785, 6787, 6788, 6789, 6793, 6784, 6794, 6799, 6796, 6800, 6706, 6795, 6802,
6727, 6803, 6734, 6805, 6748, 6806, 6755, 6807, 6809, 6769, 6808, 6783, 6820,
6797, 6823, 6827, 6829, 6825, 6833, 6790, 6824, 6835, 6826, 6837, 6830, 6836,
6838, 6839, 6842, 6843, 6845, 6847, 6849, 6850, 6844, 6853, 6854, 6857, 6859,
6862, 6855, 6863, 6860, 6865, 6866, 6867, 6868, 6869, 6873, 6875, 6877, 6878,
6879, 6883, 6874, 6885, 6884, 6886, 6887, 6889, 6890, 6892, 6893, 6895, 6897,
6898, 6899, 6902, 6905, 6776, 6848, 6903, 6832, 6907, 6856, 6908, 6909, 6872,
6925, 6923, 6929, 6927, 6933, 6880, 6922, 6935, 6896, 6926, 6937, 6904, 6934,
6938, 6932, 6943, 6946, 6945, 6947, 6949, 6950, 6928, 6953, 6944, 6955, 6952,
6959, 6956, 6958, 6962, 6963, 6920, 6965, 6964, 6967, 6940, 6969, 6968, 6970,
6973, 6974, 6977, 6976, 6980, 6979, 6982, 6983, 6985, 6986, 6987, 6988, 6989,
6994, 6995, 6992, 6997, 6998, 6999, 7000, 720, 6939, 7003, 7004, 6270, 6957,
7006, 6975, 7009, 2040, 6993, 7007, 2220, 7005, 3384, 7022, 7023, 7025, 7027,
7029, 7033, 7024, 7037, 7030, 7034, 7039, 7036, 7040, 6330, 7028, 7043, 7045,
6354, 7042, 7047, 6366, 7046, 7053, 7048, 6378, 7052, 7057, 3456, 7049, 6402,
7035, 7054, 6438, 7055, 3672, 7067, 7058, 4524, 7059, 4008, 6390, 7060, 7064,
7065, 7066, 7069, 7072, 7073, 7075, 3744, 7078, 2340, 7063, 7076, 7079, 2280,
7077, 2400, 7083, 7082, 7085, 4548, 6426, 7087, 2460, 7089, 2580, 7093, 7088,
2700, 7095, 4056, 7094, 6450, 7097, 2640, 7099, 2760, 7205, 7207, 7209, 7223,
7225, 7227, 7229, 7233, 7235, 7237, 7243, 7247, 7239, 7249, 7253, 7267, 7255,
7257, 7263, 7265, 7269, 7275, 7277, 7279, 7283, 7285, 7289, 7293, 7295, 7297,
7303, 7090, 2820, 7203, 7307, 7096, 7202, 7299, 7305, 7204, 7309, 7208, 7323,
7325, 7327, 7333, 7220, 7335, 7222, 7337, 7226, 7339, 7228, 7345, 7234, 7349,
7246, 7347, 7250, 7353, 7232, 7355, 7244, 7359, 7256, 7363, 7240, 7365, 7258,
7367, 7262, 7369, 7264, 7373, 7268, 7375, 7274, 7377, 7270, 7379, 7276, 7383,
7282, 7387, 7286, 7389, 7292, 7393, 7288, 7395, 7298, 7397, 7300, 7304, 7306,
7324, 7403, 7330, 7328, 7405, 6462, 7245, 7407, 6474, 7334, 7342, 7409, 6486,
7070, 2880, 7259, 7423, 7429, 7433, 7346, 7354, 7358, 7348, 7366, 7340, 7370, 7352,
7439, 7382, 7435, 7394, 7390, 7360, 7372, 7445, 6498, 7238, 7447, 6522, 7273,
7453, 7402, 7425, 7437, 7426, 7443, 7430, 7438, 7442, 7449, 6546, 7287, 7457,
6534, 7294, 7459, 6558, 7084, 6570, 7376, 7384, 7450, 6582, 7329, 7463, 7454,
6606, 7252, 7467, 7465, 7466, 7473, 7474, 6630, 7280, 7475, 6642, 7343, 7477,
6654, 7322, 7487, 6666, 7336, 7388, 7396, 7400, 6690, 7357, 7408, 6702, 7479,
6726, 7485, 6738, 7436, 7478, 6750, 7424, 7489, 6774, 7486, 7493, 7495, 6798,
7444, 6786, 7460, 7498, 6834, 7378, 7468, 7499, 6870, 7484, 6822, 7385, 7492,
7503, 7432, 7505, 3888, 7364, 7502, 7507, 4224, 7399, 7456, 7509, 4272, 7523,
7529, 7527, 7533, 7472, 7535, 7496, 7522, 7537, 7508, 4572, 7543, 7526, 7547,
6858, 7406, 7534, 7538, 7549, 6882, 7427, 7545, 6894, 7455, 6906, 7420, 7555,
4248, 7469, 7550, 4296, 7483, 7558, 4596, 7462, 7557, 4344, 7490, 6942, 7525,
7559, 4488, 6594, 7539, 7528, 7563, 7544, 6954, 7546, 7562, 7569, 7552, 7573,
7556, 7564, 7577, 4392, 7553, 7568, 7579, 4584, 6678, 7540, 6966, 7448, 6978,
7565, 7576, 7582, 7583, 7586, 7587, 4644, 7497, 6990, 7480, 7002, 7575, 4464,
7567, 7589, 4668, 7570, 4608, 7574, 7026, 7585, 4692, 7593, 7592, 7597, 4632,
7595, 4656, 7594, 7062, 7599, 4728, 7603, 7520, 7607, 7580, 4764, 7598, 4836,
7606, 7600, 7604, 7605, 7622, 7625, 7627, 7629, 7633, 7624, 7635, 7628, 7639,
7634, 7642, 7643, 7645, 7646, 7647, 7649, 7653, 7636, 7640, 7654, 7657, 7648,
7655, 7652, 7659, 7663, 7660, 7664, 7666, 7667, 7669, 7670, 7673, 7675, 7676,
7677, 7678, 7682, 7683, 7684, 7685, 7687, 7689, 7690, 7688, 7694, 7697, 7696,
7699, 7702, 7695, 7703, 7705, 4752, 7709, 3000, 7504, 7038, 7706, 7708, 3060,
7532, 7723, 7727, 7725, 7729, 7733, 7720, 7737, 7724, 7739, 7726, 7743, 7730,
7732, 7745, 7074, 7050, 4776, 7738, 7747, 7086, 7748, 7206, 7753, 7736, 7744,
7230, 7757, 4824, 7609, 7750, 4848, 6762, 7755, 4884, 6846, 7623, 7759, 4908,
7098, 3300, 7588, 4932, 7637, 7754, 7242, 7765, 7762, 7767, 7760, 7766, 7768,
7769, 7772, 7773, 7774, 7254, 7779, 3480, 7630, 7775, 4896, 7658, 7778, 3420,
7679, 7780, 3540, 7693, 7783, 7786, 7785, 5004, 7266, 7787, 3660, 7672, 7789,
3900, 7700, 3240, 7735, 7792, 7793, 7790, 3720, 7795, 4944, 7278, 7797, 3840,
7742, 7799, 4020, 7665, 7796, 7802, 7803, 7804, 7290, 7807, 4260, 7707, 3600,
7756, 7808, 4380, 7763, 7820, 7809, 4740, 7302, 7823, 7825, 7827, 7829, 7835,
7822, 7837, 7828, 7839, 7834, 7838, 7843, 7846, 7845, 7326, 7849, 7338, 7844,
7362, 7853, 7852, 7857, 5028, 7749, 7374, 7850, 5052, 7777, 3960, 7784, 7386,
7855, 5076, 7832, 7859, 5244, 7833, 7858, 5268, 7847, 7398, 7862, 7863, 7865,
7867, 7869, 7870, 4500, 7422, 7873, 7874, 7446, 7877, 4860, 7798, 4980, 7350,
7856, 7876, 7879, 5340, 7826, 7883, 7885, 5364, 7882, 7887, 5220, 7889, 5388,
7868, 7886, 7892, 7895, 5484, 7434, 7894, 7458, 7482, 7893, 7897, 5532, 7903,
7864, 7898, 5556, 7888, 5436, 7906, 7880, 5508, 4788, 7470, 7494, 7530, 7904,
7554, 7506, 7899, 5604, 7907, 4080, 6930, 7805, 5652, 7909, 4440, 7542, 7923,
7925, 7927, 7905, 4992, 7933, 7900, 4560, 7922, 7935, 7928, 7937, 7930, 7934,
7939, 7936, 7940, 7566, 7929, 7943, 7942, 7949, 7590, 5064, 7946, 7953, 7948,
7626, 7947, 7638, 7954, 7662, 7955, 5088, 4956, 7957, 5232, 7963, 7958, 5676,
7964, 7967, 7960, 7969, 7970, 4800, 7578, 5724, 7977, 4920, 7945, 7674, 7965,
7972, 7975, 5304, 7966, 7976, 7978, 5700, 4968, 7959, 5352, 7973, 7979, 5280,
7983, 7982, 7985, 5748, 7698, 7988, 5772, 7989, 5820, 7987, 5844, 7602, 7993,
7984, 7734, 7990, 5424, 7997, 5448, 7686, 7995, 5496, 7994, 7746, 7999, 5520,
8003, 7924, 8005, 5292, 8007, 5580, 5628, 8009, 2940, 8023, 8027, 8025, 8029,
8033, 7996, 8000, 3780, 8002, 7875, 5868, 8006, 8020, 8035, 8026, 8037, 8030,
8036, 8038, 8039, 8042, 8043, 8045, 7722, 8047, 7650, 8024, 8049, 7770, 4320,
8053, 8044, 7758, 5892, 8057, 5988, 5964, 8054, 7782, 8055, 5796, 8032, 8059,
6036, 7840, 7794, 7806, 8060, 8050, 6084, 8062, 8063, 8065, 8066, 8067, 8068,
8069, 8074, 7830, 8075, 6204, 8073, 8077, 5940, 7842, 8079, 6060, 7952, 8083,
8078, 6228, 8085, 6252, 8087, 6276, 8089, 4620, 8093, 8084, 7854, 7866, 8086,
8090, 5460, 8097, 6324, 8095, 6348, 8098, 6396, 8008, 6300, 8048, 7878, 6372,
8203, 8099, 6420, 8205, 8207, 8209, 8223, 8225, 8227, 8229, 8233, 8237, 8243,
8239, 8245, 8247, 8235, 8249, 8255, 8253, 8257, 8259, 8263, 8267, 8265, 8269,
8273, 8275, 8277, 8279, 8283, 8285, 8287, 8289, 8293, 8297, 8299, 8295, 8303,
8092, 8305, 8204, 8307, 8206, 8309, 8222, 8323, 8327, 8329, 8333, 8228, 8325,
8339, 8230, 8335, 8234, 8345, 8242, 8337, 8236, 8347, 8254, 8343, 8246, 8349,
8258, 8353, 8252, 8357, 8266, 8355, 8276, 8359, 8278, 8363, 8260, 8365, 8282, 8367,
8270, 8369, 8284, 8373, 8290, 8375, 8294, 8377, 8300, 8302, 8383, 8306, 8308,
8324, 8387, 8326, 8389, 8330, 8332, 8393, 8338, 8342, 8395, 8348, 8350, 8354,
8362, 8399, 8356, 8366, 8372, 8405, 7902, 8385, 8374, 8378, 8380, 8386, 8390,
8396, 8398, 8402, 8379, 8404, 7890, 6492, 8403, 8407, 7926, 8409, 7950, 5568,
8397, 8420, 8423, 8425, 8427, 8429, 8435, 8422, 8433, 8426, 8437, 8434, 8438,
8443, 8446, 8439, 8447, 7962, 8445, 7938, 8444, 7974, 7986, 8450, 7998, 6540,
8449, 8022, 8453, 8458, 8034, 8455, 8046, 8457, 8058, 6444, 8459, 8094, 8070,
6564, 8462, 8463, 8465, 8467, 8469, 8470, 8082, 8473, 8474, 8202, 8475, 8226,
8477, 8238, 8479, 8250, 8483, 8482, 8485, 8262, 8487, 8286, 8489, 8274, 8493,
8486, 8494, 8322, 8495, 8346, 8497, 8382, 8503, 8428, 8499, 8358, 8452, 8507,
6588, 8468, 8498, 8394, 8506, 8476, 8509, 6468, 8505, 6636, 8056, 8492, 8525,
8523, 8527, 8529, 8533, 8522, 8537, 8524, 8539, 8534, 8542, 8543, 8546, 8547,
8298, 8535, 8548, 8334, 8530, 8549, 8454, 8406, 8545, 8442, 8553, 8554, 8466,
8555, 6684, 8557, 6708, 8500, 6732, 8563, 8558, 6756, 8072, 8559, 6828, 8565,
8564, 8566, 8567, 8569, 8572, 8573, 8578, 6852, 8577, 6876, 8570, 6924, 8575,
6948, 8579, 6996, 8080, 6660, 8096, 8540, 8478, 8370, 8585, 6804, 8582, 8583,
8587, 7044, 8430, 8590, 6972, 8593, 8588, 7068, 8594, 8502, 8589, 7284, 8595,
7332, 8597, 7356, 8224, 8599, 7404, 8490, 8526, 8603, 8596, 8602, 8605, 8606,
8607, 8609, 8620, 8623, 8627, 8625, 8629, 8633, 8626, 8635, 8636, 8630, 8638,
8639, 8642, 8637, 8644, 8643, 8645, 8647, 8649, 8650, 8653, 8654, 8657, 8662,
8655, 8659, 8663, 8660, 8665, 8666, 8667, 8668, 8669, 8673, 8674, 8675, 8677,
8678, 8679, 8683, 8684, 8685, 8686, 8687, 8689, 8690, 8692, 8693, 8695, 8697,
8698, 8699, 8702, 8703, 8705, 7092, 8707, 6780, 8709, 6900, 8200, 8723, 8725,
8727, 8733, 8726, 8735, 8732, 8737, 8734, 8738, 8740, 8538, 8708, 7020, 8739,
8746, 8745, 8562, 8729, 8747, 8550, 7236, 8749, 8574, 8586, 8722, 8753, 8756,
8758, 7428, 8755, 7452, 8759, 7548, 8598, 7476, 8762, 8763, 8765, 8767, 8769,
8770, 7260, 8773, 8774, 8622, 8743, 8777, 7380, 8779, 7500, 5256, 8757, 7524,
8783, 8780, 7572, 8787, 7596, 8248, 8775, 7668, 8782, 8789, 7620, 8793, 8786,
8788, 7692, 8795, 7764, 8794, 8634, 8750, 7788, 7740, 8646, 8785, 7836, 8797,
7860, 8798, 7908, 7932, 8803, 8764, 8805, 7308, 8804, 8658, 8799, 8004, 8670,
8807, 7884, 8682, 8809, 7644, 8822, 8823, 8825, 8827, 8829, 8833, 8806, 8828,
8835, 8834, 8830, 8836, 8837, 8839, 8842, 8843, 8845, 8694, 8846, 8847, 8706,
8849, 8742, 8853, 8852, 8857, 7956, 8264, 8855, 8028, 8859, 8052, 8863, 8854,
8754, 8766, 8858, 8076, 8860, 8865, 8866, 8867, 8870, 8220, 8869, 8873, 8875,
8244, 8877, 8268, 8879, 8292, 8885, 8364, 8878, 8340, 8882, 8883, 8876, 8884,
8730, 8887, 8388, 8890, 7980, 8436, 8893, 8894, 8778, 8460, 8889, 8484, 8790,
8508, 8532, 8897, 8556, 8899, 8580, 8604, 8895, 8628, 8903, 8900, 8652, 8907,
8700, 8676, 8902, 8905, 8724, 8909, 8772, 8923, 8927, 8929, 8925, 8933, 8906,
8908, 8796, 8924, 8935, 8926, 8939, 8930, 8932, 8945, 8826, 8937, 8938, 8942,
8943, 8947, 8850, 8748, 8802, 8949, 8862, 8953, 8948, 8886, 8950, 8844, 8838,
8954, 8898, 8868, 8955, 8922, 8957, 8934, 8959, 8956, 8962, 8963, 8965, 8966,
8967, 8969, 8972, 8975, 8958, 8974, 8970, 8940, 8977, 8978, 8979, 8980, 8983,
8986, 8985, 8987, 8989, 8988, 8990, 8993, 8995, 8994, 8997, 8996, 8998, 8999,
9002, 9003, 8240, 8973, 9004, 9005, 4368, 9007, 5592, 9023, 9025, 9029, 9033,
8272, 9027, 9035, 8288, 9009, 3360, 8296, 9037, 8320, 9043, 9022, 9039, 8336,
9020, 9047, 9006, 8344, 9026, 9049, 9030, 8360, 9028, 9053, 8368, 9034, 9038,
9044, 9042, 9055, 4704, 8874, 8982, 9057, 5664, 9046, 9050, 4872, 9045, 9058,
9052, 9059, 5208, 9063, 8384, 9062, 9065, 8392, 9067, 8408, 8946, 9069, 8432,
9073, 8440, 9054, 9066, 8456, 9074, 9070, 5640, 9077, 5736, 8464, 9075, 5784,
9078, 9060, 8480, 9079, 5808, 8892, 9083, 9068, 9076, 8488, 9082, 9085, 9084,
9086, 9087, 9089, 9092, 9093, 8504, 9094, 9095, 5376, 8528, 9097, 5856, 9098,
9202, 9203, 9205, 9209, 9223, 9227, 9229, 9233, 9235, 9239, 9245, 9237, 9253,
9247, 9249, 9255, 9257, 9259, 9263, 9265, 9267, 9269, 9273, 9277, 9283, 9275,
9287, 9285, 9289, 9293, 9295, 9299, 9303, 8536, 9206, 9305, 8552, 9099, 4200,
9207, 9307, 8560, 9226, 9309, 8576, 9236, 9323, 9325, 9329, 9335, 8584, 9222,
9327, 9337, 8600, 9220, 9339, 8608, 9225, 9343, 9230, 9347, 9238, 9349, 9242,
9345, 9254, 9353, 8624, 9243, 9355, 8632, 9359, 8648, 9250, 9357, 8656, 9244,
9363, 8672, 9279, 9365, 8696, 9260, 9367, 8704, 9090, 5880, 8964, 9262, 9373,
8720, 9297, 9375, 8728, 9333, 8680, 9266, 9377, 8744, 9234, 9379, 8752, 9369, 8768,
9274, 9383, 9268, 9385, 9278, 9389, 9284, 9393, 8776, 9286, 9395, 8792, 9397,
8800, 8820, 9387, 9290, 9399, 8824, 9403, 9298, 9407, 9246, 9409, 9258, 9427,
9425, 9429, 9433, 9302, 9437, 9322, 9439, 9326, 9443, 9334, 9338, 9292, 9435,
9346, 9350, 8848, 9270, 9445, 9282, 9447, 9294, 9449, 9330, 8840, 9306, 8864,
9358, 9308, 9332, 9455, 9354, 9362, 9457, 9374, 9370, 8872, 9405, 9366, 8888,
9036, 8896, 9340, 9382, 9463, 9386, 9356, 8936, 9364, 9394, 9398, 9380, 9388,
9404, 9390, 8920, 9453, 9406, 9422, 9465, 9434, 9430, 9442, 9467, 9446, 9454,
9402, 9469, 9458, 9426, 9473, 9466, 9470, 9438, 9475, 9462, 9479, 9474, 9482,
9483, 9478, 9487, 9489, 9485, 9493, 9490, 9494, 9497, 9498, 9499, 9502, 9503,
8944, 9505, 5928, 9507, 5952, 9509, 6024, 9423, 9523, 9527, 9529, 9533, 8968,
9428, 9525, 9537, 8984, 9506, 8992, 9535, 9008, 9204, 9539, 9032, 9545, 9526,
9543, 9538, 9436, 9530, 9056, 9064, 9542, 9547, 9546, 9553, 9088, 9228, 9555,
6072, 9459, 9534, 9554, 9557, 6096, 8960, 9452, 9559, 6288, 9477, 9550, 6384,
9562, 9563, 9208, 9565, 9224, 9569, 9232, 9575, 6432, 9577, 6456, 9549, 9566,
9248, 9573, 9256, 9579, 6504, 9567, 9272, 9587, 9276, 9589, 9348, 9574, 9578,
9372, 9593, 9296, 9583, 9476, 9586, 9484, 9570, 6528, 9597, 6576, 9304, 9590,
6648, 9495, 9582, 9599, 6672, 9585, 9444, 9595, 6744, 9598, 9492, 9605, 9328,
9607, 9040, 9602, 9609, 9080, 9300, 9200, 9623, 9625, 9627, 9629, 9633, 9280,
9635, 9344, 9622, 9637, 9320, 9643, 9626, 9645, 9634, 9638, 9460, 9646, 9647,
9649, 9650, 9352, 9653, 9368, 9500, 6792, 9655, 9376, 9392, 9659, 9424, 9663,
9400, 9606, 9440, 9642, 9665, 9448, 9654, 9658, 9508, 9524, 9667, 9472, 9669,
9464, 9662, 9673, 9488, 9670, 9496, 9674, 9677, 9532, 9679, 9536, 9544, 9678,
9556, 9548, 9682, 9683, 9572, 9687, 9580, 9564, 9686, 9596, 9568, 9604, 9685,
9628, 9689, 9620, 9695, 9584, 9694, 9697, 9560, 9592, 9699, 9520, 9703, 9608,
9644, 9698, 9652, 9707, 6000, 9603, 9632, 9709, 6240, 9639, 9640, 9705, 6864,
9657, 9656, 9664, 9706, 9668, 9676, 9680, 9692, 9723, 9725, 9727, 9733, 9700,
6360, 9688, 9722, 9735, 9704, 9690, 9724, 9739, 9728, 9743, 9734, 9742, 9745,
9726, 9749, 9746, 9753, 9736, 9740, 9750, 6936, 9730, 9748, 9754, 9757, 7008,
9252, 9737, 9752, 9759, 7032, 9755, 7248, 9675, 9763, 9760, 9764, 9766, 9767,
9769, 9770, 6600, 9693, 9758, 9588, 9636, 9772, 9773, 9775, 7296, 9777, 6960,
9776, 9778, 9420, 9779, 7080, 9342, 9785, 9708, 9732, 9787, 9762, 9789, 9780,
9782, 9795, 7368, 9788, 9790, 7320, 9797, 7440, 9378, 9794, 9798, 9796, 9784,
9799, 7464, 9729, 9803, 9793, 9802, 9805, 9786, 9806, 9807, 9804, 9809, 9660,
9800, 9820, 9823, 9827, 9825, 9829, 9833, 9826, 9835, 9836, 9830, 9838, 9839,
9842, 9843, 9845, 9822, 9847, 9834, 9850, 9844, 9849, 9853, 9854, 9857, 9852,
9859, 9858, 9862, 9863, 9860, 9865, 9866, 9867, 9868, 9869, 9874, 9875, 9876,
9878, 9879, 9883, 9877, 9885, 9884, 9870, 9886, 9887, 9889, 9890, 9892, 9893,
9895, 9894, 9897, 9899, 9898, 9902, 9903, 9808, 9905, 6888, 9747, 9906, 9824,
9907, 7536, 9832, 9923, 9925, 9929, 9933, 9848, 9922, 9935, 9856, 9908, 9924,
9937, 9872, 9939, 9880, 9926, 9943, 9934, 9938, 9932, 9947, 9930, 9896, 9940,
9942, 9949, 9946, 9950, 7224, 9783, 9953, 9904, 9955, 7392, 9959, 7584, 9486,
9957, 7608, 9837, 9956, 9928, 9965, 9944, 9958, 9948, 9962, 9967, 9920, 9969,
9952, 9973, 9964, 9970, 7656, 9873, 9974, 9966, 9968, 9975, 7752, 9909, 6720,
9855, 9977, 7680, 9927, 9979, 7800, 9396, 9976, 9980, 9978, 9983, 9982, 9985,
9986, 9987, 9988, 9989, 9993, 9992, 9995, 7728, 9945, 9994, 9997, 7824, 9963,
9998, 9996, 20000, 9765, 20002, 9999, 7872, 20003, 20005, 20007, 20009, 20023,
20027, 20025, 20029, 20033, 20035, 20039, 20045, 20037, 20047, 20043, 20053,
20057, 20049, 20055, 20059, 20063, 20065, 20067, 20073, 20075, 20077, 20079,
20085, 20069, 20083, 20087, 20089, 20093, 20095, 20099, 20203, 20207, 20205,
20097, 20225, 20209, 20227, 20229, 20233, 20237, 20239, 20243, 20245, 20223,
20249, 20235, 20257, 20247, 20253, 20263, 20255, 20259, 20267, 20269, 20265,
20273, 20275, 20277, 20283, 20279, 20285, 20287, 20289, 20293, 20297, 20299,
20303, 20305, 20309, 20323, 20327, 20329, 20333, 20335, 20339, 20345, 20347,
20353, 20357, 20359, 20363, 20365, 20369, 20375, 20383, 20377, 20387, 20389,
20393, 20395, 20399, 20405, 20307, 20407, 20295, 20337, 20423, 20425, 20343,
20429, 20325, 20437, 20435, 20443, 20447, 20355, 20449, 20373, 20453, 20459,
20379, 20455, 20349, 20465, 20367, 20467, 20385, 20473, 20477, 20397, 20479,
20409, 20427, 20403, 20483, 20485, 20433, 20489, 20445, 20439, 20495, 20463,
20497, 20469, 20487, 20457, 20493, 20503, 20507, 20499, 20505, 20509, 20523,
20527, 20529, 20533, 20537, 20539, 20543, 20549, 20553, 20557, 20547, 20563,
20567, 20569, 20559, 20573, 20579, 20577, 20583, 20587, 20589, 20593, 20597,
20599, 20603, 20525, 20607, 20535, 20609, 20545, 20623, 20555, 20627, 20565,
20629, 20575, 20633, 20585, 20637, 20605, 20639, 20635, 20647, 20595, 20643,
20645, 20649, 20625, 20653, 20657, 20659, 20663, 20665, 20667, 20655, 20669,
20675, 20673, 20677, 20679, 20683, 20687, 20689, 20685, 20693, 20695, 20697,
20703, 20705, 20707, 20709, 20723, 20725, 20729, 20733, 20735, 20737, 20743,
20747, 20739, 20749, 20753, 20759, 20757, 20763, 20765, 20767, 20745, 20773,
20777, 20775, 20779, 20785, 20787, 20789, 20793, 20795, 20803, 20699, 20755,
20799, 20805, 20727, 20807, 20809, 20769, 20823, 20783, 20827, 20829, 20797,
20833, 20825, 20837, 20843, 20839, 20845, 20847, 20835, 20849, 20855, 20853,
20857, 20859, 20863, 20867, 20865, 20869, 20873, 20875, 20877, 20879, 20883,
20885, 20887, 20889, 20893, 20897, 20899, 20895, 20903, 20905, 20909, 20923,
20927, 20929, 20933, 20935, 20939, 20945, 20937, 20947, 20949, 20953, 20957,
20959, 20963, 20965, 20967, 20955, 20969, 20973, 20975, 20977, 20983, 20987,
20985, 20989, 20993, 20995, 20999, 22003, 22007, 20907, 22009, 22025, 20943,
22027, 20925, 22029, 22033, 22037, 22039, 22043, 22045, 20979, 22035, 22049,
22047, 20997, 22053, 22057, 22023, 22055, 22059, 22063, 22067, 22005, 22069,
22065, 22073, 22075, 22077, 22079, 22083, 22085, 22087, 22089, 22093, 22097,
22205, 22099, 22207, 22095, 22209, 22223, 22225, 22203, 22229, 22227, 22233,
22235, 22237, 22243, 22247, 22245, 22239, 22249, 22253, 22259, 22263, 22255,
22257, 22269, 22265, 22267, 22273, 22277, 22275, 22279, 22283, 22285, 22287,
22289, 22295, 22297, 22299, 22303, 22307, 22325, 22309, 22327, 22333, 22337,
22339, 22343, 22345, 22349, 22355, 22357, 22363, 22367, 22369, 22373, 22375,
22387, 22385, 22379, 22397, 22399, 22393, 22403, 22405, 22293, 22409, 22305,
22423, 22427, 22329, 22429, 22323, 22433, 22435, 22439, 22445, 22347, 22447,
22335, 22453, 22457, 22353, 22459, 22359, 22463, 22465, 22377, 22469, 22389,
22475, 22383, 22477, 22395, 22483, 22487, 22425, 22407, 22437, 22489, 22443,
22493, 22495, 22449, 22467, 22455, 22473, 22499, 22479, 22485, 22497, 22503,
22507, 22509, 22523, 22529, 22533, 22537, 22543, 22547, 22527, 22539, 22549,
22553, 22559, 22557, 22563, 22567, 22569, 22573, 22577, 22579, 22583, 22589,
22587, 22593, 22597, 22607, 22525, 22599, 22603, 22505, 22609, 22535, 22627,
22545, 22623, 22555, 22629, 22565, 22633, 22585, 22637, 22595, 22639, 22625,
22643, 22645, 22647, 22605, 22649, 22575, 22653, 22657, 22663, 22655, 22659,
22667, 22635, 22669, 22665, 22673, 22675, 22677, 22679, 22683, 22685, 22687,
22689, 22693, 22697, 22695, 22699, 22703, 22705, 22707, 22709, 22723, 22727,
22725, 22733, 22735, 22739, 22745, 22737, 22747, 22749, 22753, 22759, 22763,
22765, 22767, 22755, 22769, 22773, 22775, 22777, 22779, 22783, 22787, 22789,
22793, 22795, 22803, 22729, 22805, 22743, 22807, 22797, 22809, 22757, 22823,
22799, 22825, 22827, 22829, 22785, 22833, 22835, 22837, 22843, 22847, 22839,
22849, 22845, 22853, 22859, 22857, 22863, 22855, 22867, 22865, 22869, 22873,
22877, 22875, 22879, 22885, 22883, 22889, 22893, 22895, 22897, 22899, 22903,
22907, 22909, 22925, 22927, 22929, 22933, 22937, 22943, 22939, 22945, 22947,
22935, 22949, 22953, 22957, 22963, 22955, 22967, 22965, 22969, 22973, 22975,
22979, 22983, 22985, 22987, 22989, 22993, 22997, 22999, 23003, 23005, 23009,
23023, 23027, 23029, 23033, 23035, 23039, 23045, 23047, 23053, 23057, 23059,
23063, 23065, 23069, 23075, 23077, 23083, 23087, 23089, 23093, 23095, 23099,
23203, 23207, 23209, 23225, 23227, 23237, 23239, 23233, 23243, 23245, 23249,
23255, 23257, 23263, 23267, 23269, 23273, 23279, 23285, 23287, 23293, 23275,
23297, 23299, 23303, 23305, 23309, 23323, 23327, 23329, 23333, 23335, 23339,
23345, 23347, 23353, 23357, 23363, 23359, 23369, 23365, 23377, 23375, 23383,
23387, 23389, 23393, 23395, 23399, 23405, 23407, 23423, 23425, 23429, 23435,
23437, 23447, 23449, 23443, 23453, 23459, 23467, 23455, 23473, 23465, 23477,
23479, 23483, 23485, 23489, 23495, 23497, 23503, 23507, 23509, 23527, 23533,
23537, 23539, 23543, 23549, 23557, 23563, 23567, 23573, 23579, 23587, 23593,
23569, 23597, 23599, 23603, 23525, 23609, 23545, 23623, 23555, 23627, 23575,
23629, 23585, 23633, 23605, 23639, 23635, 23647, 23645, 23653, 23657, 23659,
23663, 23665, 23669, 23675, 23677, 23683, 23687, 23689, 23693, 23695, 23699,
23705, 23707, 23725, 23729, 23735, 23743, 23747, 23749, 23753, 23759, 23767,
23755, 23773, 23777, 23783, 23785, 23789, 23795, 23797, 23803, 23723, 23809, 23737,
23825, 23779, 23827, 23833, 23765, 23837, 23839, 23807, 23843, 23845, 23849,
23855, 23857, 23867, 23869, 23863, 23873, 23875, 23879, 23885, 23887, 23893,
23897, 23899, 23903, 23905, 23909, 23923, 23927, 23929, 23933, 23935, 23939,
23945, 23947, 23953, 23957, 23959, 23963, 23965, 23969, 23975, 23977, 23983,
23987, 23993, 23989, 23995, 23999, 24005, 22887, 22905, 23007, 24007, 22923,
24023, 24025, 22959, 23037, 24029, 23025, 24037, 24035, 24043, 24047, 22977,
23043, 24049, 23055, 24053, 24059, 23073, 24055, 23049, 24065, 23067, 24067,
23085, 24073, 24077, 23097, 24079, 23223, 24083, 24085, 23079, 24089, 23205,
24097, 23235, 24203, 24095, 23253, 24209, 23259, 24223, 24205, 23229, 24227,
23265, 24229, 23277, 24233, 24235, 24239, 24245, 23247, 24247, 23283, 24253,
24257, 23307, 24259, 23289, 24263, 24265, 23337, 24275, 23343, 24269, 23295,
24277, 23325, 24283, 24287, 23349, 24289, 23367, 24293, 24295, 23379, 24299,
23385, 24307, 24305, 24323, 24325, 24329, 24335, 24337, 24343, 24347, 24349,
24353, 24359, 24367, 24355, 24373, 24365, 24377, 24379, 24383, 24385, 24389,
24395, 24397, 24403, 24407, 23355, 24409, 23397, 24425, 23373, 24427, 23403,
24433, 24437, 24439, 24443, 24445, 23409, 24449, 23433, 24455, 23427, 24457,
23439, 24463, 24467, 23445, 24469, 23457, 24473, 24475, 23463, 24479, 23469,
24485, 23487, 24487, 23475, 24497, 23493, 24493, 24499, 23505, 24503, 24509,
23523, 24523, 24527, 23529, 24529, 23547, 24533, 24539, 24547, 23553, 24553,
24557, 23559, 24559, 23577, 24569, 23583, 24563, 24577, 23589, 24583, 24587,
23607, 24505, 23499, 24535, 24589, 23637, 24545, 23643, 24565, 23649, 24575,
23673, 24593, 24599, 23667, 24595, 23703, 24607, 23535, 24623, 24605, 23679,
24625, 23697, 24629, 23565, 24637, 24635, 24643, 24647, 23595, 24649, 23655,
24653, 24659, 23709, 24655, 23727, 24665, 23733, 24667, 23685, 24673, 24677,
23739, 24679, 23745, 24683, 24685, 23757, 24697, 23763, 24695, 23793, 24707,
23769, 24709, 23775, 24727, 23787, 24725, 23799, 24733, 24737, 24739, 24743,
24749, 23829, 24689, 23835, 24703, 24755, 23823, 24745, 23847, 24757, 23853,
24763, 24767, 23805, 24769, 23865, 24773, 24775, 23859, 24779, 23883, 24785,
23889, 24787, 23895, 24793, 24797, 23907, 24799, 23925, 24803, 24805, 23877,
24809, 23937, 24823, 24827, 23943, 24829, 23955, 24833, 24835, 24839, 24845,
23949, 24847, 23967, 24853, 24857, 23973, 24859, 23979, 24863, 24865, 23997,
24869, 24009, 24027, 23985, 24877, 24033, 24875, 24039, 24883, 24887, 24057,
24063, 24889, 24045, 24003, 24893, 24895, 24069, 24087, 24075, 24093, 24899,
24099, 24207, 24225, 24237, 24905, 24243, 24907, 24249, 24267, 24273, 24923,
24925, 24279, 24285, 24297, 24303, 24929, 24333, 24935, 24937, 24943, 24947,
24357, 24949, 24339, 24953, 24959, 24369, 24955, 24387, 24965, 24393, 24967,
24375, 24973, 24977, 24405, 24309, 24979, 24429, 24423, 24983, 24985, 24447,
24327, 24989, 24459, 24477, 24345, 24997, 24483, 24995, 24537, 25003, 25007,
24363, 25009, 24549, 24567, 24399, 25025, 24453, 25027, 24489, 24465, 24507,
24543, 25033, 25037, 25043, 25039, 25049, 24573, 25057, 24579, 24603, 25045,
24597, 24609, 24495, 24627, 24435, 25063, 25067, 24639, 25055, 24633, 25069,
24657, 24663, 25073, 25079, 24693, 25075, 24669, 24555, 24687, 24525, 24699,
24585, 24723, 25085, 24729, 24645, 24747, 24705, 24753, 25087, 24777, 24735,
25093, 25097, 24783, 25099, 24789, 24765, 24807, 24795, 24837, 25205, 24759,
24873, 25223, 25207, 24849, 24675, 24867, 24825, 24843, 25225, 24879, 24855,
24897, 24909, 24927, 24933, 25229, 24963, 25235, 25237, 25243, 25247, 24903,
25249, 24969, 24945, 24987, 24999, 25005, 24939, 25253, 25259, 25023, 25267,
24957, 25059, 25053, 25273, 25279, 25077, 24993, 25255, 25029, 25089, 25203,
25277, 25047, 25083, 25283, 25289, 25233, 25297, 25239, 25303, 25307, 25309,
25327, 25337, 25339, 25333, 25343, 25349, 25357, 25363, 25367, 25369, 25373,
25379, 25387, 25393, 25397, 25399, 25403, 25409, 25257, 25209, 25269, 25287,
25227, 25293, 25423, 25427, 25299, 25323, 25429, 25329, 25433, 25439, 25447,
25353, 25453, 25457, 25359, 25459, 25347, 25463, 25469, 25377, 25477, 25383,
25483, 25487, 25407, 25437, 25489, 25449, 25467, 25443, 25493, 25499, 25473,
25507, 25479, 25503, 25523, 25529, 25509, 25527, 25497, 25537, 25547, 25533,
25543, 25549, 25539, 25553, 25559, 25557, 25563, 25567, 25569, 25573, 25577,
25579, 25583, 25589, 25593, 25597, 25603, 25607, 25587, 25609, 25599, 25627,
25623, 25633, 25637, 25639, 25643, 25649, 25629, 25647, 25653, 25657, 25659,
25663, 25667, 25673, 25679, 25687, 25677, 25689, 25669, 25683, 25693, 25697,
25699, 25703, 25709, 25707, 25723, 25727, 25729, 25733, 25747, 25737, 25757,
25743, 25759, 25763, 25769, 25773, 25777, 25749, 25779, 25783, 25787, 25789,
25793, 25799, 25797, 25807, 25803, 25739, 25829, 25753, 25843, 25823, 25837,
25847, 25827, 25833, 25849, 25809, 25853, 25859, 25863, 25867, 25839, 25873,
25877, 25857, 25869, 25879, 25883, 25889, 25887, 25897, 25899, 25903, 25907,
25909, 25923, 25927, 25933, 25937, 25939, 25943, 25949, 25953, 25957, 25959,
25963, 25967, 25969, 25973, 25979, 25987, 25989, 25977, 25993, 25997, 25999,
26003, 25265, 25263, 26009, 25035, 26023, 25285, 25389, 26027, 24975, 26007,
25065, 25767, 25929, 26029, 25095, 26033, 25295, 26039, 25325, 26047, 25245,
25893, 26053, 26057, 25947, 26043, 25345, 26059, 26049, 25275, 25983, 26063,
25355, 26069, 25305, 26077, 25335, 26083, 25375, 26087, 25365, 26089, 25385,
26093, 25405, 26037, 25435, 26099, 25395, 26203, 25445, 26067, 25425, 26073,
25465, 26079, 25455, 26097, 25475, 26207, 25485, 26209, 25495, 26223, 25505,
26227, 25525, 26229, 25535, 26233, 25555, 26237, 25565, 26239, 25585, 26243,
25595, 26247, 25545, 26249, 25575, 26253, 26257, 26259, 26263, 25625, 26267,
25605, 26269, 25635, 26273, 25645, 26277, 25665, 26279, 25675, 26283, 25655,
26287, 25685, 26289, 25705, 26293, 25735, 26297, 25745, 26303, 25765, 26307,
25775, 26309, 25795, 26323, 25805, 26299, 25725, 26329, 25825, 26327, 25835,
26333, 25855, 26337, 25885, 26339, 25865, 26343, 25895, 26347, 25925, 26349,
25945, 26353, 26357, 26359, 26363, 25955, 26367, 25975, 26373, 25985, 26369,
26005, 26377, 26035, 26383, 26045, 26379, 26065, 26387, 26095, 26389, 26075,
26393, 26225, 26397, 26245, 26399, 26255, 26403, 26275, 26407, 25695, 26409,
25755, 26423, 26285, 26427, 25785, 26429, 25845, 26433, 26305, 26437, 26335,
26443, 26345, 26447, 25875, 26449, 25905, 26439, 26365, 26453, 26459, 26457,
26463, 26375, 26473, 26395, 26467, 25965, 26477, 25995, 26479, 26025, 26469,
25935, 26483, 26405, 26487, 26055, 26489, 26085, 26493, 26425, 26497, 26205,
26499, 26265, 26503, 26507, 26527, 26529, 26509, 26533, 26537, 26539, 26543,
26549, 26547, 26553, 26557, 26559, 26563, 26567, 26569, 26573, 26587, 26577,
26583, 26579, 26589, 26593, 26597, 26599, 26603, 26435, 26609, 26295, 26607,
26235, 26623, 26455, 26523, 26627, 26325, 26629, 26355, 26633, 26465, 26637,
26485, 26639, 26495, 26643, 26525, 26647, 26385, 26653, 26657, 26659, 26663,
26545, 26649, 26445, 26667, 26475, 26669, 26535, 26677, 26505, 26673, 26555,
26679, 26575, 26683, 26585, 26687, 26595, 26689, 26565, 26693, 26605, 26697,
26625, 26699, 26635, 26707, 26645, 26703, 26665, 26709, 26655, 26723, 26675, 26727,
26685, 26729, 26695, 26733, 26725, 26737, 26735, 26743, 26749, 26745, 26739,
26753, 26759, 26763, 26755, 26757, 26767, 26765, 26769, 26773, 26777, 26779,
26783, 26785, 26787, 26793, 26795, 26797, 26799, 26805, 26747, 26807, 26809,
26705, 26823, 26789, 26825, 26803, 26827, 26829, 26833, 26837, 26839, 26843,
26845, 26847, 26835, 26849, 26853, 26857, 26863, 26855, 26859, 26867, 26865,
26869, 26873, 26875, 26877, 26879, 26885, 26883, 26887, 26889, 26893, 26897,
26895, 26899, 26903, 26905, 26907, 26909, 26923, 26927, 26925, 26929, 26933,
26935, 26939, 26945, 26943, 26947, 26949, 26953, 26957, 26959, 26963, 26965,
26967, 26969, 26975, 26977, 26979, 26983, 26987, 26989, 26985, 26993, 26995,
26997, 27003, 27005, 26937, 27007, 26955, 26999, 27023, 27025, 26973, 27029,
27033, 27035, 27037, 27043, 27047, 27009, 27039, 27049, 27053, 27059, 27057,
27063, 27065, 27067, 27045, 27073, 27077, 27075, 27079, 27085, 27087, 27089,
27093, 27095, 27203, 27205, 27099, 27227, 27207, 27225, 27229, 27233, 27235,
27239, 27245, 27243, 27247, 27249, 27253, 27257, 27259, 27263, 27269, 27255,
27267, 27273, 27275, 27277, 27283, 27287, 27285, 27289, 27295, 27299, 27303,
27305, 27323, 27325, 27329, 27337, 27343, 27347, 27353, 27359, 27367, 27355,
27373, 27365, 27379, 27383, 27385, 27389, 27395, 27397, 27403, 27407, 27297,
27309, 27409, 27327, 27425, 27333, 27427, 27339, 27437, 27439, 27443, 27445,
27357, 27449, 27345, 27457, 27369, 27455, 27387, 27463, 27467, 27375, 27469,
27393, 27473, 27479, 27399, 27485, 27423, 27487, 27429, 27435, 27493, 27497,
27453, 27499, 27465, 27459, 27483, 27505, 27477, 27495, 27507, 27509, 27523,
27527, 27529, 27533, 27539, 27547, 27537, 27553, 27557, 27543, 27563, 27569,
27577, 27549, 27579, 27583, 27589, 27593, 27599, 27597, 27607, 27525, 27567,
27603, 27535, 27623, 27565, 27609, 27555, 27627, 27575, 27633, 27595, 27637,
27605, 27639, 27625, 27647, 27585, 27649, 27635, 27653, 27659, 27663, 27655,
27667, 27645, 27669, 27665, 27673, 27677, 27675, 27679, 27683, 27689, 27687,
27693, 27695, 27697, 27703, 27707, 27705, 27709, 27723, 27725, 27729, 27733,
27737, 27739, 27743, 27745, 27747, 27735, 27749, 27753, 27757, 27759, 27763,
27767, 27765, 27773, 27775, 27777, 27779, 27785, 27787, 27789, 27793, 27799,
27795, 27803, 27805, 27807, 27809, 27823, 27827, 27829, 27833, 27835, 27847,
27837, 27845, 27843, 27857, 27849, 27859, 27863, 27865, 27869, 27875, 27873,
27877, 27855, 27879, 27883, 27887, 27885, 27889, 27893, 27899, 27897, 27903,
27905, 27907, 27925, 27929, 27933, 27935, 27943, 27947, 27939, 27949, 27953,
27959, 27957, 27967, 27955, 27969, 27973, 27977, 27975, 27983, 27985, 27987,
27989, 27995, 27997, 28003, 27055, 27927, 28005, 27027, 27945, 28009, 27069,
28023, 27083, 28025, 27097, 28027, 27963, 28033, 27209, 28029, 27223, 28037,
28039, 27265, 27999, 28043, 27293, 28045, 27237, 28055, 27279, 28047, 28053,
27307, 28057, 28059, 27349, 28067, 28065, 27363, 28069, 27335, 28073, 28075,
28079, 28083, 27377, 28085, 27433, 28087, 28089, 27447, 28093, 27475, 28097,
28095, 27489, 28099, 27503, 28207, 28205, 27559, 28209, 27545, 28223, 27587,
28227, 28225, 27573, 28229, 27629, 28235, 27643, 28237, 28243, 27685, 28233,
27727, 28239, 27755, 28247, 28249, 27699, 28253, 27769, 28255, 27657, 28257,
28263, 27797, 28265, 27783, 28267, 28269, 27825, 28277, 28275, 28279, 28283,
27839, 28285, 27853, 28289, 27867, 28293, 27895, 28297, 28295, 27923, 28303,
27937, 28307, 28309, 27965, 28299, 27979, 28325, 28007, 28305, 28049, 27993,
28327, 28333, 28063, 28259, 28077, 28323, 28273, 28337, 28339, 28343, 28345,
28349, 28355, 28357, 28363, 28367, 28369, 28373, 28375, 28379, 28387, 28393,
28385, 28397, 28403, 28399, 28405, 27909, 28335, 28409, 28203, 28423, 28427,
28347, 28429, 28245, 28287, 28353, 28433, 28435, 28439, 28445, 28329, 28447,
28359, 28453, 28457, 28377, 28459, 28383, 28463, 28465, 28389, 28469, 28365,
28477, 28395, 28483, 28475, 28407, 28425, 28437, 28487, 28443, 28489, 28455,
28449, 28473, 28493, 28495, 28479, 28499, 28497, 28505, 28467, 28485, 28503,
28507, 28509, 28523, 28529, 28527, 28533, 28537, 28543, 28547, 28549, 28553,
28559, 28563, 28567, 28557, 28569, 28573, 28577, 28579, 28583, 28589, 28587,
28593, 28597, 28599, 28603, 28525, 28539, 28607, 28535, 28609, 28545, 28623,
28555, 28627, 28565, 28629, 28585, 28633, 28595, 28637, 28625, 28639, 28643,
28645, 28647, 28575, 28649, 28605, 28653, 28657, 28659, 28663, 28655, 28667,
28635, 28669, 28673, 28675, 28677, 28683, 28679, 28685, 28687, 28689, 28693,
28697, 28695, 28699, 28703, 28705, 28709, 28723, 28727, 28725, 28729, 28733,
28739, 28745, 28737, 28747, 28743, 28753, 28757, 28759, 28767, 28755, 28769,
28765, 28773, 28775, 28779, 28783, 28787, 28785, 28789, 28793, 28795, 28797,
28799, 28803, 28735, 28807, 28809, 28707, 28823, 28763, 28825, 28749, 28829,
28777, 28827, 28835, 28837, 28843, 28805, 28833, 28847, 28839, 28849, 28853,
28859, 28857, 28863, 28855, 28867, 28845, 28869, 28865, 28873, 28877, 28879,
28883, 28885, 28887, 28893, 28889, 28875, 28897, 28895, 28903, 28907, 28905,
28909, 28923, 28925, 28927, 28929, 28933, 28937, 28939, 28943, 28945, 28947,
28949, 28955, 28957, 28963, 28967, 28965, 28959, 28969, 28973, 28975, 28977,
28979, 28983, 28985, 28987, 28993, 28997, 28995, 28999, 29003, 29005, 29009,
29023, 29027, 29033, 29029, 29035, 29039, 29045, 29037, 29047, 29049, 29053,
29057, 29059, 29063, 29065, 29067, 29055, 29069, 29073, 29075, 29077, 29083,
29087, 29089, 29085, 29093, 29095, 29099, 29203, 29207, 29209, 29225, 29227,
29229, 29233, 29237, 29243, 29239, 29245, 29247, 29235, 29249, 29253, 29257,
29263, 29255, 29267, 29265, 29269, 29273, 29275, 29279, 29283, 29285, 29287,
29289, 29293, 29297, 29299, 29303, 29305, 29309, 29323, 29327, 29329, 29333,
29335, 29339, 29345, 29347, 29353, 29357, 29359, 29363, 29365, 29369, 29375,
29377, 29383, 29387, 29389, 29393, 29395, 29399, 29405, 29307, 29423, 29407,
29325, 29429, 29337, 29425, 29343, 29435, 29437, 29443, 29447, 29355, 29449,
29373, 29453, 29459, 29379, 29455, 29397, 29465, 29409, 29427, 29433, 29467,
29445, 29463, 29473, 29479, 29469, 29477, 29483, 29485, 29487, 29489, 29495,
29497, 29499, 29503, 29507, 29509, 29523, 29527, 29537, 29539, 29533, 29543,
29549, 29553, 29557, 29559, 29563, 29567, 29569, 29573, 29579, 29577, 29587,
29593, 29597, 29599, 29589, 29603, 29525, 29607, 29535, 29609, 29505, 29623,
29545, 29627, 29555, 29629, 29575, 29633, 29585, 29639, 29605, 29643, 29635,
29647, 29595, 29649, 29625, 29653, 29657, 29663, 29645, 29659, 29667, 29665,
29669, 29675, 29677, 29679, 29683, 29687, 29685, 29689, 29693, 29695, 29697,
29699, 29703, 29705, 29707, 29723, 29725, 29733, 29735, 29737, 29747, 29739,
29749, 29753, 29759, 29767, 29755, 29769, 29765, 29773, 29777, 29775, 29779,
29783, 29789, 29787, 29793, 29795, 29797, 29803, 29729, 29805, 29743, 29807,
29809, 29757, 29823, 29785, 29829, 29825, 29827, 29833, 29837, 29839, 29843,
29845, 29847, 29849, 29855, 29857, 29859, 29863, 29867, 29865, 29869, 29873,
29875, 29877, 29879, 29885, 29883, 29887, 29893, 29897, 29895, 29899, 29903,
29905, 29909, 29923, 29927, 29929, 29933, 29935, 29939, 29945, 29937, 29947,
29949, 29953, 29957, 29959, 29963, 29965, 29967, 29955, 29969, 29973, 29975, 29977,
29983, 29987, 29985, 29989, 29993, 29995, 29999, 30003, 20006, 20475, 28899,
30005, 20008, 22365, 30007, 20024, 22995, 30009, 20020, 23625, 30023, 30025,
30029, 30035, 20026, 24255, 28953, 30037, 20030, 30043, 20038, 30047, 20042,
24885, 28989, 30027, 30049, 20050, 29007, 30039, 20032, 30053, 20036, 30055,
20044, 26775, 29079, 30045, 20054, 29043, 30059, 20048, 27405, 29097, 30057,
20056, 29223, 30065, 20062, 28035, 30067, 20060, 28665, 29259, 30063, 20066,
28935, 30073, 20068, 29025, 30077, 20072, 29205, 30079, 20074, 29277, 30075,
20078, 29349, 30083, 20084, 29295, 30089, 20086, 29367, 30085, 20092, 30093,
20080, 29385, 30097, 20096, 30095, 20098, 30099, 20090, 30203, 30205, 30209,
30223, 30227, 30229, 30233, 30235, 30239, 30245, 30247, 30253, 30257, 30259,
30263, 30265, 30269, 30275, 30277, 30283, 30287, 30293, 30289, 30295, 30299,
30305, 20204, 29403, 30307, 20200, 29439, 30323, 30325, 30329, 30335, 20206,
29457, 30207, 30337, 20222, 29475, 30237, 30343, 20230, 30347, 20234, 30349,
20242, 29493, 30353, 20224, 29529, 30243, 30355, 20228, 29547, 30273, 30365,
20236, 30359, 20246, 29565, 30279, 30367, 20240, 29583, 30373, 20248, 29637,
30377, 20252, 29673, 30379, 20254, 29709, 30225, 30383, 20258, 29727, 30255,
30389, 20260, 29655, 30297, 30385, 20266, 29745, 30309, 20264, 29763, 30395,
20272, 29835, 30397, 20270, 29853, 30403, 20278, 29889, 30327, 30407, 20282,
29799, 30333, 20276, 29907, 30363, 20284, 29925, 30369, 20288, 29943, 30409,
20290, 30345, 20294, 30387, 20302, 30425, 30427, 30433, 20306, 30437, 20326,
30439, 20330, 30443, 20338, 30445, 20342, 30449, 20350, 30457, 20354, 30463,
20362, 30455, 20366, 30467, 20374, 30469, 20378, 30473, 20386, 30475, 20402,
29979, 30399, 20296, 30405, 20398, 30479, 20390, 30485, 20422, 29997, 30423,
30487, 20434, 30493, 20426, 30033, 20300, 30497, 20438, 30499, 20446, 30069,
20308, 30503, 20324, 30505, 20332, 30509, 20336, 30523, 30527, 30529, 30533,
20344, 30535, 20348, 30539, 20356, 30547, 20458, 30087, 20372, 30545, 20462,
30249, 30553, 20368, 30557, 20392, 30559, 20384, 30563, 20396, 30565, 20404,
30267, 30575, 20408, 30285, 30569, 20428, 30303, 20320, 30577, 20432, 30583,
20444, 30339, 20360, 30587, 20452, 30357, 20456, 30393, 20380, 30589, 20468,
30375, 20464, 30429, 30593, 20474, 30435, 20482, 30447, 20450, 30453, 20486,
30459, 20494, 30477, 20470, 30465, 20498, 30489, 20506, 30483, 20522, 30507,
20476, 30495, 20534, 30599, 20488, 30525, 30607, 20420, 30537, 20492, 30543,
20542, 30549, 20546, 30567, 20504, 30573, 20528, 30579, 20536, 30623, 30595,
20524, 30597, 20548, 30603, 20440, 30555, 20552, 30609, 20480, 30585, 20554,
30627, 30605, 20558, 30629, 30625, 30637, 20500, 30633, 20530, 30643, 20566,
30639, 20540, 30647, 20570, 30649, 20578, 30657, 20564, 30653, 20572, 30659,
20576, 30663, 20560, 30667, 20582, 30669, 20584, 30673, 20588, 30677, 20590,
30679, 20596, 30683, 20594, 30687, 20602, 30635, 20606, 30645, 20626, 30655,
20608, 30665, 20624, 30675, 20632, 30685, 20636, 30689, 20620, 30693, 20600,
30695, 20638, 30697, 20630, 30703, 20642, 30699, 20644, 30705, 20648, 30707,
20654, 30709, 20656, 30723, 30725, 30727, 30733, 20660, 30729, 30739, 20662,
30735, 20666, 30737, 20668, 30743, 20674, 30745, 20686, 30747, 20690, 30749,
20698, 30755, 20672, 30753, 20684, 30757, 20696, 30759, 20702, 30763, 20680,
30765, 20704, 30767, 20708, 30769, 20722, 30773, 20726, 30775, 20728, 30777,
20732, 30785, 20738, 30787, 20740, 30783, 20746, 30789, 20750, 30797, 20744,
30795, 20752, 30799, 20756, 30803, 20650, 30779, 20758, 30809, 20678, 30805,
20692, 30793, 20764, 30823, 30827, 30829, 30833, 20734, 30839, 20762, 30825,
30847, 20770, 30837, 20774, 30843, 20782, 30845, 20786, 30853, 20788, 30855,
20794, 30857, 20798, 30859, 20804, 30807, 20780, 30865, 20806, 30835, 20822,
30849, 20830, 30863, 20828, 30867, 20834, 30869, 20836, 30875, 20842, 30873,
20852, 30877, 20854, 30879, 20858, 30883, 20846, 30885, 20866, 30887, 20870,
30889, 20860, 30893, 20876, 30895, 20878, 30897, 20882, 30899, 20884, 30903,
20720, 30907, 20768, 30909, 20776, 30923, 30905, 20792, 30925, 30929, 30935,
20824, 30927, 30937, 20800, 30933, 20840, 30939, 20848, 30943, 20890, 30945,
20894, 30947, 20906, 30949, 20902, 30953, 20864, 30955, 20872, 30957, 20896,
30959, 20888, 30963, 20900, 30965, 20908, 30967, 20920, 30973, 20924, 30975,
20926, 30977, 20932, 30979, 20936, 30983, 20930, 30985, 20938, 30989, 20942,
30993, 20944, 30995, 20948, 30997, 20950, 30999, 20954, 32003, 32005, 32009,
32023, 32027, 32029, 32033, 32035, 32039, 32045, 32047, 32057, 32059, 32053,
32063, 32065, 32069, 32075, 32077, 32083, 32087, 32089, 32093, 32095, 32099,
32203, 32207, 32209, 32225, 32227, 32233, 32237, 32239, 32243, 32245, 32249,
32255, 32257, 32267, 32269, 32263, 32273, 32275, 32279, 32285, 32287, 32293,
32297, 32299, 32303, 32305, 32309, 32323, 32327, 32329, 32333, 32335, 32339,
32345, 32347, 32353, 32357, 32359, 32363, 32365, 32369, 32375, 32377, 32383,
32387, 32393, 32389, 32395, 32399, 32405, 32407}
[Hans Havermann]:
> No integer with a "1"
digit can enter S (...)
Nor can any positive multiple of
2520.
Here's a graph of 54637 points:
Merci Jean-Marc, Maximilian et Hans !