(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS start0)) (VAR A B C D E F G H) (RULES start(A, B, C, D, E, F, G, H) -> Com_1(stop(A, H - 10, C, 1, E, H, G, H)) [ A - H >= 0 /\ -A + H >= 0 /\ F - G >= 0 /\ -F + G >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ A >= 101 /\ B = C /\ D = E /\ F = G /\ H = A ] start(A, B, C, D, E, F, G, H) -> Com_1(lbl111(A, B, C, 2, E, H + 11, G, H)) [ A - H >= 0 /\ -A + H >= 0 /\ F - G >= 0 /\ -F + G >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ 100 >= A /\ B = C /\ D = E /\ F = G /\ H = A ] lbl161(A, B, C, D, E, F, G, H) -> Com_1(stop(A, B, C, D, E, F, G, H)) [ -H + 100 >= 0 /\ F - H - 1 >= 0 /\ -F - H + 201 >= 0 /\ D - H + 99 >= 0 /\ -D - H + 101 >= 0 /\ B - H + 9 >= 0 /\ -B - H + 191 >= 0 /\ A - H >= 0 /\ -A - H + 200 >= 0 /\ -A + H >= 0 /\ -F + 101 >= 0 /\ D - F + 100 >= 0 /\ -D - F + 102 >= 0 /\ B - F + 10 >= 0 /\ -B - F + 192 >= 0 /\ -A - F + 201 >= 0 /\ F - 101 >= 0 /\ D + F - 102 >= 0 /\ -D + F - 100 >= 0 /\ B + F - 192 >= 0 /\ -B + F - 10 >= 0 /\ -A + F - 1 >= 0 /\ -D + 1 >= 0 /\ B - D - 90 >= 0 /\ -B - D + 92 >= 0 /\ -A - D + 101 >= 0 /\ D - 1 >= 0 /\ B + D - 92 >= 0 /\ -B + D + 90 >= 0 /\ -A + D + 99 >= 0 /\ -B + 91 >= 0 /\ -A - B + 191 >= 0 /\ B - 91 >= 0 /\ -A + B + 9 >= 0 /\ -A + 100 >= 0 /\ 89 >= A /\ D = 1 /\ H = A /\ F = 101 /\ B = 91 ] lbl221(A, B, C, D, E, F, G, H) -> Com_1(lbl161(A, F - 20, C, D - 1, E, F - 10, G, H)) [ -H + 99 >= 0 /\ F - H - 12 >= 0 /\ D - H + 97 >= 0 /\ -D - H + 101 >= 0 /\ A - H >= 0 /\ -A - H + 198 >= 0 /\ -A + H >= 0 /\ -A + F - 12 >= 0 /\ -A - D + 101 >= 0 /\ D - 2 >= 0 /\ -A + D + 97 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -A + 99 >= 0 /\ 99 >= A /\ 89 >= A /\ F = 111 /\ D = 2 /\ H = A /\ B = C ] lbl221(A, B, C, D, E, F, G, H) -> Com_1(lbl221(A, B, C, D, E, F + 1, G, H)) [ -H + 99 >= 0 /\ F - H - 12 >= 0 /\ D - H + 97 >= 0 /\ -D - H + 101 >= 0 /\ A - H >= 0 /\ -A - H + 198 >= 0 /\ -A + H >= 0 /\ -A + F - 12 >= 0 /\ -A - D + 101 >= 0 /\ D - 2 >= 0 /\ -A + D + 97 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -A + 99 >= 0 /\ D >= 3 /\ 110 >= F /\ D >= 2 /\ F >= 102 /\ 111 >= F /\ F + 10 >= A + 11*D /\ 89 >= A /\ H = A /\ B = C ] lbl221(A, B, C, D, E, F, G, H) -> Com_1(lbl221(A, B, C, D, E, F + 1, G, H)) [ -H + 99 >= 0 /\ F - H - 12 >= 0 /\ D - H + 97 >= 0 /\ -D - H + 101 >= 0 /\ A - H >= 0 /\ -A - H + 198 >= 0 /\ -A + H >= 0 /\ -A + F - 12 >= 0 /\ -A - D + 101 >= 0 /\ D - 2 >= 0 /\ -A + D + 97 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -A + 99 >= 0 /\ D >= 2 /\ 110 >= F /\ F >= 102 /\ 111 >= F /\ F + 10 >= A + 11*D /\ 89 >= A /\ H = A /\ B = C ] lbl221(A, B, C, D, E, F, G, H) -> Com_1(lbl221(A, B, C, D - 1, E, F - 9, G, H)) [ -H + 99 >= 0 /\ F - H - 12 >= 0 /\ D - H + 97 >= 0 /\ -D - H + 101 >= 0 /\ A - H >= 0 /\ -A - H + 198 >= 0 /\ -A + H >= 0 /\ -A + F - 12 >= 0 /\ -A - D + 101 >= 0 /\ D - 2 >= 0 /\ -A + D + 97 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -A + 99 >= 0 /\ D >= 3 /\ D >= 2 /\ 121 >= A + 11*D /\ 89 >= A /\ F = 111 /\ H = A /\ B = C ] lbl111(A, B, C, D, E, F, G, H) -> Com_1(lbl111(A, B, C, D + 1, E, F + 11, G, H)) [ -H + 100 >= 0 /\ F - H - 11 >= 0 /\ D - H + 98 >= 0 /\ -D - H + 102 >= 0 /\ A - H >= 0 /\ -A - H + 200 >= 0 /\ -A + H >= 0 /\ -A + F - 11 >= 0 /\ -A - D + 102 >= 0 /\ D - 2 >= 0 /\ -A + D + 98 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -A + 100 >= 0 /\ 111 >= 11*D + A /\ 122 >= 11*D + A /\ 11*D >= 22 /\ H = A /\ B = C /\ F + 11 = 11*D + A ] lbl111(A, B, C, D, E, F, G, H) -> Com_1(lbl161(A, F - 20, C, D - 1, E, F - 10, G, H)) [ -H + 100 >= 0 /\ F - H - 11 >= 0 /\ D - H + 98 >= 0 /\ -D - H + 102 >= 0 /\ A - H >= 0 /\ -A - H + 200 >= 0 /\ -A + H >= 0 /\ -A + F - 11 >= 0 /\ -A - D + 102 >= 0 /\ D - 2 >= 0 /\ -A + D + 98 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -A + 100 >= 0 /\ F = 111 /\ D = 2 /\ H = 100 /\ B = C /\ A = 100 ] lbl111(A, B, C, D, E, F, G, H) -> Com_1(lbl221(A, B, C, D, E, F + 1, G, H)) [ -H + 100 >= 0 /\ F - H - 11 >= 0 /\ D - H + 98 >= 0 /\ -D - H + 102 >= 0 /\ A - H >= 0 /\ -A - H + 200 >= 0 /\ -A + H >= 0 /\ -A + F - 11 >= 0 /\ -A - D + 102 >= 0 /\ D - 2 >= 0 /\ -A + D + 98 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -A + 100 >= 0 /\ 11*D + A >= 112 /\ D >= 3 /\ 121 >= 11*D + A /\ 122 >= 11*D + A /\ 11*D >= 22 /\ H = A /\ B = C /\ F + 11 = 11*D + A ] lbl111(A, B, C, D, E, F, G, H) -> Com_1(lbl221(A, B, C, D, E, F + 1, G, H)) [ -H + 100 >= 0 /\ F - H - 11 >= 0 /\ D - H + 98 >= 0 /\ -D - H + 102 >= 0 /\ A - H >= 0 /\ -A - H + 200 >= 0 /\ -A + H >= 0 /\ -A + F - 11 >= 0 /\ -A - D + 102 >= 0 /\ D - 2 >= 0 /\ -A + D + 98 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -A + 100 >= 0 /\ 11*D + A >= 112 /\ D >= 2 /\ 121 >= 11*D + A /\ 122 >= 11*D + A /\ 11*D >= 22 /\ H = A /\ B = C /\ F + 11 = 11*D + A ] lbl111(A, B, C, D, E, F, G, H) -> Com_1(lbl221(A, B, C, D - 1, E, F - 9, G, H)) [ -H + 100 >= 0 /\ F - H - 11 >= 0 /\ D - H + 98 >= 0 /\ -D - H + 102 >= 0 /\ A - H >= 0 /\ -A - H + 200 >= 0 /\ -A + H >= 0 /\ -A + F - 11 >= 0 /\ -A - D + 102 >= 0 /\ D - 2 >= 0 /\ -A + D + 98 >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ -A + 100 >= 0 /\ D >= 3 /\ 11*D >= 22 /\ F = 111 /\ H + 11*D = 122 /\ B = C /\ A + 11*D = 122 ] start0(A, B, C, D, E, F, G, H) -> Com_1(start(A, C, C, E, E, G, G, A)) )