(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f2)) (VAR A B C D E F G H I J K) (RULES f69(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f71(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ 0 >= L + 1 ] f69(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f71(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ L >= 1 ] f2(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f5(A, B, C, D, E, F, G, H, I, J, K)) f5(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f9(A, B, 0, D, E, F, G, H, I, J, K)) [ A >= B ] f9(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f9(A, B, C, D + 1, L, L, G, H, I, J, K)) [ A - B >= 0 /\ C >= L /\ A >= D ] f9(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f9(A, B, L, D + 1, L, L, G, H, I, J, K)) [ A - B >= 0 /\ L >= C + 1 /\ A >= D ] f23(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f26(A, B, C, D, E, F, G, H, I, J, K)) [ -A + B - 1 >= 0 /\ A >= D ] f59(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f59(A, B, C, D, E, F, G, H + 1, L, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ A >= H ] f69(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f71(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 ] f71(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f74(A, B, C, D, E, F, G, H, L, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ A >= D + 1 ] f71(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f23(A, B, C, A + 1, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ A = D ] f74(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f23(A, B, C, D + 1, E, F, G, H, I, J, K)) [ B - D - 2 >= 0 /\ A - D - 1 >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ B >= A + 1 ] f59(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f69(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ H >= A + 1 ] f40(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f59(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ B >= A + 1 /\ K >= D + 1 ] f40(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f59(A, B, C, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ B >= A + 1 /\ D >= K + 1 ] f40(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f69(A, B, C, D, E, F, G, H, I, J, D)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -C >= 0 /\ C >= 0 /\ -A + B - 1 >= 0 /\ B >= A + 1 /\ D = K ] f26(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f40(A, B, 0, D, E, F, G, H, I, J, K)) [ B - D - 1 >= 0 /\ A - D >= 0 /\ -A + B - 1 >= 0 /\ B >= D ] f23(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f1(A, B, C, D, E, F, G, H, I, J, K)) [ -A + B - 1 >= 0 /\ D >= A + 1 ] f9(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f5(A, B + 1, C, D, E, F, G, H, I, J, K)) [ A - B >= 0 /\ 0 >= C + 1 /\ D >= A + 1 ] f9(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f5(A, B + 1, C, D, E, F, G, H, I, J, K)) [ A - B >= 0 /\ C >= 1 /\ D >= A + 1 ] f9(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f5(A, B + 1, 0, D, E, F, G, H, I, J, K)) [ A - B >= 0 /\ D >= A + 1 /\ C = 0 ] f5(A, B, C, D, E, F, G, H, I, J, K) -> Com_1(f23(A, B, C, D, E, F, G, H, I, J, K)) [ B >= A + 1 ] )