% SZS status Theorem for ACS__C
% SZS output start Proof for ACS__C
  file('i/f/transc/ACS__COS',aHLu_BOOLu_CASES)).
  file('i/f/transc/ACS__COS',ch4s_transcs_ACSu_u_COS)).
  file('i/f/transc/ACS__COS',ah4s_transcs_ACS)).
  file('i/f/transc/ACS__COS',aHLu_TRUTH)).
  file('i/f/transc/ACS__COS',aHLu_FALSITY)).
% SZS output end Proof for ACS__C
