SZS status Theorem for i/f/lebesgue/max__fn__seq__mono
