% SZS status Theorem for APPEND__ASSOC__CO
% SZS output start Proof for APPEND__ASSOC__CO
  file('i/f/rich_list/APPEND__ASSOC__CONS',ah4s_lists_APPEND0u_c1)).
  file('i/f/rich_list/APPEND__ASSOC__CONS',ah4s_lists_APPENDu_u_ASSOC)).
  file('i/f/rich_list/APPEND__ASSOC__CONS',ch4s_richu_u_lists_APPENDu_u_ASSOCu_u_CONS)).
% SZS output end Proof for APPEND__ASSOC__CO
