% SZS status Theorem for SNOC__
% SZS output start Proof for SNOC__
  file('i/f/list/SNOC__11',ch4s_lists_SNOCu_u_11)).
  file('i/f/list/SNOC__11',ah4s_lists_LASTu_u_SNOC)).
  file('i/f/list/SNOC__11',ah4s_lists_FRONTu_u_SNOC)).
% SZS output end Proof for SNOC__
