% SZS status Timeout for is__tree__i
