% SZS status Theorem for RE__DIV__MODU__ACS__C
% SZS output start Proof for RE__DIV__MODU__ACS__C
  file('i/f/complex/RE__DIV__MODU__ACS__COS',ch4s_complexs_REu_u_DIVu_u_MODUu_u_ACSu_u_COS)).
  file('i/f/complex/RE__DIV__MODU__ACS__COS',ah4s_complexs_REu_u_DIVu_u_MODUu_u_BOUNDS)).
  file('i/f/complex/RE__DIV__MODU__ACS__COS',ah4s_transcs_ACSu_u_COS)).
% SZS output end Proof for RE__DIV__MODU__ACS__C
