% SZS status Theorem for TO__apto__TO__
% SZS output start Proof for TO__apto__TO__
  file('i/f/toto/TO__apto__TO__ID',ch4s_totos_TOu_u_aptou_u_TOu_u_ID)).
  file('i/f/toto/TO__apto__TO__ID',ah4s_totos_tou_u_biju_c1)).
% SZS output end Proof for TO__apto__TO__
