S(14) ≥ 93,891,141,008

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 14 93891141008

Linking lemma written by the Almanac.