% SZS status Theorem for ABS__SI
% SZS output start Proof for ABS__SI
  file('i/f/bool/ABS__SIMP',ch4s_bools_ABSu_u_SIMP)).
% SZS output end Proof for ABS__SI
