27.00/11.42	WORST_CASE(NON_POLY, ?)
27.03/11.43	proof of /export/starexec/sandbox2/benchmark/theBenchmark.koat
27.03/11.43	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
27.03/11.43	
27.03/11.43	
27.03/11.43	The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(INF, INF).
27.03/11.43	
27.03/11.43	(0) CpxIntTrs
27.03/11.43	(1) Loat Proof [FINISHED, 9512 ms]
27.03/11.43	(2) BOUNDS(INF, INF)
27.03/11.43	
27.03/11.43	
27.03/11.43	----------------------------------------
27.03/11.43	
27.03/11.43	(0)
27.03/11.43	Obligation:
27.03/11.43	Complexity Int TRS consisting of the following rules:
27.03/11.43	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) -> 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)) :|: 0 >= A
27.03/11.43	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) -> Com_1(f34(A, B - 1, K2, 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)) :|: B >= 1 && 0 >= K2
27.03/11.43	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) -> Com_1(f44(A, B - 1, K2, L2, M2, 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)) :|: 0 >= L2 && B >= 1 && K2 >= 1
27.03/11.43	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) -> 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)) :|: 0 >= F
27.03/11.43	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) -> Com_1(f75(A, B, C, D, E, K2, G - 1, L2, M2, 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)) :|: G >= 1 && 0 >= L2
27.03/11.43	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) -> Com_1(f79(K2, 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)) :|: 0 >= I
27.03/11.43	f213(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) -> Com_1(f213(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)) :|: TRUE
27.03/11.43	f215(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) -> Com_1(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)) :|: TRUE
27.03/11.43	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) -> Com_1(f191(A, B, C, D, E, F, G, H, I, J - 1, 1, 0, K2, 0, 0, K2, 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)) :|: J >= 1
27.03/11.43	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) -> Com_1(f213(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, 2, 0, K2, 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)) :|: 0 >= J && Q >= 2 && Q <= 2
27.03/11.43	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) -> Com_1(f213(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 0, K2, 1, 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)) :|: 1 >= Q && 0 >= J
27.03/11.43	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) -> Com_1(f213(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 0, K2, 1, 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)) :|: Q >= 3 && 0 >= J
27.03/11.43	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) -> Com_1(f191(A, B, C, D, E, F, G, H, I, M2, K, L, M, N, O, P, Q, 0, S, T, 0, K2, K2, L2, M2, 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)) :|: 0 >= K2
27.03/11.43	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) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, 0, R, S, T, 0, V, W, X, Y, Z, Z, Z, 0, E1, E1, Z, 0, Z, E1, 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)) :|: Z >= 1
27.03/11.43	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) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V, W, X, Y, Z, Z, B1, C1, D1, E1, F1, G1, H1, I1, E1, 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)) :|: 0 >= Z
27.03/11.43	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) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 0, S, T, 0, K2, K2 - 1, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, L2, M2, 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 && 0 >= L2
27.03/11.43	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) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 0, S, T, 0, K2, K2 - 1, X, Y, Z, N2, B1, C1, D1, 0, F1, G1, H1, I1, J1, L2, M2, O2, O2, 0, 0, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2)) :|: K2 >= 1 && L2 >= 1
27.03/11.43	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) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 0, S, T, 0, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, K2, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2)) :|: 0 >= Q1
27.03/11.43	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) -> Com_1(f100(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 0, S, T, 0, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1 - 1, R1, K2, L2, M2, K2, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2)) :|: Q1 >= 1
27.03/11.43	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) -> 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)) :|: F >= 1
27.03/11.43	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) -> 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)) :|: A >= 1
27.03/11.43	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) -> Com_1(f79(K2, 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)) :|: I >= 1
27.03/11.43	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) -> Com_1(f75(A, B, C, D, E, K2, G - 1, L2, M2, 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)) :|: G >= 1 && L2 >= 1
27.03/11.43	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) -> Com_1(f100(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 0, S, T, 0, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, L2, R1, S1, T1, U1, V1, K2, L2, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2)) :|: 0 >= G
27.03/11.43	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) -> 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, C, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2)) :|: 0 >= E
27.03/11.43	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) -> 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, C, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2)) :|: E >= 1
27.03/11.43	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) -> Com_1(f44(A, B - 1, K2, L2, M2, 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)) :|: L2 >= 1 && B >= 1 && K2 >= 1
27.03/11.43	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) -> Com_1(f65(A, B, C, D, E, F, L2, H, I, J, K, L, M, N, O, P, Q, 0, S, T, 0, 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, K2, L2, B2, C2, D2, E2, F2, G2, H2, I2, J2)) :|: 0 >= B
27.03/11.43	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) -> Com_1(f34(A, M2, C, D, E, F, G, H, I, J, 0, L, M, N, O, P, 0, 0, S, 0, 0, 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, 0, 0, K2, L2, 0, M2, H2, I2, J2)) :|: 0 >= L2
27.03/11.43	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) -> Com_1(f34(A, O2, C, D, E, F, G, H, I, J, 0, L, M, N, O, P, 0, 0, S, 0, 0, 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, 0, 0, K2, L2, 0, O2, M2, N2, 0)) :|: L2 >= 1
27.03/11.43	
27.03/11.43	The start-symbols are:[f0_62]
27.03/11.43	
27.03/11.43	
27.03/11.43	----------------------------------------
27.03/11.43	
27.03/11.43	(1) Loat Proof (FINISHED)
27.03/11.43	
27.03/11.43	
27.03/11.43	### Pre-processing the ITS problem ###
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Initial linear ITS problem
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	      0: f79 -> f81 : [ 0>=A ], cost: 1
27.03/11.43	
27.03/11.43	     20: f79 -> f81 : [ A>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      1: f34 -> f34 : B'=-1+B, C'=free, [ B>=1 && 0>=free ], cost: 1
27.03/11.43	
27.03/11.43	      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
27.03/11.43	
27.03/11.43	     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.03/11.43	
27.03/11.43	     27: f34 -> f65 : A2'=free_37, G'=free_37, R'=0, U'=0, Z1'=free_36, [ 0>=B ], cost: 1
27.03/11.43	
27.03/11.43	      3: f81 -> f65 : [ 0>=F ], cost: 1
27.03/11.43	
27.03/11.43	     19: f81 -> f65 : [ F>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      4: f65 -> f75 : F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 ], cost: 1
27.03/11.43	
27.03/11.43	     22: f65 -> f75 : F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     23: f65 -> f100 : Q1_1'=free_32, R'=0, U'=0, W1'=free_31, X1'=free_32, [ 0>=G ], cost: 1
27.03/11.43	
27.03/11.43	      5: f75 -> f79 : A'=free_7, [ 0>=Q ], cost: 1
27.03/11.43	
27.03/11.43	     21: f75 -> f79 : A'=free_27, [ Q>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      6: f213 -> f213 : [], cost: 1
27.03/11.43	
27.03/11.43	      7: f215 -> f218 : 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, Q_1'=V1, Q1_1'=W1, R'=X1, R1'=Y1, S'=Z1, S1'=A2, T'=B2, T1'=C2, U'=D2, U1'=E2, V'=F2, V1'=G2, W'=H2, W1'=Q2, X'=J2, [], cost: 1
27.03/11.43	
27.03/11.43	      8: f191 -> f191 : J'=-1+J, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, [ J>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      9: f191 -> f213 : Q_1'=2, R'=0, S'=free_9, [ 0>=J && Q_1==2 ], cost: 1
27.03/11.43	
27.03/11.43	     10: f191 -> f213 : R'=0, S'=free_10, T'=1, [ 1>=Q_1 && 0>=J ], cost: 1
27.03/11.43	
27.03/11.43	     11: f191 -> f213 : R'=0, S'=free_11, T'=1, [ Q_1>=3 && 0>=J ], cost: 1
27.03/11.43	
27.03/11.43	     12: f130 -> f191 : J'=free_14, R'=0, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 ], cost: 1
27.03/11.43	
27.03/11.43	     15: f130 -> f130 : K1'=free_16, L1'=free_15, R'=0, U'=0, V'=free_17, W'=-1+free_17, [ free_17>=1 && 0>=free_16 ], cost: 1
27.03/11.43	
27.03/11.43	     16: f130 -> f130 : A1'=free_21, E1'=0, K1'=free_20, L1'=free_19, M1'=free_18, N1'=free_18, O1'=0, P1'=0, R'=0, U'=0, V'=free_22, W'=-1+free_22, [ free_22>=1 && free_20>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     13: f156 -> f130 : A1'=Z, B1'=Z, C1'=0, D1'=E1, F1'=Z, G1'=0, H1'=Z, Q1'=E1, Q_1'=0, U'=0, [ Z>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     14: f156 -> f130 : A1'=Z, J1'=E1, U'=0, [ 0>=Z ], cost: 1
27.03/11.43	
27.03/11.43	     17: f100 -> f130 : R'=0, R1'=free_23, U'=0, [ 0>=Q1_1 ], cost: 1
27.03/11.43	
27.03/11.43	     18: f100 -> f100 : Q1_1'=-1+Q1_1, R'=0, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, [ Q1_1>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     24: f44 -> f34 : Y1'=C, [ 0>=E ], cost: 1
27.03/11.43	
27.03/11.43	     25: f44 -> f34 : Y1'=C, [ E>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     28: f0 -> f34 : B'=free_40, B2'=0, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 ], cost: 1
27.03/11.43	
27.03/11.43	     29: f0 -> f34 : B'=free_45, B2'=0, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 ], cost: 1
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Removed unreachable and leaf rules:
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	      0: f79 -> f81 : [ 0>=A ], cost: 1
27.03/11.43	
27.03/11.43	     20: f79 -> f81 : [ A>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      1: f34 -> f34 : B'=-1+B, C'=free, [ B>=1 && 0>=free ], cost: 1
27.03/11.43	
27.03/11.43	      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
27.03/11.43	
27.03/11.43	     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.03/11.43	
27.03/11.43	     27: f34 -> f65 : A2'=free_37, G'=free_37, R'=0, U'=0, Z1'=free_36, [ 0>=B ], cost: 1
27.03/11.43	
27.03/11.43	      3: f81 -> f65 : [ 0>=F ], cost: 1
27.03/11.43	
27.03/11.43	     19: f81 -> f65 : [ F>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      4: f65 -> f75 : F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 ], cost: 1
27.03/11.43	
27.03/11.43	     22: f65 -> f75 : F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     23: f65 -> f100 : Q1_1'=free_32, R'=0, U'=0, W1'=free_31, X1'=free_32, [ 0>=G ], cost: 1
27.03/11.43	
27.03/11.43	      5: f75 -> f79 : A'=free_7, [ 0>=Q ], cost: 1
27.03/11.43	
27.03/11.43	     21: f75 -> f79 : A'=free_27, [ Q>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      6: f213 -> f213 : [], cost: 1
27.03/11.43	
27.03/11.43	      8: f191 -> f191 : J'=-1+J, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, [ J>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      9: f191 -> f213 : Q_1'=2, R'=0, S'=free_9, [ 0>=J && Q_1==2 ], cost: 1
27.03/11.43	
27.03/11.43	     10: f191 -> f213 : R'=0, S'=free_10, T'=1, [ 1>=Q_1 && 0>=J ], cost: 1
27.03/11.43	
27.03/11.43	     11: f191 -> f213 : R'=0, S'=free_11, T'=1, [ Q_1>=3 && 0>=J ], cost: 1
27.03/11.43	
27.03/11.43	     12: f130 -> f191 : J'=free_14, R'=0, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 ], cost: 1
27.03/11.43	
27.03/11.43	     15: f130 -> f130 : K1'=free_16, L1'=free_15, R'=0, U'=0, V'=free_17, W'=-1+free_17, [ free_17>=1 && 0>=free_16 ], cost: 1
27.03/11.43	
27.03/11.43	     16: f130 -> f130 : A1'=free_21, E1'=0, K1'=free_20, L1'=free_19, M1'=free_18, N1'=free_18, O1'=0, P1'=0, R'=0, U'=0, V'=free_22, W'=-1+free_22, [ free_22>=1 && free_20>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     17: f100 -> f130 : R'=0, R1'=free_23, U'=0, [ 0>=Q1_1 ], cost: 1
27.03/11.43	
27.03/11.43	     18: f100 -> f100 : Q1_1'=-1+Q1_1, R'=0, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, [ Q1_1>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     24: f44 -> f34 : Y1'=C, [ 0>=E ], cost: 1
27.03/11.43	
27.03/11.43	     25: f44 -> f34 : Y1'=C, [ E>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     28: f0 -> f34 : B'=free_40, B2'=0, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 ], cost: 1
27.03/11.43	
27.03/11.43	     29: f0 -> f34 : B'=free_45, B2'=0, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 ], cost: 1
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	### Simplification by acceleration and chaining ###
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Accelerating simple loops of location 1.
27.03/11.43	
27.03/11.43	   Accelerating the following rules:
27.03/11.43	
27.03/11.43	      1: f34 -> f34 : B'=-1+B, C'=free, [ B>=1 && 0>=free ], cost: 1
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	   Accelerated rule 1 with metering function B, yielding the new rule 30.
27.03/11.43	
27.03/11.43	   Removing the simple loops: 1.
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Accelerating simple loops of location 5.
27.03/11.43	
27.03/11.43	   Accelerating the following rules:
27.03/11.43	
27.03/11.43	      6: f213 -> f213 : [], cost: 1
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	   Accelerated rule 6 with NONTERM, yielding the new rule 31.
27.03/11.43	
27.03/11.43	   Removing the simple loops: 6.
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Accelerating simple loops of location 7.
27.03/11.43	
27.03/11.43	   Accelerating the following rules:
27.03/11.43	
27.03/11.43	      8: f191 -> f191 : J'=-1+J, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, [ J>=1 ], cost: 1
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	   Accelerated rule 8 with metering function J, yielding the new rule 32.
27.03/11.43	
27.03/11.43	   Removing the simple loops: 8.
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Accelerating simple loops of location 8.
27.03/11.43	
27.03/11.43	   Accelerating the following rules:
27.03/11.43	
27.03/11.43	     15: f130 -> f130 : K1'=free_16, L1'=free_15, R'=0, U'=0, V'=free_17, W'=-1+free_17, [ free_17>=1 && 0>=free_16 ], cost: 1
27.03/11.43	
27.03/11.43	     16: f130 -> f130 : A1'=free_21, E1'=0, K1'=free_20, L1'=free_19, M1'=free_18, N1'=free_18, O1'=0, P1'=0, R'=0, U'=0, V'=free_22, W'=-1+free_22, [ free_22>=1 && free_20>=1 ], cost: 1
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	   Accelerated rule 15 with NONTERM, yielding the new rule 33.
27.03/11.43	
27.03/11.43	   Accelerated rule 16 with NONTERM, yielding the new rule 34.
27.03/11.43	
27.03/11.43	   Removing the simple loops: 15 16.
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Accelerating simple loops of location 10.
27.03/11.43	
27.03/11.43	   Accelerating the following rules:
27.03/11.43	
27.03/11.43	     18: f100 -> f100 : Q1_1'=-1+Q1_1, R'=0, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, [ Q1_1>=1 ], cost: 1
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	   Accelerated rule 18 with metering function Q1_1, yielding the new rule 35.
27.03/11.43	
27.03/11.43	   Removing the simple loops: 18.
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Accelerated all simple loops using metering functions (where possible):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	      0: f79 -> f81 : [ 0>=A ], cost: 1
27.03/11.43	
27.03/11.43	     20: f79 -> f81 : [ A>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      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
27.03/11.43	
27.03/11.43	     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.03/11.43	
27.03/11.43	     27: f34 -> f65 : A2'=free_37, G'=free_37, R'=0, U'=0, Z1'=free_36, [ 0>=B ], cost: 1
27.03/11.43	
27.03/11.43	     30: f34 -> f34 : B'=0, C'=free, [ B>=1 && 0>=free ], cost: B
27.03/11.43	
27.03/11.43	      3: f81 -> f65 : [ 0>=F ], cost: 1
27.03/11.43	
27.03/11.43	     19: f81 -> f65 : [ F>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      4: f65 -> f75 : F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 ], cost: 1
27.03/11.43	
27.03/11.43	     22: f65 -> f75 : F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     23: f65 -> f100 : Q1_1'=free_32, R'=0, U'=0, W1'=free_31, X1'=free_32, [ 0>=G ], cost: 1
27.03/11.43	
27.03/11.43	      5: f75 -> f79 : A'=free_7, [ 0>=Q ], cost: 1
27.03/11.43	
27.03/11.43	     21: f75 -> f79 : A'=free_27, [ Q>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     31: f213 -> [15] : [], cost: INF
27.03/11.43	
27.03/11.43	      9: f191 -> f213 : Q_1'=2, R'=0, S'=free_9, [ 0>=J && Q_1==2 ], cost: 1
27.03/11.43	
27.03/11.43	     10: f191 -> f213 : R'=0, S'=free_10, T'=1, [ 1>=Q_1 && 0>=J ], cost: 1
27.03/11.43	
27.03/11.43	     11: f191 -> f213 : R'=0, S'=free_11, T'=1, [ Q_1>=3 && 0>=J ], cost: 1
27.03/11.43	
27.03/11.43	     32: f191 -> f191 : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, [ J>=1 ], cost: J
27.03/11.43	
27.03/11.43	     12: f130 -> f191 : J'=free_14, R'=0, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 ], cost: 1
27.03/11.43	
27.03/11.43	     33: f130 -> [17] : [ free_17>=1 && 0>=free_16 ], cost: INF
27.03/11.43	
27.03/11.43	     34: f130 -> [17] : [ free_22>=1 && free_20>=1 ], cost: INF
27.03/11.43	
27.03/11.43	     17: f100 -> f130 : R'=0, R1'=free_23, U'=0, [ 0>=Q1_1 ], cost: 1
27.03/11.43	
27.03/11.43	     35: f100 -> f100 : Q1_1'=0, R'=0, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, [ Q1_1>=1 ], cost: Q1_1
27.03/11.43	
27.03/11.43	     24: f44 -> f34 : Y1'=C, [ 0>=E ], cost: 1
27.03/11.43	
27.03/11.43	     25: f44 -> f34 : Y1'=C, [ E>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     28: f0 -> f34 : B'=free_40, B2'=0, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 ], cost: 1
27.03/11.43	
27.03/11.43	     29: f0 -> f34 : B'=free_45, B2'=0, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 ], cost: 1
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Chained accelerated rules (with incoming rules):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	      0: f79 -> f81 : [ 0>=A ], cost: 1
27.03/11.43	
27.03/11.43	     20: f79 -> f81 : [ A>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      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
27.03/11.43	
27.03/11.43	     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.03/11.43	
27.03/11.43	     27: f34 -> f65 : A2'=free_37, G'=free_37, R'=0, U'=0, Z1'=free_36, [ 0>=B ], cost: 1
27.03/11.43	
27.03/11.43	      3: f81 -> f65 : [ 0>=F ], cost: 1
27.03/11.43	
27.03/11.43	     19: f81 -> f65 : [ F>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      4: f65 -> f75 : F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 ], cost: 1
27.03/11.43	
27.03/11.43	     22: f65 -> f75 : F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     23: f65 -> f100 : Q1_1'=free_32, R'=0, U'=0, W1'=free_31, X1'=free_32, [ 0>=G ], cost: 1
27.03/11.43	
27.03/11.43	     46: f65 -> f100 : Q1_1'=0, R'=0, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: 1+free_32
27.03/11.43	
27.03/11.43	      5: f75 -> f79 : A'=free_7, [ 0>=Q ], cost: 1
27.03/11.43	
27.03/11.43	     21: f75 -> f79 : A'=free_27, [ Q>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      9: f191 -> f213 : Q_1'=2, R'=0, S'=free_9, [ 0>=J && Q_1==2 ], cost: 1
27.03/11.43	
27.03/11.43	     10: f191 -> f213 : R'=0, S'=free_10, T'=1, [ 1>=Q_1 && 0>=J ], cost: 1
27.03/11.43	
27.03/11.43	     11: f191 -> f213 : R'=0, S'=free_11, T'=1, [ Q_1>=3 && 0>=J ], cost: 1
27.03/11.43	
27.03/11.43	     40: f191 -> [15] : Q_1'=2, R'=0, S'=free_9, [ 0>=J && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     41: f191 -> [15] : R'=0, S'=free_10, T'=1, [ 1>=Q_1 && 0>=J ], cost: INF
27.03/11.43	
27.03/11.43	     42: f191 -> [15] : R'=0, S'=free_11, T'=1, [ Q_1>=3 && 0>=J ], cost: INF
27.03/11.43	
27.03/11.43	     12: f130 -> f191 : J'=free_14, R'=0, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 ], cost: 1
27.03/11.43	
27.03/11.43	     43: f130 -> f191 : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, R'=0, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 ], cost: 1+free_14
27.03/11.43	
27.03/11.43	     17: f100 -> f130 : R'=0, R1'=free_23, U'=0, [ 0>=Q1_1 ], cost: 1
27.03/11.43	
27.03/11.43	     44: f100 -> [17] : R'=0, R1'=free_23, U'=0, [ 0>=Q1_1 ], cost: INF
27.03/11.43	
27.03/11.43	     45: f100 -> [17] : R'=0, R1'=free_23, U'=0, [ 0>=Q1_1 ], cost: INF
27.03/11.43	
27.03/11.43	     24: f44 -> f34 : Y1'=C, [ 0>=E ], cost: 1
27.03/11.43	
27.03/11.43	     25: f44 -> f34 : Y1'=C, [ E>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     36: f44 -> f34 : B'=0, C'=free, Y1'=C, [ 0>=E && B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     37: f44 -> f34 : B'=0, C'=free, Y1'=C, [ E>=1 && B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     28: f0 -> f34 : B'=free_40, B2'=0, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 ], cost: 1
27.03/11.43	
27.03/11.43	     29: f0 -> f34 : B'=free_45, B2'=0, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     38: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40
27.03/11.43	
27.03/11.43	     39: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Removed unreachable locations (and leaf rules with constant cost):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	      0: f79 -> f81 : [ 0>=A ], cost: 1
27.03/11.43	
27.03/11.43	     20: f79 -> f81 : [ A>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      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
27.03/11.43	
27.03/11.43	     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.03/11.43	
27.03/11.43	     27: f34 -> f65 : A2'=free_37, G'=free_37, R'=0, U'=0, Z1'=free_36, [ 0>=B ], cost: 1
27.03/11.43	
27.03/11.43	      3: f81 -> f65 : [ 0>=F ], cost: 1
27.03/11.43	
27.03/11.43	     19: f81 -> f65 : [ F>=1 ], cost: 1
27.03/11.43	
27.03/11.43	      4: f65 -> f75 : F'=free_6, G'=-1+G, H'=free_5, Q'=free_4, [ G>=1 && 0>=free_5 ], cost: 1
27.03/11.43	
27.03/11.43	     22: f65 -> f75 : F'=free_30, G'=-1+G, H'=free_29, Q'=free_28, [ G>=1 && free_29>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     23: f65 -> f100 : Q1_1'=free_32, R'=0, U'=0, W1'=free_31, X1'=free_32, [ 0>=G ], cost: 1
27.03/11.43	
27.03/11.43	     46: f65 -> f100 : Q1_1'=0, R'=0, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: 1+free_32
27.03/11.43	
27.03/11.43	      5: f75 -> f79 : A'=free_7, [ 0>=Q ], cost: 1
27.03/11.43	
27.03/11.43	     21: f75 -> f79 : A'=free_27, [ Q>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     40: f191 -> [15] : Q_1'=2, R'=0, S'=free_9, [ 0>=J && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     41: f191 -> [15] : R'=0, S'=free_10, T'=1, [ 1>=Q_1 && 0>=J ], cost: INF
27.03/11.43	
27.03/11.43	     42: f191 -> [15] : R'=0, S'=free_11, T'=1, [ Q_1>=3 && 0>=J ], cost: INF
27.03/11.43	
27.03/11.43	     12: f130 -> f191 : J'=free_14, R'=0, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 ], cost: 1
27.03/11.43	
27.03/11.43	     43: f130 -> f191 : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, R'=0, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 ], cost: 1+free_14
27.03/11.43	
27.03/11.43	     17: f100 -> f130 : R'=0, R1'=free_23, U'=0, [ 0>=Q1_1 ], cost: 1
27.03/11.43	
27.03/11.43	     44: f100 -> [17] : R'=0, R1'=free_23, U'=0, [ 0>=Q1_1 ], cost: INF
27.03/11.43	
27.03/11.43	     45: f100 -> [17] : R'=0, R1'=free_23, U'=0, [ 0>=Q1_1 ], cost: INF
27.03/11.43	
27.03/11.43	     24: f44 -> f34 : Y1'=C, [ 0>=E ], cost: 1
27.03/11.43	
27.03/11.43	     25: f44 -> f34 : Y1'=C, [ E>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     36: f44 -> f34 : B'=0, C'=free, Y1'=C, [ 0>=E && B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     37: f44 -> f34 : B'=0, C'=free, Y1'=C, [ E>=1 && B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     28: f0 -> f34 : B'=free_40, B2'=0, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 ], cost: 1
27.03/11.43	
27.03/11.43	     29: f0 -> f34 : B'=free_45, B2'=0, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     38: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40
27.03/11.43	
27.03/11.43	     39: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Eliminated locations (on tree-shaped paths):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	     65: f79 -> f65 : [ 0>=A && 0>=F ], cost: 2
27.03/11.43	
27.03/11.43	     66: f79 -> f65 : [ 0>=A && F>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     67: f79 -> f65 : [ A>=1 && 0>=F ], cost: 2
27.03/11.43	
27.03/11.43	     68: f79 -> f65 : [ A>=1 && F>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     27: f34 -> f65 : A2'=free_37, G'=free_37, R'=0, U'=0, Z1'=free_36, [ 0>=B ], cost: 1
27.03/11.43	
27.03/11.43	     47: f34 -> f34 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && B>=1 && free_3>=1 && 0>=free_1 ], cost: 2
27.03/11.43	
27.03/11.43	     48: f34 -> f34 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && B>=1 && free_3>=1 && free_1>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     49: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && free_3>=1 && 0>=free_1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     50: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && free_3>=1 && free_1>=1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     51: f34 -> f34 : B'=-1+B, C'=free_35, D'=free_34, E'=free_33, Y1'=free_35, [ free_34>=1 && B>=1 && free_35>=1 && 0>=free_33 ], cost: 2
27.03/11.43	
27.03/11.43	     52: f34 -> f34 : B'=-1+B, C'=free_35, D'=free_34, E'=free_33, Y1'=free_35, [ free_34>=1 && B>=1 && free_35>=1 && free_33>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     53: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Y1'=free_35, [ free_34>=1 && free_35>=1 && 0>=free_33 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     54: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Y1'=free_35, [ free_34>=1 && free_35>=1 && free_33>=1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     59: f65 -> f130 : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: 2
27.03/11.43	
27.03/11.43	     60: f65 -> [17] : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	     61: f65 -> [17] : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	     62: f65 -> f130 : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: 2+free_32
27.03/11.43	
27.03/11.43	     63: f65 -> [17] : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	     64: f65 -> [17] : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	     69: f130 -> [15] : J'=free_14, Q_1'=2, R'=0, S'=free_9, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     70: f130 -> [15] : J'=free_14, R'=0, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && 1>=Q_1 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	     71: f130 -> [15] : J'=free_14, R'=0, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && Q_1>=3 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	     72: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q_1'=2, R'=0, S'=free_9, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     73: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, R'=0, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 && 1>=Q_1 ], cost: INF
27.03/11.43	
27.03/11.43	     74: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, R'=0, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 && Q_1>=3 ], cost: INF
27.03/11.43	
27.03/11.43	     28: f0 -> f34 : B'=free_40, B2'=0, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 ], cost: 1
27.03/11.43	
27.03/11.43	     29: f0 -> f34 : B'=free_45, B2'=0, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     38: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40
27.03/11.43	
27.03/11.43	     39: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Applied pruning (of leafs and parallel rules):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	     65: f79 -> f65 : [ 0>=A && 0>=F ], cost: 2
27.03/11.43	
27.03/11.43	     66: f79 -> f65 : [ 0>=A && F>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     67: f79 -> f65 : [ A>=1 && 0>=F ], cost: 2
27.03/11.43	
27.03/11.43	     68: f79 -> f65 : [ A>=1 && F>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     27: f34 -> f65 : A2'=free_37, G'=free_37, R'=0, U'=0, Z1'=free_36, [ 0>=B ], cost: 1
27.03/11.43	
27.03/11.43	     48: f34 -> f34 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && B>=1 && free_3>=1 && free_1>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     49: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && free_3>=1 && 0>=free_1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     50: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && free_3>=1 && free_1>=1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     53: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Y1'=free_35, [ free_34>=1 && free_35>=1 && 0>=free_33 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     54: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Y1'=free_35, [ free_34>=1 && free_35>=1 && free_33>=1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     59: f65 -> f130 : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: 2
27.03/11.43	
27.03/11.43	     61: f65 -> [17] : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	     62: f65 -> f130 : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: 2+free_32
27.03/11.43	
27.03/11.43	     64: f65 -> [17] : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	     69: f130 -> [15] : J'=free_14, Q_1'=2, R'=0, S'=free_9, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     70: f130 -> [15] : J'=free_14, R'=0, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && 1>=Q_1 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	     71: f130 -> [15] : J'=free_14, R'=0, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && Q_1>=3 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	     72: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q_1'=2, R'=0, S'=free_9, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     74: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, R'=0, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 && Q_1>=3 ], cost: INF
27.03/11.43	
27.03/11.43	     28: f0 -> f34 : B'=free_40, B2'=0, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 ], cost: 1
27.03/11.43	
27.03/11.43	     29: f0 -> f34 : B'=free_45, B2'=0, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     38: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40
27.03/11.43	
27.03/11.43	     39: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Accelerating simple loops of location 1.
27.03/11.43	
27.03/11.43	   Accelerating the following rules:
27.03/11.43	
27.03/11.43	     48: f34 -> f34 : B'=-1+B, C'=free_3, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && B>=1 && free_3>=1 && free_1>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     49: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && free_3>=1 && 0>=free_1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     50: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && free_3>=1 && free_1>=1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     53: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Y1'=free_35, [ free_34>=1 && free_35>=1 && 0>=free_33 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     54: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Y1'=free_35, [ free_34>=1 && free_35>=1 && free_33>=1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	   Accelerated rule 48 with metering function B, yielding the new rule 75.
27.03/11.43	
27.03/11.43	   Found no metering function for rule 49.
27.03/11.43	
27.03/11.43	   Found no metering function for rule 50.
27.03/11.43	
27.03/11.43	   Found no metering function for rule 53.
27.03/11.43	
27.03/11.43	   Found no metering function for rule 54.
27.03/11.43	
27.03/11.43	   Removing the simple loops: 48.
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Accelerated all simple loops using metering functions (where possible):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	     65: f79 -> f65 : [ 0>=A && 0>=F ], cost: 2
27.03/11.43	
27.03/11.43	     66: f79 -> f65 : [ 0>=A && F>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     67: f79 -> f65 : [ A>=1 && 0>=F ], cost: 2
27.03/11.43	
27.03/11.43	     68: f79 -> f65 : [ A>=1 && F>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     27: f34 -> f65 : A2'=free_37, G'=free_37, R'=0, U'=0, Z1'=free_36, [ 0>=B ], cost: 1
27.03/11.43	
27.03/11.43	     49: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && free_3>=1 && 0>=free_1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     50: f34 -> f34 : B'=0, C'=free, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && free_3>=1 && free_1>=1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     53: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Y1'=free_35, [ free_34>=1 && free_35>=1 && 0>=free_33 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     54: f34 -> f34 : B'=0, C'=free, D'=free_34, E'=free_33, Y1'=free_35, [ free_34>=1 && free_35>=1 && free_33>=1 && -1+B>=1 && 0>=free ], cost: 1+B
27.03/11.43	
27.03/11.43	     75: f34 -> f34 : B'=0, C'=free_3, D'=free_2, E'=free_1, Y1'=free_3, [ 0>=free_2 && B>=1 && free_3>=1 && free_1>=1 ], cost: 2*B
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     59: f65 -> f130 : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: 2
27.03/11.43	
27.03/11.43	     61: f65 -> [17] : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	     62: f65 -> f130 : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: 2+free_32
27.03/11.43	
27.03/11.43	     64: f65 -> [17] : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	     69: f130 -> [15] : J'=free_14, Q_1'=2, R'=0, S'=free_9, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     70: f130 -> [15] : J'=free_14, R'=0, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && 1>=Q_1 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	     71: f130 -> [15] : J'=free_14, R'=0, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && Q_1>=3 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	     72: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q_1'=2, R'=0, S'=free_9, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     74: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, R'=0, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 && Q_1>=3 ], cost: INF
27.03/11.43	
27.03/11.43	     28: f0 -> f34 : B'=free_40, B2'=0, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 ], cost: 1
27.03/11.43	
27.03/11.43	     29: f0 -> f34 : B'=free_45, B2'=0, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     38: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40
27.03/11.43	
27.03/11.43	     39: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Chained accelerated rules (with incoming rules):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	     65: f79 -> f65 : [ 0>=A && 0>=F ], cost: 2
27.03/11.43	
27.03/11.43	     66: f79 -> f65 : [ 0>=A && F>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     67: f79 -> f65 : [ A>=1 && 0>=F ], cost: 2
27.03/11.43	
27.03/11.43	     68: f79 -> f65 : [ A>=1 && F>=1 ], cost: 2
27.03/11.43	
27.03/11.43	     27: f34 -> f65 : A2'=free_37, G'=free_37, R'=0, U'=0, Z1'=free_36, [ 0>=B ], cost: 1
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     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
27.03/11.43	
27.03/11.43	     59: f65 -> f130 : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: 2
27.03/11.43	
27.03/11.43	     61: f65 -> [17] : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	     62: f65 -> f130 : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: 2+free_32
27.03/11.43	
27.03/11.43	     64: f65 -> [17] : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	     69: f130 -> [15] : J'=free_14, Q_1'=2, R'=0, S'=free_9, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     70: f130 -> [15] : J'=free_14, R'=0, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && 1>=Q_1 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	     71: f130 -> [15] : J'=free_14, R'=0, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && Q_1>=3 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	     72: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q_1'=2, R'=0, S'=free_9, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     74: f130 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, R'=0, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, X'=free_12, Y'=free_14, [ 0>=free_13 && free_14>=1 && Q_1>=3 ], cost: INF
27.03/11.43	
27.03/11.43	     28: f0 -> f34 : B'=free_40, B2'=0, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 ], cost: 1
27.03/11.43	
27.03/11.43	     29: f0 -> f34 : B'=free_45, B2'=0, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 ], cost: 1
27.03/11.43	
27.03/11.43	     38: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 1+free_40
27.03/11.43	
27.03/11.43	     39: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 1+free_45
27.03/11.43	
27.03/11.43	     76: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, [ 0>=free_38 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_40>=1 && 0>=free ], cost: 2+free_40
27.03/11.43	
27.03/11.43	     77: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free ], cost: 2+free_45
27.03/11.43	
27.03/11.43	     78: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, [ 0>=free_38 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_40>=1 && 0>=free ], cost: 2+free_40
27.03/11.43	
27.03/11.43	     79: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free ], cost: 2+free_45
27.03/11.43	
27.03/11.43	     80: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_39, E'=free_33, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, [ 0>=free_38 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_40>=1 && 0>=free ], cost: 2+free_40
27.03/11.43	
27.03/11.43	     81: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free ], cost: 2+free_45
27.03/11.43	
27.03/11.43	     82: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_39, E'=free_33, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, [ 0>=free_38 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_40>=1 && 0>=free ], cost: 2+free_40
27.03/11.43	
27.03/11.43	     83: f0 -> f34 : B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 2+free_45
27.03/11.43	
27.03/11.43	     84: f0 -> f34 : B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 1+2*free_40
27.03/11.43	
27.03/11.43	     85: f0 -> f34 : B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 ], cost: 1+2*free_45
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Eliminated locations (on tree-shaped paths):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	     61: f65 -> [17] : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	     64: f65 -> [17] : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    116: f65 -> [15] : J'=free_14, Q_1'=2, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_9, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    117: f65 -> [15] : J'=free_14, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 1>=Q_1 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	    118: f65 -> [15] : J'=free_14, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && Q_1>=3 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	    119: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q_1'=2, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_9, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    120: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && Q_1>=3 ], cost: INF
27.03/11.43	
27.03/11.43	    121: f65 -> [15] : J'=free_14, Q_1'=2, Q1_1'=0, R'=0, R1'=free_23, S'=free_9, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V'=free_13, V1'=free_26, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    122: f65 -> [15] : J'=free_14, Q1_1'=0, R'=0, R1'=free_23, S'=free_10, S1'=free_26, T'=1, T1'=free_25, U'=0, U1'=free_24, V'=free_13, V1'=free_26, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && 1>=Q_1 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	    123: f65 -> [15] : J'=free_14, Q1_1'=0, R'=0, R1'=free_23, S'=free_11, S1'=free_26, T'=1, T1'=free_25, U'=0, U1'=free_24, V'=free_13, V1'=free_26, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && Q_1>=3 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	    124: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q_1'=2, Q1_1'=0, R'=0, R1'=free_23, S'=free_9, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V'=free_13, V1'=free_26, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && free_14>=1 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    125: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q1_1'=0, R'=0, R1'=free_23, S'=free_11, S1'=free_26, T'=1, T1'=free_25, U'=0, U1'=free_24, V'=free_13, V1'=free_26, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && free_14>=1 && Q_1>=3 ], cost: INF
27.03/11.43	
27.03/11.43	     86: f0 -> f65 : A2'=free_37, B'=free_40, B2'=0, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ 0>=free_38 && 0>=free_40 ], cost: 2
27.03/11.43	
27.03/11.43	     87: f0 -> f65 : A2'=free_37, B'=free_45, B2'=0, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ free_43>=1 && 0>=free_45 ], cost: 2
27.03/11.43	
27.03/11.43	     88: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 2+free_40
27.03/11.43	
27.03/11.43	     89: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 2+free_45
27.03/11.43	
27.03/11.43	     90: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 0>=free_38 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_40>=1 && 0>=free ], cost: 3+free_40
27.03/11.43	
27.03/11.43	     91: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_3>=1 && 0>=free_1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45
27.03/11.43	
27.03/11.43	     92: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 0>=free_38 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_40>=1 && 0>=free ], cost: 3+free_40
27.03/11.43	
27.03/11.43	     93: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_3>=1 && free_1>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45
27.03/11.43	
27.03/11.43	     94: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_39, E'=free_33, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ 0>=free_38 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_40>=1 && 0>=free ], cost: 3+free_40
27.03/11.43	
27.03/11.43	     95: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ free_43>=1 && free_34>=1 && free_35>=1 && 0>=free_33 && -1+free_45>=1 && 0>=free ], cost: 3+free_45
27.03/11.43	
27.03/11.43	     96: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_39, E'=free_33, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ 0>=free_38 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_40>=1 && 0>=free ], cost: 3+free_40
27.03/11.43	
27.03/11.43	     97: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45
27.03/11.43	
27.03/11.43	     98: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_40
27.03/11.43	
27.03/11.43	     99: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_45
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Applied pruning (of leafs and parallel rules):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	     61: f65 -> [17] : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	     64: f65 -> [17] : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    116: f65 -> [15] : J'=free_14, Q_1'=2, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_9, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    117: f65 -> [15] : J'=free_14, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 1>=Q_1 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	    119: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q_1'=2, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_9, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    120: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && Q_1>=3 ], cost: INF
27.03/11.43	
27.03/11.43	    121: f65 -> [15] : J'=free_14, Q_1'=2, Q1_1'=0, R'=0, R1'=free_23, S'=free_9, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V'=free_13, V1'=free_26, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     88: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 2+free_40
27.03/11.43	
27.03/11.43	     89: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 2+free_45
27.03/11.43	
27.03/11.43	     97: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45
27.03/11.43	
27.03/11.43	     98: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_40
27.03/11.43	
27.03/11.43	     99: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_45
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Accelerating simple loops of location 3.
27.03/11.43	
27.03/11.43	   Accelerating the following rules:
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	   Accelerated rule 100 with metering function G, yielding the new rule 126.
27.03/11.43	
27.03/11.43	   Accelerated rule 101 with metering function G, yielding the new rule 127.
27.03/11.43	
27.03/11.43	   Accelerated rule 103 with metering function G, yielding the new rule 128.
27.03/11.43	
27.03/11.43	   Accelerated rule 107 with metering function G, yielding the new rule 129.
27.03/11.43	
27.03/11.43	   Accelerated rule 109 with metering function G, yielding the new rule 130.
27.03/11.43	
27.03/11.43	   Removing the simple loops: 100 101 103 107 109.
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Accelerated all simple loops using metering functions (where possible):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	     61: f65 -> [17] : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	     64: f65 -> [17] : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	    116: f65 -> [15] : J'=free_14, Q_1'=2, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_9, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    117: f65 -> [15] : J'=free_14, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 1>=Q_1 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	    119: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q_1'=2, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_9, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    120: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && Q_1>=3 ], cost: INF
27.03/11.43	
27.03/11.43	    121: f65 -> [15] : J'=free_14, Q_1'=2, Q1_1'=0, R'=0, R1'=free_23, S'=free_9, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V'=free_13, V1'=free_26, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	    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
27.03/11.43	
27.03/11.43	     88: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 2+free_40
27.03/11.43	
27.03/11.43	     89: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 2+free_45
27.03/11.43	
27.03/11.43	     97: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45
27.03/11.43	
27.03/11.43	     98: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_40
27.03/11.43	
27.03/11.43	     99: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_45
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Chained accelerated rules (with incoming rules):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	     61: f65 -> [17] : Q1_1'=free_32, R'=0, R1'=free_23, U'=0, W1'=free_31, X1'=free_32, [ 0>=G && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	     64: f65 -> [17] : Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, [ 0>=G && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	    116: f65 -> [15] : J'=free_14, Q_1'=2, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_9, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    117: f65 -> [15] : J'=free_14, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && 1>=Q_1 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	    119: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q_1'=2, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_9, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	    120: f65 -> [15] : J'=0, K'=1, L'=0, M'=free_8, N'=0, O'=0, P'=free_8, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_11, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && 0>=free_32 && 0>=free_13 && free_14>=1 && Q_1>=3 ], cost: INF
27.03/11.43	
27.03/11.43	    121: f65 -> [15] : J'=free_14, Q_1'=2, Q1_1'=0, R'=0, R1'=free_23, S'=free_9, S1'=free_26, T1'=free_25, U'=0, U1'=free_24, V'=free_13, V1'=free_26, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, [ 0>=G && free_32>=1 && 0>=free_13 && 0>=free_14 && Q_1==2 ], cost: INF
27.03/11.43	
27.03/11.43	     88: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 2+free_40
27.03/11.43	
27.03/11.43	     89: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free ], cost: 2+free_45
27.03/11.43	
27.03/11.43	     97: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45
27.03/11.43	
27.03/11.43	     98: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_40
27.03/11.43	
27.03/11.43	     99: f0 -> f65 : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_45
27.03/11.43	
27.03/11.43	    131: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 2+free_40+4*free_37
27.03/11.43	
27.03/11.43	    132: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 2+4*free_37+free_45
27.03/11.43	
27.03/11.43	    133: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ 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+4*free_37+free_45
27.03/11.43	
27.03/11.43	    134: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 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
27.03/11.43	
27.03/11.43	    135: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 2+4*free_37+2*free_45
27.03/11.43	
27.03/11.43	    136: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 2+free_40+4*free_37
27.03/11.43	
27.03/11.43	    137: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 2+4*free_37+free_45
27.03/11.43	
27.03/11.43	    138: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ 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+4*free_37+free_45
27.03/11.43	
27.03/11.43	    139: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 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
27.03/11.43	
27.03/11.43	    140: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 2+4*free_37+2*free_45
27.03/11.43	
27.03/11.43	    141: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 2+free_40+4*free_37
27.03/11.43	
27.03/11.43	    142: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 2+4*free_37+free_45
27.03/11.43	
27.03/11.43	    143: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ 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+4*free_37+free_45
27.03/11.43	
27.03/11.43	    144: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 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
27.03/11.43	
27.03/11.43	    145: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 2+4*free_37+2*free_45
27.03/11.43	
27.03/11.43	    146: f0 -> f65 : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 2+free_40+4*free_37
27.03/11.43	
27.03/11.43	    147: f0 -> f65 : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 2+4*free_37+free_45
27.03/11.43	
27.03/11.43	    148: f0 -> f65 : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ 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+4*free_37+free_45
27.03/11.43	
27.03/11.43	    149: f0 -> f65 : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 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
27.03/11.43	
27.03/11.43	    150: f0 -> f65 : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 2+4*free_37+2*free_45
27.03/11.43	
27.03/11.43	    151: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_30, F2'=0, G'=0, G2'=free_40, H'=free_29, Q'=free_28, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 2+free_40+4*free_37
27.03/11.43	
27.03/11.43	    152: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 2+4*free_37+free_45
27.03/11.43	
27.03/11.43	    153: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_35, Z1'=free_36, [ 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+4*free_37+free_45
27.03/11.43	
27.03/11.43	    154: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_30, F2'=0, G'=0, G2'=free_40, H'=free_29, Q'=free_28, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ 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
27.03/11.43	
27.03/11.43	    155: f0 -> f65 : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J2'=0, K'=0, Q_1'=0, R'=0, T'=0, U'=0, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 2+4*free_37+2*free_45
27.03/11.43	
27.03/11.43	
27.03/11.43	
27.03/11.43	Eliminated locations (on tree-shaped paths):
27.03/11.43	
27.03/11.43	   Start location: f0
27.03/11.43	
27.03/11.43	    156: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && 0>=free_37 && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	    157: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	    158: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	    159: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	    160: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	    161: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: INF
27.03/11.43	
27.03/11.43	    162: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.43	
27.03/11.43	    163: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.43	
27.03/11.43	    164: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.43	
27.03/11.43	    165: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && 0>=free_37 && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	    166: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && 0>=free_37 && free_32>=1 ], cost: INF
27.03/11.43	
27.03/11.43	    167: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.43	
27.03/11.43	    168: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && 0>=free_37 && 0>=free_32 ], cost: INF
27.03/11.43	
27.03/11.43	    169: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && 0>=free_37 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    170: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: INF
27.03/11.44	
27.03/11.44	    171: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && 0>=free_32 ], cost: INF
27.03/11.44	
27.03/11.44	    172: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    173: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ 0>=free_38 && free_40>=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: INF
27.03/11.44	
27.03/11.44	    174: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    175: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    176: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    177: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    178: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    179: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    180: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    181: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    182: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    183: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    184: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    185: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    186: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && 0>=free_32 ], cost: INF
27.03/11.44	
27.03/11.44	    187: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    188: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ 0>=free_38 && free_40>=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: INF
27.03/11.44	
27.03/11.44	    189: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    190: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    191: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    192: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    193: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    194: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    195: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    196: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    197: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    198: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    199: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    200: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    201: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && 0>=free_32 ], cost: INF
27.03/11.44	
27.03/11.44	    202: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    203: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ 0>=free_38 && free_40>=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: INF
27.03/11.44	
27.03/11.44	    204: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    205: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    206: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    207: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    208: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    209: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    210: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    211: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    212: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    213: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    214: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    215: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    216: f0 -> [17] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && 0>=free_32 ], cost: INF
27.03/11.44	
27.03/11.44	    217: f0 -> [17] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    218: f0 -> [15] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ 0>=free_38 && free_40>=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: INF
27.03/11.44	
27.03/11.44	    219: f0 -> [17] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    220: f0 -> [17] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    221: f0 -> [15] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    222: f0 -> [17] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    223: f0 -> [17] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    224: f0 -> [15] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    225: f0 -> [17] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    226: f0 -> [17] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    227: f0 -> [15] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    228: f0 -> [17] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    229: f0 -> [17] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    230: f0 -> [15] : A'=free_27, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    231: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_30, F2'=0, G'=0, G2'=free_40, H'=free_29, Q'=free_28, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && 0>=free_32 ], cost: INF
27.03/11.44	
27.03/11.44	    232: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_30, F2'=0, G'=0, G2'=free_40, H'=free_29, Q'=free_28, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    233: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_30, F2'=0, G'=0, G2'=free_40, H'=free_29, Q'=free_28, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ 0>=free_38 && free_40>=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: INF
27.03/11.44	
27.03/11.44	    234: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    235: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    236: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ free_43>=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: INF
27.03/11.44	
27.03/11.44	    237: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    238: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    239: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    240: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_30, F2'=0, G'=0, G2'=free_40, H'=free_29, Q'=free_28, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    241: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_30, F2'=0, G'=0, G2'=free_40, H'=free_29, Q'=free_28, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    242: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F'=free_30, F2'=0, G'=0, G2'=free_40, H'=free_29, Q'=free_28, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    243: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    244: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    245: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_44, E'=free_1, E2'=free_43, F'=free_30, F2'=0, G'=0, G2'=free_45, H'=free_29, H2'=free_42, Q'=free_28, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ free_43>=1 && 0>=free_2 && free_45>=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: INF
27.03/11.44	
27.03/11.44	    246: f0 -> [21] : [ 0>=free_38 && free_40>=1 && 0>=free ], cost: 2+free_40
27.03/11.44	
27.03/11.44	    247: f0 -> [21] : [ free_43>=1 && free_45>=1 && 0>=free ], cost: 2+free_45
27.03/11.44	
27.03/11.44	    248: f0 -> [21] : [ free_43>=1 && free_34>=1 && free_35>=1 && free_33>=1 && -1+free_45>=1 && 0>=free ], cost: 3+free_45
27.03/11.44	
27.03/11.44	    249: f0 -> [21] : [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_40
27.03/11.44	
27.03/11.44	    250: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 ], cost: 2+2*free_45
27.03/11.44	
27.03/11.44	    251: f0 -> [21] : [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 2+free_40+4*free_37
27.03/11.44	
27.03/11.44	    252: f0 -> [21] : [ free_43>=1 && free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 2+4*free_37+free_45
27.03/11.44	
27.03/11.44	    253: 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+4*free_37+free_45
27.03/11.44	
27.03/11.44	    254: 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
27.03/11.44	
27.03/11.44	    255: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && 0>=free_6 ], cost: 2+4*free_37+2*free_45
27.03/11.44	
27.03/11.44	    256: f0 -> [21] : [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 2+free_40+4*free_37
27.03/11.44	
27.03/11.44	    257: f0 -> [21] : [ free_43>=1 && free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 2+4*free_37+free_45
27.03/11.44	
27.03/11.44	    258: 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+4*free_37+free_45
27.03/11.44	
27.03/11.44	    259: 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
27.03/11.44	
27.03/11.44	    260: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && 0>=free_7 && free_6>=1 ], cost: 2+4*free_37+2*free_45
27.03/11.44	
27.03/11.44	    261: f0 -> [21] : [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 2+free_40+4*free_37
27.03/11.44	
27.03/11.44	    262: f0 -> [21] : [ free_43>=1 && free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 2+4*free_37+free_45
27.03/11.44	
27.03/11.44	    263: 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+4*free_37+free_45
27.03/11.44	
27.03/11.44	    264: 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
27.03/11.44	
27.03/11.44	    265: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && 0>=free_4 && free_7>=1 && free_6>=1 ], cost: 2+4*free_37+2*free_45
27.03/11.44	
27.03/11.44	    266: f0 -> [21] : [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 2+free_40+4*free_37
27.03/11.44	
27.03/11.44	    267: f0 -> [21] : [ free_43>=1 && free_45>=1 && 0>=free && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 2+4*free_37+free_45
27.03/11.44	
27.03/11.44	    268: 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+4*free_37+free_45
27.03/11.44	
27.03/11.44	    269: 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
27.03/11.44	
27.03/11.44	    270: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 2+4*free_37+2*free_45
27.03/11.44	
27.03/11.44	    271: f0 -> [21] : [ 0>=free_38 && free_40>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 2+free_40+4*free_37
27.03/11.44	
27.03/11.44	    272: f0 -> [21] : [ free_43>=1 && free_45>=1 && 0>=free && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 2+4*free_37+free_45
27.03/11.44	
27.03/11.44	    273: 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+4*free_37+free_45
27.03/11.44	
27.03/11.44	    274: 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
27.03/11.44	
27.03/11.44	    275: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && free_29>=1 && 0>=free_28 && 0>=free_7 && free_30>=1 ], cost: 2+4*free_37+2*free_45
27.03/11.44	
27.03/11.44	
27.03/11.44	
27.03/11.44	Applied pruning (of leafs and parallel rules):
27.03/11.44	
27.03/11.44	   Start location: f0
27.03/11.44	
27.03/11.44	    156: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && 0>=free_37 && 0>=free_32 ], cost: INF
27.03/11.44	
27.03/11.44	    157: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    158: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: INF
27.03/11.44	
27.03/11.44	    160: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    161: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: INF
27.03/11.44	
27.03/11.44	    166: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && 0>=free_37 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    167: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    178: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    179: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    203: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ 0>=free_38 && free_40>=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: INF
27.03/11.44	
27.03/11.44	    259: 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
27.03/11.44	
27.03/11.44	    264: 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
27.03/11.44	
27.03/11.44	    269: 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
27.03/11.44	
27.03/11.44	    270: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 2+4*free_37+2*free_45
27.03/11.44	
27.03/11.44	    274: 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
27.03/11.44	
27.03/11.44	
27.03/11.44	
27.03/11.44	### Computing asymptotic complexity ###
27.03/11.44	
27.03/11.44	
27.03/11.44	
27.03/11.44	Fully simplified ITS problem
27.03/11.44	
27.03/11.44	   Start location: f0
27.03/11.44	
27.03/11.44	    156: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, T'=0, U'=0, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && 0>=free_37 && 0>=free_32 ], cost: INF
27.03/11.44	
27.03/11.44	    157: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    158: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ 0>=free_38 && free_40>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: INF
27.03/11.44	
27.03/11.44	    160: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && 0>=free_37 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    161: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_44, E2'=free_43, F2'=0, G'=free_37, G2'=free_45, H2'=free_42, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ free_43>=1 && free_45>=1 && 0>=free && 0>=free_37 && 0>=free_32 && 0>=free_13 && 0>=free_14 ], cost: INF
27.03/11.44	
27.03/11.44	    166: f0 -> [17] : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_3, Z1'=free_36, [ 0>=free_38 && 0>=free_2 && free_40>=1 && free_3>=1 && free_1>=1 && 0>=free_37 && free_32>=1 ], cost: INF
27.03/11.44	
27.03/11.44	    167: f0 -> [15] : A2'=free_37, B'=0, B2'=0, C'=free_3, C2'=0, D'=free_2, D2'=free_39, E'=free_1, E2'=free_38, F2'=0, G'=free_37, G2'=free_40, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_3, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    178: f0 -> [17] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J2'=0, K'=0, Q_1'=0, Q1_1'=0, R'=0, R1'=free_23, S1'=free_26, T'=0, T1'=free_25, U'=0, U1'=free_24, V1'=free_26, W1'=free_31, X1'=free_32, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    179: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D'=free_34, D2'=free_44, E'=free_33, E2'=free_43, F'=free_6, F2'=0, G'=0, G2'=free_45, H'=free_5, H2'=free_42, Q'=free_4, Q2'=free_41, J'=free_14, J2'=0, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Y1'=free_35, Z1'=free_36, [ 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: INF
27.03/11.44	
27.03/11.44	    203: f0 -> [15] : A'=free_7, A2'=free_37, B'=0, B2'=0, C'=free, C2'=0, D2'=free_39, E2'=free_38, F'=free_6, F2'=0, G'=0, G2'=free_40, H'=free_5, Q'=free_4, J'=free_14, K'=0, Q_1'=0, Q1_1'=free_32, R'=0, R1'=free_23, S'=free_10, T'=1, U'=0, V'=free_13, W'=free_13, W1'=free_31, X'=free_12, X1'=free_32, Y'=free_14, Z1'=free_36, [ 0>=free_38 && free_40>=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: INF
27.03/11.44	
27.03/11.44	    259: 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
27.03/11.44	
27.03/11.44	    264: 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
27.03/11.44	
27.03/11.44	    269: 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
27.03/11.44	
27.03/11.44	    270: f0 -> [21] : [ free_43>=1 && 0>=free_2 && free_45>=1 && free_3>=1 && free_1>=1 && free_37>=1 && 0>=free_5 && free_4>=1 && free_27>=1 && free_6>=1 ], cost: 2+4*free_37+2*free_45
27.03/11.44	
27.03/11.44	    274: 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
27.03/11.44	
27.03/11.44	
27.03/11.44	
27.03/11.44	Computing asymptotic complexity for rule 156
27.03/11.44	
27.03/11.44	   Resulting cost INF has complexity: Nonterm
27.03/11.44	
27.03/11.44	
27.03/11.44	
27.03/11.44	Found new complexity Nonterm.
27.03/11.44	
27.03/11.44	
27.03/11.44	
27.03/11.44	Obtained the following overall complexity (w.r.t. the length of the input n):
27.03/11.44	
27.03/11.44	   Complexity:  Nonterm
27.03/11.44	
27.03/11.44	   Cpx degree:  Nonterm
27.03/11.44	
27.03/11.44	   Solved cost: INF
27.03/11.44	
27.03/11.44	   Rule cost:   INF
27.03/11.44	
27.03/11.44	   Rule guard:  [ 0>=free_38 && free_40>=1 && 0>=free && 0>=free_37 && 0>=free_32 ]
27.03/11.44	
27.03/11.44	
27.03/11.44	
27.03/11.44	NO
27.03/11.44	
27.03/11.44	
27.03/11.44	----------------------------------------
27.03/11.44	
27.03/11.44	(2)
27.03/11.44	BOUNDS(INF, INF)
27.03/11.46	EOF