% SZS status Theorem for SOME__
% SZS output start Proof for SOME__
  file('i/f/option/SOME__11',ch4s_options_SOMEu_u_11)).
  file('i/f/option/SOME__11',ah4s_sums_INRu_u_INLu_u_11u_c0)).
  file('i/f/option/SOME__11',ah4s_options_SOMEu_u_DEF)).
  file('i/f/option/SOME__11',ah4s_options_optionu_u_REPu_u_ABSu_u_DEFu_c1)).
  file('i/f/option/SOME__11',aHLu_TRUTH)).
% SZS output end Proof for SOME__
