SZS status Theorem for i/f/bit/EXP__SUB__LESS__EQ
