(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A B C D E F G)
(RULES
  f38(A, B, C, D, E, F, G) -> Com_1(f11(A, A, C, D, E, F, G)) [ G - 1 >= 0 /\ E + G - 2 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ -A + E >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ -B + D + 1 >= 0 /\ A + D >= 0 /\ -A + D + 1 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -B + C + 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A = B ]
  f0(A, B, C, D, E, F, G) -> Com_1(f11(0, 0, H, 0, 1, I, I)) [ H >= 0 /\ I >= 1 ]
  f11(A, B, C, D, E, F, G) -> Com_1(f34(0, H, C, D + 1, E, F, G)) [ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ A + D >= 0 /\ C >= 0 /\ B + C >= 0 /\ A + C >= 0 /\ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ H >= 0 /\ 1 >= H /\ G >= 1 /\ 0 >= C /\ 0 >= D ]
  f11(A, B, C, D, E, F, G) -> Com_1(f34(1, H, C, D + 1, E, F, G)) [ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ A + D >= 0 /\ C >= 0 /\ B + C >= 0 /\ A + C >= 0 /\ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ H >= 0 /\ 1 >= H /\ G >= 1 /\ 0 >= C /\ D = 1 ]
  f11(A, B, C, D, E, F, G) -> Com_1(f34(0, H, C, D + 1, E, F, G)) [ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ A + D >= 0 /\ C >= 0 /\ B + C >= 0 /\ A + C >= 0 /\ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ H >= 0 /\ 1 >= H /\ G >= 1 /\ 0 >= C /\ D = 2 ]
  f11(A, B, C, D, E, F, G) -> Com_1(f34(I, J, H, 0, E + 1, F, G)) [ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ A + D >= 0 /\ C >= 0 /\ B + C >= 0 /\ A + C >= 0 /\ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ J >= 0 /\ 1 >= J /\ I >= 0 /\ 1 >= I /\ H >= 0 /\ G >= 1 /\ 0 >= C /\ D >= 3 ]
  f11(A, B, C, D, E, F, G) -> Com_1(f34(H, I, C - 1, D, E, F, G)) [ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ A + D >= 0 /\ C >= 0 /\ B + C >= 0 /\ A + C >= 0 /\ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ I >= 0 /\ 1 >= I /\ H >= 0 /\ 1 >= H /\ C >= 1 /\ G >= 1 ]
  f34(A, B, C, D, E, F, G) -> Com_1(f38(A, B, C, D + 1, E, F, G)) [ G - 1 >= 0 /\ E + G - 2 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ -A + E >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ -B + D + 1 >= 0 /\ A + D >= 0 /\ -A + D + 1 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -B + C + 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ 0 >= B /\ 0 >= C /\ 0 >= D ]
  f34(A, B, C, D, E, F, G) -> Com_1(f38(A, B, C, D + 1, E, F, G)) [ G - 1 >= 0 /\ E + G - 2 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ -A + E >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ -B + D + 1 >= 0 /\ A + D >= 0 /\ -A + D + 1 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -B + C + 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ B >= 1 /\ 0 >= C /\ D = 1 ]
  f34(A, B, C, D, E, F, G) -> Com_1(f38(A, B, C, D + 1, E, F, G)) [ G - 1 >= 0 /\ E + G - 2 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ -A + E >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ -B + D + 1 >= 0 /\ A + D >= 0 /\ -A + D + 1 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -B + C + 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ 0 >= B /\ 0 >= C /\ D = 2 ]
  f34(A, B, C, D, E, F, G) -> Com_1(f38(A, B, H, 0, E + 1, F, G)) [ G - 1 >= 0 /\ E + G - 2 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ -A + E >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ -B + D + 1 >= 0 /\ A + D >= 0 /\ -A + D + 1 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -B + C + 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ H >= 0 /\ 0 >= C /\ D >= 3 ]
  f34(A, B, C, D, E, F, G) -> Com_1(f38(A, B, C - 1, D, E, F, G)) [ G - 1 >= 0 /\ E + G - 2 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ -A + E >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ -B + D + 1 >= 0 /\ A + D >= 0 /\ -A + D + 1 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -B + C + 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ C >= 1 ]
  f38(A, B, C, D, E, F, G) -> Com_1(f11(A, B, C, D, E, F, G - 1)) [ G - 1 >= 0 /\ E + G - 2 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ -A + E >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ -B + D + 1 >= 0 /\ A + D >= 0 /\ -A + D + 1 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -B + C + 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ B >= A + 1 ]
  f38(A, B, C, D, E, F, G) -> Com_1(f11(A, B, C, D, E, F, G - 1)) [ G - 1 >= 0 /\ E + G - 2 >= 0 /\ D + G - 1 >= 0 /\ C + G - 1 >= 0 /\ B + G - 1 >= 0 /\ -B + G >= 0 /\ A + G - 1 >= 0 /\ -A + G >= 0 /\ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ -B + E >= 0 /\ A + E - 1 >= 0 /\ -A + E >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ -B + D + 1 >= 0 /\ A + D >= 0 /\ -A + D + 1 >= 0 /\ C >= 0 /\ B + C >= 0 /\ -B + C + 1 >= 0 /\ A + C >= 0 /\ -A + C + 1 >= 0 /\ -B + 1 >= 0 /\ A - B + 1 >= 0 /\ -A - B + 2 >= 0 /\ B >= 0 /\ A + B >= 0 /\ -A + B + 1 >= 0 /\ -A + 1 >= 0 /\ A >= 0 /\ A >= B + 1 ]
  f11(A, B, C, D, E, F, G) -> Com_1(f53(A, B, C, D, E, F, G)) [ E - 1 >= 0 /\ D + E - 1 >= 0 /\ C + E - 1 >= 0 /\ B + E - 1 >= 0 /\ A + E - 1 >= 0 /\ D >= 0 /\ C + D >= 0 /\ B + D >= 0 /\ A + D >= 0 /\ C >= 0 /\ B + C >= 0 /\ A + C >= 0 /\ B >= 0 /\ A + B >= 0 /\ A >= 0 /\ 0 >= G ]
)