% SZS status Theorem for IMPLODE__
% SZS output start Proof for IMPLODE__
  file('i/f/string/IMPLODE__11',ch4s_strings_IMPLODEu_u_11)).
  file('i/f/string/IMPLODE__11',ah4s_strings_EXPLODEu_u_IMPLODE)).
% SZS output end Proof for IMPLODE__
