% SZS status Theorem for EQUAL__SI
% SZS output start Proof for EQUAL__SI
  file('i/f/pred_set/EQUAL__SING',ch4s_predu_u_sets_EQUALu_u_SING)).
  file('i/f/pred_set/EQUAL__SING',ah4s_predu_u_sets_INu_u_SING)).
% SZS output end Proof for EQUAL__SI
