MAYBE Time: 0.014304 TRS: { min(x, 0()) -> 0(), min(0(), y) -> 0(), min(s x, s y) -> s min(x, y), max(x, 0()) -> x, max(0(), y) -> y, max(s x, s y) -> s max(x, y), -(x, 0()) -> x, -(s x, s y) -> -(x, y), gcd(x, 0(), 0()) -> x, gcd(x, s y, s z) -> gcd(x, -(max(y, z), min(y, z)), s min(y, z)), gcd(0(), y, 0()) -> y, gcd(0(), 0(), z) -> z, gcd(s x, y, s z) -> gcd(-(max(x, z), min(x, z)), y, s min(x, z)), gcd(s x, s y, z) -> gcd(-(max(x, y), min(x, y)), s min(x, y), z)} DP: DP: { min#(s x, s y) -> min#(x, y), max#(s x, s y) -> max#(x, y), -#(s x, s y) -> -#(x, y), gcd#(x, s y, s z) -> min#(y, z), gcd#(x, s y, s z) -> max#(y, z), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z)), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> min#(x, z), gcd#(s x, y, s z) -> max#(x, z), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> min#(x, y), gcd#(s x, s y, z) -> max#(x, y), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)} TRS: { min(x, 0()) -> 0(), min(0(), y) -> 0(), min(s x, s y) -> s min(x, y), max(x, 0()) -> x, max(0(), y) -> y, max(s x, s y) -> s max(x, y), -(x, 0()) -> x, -(s x, s y) -> -(x, y), gcd(x, 0(), 0()) -> x, gcd(x, s y, s z) -> gcd(x, -(max(y, z), min(y, z)), s min(y, z)), gcd(0(), y, 0()) -> y, gcd(0(), 0(), z) -> z, gcd(s x, y, s z) -> gcd(-(max(x, z), min(x, z)), y, s min(x, z)), gcd(s x, s y, z) -> gcd(-(max(x, y), min(x, y)), s min(x, y), z)} UR: { min(x, 0()) -> 0(), min(0(), y) -> 0(), min(s x, s y) -> s min(x, y), max(x, 0()) -> x, max(0(), y) -> y, max(s x, s y) -> s max(x, y), -(x, 0()) -> x, -(s x, s y) -> -(x, y), a(w, v) -> w, a(w, v) -> v} EDG: {(gcd#(s x, y, s z) -> -#(max(x, z), min(x, z)), -#(s x, s y) -> -#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(x, s y, s z) -> min#(y, z), min#(s x, s y) -> min#(x, y)) (gcd#(s x, y, s z) -> min#(x, z), min#(s x, s y) -> min#(x, y)) (min#(s x, s y) -> min#(x, y), min#(s x, s y) -> min#(x, y)) (-#(s x, s y) -> -#(x, y), -#(s x, s y) -> -#(x, y)) (gcd#(s x, s y, z) -> max#(x, y), max#(s x, s y) -> max#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(s x, s y, z) -> min#(x, y), min#(s x, s y) -> min#(x, y)) (max#(s x, s y) -> max#(x, y), max#(s x, s y) -> max#(x, y)) (gcd#(s x, y, s z) -> max#(x, z), max#(s x, s y) -> max#(x, y)) (gcd#(x, s y, s z) -> max#(y, z), max#(s x, s y) -> max#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(s x, s y, z) -> -#(max(x, y), min(x, y)), -#(s x, s y) -> -#(x, y)) (gcd#(x, s y, s z) -> -#(max(y, z), min(y, z)), -#(s x, s y) -> -#(x, y))} EDG: {(gcd#(s x, y, s z) -> -#(max(x, z), min(x, z)), -#(s x, s y) -> -#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(x, s y, s z) -> min#(y, z), min#(s x, s y) -> min#(x, y)) (gcd#(s x, y, s z) -> min#(x, z), min#(s x, s y) -> min#(x, y)) (min#(s x, s y) -> min#(x, y), min#(s x, s y) -> min#(x, y)) (-#(s x, s y) -> -#(x, y), -#(s x, s y) -> -#(x, y)) (gcd#(s x, s y, z) -> max#(x, y), max#(s x, s y) -> max#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(s x, s y, z) -> min#(x, y), min#(s x, s y) -> min#(x, y)) (max#(s x, s y) -> max#(x, y), max#(s x, s y) -> max#(x, y)) (gcd#(s x, y, s z) -> max#(x, z), max#(s x, s y) -> max#(x, y)) (gcd#(x, s y, s z) -> max#(y, z), max#(s x, s y) -> max#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(s x, s y, z) -> -#(max(x, y), min(x, y)), -#(s x, s y) -> -#(x, y)) (gcd#(x, s y, s z) -> -#(max(y, z), min(y, z)), -#(s x, s y) -> -#(x, y))} EDG: {(gcd#(s x, y, s z) -> -#(max(x, z), min(x, z)), -#(s x, s y) -> -#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(x, s y, s z) -> min#(y, z), min#(s x, s y) -> min#(x, y)) (gcd#(s x, y, s z) -> min#(x, z), min#(s x, s y) -> min#(x, y)) (min#(s x, s y) -> min#(x, y), min#(s x, s y) -> min#(x, y)) (-#(s x, s y) -> -#(x, y), -#(s x, s y) -> -#(x, y)) (gcd#(s x, s y, z) -> max#(x, y), max#(s x, s y) -> max#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(s x, s y, z) -> min#(x, y), min#(s x, s y) -> min#(x, y)) (max#(s x, s y) -> max#(x, y), max#(s x, s y) -> max#(x, y)) (gcd#(s x, y, s z) -> max#(x, z), max#(s x, s y) -> max#(x, y)) (gcd#(x, s y, s z) -> max#(y, z), max#(s x, s y) -> max#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(s x, s y, z) -> -#(max(x, y), min(x, y)), -#(s x, s y) -> -#(x, y)) (gcd#(x, s y, s z) -> -#(max(y, z), min(y, z)), -#(s x, s y) -> -#(x, y))} EDG: {(gcd#(s x, y, s z) -> -#(max(x, z), min(x, z)), -#(s x, s y) -> -#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(x, s y, s z) -> min#(y, z), min#(s x, s y) -> min#(x, y)) (gcd#(s x, y, s z) -> min#(x, z), min#(s x, s y) -> min#(x, y)) (min#(s x, s y) -> min#(x, y), min#(s x, s y) -> min#(x, y)) (-#(s x, s y) -> -#(x, y), -#(s x, s y) -> -#(x, y)) (gcd#(s x, s y, z) -> max#(x, y), max#(s x, s y) -> max#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(s x, s y, z) -> min#(x, y), min#(s x, s y) -> min#(x, y)) (max#(s x, s y) -> max#(x, y), max#(s x, s y) -> max#(x, y)) (gcd#(s x, y, s z) -> max#(x, z), max#(s x, s y) -> max#(x, y)) (gcd#(x, s y, s z) -> max#(y, z), max#(s x, s y) -> max#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> min#(y, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> max#(y, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> -#(max(y, z), min(y, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> min#(x, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> max#(x, z)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> -#(max(x, z), min(x, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> min#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> max#(x, y)) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> -#(max(x, y), min(x, y))) (gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)) (gcd#(s x, s y, z) -> -#(max(x, y), min(x, y)), -#(s x, s y) -> -#(x, y)) (gcd#(x, s y, s z) -> -#(max(y, z), min(y, z)), -#(s x, s y) -> -#(x, y))} STATUS: arrows: 0.786667 SCCS (4): Scc: {gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)} Scc: {max#(s x, s y) -> max#(x, y)} Scc: {min#(s x, s y) -> min#(x, y)} Scc: {-#(s x, s y) -> -#(x, y)} SCC (3): Strict: {gcd#(x, s y, s z) -> gcd#(x, -(max(y, z), min(y, z)), s min(y, z)), gcd#(s x, y, s z) -> gcd#(-(max(x, z), min(x, z)), y, s min(x, z)), gcd#(s x, s y, z) -> gcd#(-(max(x, y), min(x, y)), s min(x, y), z)} Weak: { min(x, 0()) -> 0(), min(0(), y) -> 0(), min(s x, s y) -> s min(x, y), max(x, 0()) -> x, max(0(), y) -> y, max(s x, s y) -> s max(x, y), -(x, 0()) -> x, -(s x, s y) -> -(x, y), gcd(x, 0(), 0()) -> x, gcd(x, s y, s z) -> gcd(x, -(max(y, z), min(y, z)), s min(y, z)), gcd(0(), y, 0()) -> y, gcd(0(), 0(), z) -> z, gcd(s x, y, s z) -> gcd(-(max(x, z), min(x, z)), y, s min(x, z)), gcd(s x, s y, z) -> gcd(-(max(x, y), min(x, y)), s min(x, y), z)} Open SCC (1): Strict: {max#(s x, s y) -> max#(x, y)} Weak: { min(x, 0()) -> 0(), min(0(), y) -> 0(), min(s x, s y) -> s min(x, y), max(x, 0()) -> x, max(0(), y) -> y, max(s x, s y) -> s max(x, y), -(x, 0()) -> x, -(s x, s y) -> -(x, y), gcd(x, 0(), 0()) -> x, gcd(x, s y, s z) -> gcd(x, -(max(y, z), min(y, z)), s min(y, z)), gcd(0(), y, 0()) -> y, gcd(0(), 0(), z) -> z, gcd(s x, y, s z) -> gcd(-(max(x, z), min(x, z)), y, s min(x, z)), gcd(s x, s y, z) -> gcd(-(max(x, y), min(x, y)), s min(x, y), z)} Open SCC (1): Strict: {min#(s x, s y) -> min#(x, y)} Weak: { min(x, 0()) -> 0(), min(0(), y) -> 0(), min(s x, s y) -> s min(x, y), max(x, 0()) -> x, max(0(), y) -> y, max(s x, s y) -> s max(x, y), -(x, 0()) -> x, -(s x, s y) -> -(x, y), gcd(x, 0(), 0()) -> x, gcd(x, s y, s z) -> gcd(x, -(max(y, z), min(y, z)), s min(y, z)), gcd(0(), y, 0()) -> y, gcd(0(), 0(), z) -> z, gcd(s x, y, s z) -> gcd(-(max(x, z), min(x, z)), y, s min(x, z)), gcd(s x, s y, z) -> gcd(-(max(x, y), min(x, y)), s min(x, y), z)} Open SCC (1): Strict: {-#(s x, s y) -> -#(x, y)} Weak: { min(x, 0()) -> 0(), min(0(), y) -> 0(), min(s x, s y) -> s min(x, y), max(x, 0()) -> x, max(0(), y) -> y, max(s x, s y) -> s max(x, y), -(x, 0()) -> x, -(s x, s y) -> -(x, y), gcd(x, 0(), 0()) -> x, gcd(x, s y, s z) -> gcd(x, -(max(y, z), min(y, z)), s min(y, z)), gcd(0(), y, 0()) -> y, gcd(0(), 0(), z) -> z, gcd(s x, y, s z) -> gcd(-(max(x, z), min(x, z)), y, s min(x, z)), gcd(s x, s y, z) -> gcd(-(max(x, y), min(x, y)), s min(x, y), z)} Open