% SZS status Theorem for TO__apto__TO__I
% SZS output start Proof for TO__apto__TO__I
  file('i/f/toto/TO__apto__TO__IMP',ah4s_totos_tou_u_biju_c1)).
  file('i/f/toto/TO__apto__TO__IMP',ch4s_totos_TOu_u_aptou_u_TOu_u_IMP)).
% SZS output end Proof for TO__apto__TO__I
