% SZS status Theorem for MAP__MAP_
% SZS output start Proof for MAP__MAP_
  file('i/f/list/MAP__MAP__o',ch4s_lists_MAPu_u_MAPu_u_o)).
  file('i/f/list/MAP__MAP__o',ah4s_lists_MAPu_u_o)).
  file('i/f/list/MAP__MAP__o',ah4s_combins_ou_u_DEF)).
% SZS output end Proof for MAP__MAP_
