SZS status Theorem for i/f/bit/LESS__EQ__EXP__MULT
