% SZS status Theorem for EXPLODE__ON
% SZS output start Proof for EXPLODE__ON
  file('i/f/string/EXPLODE__ONTO',ah4s_strings_EXPLODEu_u_IMPLODE)).
  file('i/f/string/EXPLODE__ONTO',ch4s_strings_EXPLODEu_u_ONTO)).
% SZS output end Proof for EXPLODE__ON
