% SZS status Timeout for lbtree__case__thm_
