SZS status Theorem for i/f/quotient_list/CONS__RSP
