SZS status Theorem for i/f/rich_list/SNOC__EQ__LENGTH__EQ
