% SZS status Theorem for ODD__DOUB
% SZS output start Proof for ODD__DOUB
  file('i/f/arithmetic/ODD__DOUBLE',ah4s_arithmetics_EVENu_u_ODD)).
  file('i/f/arithmetic/ODD__DOUBLE',ah4s_arithmetics_EVENu_u_DOUBLE)).
  file('i/f/arithmetic/ODD__DOUBLE',ah4s_arithmetics_ODD0u_c1)).
  file('i/f/arithmetic/ODD__DOUBLE',ch4s_arithmetics_ODDu_u_DOUBLE)).
% SZS output end Proof for ODD__DOUB
