% SZS status Theorem for OR__DU
% SZS output start Proof for OR__DU
  file('i/f/sat/OR__DUAL',ch4s_sats_ORu_u_DUAL)).
% SZS output end Proof for OR__DU
