SZS status Theorem for i/f/quotient/EQUIV__RES__ABSTRACT__LEFT
