/export/starexec/sandbox2/solver/bin/starexec_run_complexity /export/starexec/sandbox2/benchmark/theBenchmark.koat /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


WORST_CASE(NON_POLY, ?)
proof of /export/starexec/sandbox2/benchmark/theBenchmark.koat
# AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty


The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(INF, INF).

(0) CpxIntTrs
(1) Loat Proof [FINISHED, 10.4 s]
(2) BOUNDS(INF, INF)


----------------------------------------

(0)
Obligation:
Complexity Int TRS consisting of the following rules:
f79(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f81(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= A
f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f34(A, B - 1, L2, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: B >= 1 && 0 >= L2
f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f44(A, B - 1, L2, M2, N2, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= M2 && B >= 1 && L2 >= 1
f81(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f65(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= F
f65(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f75(A, B, C, D, E, L2, G - 1, M2, N2, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: G >= 1 && 0 >= M2
f75(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f79(L2, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= I
f216(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f216(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: TRUE
f218(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f221(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: TRUE
f191(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f191(A, B, C, D, E, F, G, H, I, J - 1, 1, 0, L2, 0, 0, 2, L2, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: J >= 1
f191(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f216(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 2, 0, L2, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= J && R >= 2 && R <= 2
f191(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f216(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, 0, L2, 1, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 1 >= R && 0 >= J
f191(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f216(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, 0, L2, 1, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: R >= 3 && 0 >= J
f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f191(A, B, C, D, E, F, G, H, I, N2, K, L, M, N, O, P, Q, R, 0, T, U, 0, L2, L2, M2, N2, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= L2
f156(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 0, S, T, U, 0, W, X, Y, Z, A1, A1, A1, 0, F1, F1, A1, 0, A1, F1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: A1 >= 1
f156(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, 0, W, X, Y, Z, A1, A1, C1, D1, E1, F1, G1, H1, I1, J1, F1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= A1
f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, 0, T, U, 0, L2, L2 - 1, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, M2, N2, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: L2 >= 1 && 0 >= M2
f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, 0, T, U, 0, L2, L2 - 1, Y, Z, A1, O2, C1, D1, E1, 0, G1, H1, I1, J1, K1, M2, N2, P2, P2, 0, 0, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: L2 >= 1 && M2 >= 1
f100(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, 0, T, U, 0, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, L2, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= R1
f100(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f100(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, 0, T, U, 0, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1 - 1, S1, L2, M2, N2, L2, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: R1 >= 1
f81(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f65(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: F >= 1
f79(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f81(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: A >= 1
f75(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f79(L2, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: I >= 1
f65(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f75(A, B, C, D, E, L2, G - 1, M2, N2, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: G >= 1 && M2 >= 1
f65(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f100(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, 0, T, U, 0, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, M2, S1, T1, U1, V1, W1, L2, M2, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= G
f44(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, C, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= E
f44(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, C, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: E >= 1
f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f44(A, B - 1, L2, M2, N2, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: M2 >= 1 && B >= 1 && L2 >= 1
f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f65(A, B, C, D, E, F, M2, H, I, J, K, L, M, N, O, P, Q, R, 0, T, U, 0, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, L2, M2, C2, D2, E2, F2, G2, H2, I2, J2, K2)) :|: 0 >= B
f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f34(A, N2, C, D, E, F, G, H, I, J, 0, L, M, N, O, P, Q, 0, 0, T, 0, 0, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, 0, 0, L2, M2, 0, N2, I2, J2, K2)) :|: 0 >= M2
f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2) -> Com_1(f34(A, P2, C, D, E, F, G, H, I, J, 0, L, M, N, O, P, Q, 0, 0, T, 0, 0, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, 0, 0, L2, M2, 0, P2, N2, O2, 0)) :|: M2 >= 1

The start-symbols are:[f0_63]


----------------------------------------

(1) Loat Proof (FINISHED)


### Pre-processing the ITS problem ###



Initial linear ITS problem

   Start location: f0

      0: f79 -> f81 : [ 0>=A ], cost: 1

     20: f79 -> f81 : [ A>=1 ], cost: 1

      1: f34 -> f34 : B'=-1+B, C'=free, [ B>=1 && 0>=free ], cost: 1

      2: f34 -> f44 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, [ 0>=free_2 && B>=1 && free_3>=1 ], cost: 1

     26: f34 -> f44 : B'=-1+B, C'=free_35, D'=free_34, E'=free_33, [ free_34>=1 && B>=1 && free_35>=1 ], cost: 1

     27: f34 -> f65 : A2'=free_36, B2'=free_37, G'=free_37, S'=0, V'=0, [ 0>=B ], cost: 1

      3: f81 -> f65 : [ 0>=F ], cost: 1

     19: f81 -> f65 : [ F>=1 ], cost: 1

      4: f65 -> f75 : F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 ], cost: 1

     22: f65 -> f75 : F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 ], cost: 1

     23: f65 -> f100 : R1'=free_32, S'=0, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G ], cost: 1

      5: f75 -> f79 : A'=free_7, [ 0>=Q ], cost: 1

     21: f75 -> f79 : A'=free_27, [ Q>=1 ], cost: 1

      6: f216 -> f216 : [], cost: 1

      7: f218 -> f221 : A1'=B, A2'=C, B'=D, B1'=E, B2'=F, C'=G, C1'=H, C2'=Q, D'=J, D1'=K, D2'=L, E'=M, E1'=N, E2'=O, F'=P, F1'=Q_1, F2'=R, G'=S, G1'=T, G2'=U, H'=V, H1'=W, H2'=X, Q'=Y, Q1'=Z, Q2'=A1, J'=B1, J1'=C1, J2'=D1, K'=E1, K1'=F1, K2'=G1, L'=H1, L1'=Q1, L2'=J1, M'=K1, M1'=L1, M2'=M1, N'=N1, N1'=O1, N2'=P1, O'=Q1_1, O1'=R1, O2'=S1, P'=T1, P1'=U1, P2'=V1, Q_1'=W1, Q1_1'=X1, R'=Y1, R1'=Z1, S'=A2, S1'=B2, T'=C2, T1'=D2, U'=E2, U1'=F2, V'=G2, V1'=H2, W'=Q2, W1'=J2, X'=K2, [], cost: 1

      8: f191 -> f191 : J'=-1+J, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, [ J>=1 ], cost: 1

      9: f191 -> f216 : R'=2, S'=0, T'=free_9, [ 0>=J && R==2 ], cost: 1

     10: f191 -> f216 : S'=0, T'=free_10, U'=1, [ 1>=R && 0>=J ], cost: 1

     11: f191 -> f216 : S'=0, T'=free_11, U'=1, [ R>=3 && 0>=J ], cost: 1

     12: f130 -> f191 : J'=free_14, S'=0, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 ], cost: 1

     15: f130 -> f130 : L1'=free_16, M1'=free_15, S'=0, V'=0, W'=free_17, X'=-1+free_17, [ free_17>=1 && 0>=free_16 ], cost: 1

     16: f130 -> f130 : B1'=free_21, F1'=0, L1'=free_20, M1'=free_19, N1'=free_18, O1'=free_18, P1'=0, Q1_1'=0, S'=0, V'=0, W'=free_22, X'=-1+free_22, [ free_22>=1 && free_20>=1 ], cost: 1

     13: f156 -> f130 : B1'=A1, C1'=A1, D1'=0, E1'=F1, G1'=A1, H1'=0, Q1'=A1, J1'=F1, R'=0, V'=0, [ A1>=1 ], cost: 1

     14: f156 -> f130 : B1'=A1, K1'=F1, V'=0, [ 0>=A1 ], cost: 1

     17: f100 -> f130 : S'=0, S1'=free_23, V'=0, [ 0>=R1 ], cost: 1

     18: f100 -> f100 : R1'=-1+R1, S'=0, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, [ R1>=1 ], cost: 1

     24: f44 -> f34 : Z1'=C, [ 0>=E ], cost: 1

     25: f44 -> f34 : Z1'=C, [ E>=1 ], cost: 1

     28: f0 -> f34 : B'=free_40, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 ], cost: 1

     29: f0 -> f34 : B'=free_45, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 ], cost: 1



Checking for constant complexity:

   The following rule is satisfiable with cost >= 1, yielding constant complexity:

     28: f0 -> f34 : B'=free_40, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 ], cost: 1



Removed unreachable and leaf rules:

   Start location: f0

      0: f79 -> f81 : [ 0>=A ], cost: 1

     20: f79 -> f81 : [ A>=1 ], cost: 1

      1: f34 -> f34 : B'=-1+B, C'=free, [ B>=1 && 0>=free ], cost: 1

      2: f34 -> f44 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, [ 0>=free_2 && B>=1 && free_3>=1 ], cost: 1

     26: f34 -> f44 : B'=-1+B, C'=free_35, D'=free_34, E'=free_33, [ free_34>=1 && B>=1 && free_35>=1 ], cost: 1

     27: f34 -> f65 : A2'=free_36, B2'=free_37, G'=free_37, S'=0, V'=0, [ 0>=B ], cost: 1

      3: f81 -> f65 : [ 0>=F ], cost: 1

     19: f81 -> f65 : [ F>=1 ], cost: 1

      4: f65 -> f75 : F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 ], cost: 1

     22: f65 -> f75 : F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 ], cost: 1

     23: f65 -> f100 : R1'=free_32, S'=0, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G ], cost: 1

      5: f75 -> f79 : A'=free_7, [ 0>=Q ], cost: 1

     21: f75 -> f79 : A'=free_27, [ Q>=1 ], cost: 1

      6: f216 -> f216 : [], cost: 1

      8: f191 -> f191 : J'=-1+J, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, [ J>=1 ], cost: 1

      9: f191 -> f216 : R'=2, S'=0, T'=free_9, [ 0>=J && R==2 ], cost: 1

     10: f191 -> f216 : S'=0, T'=free_10, U'=1, [ 1>=R && 0>=J ], cost: 1

     11: f191 -> f216 : S'=0, T'=free_11, U'=1, [ R>=3 && 0>=J ], cost: 1

     12: f130 -> f191 : J'=free_14, S'=0, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 ], cost: 1

     15: f130 -> f130 : L1'=free_16, M1'=free_15, S'=0, V'=0, W'=free_17, X'=-1+free_17, [ free_17>=1 && 0>=free_16 ], cost: 1

     16: f130 -> f130 : B1'=free_21, F1'=0, L1'=free_20, M1'=free_19, N1'=free_18, O1'=free_18, P1'=0, Q1_1'=0, S'=0, V'=0, W'=free_22, X'=-1+free_22, [ free_22>=1 && free_20>=1 ], cost: 1

     17: f100 -> f130 : S'=0, S1'=free_23, V'=0, [ 0>=R1 ], cost: 1

     18: f100 -> f100 : R1'=-1+R1, S'=0, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, [ R1>=1 ], cost: 1

     24: f44 -> f34 : Z1'=C, [ 0>=E ], cost: 1

     25: f44 -> f34 : Z1'=C, [ E>=1 ], cost: 1

     28: f0 -> f34 : B'=free_40, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 ], cost: 1

     29: f0 -> f34 : B'=free_45, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 ], cost: 1



### Simplification by acceleration and chaining ###



Accelerating simple loops of location 1.

   Accelerating the following rules:

      1: f34 -> f34 : B'=-1+B, C'=free, [ B>=1 && 0>=free ], cost: 1



   Accelerated rule 1 with metering function B, yielding the new rule 30.

   Removing the simple loops: 1.



Accelerating simple loops of location 5.

   Accelerating the following rules:

      6: f216 -> f216 : [], cost: 1



   Accelerated rule 6 with NONTERM, yielding the new rule 31.

   Removing the simple loops: 6.



Accelerating simple loops of location 7.

   Accelerating the following rules:

      8: f191 -> f191 : J'=-1+J, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, [ J>=1 ], cost: 1



   Accelerated rule 8 with metering function J, yielding the new rule 32.

   Removing the simple loops: 8.



Accelerating simple loops of location 8.

   Accelerating the following rules:

     15: f130 -> f130 : L1'=free_16, M1'=free_15, S'=0, V'=0, W'=free_17, X'=-1+free_17, [ free_17>=1 && 0>=free_16 ], cost: 1

     16: f130 -> f130 : B1'=free_21, F1'=0, L1'=free_20, M1'=free_19, N1'=free_18, O1'=free_18, P1'=0, Q1_1'=0, S'=0, V'=0, W'=free_22, X'=-1+free_22, [ free_22>=1 && free_20>=1 ], cost: 1



   Accelerated rule 15 with NONTERM, yielding the new rule 33.

   Accelerated rule 16 with NONTERM, yielding the new rule 34.

   Removing the simple loops: 15 16.



Accelerating simple loops of location 10.

   Accelerating the following rules:

     18: f100 -> f100 : R1'=-1+R1, S'=0, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, [ R1>=1 ], cost: 1



   Accelerated rule 18 with metering function R1, yielding the new rule 35.

   Removing the simple loops: 18.



Accelerated all simple loops using metering functions (where possible):

   Start location: f0

      0: f79 -> f81 : [ 0>=A ], cost: 1

     20: f79 -> f81 : [ A>=1 ], cost: 1

      2: f34 -> f44 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, [ 0>=free_2 && B>=1 && free_3>=1 ], cost: 1

     26: f34 -> f44 : B'=-1+B, C'=free_35, D'=free_34, E'=free_33, [ free_34>=1 && B>=1 && free_35>=1 ], cost: 1

     27: f34 -> f65 : A2'=free_36, B2'=free_37, G'=free_37, S'=0, V'=0, [ 0>=B ], cost: 1

     30: f34 -> f34 : B'=0, C'=free, [ B>=1 && 0>=free ], cost: B

      3: f81 -> f65 : [ 0>=F ], cost: 1

     19: f81 -> f65 : [ F>=1 ], cost: 1

      4: f65 -> f75 : F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 ], cost: 1

     22: f65 -> f75 : F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 ], cost: 1

     23: f65 -> f100 : R1'=free_32, S'=0, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G ], cost: 1

      5: f75 -> f79 : A'=free_7, [ 0>=Q ], cost: 1

     21: f75 -> f79 : A'=free_27, [ Q>=1 ], cost: 1

     31: f216 -> [15] : [], cost: NONTERM

      9: f191 -> f216 : R'=2, S'=0, T'=free_9, [ 0>=J && R==2 ], cost: 1

     10: f191 -> f216 : S'=0, T'=free_10, U'=1, [ 1>=R && 0>=J ], cost: 1

     11: f191 -> f216 : S'=0, T'=free_11, U'=1, [ R>=3 && 0>=J ], cost: 1

     32: f191 -> f191 : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, [ J>=1 ], cost: J

     12: f130 -> f191 : J'=free_14, S'=0, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 ], cost: 1

     33: f130 -> [17] : [ free_17>=1 && 0>=free_16 ], cost: NONTERM

     34: f130 -> [17] : [ free_22>=1 && free_20>=1 ], cost: NONTERM

     17: f100 -> f130 : S'=0, S1'=free_23, V'=0, [ 0>=R1 ], cost: 1

     35: f100 -> f100 : R1'=0, S'=0, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, [ R1>=1 ], cost: R1

     24: f44 -> f34 : Z1'=C, [ 0>=E ], cost: 1

     25: f44 -> f34 : Z1'=C, [ E>=1 ], cost: 1

     28: f0 -> f34 : B'=free_40, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 ], cost: 1

     29: f0 -> f34 : B'=free_45, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 ], cost: 1



Chained accelerated rules (with incoming rules):

   Start location: f0

      0: f79 -> f81 : [ 0>=A ], cost: 1

     20: f79 -> f81 : [ A>=1 ], cost: 1

      2: f34 -> f44 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, [ 0>=free_2 && B>=1 && free_3>=1 ], cost: 1

     26: f34 -> f44 : B'=-1+B, C'=free_35, D'=free_34, E'=free_33, [ free_34>=1 && B>=1 && free_35>=1 ], cost: 1

     27: f34 -> f65 : A2'=free_36, B2'=free_37, G'=free_37, S'=0, V'=0, [ 0>=B ], cost: 1

      3: f81 -> f65 : [ 0>=F ], cost: 1

     19: f81 -> f65 : [ F>=1 ], cost: 1

      4: f65 -> f75 : F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 ], cost: 1

     22: f65 -> f75 : F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 ], cost: 1

     23: f65 -> f100 : R1'=free_32, S'=0, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G ], cost: 1

     46: f65 -> f100 : R1'=0, S'=0, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: 1+free_32

      5: f75 -> f79 : A'=free_7, [ 0>=Q ], cost: 1

     21: f75 -> f79 : A'=free_27, [ Q>=1 ], cost: 1

      9: f191 -> f216 : R'=2, S'=0, T'=free_9, [ 0>=J && R==2 ], cost: 1

     10: f191 -> f216 : S'=0, T'=free_10, U'=1, [ 1>=R && 0>=J ], cost: 1

     11: f191 -> f216 : S'=0, T'=free_11, U'=1, [ R>=3 && 0>=J ], cost: 1

     40: f191 -> [15] : R'=2, S'=0, T'=free_9, [ 0>=J && R==2 ], cost: NONTERM

     41: f191 -> [15] : S'=0, T'=free_10, U'=1, [ 1>=R && 0>=J ], cost: NONTERM

     42: f191 -> [15] : S'=0, T'=free_11, U'=1, [ R>=3 && 0>=J ], cost: NONTERM

     12: f130 -> f191 : J'=free_14, S'=0, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 ], cost: 1

     43: f130 -> f191 : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, S'=0, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 ], cost: 1+free_14

     17: f100 -> f130 : S'=0, S1'=free_23, V'=0, [ 0>=R1 ], cost: 1

     44: f100 -> [17] : S'=0, S1'=free_23, V'=0, [ 0>=R1 ], cost: NONTERM

     45: f100 -> [17] : S'=0, S1'=free_23, V'=0, [ 0>=R1 ], cost: NONTERM

     24: f44 -> f34 : Z1'=C, [ 0>=E ], cost: 1

     25: f44 -> f34 : Z1'=C, [ E>=1 ], cost: 1

     36: f44 -> f34 : B'=0, C'=free, Z1'=C, [ 0>=E && B>=1 && 0>=free ], cost: 1+B

     37: f44 -> f34 : B'=0, C'=free, Z1'=C, [ E>=1 && B>=1 && 0>=free ], cost: 1+B

     28: f0 -> f34 : B'=free_40, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 ], cost: 1

     29: f0 -> f34 : B'=free_45, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 ], cost: 1

     38: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40

     39: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45



Removed unreachable locations (and leaf rules with constant cost):

   Start location: f0

      0: f79 -> f81 : [ 0>=A ], cost: 1

     20: f79 -> f81 : [ A>=1 ], cost: 1

      2: f34 -> f44 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, [ 0>=free_2 && B>=1 && free_3>=1 ], cost: 1

     26: f34 -> f44 : B'=-1+B, C'=free_35, D'=free_34, E'=free_33, [ free_34>=1 && B>=1 && free_35>=1 ], cost: 1

     27: f34 -> f65 : A2'=free_36, B2'=free_37, G'=free_37, S'=0, V'=0, [ 0>=B ], cost: 1

      3: f81 -> f65 : [ 0>=F ], cost: 1

     19: f81 -> f65 : [ F>=1 ], cost: 1

      4: f65 -> f75 : F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 ], cost: 1

     22: f65 -> f75 : F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 ], cost: 1

     23: f65 -> f100 : R1'=free_32, S'=0, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G ], cost: 1

     46: f65 -> f100 : R1'=0, S'=0, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: 1+free_32

      5: f75 -> f79 : A'=free_7, [ 0>=Q ], cost: 1

     21: f75 -> f79 : A'=free_27, [ Q>=1 ], cost: 1

     40: f191 -> [15] : R'=2, S'=0, T'=free_9, [ 0>=J && R==2 ], cost: NONTERM

     41: f191 -> [15] : S'=0, T'=free_10, U'=1, [ 1>=R && 0>=J ], cost: NONTERM

     42: f191 -> [15] : S'=0, T'=free_11, U'=1, [ R>=3 && 0>=J ], cost: NONTERM

     12: f130 -> f191 : J'=free_14, S'=0, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 ], cost: 1

     43: f130 -> f191 : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, S'=0, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 ], cost: 1+free_14

     17: f100 -> f130 : S'=0, S1'=free_23, V'=0, [ 0>=R1 ], cost: 1

     44: f100 -> [17] : S'=0, S1'=free_23, V'=0, [ 0>=R1 ], cost: NONTERM

     45: f100 -> [17] : S'=0, S1'=free_23, V'=0, [ 0>=R1 ], cost: NONTERM

     24: f44 -> f34 : Z1'=C, [ 0>=E ], cost: 1

     25: f44 -> f34 : Z1'=C, [ E>=1 ], cost: 1

     36: f44 -> f34 : B'=0, C'=free, Z1'=C, [ 0>=E && B>=1 && 0>=free ], cost: 1+B

     37: f44 -> f34 : B'=0, C'=free, Z1'=C, [ E>=1 && B>=1 && 0>=free ], cost: 1+B

     28: f0 -> f34 : B'=free_40, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 ], cost: 1

     29: f0 -> f34 : B'=free_45, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 ], cost: 1

     38: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40

     39: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45



Eliminated locations (on tree-shaped paths):

   Start location: f0

     65: f79 -> f65 : [ 0>=A && 0>=F ], cost: 2

     66: f79 -> f65 : [ 0>=A && F>=1 ], cost: 2

     67: f79 -> f65 : [ A>=1 && 0>=F ], cost: 2

     68: f79 -> f65 : [ A>=1 && F>=1 ], cost: 2

     27: f34 -> f65 : A2'=free_36, B2'=free_37, G'=free_37, S'=0, V'=0, [ 0>=B ], cost: 1

     47: f34 -> f34 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && B>=1 && free_3>=1 && 0>=free_1 ], cost: 2

     48: f34 -> f34 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && B>=1 && free_3>=1 && free_1>=1 ], cost: 2

     49: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && free_3>=1 && 0>=free_1 && -1+B>=1 && 0>=free ], cost: 1+B

     50: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && free_3>=1 && free_1>=1 && -1+B>=1 && 0>=free ], cost: 1+B

     51: f34 -> f34 : B'=-1+B, C'=free_35, D'=free_34, E'=free_33, Z1'=free_35, [ free_34>=1 && B>=1 && free_35>=1 && 0>=free_33 ], cost: 2

     52: f34 -> f34 : B'=-1+B, C'=free_35, D'=free_34, E'=free_33, Z1'=free_35, [ free_34>=1 && B>=1 && free_35>=1 && free_33>=1 ], cost: 2

     53: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Z1'=free_35, [ free_34>=1 && free_35>=1 && 0>=free_33 && -1+B>=1 && 0>=free ], cost: 1+B

     54: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Z1'=free_35, [ free_34>=1 && free_35>=1 && free_33>=1 && -1+B>=1 && 0>=free ], cost: 1+B

     55: f65 -> f79 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 ], cost: 2

     56: f65 -> f79 : A'=free_27, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 ], cost: 2

     57: f65 -> f79 : A'=free_7, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 ], cost: 2

     58: f65 -> f79 : A'=free_27, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && free_28>=1 ], cost: 2

     59: f65 -> f130 : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: 2

     60: f65 -> [17] : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: NONTERM

     61: f65 -> [17] : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: NONTERM

     62: f65 -> f130 : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: 2+free_32

     63: f65 -> [17] : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: NONTERM

     64: f65 -> [17] : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: NONTERM

     69: f130 -> [15] : J'=free_14, R'=2, S'=0, T'=free_9, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

     70: f130 -> [15] : J'=free_14, S'=0, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && 1>=R && 0>=free_14 ], cost: NONTERM

     71: f130 -> [15] : J'=free_14, S'=0, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && R>=3 && 0>=free_14 ], cost: NONTERM

     72: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R'=2, S'=0, T'=free_9, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 && R==2 ], cost: NONTERM

     73: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, S'=0, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 && 1>=R ], cost: NONTERM

     74: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, S'=0, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 && R>=3 ], cost: NONTERM

     28: f0 -> f34 : B'=free_40, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 ], cost: 1

     29: f0 -> f34 : B'=free_45, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 ], cost: 1

     38: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40

     39: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45



Applied pruning (of leafs and parallel rules):

   Start location: f0

     65: f79 -> f65 : [ 0>=A && 0>=F ], cost: 2

     66: f79 -> f65 : [ 0>=A && F>=1 ], cost: 2

     67: f79 -> f65 : [ A>=1 && 0>=F ], cost: 2

     68: f79 -> f65 : [ A>=1 && F>=1 ], cost: 2

     27: f34 -> f65 : A2'=free_36, B2'=free_37, G'=free_37, S'=0, V'=0, [ 0>=B ], cost: 1

     48: f34 -> f34 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && B>=1 && free_3>=1 && free_1>=1 ], cost: 2

     49: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && free_3>=1 && 0>=free_1 && -1+B>=1 && 0>=free ], cost: 1+B

     50: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && free_3>=1 && free_1>=1 && -1+B>=1 && 0>=free ], cost: 1+B

     53: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Z1'=free_35, [ free_34>=1 && free_35>=1 && 0>=free_33 && -1+B>=1 && 0>=free ], cost: 1+B

     54: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Z1'=free_35, [ free_34>=1 && free_35>=1 && free_33>=1 && -1+B>=1 && 0>=free ], cost: 1+B

     55: f65 -> f79 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 ], cost: 2

     56: f65 -> f79 : A'=free_27, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 ], cost: 2

     57: f65 -> f79 : A'=free_7, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 ], cost: 2

     58: f65 -> f79 : A'=free_27, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && free_28>=1 ], cost: 2

     59: f65 -> f130 : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: 2

     61: f65 -> [17] : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: NONTERM

     62: f65 -> f130 : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: 2+free_32

     64: f65 -> [17] : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: NONTERM

     69: f130 -> [15] : J'=free_14, R'=2, S'=0, T'=free_9, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

     70: f130 -> [15] : J'=free_14, S'=0, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && 1>=R && 0>=free_14 ], cost: NONTERM

     71: f130 -> [15] : J'=free_14, S'=0, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && R>=3 && 0>=free_14 ], cost: NONTERM

     72: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R'=2, S'=0, T'=free_9, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 && R==2 ], cost: NONTERM

     74: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, S'=0, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 && R>=3 ], cost: NONTERM

     28: f0 -> f34 : B'=free_40, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 ], cost: 1

     29: f0 -> f34 : B'=free_45, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 ], cost: 1

     38: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40

     39: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45



Accelerating simple loops of location 1.

   Accelerating the following rules:

     48: f34 -> f34 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && B>=1 && free_3>=1 && free_1>=1 ], cost: 2

     49: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && free_3>=1 && 0>=free_1 && -1+B>=1 && 0>=free ], cost: 1+B

     50: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && free_3>=1 && free_1>=1 && -1+B>=1 && 0>=free ], cost: 1+B

     53: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Z1'=free_35, [ free_34>=1 && free_35>=1 && 0>=free_33 && -1+B>=1 && 0>=free ], cost: 1+B

     54: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Z1'=free_35, [ free_34>=1 && free_35>=1 && free_33>=1 && -1+B>=1 && 0>=free ], cost: 1+B



   Accelerated rule 48 with metering function B, yielding the new rule 75.

   Found no metering function for rule 49.

   Found no metering function for rule 50.

   Found no metering function for rule 53.

   Found no metering function for rule 54.

   Removing the simple loops: 48.



Accelerated all simple loops using metering functions (where possible):

   Start location: f0

     65: f79 -> f65 : [ 0>=A && 0>=F ], cost: 2

     66: f79 -> f65 : [ 0>=A && F>=1 ], cost: 2

     67: f79 -> f65 : [ A>=1 && 0>=F ], cost: 2

     68: f79 -> f65 : [ A>=1 && F>=1 ], cost: 2

     27: f34 -> f65 : A2'=free_36, B2'=free_37, G'=free_37, S'=0, V'=0, [ 0>=B ], cost: 1

     49: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && free_3>=1 && 0>=free_1 && -1+B>=1 && 0>=free ], cost: 1+B

     50: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && free_3>=1 && free_1>=1 && -1+B>=1 && 0>=free ], cost: 1+B

     53: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Z1'=free_35, [ free_34>=1 && free_35>=1 && 0>=free_33 && -1+B>=1 && 0>=free ], cost: 1+B

     54: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Z1'=free_35, [ free_34>=1 && free_35>=1 && free_33>=1 && -1+B>=1 && 0>=free ], cost: 1+B

     75: f34 -> f34 : B'=0, C'=free_3, D'=free_2, E'=free_1, Z1'=free_3, [ 0>=free_2 && B>=1 && free_3>=1 && free_1>=1 ], cost: 2*B

     55: f65 -> f79 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 ], cost: 2

     56: f65 -> f79 : A'=free_27, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 ], cost: 2

     57: f65 -> f79 : A'=free_7, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 ], cost: 2

     58: f65 -> f79 : A'=free_27, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && free_28>=1 ], cost: 2

     59: f65 -> f130 : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: 2

     61: f65 -> [17] : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: NONTERM

     62: f65 -> f130 : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: 2+free_32

     64: f65 -> [17] : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: NONTERM

     69: f130 -> [15] : J'=free_14, R'=2, S'=0, T'=free_9, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

     70: f130 -> [15] : J'=free_14, S'=0, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && 1>=R && 0>=free_14 ], cost: NONTERM

     71: f130 -> [15] : J'=free_14, S'=0, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && R>=3 && 0>=free_14 ], cost: NONTERM

     72: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R'=2, S'=0, T'=free_9, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 && R==2 ], cost: NONTERM

     74: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, S'=0, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 && R>=3 ], cost: NONTERM

     28: f0 -> f34 : B'=free_40, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 ], cost: 1

     29: f0 -> f34 : B'=free_45, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 ], cost: 1

     38: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40

     39: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45



Chained accelerated rules (with incoming rules):

   Start location: f0

     65: f79 -> f65 : [ 0>=A && 0>=F ], cost: 2

     66: f79 -> f65 : [ 0>=A && F>=1 ], cost: 2

     67: f79 -> f65 : [ A>=1 && 0>=F ], cost: 2

     68: f79 -> f65 : [ A>=1 && F>=1 ], cost: 2

     27: f34 -> f65 : A2'=free_36, B2'=free_37, G'=free_37, S'=0, V'=0, [ 0>=B ], cost: 1

     55: f65 -> f79 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 ], cost: 2

     56: f65 -> f79 : A'=free_27, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 ], cost: 2

     57: f65 -> f79 : A'=free_7, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 ], cost: 2

     58: f65 -> f79 : A'=free_27, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && free_28>=1 ], cost: 2

     59: f65 -> f130 : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: 2

     61: f65 -> [17] : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: NONTERM

     62: f65 -> f130 : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: 2+free_32

     64: f65 -> [17] : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: NONTERM

     69: f130 -> [15] : J'=free_14, R'=2, S'=0, T'=free_9, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

     70: f130 -> [15] : J'=free_14, S'=0, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && 1>=R && 0>=free_14 ], cost: NONTERM

     71: f130 -> [15] : J'=free_14, S'=0, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && R>=3 && 0>=free_14 ], cost: NONTERM

     72: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R'=2, S'=0, T'=free_9, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 && R==2 ], cost: NONTERM

     74: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, S'=0, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, Y'=free_12, Z'=free_14, [ 0>=free_13 && free_14>=1 && R>=3 ], cost: NONTERM

     28: f0 -> f34 : B'=free_40, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 ], cost: 1

     29: f0 -> f34 : B'=free_45, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 ], cost: 1

     38: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40

     39: f0 -> f34 : B'=0, C'=free, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45

     76: f0 -> f34 : B'=0, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_40>=1 && 0>=free ], cost: 2+free_40

     77: f0 -> f34 : B'=0, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free ], cost: 2+free_45

     78: f0 -> f34 : B'=0, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_40>=1 && 0>=free ], cost: 2+free_40

     79: f0 -> f34 : B'=0, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free ], cost: 2+free_45

     80: f0 -> f34 : B'=0, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ 0>=free_38 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_40>=1 && 0>=free ], cost: 2+free_40

     81: f0 -> f34 : B'=0, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free ], cost: 2+free_45

     82: f0 -> f34 : B'=0, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ 0>=free_38 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_40>=1 && 0>=free ], cost: 2+free_40

     83: f0 -> f34 : B'=0, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 2+free_45

     84: f0 -> f34 : B'=0, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 1+2*free_40

     85: f0 -> f34 : B'=0, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 ], cost: 1+2*free_45



Eliminated locations (on tree-shaped paths):

   Start location: f0

     61: f65 -> [17] : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: NONTERM

     64: f65 -> [17] : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: NONTERM

    100: f65 -> f65 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 4

    101: f65 -> f65 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 4

    102: f65 -> f65 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && 0>=free_6 ], cost: 4

    103: f65 -> f65 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 4

    104: f65 -> f65 : A'=free_27, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 && 0>=free_27 && 0>=free_6 ], cost: 4

    105: f65 -> f65 : A'=free_27, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 && 0>=free_27 && free_6>=1 ], cost: 4

    106: f65 -> f65 : A'=free_27, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && 0>=free_6 ], cost: 4

    107: f65 -> f65 : A'=free_27, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 4

    108: f65 -> f65 : A'=free_7, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && 0>=free_30 ], cost: 4

    109: f65 -> f65 : A'=free_7, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 4

    110: f65 -> f65 : A'=free_7, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 && free_7>=1 && 0>=free_30 ], cost: 4

    111: f65 -> f65 : A'=free_7, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 && free_7>=1 && free_30>=1 ], cost: 4

    112: f65 -> f65 : A'=free_27, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && free_28>=1 && 0>=free_27 && 0>=free_30 ], cost: 4

    113: f65 -> f65 : A'=free_27, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && free_28>=1 && 0>=free_27 && free_30>=1 ], cost: 4

    114: f65 -> f65 : A'=free_27, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && free_28>=1 && free_27>=1 && 0>=free_30 ], cost: 4

    115: f65 -> f65 : A'=free_27, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && free_28>=1 && free_27>=1 && free_30>=1 ], cost: 4

    116: f65 -> [15] : J'=free_14, R'=2, R1'=free_32, S'=0, S1'=free_23, T'=free_9, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

    117: f65 -> [15] : J'=free_14, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 1>=R && 0>=free_14 ], cost: NONTERM

    118: f65 -> [15] : J'=free_14, R1'=free_32, S'=0, S1'=free_23, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && R>=3 && 0>=free_14 ], cost: NONTERM

    119: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R'=2, R1'=free_32, S'=0, S1'=free_23, T'=free_9, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && R==2 ], cost: NONTERM

    120: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R1'=free_32, S'=0, S1'=free_23, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && R>=3 ], cost: NONTERM

    121: f65 -> [15] : J'=free_14, R'=2, R1'=0, S'=0, S1'=free_23, T'=free_9, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W'=free_13, W1'=free_26, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

    122: f65 -> [15] : J'=free_14, R1'=0, S'=0, S1'=free_23, T'=free_10, T1'=free_26, U'=1, U1'=free_25, V'=0, V1'=free_24, W'=free_13, W1'=free_26, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && 1>=R && 0>=free_14 ], cost: NONTERM

    123: f65 -> [15] : J'=free_14, R1'=0, S'=0, S1'=free_23, T'=free_11, T1'=free_26, U'=1, U1'=free_25, V'=0, V1'=free_24, W'=free_13, W1'=free_26, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && R>=3 && 0>=free_14 ], cost: NONTERM

    124: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R'=2, R1'=0, S'=0, S1'=free_23, T'=free_9, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W'=free_13, W1'=free_26, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && free_14>=1 && R==2 ], cost: NONTERM

    125: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R1'=0, S'=0, S1'=free_23, T'=free_11, T1'=free_26, U'=1, U1'=free_25, V'=0, V1'=free_24, W'=free_13, W1'=free_26, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && free_14>=1 && R>=3 ], cost: NONTERM

     86: f0 -> f65 : A2'=free_36, B'=free_40, B2'=free_37, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 && 0>=free_40 ], cost: 2

     87: f0 -> f65 : A2'=free_36, B'=free_45, B2'=free_37, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 && 0>=free_45 ], cost: 2

     88: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D2'=0, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 2+free_40

     89: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D2'=0, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 2+free_45

     90: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_40>=1 && 0>=free ], cost: 3+free_40

     91: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     92: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_40>=1 && 0>=free ], cost: 3+free_40

     93: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     94: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ 0>=free_38 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_40>=1 && 0>=free ], cost: 3+free_40

     95: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     96: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ 0>=free_38 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_40>=1 && 0>=free ], cost: 3+free_40

     97: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     98: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_40

     99: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_45



Applied pruning (of leafs and parallel rules):

   Start location: f0

     61: f65 -> [17] : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: NONTERM

     64: f65 -> [17] : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: NONTERM

    100: f65 -> f65 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 4

    101: f65 -> f65 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 4

    103: f65 -> f65 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 4

    107: f65 -> f65 : A'=free_27, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 4

    109: f65 -> f65 : A'=free_7, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 4

    116: f65 -> [15] : J'=free_14, R'=2, R1'=free_32, S'=0, S1'=free_23, T'=free_9, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

    117: f65 -> [15] : J'=free_14, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 1>=R && 0>=free_14 ], cost: NONTERM

    119: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R'=2, R1'=free_32, S'=0, S1'=free_23, T'=free_9, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && R==2 ], cost: NONTERM

    120: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R1'=free_32, S'=0, S1'=free_23, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && R>=3 ], cost: NONTERM

    121: f65 -> [15] : J'=free_14, R'=2, R1'=0, S'=0, S1'=free_23, T'=free_9, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W'=free_13, W1'=free_26, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

     91: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     93: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     95: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     97: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     98: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_40



Accelerating simple loops of location 3.

   Accelerating the following rules:

    100: f65 -> f65 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 4

    101: f65 -> f65 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 4

    103: f65 -> f65 : A'=free_7, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 4

    107: f65 -> f65 : A'=free_27, F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 4

    109: f65 -> f65 : A'=free_7, F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 4



   Accelerated rule 100 with metering function G, yielding the new rule 126.

   Accelerated rule 101 with metering function G, yielding the new rule 127.

   Accelerated rule 103 with metering function G, yielding the new rule 128.

   Accelerated rule 107 with metering function G, yielding the new rule 129.

   Accelerated rule 109 with metering function G, yielding the new rule 130.

   Removing the simple loops: 100 101 103 107 109.



Accelerated all simple loops using metering functions (where possible):

   Start location: f0

     61: f65 -> [17] : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: NONTERM

     64: f65 -> [17] : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: NONTERM

    116: f65 -> [15] : J'=free_14, R'=2, R1'=free_32, S'=0, S1'=free_23, T'=free_9, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

    117: f65 -> [15] : J'=free_14, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 1>=R && 0>=free_14 ], cost: NONTERM

    119: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R'=2, R1'=free_32, S'=0, S1'=free_23, T'=free_9, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && R==2 ], cost: NONTERM

    120: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R1'=free_32, S'=0, S1'=free_23, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && R>=3 ], cost: NONTERM

    121: f65 -> [15] : J'=free_14, R'=2, R1'=0, S'=0, S1'=free_23, T'=free_9, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W'=free_13, W1'=free_26, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

    126: f65 -> f65 : A'=free_7, F'=free_6, G'=0, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 4*G

    127: f65 -> f65 : A'=free_7, F'=free_6, G'=0, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 4*G

    128: f65 -> f65 : A'=free_7, F'=free_6, G'=0, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 4*G

    129: f65 -> f65 : A'=free_27, F'=free_6, G'=0, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 4*G

    130: f65 -> f65 : A'=free_7, F'=free_30, G'=0, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 4*G

     91: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     93: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     95: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     97: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     98: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_40



Chained accelerated rules (with incoming rules):

   Start location: f0

     61: f65 -> [17] : R1'=free_32, S'=0, S1'=free_23, V'=0, X1'=free_31, Y1'=free_32, [ 0>=G && 0>=free_32 ], cost: NONTERM

     64: f65 -> [17] : R1'=0, S'=0, S1'=free_23, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, [ 0>=G && free_32>=1 ], cost: NONTERM

    116: f65 -> [15] : J'=free_14, R'=2, R1'=free_32, S'=0, S1'=free_23, T'=free_9, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

    117: f65 -> [15] : J'=free_14, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 1>=R && 0>=free_14 ], cost: NONTERM

    119: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R'=2, R1'=free_32, S'=0, S1'=free_23, T'=free_9, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && R==2 ], cost: NONTERM

    120: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=2, Q_1'=free_8, R1'=free_32, S'=0, S1'=free_23, T'=free_11, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && R>=3 ], cost: NONTERM

    121: f65 -> [15] : J'=free_14, R'=2, R1'=0, S'=0, S1'=free_23, T'=free_9, T1'=free_26, U1'=free_25, V'=0, V1'=free_24, W'=free_13, W1'=free_26, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && 0>=free_14 && R==2 ], cost: NONTERM

     91: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     93: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     95: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     97: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

     98: f0 -> f65 : A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_40

    131: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 3+free_45+4*free_37

    132: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 3+free_45+4*free_37

    133: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 3+free_45+4*free_37

    134: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 3+free_45+4*free_37

    135: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 2+2*free_40+4*free_37

    136: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 3+free_45+4*free_37

    137: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 3+free_45+4*free_37

    138: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 3+free_45+4*free_37

    139: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 3+free_45+4*free_37

    140: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 2+2*free_40+4*free_37

    141: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    142: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    143: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    144: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    145: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 2+2*free_40+4*free_37

    146: f0 -> f65 : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    147: f0 -> f65 : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    148: f0 -> f65 : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    149: f0 -> f65 : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    150: f0 -> f65 : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 2+2*free_40+4*free_37

    151: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37

    152: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37

    153: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37

    154: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37

    155: f0 -> f65 : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_30, F2'=free_38, G'=0, G2'=0, H'=free_29, H2'=free_40, Q'=free_28, K'=0, R'=0, S'=0, U'=0, V'=0, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 2+2*free_40+4*free_37



Eliminated locations (on tree-shaped paths):

   Start location: f0

    156: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 ], cost: NONTERM

    157: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: NONTERM

    158: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    159: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 ], cost: NONTERM

    160: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: NONTERM

    161: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    162: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 ], cost: NONTERM

    163: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: NONTERM

    164: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    165: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 ], cost: NONTERM

    166: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: NONTERM

    167: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    168: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && 0>=free_37 && 0>=free_32 ], cost: NONTERM

    169: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, K'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && 0>=free_37 && free_32>=1 ], cost: NONTERM

    170: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F2'=free_38, G'=free_37, G2'=0, H2'=free_40, J'=free_14, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    171: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 ], cost: NONTERM

    172: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && free_32>=1 ], cost: NONTERM

    173: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    174: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 ], cost: NONTERM

    175: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && free_32>=1 ], cost: NONTERM

    176: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    177: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 ], cost: NONTERM

    178: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && free_32>=1 ], cost: NONTERM

    179: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    180: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 ], cost: NONTERM

    181: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && free_32>=1 ], cost: NONTERM

    182: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    183: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 ], cost: NONTERM

    184: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && free_32>=1 ], cost: NONTERM

    185: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, J'=free_14, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    186: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    187: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && free_32>=1 ], cost: NONTERM

    188: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    189: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    190: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && free_32>=1 ], cost: NONTERM

    191: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    192: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    193: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && free_32>=1 ], cost: NONTERM

    194: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    195: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    196: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && free_32>=1 ], cost: NONTERM

    197: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    198: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    199: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && free_32>=1 ], cost: NONTERM

    200: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, J'=free_14, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    201: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    202: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && free_32>=1 ], cost: NONTERM

    203: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    204: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    205: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && free_32>=1 ], cost: NONTERM

    206: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    207: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    208: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && free_32>=1 ], cost: NONTERM

    209: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    210: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    211: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && free_32>=1 ], cost: NONTERM

    212: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    213: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    214: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && free_32>=1 ], cost: NONTERM

    215: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, J'=free_14, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    216: f0 -> [17] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    217: f0 -> [17] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && free_32>=1 ], cost: NONTERM

    218: f0 -> [15] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    219: f0 -> [17] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    220: f0 -> [17] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && free_32>=1 ], cost: NONTERM

    221: f0 -> [15] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    222: f0 -> [17] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    223: f0 -> [17] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && free_32>=1 ], cost: NONTERM

    224: f0 -> [15] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    225: f0 -> [17] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    226: f0 -> [17] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && free_32>=1 ], cost: NONTERM

    227: f0 -> [15] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    228: f0 -> [17] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 ], cost: NONTERM

    229: f0 -> [17] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, K'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && free_32>=1 ], cost: NONTERM

    230: f0 -> [15] : A'=free_27, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_6, F2'=free_38, G'=0, G2'=0, H'=free_5, H2'=free_40, Q'=free_4, J'=free_14, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    231: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 ], cost: NONTERM

    232: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && free_32>=1 ], cost: NONTERM

    233: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    234: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 ], cost: NONTERM

    235: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && free_32>=1 ], cost: NONTERM

    236: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    237: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 ], cost: NONTERM

    238: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && free_32>=1 ], cost: NONTERM

    239: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    240: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 ], cost: NONTERM

    241: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && free_32>=1 ], cost: NONTERM

    242: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_30, F2'=free_43, G'=0, G2'=0, H'=free_29, H2'=free_45, Q'=free_28, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    243: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_30, F2'=free_38, G'=0, G2'=0, H'=free_29, H2'=free_40, Q'=free_28, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 ], cost: NONTERM

    244: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_30, F2'=free_38, G'=0, G2'=0, H'=free_29, H2'=free_40, Q'=free_28, K'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && free_32>=1 ], cost: NONTERM

    245: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free_3, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_39, F'=free_30, F2'=free_38, G'=0, G2'=0, H'=free_29, H2'=free_40, Q'=free_28, J'=free_14, K'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    246: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

    247: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

    248: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

    249: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45

    250: f0 -> [21] : [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_40

    251: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 3+free_45+4*free_37

    252: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 3+free_45+4*free_37

    253: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 3+free_45+4*free_37

    254: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 3+free_45+4*free_37

    255: f0 -> [21] : [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 2+2*free_40+4*free_37

    256: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 3+free_45+4*free_37

    257: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 3+free_45+4*free_37

    258: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 3+free_45+4*free_37

    259: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 3+free_45+4*free_37

    260: f0 -> [21] : [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 2+2*free_40+4*free_37

    261: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    262: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    263: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    264: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    265: f0 -> [21] : [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 2+2*free_40+4*free_37

    266: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    267: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    268: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    269: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    270: f0 -> [21] : [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 2+2*free_40+4*free_37

    271: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37

    272: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37

    273: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37

    274: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37

    275: f0 -> [21] : [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 2+2*free_40+4*free_37



Applied pruning (of leafs and parallel rules):

   Start location: f0

    156: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 ], cost: NONTERM

    157: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: NONTERM

    158: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    160: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: NONTERM

    161: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    166: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: NONTERM

    167: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    178: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && free_32>=1 ], cost: NONTERM

    179: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    203: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    253: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 3+free_45+4*free_37

    261: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    269: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    273: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37

    274: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37



### Computing asymptotic complexity ###



Fully simplified ITS problem

   Start location: f0

    156: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, U'=0, V'=0, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 ], cost: NONTERM

    157: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: NONTERM

    158: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    160: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: NONTERM

    161: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    166: f0 -> [17] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: NONTERM

    167: f0 -> [15] : A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F2'=free_43, G'=free_37, G2'=0, H2'=free_45, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    178: f0 -> [17] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J2'=free_41, K'=0, K2'=0, R'=0, R1'=0, S'=0, S1'=free_23, T1'=free_26, U'=0, U1'=free_25, V'=0, V1'=free_24, W1'=free_26, X1'=free_31, Y1'=free_32, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && free_32>=1 ], cost: NONTERM

    179: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_34, D2'=0, E'=free_33, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    203: f0 -> [15] : A'=free_7, A2'=free_36, B'=0, B2'=free_37, C'=free, C2'=0, D'=free_2, D2'=0, E'=free_1, E2'=free_44, F'=free_6, F2'=free_43, G'=0, G2'=0, H'=free_5, H2'=free_45, Q'=free_4, Q2'=free_42, J'=free_14, J2'=free_41, K'=0, K2'=0, R'=0, R1'=free_32, S'=0, S1'=free_23, T'=free_10, U'=1, V'=0, W'=free_13, X'=free_13, X1'=free_31, Y'=free_12, Y1'=free_32, Z'=free_14, Z1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: NONTERM

    253: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 3+free_45+4*free_37

    261: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    269: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 3+free_45+4*free_37

    273: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37

    274: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 3+free_45+4*free_37



Computing asymptotic complexity for rule 156

   Guard is satisfiable, yielding nontermination

   Resulting cost NONTERM has complexity: Nonterm



Found new complexity Nonterm.



Obtained the following overall complexity (w.r.t. the length of the input n):

   Complexity:  Nonterm

   Cpx degree:  Nonterm

   Solved cost: NONTERM

   Rule cost:   NONTERM

   Rule guard:  [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 ]



NO


----------------------------------------

(2)
BOUNDS(INF, INF)