% SZS status Timeout for BINARY__GCD_
