(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS start0))
(VAR A B C D E F G H I J K L)
(RULES
  start(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J, H - 1, L)) [ J - I >= 0 /\ -J + I >= 0 /\ A - H >= 0 /\ -A + H >= 0 /\ F - G >= 0 /\ -F + G >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ K - L >= 0 /\ -K + L >= 0 /\ 1 >= A /\ B = C /\ D = E /\ F = G /\ H = A /\ I = J /\ K = L ]
  start(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl71(A, B, C, 0, E, M, G, H, 0, J, H - 1, L)) [ J - I >= 0 /\ -J + I >= 0 /\ A - H >= 0 /\ -A + H >= 0 /\ F - G >= 0 /\ -F + G >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ K - L >= 0 /\ -K + L >= 0 /\ A >= 2 /\ B = C /\ D = E /\ F = G /\ H = A /\ I = J /\ K = L ]
  start(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl53(A, 0, C, 0, E, F, G, H, 1, J, H - 1, L)) [ J - I >= 0 /\ -J + I >= 0 /\ A - H >= 0 /\ -A + H >= 0 /\ F - G >= 0 /\ -F + G >= 0 /\ D - E >= 0 /\ -D + E >= 0 /\ B - C >= 0 /\ -B + C >= 0 /\ K - L >= 0 /\ -K + L >= 0 /\ A >= 2 /\ B = C /\ D = E /\ F = G /\ H = A /\ I = J /\ K = L ]
  lbl71(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl53(A, I, C, 1, E, F, G, H, I + 1, J, K, L)) [ H - I - 2 >= 0 /\ K - I - 1 >= 0 /\ A - I - 2 >= 0 /\ I >= 0 /\ H + I - 2 >= 0 /\ D + I >= 0 /\ -D + I >= 0 /\ K + I - 1 >= 0 /\ A + I - 2 >= 0 /\ A - H >= 0 /\ H - 2 >= 0 /\ D + H - 2 >= 0 /\ -D + H - 2 >= 0 /\ K + H - 3 >= 0 /\ -K + H - 1 >= 0 /\ A + H - 4 >= 0 /\ -A + H >= 0 /\ K - D - 1 >= 0 /\ A - D - 2 >= 0 /\ D >= 0 /\ K + D - 1 >= 0 /\ A + D - 2 >= 0 /\ A - K - 1 >= 0 /\ K - 1 >= 0 /\ A + K - 3 >= 0 /\ A - 2 >= 0 /\ I >= D /\ K >= I + 1 /\ A >= K + 1 /\ H = A ]
  lbl53(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J, K, L)) [ H - I - 1 >= 0 /\ B - I + 1 >= 0 /\ K - I >= 0 /\ A - I - 1 >= 0 /\ I - 1 >= 0 /\ H + I - 3 >= 0 /\ D + I - 1 >= 0 /\ -D + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ K + I - 2 >= 0 /\ A + I - 3 >= 0 /\ A - H >= 0 /\ H - 2 >= 0 /\ D + H - 2 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 2 >= 0 /\ -B + H - 2 >= 0 /\ K + H - 3 >= 0 /\ -K + H - 1 >= 0 /\ A + H - 4 >= 0 /\ -A + H >= 0 /\ -D + 1 >= 0 /\ B - D + 1 >= 0 /\ K - D >= 0 /\ A - D - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ K + D - 1 >= 0 /\ A + D - 2 >= 0 /\ K - B - 1 >= 0 /\ A - B - 2 >= 0 /\ B >= 0 /\ K + B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - K - 1 >= 0 /\ K - 1 >= 0 /\ A + K - 3 >= 0 /\ A - 2 >= 0 /\ A >= B + 2 /\ I = B + 1 /\ D = 0 /\ K = B + 1 /\ H = A ]
  lbl53(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl13(A, B, C, D, E, F, G, H, I, J, K - 1, L)) [ H - I - 1 >= 0 /\ B - I + 1 >= 0 /\ K - I >= 0 /\ A - I - 1 >= 0 /\ I - 1 >= 0 /\ H + I - 3 >= 0 /\ D + I - 1 >= 0 /\ -D + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ K + I - 2 >= 0 /\ A + I - 3 >= 0 /\ A - H >= 0 /\ H - 2 >= 0 /\ D + H - 2 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 2 >= 0 /\ -B + H - 2 >= 0 /\ K + H - 3 >= 0 /\ -K + H - 1 >= 0 /\ A + H - 4 >= 0 /\ -A + H >= 0 /\ -D + 1 >= 0 /\ B - D + 1 >= 0 /\ K - D >= 0 /\ A - D - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ K + D - 1 >= 0 /\ A + D - 2 >= 0 /\ K - B - 1 >= 0 /\ A - B - 2 >= 0 /\ B >= 0 /\ K + B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - K - 1 >= 0 /\ K - 1 >= 0 /\ A + K - 3 >= 0 /\ A - 2 >= 0 /\ A >= B + 2 /\ D = 1 /\ I = B + 1 /\ K = B + 1 /\ H = A ]
  lbl53(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl71(A, B, C, D, E, M, G, H, I, J, K, L)) [ H - I - 1 >= 0 /\ B - I + 1 >= 0 /\ K - I >= 0 /\ A - I - 1 >= 0 /\ I - 1 >= 0 /\ H + I - 3 >= 0 /\ D + I - 1 >= 0 /\ -D + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ K + I - 2 >= 0 /\ A + I - 3 >= 0 /\ A - H >= 0 /\ H - 2 >= 0 /\ D + H - 2 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 2 >= 0 /\ -B + H - 2 >= 0 /\ K + H - 3 >= 0 /\ -K + H - 1 >= 0 /\ A + H - 4 >= 0 /\ -A + H >= 0 /\ -D + 1 >= 0 /\ B - D + 1 >= 0 /\ K - D >= 0 /\ A - D - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ K + D - 1 >= 0 /\ A + D - 2 >= 0 /\ K - B - 1 >= 0 /\ A - B - 2 >= 0 /\ B >= 0 /\ K + B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - K - 1 >= 0 /\ K - 1 >= 0 /\ A + K - 3 >= 0 /\ A - 2 >= 0 /\ K >= B + 2 /\ K >= B + 1 /\ 1 >= D /\ A >= K + 1 /\ I = B + 1 /\ H = A ]
  lbl53(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl53(A, I, C, D, E, F, G, H, I + 1, J, K, L)) [ H - I - 1 >= 0 /\ B - I + 1 >= 0 /\ K - I >= 0 /\ A - I - 1 >= 0 /\ I - 1 >= 0 /\ H + I - 3 >= 0 /\ D + I - 1 >= 0 /\ -D + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ K + I - 2 >= 0 /\ A + I - 3 >= 0 /\ A - H >= 0 /\ H - 2 >= 0 /\ D + H - 2 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 2 >= 0 /\ -B + H - 2 >= 0 /\ K + H - 3 >= 0 /\ -K + H - 1 >= 0 /\ A + H - 4 >= 0 /\ -A + H >= 0 /\ -D + 1 >= 0 /\ B - D + 1 >= 0 /\ K - D >= 0 /\ A - D - 1 >= 0 /\ D >= 0 /\ B + D >= 0 /\ K + D - 1 >= 0 /\ A + D - 2 >= 0 /\ K - B - 1 >= 0 /\ A - B - 2 >= 0 /\ B >= 0 /\ K + B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - K - 1 >= 0 /\ K - 1 >= 0 /\ A + K - 3 >= 0 /\ A - 2 >= 0 /\ K >= B + 2 /\ K >= B + 1 /\ 1 >= D /\ A >= K + 1 /\ I = B + 1 /\ H = A ]
  lbl13(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(stop(A, B, C, D, E, F, G, H, I, J, K, L)) [ H - I - 1 >= 0 /\ B - I + 1 >= 0 /\ K - I + 1 >= 0 /\ A - I - 1 >= 0 /\ I - 1 >= 0 /\ H + I - 3 >= 0 /\ D + I - 2 >= 0 /\ -D + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ K + I - 1 >= 0 /\ -K + I - 1 >= 0 /\ A + I - 3 >= 0 /\ A - H >= 0 /\ H - 2 >= 0 /\ D + H - 3 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 2 >= 0 /\ -B + H - 2 >= 0 /\ K + H - 2 >= 0 /\ -K + H - 2 >= 0 /\ A + H - 4 >= 0 /\ -A + H >= 0 /\ -D + 1 >= 0 /\ B - D + 1 >= 0 /\ K - D + 1 >= 0 /\ A - D - 1 >= 0 /\ D - 1 >= 0 /\ B + D - 1 >= 0 /\ K + D - 1 >= 0 /\ A + D - 3 >= 0 /\ K - B >= 0 /\ A - B - 2 >= 0 /\ B >= 0 /\ K + B >= 0 /\ -K + B >= 0 /\ A + B - 2 >= 0 /\ A - K - 2 >= 0 /\ K >= 0 /\ A + K - 2 >= 0 /\ A - 2 >= 0 /\ A >= 2 /\ K = 0 /\ D = 1 /\ H = A /\ I = 1 /\ B = 0 ]
  lbl13(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl71(A, B, C, 0, E, M, G, H, 0, J, K, L)) [ H - I - 1 >= 0 /\ B - I + 1 >= 0 /\ K - I + 1 >= 0 /\ A - I - 1 >= 0 /\ I - 1 >= 0 /\ H + I - 3 >= 0 /\ D + I - 2 >= 0 /\ -D + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ K + I - 1 >= 0 /\ -K + I - 1 >= 0 /\ A + I - 3 >= 0 /\ A - H >= 0 /\ H - 2 >= 0 /\ D + H - 3 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 2 >= 0 /\ -B + H - 2 >= 0 /\ K + H - 2 >= 0 /\ -K + H - 2 >= 0 /\ A + H - 4 >= 0 /\ -A + H >= 0 /\ -D + 1 >= 0 /\ B - D + 1 >= 0 /\ K - D + 1 >= 0 /\ A - D - 1 >= 0 /\ D - 1 >= 0 /\ B + D - 1 >= 0 /\ K + D - 1 >= 0 /\ A + D - 3 >= 0 /\ K - B >= 0 /\ A - B - 2 >= 0 /\ B >= 0 /\ K + B >= 0 /\ -K + B >= 0 /\ A + B - 2 >= 0 /\ A - K - 2 >= 0 /\ K >= 0 /\ A + K - 2 >= 0 /\ A - 2 >= 0 /\ B >= 1 /\ A >= B + 2 /\ D = 1 /\ H = A /\ K = B /\ I = B + 1 ]
  lbl13(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(lbl53(A, 0, C, 0, E, F, G, H, 1, J, K, L)) [ H - I - 1 >= 0 /\ B - I + 1 >= 0 /\ K - I + 1 >= 0 /\ A - I - 1 >= 0 /\ I - 1 >= 0 /\ H + I - 3 >= 0 /\ D + I - 2 >= 0 /\ -D + I >= 0 /\ B + I - 1 >= 0 /\ -B + I - 1 >= 0 /\ K + I - 1 >= 0 /\ -K + I - 1 >= 0 /\ A + I - 3 >= 0 /\ A - H >= 0 /\ H - 2 >= 0 /\ D + H - 3 >= 0 /\ -D + H - 1 >= 0 /\ B + H - 2 >= 0 /\ -B + H - 2 >= 0 /\ K + H - 2 >= 0 /\ -K + H - 2 >= 0 /\ A + H - 4 >= 0 /\ -A + H >= 0 /\ -D + 1 >= 0 /\ B - D + 1 >= 0 /\ K - D + 1 >= 0 /\ A - D - 1 >= 0 /\ D - 1 >= 0 /\ B + D - 1 >= 0 /\ K + D - 1 >= 0 /\ A + D - 3 >= 0 /\ K - B >= 0 /\ A - B - 2 >= 0 /\ B >= 0 /\ K + B >= 0 /\ -K + B >= 0 /\ A + B - 2 >= 0 /\ A - K - 2 >= 0 /\ K >= 0 /\ A + K - 2 >= 0 /\ A - 2 >= 0 /\ B >= 1 /\ A >= B + 2 /\ D = 1 /\ H = A /\ K = B /\ I = B + 1 ]
  start0(A, B, C, D, E, F, G, H, I, J, K, L) -> Com_1(start(A, C, C, E, E, G, G, A, J, J, L, L))
)