% SZS status Timeout for linear__order__of__countable__
