% SZS status Timeout for lt__infty_
