% SZS status Timeout for gcd__def_
