% SZS status Theorem for RES__ABSTRA
% SZS output start Proof for RES__ABSTRA
  file('i/f/res_quan/RES__ABSTRACT',ah4s_bools_RESu_u_ABSTRACTu_u_DEFu_c0)).
  file('i/f/res_quan/RES__ABSTRACT',ch4s_resu_u_quans_RESu_u_ABSTRACT)).
% SZS output end Proof for RES__ABSTRA
