(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D E F G H I) (RULES f0(A, B, C, D, E, F, G, H, I) -> Com_1(f17(0, J, K, 0, E, F, G, H, I)) f17(A, B, C, D, E, F, G, H, I) -> Com_1(f17(A, B, C, D + 1, E, F, G, H, I)) [ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ 49 >= D ] f27(A, B, C, D, E, F, G, H, I) -> Com_1(f27(A, B, C, D, E + 1, F, G, H, I)) [ 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 ] f37(A, B, C, D, E, F, G, H, I) -> Com_1(f37(A, B, C, D, E, F + 1, G, H, I)) [ F >= 0 /\ E + F - 50 >= 0 /\ D + F - 50 >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ E - 50 >= 0 /\ D + E - 100 >= 0 /\ A + E - 50 >= 0 /\ -A + E - 50 >= 0 /\ D - 50 >= 0 /\ A + D - 50 >= 0 /\ -A + D - 50 >= 0 /\ -A >= 0 /\ A >= 0 /\ 49 >= F ] f45(A, B, C, D, E, F, G, H, I) -> Com_1(f45(A + 1, B, C, D, E, F, G, H, I)) [ 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 ] f55(A, B, C, D, E, F, G, H, I) -> Com_1(f55(A, B, C, D, E, F, G + 1, H, I)) [ 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 ] f65(A, B, C, D, E, F, G, H, I) -> Com_1(f65(A, B, C, D, E, F, G, H + 1, I)) [ H >= 0 /\ G + H - 50 >= 0 /\ F + H - 50 >= 0 /\ E + H - 50 >= 0 /\ D + H - 50 >= 0 /\ A + H - 50 >= 0 /\ G - 50 >= 0 /\ F + G - 100 >= 0 /\ E + G - 100 >= 0 /\ D + G - 100 >= 0 /\ A + G - 100 >= 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 >= H ] f75(A, B, C, D, E, F, G, H, I) -> Com_1(f75(A, B, C, D, E, F, G, H, I + 1)) [ I >= 0 /\ H + I - 50 >= 0 /\ G + I - 50 >= 0 /\ F + I - 50 >= 0 /\ E + I - 50 >= 0 /\ D + I - 50 >= 0 /\ A + I - 50 >= 0 /\ H - 50 >= 0 /\ G + H - 100 >= 0 /\ F + H - 100 >= 0 /\ E + H - 100 >= 0 /\ D + H - 100 >= 0 /\ A + H - 100 >= 0 /\ G - 50 >= 0 /\ F + G - 100 >= 0 /\ E + G - 100 >= 0 /\ D + G - 100 >= 0 /\ A + G - 100 >= 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 >= I ] f83(A, B, C, D, E, F, G, H, I) -> Com_1(f83(A + 1, B, C, D, E, F, G, H, I)) [ I - 50 >= 0 /\ H + I - 100 >= 0 /\ G + I - 100 >= 0 /\ F + I - 100 >= 0 /\ E + I - 100 >= 0 /\ D + I - 100 >= 0 /\ A + I - 50 >= 0 /\ H - 50 >= 0 /\ G + H - 100 >= 0 /\ F + H - 100 >= 0 /\ E + H - 100 >= 0 /\ D + H - 100 >= 0 /\ A + H - 50 >= 0 /\ 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 ] f83(A, B, C, D, E, F, G, H, I) -> Com_1(f93(A, B, C, D, E, F, G, H, I)) [ I - 50 >= 0 /\ H + I - 100 >= 0 /\ G + I - 100 >= 0 /\ F + I - 100 >= 0 /\ E + I - 100 >= 0 /\ D + I - 100 >= 0 /\ A + I - 50 >= 0 /\ H - 50 >= 0 /\ G + H - 100 >= 0 /\ F + H - 100 >= 0 /\ E + H - 100 >= 0 /\ D + H - 100 >= 0 /\ A + H - 50 >= 0 /\ 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 ] f75(A, B, C, D, E, F, G, H, I) -> Com_1(f83(0, B, C, D, E, F, G, H, I)) [ I >= 0 /\ H + I - 50 >= 0 /\ G + I - 50 >= 0 /\ F + I - 50 >= 0 /\ E + I - 50 >= 0 /\ D + I - 50 >= 0 /\ A + I - 50 >= 0 /\ H - 50 >= 0 /\ G + H - 100 >= 0 /\ F + H - 100 >= 0 /\ E + H - 100 >= 0 /\ D + H - 100 >= 0 /\ A + H - 100 >= 0 /\ G - 50 >= 0 /\ F + G - 100 >= 0 /\ E + G - 100 >= 0 /\ D + G - 100 >= 0 /\ A + G - 100 >= 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 /\ I >= 50 ] f65(A, B, C, D, E, F, G, H, I) -> Com_1(f75(A, B, C, D, E, F, G, H, 0)) [ H >= 0 /\ G + H - 50 >= 0 /\ F + H - 50 >= 0 /\ E + H - 50 >= 0 /\ D + H - 50 >= 0 /\ A + H - 50 >= 0 /\ G - 50 >= 0 /\ F + G - 100 >= 0 /\ E + G - 100 >= 0 /\ D + G - 100 >= 0 /\ A + G - 100 >= 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 /\ H >= 50 ] f55(A, B, C, D, E, F, G, H, I) -> Com_1(f65(A, B, C, D, E, F, G, 0, I)) [ 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 ] f45(A, B, C, D, E, F, G, H, I) -> Com_1(f55(A, B, C, D, E, F, 0, H, I)) [ 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 ] f37(A, B, C, D, E, F, G, H, I) -> Com_1(f45(0, B, C, D, E, F, G, H, I)) [ F >= 0 /\ E + F - 50 >= 0 /\ D + F - 50 >= 0 /\ A + F >= 0 /\ -A + F >= 0 /\ E - 50 >= 0 /\ D + E - 100 >= 0 /\ A + E - 50 >= 0 /\ -A + E - 50 >= 0 /\ D - 50 >= 0 /\ A + D - 50 >= 0 /\ -A + D - 50 >= 0 /\ -A >= 0 /\ A >= 0 /\ F >= 50 ] f27(A, B, C, D, E, F, G, H, I) -> Com_1(f37(A, B, C, D, E, 0, G, H, I)) [ 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 ] f17(A, B, C, D, E, F, G, H, I) -> Com_1(f27(A, B, C, D, 0, F, G, H, I)) [ D >= 0 /\ A + D >= 0 /\ -A + D >= 0 /\ -A >= 0 /\ A >= 0 /\ D >= 50 ] )