On the log minimal model program for irreducible symplectic varieties

We show the termination of any log-minimal model program for a pair $(X,\mathrm{\Delta })$ of a symplectic manifold $X$ and an effective $\mathbb{R}$-divisor $\mathrm{\Delta }$.