% SZS status Timeout for pconcat__thm_
