% SZS status Timeout for take__def__compute_
