SZS status Theorem for i/f/quotient_list/NULL__PRS
