/export/starexec/sandbox/solver/bin/starexec_run_complexity /export/starexec/sandbox/benchmark/theBenchmark.koat /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?, O(1)) proof of /export/starexec/sandbox/benchmark/theBenchmark.koat # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(1, 1). (0) CpxIntTrs (1) Koat2 Proof [FINISHED, 148 ms] (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) Koat2 Proof (FINISHED) YES( ?, 129 {O(1)}) Initial Complexity Problem: Start: f0 Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9, Arg_10, Arg_11, Arg_12, Arg_13, Arg_14, Arg_15, Arg_16, Arg_17, Arg_18, Arg_19, Arg_20, Arg_21 Temp_Vars: W Locations: f0, f101, f102, f108, f109, f110, f111, f119, f17, f18, f19, f2, f20, f21, f22, f23, f3, f33, f34, f35, f36, f37, f38, f4, f47, f48, f49, f5, f50, f51, f59, f6, f60, f61, f62, f69, f7, f70, f71, f77, f78, f83 Transitions: 70: f0->f17 0: f0->f2 1: f0->f2 54: f101->f102 55: f101->f102 122: f101->f108 119: f102->f108 120: f102->f108 121: f102->f108 56: f108->f109 57: f108->f109 128: f108->f119 58: f109->f110 59: f109->f110 127: f109->f119 60: f110->f111 61: f110->f111 126: f110->f119 123: f111->f119 124: f111->f119 125: f111->f119 12: f17->f18 13: f17->f18 79: f17->f33 14: f18->f19 15: f18->f19 78: f18->f33 16: f19->f20 17: f19->f20 77: f19->f33 69: f2->f17 2: f2->f3 3: f2->f3 18: f20->f21 19: f20->f21 76: f20->f33 20: f21->f22 21: f21->f22 75: f21->f33 22: f22->f23 23: f22->f23 74: f22->f33 71: f23->f33 72: f23->f33 73: f23->f33 68: f3->f17 4: f3->f4 5: f3->f4 24: f33->f34 25: f33->f34 87: f33->f47 26: f34->f35 27: f34->f35 86: f34->f47 28: f35->f36 29: f35->f36 85: f35->f47 30: f36->f37 31: f36->f37 84: f36->f47 32: f37->f38 33: f37->f38 83: f37->f47 80: f38->f47 81: f38->f47 82: f38->f47 67: f4->f17 6: f4->f5 7: f4->f5 34: f47->f48 35: f47->f48 94: f47->f59 36: f48->f49 37: f48->f49 93: f48->f59 38: f49->f50 39: f49->f50 92: f49->f59 66: f5->f17 8: f5->f6 9: f5->f6 40: f50->f51 41: f50->f51 91: f50->f59 88: f51->f59 89: f51->f59 90: f51->f59 42: f59->f60 43: f59->f60 100: f59->f69 65: f6->f17 10: f6->f7 11: f6->f7 44: f60->f61 45: f60->f61 99: f60->f69 46: f61->f62 47: f61->f62 98: f61->f69 95: f62->f69 96: f62->f69 97: f62->f69 48: f69->f70 49: f69->f70 105: f69->f77 62: f7->f17 63: f7->f17 64: f7->f17 50: f70->f71 51: f70->f71 104: f70->f77 101: f71->f77 102: f71->f77 103: f71->f77 52: f77->f78 53: f77->f78 109: f77->f83 106: f78->f83 107: f78->f83 108: f78->f83 110: f83->f101 111: f83->f101 112: f83->f101 113: f83->f101 114: f83->f101 115: f83->f101 116: f83->f101 117: f83->f101 118: f83->f101 Timebounds: Overall timebound: 129 {O(1)} 0: f0->f2: 1 {O(1)} 1: f0->f2: 1 {O(1)} 70: f0->f17: 1 {O(1)} 54: f101->f102: 1 {O(1)} 55: f101->f102: 1 {O(1)} 122: f101->f108: 1 {O(1)} 119: f102->f108: 1 {O(1)} 120: f102->f108: 1 {O(1)} 121: f102->f108: 1 {O(1)} 56: f108->f109: 1 {O(1)} 57: f108->f109: 1 {O(1)} 128: f108->f119: 1 {O(1)} 58: f109->f110: 1 {O(1)} 59: f109->f110: 1 {O(1)} 127: f109->f119: 1 {O(1)} 60: f110->f111: 1 {O(1)} 61: f110->f111: 1 {O(1)} 126: f110->f119: 1 {O(1)} 123: f111->f119: 1 {O(1)} 124: f111->f119: 1 {O(1)} 125: f111->f119: 1 {O(1)} 12: f17->f18: 1 {O(1)} 13: f17->f18: 1 {O(1)} 79: f17->f33: 1 {O(1)} 14: f18->f19: 1 {O(1)} 15: f18->f19: 1 {O(1)} 78: f18->f33: 1 {O(1)} 16: f19->f20: 1 {O(1)} 17: f19->f20: 1 {O(1)} 77: f19->f33: 1 {O(1)} 2: f2->f3: 1 {O(1)} 3: f2->f3: 1 {O(1)} 69: f2->f17: 1 {O(1)} 18: f20->f21: 1 {O(1)} 19: f20->f21: 1 {O(1)} 76: f20->f33: 1 {O(1)} 20: f21->f22: 1 {O(1)} 21: f21->f22: 1 {O(1)} 75: f21->f33: 1 {O(1)} 22: f22->f23: 1 {O(1)} 23: f22->f23: 1 {O(1)} 74: f22->f33: 1 {O(1)} 71: f23->f33: 1 {O(1)} 72: f23->f33: 1 {O(1)} 73: f23->f33: 1 {O(1)} 4: f3->f4: 1 {O(1)} 5: f3->f4: 1 {O(1)} 68: f3->f17: 1 {O(1)} 24: f33->f34: 1 {O(1)} 25: f33->f34: 1 {O(1)} 87: f33->f47: 1 {O(1)} 26: f34->f35: 1 {O(1)} 27: f34->f35: 1 {O(1)} 86: f34->f47: 1 {O(1)} 28: f35->f36: 1 {O(1)} 29: f35->f36: 1 {O(1)} 85: f35->f47: 1 {O(1)} 30: f36->f37: 1 {O(1)} 31: f36->f37: 1 {O(1)} 84: f36->f47: 1 {O(1)} 32: f37->f38: 1 {O(1)} 33: f37->f38: 1 {O(1)} 83: f37->f47: 1 {O(1)} 80: f38->f47: 1 {O(1)} 81: f38->f47: 1 {O(1)} 82: f38->f47: 1 {O(1)} 6: f4->f5: 1 {O(1)} 7: f4->f5: 1 {O(1)} 67: f4->f17: 1 {O(1)} 34: f47->f48: 1 {O(1)} 35: f47->f48: 1 {O(1)} 94: f47->f59: 1 {O(1)} 36: f48->f49: 1 {O(1)} 37: f48->f49: 1 {O(1)} 93: f48->f59: 1 {O(1)} 38: f49->f50: 1 {O(1)} 39: f49->f50: 1 {O(1)} 92: f49->f59: 1 {O(1)} 8: f5->f6: 1 {O(1)} 9: f5->f6: 1 {O(1)} 66: f5->f17: 1 {O(1)} 40: f50->f51: 1 {O(1)} 41: f50->f51: 1 {O(1)} 91: f50->f59: 1 {O(1)} 88: f51->f59: 1 {O(1)} 89: f51->f59: 1 {O(1)} 90: f51->f59: 1 {O(1)} 42: f59->f60: 1 {O(1)} 43: f59->f60: 1 {O(1)} 100: f59->f69: 1 {O(1)} 10: f6->f7: 1 {O(1)} 11: f6->f7: 1 {O(1)} 65: f6->f17: 1 {O(1)} 44: f60->f61: 1 {O(1)} 45: f60->f61: 1 {O(1)} 99: f60->f69: 1 {O(1)} 46: f61->f62: 1 {O(1)} 47: f61->f62: 1 {O(1)} 98: f61->f69: 1 {O(1)} 95: f62->f69: 1 {O(1)} 96: f62->f69: 1 {O(1)} 97: f62->f69: 1 {O(1)} 48: f69->f70: 1 {O(1)} 49: f69->f70: 1 {O(1)} 105: f69->f77: 1 {O(1)} 62: f7->f17: 1 {O(1)} 63: f7->f17: 1 {O(1)} 64: f7->f17: 1 {O(1)} 50: f70->f71: 1 {O(1)} 51: f70->f71: 1 {O(1)} 104: f70->f77: 1 {O(1)} 101: f71->f77: 1 {O(1)} 102: f71->f77: 1 {O(1)} 103: f71->f77: 1 {O(1)} 52: f77->f78: 1 {O(1)} 53: f77->f78: 1 {O(1)} 109: f77->f83: 1 {O(1)} 106: f78->f83: 1 {O(1)} 107: f78->f83: 1 {O(1)} 108: f78->f83: 1 {O(1)} 110: f83->f101: 1 {O(1)} 111: f83->f101: 1 {O(1)} 112: f83->f101: 1 {O(1)} 113: f83->f101: 1 {O(1)} 114: f83->f101: 1 {O(1)} 115: f83->f101: 1 {O(1)} 116: f83->f101: 1 {O(1)} 117: f83->f101: 1 {O(1)} 118: f83->f101: 1 {O(1)} Costbounds: Overall costbound: 129 {O(1)} 0: f0->f2: 1 {O(1)} 1: f0->f2: 1 {O(1)} 70: f0->f17: 1 {O(1)} 54: f101->f102: 1 {O(1)} 55: f101->f102: 1 {O(1)} 122: f101->f108: 1 {O(1)} 119: f102->f108: 1 {O(1)} 120: f102->f108: 1 {O(1)} 121: f102->f108: 1 {O(1)} 56: f108->f109: 1 {O(1)} 57: f108->f109: 1 {O(1)} 128: f108->f119: 1 {O(1)} 58: f109->f110: 1 {O(1)} 59: f109->f110: 1 {O(1)} 127: f109->f119: 1 {O(1)} 60: f110->f111: 1 {O(1)} 61: f110->f111: 1 {O(1)} 126: f110->f119: 1 {O(1)} 123: f111->f119: 1 {O(1)} 124: f111->f119: 1 {O(1)} 125: f111->f119: 1 {O(1)} 12: f17->f18: 1 {O(1)} 13: f17->f18: 1 {O(1)} 79: f17->f33: 1 {O(1)} 14: f18->f19: 1 {O(1)} 15: f18->f19: 1 {O(1)} 78: f18->f33: 1 {O(1)} 16: f19->f20: 1 {O(1)} 17: f19->f20: 1 {O(1)} 77: f19->f33: 1 {O(1)} 2: f2->f3: 1 {O(1)} 3: f2->f3: 1 {O(1)} 69: f2->f17: 1 {O(1)} 18: f20->f21: 1 {O(1)} 19: f20->f21: 1 {O(1)} 76: f20->f33: 1 {O(1)} 20: f21->f22: 1 {O(1)} 21: f21->f22: 1 {O(1)} 75: f21->f33: 1 {O(1)} 22: f22->f23: 1 {O(1)} 23: f22->f23: 1 {O(1)} 74: f22->f33: 1 {O(1)} 71: f23->f33: 1 {O(1)} 72: f23->f33: 1 {O(1)} 73: f23->f33: 1 {O(1)} 4: f3->f4: 1 {O(1)} 5: f3->f4: 1 {O(1)} 68: f3->f17: 1 {O(1)} 24: f33->f34: 1 {O(1)} 25: f33->f34: 1 {O(1)} 87: f33->f47: 1 {O(1)} 26: f34->f35: 1 {O(1)} 27: f34->f35: 1 {O(1)} 86: f34->f47: 1 {O(1)} 28: f35->f36: 1 {O(1)} 29: f35->f36: 1 {O(1)} 85: f35->f47: 1 {O(1)} 30: f36->f37: 1 {O(1)} 31: f36->f37: 1 {O(1)} 84: f36->f47: 1 {O(1)} 32: f37->f38: 1 {O(1)} 33: f37->f38: 1 {O(1)} 83: f37->f47: 1 {O(1)} 80: f38->f47: 1 {O(1)} 81: f38->f47: 1 {O(1)} 82: f38->f47: 1 {O(1)} 6: f4->f5: 1 {O(1)} 7: f4->f5: 1 {O(1)} 67: f4->f17: 1 {O(1)} 34: f47->f48: 1 {O(1)} 35: f47->f48: 1 {O(1)} 94: f47->f59: 1 {O(1)} 36: f48->f49: 1 {O(1)} 37: f48->f49: 1 {O(1)} 93: f48->f59: 1 {O(1)} 38: f49->f50: 1 {O(1)} 39: f49->f50: 1 {O(1)} 92: f49->f59: 1 {O(1)} 8: f5->f6: 1 {O(1)} 9: f5->f6: 1 {O(1)} 66: f5->f17: 1 {O(1)} 40: f50->f51: 1 {O(1)} 41: f50->f51: 1 {O(1)} 91: f50->f59: 1 {O(1)} 88: f51->f59: 1 {O(1)} 89: f51->f59: 1 {O(1)} 90: f51->f59: 1 {O(1)} 42: f59->f60: 1 {O(1)} 43: f59->f60: 1 {O(1)} 100: f59->f69: 1 {O(1)} 10: f6->f7: 1 {O(1)} 11: f6->f7: 1 {O(1)} 65: f6->f17: 1 {O(1)} 44: f60->f61: 1 {O(1)} 45: f60->f61: 1 {O(1)} 99: f60->f69: 1 {O(1)} 46: f61->f62: 1 {O(1)} 47: f61->f62: 1 {O(1)} 98: f61->f69: 1 {O(1)} 95: f62->f69: 1 {O(1)} 96: f62->f69: 1 {O(1)} 97: f62->f69: 1 {O(1)} 48: f69->f70: 1 {O(1)} 49: f69->f70: 1 {O(1)} 105: f69->f77: 1 {O(1)} 62: f7->f17: 1 {O(1)} 63: f7->f17: 1 {O(1)} 64: f7->f17: 1 {O(1)} 50: f70->f71: 1 {O(1)} 51: f70->f71: 1 {O(1)} 104: f70->f77: 1 {O(1)} 101: f71->f77: 1 {O(1)} 102: f71->f77: 1 {O(1)} 103: f71->f77: 1 {O(1)} 52: f77->f78: 1 {O(1)} 53: f77->f78: 1 {O(1)} 109: f77->f83: 1 {O(1)} 106: f78->f83: 1 {O(1)} 107: f78->f83: 1 {O(1)} 108: f78->f83: 1 {O(1)} 110: f83->f101: 1 {O(1)} 111: f83->f101: 1 {O(1)} 112: f83->f101: 1 {O(1)} 113: f83->f101: 1 {O(1)} 114: f83->f101: 1 {O(1)} 115: f83->f101: 1 {O(1)} 116: f83->f101: 1 {O(1)} 117: f83->f101: 1 {O(1)} 118: f83->f101: 1 {O(1)} Sizebounds: `Lower: `Upper: ---------------------------------------- (2) BOUNDS(1, 1)