(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F) (RULES f10(A,B,C,D,E) -> Com_1(f10(A - 1,B - 1,C + 1,F,E)) :|: A >= 1 && F >= 1 f10(A,B,C,D,E) -> Com_1(f10(A - 1,B,C,F,E)) :|: 0 >= F && A >= 1 && A >= B + 1 f20(A,B,C,D,E) -> Com_1(f20(A,B,C,D,E)) f22(A,B,C,D,E) -> Com_1(f25(A,B,C,D,E)) f10(A,B,C,D,E) -> Com_1(f20(A,B,C,D,E)) :|: 0 >= A f0(A,B,C,D,E) -> Com_1(f10(8,F,0,D,8)) :|: F >= 1 )