% SZS status Theorem for apnumto__t
% SZS output start Proof for apnumto__t
  file('i/f/toto/apnumto__thm',ch4s_totos_apnumtou_u_thm)).
  file('i/f/toto/apnumto__thm',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/toto/apnumto__thm',ah4s_totos_TOu_u_numOrd)).
  file('i/f/toto/apnumto__thm',ah4s_totos_numto0)).
  file('i/f/toto/apnumto__thm',ah4s_totos_TOu_u_aptou_u_TOu_u_ID)).
  file('i/f/toto/apnumto__thm',aHLu_TRUTH)).
% SZS output end Proof for apnumto__t
