% SZS status Theorem for APPLY__UPDATE__
% SZS output start Proof for APPLY__UPDATE__
  file('i/f/combin/APPLY__UPDATE__ID',ch4s_combins_APPLYu_u_UPDATEu_u_ID)).
  file('i/f/combin/APPLY__UPDATE__ID',ah4s_combins_UPDATEu_u_APPLYu_u_ID)).
% SZS output end Proof for APPLY__UPDATE__
