% SZS status Theorem for SOME__SOME__APP
% SZS output start Proof for SOME__SOME__APP
  file('i/f/option/SOME__SOME__APPLY',ah4s_options_OPTIONu_u_MAPu_u_DEFu_c0)).
  file('i/f/option/SOME__SOME__APPLY',ch4s_options_SOMEu_u_SOMEu_u_APPLY)).
  file('i/f/option/SOME__SOME__APPLY',ah4s_options_OPTIONu_u_APPLYu_u_defu_c1)).
% SZS output end Proof for SOME__SOME__APP
