% SZS status Theorem for UNHEX__i
% SZS output start Proof for UNHEX__i
  file('i/f/ASCIInumbers/UNHEX__ind',ch4s_ASCIInumberss_UNHEXu_u_ind)).
% SZS output end Proof for UNHEX__i
