% SZS status Theorem for TO__on
% SZS output start Proof for TO__on
  file('i/f/toto/TO__onto',ah4s_totos_tou_u_biju_c0)).
  file('i/f/toto/TO__onto',ah4s_totos_tou_u_biju_c1)).
  file('i/f/toto/TO__onto',ch4s_totos_TOu_u_onto)).
% SZS output end Proof for TO__on
