39.83/14.64	WORST_CASE(NON_POLY, ?)
39.83/14.65	proof of /export/starexec/sandbox/benchmark/theBenchmark.koat
39.83/14.65	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
39.83/14.65	
39.83/14.65	
39.83/14.65	The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(INF, INF).
39.83/14.65	
39.83/14.65	(0) CpxIntTrs
39.83/14.65	(1) Loat Proof [FINISHED, 12.5 s]
39.83/14.65	(2) BOUNDS(INF, INF)
39.83/14.65	
39.83/14.65	
39.83/14.65	----------------------------------------
39.83/14.65	
39.83/14.65	(0)
39.83/14.65	Obligation:
39.83/14.65	Complexity Int TRS consisting of the following rules:
39.83/14.65	f12(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) -> Com_1(f16(A, B, 1, L1, N1, O1, 1 + H, H, P1, H, 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)) :|: A >= 0 && L1 >= 2 && 0 >= B + 1 && M1 >= L1 && 0 >= N1 + 1 && C >= 1 && C <= 1
39.83/14.65	f12(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) -> Com_1(f16(A, B, 1, L1, N1, O1, 1 + H, H, P1, H, 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)) :|: A >= 0 && L1 >= 2 && 0 >= B + 1 && M1 >= L1 && N1 >= 1 && C >= 1 && C <= 1
39.83/14.65	f12(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) -> Com_1(f16(A, B, 1, L1, N1, O1, 1 + H, H, P1, H, 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)) :|: A >= 0 && L1 >= 2 && B >= 1 && M1 >= L1 && 0 >= N1 + 1 && C >= 1 && C <= 1
39.83/14.65	f12(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) -> Com_1(f16(A, B, 1, L1, N1, O1, 1 + H, H, P1, H, 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)) :|: A >= 0 && L1 >= 2 && B >= 1 && M1 >= L1 && N1 >= 1 && C >= 1 && C <= 1
39.83/14.65	f13(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) -> Com_1(f16(A, B, C, L1, N1, F, G, H, I, J, O1, P1, 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)) :|: J >= 0 && L1 >= 2 && 0 >= B + 1 && 0 >= N1 + 1 && 0 >= P1 + 1
39.83/14.65	f13(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) -> Com_1(f16(A, B, C, L1, N1, F, G, H, I, J, O1, P1, 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)) :|: J >= 0 && L1 >= 2 && 0 >= B + 1 && 0 >= N1 + 1 && P1 >= 1
39.83/14.65	f13(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) -> Com_1(f16(A, B, C, L1, N1, F, G, H, I, J, O1, P1, 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)) :|: J >= 0 && L1 >= 2 && 0 >= B + 1 && N1 >= 1 && 0 >= P1 + 1
39.83/14.65	f13(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) -> Com_1(f16(A, B, C, L1, N1, F, G, H, I, J, O1, P1, 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)) :|: J >= 0 && L1 >= 2 && 0 >= B + 1 && N1 >= 1 && P1 >= 1
39.83/14.65	f13(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) -> Com_1(f16(A, B, C, L1, N1, F, G, H, I, J, O1, P1, 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)) :|: J >= 0 && L1 >= 2 && B >= 1 && 0 >= N1 + 1 && 0 >= P1 + 1
39.83/14.65	f13(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) -> Com_1(f16(A, B, C, L1, N1, F, G, H, I, J, O1, P1, 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)) :|: J >= 0 && L1 >= 2 && B >= 1 && 0 >= N1 + 1 && P1 >= 1
39.83/14.65	f13(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) -> Com_1(f16(A, B, C, L1, N1, F, G, H, I, J, O1, P1, 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)) :|: J >= 0 && L1 >= 2 && B >= 1 && N1 >= 1 && 0 >= P1 + 1
39.83/14.65	f13(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) -> Com_1(f16(A, B, C, L1, N1, F, G, H, I, J, O1, P1, 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)) :|: J >= 0 && L1 >= 2 && B >= 1 && N1 >= 1 && P1 >= 1
39.83/14.65	f16(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) -> Com_1(f16(A, B, 1 + C, L1, N1, O1, G, -(1) + H, I, J, K, L, B, P1, 1 + C, -(1) + H, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: C >= 0 && H >= 0 && L1 >= 2 && 0 >= M1 + 1 && 0 >= N1 + 1 && 0 >= P1 + 1
39.83/14.65	f16(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) -> Com_1(f16(A, B, 1 + C, L1, N1, O1, G, -(1) + H, I, J, K, L, B, P1, 1 + C, -(1) + H, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: C >= 0 && H >= 0 && L1 >= 2 && 0 >= M1 + 1 && 0 >= N1 + 1 && P1 >= 1
39.83/14.65	f16(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) -> Com_1(f16(A, B, 1 + C, L1, N1, O1, G, -(1) + H, I, J, K, L, B, P1, 1 + C, -(1) + H, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: C >= 0 && H >= 0 && L1 >= 2 && 0 >= M1 + 1 && N1 >= 1 && 0 >= P1 + 1
39.83/14.65	f16(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) -> Com_1(f16(A, B, 1 + C, L1, N1, O1, G, -(1) + H, I, J, K, L, B, P1, 1 + C, -(1) + H, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: C >= 0 && H >= 0 && L1 >= 2 && 0 >= M1 + 1 && N1 >= 1 && P1 >= 1
39.83/14.65	f16(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) -> Com_1(f16(A, B, 1 + C, L1, N1, O1, G, -(1) + H, I, J, K, L, B, P1, 1 + C, -(1) + H, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: C >= 0 && H >= 0 && L1 >= 2 && M1 >= 1 && 0 >= N1 + 1 && 0 >= P1 + 1
39.83/14.65	f16(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) -> Com_1(f16(A, B, 1 + C, L1, N1, O1, G, -(1) + H, I, J, K, L, B, P1, 1 + C, -(1) + H, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: C >= 0 && H >= 0 && L1 >= 2 && M1 >= 1 && 0 >= N1 + 1 && P1 >= 1
39.83/14.65	f16(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) -> Com_1(f16(A, B, 1 + C, L1, N1, O1, G, -(1) + H, I, J, K, L, B, P1, 1 + C, -(1) + H, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: C >= 0 && H >= 0 && L1 >= 2 && M1 >= 1 && N1 >= 1 && 0 >= P1 + 1
39.83/14.65	f16(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) -> Com_1(f16(A, B, 1 + C, L1, N1, O1, G, -(1) + H, I, J, K, L, B, P1, 1 + C, -(1) + H, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: C >= 0 && H >= 0 && L1 >= 2 && M1 >= 1 && N1 >= 1 && P1 >= 1
39.83/14.65	f1(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) -> Com_1(f1(1 + A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, S, L1, S, N1, A, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: Q >= A + 1 && A >= 0
39.83/14.65	f1(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) -> Com_1(f16(H, R, 0, L1, R, F, G, H, I, J, K, L, M, N, O, P, N1, O1, R1, M1, U, V, P1, S1, T1, Q1, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: A >= Q && A >= 0 && L1 >= 2 && 0 >= R + 1 && Q1 >= L1 && H >= L1 && C >= 0 && C <= 0
39.83/14.65	f1(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) -> Com_1(f16(H, R, 0, L1, R, F, G, H, I, J, K, L, M, N, O, P, N1, O1, R1, M1, U, V, P1, S1, T1, Q1, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1)) :|: A >= Q && A >= 0 && L1 >= 2 && R >= 1 && Q1 >= L1 && H >= L1 && C >= 0 && C <= 0
39.83/14.65	f7(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) -> Com_1(f8(A, 0, C, L1, N1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, H1, I1, J1, K1)) :|: O1 >= A1 + 1 && B1 >= 0 && L1 >= 2 && N1 >= O1 + 1 && 0 >= N1 + 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f7(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) -> Com_1(f8(A, 0, C, L1, N1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, H1, I1, J1, K1)) :|: O1 >= A1 + 1 && B1 >= 0 && L1 >= 2 && N1 >= O1 + 1 && N1 >= 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f7(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) -> Com_1(f8(A, 0, C, L1, N1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, H1, I1, J1, K1)) :|: O1 >= A1 + 1 && B1 >= 0 && L1 >= 2 && O1 >= N1 + 1 && 0 >= N1 + 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f7(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) -> Com_1(f8(A, 0, C, L1, N1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, H1, I1, J1, K1)) :|: O1 >= A1 + 1 && B1 >= 0 && L1 >= 2 && O1 >= N1 + 1 && N1 >= 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f7(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) -> Com_1(f8(A, 0, C, L1, N1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, H1, I1, J1, K1)) :|: A1 >= O1 + 1 && B1 >= 0 && L1 >= 2 && N1 >= O1 + 1 && 0 >= N1 + 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f7(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) -> Com_1(f8(A, 0, C, L1, N1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, H1, I1, J1, K1)) :|: A1 >= O1 + 1 && B1 >= 0 && L1 >= 2 && N1 >= O1 + 1 && N1 >= 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f7(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) -> Com_1(f8(A, 0, C, L1, N1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, H1, I1, J1, K1)) :|: A1 >= O1 + 1 && B1 >= 0 && L1 >= 2 && O1 >= N1 + 1 && 0 >= N1 + 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f7(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) -> Com_1(f8(A, 0, C, L1, N1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, H1, I1, J1, K1)) :|: A1 >= O1 + 1 && B1 >= 0 && L1 >= 2 && O1 >= N1 + 1 && N1 >= 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f7(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) -> Com_1(f10(A, B, C, L1, S1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, T1, Z, R1, B1, M1, N1, O1, P1, Q1, H1, I1, J1, K1)) :|: B1 >= 0 && 0 >= S1 + 1 && L1 >= 2 && C1 >= A1 && C1 <= A1
39.83/14.65	f7(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) -> Com_1(f10(A, B, C, L1, S1, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, T1, Z, R1, B1, M1, N1, O1, P1, Q1, H1, I1, J1, K1)) :|: B1 >= 0 && S1 >= 1 && L1 >= 2 && C1 >= A1 && C1 <= A1
39.83/14.65	f8(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) -> Com_1(f8(A, 0, C, L1, N1, O1, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, -(1) + H1, -(1) + H1, J1, K1)) :|: P1 >= A1 + 1 && H1 >= 0 && L1 >= 2 && N1 >= P1 + 1 && 0 >= N1 + 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f8(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) -> Com_1(f8(A, 0, C, L1, N1, O1, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, -(1) + H1, -(1) + H1, J1, K1)) :|: P1 >= A1 + 1 && H1 >= 0 && L1 >= 2 && N1 >= P1 + 1 && N1 >= 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f8(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) -> Com_1(f8(A, 0, C, L1, N1, O1, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, -(1) + H1, -(1) + H1, J1, K1)) :|: P1 >= A1 + 1 && H1 >= 0 && L1 >= 2 && P1 >= N1 + 1 && 0 >= N1 + 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f8(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) -> Com_1(f8(A, 0, C, L1, N1, O1, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, -(1) + H1, -(1) + H1, J1, K1)) :|: P1 >= A1 + 1 && H1 >= 0 && L1 >= 2 && P1 >= N1 + 1 && N1 >= 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f8(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) -> Com_1(f8(A, 0, C, L1, N1, O1, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, -(1) + H1, -(1) + H1, J1, K1)) :|: A1 >= P1 + 1 && H1 >= 0 && L1 >= 2 && N1 >= P1 + 1 && 0 >= N1 + 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f8(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) -> Com_1(f8(A, 0, C, L1, N1, O1, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, -(1) + H1, -(1) + H1, J1, K1)) :|: A1 >= P1 + 1 && H1 >= 0 && L1 >= 2 && N1 >= P1 + 1 && N1 >= 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f8(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) -> Com_1(f8(A, 0, C, L1, N1, O1, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, -(1) + H1, -(1) + H1, J1, K1)) :|: A1 >= P1 + 1 && H1 >= 0 && L1 >= 2 && P1 >= N1 + 1 && 0 >= N1 + 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f8(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) -> Com_1(f8(A, 0, C, L1, N1, O1, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, 0, N1, 0, N1, A1, -(1) + H1, -(1) + H1, J1, K1)) :|: A1 >= P1 + 1 && H1 >= 0 && L1 >= 2 && P1 >= N1 + 1 && N1 >= 1 && C1 >= 0 && C1 <= 0
39.83/14.65	f8(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) -> Com_1(f10(A, B, C, L1, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, S1, Z, R1, B1, M1, N1, O1, P1, T1, H1, I1, J1, K1)) :|: L1 >= 2 && H1 >= 0 && C1 >= A1 && C1 <= A1
39.83/14.65	f13(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) -> Com_1(f8(A, 0, H1 + 1, L1, E, F, G, H, I, 0, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, E, H1, 0, E, 0, E, E, H1, I1, J1, K1)) :|: N1 >= 2 && E >= 1 && L1 >= 2 && 0 >= E + 1 && B >= 0 && B <= 0 && J >= 0 && J <= 0 && C >= 1 && C <= 1
39.83/14.65	f13(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) -> Com_1(f8(A, 0, H1 + 1, L1, E, F, G, H, I, 0, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, E, H1, 0, E, 0, E, E, H1, I1, J1, K1)) :|: N1 >= 2 && E >= 1 && L1 >= 2 && B >= 0 && B <= 0 && J >= 0 && J <= 0 && C >= 1 && C <= 1
39.83/14.65	f13(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) -> Com_1(f8(A, 0, H1 + 1, L1, E, F, G, H, I, 0, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, E, H1, 0, E, 0, E, E, H1, I1, J1, K1)) :|: N1 >= 2 && 0 >= E + 1 && L1 >= 2 && B >= 0 && B <= 0 && J >= 0 && J <= 0 && C >= 1 && C <= 1
39.83/14.65	f16(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) -> Com_1(f8(A, 0, H1 + 1, L1, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, E, H1, 0, E, 0, E, E, H1, I1, J1, K1)) :|: N1 >= 2 && E >= 1 && L1 >= 2 && C >= 0 && H >= 0 && 0 >= E + 1 && B >= 0 && B <= 0
39.83/14.66	f16(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) -> Com_1(f8(A, 0, H1 + 1, L1, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, E, H1, 0, E, 0, E, E, H1, I1, J1, K1)) :|: N1 >= 2 && E >= 1 && L1 >= 2 && C >= 0 && H >= 0 && B >= 0 && B <= 0
39.83/14.66	f16(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) -> Com_1(f8(A, 0, H1 + 1, L1, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, E, H1, 0, E, 0, E, E, H1, I1, J1, K1)) :|: N1 >= 2 && 0 >= E + 1 && L1 >= 2 && C >= 0 && H >= 0 && B >= 0 && B <= 0
39.83/14.66	f9(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) -> Com_1(f1(2, B, C, L1, E, F, G, H, I, J, K, L, M, N, O, P, L1, O1, P1, O1, U, V, O1, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, N1, M1)) :|: L1 >= 2
39.83/14.66	f9(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) -> Com_1(f10(S1, 0, C, L1, 0, F, G, H, I, J, K, L, M, N, O, P, Q1, X1, A2, Z1, U, V, Y1, B2, C2, Z, R1, B1, M1, N1, O1, P1, D2, H1, I1, T1, K1)) :|: 0 >= U1 && 0 >= V1 && 0 >= L1 && 0 >= W1
39.83/14.66	
39.83/14.66	The start-symbols are:[f9_37]
39.83/14.66	
39.83/14.66	
39.83/14.66	----------------------------------------
39.83/14.66	
39.83/14.66	(1) Loat Proof (FINISHED)
39.83/14.66	
39.83/14.66	
39.83/14.66	### Pre-processing the ITS problem ###
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Initial linear ITS problem
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	      0: f12 -> f16 : C'=1, D'=free, E'=free_2, F'=free_1, G'=1+H, Q'=free_3, J'=H, [ A>=0 && free>=2 && 0>=1+B && free_4>=free && 0>=1+free_2 && C==1 ], cost: 1
39.83/14.66	
39.83/14.66	      1: f12 -> f16 : C'=1, D'=free_5, E'=free_7, F'=free_6, G'=1+H, Q'=free_8, J'=H, [ A>=0 && free_5>=2 && 0>=1+B && free_9>=free_5 && free_7>=1 && C==1 ], cost: 1
39.83/14.66	
39.83/14.66	      2: f12 -> f16 : C'=1, D'=free_10, E'=free_12, F'=free_11, G'=1+H, Q'=free_13, J'=H, [ A>=0 && free_10>=2 && B>=1 && free_14>=free_10 && 0>=1+free_12 && C==1 ], cost: 1
39.83/14.66	
39.83/14.66	      3: f12 -> f16 : C'=1, D'=free_15, E'=free_17, F'=free_16, G'=1+H, Q'=free_18, J'=H, [ A>=0 && free_15>=2 && B>=1 && free_19>=free_15 && free_17>=1 && C==1 ], cost: 1
39.83/14.66	
39.83/14.66	      4: f13 -> f16 : D'=free_20, E'=free_22, K'=free_21, L'=free_23, [ J>=0 && free_20>=2 && 0>=1+B && 0>=1+free_22 && 0>=1+free_23 ], cost: 1
39.83/14.66	
39.83/14.66	      5: f13 -> f16 : D'=free_24, E'=free_26, K'=free_25, L'=free_27, [ J>=0 && free_24>=2 && 0>=1+B && 0>=1+free_26 && free_27>=1 ], cost: 1
39.83/14.66	
39.83/14.66	      6: f13 -> f16 : D'=free_28, E'=free_30, K'=free_29, L'=free_31, [ J>=0 && free_28>=2 && 0>=1+B && free_30>=1 && 0>=1+free_31 ], cost: 1
39.83/14.66	
39.83/14.66	      7: f13 -> f16 : D'=free_32, E'=free_34, K'=free_33, L'=free_35, [ J>=0 && free_32>=2 && 0>=1+B && free_34>=1 && free_35>=1 ], cost: 1
39.83/14.66	
39.83/14.66	      8: f13 -> f16 : D'=free_36, E'=free_38, K'=free_37, L'=free_39, [ J>=0 && free_36>=2 && B>=1 && 0>=1+free_38 && 0>=1+free_39 ], cost: 1
39.83/14.66	
39.83/14.66	      9: f13 -> f16 : D'=free_40, E'=free_42, K'=free_41, L'=free_43, [ J>=0 && free_40>=2 && B>=1 && 0>=1+free_42 && free_43>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     10: f13 -> f16 : D'=free_44, E'=free_46, K'=free_45, L'=free_47, [ J>=0 && free_44>=2 && B>=1 && free_46>=1 && 0>=1+free_47 ], cost: 1
39.83/14.66	
39.83/14.66	     11: f13 -> f16 : D'=free_48, E'=free_50, K'=free_49, L'=free_51, [ J>=0 && free_48>=2 && B>=1 && free_50>=1 && free_51>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     42: f13 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_194, D1'=E, E1'=0, F1'=E, G1'=E, J'=0, [ free_195>=2 && E>=1 && free_194>=2 && 0>=1+E && B==0 && J==0 && C==1 ], cost: 1
39.83/14.66	
39.83/14.66	     43: f13 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_196, D1'=E, E1'=0, F1'=E, G1'=E, J'=0, [ free_197>=2 && E>=1 && free_196>=2 && B==0 && J==0 && C==1 ], cost: 1
39.83/14.66	
39.83/14.66	     44: f13 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_198, D1'=E, E1'=0, F1'=E, G1'=E, J'=0, [ free_199>=2 && 0>=1+E && free_198>=2 && B==0 && J==0 && C==1 ], cost: 1
39.83/14.66	
39.83/14.66	     12: f16 -> f16 : C'=1+C, D'=free_52, E'=free_54, F'=free_53, H'=-1+H, M'=B, N'=free_55, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_52>=2 && 0>=1+free_56 && 0>=1+free_54 && 0>=1+free_55 ], cost: 1
39.83/14.66	
39.83/14.66	     13: f16 -> f16 : C'=1+C, D'=free_57, E'=free_59, F'=free_58, H'=-1+H, M'=B, N'=free_60, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_57>=2 && 0>=1+free_61 && 0>=1+free_59 && free_60>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     14: f16 -> f16 : C'=1+C, D'=free_62, E'=free_64, F'=free_63, H'=-1+H, M'=B, N'=free_65, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_62>=2 && 0>=1+free_66 && free_64>=1 && 0>=1+free_65 ], cost: 1
39.83/14.66	
39.83/14.66	     15: f16 -> f16 : C'=1+C, D'=free_67, E'=free_69, F'=free_68, H'=-1+H, M'=B, N'=free_70, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_67>=2 && 0>=1+free_71 && free_69>=1 && free_70>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     16: f16 -> f16 : C'=1+C, D'=free_72, E'=free_74, F'=free_73, H'=-1+H, M'=B, N'=free_75, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_72>=2 && free_76>=1 && 0>=1+free_74 && 0>=1+free_75 ], cost: 1
39.83/14.66	
39.83/14.66	     17: f16 -> f16 : C'=1+C, D'=free_77, E'=free_79, F'=free_78, H'=-1+H, M'=B, N'=free_80, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_77>=2 && free_81>=1 && 0>=1+free_79 && free_80>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     18: f16 -> f16 : C'=1+C, D'=free_82, E'=free_84, F'=free_83, H'=-1+H, M'=B, N'=free_85, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_82>=2 && free_86>=1 && free_84>=1 && 0>=1+free_85 ], cost: 1
39.83/14.66	
39.83/14.66	     19: f16 -> f16 : C'=1+C, D'=free_87, E'=free_89, F'=free_88, H'=-1+H, M'=B, N'=free_90, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_87>=2 && free_91>=1 && free_89>=1 && free_90>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     45: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_200, D1'=E, E1'=0, F1'=E, G1'=E, [ free_201>=2 && E>=1 && free_200>=2 && C>=0 && H>=0 && 0>=1+E && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     46: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_202, D1'=E, E1'=0, F1'=E, G1'=E, [ free_203>=2 && E>=1 && free_202>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     47: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_204, D1'=E, E1'=0, F1'=E, G1'=E, [ free_205>=2 && 0>=1+E && free_204>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     20: f1 -> f1 : A'=1+A, R'=S, S'=free_92, T'=S, U'=free_93, V'=A, [ Q_1>=1+A && A>=0 ], cost: 1
39.83/14.66	
39.83/14.66	     21: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_94, E'=R, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && free_94>=2 && 0>=1+R && free_97>=free_94 && H>=free_94 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     22: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_103, E'=R, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && free_103>=2 && R>=1 && free_106>=free_103 && H>=free_103 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     23: f7 -> f8 : B'=0, C1'=0, D'=free_112, D1'=free_114, E'=free_114, E1'=0, F1'=free_114, G1'=A1, [ free_113>=1+A1 && B1>=0 && free_112>=2 && free_114>=1+free_113 && 0>=1+free_114 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     24: f7 -> f8 : B'=0, C1'=0, D'=free_115, D1'=free_117, E'=free_117, E1'=0, F1'=free_117, G1'=A1, [ free_116>=1+A1 && B1>=0 && free_115>=2 && free_117>=1+free_116 && free_117>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     25: f7 -> f8 : B'=0, C1'=0, D'=free_118, D1'=free_120, E'=free_120, E1'=0, F1'=free_120, G1'=A1, [ free_119>=1+A1 && B1>=0 && free_118>=2 && free_119>=1+free_120 && 0>=1+free_120 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     26: f7 -> f8 : B'=0, C1'=0, D'=free_121, D1'=free_123, E'=free_123, E1'=0, F1'=free_123, G1'=A1, [ free_122>=1+A1 && B1>=0 && free_121>=2 && free_122>=1+free_123 && free_123>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     27: f7 -> f8 : B'=0, C1'=0, D'=free_124, D1'=free_126, E'=free_126, E1'=0, F1'=free_126, G1'=A1, [ A1>=1+free_125 && B1>=0 && free_124>=2 && free_126>=1+free_125 && 0>=1+free_126 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     28: f7 -> f8 : B'=0, C1'=0, D'=free_127, D1'=free_129, E'=free_129, E1'=0, F1'=free_129, G1'=A1, [ A1>=1+free_128 && B1>=0 && free_127>=2 && free_129>=1+free_128 && free_129>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     29: f7 -> f8 : B'=0, C1'=0, D'=free_130, D1'=free_132, E'=free_132, E1'=0, F1'=free_132, G1'=A1, [ A1>=1+free_131 && B1>=0 && free_130>=2 && free_131>=1+free_132 && 0>=1+free_132 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     30: f7 -> f8 : B'=0, C1'=0, D'=free_133, D1'=free_135, E'=free_135, E1'=0, F1'=free_135, G1'=A1, [ A1>=1+free_134 && B1>=0 && free_133>=2 && free_134>=1+free_135 && free_135>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     31: f7 -> f10 : A1'=B, A2'=C, B'=free_136, B1'=free_140, B2'=F, C'=G, C1'=H, C2'=Q, D'=J, D1'=K, D2'=L, E'=M, E1'=N, F'=O, F1'=P, G'=Q_1, G1'=R, H'=S, H1'=T, Q'=U, Q1'=V, J'=W, J1'=X, K'=free_137, K1'=Z, L'=free_142, L1'=B1, M'=free_143, M1'=free_144, N'=free_141, N1'=free_138, O'=free_139, O1'=H1, P'=Q1, P1'=J1, Q_1'=K1, [ B1>=0 && 0>=1+free_140 && free_136>=2 && C1==A1 ], cost: 1
39.83/14.66	
39.83/14.66	     32: f7 -> f10 : A1'=B, A2'=C, B'=free_145, B1'=free_149, B2'=F, C'=G, C1'=H, C2'=Q, D'=J, D1'=K, D2'=L, E'=M, E1'=N, F'=O, F1'=P, G'=Q_1, G1'=R, H'=S, H1'=T, Q'=U, Q1'=V, J'=W, J1'=X, K'=free_146, K1'=Z, L'=free_151, L1'=B1, M'=free_152, M1'=free_153, N'=free_150, N1'=free_147, O'=free_148, O1'=H1, P'=Q1, P1'=J1, Q_1'=K1, [ B1>=0 && free_149>=1 && free_145>=2 && C1==A1 ], cost: 1
39.83/14.66	
39.83/14.66	     33: f8 -> f8 : B'=0, C1'=0, D'=free_154, D1'=free_156, E'=free_156, E1'=0, F'=free_155, F1'=free_156, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_157>=1+A1 && H1>=0 && free_154>=2 && free_156>=1+free_157 && 0>=1+free_156 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     34: f8 -> f8 : B'=0, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_161>=1+A1 && H1>=0 && free_158>=2 && free_160>=1+free_161 && free_160>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     35: f8 -> f8 : B'=0, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_165>=1+A1 && H1>=0 && free_162>=2 && free_165>=1+free_164 && 0>=1+free_164 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     36: f8 -> f8 : B'=0, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_169>=1+A1 && H1>=0 && free_166>=2 && free_169>=1+free_168 && free_168>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     37: f8 -> f8 : B'=0, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_173 && H1>=0 && free_170>=2 && free_172>=1+free_173 && 0>=1+free_172 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     38: f8 -> f8 : B'=0, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_177 && H1>=0 && free_174>=2 && free_176>=1+free_177 && free_176>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     39: f8 -> f8 : B'=0, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_181 && H1>=0 && free_178>=2 && free_181>=1+free_180 && 0>=1+free_180 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     40: f8 -> f8 : B'=0, C1'=0, D'=free_182, D1'=free_184, E'=free_184, E1'=0, F'=free_183, F1'=free_184, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_185 && H1>=0 && free_182>=2 && free_185>=1+free_184 && free_184>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     41: f8 -> f10 : A1'=B, A2'=C, B'=free_186, B1'=E, B2'=F, C'=G, C1'=H, C2'=Q, D'=J, D1'=K, D2'=L, E'=M, E1'=N, F'=O, F1'=P, G'=Q_1, G1'=R, H'=S, H1'=T, Q'=U, Q1'=V, J'=W, J1'=X, K'=free_189, K1'=Z, L'=free_187, L1'=B1, M'=free_191, M1'=free_192, N'=free_193, N1'=free_190, O'=free_188, O1'=H1, P'=Q1, P1'=J1, Q_1'=K1, [ free_186>=2 && H1>=0 && C1==A1 ], cost: 1
39.83/14.66	
39.83/14.66	     48: f9 -> f1 : A'=2, D'=free_206, J1'=free_209, K1'=free_210, Q_1'=free_206, R'=free_208, S'=free_207, T'=free_208, W'=free_208, [ free_206>=2 ], cost: 1
39.83/14.66	
39.83/14.66	     49: f9 -> f10 : A'=free_211, A1'=0, A2'=C, B'=free_222, B1'=0, B2'=F, C'=G, C1'=H, C2'=Q, D'=J, D1'=K, D2'=L, E'=M, E1'=N, F'=O, F1'=P, G'=free_214, G1'=free_225, H'=free_227, H1'=free_229, Q'=U, Q1'=V, J'=free_223, J1'=free_216, K'=free_220, K1'=Z, L'=free_224, L1'=B1, M'=free_218, M1'=free_228, N'=free_219, N1'=free_217, O'=free_215, O1'=H1, P'=Q1, P1'=free_213, Q_1'=K1, [ 0>=free_226 && 0>=free_221 && 0>=free_222 && 0>=free_212 ], cost: 1
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Removed unreachable and leaf rules:
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	     12: f16 -> f16 : C'=1+C, D'=free_52, E'=free_54, F'=free_53, H'=-1+H, M'=B, N'=free_55, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_52>=2 && 0>=1+free_56 && 0>=1+free_54 && 0>=1+free_55 ], cost: 1
39.83/14.66	
39.83/14.66	     13: f16 -> f16 : C'=1+C, D'=free_57, E'=free_59, F'=free_58, H'=-1+H, M'=B, N'=free_60, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_57>=2 && 0>=1+free_61 && 0>=1+free_59 && free_60>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     14: f16 -> f16 : C'=1+C, D'=free_62, E'=free_64, F'=free_63, H'=-1+H, M'=B, N'=free_65, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_62>=2 && 0>=1+free_66 && free_64>=1 && 0>=1+free_65 ], cost: 1
39.83/14.66	
39.83/14.66	     15: f16 -> f16 : C'=1+C, D'=free_67, E'=free_69, F'=free_68, H'=-1+H, M'=B, N'=free_70, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_67>=2 && 0>=1+free_71 && free_69>=1 && free_70>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     16: f16 -> f16 : C'=1+C, D'=free_72, E'=free_74, F'=free_73, H'=-1+H, M'=B, N'=free_75, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_72>=2 && free_76>=1 && 0>=1+free_74 && 0>=1+free_75 ], cost: 1
39.83/14.66	
39.83/14.66	     17: f16 -> f16 : C'=1+C, D'=free_77, E'=free_79, F'=free_78, H'=-1+H, M'=B, N'=free_80, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_77>=2 && free_81>=1 && 0>=1+free_79 && free_80>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     18: f16 -> f16 : C'=1+C, D'=free_82, E'=free_84, F'=free_83, H'=-1+H, M'=B, N'=free_85, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_82>=2 && free_86>=1 && free_84>=1 && 0>=1+free_85 ], cost: 1
39.83/14.66	
39.83/14.66	     19: f16 -> f16 : C'=1+C, D'=free_87, E'=free_89, F'=free_88, H'=-1+H, M'=B, N'=free_90, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_87>=2 && free_91>=1 && free_89>=1 && free_90>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     45: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_200, D1'=E, E1'=0, F1'=E, G1'=E, [ free_201>=2 && E>=1 && free_200>=2 && C>=0 && H>=0 && 0>=1+E && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     46: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_202, D1'=E, E1'=0, F1'=E, G1'=E, [ free_203>=2 && E>=1 && free_202>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     47: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_204, D1'=E, E1'=0, F1'=E, G1'=E, [ free_205>=2 && 0>=1+E && free_204>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     20: f1 -> f1 : A'=1+A, R'=S, S'=free_92, T'=S, U'=free_93, V'=A, [ Q_1>=1+A && A>=0 ], cost: 1
39.83/14.66	
39.83/14.66	     21: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_94, E'=R, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && free_94>=2 && 0>=1+R && free_97>=free_94 && H>=free_94 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     22: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_103, E'=R, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && free_103>=2 && R>=1 && free_106>=free_103 && H>=free_103 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     33: f8 -> f8 : B'=0, C1'=0, D'=free_154, D1'=free_156, E'=free_156, E1'=0, F'=free_155, F1'=free_156, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_157>=1+A1 && H1>=0 && free_154>=2 && free_156>=1+free_157 && 0>=1+free_156 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     34: f8 -> f8 : B'=0, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_161>=1+A1 && H1>=0 && free_158>=2 && free_160>=1+free_161 && free_160>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     35: f8 -> f8 : B'=0, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_165>=1+A1 && H1>=0 && free_162>=2 && free_165>=1+free_164 && 0>=1+free_164 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     36: f8 -> f8 : B'=0, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_169>=1+A1 && H1>=0 && free_166>=2 && free_169>=1+free_168 && free_168>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     37: f8 -> f8 : B'=0, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_173 && H1>=0 && free_170>=2 && free_172>=1+free_173 && 0>=1+free_172 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     38: f8 -> f8 : B'=0, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_177 && H1>=0 && free_174>=2 && free_176>=1+free_177 && free_176>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     39: f8 -> f8 : B'=0, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_181 && H1>=0 && free_178>=2 && free_181>=1+free_180 && 0>=1+free_180 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     40: f8 -> f8 : B'=0, C1'=0, D'=free_182, D1'=free_184, E'=free_184, E1'=0, F'=free_183, F1'=free_184, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_185 && H1>=0 && free_182>=2 && free_185>=1+free_184 && free_184>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     48: f9 -> f1 : A'=2, D'=free_206, J1'=free_209, K1'=free_210, Q_1'=free_206, R'=free_208, S'=free_207, T'=free_208, W'=free_208, [ free_206>=2 ], cost: 1
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Removed rules with unsatisfiable guard:
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	     12: f16 -> f16 : C'=1+C, D'=free_52, E'=free_54, F'=free_53, H'=-1+H, M'=B, N'=free_55, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_52>=2 && 0>=1+free_56 && 0>=1+free_54 && 0>=1+free_55 ], cost: 1
39.83/14.66	
39.83/14.66	     13: f16 -> f16 : C'=1+C, D'=free_57, E'=free_59, F'=free_58, H'=-1+H, M'=B, N'=free_60, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_57>=2 && 0>=1+free_61 && 0>=1+free_59 && free_60>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     14: f16 -> f16 : C'=1+C, D'=free_62, E'=free_64, F'=free_63, H'=-1+H, M'=B, N'=free_65, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_62>=2 && 0>=1+free_66 && free_64>=1 && 0>=1+free_65 ], cost: 1
39.83/14.66	
39.83/14.66	     15: f16 -> f16 : C'=1+C, D'=free_67, E'=free_69, F'=free_68, H'=-1+H, M'=B, N'=free_70, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_67>=2 && 0>=1+free_71 && free_69>=1 && free_70>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     16: f16 -> f16 : C'=1+C, D'=free_72, E'=free_74, F'=free_73, H'=-1+H, M'=B, N'=free_75, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_72>=2 && free_76>=1 && 0>=1+free_74 && 0>=1+free_75 ], cost: 1
39.83/14.66	
39.83/14.66	     17: f16 -> f16 : C'=1+C, D'=free_77, E'=free_79, F'=free_78, H'=-1+H, M'=B, N'=free_80, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_77>=2 && free_81>=1 && 0>=1+free_79 && free_80>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     18: f16 -> f16 : C'=1+C, D'=free_82, E'=free_84, F'=free_83, H'=-1+H, M'=B, N'=free_85, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_82>=2 && free_86>=1 && free_84>=1 && 0>=1+free_85 ], cost: 1
39.83/14.66	
39.83/14.66	     19: f16 -> f16 : C'=1+C, D'=free_87, E'=free_89, F'=free_88, H'=-1+H, M'=B, N'=free_90, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_87>=2 && free_91>=1 && free_89>=1 && free_90>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     46: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_202, D1'=E, E1'=0, F1'=E, G1'=E, [ free_203>=2 && E>=1 && free_202>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     47: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_204, D1'=E, E1'=0, F1'=E, G1'=E, [ free_205>=2 && 0>=1+E && free_204>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     20: f1 -> f1 : A'=1+A, R'=S, S'=free_92, T'=S, U'=free_93, V'=A, [ Q_1>=1+A && A>=0 ], cost: 1
39.83/14.66	
39.83/14.66	     21: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_94, E'=R, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && free_94>=2 && 0>=1+R && free_97>=free_94 && H>=free_94 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     22: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_103, E'=R, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && free_103>=2 && R>=1 && free_106>=free_103 && H>=free_103 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     33: f8 -> f8 : B'=0, C1'=0, D'=free_154, D1'=free_156, E'=free_156, E1'=0, F'=free_155, F1'=free_156, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_157>=1+A1 && H1>=0 && free_154>=2 && free_156>=1+free_157 && 0>=1+free_156 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     34: f8 -> f8 : B'=0, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_161>=1+A1 && H1>=0 && free_158>=2 && free_160>=1+free_161 && free_160>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     35: f8 -> f8 : B'=0, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_165>=1+A1 && H1>=0 && free_162>=2 && free_165>=1+free_164 && 0>=1+free_164 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     36: f8 -> f8 : B'=0, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ free_169>=1+A1 && H1>=0 && free_166>=2 && free_169>=1+free_168 && free_168>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     37: f8 -> f8 : B'=0, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_173 && H1>=0 && free_170>=2 && free_172>=1+free_173 && 0>=1+free_172 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     38: f8 -> f8 : B'=0, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_177 && H1>=0 && free_174>=2 && free_176>=1+free_177 && free_176>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     39: f8 -> f8 : B'=0, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_181 && H1>=0 && free_178>=2 && free_181>=1+free_180 && 0>=1+free_180 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     40: f8 -> f8 : B'=0, C1'=0, D'=free_182, D1'=free_184, E'=free_184, E1'=0, F'=free_183, F1'=free_184, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ A1>=1+free_185 && H1>=0 && free_182>=2 && free_185>=1+free_184 && free_184>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     48: f9 -> f1 : A'=2, D'=free_206, J1'=free_209, K1'=free_210, Q_1'=free_206, R'=free_208, S'=free_207, T'=free_208, W'=free_208, [ free_206>=2 ], cost: 1
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Simplified all rules, resulting in:
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	     12: f16 -> f16 : C'=1+C, D'=free_52, E'=free_54, F'=free_53, H'=-1+H, M'=B, N'=free_55, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 ], cost: 1
39.83/14.66	
39.83/14.66	     13: f16 -> f16 : C'=1+C, D'=free_57, E'=free_59, F'=free_58, H'=-1+H, M'=B, N'=free_60, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_57>=2 && 0>=1+free_59 && free_60>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     14: f16 -> f16 : C'=1+C, D'=free_62, E'=free_64, F'=free_63, H'=-1+H, M'=B, N'=free_65, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_62>=2 && free_64>=1 && 0>=1+free_65 ], cost: 1
39.83/14.66	
39.83/14.66	     15: f16 -> f16 : C'=1+C, D'=free_67, E'=free_69, F'=free_68, H'=-1+H, M'=B, N'=free_70, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_67>=2 && free_69>=1 && free_70>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     16: f16 -> f16 : C'=1+C, D'=free_72, E'=free_74, F'=free_73, H'=-1+H, M'=B, N'=free_75, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 ], cost: 1
39.83/14.66	
39.83/14.66	     17: f16 -> f16 : C'=1+C, D'=free_77, E'=free_79, F'=free_78, H'=-1+H, M'=B, N'=free_80, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_77>=2 && 0>=1+free_79 && free_80>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     18: f16 -> f16 : C'=1+C, D'=free_82, E'=free_84, F'=free_83, H'=-1+H, M'=B, N'=free_85, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_82>=2 && free_84>=1 && 0>=1+free_85 ], cost: 1
39.83/14.66	
39.83/14.66	     19: f16 -> f16 : C'=1+C, D'=free_87, E'=free_89, F'=free_88, H'=-1+H, M'=B, N'=free_90, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_87>=2 && free_89>=1 && free_90>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     46: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_202, D1'=E, E1'=0, F1'=E, G1'=E, [ E>=1 && free_202>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     47: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_204, D1'=E, E1'=0, F1'=E, G1'=E, [ 0>=1+E && free_204>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     20: f1 -> f1 : A'=1+A, R'=S, S'=free_92, T'=S, U'=free_93, V'=A, [ Q_1>=1+A && A>=0 ], cost: 1
39.83/14.66	
39.83/14.66	     21: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_94, E'=R, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && free_94>=2 && 0>=1+R && free_97>=free_94 && H>=free_94 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     22: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_103, E'=R, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && free_103>=2 && R>=1 && free_106>=free_103 && H>=free_103 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     33: f8 -> f8 : B'=0, C1'=0, D'=free_154, D1'=free_156, E'=free_156, E1'=0, F'=free_155, F1'=free_156, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_154>=2 && 0>=1+free_156 && C1==0 && 1+A1<=-1+free_156 ], cost: 1
39.83/14.66	
39.83/14.66	     34: f8 -> f8 : B'=0, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_158>=2 && free_160>=1 && C1==0 && 1+A1<=-1+free_160 ], cost: 1
39.83/14.66	
39.83/14.66	     35: f8 -> f8 : B'=0, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_162>=2 && 0>=1+free_164 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     36: f8 -> f8 : B'=0, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_166>=2 && free_168>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     37: f8 -> f8 : B'=0, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_170>=2 && 0>=1+free_172 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     38: f8 -> f8 : B'=0, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_174>=2 && free_176>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     39: f8 -> f8 : B'=0, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_178>=2 && 0>=1+free_180 && C1==0 && 1+free_180<=-1+A1 ], cost: 1
39.83/14.66	
39.83/14.66	     40: f8 -> f8 : B'=0, C1'=0, D'=free_182, D1'=free_184, E'=free_184, E1'=0, F'=free_183, F1'=free_184, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_182>=2 && free_184>=1 && C1==0 && 1+free_184<=-1+A1 ], cost: 1
39.83/14.66	
39.83/14.66	     48: f9 -> f1 : A'=2, D'=free_206, J1'=free_209, K1'=free_210, Q_1'=free_206, R'=free_208, S'=free_207, T'=free_208, W'=free_208, [ free_206>=2 ], cost: 1
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	### Simplification by acceleration and chaining ###
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Accelerating simple loops of location 2.
39.83/14.66	
39.83/14.66	   Accelerating the following rules:
39.83/14.66	
39.83/14.66	     12: f16 -> f16 : C'=1+C, D'=free_52, E'=free_54, F'=free_53, H'=-1+H, M'=B, N'=free_55, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 ], cost: 1
39.83/14.66	
39.83/14.66	     13: f16 -> f16 : C'=1+C, D'=free_57, E'=free_59, F'=free_58, H'=-1+H, M'=B, N'=free_60, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_57>=2 && 0>=1+free_59 && free_60>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     14: f16 -> f16 : C'=1+C, D'=free_62, E'=free_64, F'=free_63, H'=-1+H, M'=B, N'=free_65, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_62>=2 && free_64>=1 && 0>=1+free_65 ], cost: 1
39.83/14.66	
39.83/14.66	     15: f16 -> f16 : C'=1+C, D'=free_67, E'=free_69, F'=free_68, H'=-1+H, M'=B, N'=free_70, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_67>=2 && free_69>=1 && free_70>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     16: f16 -> f16 : C'=1+C, D'=free_72, E'=free_74, F'=free_73, H'=-1+H, M'=B, N'=free_75, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 ], cost: 1
39.83/14.66	
39.83/14.66	     17: f16 -> f16 : C'=1+C, D'=free_77, E'=free_79, F'=free_78, H'=-1+H, M'=B, N'=free_80, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_77>=2 && 0>=1+free_79 && free_80>=1 ], cost: 1
39.83/14.66	
39.83/14.66	     18: f16 -> f16 : C'=1+C, D'=free_82, E'=free_84, F'=free_83, H'=-1+H, M'=B, N'=free_85, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_82>=2 && free_84>=1 && 0>=1+free_85 ], cost: 1
39.83/14.66	
39.83/14.66	     19: f16 -> f16 : C'=1+C, D'=free_87, E'=free_89, F'=free_88, H'=-1+H, M'=B, N'=free_90, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_87>=2 && free_89>=1 && free_90>=1 ], cost: 1
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	   Accelerated rule 12 with metering function 1+H, yielding the new rule 50.
39.83/14.66	
39.83/14.66	   Accelerated rule 13 with metering function 1+H, yielding the new rule 51.
39.83/14.66	
39.83/14.66	   Accelerated rule 14 with metering function 1+H, yielding the new rule 52.
39.83/14.66	
39.83/14.66	   Accelerated rule 15 with metering function 1+H, yielding the new rule 53.
39.83/14.66	
39.83/14.66	   Accelerated rule 16 with metering function 1+H, yielding the new rule 54.
39.83/14.66	
39.83/14.66	   Accelerated rule 17 with metering function 1+H, yielding the new rule 55.
39.83/14.66	
39.83/14.66	   Accelerated rule 18 with metering function 1+H, yielding the new rule 56.
39.83/14.66	
39.83/14.66	   Accelerated rule 19 with metering function 1+H, yielding the new rule 57.
39.83/14.66	
39.83/14.66	   Removing the simple loops: 12 13 14 15 16 17 18 19.
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Accelerating simple loops of location 3.
39.83/14.66	
39.83/14.66	   Accelerating the following rules:
39.83/14.66	
39.83/14.66	     20: f1 -> f1 : A'=1+A, R'=S, S'=free_92, T'=S, U'=free_93, V'=A, [ Q_1>=1+A && A>=0 ], cost: 1
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	   Accelerated rule 20 with metering function Q_1-A, yielding the new rule 58.
39.83/14.66	
39.83/14.66	   Removing the simple loops: 20.
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Accelerating simple loops of location 5.
39.83/14.66	
39.83/14.66	   Accelerating the following rules:
39.83/14.66	
39.83/14.66	     33: f8 -> f8 : B'=0, C1'=0, D'=free_154, D1'=free_156, E'=free_156, E1'=0, F'=free_155, F1'=free_156, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_154>=2 && 0>=1+free_156 && C1==0 && 1+A1<=-1+free_156 ], cost: 1
39.83/14.66	
39.83/14.66	     34: f8 -> f8 : B'=0, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_158>=2 && free_160>=1 && C1==0 && 1+A1<=-1+free_160 ], cost: 1
39.83/14.66	
39.83/14.66	     35: f8 -> f8 : B'=0, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_162>=2 && 0>=1+free_164 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     36: f8 -> f8 : B'=0, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_166>=2 && free_168>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     37: f8 -> f8 : B'=0, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_170>=2 && 0>=1+free_172 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     38: f8 -> f8 : B'=0, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_174>=2 && free_176>=1 && C1==0 ], cost: 1
39.83/14.66	
39.83/14.66	     39: f8 -> f8 : B'=0, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_178>=2 && 0>=1+free_180 && C1==0 && 1+free_180<=-1+A1 ], cost: 1
39.83/14.66	
39.83/14.66	     40: f8 -> f8 : B'=0, C1'=0, D'=free_182, D1'=free_184, E'=free_184, E1'=0, F'=free_183, F1'=free_184, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_182>=2 && free_184>=1 && C1==0 && 1+free_184<=-1+A1 ], cost: 1
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	   Accelerated rule 33 with metering function 1+H1, yielding the new rule 59.
39.83/14.66	
39.83/14.66	   Accelerated rule 34 with metering function 1+H1, yielding the new rule 60.
39.83/14.66	
39.83/14.66	   Accelerated rule 35 with metering function 1+H1, yielding the new rule 61.
39.83/14.66	
39.83/14.66	   Accelerated rule 36 with metering function 1+H1, yielding the new rule 62.
39.83/14.66	
39.83/14.66	   Accelerated rule 37 with metering function 1+H1, yielding the new rule 63.
39.83/14.66	
39.83/14.66	   Accelerated rule 38 with metering function 1+H1, yielding the new rule 64.
39.83/14.66	
39.83/14.66	   Accelerated rule 39 with metering function 1+H1, yielding the new rule 65.
39.83/14.66	
39.83/14.66	   Accelerated rule 40 with metering function 1+H1, yielding the new rule 66.
39.83/14.66	
39.83/14.66	   Removing the simple loops: 33 34 35 36 37 38 39 40.
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Accelerated all simple loops using metering functions (where possible):
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	     46: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_202, D1'=E, E1'=0, F1'=E, G1'=E, [ E>=1 && free_202>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     47: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_204, D1'=E, E1'=0, F1'=E, G1'=E, [ 0>=1+E && free_204>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     50: f16 -> f16 : C'=1+H+C, D'=free_52, E'=free_54, F'=free_53, H'=-1, M'=B, N'=free_55, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 ], cost: 1+H
39.83/14.66	
39.83/14.66	     51: f16 -> f16 : C'=1+H+C, D'=free_57, E'=free_59, F'=free_58, H'=-1, M'=B, N'=free_60, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_57>=2 && 0>=1+free_59 && free_60>=1 ], cost: 1+H
39.83/14.66	
39.83/14.66	     52: f16 -> f16 : C'=1+H+C, D'=free_62, E'=free_64, F'=free_63, H'=-1, M'=B, N'=free_65, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_62>=2 && free_64>=1 && 0>=1+free_65 ], cost: 1+H
39.83/14.66	
39.83/14.66	     53: f16 -> f16 : C'=1+H+C, D'=free_67, E'=free_69, F'=free_68, H'=-1, M'=B, N'=free_70, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_67>=2 && free_69>=1 && free_70>=1 ], cost: 1+H
39.83/14.66	
39.83/14.66	     54: f16 -> f16 : C'=1+H+C, D'=free_72, E'=free_74, F'=free_73, H'=-1, M'=B, N'=free_75, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 ], cost: 1+H
39.83/14.66	
39.83/14.66	     55: f16 -> f16 : C'=1+H+C, D'=free_77, E'=free_79, F'=free_78, H'=-1, M'=B, N'=free_80, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_77>=2 && 0>=1+free_79 && free_80>=1 ], cost: 1+H
39.83/14.66	
39.83/14.66	     56: f16 -> f16 : C'=1+H+C, D'=free_82, E'=free_84, F'=free_83, H'=-1, M'=B, N'=free_85, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_82>=2 && free_84>=1 && 0>=1+free_85 ], cost: 1+H
39.83/14.66	
39.83/14.66	     57: f16 -> f16 : C'=1+H+C, D'=free_87, E'=free_89, F'=free_88, H'=-1, M'=B, N'=free_90, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_87>=2 && free_89>=1 && free_90>=1 ], cost: 1+H
39.83/14.66	
39.83/14.66	     21: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_94, E'=R, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && free_94>=2 && 0>=1+R && free_97>=free_94 && H>=free_94 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     22: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_103, E'=R, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && free_103>=2 && R>=1 && free_106>=free_103 && H>=free_103 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     58: f1 -> f1 : A'=Q_1, R'=free_92, S'=free_92, T'=free_92, U'=free_93, V'=-1+Q_1, [ Q_1>=1+A && A>=0 ], cost: Q_1-A
39.83/14.66	
39.83/14.66	     59: f8 -> f8 : B'=0, C1'=0, D'=free_154, D1'=free_156, E'=free_156, E1'=0, F'=free_155, F1'=free_156, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_154>=2 && 0>=1+free_156 && C1==0 && 1+A1<=-1+free_156 ], cost: 1+H1
39.83/14.66	
39.83/14.66	     60: f8 -> f8 : B'=0, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_158>=2 && free_160>=1 && C1==0 && 1+A1<=-1+free_160 ], cost: 1+H1
39.83/14.66	
39.83/14.66	     61: f8 -> f8 : B'=0, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_162>=2 && 0>=1+free_164 && C1==0 ], cost: 1+H1
39.83/14.66	
39.83/14.66	     62: f8 -> f8 : B'=0, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_166>=2 && free_168>=1 && C1==0 ], cost: 1+H1
39.83/14.66	
39.83/14.66	     63: f8 -> f8 : B'=0, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_170>=2 && 0>=1+free_172 && C1==0 ], cost: 1+H1
39.83/14.66	
39.83/14.66	     64: f8 -> f8 : B'=0, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_174>=2 && free_176>=1 && C1==0 ], cost: 1+H1
39.83/14.66	
39.83/14.66	     65: f8 -> f8 : B'=0, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_178>=2 && 0>=1+free_180 && C1==0 && 1+free_180<=-1+A1 ], cost: 1+H1
39.83/14.66	
39.83/14.66	     66: f8 -> f8 : B'=0, C1'=0, D'=free_182, D1'=free_184, E'=free_184, E1'=0, F'=free_183, F1'=free_184, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_182>=2 && free_184>=1 && C1==0 && 1+free_184<=-1+A1 ], cost: 1+H1
39.83/14.66	
39.83/14.66	     48: f9 -> f1 : A'=2, D'=free_206, J1'=free_209, K1'=free_210, Q_1'=free_206, R'=free_208, S'=free_207, T'=free_208, W'=free_208, [ free_206>=2 ], cost: 1
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Chained accelerated rules (with incoming rules):
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	     46: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_202, D1'=E, E1'=0, F1'=E, G1'=E, [ E>=1 && free_202>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     47: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_204, D1'=E, E1'=0, F1'=E, G1'=E, [ 0>=1+E && free_204>=2 && C>=0 && H>=0 && B==0 ], cost: 1
39.83/14.66	
39.83/14.66	     84: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_154, D1'=free_156, E'=free_156, E1'=0, F'=free_155, F1'=free_156, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_154>=2 && 0>=1+free_156 && 1+E<=-1+free_156 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     85: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_158>=2 && free_160>=1 && 1+E<=-1+free_160 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     86: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_158>=2 && free_160>=1 && 1+E<=-1+free_160 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     87: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_162>=2 && 0>=1+free_164 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     88: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_162>=2 && 0>=1+free_164 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     89: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_166>=2 && free_168>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     90: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_166>=2 && free_168>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     91: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_170>=2 && 0>=1+free_172 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     92: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_170>=2 && 0>=1+free_172 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     93: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_174>=2 && free_176>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     94: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_174>=2 && free_176>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     95: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_178>=2 && 0>=1+free_180 && 1+free_180<=-1+E ], cost: 2+H1
39.83/14.66	
39.83/14.66	     96: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_178>=2 && 0>=1+free_180 && 1+free_180<=-1+E ], cost: 2+H1
39.83/14.66	
39.83/14.66	     97: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_182, D1'=free_184, E'=free_184, E1'=0, F'=free_183, F1'=free_184, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_182>=2 && free_184>=1 && 1+free_184<=-1+E ], cost: 2+H1
39.83/14.66	
39.83/14.66	     21: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_94, E'=R, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && free_94>=2 && 0>=1+R && free_97>=free_94 && H>=free_94 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     22: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_103, E'=R, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && free_103>=2 && R>=1 && free_106>=free_103 && H>=free_103 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     67: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_52, E'=free_54, F'=free_53, H'=-1, M'=R, N'=free_55, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     68: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_52, E'=free_54, F'=free_53, H'=-1, M'=R, N'=free_55, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     69: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_57, E'=free_59, F'=free_58, H'=-1, M'=R, N'=free_60, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     70: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_57, E'=free_59, F'=free_58, H'=-1, M'=R, N'=free_60, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     71: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_62, E'=free_64, F'=free_63, H'=-1, M'=R, N'=free_65, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_62>=2 && free_64>=1 && 0>=1+free_65 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     72: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_62, E'=free_64, F'=free_63, H'=-1, M'=R, N'=free_65, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_62>=2 && free_64>=1 && 0>=1+free_65 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     73: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_67, E'=free_69, F'=free_68, H'=-1, M'=R, N'=free_70, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_67>=2 && free_69>=1 && free_70>=1 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     74: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_67, E'=free_69, F'=free_68, H'=-1, M'=R, N'=free_70, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_67>=2 && free_69>=1 && free_70>=1 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     75: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_72, E'=free_74, F'=free_73, H'=-1, M'=R, N'=free_75, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     76: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_72, E'=free_74, F'=free_73, H'=-1, M'=R, N'=free_75, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     77: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_77, E'=free_79, F'=free_78, H'=-1, M'=R, N'=free_80, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_77>=2 && 0>=1+free_79 && free_80>=1 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     78: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_77, E'=free_79, F'=free_78, H'=-1, M'=R, N'=free_80, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_77>=2 && 0>=1+free_79 && free_80>=1 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     79: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_82, E'=free_84, F'=free_83, H'=-1, M'=R, N'=free_85, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     80: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_82, E'=free_84, F'=free_83, H'=-1, M'=R, N'=free_85, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     81: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_87, E'=free_89, F'=free_88, H'=-1, M'=R, N'=free_90, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     82: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_87, E'=free_89, F'=free_88, H'=-1, M'=R, N'=free_90, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     48: f9 -> f1 : A'=2, D'=free_206, J1'=free_209, K1'=free_210, Q_1'=free_206, R'=free_208, S'=free_207, T'=free_208, W'=free_208, [ free_206>=2 ], cost: 1
39.83/14.66	
39.83/14.66	     83: f9 -> f1 : A'=free_206, D'=free_206, J1'=free_209, K1'=free_210, Q_1'=free_206, R'=free_92, S'=free_92, T'=free_92, U'=free_93, V'=-1+free_206, W'=free_208, [ free_206>=3 ], cost: -1+free_206
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Removed unreachable locations (and leaf rules with constant cost):
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	     84: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_154, D1'=free_156, E'=free_156, E1'=0, F'=free_155, F1'=free_156, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_154>=2 && 0>=1+free_156 && 1+E<=-1+free_156 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     85: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_158>=2 && free_160>=1 && 1+E<=-1+free_160 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     86: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_158>=2 && free_160>=1 && 1+E<=-1+free_160 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     87: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_162>=2 && 0>=1+free_164 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     88: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_162>=2 && 0>=1+free_164 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     89: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_166>=2 && free_168>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     90: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_166>=2 && free_168>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     91: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_170>=2 && 0>=1+free_172 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     92: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_170>=2 && 0>=1+free_172 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     93: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_174>=2 && free_176>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     94: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_174>=2 && free_176>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     95: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_178>=2 && 0>=1+free_180 && 1+free_180<=-1+E ], cost: 2+H1
39.83/14.66	
39.83/14.66	     96: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_178>=2 && 0>=1+free_180 && 1+free_180<=-1+E ], cost: 2+H1
39.83/14.66	
39.83/14.66	     97: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_182, D1'=free_184, E'=free_184, E1'=0, F'=free_183, F1'=free_184, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_182>=2 && free_184>=1 && 1+free_184<=-1+E ], cost: 2+H1
39.83/14.66	
39.83/14.66	     21: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_94, E'=R, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && free_94>=2 && 0>=1+R && free_97>=free_94 && H>=free_94 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     22: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_103, E'=R, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && free_103>=2 && R>=1 && free_106>=free_103 && H>=free_103 && C==0 ], cost: 1
39.83/14.66	
39.83/14.66	     67: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_52, E'=free_54, F'=free_53, H'=-1, M'=R, N'=free_55, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     68: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_52, E'=free_54, F'=free_53, H'=-1, M'=R, N'=free_55, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     69: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_57, E'=free_59, F'=free_58, H'=-1, M'=R, N'=free_60, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     70: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_57, E'=free_59, F'=free_58, H'=-1, M'=R, N'=free_60, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     71: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_62, E'=free_64, F'=free_63, H'=-1, M'=R, N'=free_65, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_62>=2 && free_64>=1 && 0>=1+free_65 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     72: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_62, E'=free_64, F'=free_63, H'=-1, M'=R, N'=free_65, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_62>=2 && free_64>=1 && 0>=1+free_65 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     73: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_67, E'=free_69, F'=free_68, H'=-1, M'=R, N'=free_70, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_67>=2 && free_69>=1 && free_70>=1 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     74: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_67, E'=free_69, F'=free_68, H'=-1, M'=R, N'=free_70, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_67>=2 && free_69>=1 && free_70>=1 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     75: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_72, E'=free_74, F'=free_73, H'=-1, M'=R, N'=free_75, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     76: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_72, E'=free_74, F'=free_73, H'=-1, M'=R, N'=free_75, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     77: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_77, E'=free_79, F'=free_78, H'=-1, M'=R, N'=free_80, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_77>=2 && 0>=1+free_79 && free_80>=1 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     78: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_77, E'=free_79, F'=free_78, H'=-1, M'=R, N'=free_80, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_77>=2 && 0>=1+free_79 && free_80>=1 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     79: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_82, E'=free_84, F'=free_83, H'=-1, M'=R, N'=free_85, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     80: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_82, E'=free_84, F'=free_83, H'=-1, M'=R, N'=free_85, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     81: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_87, E'=free_89, F'=free_88, H'=-1, M'=R, N'=free_90, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ A>=Q_1 && A>=0 && 0>=1+R && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_97 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     82: f1 -> f16 : A'=H, B'=R, C'=1+H, D'=free_87, E'=free_89, F'=free_88, H'=-1, M'=R, N'=free_90, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ A>=Q_1 && A>=0 && R>=1 && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_106 && 2<=H ], cost: 2+H
39.83/14.66	
39.83/14.66	     48: f9 -> f1 : A'=2, D'=free_206, J1'=free_209, K1'=free_210, Q_1'=free_206, R'=free_208, S'=free_207, T'=free_208, W'=free_208, [ free_206>=2 ], cost: 1
39.83/14.66	
39.83/14.66	     83: f9 -> f1 : A'=free_206, D'=free_206, J1'=free_209, K1'=free_210, Q_1'=free_206, R'=free_92, S'=free_92, T'=free_92, U'=free_93, V'=-1+free_206, W'=free_208, [ free_206>=3 ], cost: -1+free_206
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Eliminated locations (on tree-shaped paths):
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	     84: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_154, D1'=free_156, E'=free_156, E1'=0, F'=free_155, F1'=free_156, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_154>=2 && 0>=1+free_156 && 1+E<=-1+free_156 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     85: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_158>=2 && free_160>=1 && 1+E<=-1+free_160 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     86: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_158, D1'=free_160, E'=free_160, E1'=0, F'=free_159, F1'=free_160, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_158>=2 && free_160>=1 && 1+E<=-1+free_160 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     87: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_162>=2 && 0>=1+free_164 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     88: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_162>=2 && 0>=1+free_164 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     89: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_166>=2 && free_168>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     90: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_166>=2 && free_168>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     91: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_170>=2 && 0>=1+free_172 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     92: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_170>=2 && 0>=1+free_172 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     93: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_174>=2 && free_176>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     94: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_174, D1'=free_176, E'=free_176, E1'=0, F'=free_175, F1'=free_176, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_174>=2 && free_176>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     95: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_178>=2 && 0>=1+free_180 && 1+free_180<=-1+E ], cost: 2+H1
39.83/14.66	
39.83/14.66	     96: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_178, D1'=free_180, E'=free_180, E1'=0, F'=free_179, F1'=free_180, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_178>=2 && 0>=1+free_180 && 1+free_180<=-1+E ], cost: 2+H1
39.83/14.66	
39.83/14.66	     97: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_182, D1'=free_184, E'=free_184, E1'=0, F'=free_183, F1'=free_184, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_182>=2 && free_184>=1 && 1+free_184<=-1+E ], cost: 2+H1
39.83/14.66	
39.83/14.66	     98: f9 -> f16 : A'=H, B'=free_208, C'=0, D'=free_94, E'=free_208, J1'=free_209, K1'=free_210, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=2 && 2>=free_206 && free_94>=2 && 0>=1+free_208 && free_97>=free_94 && H>=free_94 && C==0 ], cost: 2
39.83/14.66	
39.83/14.66	     99: f9 -> f16 : A'=H, B'=free_208, C'=0, D'=free_103, E'=free_208, J1'=free_209, K1'=free_210, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=2 && 2>=free_206 && free_103>=2 && free_208>=1 && free_106>=free_103 && H>=free_103 && C==0 ], cost: 2
39.83/14.66	
39.83/14.66	    100: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_52, E'=free_54, F'=free_53, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_55, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=2 && 2>=free_206 && 0>=1+free_208 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_97 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    101: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_52, E'=free_54, F'=free_53, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_55, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=2 && 2>=free_206 && free_208>=1 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_106 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    102: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_57, E'=free_59, F'=free_58, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_60, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=2 && 2>=free_206 && 0>=1+free_208 && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_97 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    103: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_57, E'=free_59, F'=free_58, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_60, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=2 && 2>=free_206 && free_208>=1 && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_106 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    104: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_62, E'=free_64, F'=free_63, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_65, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=2 && 2>=free_206 && 0>=1+free_208 && C==0 && free_62>=2 && free_64>=1 && 0>=1+free_65 && 2<=free_97 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    105: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_62, E'=free_64, F'=free_63, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_65, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=2 && 2>=free_206 && free_208>=1 && C==0 && free_62>=2 && free_64>=1 && 0>=1+free_65 && 2<=free_106 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    106: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_67, E'=free_69, F'=free_68, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_70, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=2 && 2>=free_206 && 0>=1+free_208 && C==0 && free_67>=2 && free_69>=1 && free_70>=1 && 2<=free_97 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    107: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_67, E'=free_69, F'=free_68, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_70, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=2 && 2>=free_206 && free_208>=1 && C==0 && free_67>=2 && free_69>=1 && free_70>=1 && 2<=free_106 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    108: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_72, E'=free_74, F'=free_73, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_75, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=2 && 2>=free_206 && 0>=1+free_208 && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_97 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    109: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_72, E'=free_74, F'=free_73, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_75, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=2 && 2>=free_206 && free_208>=1 && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_106 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    110: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_77, E'=free_79, F'=free_78, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_80, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=2 && 2>=free_206 && 0>=1+free_208 && C==0 && free_77>=2 && 0>=1+free_79 && free_80>=1 && 2<=free_97 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    111: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_77, E'=free_79, F'=free_78, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_80, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=2 && 2>=free_206 && free_208>=1 && C==0 && free_77>=2 && 0>=1+free_79 && free_80>=1 && 2<=free_106 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    112: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_82, E'=free_84, F'=free_83, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_85, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=2 && 2>=free_206 && 0>=1+free_208 && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_97 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    113: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_82, E'=free_84, F'=free_83, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_85, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=2 && 2>=free_206 && free_208>=1 && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_106 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    114: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_87, E'=free_89, F'=free_88, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_90, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=2 && 2>=free_206 && 0>=1+free_208 && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_97 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    115: f9 -> f16 : A'=H, B'=free_208, C'=1+H, D'=free_87, E'=free_89, F'=free_88, H'=-1, J1'=free_209, K1'=free_210, M'=free_208, N'=free_90, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=2 && 2>=free_206 && free_208>=1 && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_106 && 2<=H ], cost: 3+H
39.83/14.66	
39.83/14.66	    116: f9 -> f16 : A'=H, B'=free_92, C'=0, D'=free_94, E'=free_92, J1'=free_209, K1'=free_210, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, U'=free_93, V'=-1+free_206, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=3 && free_94>=2 && 0>=1+free_92 && free_97>=free_94 && H>=free_94 && C==0 ], cost: free_206
39.83/14.66	
39.83/14.66	    117: f9 -> f16 : A'=H, B'=free_92, C'=0, D'=free_103, E'=free_92, J1'=free_209, K1'=free_210, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_103>=2 && free_92>=1 && free_106>=free_103 && H>=free_103 && C==0 ], cost: free_206
39.83/14.66	
39.83/14.66	    118: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_52, E'=free_54, F'=free_53, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_55, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, U'=free_93, V'=-1+free_206, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=3 && 0>=1+free_92 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    119: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_52, E'=free_54, F'=free_53, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_55, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    120: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_57, E'=free_59, F'=free_58, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_60, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, U'=free_93, V'=-1+free_206, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=3 && 0>=1+free_92 && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    121: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_57, E'=free_59, F'=free_58, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_60, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    122: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_62, E'=free_64, F'=free_63, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_65, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, U'=free_93, V'=-1+free_206, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=3 && 0>=1+free_92 && C==0 && free_62>=2 && free_64>=1 && 0>=1+free_65 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    123: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_62, E'=free_64, F'=free_63, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_65, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_62>=2 && free_64>=1 && 0>=1+free_65 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    124: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_67, E'=free_69, F'=free_68, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_70, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, U'=free_93, V'=-1+free_206, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=3 && 0>=1+free_92 && C==0 && free_67>=2 && free_69>=1 && free_70>=1 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    125: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_67, E'=free_69, F'=free_68, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_70, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_67>=2 && free_69>=1 && free_70>=1 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    126: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_72, E'=free_74, F'=free_73, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_75, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, U'=free_93, V'=-1+free_206, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=3 && 0>=1+free_92 && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    127: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_72, E'=free_74, F'=free_73, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_75, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    128: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_77, E'=free_79, F'=free_78, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_80, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, U'=free_93, V'=-1+free_206, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=3 && 0>=1+free_92 && C==0 && free_77>=2 && 0>=1+free_79 && free_80>=1 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    129: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_77, E'=free_79, F'=free_78, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_80, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_77>=2 && 0>=1+free_79 && free_80>=1 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    130: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_82, E'=free_84, F'=free_83, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_85, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, U'=free_93, V'=-1+free_206, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=3 && 0>=1+free_92 && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    131: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_82, E'=free_84, F'=free_83, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_85, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    132: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_87, E'=free_89, F'=free_88, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_90, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, U'=free_93, V'=-1+free_206, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=3 && 0>=1+free_92 && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    133: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_87, E'=free_89, F'=free_88, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_90, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Applied pruning (of leafs and parallel rules):
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	     84: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_154, D1'=free_156, E'=free_156, E1'=0, F'=free_155, F1'=free_156, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_154>=2 && 0>=1+free_156 && 1+E<=-1+free_156 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     87: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_162, D1'=free_164, E'=free_164, E1'=0, F'=free_163, F1'=free_164, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_162>=2 && 0>=1+free_164 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     90: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_166, D1'=free_168, E'=free_168, E1'=0, F'=free_167, F1'=free_168, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_166>=2 && free_168>=1 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     91: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=E, H1'=-1, Q1'=-1, [ E>=1 && C>=0 && H>=0 && B==0 && H1>=0 && free_170>=2 && 0>=1+free_172 ], cost: 2+H1
39.83/14.66	
39.83/14.66	     92: f16 -> f8 : A1'=E, B'=0, B1'=H1, C'=1+H1, C1'=0, D'=free_170, D1'=free_172, E'=free_172, E1'=0, F'=free_171, F1'=free_172, G1'=E, H1'=-1, Q1'=-1, [ 0>=1+E && C>=0 && H>=0 && B==0 && H1>=0 && free_170>=2 && 0>=1+free_172 ], cost: 2+H1
39.83/14.66	
39.83/14.66	    119: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_52, E'=free_54, F'=free_53, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_55, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    120: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_57, E'=free_59, F'=free_58, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_60, O'=1+H, P'=-1, Q_1'=free_98, R'=free_95, S'=free_100, T'=free_101, U'=free_93, V'=-1+free_206, W'=free_102, X'=free_99, Y'=free_96, Z'=free_97, [ free_206>=3 && 0>=1+free_92 && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    127: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_72, E'=free_74, F'=free_73, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_75, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    131: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_82, E'=free_84, F'=free_83, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_85, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    133: f9 -> f16 : A'=H, B'=free_92, C'=1+H, D'=free_87, E'=free_89, F'=free_88, H'=-1, J1'=free_209, K1'=free_210, M'=free_92, N'=free_90, O'=1+H, P'=-1, Q_1'=free_107, R'=free_104, S'=free_109, T'=free_110, U'=free_93, V'=-1+free_206, W'=free_111, X'=free_108, Y'=free_105, Z'=free_106, [ free_206>=3 && free_92>=1 && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Eliminated locations (on tree-shaped paths):
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	    134: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    135: f9 -> [11] : [ free_206>=3 && 0>=1+free_92 && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    136: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    137: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    138: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Applied pruning (of leafs and parallel rules):
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	    134: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    135: f9 -> [11] : [ free_206>=3 && 0>=1+free_92 && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    136: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    137: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    138: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	### Computing asymptotic complexity ###
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Fully simplified ITS problem
39.83/14.66	
39.83/14.66	   Start location: f9
39.83/14.66	
39.83/14.66	    134: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    135: f9 -> [11] : [ free_206>=3 && 0>=1+free_92 && C==0 && free_57>=2 && 0>=1+free_59 && free_60>=1 && 2<=free_97 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    136: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_72>=2 && 0>=1+free_74 && 0>=1+free_75 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    137: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_82>=2 && free_84>=1 && 0>=1+free_85 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	    138: f9 -> [11] : [ free_206>=3 && free_92>=1 && C==0 && free_87>=2 && free_89>=1 && free_90>=1 && 2<=free_106 && 2<=H ], cost: 1+H+free_206
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Computing asymptotic complexity for rule 134
39.83/14.66	
39.83/14.66	   Solved the limit problem by the following transformations:
39.83/14.66	
39.83/14.66	      Created initial limit problem:
39.83/14.66	
39.83/14.66	      -1+free_52 (+/+!), -1+H (+/+!), -free_54 (+/+!), -2+free_206 (+/+!), free_92 (+/+!), 1+H+free_206 (+), 1-C (+/+!), 1+C (+/+!), -free_55 (+/+!), -1+free_106 (+/+!) [not solved]
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	      applying transformation rule (C) using substitution {C==0}
39.83/14.66	
39.83/14.66	      resulting limit problem:
39.83/14.66	
39.83/14.66	      -1+free_52 (+/+!), 1 (+/+!), -1+H (+/+!), -free_54 (+/+!), -2+free_206 (+/+!), free_92 (+/+!), 1+H+free_206 (+), -free_55 (+/+!), -1+free_106 (+/+!) [not solved]
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	      applying transformation rule (B), deleting 1 (+/+!)
39.83/14.66	
39.83/14.66	      resulting limit problem:
39.83/14.66	
39.83/14.66	      -1+free_52 (+/+!), -1+H (+/+!), -free_54 (+/+!), -2+free_206 (+/+!), free_92 (+/+!), 1+H+free_206 (+), -free_55 (+/+!), -1+free_106 (+/+!) [not solved]
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	      removing all constraints (solved by SMT)
39.83/14.66	
39.83/14.66	      resulting limit problem: [solved]
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	      applying transformation rule (C) using substitution {H==2,free_92==n,free_54==-n,free_206==n,free_55==-n,free_52==n,free_106==n}
39.83/14.66	
39.83/14.66	      resulting limit problem:
39.83/14.66	
39.83/14.66	      [solved]
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	   Solution:
39.83/14.66	
39.83/14.66	      H / 2
39.83/14.66	
39.83/14.66	      free_92 / n
39.83/14.66	
39.83/14.66	      free_54 / -n
39.83/14.66	
39.83/14.66	      free_206 / n
39.83/14.66	
39.83/14.66	      C / 0
39.83/14.66	
39.83/14.66	      free_55 / -n
39.83/14.66	
39.83/14.66	      free_52 / n
39.83/14.66	
39.83/14.66	      free_106 / n
39.83/14.66	
39.83/14.66	   Resulting cost 3+n has complexity: Unbounded
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Found new complexity Unbounded.
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	Obtained the following overall complexity (w.r.t. the length of the input n):
39.83/14.66	
39.83/14.66	   Complexity:  Unbounded
39.83/14.66	
39.83/14.66	   Cpx degree:  Unbounded
39.83/14.66	
39.83/14.66	   Solved cost: 3+n
39.83/14.66	
39.83/14.66	   Rule cost:   1+H+free_206
39.83/14.66	
39.83/14.66	   Rule guard:  [ free_206>=3 && free_92>=1 && C==0 && free_52>=2 && 0>=1+free_54 && 0>=1+free_55 && 2<=free_106 && 2<=H ]
39.83/14.66	
39.83/14.66	
39.83/14.66	
39.83/14.66	WORST_CASE(INF,?)
39.83/14.66	
39.83/14.66	
39.83/14.66	----------------------------------------
39.83/14.66	
39.83/14.66	(2)
39.83/14.66	BOUNDS(INF, INF)
39.90/14.68	EOF