Finds (d, coef_a, coef_b) such that d = gcd(a, b) = a * coef_a + b * coef_b.
(a: i64, b: i64)
source not stored for this graph (policy: none)