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