SZS status Theorem for i/f/gcd/IS__GCD__MINUS__L
