% SZS status Timeout for lookup__compute_
