S(10) ≥ 4,033,378

Evidence

• Lean proof github.com/jhalfar/superpermutations/blob/cc5c763bd5854317b20dadb138990802656e6f03/proofs/lean/lower/AuditCFinal.lean Theorem C with a kernel-checked finite search
• Lean proof, kernel-checked github.com/jhalfar/superpermutations/tree/cc5c763bd5854317b20dadb138990802656e6f03/proofs/lean/lower Commit cc5c763bd5854317b20dadb138990802656e6f03

Proof check

kernel-checked

LowerBoundAt 10 4033378

Linking lemma written by the Almanac.