% SZS status Timeout for PRIME_
