On the log minimal model program for irreducible symplectic varieties · wovepaper