% SZS status Timeout for cooper__lemma_
