% SZS status Theorem for OPTION__MAP__EQ__NONE__both__ways_
% SZS output start Proof for OPTION__MAP__EQ__NONE__both__ways_
  file('i/f/option/OPTION__MAP__EQ__NONE__both__ways_c1',ch4s_options_OPTIONu_u_MAPu_u_EQu_u_NONEu_u_bothu_u_waysu_c1)).
  file('i/f/option/OPTION__MAP__EQ__NONE__both__ways_c1',ah4s_options_OPTIONu_u_MAPu_u_EQu_u_NONE)).
% SZS output end Proof for OPTION__MAP__EQ__NONE__both__ways_
