% SZS status Theorem for HEX__i
% SZS output start Proof for HEX__i
  file('i/f/ASCIInumbers/HEX__ind',ch4s_ASCIInumberss_HEXu_u_ind)).
% SZS output end Proof for HEX__i
