(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I J) (RULES f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f19(A, 0, C, D, E, F, G, H, I, J)) [ A >= 0 /\ 19 >= A ] f33(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A, B, C, 0, E, F, G, H, I, J)) [ C >= 0 /\ A + C - 20 >= 0 /\ A - 20 >= 0 /\ 19 >= C ] f52(A, B, C, D, E, F, G, H, I, J) -> Com_1(f55(A, B, C, D, E, 0, G, H, I, J)) [ E >= 0 /\ C + E - 20 >= 0 /\ A + E - 20 >= 0 /\ C - 20 >= 0 /\ A + C - 40 >= 0 /\ A - 20 >= 0 /\ 19 >= E ] f55(A, B, C, D, E, F, G, H, I, J) -> Com_1(f59(A, B, C, D, E, F, 0, H, I, J)) [ F >= 0 /\ E + F >= 0 /\ C + F - 20 >= 0 /\ A + F - 20 >= 0 /\ E >= 0 /\ C + E - 20 >= 0 /\ A + E - 20 >= 0 /\ C - 20 >= 0 /\ A + C - 40 >= 0 /\ A - 20 >= 0 /\ 19 >= F ] f59(A, B, C, D, E, F, G, H, I, J) -> Com_1(f59(A, B, C, D, E, F, G + 1, H, I, J)) [ G >= 0 /\ F + G >= 0 /\ E + G >= 0 /\ C + G - 20 >= 0 /\ A + G - 20 >= 0 /\ F >= 0 /\ E + F >= 0 /\ C + F - 20 >= 0 /\ A + F - 20 >= 0 /\ E >= 0 /\ C + E - 20 >= 0 /\ A + E - 20 >= 0 /\ C - 20 >= 0 /\ A + C - 40 >= 0 /\ A - 20 >= 0 /\ 19 >= G ] f59(A, B, C, D, E, F, G, H, I, J) -> Com_1(f55(A, B, C, D, E, F + 1, G, H, I, J)) [ G >= 0 /\ F + G >= 0 /\ E + G >= 0 /\ C + G - 20 >= 0 /\ A + G - 20 >= 0 /\ F >= 0 /\ E + F >= 0 /\ C + F - 20 >= 0 /\ A + F - 20 >= 0 /\ E >= 0 /\ C + E - 20 >= 0 /\ A + E - 20 >= 0 /\ C - 20 >= 0 /\ A + C - 40 >= 0 /\ A - 20 >= 0 /\ G >= 20 ] f55(A, B, C, D, E, F, G, H, I, J) -> Com_1(f52(A, B, C, D, E + 1, F, G, H, I, J)) [ F >= 0 /\ E + F >= 0 /\ C + F - 20 >= 0 /\ A + F - 20 >= 0 /\ E >= 0 /\ C + E - 20 >= 0 /\ A + E - 20 >= 0 /\ C - 20 >= 0 /\ A + C - 40 >= 0 /\ A - 20 >= 0 /\ F >= 20 ] f52(A, B, C, D, E, F, G, H, I, J) -> Com_1(f73(A, B, C, D, E, F, G, H, I, J)) [ E >= 0 /\ C + E - 20 >= 0 /\ A + E - 20 >= 0 /\ C - 20 >= 0 /\ A + C - 40 >= 0 /\ A - 20 >= 0 /\ E >= 20 ] f36(A, B, C, D, E, F, G, H, I, J) -> Com_1(f36(A, B, C, D + 1, E, F, G, K, K, J)) [ D >= 0 /\ C + D >= 0 /\ A + D - 20 >= 0 /\ C >= 0 /\ A + C - 20 >= 0 /\ A - 20 >= 0 /\ 19 >= D ] f36(A, B, C, D, E, F, G, H, I, J) -> Com_1(f33(A, B, C + 1, D, E, F, G, H, I, J)) [ D >= 0 /\ C + D >= 0 /\ A + D - 20 >= 0 /\ C >= 0 /\ A + C - 20 >= 0 /\ A - 20 >= 0 /\ D >= 20 ] f33(A, B, C, D, E, F, G, H, I, J) -> Com_1(f52(A, B, C, D, 0, F, G, H, I, J)) [ C >= 0 /\ A + C - 20 >= 0 /\ A - 20 >= 0 /\ C >= 20 ] f19(A, B, C, D, E, F, G, H, I, J) -> Com_1(f19(A, B + 1, C, D, E, F, G, K, I, K)) [ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ 19 >= B ] f19(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(A + 1, B, C, D, E, F, G, H, I, J)) [ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ B >= 20 ] f16(A, B, C, D, E, F, G, H, I, J) -> Com_1(f33(A, B, 0, D, E, F, G, H, I, J)) [ A >= 0 /\ A >= 20 ] f0(A, B, C, D, E, F, G, H, I, J) -> Com_1(f16(0, B, C, D, E, F, G, 0, I, J)) )