(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G) (RULES f12(A,B,C,D,E,F) -> Com_1(f12(A - 1,B - 1,C + 1,G,E,F)) :|: A >= 1 && G >= 1 f12(A,B,C,D,E,F) -> Com_1(f12(A - 1,B,C,G,E,F)) :|: 0 >= G && A >= 1 && A >= B + 1 f22(A,B,C,D,E,F) -> Com_1(f22(A,B,C,D,E,F)) f24(A,B,C,D,E,F) -> Com_1(f27(A,B,C,D,E,F)) f12(A,B,C,D,E,F) -> Com_1(f22(A,B,C,D,E,F)) :|: 0 >= A f0(A,B,C,D,E,F) -> Com_1(f12(4,G,0,D,G,4)) :|: G >= 1 )