% SZS status Theorem for TO__
% SZS output start Proof for TO__
  file('i/f/toto/TO__11',aHLu_FALSITY)).
  file('i/f/toto/TO__11',ch4s_totos_TOu_u_11)).
  file('i/f/toto/TO__11',aHLu_BOOLu_CASES)).
  file('i/f/toto/TO__11',ah4s_totos_tou_u_biju_c1)).
  file('i/f/toto/TO__11',aHLu_TRUTH)).
% SZS output end Proof for TO__
