SZS status Theorem for i/f/gcd/IS__GCD__SYM
