% SZS status Theorem for STRC
% SZS output start Proof for STRC
  file('i/f/string/STRCAT',ch4s_strings_STRCAT)).
% SZS output end Proof for STRC
