% SZS status Theorem for EQUAL__CU
% SZS output start Proof for EQUAL__CU
  file('i/f/hreal/EQUAL__CUTS',ch4s_hreals_EQUALu_u_CUTS)).
  file('i/f/hreal/EQUAL__CUTS',ah4s_hreals_hrealu_u_tybiju_c0)).
% SZS output end Proof for EQUAL__CU
