SZS status Theorem for i/f/rich_list/APPEND__SNOC1
