The conjecture on the near-maximal step count of Semi-SMER
Near-maximal step-count conjecture. For “almost every” n≥4n\geq 4n≥4,
MathDB