gcd (12, 18, 30)