% SZS status Theorem for OR__DUA
% SZS output start Proof for OR__DUA
  file('i/f/sat/OR__DUAL3',ch4s_sats_ORu_u_DUAL3)).
% SZS output end Proof for OR__DUA
