SZS status Theorem for i/f/lebesgue/max__fn__seq__def__compute_c0
