(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G) (RULES f0(A, B, C, D, E, F, G) -> Com_1(f15(0, H, I, 0, E, F, G)) f15(A, B, C, D, E, F, G) -> Com_1(f15(A, B, C, D + 1, E, F, G)) [ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ 49 >= D ] f25(A, B, C, D, E, F, G) -> Com_1(f25(A, B, C, D, E + 1, F, G)) [ E >= 0 /\ D + E - 50 >= 0 /\ A + E >= 0 /\ -A + E >= 0 /\ D - 50 >= 0 /\ A + D - 50 >= 0 /\ -A + D - 50 >= 0 /\ -A >= 0 /\ A >= 0 /\ 49 >= E ] f33(A, B, C, D, E, F, G) -> Com_1(f33(A + 1, B, C, D, E, F, G)) [ E - 50 >= 0 /\ D + E - 100 >= 0 /\ A + E - 50 >= 0 /\ D - 50 >= 0 /\ A + D - 50 >= 0 /\ A >= 0 /\ 49 >= A ] f42(A, B, C, D, E, F, G) -> Com_1(f42(A, B, C, D, E, F + 1, G)) [ F >= 0 /\ E + F - 50 >= 0 /\ D + F - 50 >= 0 /\ A + F - 50 >= 0 /\ E - 50 >= 0 /\ D + E - 100 >= 0 /\ A + E - 100 >= 0 /\ D - 50 >= 0 /\ A + D - 100 >= 0 /\ A - 50 >= 0 /\ 49 >= F ] f52(A, B, C, D, E, F, G) -> Com_1(f52(A, B, C, D, E, F, G + 1)) [ G >= 0 /\ F + G - 50 >= 0 /\ E + G - 50 >= 0 /\ D + G - 50 >= 0 /\ A + G - 50 >= 0 /\ F - 50 >= 0 /\ E + F - 100 >= 0 /\ D + F - 100 >= 0 /\ A + F - 100 >= 0 /\ E - 50 >= 0 /\ D + E - 100 >= 0 /\ A + E - 100 >= 0 /\ D - 50 >= 0 /\ A + D - 100 >= 0 /\ A - 50 >= 0 /\ 49 >= G ] f60(A, B, C, D, E, F, G) -> Com_1(f60(A + 1, B, C, D, E, F, G)) [ G - 50 >= 0 /\ F + G - 100 >= 0 /\ E + G - 100 >= 0 /\ D + G - 100 >= 0 /\ A + G - 50 >= 0 /\ F - 50 >= 0 /\ E + F - 100 >= 0 /\ D + F - 100 >= 0 /\ A + F - 50 >= 0 /\ E - 50 >= 0 /\ D + E - 100 >= 0 /\ A + E - 50 >= 0 /\ D - 50 >= 0 /\ A + D - 50 >= 0 /\ A >= 0 /\ 49 >= A ] f60(A, B, C, D, E, F, G) -> Com_1(f69(A, B, C, D, E, F, G)) [ G - 50 >= 0 /\ F + G - 100 >= 0 /\ E + G - 100 >= 0 /\ D + G - 100 >= 0 /\ A + G - 50 >= 0 /\ F - 50 >= 0 /\ E + F - 100 >= 0 /\ D + F - 100 >= 0 /\ A + F - 50 >= 0 /\ E - 50 >= 0 /\ D + E - 100 >= 0 /\ A + E - 50 >= 0 /\ D - 50 >= 0 /\ A + D - 50 >= 0 /\ A >= 0 /\ A >= 50 ] f52(A, B, C, D, E, F, G) -> Com_1(f60(0, B, C, D, E, F, G)) [ G >= 0 /\ F + G - 50 >= 0 /\ E + G - 50 >= 0 /\ D + G - 50 >= 0 /\ A + G - 50 >= 0 /\ F - 50 >= 0 /\ E + F - 100 >= 0 /\ D + F - 100 >= 0 /\ A + F - 100 >= 0 /\ E - 50 >= 0 /\ D + E - 100 >= 0 /\ A + E - 100 >= 0 /\ D - 50 >= 0 /\ A + D - 100 >= 0 /\ A - 50 >= 0 /\ G >= 50 ] f42(A, B, C, D, E, F, G) -> Com_1(f52(A, B, C, D, E, F, 0)) [ F >= 0 /\ E + F - 50 >= 0 /\ D + F - 50 >= 0 /\ A + F - 50 >= 0 /\ E - 50 >= 0 /\ D + E - 100 >= 0 /\ A + E - 100 >= 0 /\ D - 50 >= 0 /\ A + D - 100 >= 0 /\ A - 50 >= 0 /\ F >= 50 ] f33(A, B, C, D, E, F, G) -> Com_1(f42(A, B, C, D, E, 0, G)) [ E - 50 >= 0 /\ D + E - 100 >= 0 /\ A + E - 50 >= 0 /\ D - 50 >= 0 /\ A + D - 50 >= 0 /\ A >= 0 /\ A >= 50 ] f25(A, B, C, D, E, F, G) -> Com_1(f33(0, B, C, D, E, F, G)) [ E >= 0 /\ D + E - 50 >= 0 /\ A + E >= 0 /\ -A + E >= 0 /\ D - 50 >= 0 /\ A + D - 50 >= 0 /\ -A + D - 50 >= 0 /\ -A >= 0 /\ A >= 0 /\ E >= 50 ] f15(A, B, C, D, E, F, G) -> Com_1(f25(A, B, C, D, 0, F, G)) [ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ D >= 50 ] )