Programming language Stock · Lean 4 17% — Manifold odds