% SZS status Theorem for totoGGtra
% SZS output start Proof for totoGGtra
  file('i/f/toto/totoGGtrans',ch4s_totos_totoGGtrans)).
  file('i/f/toto/totoGGtrans',ah4s_totos_totou_u_antisym)).
  file('i/f/toto/totoGGtrans',ah4s_totos_totoLLtrans)).
% SZS output end Proof for totoGGtra
