% SZS status Theorem for EXPLODE__
% SZS output start Proof for EXPLODE__
  file('i/f/string/EXPLODE__11',ch4s_strings_EXPLODEu_u_11)).
  file('i/f/string/EXPLODE__11',ah4s_strings_IMPLODEu_u_EXPLODE)).
% SZS output end Proof for EXPLODE__
