% SZS status Theorem for NOT__SNOC__N
% SZS output start Proof for NOT__SNOC__N
  file('i/f/rich_list/NOT__SNOC__NIL',ah4s_richu_u_lists_NOTu_u_NILu_u_SNOC)).
  file('i/f/rich_list/NOT__SNOC__NIL',ch4s_richu_u_lists_NOTu_u_SNOCu_u_NIL)).
% SZS output end Proof for NOT__SNOC__N
