% SZS status Timeout for lt__mul__n
