/export/starexec/sandbox2/solver/bin/starexec_run_complexity /export/starexec/sandbox2/benchmark/theBenchmark.koat /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?, O(1)) proof of /export/starexec/sandbox2/benchmark/theBenchmark.koat # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(1, 1). (0) CpxIntTrs (1) Koat Proof [FINISHED, 25.5 s] (2) BOUNDS(1, 1) ---------------------------------------- (0) Obligation: Complexity Int TRS consisting of the following rules: f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: A >= B + 1 f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: B >= 1 + A f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f3(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: C >= B + 1 f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f3(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: B >= 1 + C f3(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: D >= B + 1 f3(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: B >= 1 + D f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f5(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= B + 1 f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f5(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: B >= 1 + E f5(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f6(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: F >= B + 1 f5(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f6(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: B >= 1 + F f6(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f7(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: G >= B + 1 f6(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f7(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: B >= 1 + G f17(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= H + 1 f17(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: H >= 1 f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f19(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: C >= A + 1 f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f19(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: A >= 1 + C f19(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f20(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: D >= A + 1 f19(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f20(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: A >= 1 + D f20(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f21(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= A + 1 f20(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f21(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: A >= 1 + E f21(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f22(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: F >= A + 1 f21(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f22(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: A >= 1 + F f22(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: G >= A + 1 f22(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: A >= 1 + G f33(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= H + 1 f33(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: H >= 1 f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f35(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: D >= C + 1 f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f35(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: C >= 1 + D f35(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= C + 1 f35(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: C >= 1 + E f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: F >= C + 1 f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: C >= 1 + F f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f38(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: G >= C + 1 f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f38(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: C >= 1 + G f47(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f48(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= H + 1 f47(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f48(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: H >= 1 f48(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f49(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= D + 1 f48(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f49(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: D >= 1 + E f49(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f50(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: F >= D + 1 f49(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f50(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: D >= 1 + F f50(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f51(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: G >= D + 1 f50(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f51(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: D >= 1 + G f59(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= H + 1 f59(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: H >= 1 f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f61(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: F >= E + 1 f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f61(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= 1 + F f61(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f62(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: G >= E + 1 f61(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f62(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= 1 + G f69(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f70(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= H + 1 f69(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f70(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: H >= 1 f70(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f71(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: G >= F + 1 f70(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f71(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: F >= 1 + G f77(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f78(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= H + 1 f77(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f78(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: H >= 1 f101(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= E + 1 f101(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= 1 f108(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f109(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= H + 1 f108(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f109(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: H >= 1 f109(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f110(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= I + 1 f109(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f110(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: I >= 1 f110(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f111(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= J + 1 f110(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f111(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: J >= 1 f7(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f17(A, B, C, D, E, F, G, 1, I, J, K, 1, M, N, O, P, Q, R, S, T, U, V)) :|: K >= B + 1 f7(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f17(A, B, C, D, E, F, G, 1, I, J, K, 1, M, N, O, P, Q, R, S, T, U, V)) :|: B >= 1 + K f7(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f17(A, B, C, D, E, F, G, 0, I, J, B, 0, M, N, O, P, Q, R, S, T, U, V)) :|: B >= K && B <= K f6(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f17(A, B, C, D, E, F, B, 0, I, J, K, 0, M, N, O, P, Q, R, S, T, U, V)) :|: B >= G && B <= G f5(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f17(A, B, C, D, E, B, G, 0, I, J, K, 0, M, N, O, P, Q, R, S, T, U, V)) :|: B >= F && B <= F f4(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f17(A, B, C, D, B, F, G, 0, I, J, K, 0, M, N, O, P, Q, R, S, T, U, V)) :|: B >= E && B <= E f3(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f17(A, B, C, B, E, F, G, 0, I, J, K, 0, M, N, O, P, Q, R, S, T, U, V)) :|: B >= D && B <= D f2(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f17(A, B, B, D, E, F, G, 0, I, J, K, 0, M, N, O, P, Q, R, S, T, U, V)) :|: B >= C && B <= C f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f17(B, B, C, D, E, F, G, 0, I, J, K, 0, M, N, O, P, Q, R, S, T, U, V)) :|: B >= A && B <= A f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f33(A, B, C, D, E, F, G, 1, I, J, K, L, 1, N, O, P, Q, R, S, T, U, V)) :|: K >= A + 1 f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f33(A, B, C, D, E, F, G, 1, I, J, K, L, 1, N, O, P, Q, R, S, T, U, V)) :|: A >= 1 + K f23(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f33(A, B, C, D, E, F, G, 0, I, J, A, L, 0, N, O, P, Q, R, S, T, U, V)) :|: A >= K && A <= K f22(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f33(A, B, C, D, E, F, A, 0, I, J, K, L, 0, N, O, P, Q, R, S, T, U, V)) :|: A >= G && A <= G f21(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f33(A, B, C, D, E, A, G, 0, I, J, K, L, 0, N, O, P, Q, R, S, T, U, V)) :|: A >= F && A <= F f20(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f33(A, B, C, D, A, F, G, 0, I, J, K, L, 0, N, O, P, Q, R, S, T, U, V)) :|: A >= E && A <= E f19(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f33(A, B, C, A, E, F, G, 0, I, J, K, L, 0, N, O, P, Q, R, S, T, U, V)) :|: A >= D && A <= D f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f33(A, B, A, D, E, F, G, 0, I, J, K, L, 0, N, O, P, Q, R, S, T, U, V)) :|: A >= C && A <= C f17(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f33(A, B, C, D, E, F, G, 0, I, J, K, L, 0, N, O, P, Q, R, S, T, U, V)) :|: H >= 0 && H <= 0 f38(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, B, C, D, E, F, G, 1, I, J, K, L, M, 1, O, P, Q, R, S, T, U, V)) :|: K >= C + 1 f38(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, B, C, D, E, F, G, 1, I, J, K, L, M, 1, O, P, Q, R, S, T, U, V)) :|: C >= 1 + K f38(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, B, C, D, E, F, G, 0, I, J, C, L, M, 0, O, P, Q, R, S, T, U, V)) :|: C >= K && C <= K f37(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, B, C, D, E, F, C, 0, I, J, K, L, M, 0, O, P, Q, R, S, T, U, V)) :|: C >= G && C <= G f36(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, B, C, D, E, C, G, 0, I, J, K, L, M, 0, O, P, Q, R, S, T, U, V)) :|: C >= F && C <= F f35(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, B, C, D, C, F, G, 0, I, J, K, L, M, 0, O, P, Q, R, S, T, U, V)) :|: C >= E && C <= E f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, B, C, C, E, F, G, 0, I, J, K, L, M, 0, O, P, Q, R, S, T, U, V)) :|: C >= D && C <= D f33(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, B, C, D, E, F, G, 0, I, J, K, L, M, 0, O, P, Q, R, S, T, U, V)) :|: H >= 0 && H <= 0 f51(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f59(A, B, C, D, E, F, G, 1, I, J, K, L, M, N, 1, P, Q, R, S, T, U, V)) :|: K >= D + 1 f51(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f59(A, B, C, D, E, F, G, 1, I, J, K, L, M, N, 1, P, Q, R, S, T, U, V)) :|: D >= 1 + K f51(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f59(A, B, C, D, E, F, G, 0, I, J, D, L, M, N, 0, P, Q, R, S, T, U, V)) :|: D >= K && D <= K f50(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f59(A, B, C, D, E, F, D, 0, I, J, K, L, M, N, 0, P, Q, R, S, T, U, V)) :|: D >= G && D <= G f49(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f59(A, B, C, D, E, D, G, 0, I, J, K, L, M, N, 0, P, Q, R, S, T, U, V)) :|: D >= F && D <= F f48(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f59(A, B, C, D, D, F, G, 0, I, J, K, L, M, N, 0, P, Q, R, S, T, U, V)) :|: D >= E && D <= E f47(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f59(A, B, C, D, E, F, G, 0, I, J, K, L, M, N, 0, P, Q, R, S, T, U, V)) :|: H >= 0 && H <= 0 f62(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f69(A, B, C, D, E, F, G, 1, I, J, K, L, M, N, O, 1, Q, R, S, T, U, V)) :|: K >= E + 1 f62(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f69(A, B, C, D, E, F, G, 1, I, J, K, L, M, N, O, 1, Q, R, S, T, U, V)) :|: E >= 1 + K f62(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f69(A, B, C, D, E, F, G, 0, I, J, E, L, M, N, O, 0, Q, R, S, T, U, V)) :|: E >= K && E <= K f61(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f69(A, B, C, D, E, F, E, 0, I, J, K, L, M, N, O, 0, Q, R, S, T, U, V)) :|: E >= G && E <= G f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f69(A, B, C, D, E, E, G, 0, I, J, K, L, M, N, O, 0, Q, R, S, T, U, V)) :|: E >= F && E <= F f59(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f69(A, B, C, D, E, F, G, 0, I, J, K, L, M, N, O, 0, Q, R, S, T, U, V)) :|: H >= 0 && H <= 0 f71(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f77(A, B, C, D, E, F, G, 1, I, J, K, L, M, N, O, P, 1, R, S, T, U, V)) :|: K >= F + 1 f71(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f77(A, B, C, D, E, F, G, 1, I, J, K, L, M, N, O, P, 1, R, S, T, U, V)) :|: F >= 1 + K f71(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f77(A, B, C, D, E, F, G, 0, I, J, F, L, M, N, O, P, 0, R, S, T, U, V)) :|: F >= K && F <= K f70(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f77(A, B, C, D, E, F, F, 0, I, J, K, L, M, N, O, P, 0, R, S, T, U, V)) :|: F >= G && F <= G f69(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f77(A, B, C, D, E, F, G, 0, I, J, K, L, M, N, O, P, 0, R, S, T, U, V)) :|: H >= 0 && H <= 0 f78(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f83(A, B, C, D, E, F, G, 1, I, J, K, L, M, N, O, P, Q, 1, S, T, U, V)) :|: K >= G + 1 f78(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f83(A, B, C, D, E, F, G, 1, I, J, K, L, M, N, O, P, Q, 1, S, T, U, V)) :|: G >= 1 + K f78(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f83(A, B, C, D, E, F, G, 0, I, J, G, L, M, N, O, P, Q, 0, S, T, U, V)) :|: G >= K && G <= K f77(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f83(A, B, C, D, E, F, G, 0, I, J, K, L, M, N, O, P, Q, 0, S, T, U, V)) :|: H >= 0 && H <= 0 f83(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f101(A, B, C, D, E, F, G, H, 1, J, K, L, M, N, O, P, Q, R, 1, T, U, V)) :|: 9 >= K && 9 >= G && 9 >= F && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A f83(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f101(A, B, C, D, E, F, G, H, 0, J, K, L, M, N, O, P, Q, R, 0, T, U, V)) :|: K >= 10 && 9 >= G && 9 >= F && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A f83(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f101(A, B, C, D, E, F, G, H, 0, J, K, L, M, N, O, P, Q, R, 0, T, U, V)) :|: G >= 10 && 9 >= F && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A f83(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f101(A, B, C, D, E, F, G, H, 0, J, K, L, M, N, O, P, Q, R, 0, T, U, V)) :|: F >= 10 && 9 >= E && 9 >= D && 9 >= C && 9 >= B && 9 >= A f83(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f101(A, B, C, D, E, F, G, H, 0, J, K, L, M, N, O, P, Q, R, 0, T, U, V)) :|: E >= 10 && 9 >= D && 9 >= C && 9 >= B && 9 >= A f83(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f101(A, B, C, D, E, F, G, H, 0, J, K, L, M, N, O, P, Q, R, 0, T, U, V)) :|: D >= 10 && 9 >= C && 9 >= B && 9 >= A f83(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f101(A, B, C, D, E, F, G, H, 0, J, K, L, M, N, O, P, Q, R, 0, T, U, V)) :|: C >= 10 && 9 >= B && 9 >= A f83(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f101(A, B, C, D, E, F, G, H, 0, J, K, L, M, N, O, P, Q, R, 0, T, U, V)) :|: 9 >= B && A >= 10 f83(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f101(A, B, C, D, E, F, G, H, 0, J, K, L, M, N, O, P, Q, R, 0, T, U, V)) :|: B >= 10 f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f108(A, B, C, D, E, F, G, H, I, 1, K, L, M, N, O, P, Q, R, S, 1, W, V)) :|: 0 >= B + 1 f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f108(A, B, C, D, E, F, G, H, I, 1, K, L, M, N, O, P, Q, R, S, 1, W, V)) :|: B >= 1 f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f108(A, 0, C, D, E, F, G, H, I, 0, K, L, M, N, O, P, Q, R, S, 0, W, V)) :|: B >= 0 && B <= 0 f101(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f108(A, B, C, D, 0, F, G, H, I, 0, K, L, M, N, O, P, Q, R, S, 0, W, V)) :|: E >= 0 && E <= 0 f111(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f119(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, 0)) :|: 0 >= U + 1 f111(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f119(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, 0)) :|: U >= 1 f111(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f119(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, 1)) :|: U >= 0 && U <= 0 f110(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f119(A, B, C, D, E, F, G, H, I, 0, K, L, M, N, O, P, Q, R, S, T, U, 1)) :|: J >= 0 && J <= 0 f109(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f119(A, B, C, D, E, F, G, H, 0, J, K, L, M, N, O, P, Q, R, S, T, U, 1)) :|: I >= 0 && I <= 0 f108(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f119(A, B, C, D, E, F, G, 0, I, J, K, L, M, N, O, P, Q, R, S, T, U, 1)) :|: H >= 0 && H <= 0 The start-symbols are:[f0_22] ---------------------------------------- (1) Koat Proof (FINISHED) YES(?, 1384934553155) Initial complexity problem: 1: T: (Comp: ?, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_5 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_6 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_5 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_6 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_5 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_6 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_5 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_6 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_5 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_6 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_6 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_5 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 >= 1 ] (Comp: ?, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 >= ar_8 + 1 ] (Comp: ?, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_8 >= 1 ] (Comp: ?, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 >= ar_9 + 1 ] (Comp: ?, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_9 >= 1 ] (Comp: ?, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, 1, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_10 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, 1, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_1, 0, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 = ar_10 ] (Comp: ?, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_1, 0, ar_8, ar_9, ar_10, 0, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 = ar_6 ] (Comp: ?, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_1, ar_6, 0, ar_8, ar_9, ar_10, 0, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 = ar_5 ] (Comp: ?, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_1, ar_5, ar_6, 0, ar_8, ar_9, ar_10, 0, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 = ar_4 ] (Comp: ?, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f17(ar_0, ar_1, ar_2, ar_1, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, 0, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 = ar_3 ] (Comp: ?, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f17(ar_0, ar_1, ar_1, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, 0, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 = ar_2 ] (Comp: ?, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f17(ar_1, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, 0, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_1 = ar_0 ] (Comp: ?, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, 1, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_10 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, 1, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_0, ar_11, 0, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 = ar_10 ] (Comp: ?, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_0, 0, ar_8, ar_9, ar_10, ar_11, 0, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 = ar_6 ] (Comp: ?, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_0, ar_6, 0, ar_8, ar_9, ar_10, ar_11, 0, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 = ar_5 ] (Comp: ?, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_0, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, 0, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 = ar_4 ] (Comp: ?, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f33(ar_0, ar_1, ar_2, ar_0, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, 0, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 = ar_3 ] (Comp: ?, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f33(ar_0, ar_1, ar_0, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, 0, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_0 = ar_2 ] (Comp: ?, Cost: 1) f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, 0, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, ar_12, 1, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_10 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, ar_12, 1, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_2, ar_11, ar_12, 0, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 = ar_10 ] (Comp: ?, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_2, 0, ar_8, ar_9, ar_10, ar_11, ar_12, 0, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 = ar_6 ] (Comp: ?, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_2, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, 0, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 = ar_5 ] (Comp: ?, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_2, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, 0, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 = ar_4 ] (Comp: ?, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f47(ar_0, ar_1, ar_2, ar_2, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, 0, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_2 = ar_3 ] (Comp: ?, Cost: 1) f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, 0, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, 1, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_10 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, 1, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_3, ar_11, ar_12, ar_13, 0, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 = ar_10 ] (Comp: ?, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_3, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, 0, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 = ar_6 ] (Comp: ?, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_3, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, 0, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 = ar_5 ] (Comp: ?, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_3, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, 0, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_3 = ar_4 ] (Comp: ?, Cost: 1) f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, 0, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, 1, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_10 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, 1, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_4, ar_11, ar_12, ar_13, ar_14, 0, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 = ar_10 ] (Comp: ?, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_4, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, 0, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 = ar_6 ] (Comp: ?, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_4, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, 0, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_4 = ar_5 ] (Comp: ?, Cost: 1) f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, 0, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, 1, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_10 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, 1, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_5 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_5, ar_11, ar_12, ar_13, ar_14, ar_15, 0, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_5 = ar_10 ] (Comp: ?, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_5, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, 0, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_5 = ar_6 ] (Comp: ?, Cost: 1) f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, 0, ar_17, ar_18, ar_19, ar_20, ar_21)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, 1, ar_18, ar_19, ar_20, ar_21)) [ ar_10 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, 1, ar_18, ar_19, ar_20, ar_21)) [ ar_6 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_6, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, 0, ar_18, ar_19, ar_20, ar_21)) [ ar_6 = ar_10 ] (Comp: ?, Cost: 1) f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, 0, ar_18, ar_19, ar_20, ar_21)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 1, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, 1, ar_19, ar_20, ar_21)) [ 9 >= ar_10 /\ 9 >= ar_6 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, 0, ar_19, ar_20, ar_21)) [ ar_10 >= 10 /\ 9 >= ar_6 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, 0, ar_19, ar_20, ar_21)) [ ar_6 >= 10 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, 0, ar_19, ar_20, ar_21)) [ ar_5 >= 10 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, 0, ar_19, ar_20, ar_21)) [ ar_4 >= 10 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, 0, ar_19, ar_20, ar_21)) [ ar_3 >= 10 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, 0, ar_19, ar_20, ar_21)) [ ar_2 >= 10 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, 0, ar_19, ar_20, ar_21)) [ 9 >= ar_1 /\ ar_0 >= 10 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, 0, ar_19, ar_20, ar_21)) [ ar_1 >= 10 ] (Comp: ?, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 1, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, 1, w, ar_21)) [ 0 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 1, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, 1, w, ar_21)) [ ar_1 >= 1 ] (Comp: ?, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f108(ar_0, 0, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 0, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, 0, w, ar_21)) [ ar_1 = 0 ] (Comp: ?, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, 0, ar_5, ar_6, ar_7, ar_8, 0, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, 0, w, ar_21)) [ ar_4 = 0 ] (Comp: ?, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, 0)) [ 0 >= ar_20 + 1 ] (Comp: ?, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, 0)) [ ar_20 >= 1 ] (Comp: ?, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, 0, 1)) [ ar_20 = 0 ] (Comp: ?, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 0, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, 1)) [ ar_9 = 0 ] (Comp: ?, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, 1)) [ ar_8 = 0 ] (Comp: ?, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, 1)) [ ar_7 = 0 ] (Comp: 1, Cost: 0) koat_start(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21) -> Com_1(f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_11, ar_12, ar_13, ar_14, ar_15, ar_16, ar_17, ar_18, ar_19, ar_20, ar_21)) [ 0 <= 0 ] start location: koat_start leaf cost: 0 Slicing away variables that do not contribute to conditions from problem 1 leaves variables [ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20]. We thus obtain the following problem: 2: T: (Comp: 1, Cost: 0) koat_start(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 <= 0 ] (Comp: ?, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_8 = 0 ] (Comp: ?, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 0, ar_10, ar_20)) [ ar_9 = 0 ] (Comp: ?, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, 0)) [ ar_20 = 0 ] (Comp: ?, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_20 >= 1 ] (Comp: ?, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_20 + 1 ] (Comp: ?, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, 0, ar_5, ar_6, ar_7, ar_8, 0, ar_10, w)) [ ar_4 = 0 ] (Comp: ?, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, 0, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 0, ar_10, w)) [ ar_1 = 0 ] (Comp: ?, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 1, ar_10, w)) [ ar_1 >= 1 ] (Comp: ?, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 1, ar_10, w)) [ 0 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_1 >= 10 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ 9 >= ar_1 /\ ar_0 >= 10 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_2 >= 10 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_3 >= 10 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_4 >= 10 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_5 >= 10 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_6 >= 10 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_10 >= 10 /\ 9 >= ar_6 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 1, ar_9, ar_10, ar_20)) [ 9 >= ar_10 /\ 9 >= ar_6 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_6, ar_20)) [ ar_6 = ar_10 ] (Comp: ?, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_5, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_5 = ar_6 ] (Comp: ?, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_5, ar_20)) [ ar_5 = ar_10 ] (Comp: ?, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_4, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_4 = ar_5 ] (Comp: ?, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_4, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_4 = ar_6 ] (Comp: ?, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_4, ar_20)) [ ar_4 = ar_10 ] (Comp: ?, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_3, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_3 = ar_4 ] (Comp: ?, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_3, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_3 = ar_5 ] (Comp: ?, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_3, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_3 = ar_6 ] (Comp: ?, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_3, ar_20)) [ ar_3 = ar_10 ] (Comp: ?, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_2, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_3 ] (Comp: ?, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_2, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_4 ] (Comp: ?, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_2, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_5 ] (Comp: ?, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_2, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_6 ] (Comp: ?, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_2, ar_20)) [ ar_2 = ar_10 ] (Comp: ?, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_0, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_2 ] (Comp: ?, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_0, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_3 ] (Comp: ?, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_0, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_4 ] (Comp: ?, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_0, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_5 ] (Comp: ?, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_0, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_6 ] (Comp: ?, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_0, ar_20)) [ ar_0 = ar_10 ] (Comp: ?, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_1, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_0 ] (Comp: ?, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_1, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_2 ] (Comp: ?, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_1, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_3 ] (Comp: ?, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_1, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_4 ] (Comp: ?, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_1, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_5 ] (Comp: ?, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_1, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_6 ] (Comp: ?, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_1, ar_20)) [ ar_1 = ar_10 ] (Comp: ?, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_9 >= 1 ] (Comp: ?, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_9 + 1 ] (Comp: ?, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_8 >= 1 ] (Comp: ?, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_8 + 1 ] (Comp: ?, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= 1 ] (Comp: ?, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_1 + 1 ] start location: koat_start leaf cost: 0 Testing for reachability in the complexity graph removes the following transitions from problem 2: f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] We thus obtain the following problem: 3: T: (Comp: ?, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_6, ar_20)) [ ar_6 = ar_10 ] (Comp: ?, Cost: 1) f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_5, ar_20)) [ ar_5 = ar_10 ] (Comp: ?, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_5, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_5 = ar_6 ] (Comp: ?, Cost: 1) f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_4, ar_20)) [ ar_4 = ar_10 ] (Comp: ?, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_4, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_4 = ar_6 ] (Comp: ?, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_4, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_4 = ar_5 ] (Comp: ?, Cost: 1) f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_3, ar_20)) [ ar_3 = ar_10 ] (Comp: ?, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_3, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_3 = ar_6 ] (Comp: ?, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_3, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_3 = ar_5 ] (Comp: ?, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_3, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_3 = ar_4 ] (Comp: ?, Cost: 1) f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_2, ar_20)) [ ar_2 = ar_10 ] (Comp: ?, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_2, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_6 ] (Comp: ?, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_2, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_5 ] (Comp: ?, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_2, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_4 ] (Comp: ?, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_2, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_3 ] (Comp: ?, Cost: 1) f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_0, ar_20)) [ ar_0 = ar_10 ] (Comp: ?, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_0, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_6 ] (Comp: ?, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_20 + 1 ] (Comp: ?, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_20 >= 1 ] (Comp: ?, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, 0)) [ ar_20 = 0 ] (Comp: ?, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_0, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_5 ] (Comp: ?, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_9 + 1 ] (Comp: ?, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_9 >= 1 ] (Comp: ?, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 0, ar_10, ar_20)) [ ar_9 = 0 ] (Comp: ?, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_0, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_4 ] (Comp: ?, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_8 + 1 ] (Comp: ?, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_8 >= 1 ] (Comp: ?, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_8 = 0 ] (Comp: ?, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_0, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_3 ] (Comp: ?, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 1, ar_10, w)) [ 0 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 1, ar_10, w)) [ ar_1 >= 1 ] (Comp: ?, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, 0, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 0, ar_10, w)) [ ar_1 = 0 ] (Comp: ?, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] (Comp: ?, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_0, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_2 ] (Comp: ?, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= 1 ] (Comp: ?, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, 0, ar_5, ar_6, ar_7, ar_8, 0, ar_10, w)) [ ar_4 = 0 ] (Comp: ?, Cost: 1) f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 1, ar_9, ar_10, ar_20)) [ 9 >= ar_10 /\ 9 >= ar_6 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_10 >= 10 /\ 9 >= ar_6 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_6 >= 10 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_5 >= 10 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_4 >= 10 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_3 >= 10 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_2 >= 10 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ 9 >= ar_1 /\ ar_0 >= 10 ] (Comp: ?, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_1 >= 10 ] (Comp: ?, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_10 + 1 ] (Comp: ?, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_1, ar_20)) [ ar_1 = ar_10 ] (Comp: ?, Cost: 1) f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_6 + 1 ] (Comp: ?, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_1, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_6 ] (Comp: ?, Cost: 1) f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_5 + 1 ] (Comp: ?, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_1, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_5 ] (Comp: ?, Cost: 1) f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_4 + 1 ] (Comp: ?, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_1, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_4 ] (Comp: ?, Cost: 1) f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_3 + 1 ] (Comp: ?, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_1, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_3 ] (Comp: ?, Cost: 1) f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_2 + 1 ] (Comp: ?, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_1, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_2 ] (Comp: ?, Cost: 1) f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: ?, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_1 + 1 ] (Comp: ?, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_0 + 1 ] (Comp: ?, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_1, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_0 ] (Comp: 1, Cost: 0) koat_start(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 <= 0 ] start location: koat_start leaf cost: 0 Repeatedly propagating knowledge in problem 3 produces the following problem: 4: T: (Comp: 134217728, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_6 + 1 ] (Comp: 134217728, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_10 + 1 ] (Comp: 134217728, Cost: 1) f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_6, ar_20)) [ ar_6 = ar_10 ] (Comp: 134217728, Cost: 1) f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f78(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: 67108864, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_5 + 1 ] (Comp: 67108864, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_10 + 1 ] (Comp: 67108864, Cost: 1) f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_5, ar_20)) [ ar_5 = ar_10 ] (Comp: 33554432, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_5 + 1 ] (Comp: 33554432, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f71(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_6 + 1 ] (Comp: 33554432, Cost: 1) f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_5, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_5 = ar_6 ] (Comp: 33554432, Cost: 1) f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f70(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: 16777216, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_4 + 1 ] (Comp: 16777216, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_10 + 1 ] (Comp: 16777216, Cost: 1) f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_4, ar_20)) [ ar_4 = ar_10 ] (Comp: 8388608, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_4 + 1 ] (Comp: 8388608, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f62(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_6 + 1 ] (Comp: 8388608, Cost: 1) f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_4, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_4 = ar_6 ] (Comp: 4194304, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_4 + 1 ] (Comp: 4194304, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f61(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_5 + 1 ] (Comp: 4194304, Cost: 1) f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_4, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_4 = ar_5 ] (Comp: 4194304, Cost: 1) f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f60(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: 2097152, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_3 + 1 ] (Comp: 2097152, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_10 + 1 ] (Comp: 2097152, Cost: 1) f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_3, ar_20)) [ ar_3 = ar_10 ] (Comp: 1048576, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_3 + 1 ] (Comp: 1048576, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f51(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_6 + 1 ] (Comp: 1048576, Cost: 1) f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_3, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_3 = ar_6 ] (Comp: 524288, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_3 + 1 ] (Comp: 524288, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f50(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_5 + 1 ] (Comp: 524288, Cost: 1) f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_3, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_3 = ar_5 ] (Comp: 262144, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_3 + 1 ] (Comp: 262144, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f49(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_4 + 1 ] (Comp: 262144, Cost: 1) f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_3, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_3 = ar_4 ] (Comp: 262144, Cost: 1) f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f48(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: 131072, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_2 + 1 ] (Comp: 131072, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_10 + 1 ] (Comp: 131072, Cost: 1) f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_2, ar_20)) [ ar_2 = ar_10 ] (Comp: 65536, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_2 + 1 ] (Comp: 65536, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f38(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_6 + 1 ] (Comp: 65536, Cost: 1) f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_2, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_6 ] (Comp: 32768, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_2 + 1 ] (Comp: 32768, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f37(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_5 + 1 ] (Comp: 32768, Cost: 1) f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_2, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_5 ] (Comp: 16384, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_2 + 1 ] (Comp: 16384, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f36(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_4 + 1 ] (Comp: 16384, Cost: 1) f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_2, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_4 ] (Comp: 8192, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_2 + 1 ] (Comp: 8192, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f35(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_3 + 1 ] (Comp: 8192, Cost: 1) f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_2, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_2 = ar_3 ] (Comp: 8192, Cost: 1) f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f34(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: 4096, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_0 + 1 ] (Comp: 4096, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_10 + 1 ] (Comp: 4096, Cost: 1) f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_0, ar_20)) [ ar_0 = ar_10 ] (Comp: 2048, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_0 + 1 ] (Comp: 2048, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f23(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_6 + 1 ] (Comp: 2048, Cost: 1) f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_0, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_6 ] (Comp: 238370684456, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_20 + 1 ] (Comp: 238370684456, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_20 >= 1 ] (Comp: 238370684456, Cost: 1) f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, 0)) [ ar_20 = 0 ] (Comp: 1024, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_0 + 1 ] (Comp: 1024, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f22(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_5 + 1 ] (Comp: 1024, Cost: 1) f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_0, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_5 ] (Comp: 119185342228, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_9 + 1 ] (Comp: 119185342228, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f111(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_9 >= 1 ] (Comp: 119185342228, Cost: 1) f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 0, ar_10, ar_20)) [ ar_9 = 0 ] (Comp: 512, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_0 + 1 ] (Comp: 512, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f21(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_4 + 1 ] (Comp: 512, Cost: 1) f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_0, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_4 ] (Comp: 59592671114, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_8 + 1 ] (Comp: 59592671114, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f110(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_8 >= 1 ] (Comp: 59592671114, Cost: 1) f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_8 = 0 ] (Comp: 256, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_0 + 1 ] (Comp: 256, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f20(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_3 + 1 ] (Comp: 256, Cost: 1) f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_0, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_3 ] (Comp: 8589934575, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 1, ar_10, w)) [ 0 >= ar_1 + 1 ] (Comp: 8589934575, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 1, ar_10, w)) [ ar_1 >= 1 ] (Comp: 8589934575, Cost: 1) f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, 0, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, 0, ar_10, w)) [ ar_1 = 0 ] (Comp: 29796335557, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_7 + 1 ] (Comp: 29796335557, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f109(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: 29796335557, Cost: 1) f108(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f119(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: 128, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_0 + 1 ] (Comp: 128, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f19(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_2 + 1 ] (Comp: 128, Cost: 1) f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_0, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_0 = ar_2 ] (Comp: 4026531832, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 >= ar_4 + 1 ] (Comp: 4563402743, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f102(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= 1 ] (Comp: 4026531832, Cost: 1) f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f108(ar_0, ar_1, ar_2, ar_3, 0, ar_5, ar_6, ar_7, ar_8, 0, ar_10, w)) [ ar_4 = 0 ] (Comp: 128, Cost: 1) f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f18(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_7 >= 1 ] (Comp: 536870911, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 1, ar_9, ar_10, ar_20)) [ 9 >= ar_10 /\ 9 >= ar_6 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: 268435455, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_10 >= 10 /\ 9 >= ar_6 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: 536870911, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_6 >= 10 /\ 9 >= ar_5 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: 536870911, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_5 >= 10 /\ 9 >= ar_4 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: 536870911, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_4 >= 10 /\ 9 >= ar_3 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: 536870911, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_3 >= 10 /\ 9 >= ar_2 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: 536870911, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_2 >= 10 /\ 9 >= ar_1 /\ 9 >= ar_0 ] (Comp: 536870911, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ 9 >= ar_1 /\ ar_0 >= 10 ] (Comp: 536870911, Cost: 1) f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f101(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, 0, ar_9, ar_10, ar_20)) [ ar_1 >= 10 ] (Comp: 64, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_10 >= ar_1 + 1 ] (Comp: 64, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 1, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_10 + 1 ] (Comp: 64, Cost: 1) f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_1, ar_20)) [ ar_1 = ar_10 ] (Comp: 134217727, Cost: 1) f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f83(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: 32, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_6 >= ar_1 + 1 ] (Comp: 32, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f7(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_6 + 1 ] (Comp: 32, Cost: 1) f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_1, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_6 ] (Comp: 33554431, Cost: 1) f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f77(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: 16, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_5 >= ar_1 + 1 ] (Comp: 16, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f6(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_5 + 1 ] (Comp: 16, Cost: 1) f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_1, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_5 ] (Comp: 4194303, Cost: 1) f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f69(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: 8, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_4 >= ar_1 + 1 ] (Comp: 8, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f5(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_4 + 1 ] (Comp: 8, Cost: 1) f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_3, ar_1, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_4 ] (Comp: 262143, Cost: 1) f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f59(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: 4, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_3 >= ar_1 + 1 ] (Comp: 4, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f4(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_3 + 1 ] (Comp: 4, Cost: 1) f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_2, ar_1, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_3 ] (Comp: 8191, Cost: 1) f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f47(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: 2, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_2 >= ar_1 + 1 ] (Comp: 2, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f3(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_2 + 1 ] (Comp: 2, Cost: 1) f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_0, ar_1, ar_1, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_2 ] (Comp: 127, Cost: 1) f17(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f33(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_7 = 0 ] (Comp: 1, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_0 >= ar_1 + 1 ] (Comp: 1, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f2(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ ar_1 >= ar_0 + 1 ] (Comp: 1, Cost: 1) f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f17(ar_1, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, 0, ar_8, ar_9, ar_10, ar_20)) [ ar_1 = ar_0 ] (Comp: 1, Cost: 0) koat_start(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20) -> Com_1(f0(ar_0, ar_1, ar_2, ar_3, ar_4, ar_5, ar_6, ar_7, ar_8, ar_9, ar_10, ar_20)) [ 0 <= 0 ] start location: koat_start leaf cost: 0 Complexity upper bound 1384934553155 Time: 25.290 sec (SMT: 1.691 sec) ---------------------------------------- (2) BOUNDS(1, 1)