Solution (source code)

= Solution

The Mirimanoff rank is $\rho(x)=\min\{\alpha:x\subset V_\alpha\}=\sup_{y\in x}(\rho(y)+1)$.