SZS status Theorem for i/f/int_arith/lt__move__left__right
