(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f15)) (VAR A B C D E F G H I J K L M) (RULES f15(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f8(A, B, C, N, E, F, G, H, I, J, K, L, M)) f8(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f1(A, B, N, D, E, O, P, 0, I, 0, 0, L, M)) [ B >= A + 1 /\ E >= B + 1 ] f8(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f8(A + 1, B, C, D, E, F, G, H, I, J, K, L, M)) [ B >= A + 1 /\ B >= E ] f8(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f32(A, B, N, D, E, F, G, H, I, J, K, L, M)) [ A >= B ] f1(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f300(A, B + 1, N, D, E, O, G, 1, I, 1, 1, L, M)) [ -H >= 0 /\ K - H >= 0 /\ -K - H >= 0 /\ J - H >= 0 /\ -J - H >= 0 /\ H >= 0 /\ K + H >= 0 /\ -K + H >= 0 /\ J + H >= 0 /\ -J + H >= 0 /\ -B + E - 1 >= 0 /\ -A + E - 2 >= 0 /\ -A + B - 1 >= 0 /\ -K >= 0 /\ J - K >= 0 /\ -J - K >= 0 /\ K >= 0 /\ J + K >= 0 /\ -J + K >= 0 /\ -J >= 0 /\ J >= 0 /\ E >= B + 1 /\ M >= 5 ] f1(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f1(A, B, N, D, E, O, P, 0, I, 0, 0, L, M)) [ -H >= 0 /\ K - H >= 0 /\ -K - H >= 0 /\ J - H >= 0 /\ -J - H >= 0 /\ H >= 0 /\ K + H >= 0 /\ -K + H >= 0 /\ J + H >= 0 /\ -J + H >= 0 /\ -B + E - 1 >= 0 /\ -A + E - 2 >= 0 /\ -A + B - 1 >= 0 /\ -K >= 0 /\ J - K >= 0 /\ -J - K >= 0 /\ K >= 0 /\ J + K >= 0 /\ -J + K >= 0 /\ -J >= 0 /\ J >= 0 /\ E >= B + 1 /\ 4 >= M ] f300(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f1(A, B, N, D, E, O, P, 0, I, 0, 0, L, M)) [ -H + 1 >= 0 /\ M - H - 4 >= 0 /\ K - H >= 0 /\ -K - H + 2 >= 0 /\ J - H >= 0 /\ -J - H + 2 >= 0 /\ H - 1 >= 0 /\ M + H - 6 >= 0 /\ K + H - 2 >= 0 /\ -K + H >= 0 /\ J + H - 2 >= 0 /\ -J + H >= 0 /\ -B + E >= 0 /\ -A + E - 2 >= 0 /\ -A + B - 2 >= 0 /\ M - 5 >= 0 /\ K + M - 6 >= 0 /\ -K + M - 4 >= 0 /\ J + M - 6 >= 0 /\ -J + M - 4 >= 0 /\ -K + 1 >= 0 /\ J - K >= 0 /\ -J - K + 2 >= 0 /\ K - 1 >= 0 /\ J + K - 2 >= 0 /\ -J + K >= 0 /\ -J + 1 >= 0 /\ J - 1 >= 0 /\ E >= B + 1 ] f300(A, B, C, D, E, F, G, H, I, J, K, L, M) -> Com_1(f8(A + 1, B, C, D, E, F, G, H, I, J, K, L, M)) [ -H + 1 >= 0 /\ M - H - 4 >= 0 /\ K - H >= 0 /\ -K - H + 2 >= 0 /\ J - H >= 0 /\ -J - H + 2 >= 0 /\ H - 1 >= 0 /\ M + H - 6 >= 0 /\ K + H - 2 >= 0 /\ -K + H >= 0 /\ J + H - 2 >= 0 /\ -J + H >= 0 /\ -B + E >= 0 /\ -A + E - 2 >= 0 /\ -A + B - 2 >= 0 /\ M - 5 >= 0 /\ K + M - 6 >= 0 /\ -K + M - 4 >= 0 /\ J + M - 6 >= 0 /\ -J + M - 4 >= 0 /\ -K + 1 >= 0 /\ J - K >= 0 /\ -J - K + 2 >= 0 /\ K - 1 >= 0 /\ J + K - 2 >= 0 /\ -J + K >= 0 /\ -J + 1 >= 0 /\ J - 1 >= 0 /\ B >= E ] )