% SZS status Theorem for IMPLODE__ON
% SZS output start Proof for IMPLODE__ON
  file('i/f/string/IMPLODE__ONTO',ah4s_strings_IMPLODEu_u_EXPLODE)).
  file('i/f/string/IMPLODE__ONTO',ch4s_strings_IMPLODEu_u_ONTO)).
% SZS output end Proof for IMPLODE__ON
