% SZS status Timeout for zorns__lem
