% SZS status Timeout for lookup__def_
