% SZS status Theorem for DIVISION__L
% SZS output start Proof for DIVISION__L
  file('i/f/transc/DIVISION__LHS',ch4s_transcs_DIVISIONu_u_LHS)).
  file('i/f/transc/DIVISION__LHS',ah4s_transcs_division0)).
  file('i/f/transc/DIVISION__LHS',ah4s_bools_TRUTH)).
  file('i/f/transc/DIVISION__LHS',aHLu_BOOLu_CASES)).
  file('i/f/transc/DIVISION__LHS',aHLu_FALSITY)).
% SZS output end Proof for DIVISION__L
