% SZS status Theorem for onto__ap
% SZS output start Proof for onto__ap
  file('i/f/toto/onto__apto',ch4s_totos_ontou_u_apto)).
  file('i/f/toto/onto__apto',ah4s_totos_tou_u_biju_c1)).
  file('i/f/toto/onto__apto',ah4s_totos_tou_u_biju_c0)).
% SZS output end Proof for onto__ap
