% SZS status Theorem for TO__apto__
% SZS output start Proof for TO__apto__
  file('i/f/toto/TO__apto__ID',ch4s_totos_TOu_u_aptou_u_ID)).
  file('i/f/toto/TO__apto__ID',ah4s_totos_tou_u_biju_c0)).
% SZS output end Proof for TO__apto__
