50.74/17.12	WORST_CASE(NON_POLY, ?)
50.95/17.13	proof of /export/starexec/sandbox2/benchmark/theBenchmark.koat
50.95/17.13	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
50.95/17.13	
50.95/17.13	
50.95/17.13	The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(INF, INF).
50.95/17.13	
50.95/17.13	(0) CpxIntTrs
50.95/17.13	(1) Loat Proof [FINISHED, 15.4 s]
50.95/17.13	(2) BOUNDS(INF, INF)
50.95/17.13	
50.95/17.13	
50.95/17.13	----------------------------------------
50.95/17.13	
50.95/17.13	(0)
50.95/17.13	Obligation:
50.95/17.13	Complexity Int TRS consisting of the following rules:
50.95/17.13	f129(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= A + 1
50.95/17.13	f129(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: A >= 1
50.95/17.13	f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f131(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= B + 1
50.95/17.13	f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f131(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: B >= 1
50.95/17.13	f131(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f132(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: 0 >= C + 1
50.95/17.13	f131(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f132(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: C >= 1
50.95/17.13	f0(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f25(1, 1, 1, 4, W, X, 0, 0, 0, 0, 0, Y, 0, N, O, P, Q, R, S, T, U, V)) :|: TRUE
50.95/17.13	f25(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f25(A, B, C, D, E, F, G, H, I, J, K, L, M + 1, N, O, P, Q, R, S, T, U, V)) :|: E >= M + 1
50.95/17.13	f31(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= M + 1 && 0 >= A + 1
50.95/17.13	f31(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= M + 1 && A >= 1
50.95/17.13	f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f31(1, B, C, D, E, F, G, H, I, J, K, L, M + 1, 1, O, P, Q, R, S, T, U, V)) :|: W >= 1
50.95/17.13	f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f31(0, B, C, D, E, F, G, H, I, J, K, L, M + 1, 0, O, P, Q, R, S, T, U, V)) :|: W >= 1
50.95/17.13	f34(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f31(0, B, C, D, E, F, G, H, I, J, K, L, M + 1, 0, O, P, Q, R, S, T, U, V)) :|: 0 >= W
50.95/17.13	f31(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f31(0, B, C, D, E, F, G, H, I, J, K, L, M + 1, 0, O, P, Q, R, S, T, U, V)) :|: E >= M + 1 && A >= 0 && A <= 0
50.95/17.13	f44(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, B, C, D, E, F, G, H, I, J, K, L, M, N, M + 1, P, Q, R, S, T, U, V)) :|: E >= M + 1
50.95/17.13	f47(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f50(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= O + 1 && 0 >= B + 1
50.95/17.13	f47(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f50(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: E >= O + 1 && B >= 1
50.95/17.13	f50(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, 1, C, D, E, F, G, H, I, J, K, L, M, N, O + 1, 1, Q, R, S, T, U, V)) :|: W >= X + 1
50.95/17.13	f50(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, 1, C, D, E, F, G, H, I, J, K, L, M, N, O + 1, 1, Q, R, S, T, U, V)) :|: TRUE
50.95/17.13	f50(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, 0, C, D, E, F, G, H, I, J, K, L, M, N, O + 1, 0, Q, R, S, T, U, V)) :|: TRUE
50.95/17.13	f47(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f47(A, 0, C, D, E, F, G, H, I, J, K, L, M, N, O + 1, 0, Q, R, S, T, U, V)) :|: E >= O + 1 && B >= 0 && B <= 0
50.95/17.13	f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f60(A, B, C, D, E, F, G, H + W, I, J, K, L, M + 1, N, O, P, Q, R, S, T, U, V)) :|: D >= M + 1
50.95/17.13	f66(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f72(A, B, 1, D, E, F, G, F, I, J, K, L, 0, N, O, P, 1, R, S, T, U, V)) :|: F >= H && F <= H
50.95/17.13	f66(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f72(A, B, 0, D, E, F, G, H, I, J, K, L, 0, N, O, P, 0, R, S, T, U, V)) :|: F >= H + 1
50.95/17.13	f66(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f72(A, B, 0, D, E, F, G, H, I, J, K, L, 0, N, O, P, 0, R, S, T, U, V)) :|: H >= 1 + F
50.95/17.13	f72(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f72(A, B, C, D, E, F, G, H, I + W, J, K, L, M + 1, N, O, P, Q, R, S, T, U, V)) :|: D >= M + 1
50.95/17.13	f78(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f84(A, B, 1, D, E, F, G, H, F, J, K, L, 0, N, O, P, Q, 1, S, T, U, V)) :|: F >= I && F <= I
50.95/17.13	f78(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f84(A, B, 0, D, E, F, G, H, I, J, K, L, 0, N, O, P, Q, 0, S, T, U, V)) :|: F >= I + 1
50.95/17.13	f78(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f84(A, B, 0, D, E, F, G, H, I, J, K, L, 0, N, O, P, Q, 0, S, T, U, V)) :|: I >= 1 + F
50.95/17.13	f84(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f88(A, B, C, D, E, F, G, H, I, 0, K, L, M, N, 0, P, Q, R, S, T, U, V)) :|: D >= M + 1
50.95/17.13	f88(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f88(A, B, C, D, E, F, G, H, I, J + W, K, L, M, N, O + 1, P, Q, R, S, T, U, V)) :|: D >= O + 1
50.95/17.13	f94(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f84(A, B, 1, D, E, F, G, H, I, F, K, L, M + 1, N, O, P, Q, R, 1, T, U, V)) :|: F >= J && F <= J
50.95/17.13	f94(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f84(A, B, 0, D, E, F, G, H, I, J, K, L, M + 1, N, O, P, Q, R, 0, T, U, V)) :|: F >= J + 1
50.95/17.13	f94(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f84(A, B, 0, D, E, F, G, H, I, J, K, L, M + 1, N, O, P, Q, R, 0, T, U, V)) :|: J >= 1 + F
50.95/17.13	f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f106(A, B, C, D, E, F, G, H, I, J, 0, L, 0, N, O, P, Q, R, S, T, U, V)) :|: D >= O + 1
50.95/17.13	f106(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f106(A, B, C, D, E, F, G, H, I, J, K + W, L, M + 1, N, O, P, Q, R, S, T, U, V)) :|: D >= M + 1
50.95/17.13	f112(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f102(A, B, 1, D, E, F, G, H, I, J, F, L, M, N, O + 1, P, Q, R, S, 1, U, V)) :|: F >= K && F <= K
50.95/17.13	f112(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f102(A, B, 0, D, E, F, G, H, I, J, K, L, M, N, O + 1, P, Q, R, S, 0, U, V)) :|: F >= K + 1
50.95/17.13	f112(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f102(A, B, 0, D, E, F, G, H, I, J, K, L, M, N, O + 1, P, Q, R, S, 0, U, V)) :|: K >= 1 + F
50.95/17.13	f132(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f141(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V)) :|: 0 >= G + 1
50.95/17.13	f132(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f141(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V)) :|: G >= 1
50.95/17.13	f132(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f141(A, B, C, D, E, F, 0, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V)) :|: G >= 0 && G <= 0
50.95/17.13	f131(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f141(A, B, 0, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V)) :|: C >= 0 && C <= 0
50.95/17.13	f130(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f141(A, 0, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V)) :|: B >= 0 && B <= 0
50.95/17.13	f129(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f141(0, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V)) :|: A >= 0 && A <= 0
50.95/17.13	f106(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f112(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: M >= D && 0 >= C + 1
50.95/17.13	f106(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f112(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: M >= D && C >= 1
50.95/17.13	f106(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f102(A, B, 0, D, E, F, G, H, I, J, K, L, M, N, O + 1, P, Q, R, S, 0, U, V)) :|: M >= D && C >= 0 && C <= 0
50.95/17.13	f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f129(A, B, C, D, E, F, 1, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, 1)) :|: W >= X + 1 && Y >= Z + 1 && A1 >= B1 + 1 && O >= D && C1 >= D1 + 1
50.95/17.13	f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f129(A, B, C, D, E, F, 0, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, 0)) :|: W >= X + 1 && Y >= Z + 1 && O >= D && A1 >= B1 + 1
50.95/17.13	f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f129(A, B, C, D, E, F, 0, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, 0)) :|: W >= X + 1 && O >= D && Y >= Z + 1
50.95/17.13	f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f129(A, B, C, D, E, F, 0, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, 0)) :|: O >= D && W >= X + 1
50.95/17.13	f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f129(A, B, C, D, E, F, 0, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, 0)) :|: O >= D
50.95/17.13	f88(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f94(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: O >= D && 0 >= C + 1
50.95/17.13	f88(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f94(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: O >= D && C >= 1
50.95/17.13	f88(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f84(A, B, 0, D, E, F, G, H, I, J, K, L, M + 1, N, O, P, Q, R, 0, T, U, V)) :|: O >= D && C >= 0 && C <= 0
50.95/17.13	f84(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, 0, P, Q, R, S, T, U, V)) :|: M >= D
50.95/17.13	f72(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f78(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: M >= D && 0 >= C + 1
50.95/17.13	f72(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f78(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: M >= D && C >= 1
50.95/17.13	f72(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f84(A, B, 0, D, E, F, G, H, I, J, K, L, 0, N, O, P, Q, 0, S, T, U, V)) :|: M >= D && C >= 0 && C <= 0
50.95/17.13	f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f66(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: M >= D && 0 >= C + 1
50.95/17.13	f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f66(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)) :|: M >= D && C >= 1
50.95/17.13	f60(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f72(A, B, 0, D, E, F, G, H, I, J, K, L, 0, N, O, P, 0, R, S, T, U, V)) :|: M >= D && C >= 0 && C <= 0
50.95/17.13	f47(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f44(A, B, C, D, E, F, G, H, I, J, K, L, M + 1, N, O, P, Q, R, S, T, U, V)) :|: O >= E
50.95/17.13	f44(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f60(A, B, C, D, E, F, G, H, I, J, K, L, 0, N, O, P, Q, R, S, T, U, V)) :|: M >= E
50.95/17.13	f31(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f44(A, B, C, D, E, F, G, H, I, J, K, L, 0, N, O, P, Q, R, S, T, U, V)) :|: M >= E
50.95/17.13	f25(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V) -> Com_1(f31(A, B, C, D, E, F, G, H, I, J, K, L, 0, N, O, P, Q, R, S, T, U, V)) :|: M >= E
50.95/17.13	
50.95/17.13	The start-symbols are:[f0_22]
50.95/17.13	
50.95/17.13	
50.95/17.13	----------------------------------------
50.95/17.13	
50.95/17.13	(1) Loat Proof (FINISHED)
50.95/17.13	
50.95/17.13	
50.95/17.13	### Pre-processing the ITS problem ###
50.95/17.13	
50.95/17.13	
50.95/17.13	
50.95/17.13	Initial linear ITS problem
50.95/17.13	
50.95/17.13	   Start location: f0
50.95/17.13	
50.95/17.13	      0: f129 -> f130 : [ 0>=1+A ], cost: 1
50.95/17.13	
50.95/17.13	      1: f129 -> f130 : [ A>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     44: f129 -> f141 : A'=0, A1'=B, B'=C, B1'=D, C'=E, C1'=F, D'=G, D1'=H, E'=Q, F'=J, G'=K, H'=L, Q'=M, J'=N, K'=O, L'=P, M'=Q_1, N'=R, O'=S, P'=T, Q_1'=1, R'=V, [ A==0 ], cost: 1
50.95/17.13	
50.95/17.13	      2: f130 -> f131 : [ 0>=1+B ], cost: 1
50.95/17.13	
50.95/17.13	      3: f130 -> f131 : [ B>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     43: f130 -> f141 : A1'=0, B'=C, B1'=D, C'=E, C1'=F, D'=G, D1'=H, E'=Q, F'=J, G'=K, H'=L, Q'=M, J'=N, K'=O, L'=P, M'=Q_1, N'=R, O'=S, P'=T, Q_1'=1, R'=V, [ B==0 ], cost: 1
50.95/17.13	
50.95/17.13	      4: f131 -> f132 : [ 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	      5: f131 -> f132 : [ C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     42: f131 -> f141 : A1'=B, B'=0, B1'=D, C'=E, C1'=F, D'=G, D1'=H, E'=Q, F'=J, G'=K, H'=L, Q'=M, J'=N, K'=O, L'=P, M'=Q_1, N'=R, O'=S, P'=T, Q_1'=1, R'=V, [ C==0 ], cost: 1
50.95/17.13	
50.95/17.13	      6: f0 -> f25 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [], cost: 1
50.95/17.13	
50.95/17.13	      7: f25 -> f25 : M'=1+M, [ E>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     66: f25 -> f31 : M'=0, [ M>=E ], cost: 1
50.95/17.13	
50.95/17.13	      8: f31 -> f34 : [ E>=1+M && 0>=1+A ], cost: 1
50.95/17.13	
50.95/17.13	      9: f31 -> f34 : [ E>=1+M && A>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     13: f31 -> f31 : A'=0, M'=1+M, N'=0, [ E>=1+M && A==0 ], cost: 1
50.95/17.13	
50.95/17.13	     65: f31 -> f44 : M'=0, [ M>=E ], cost: 1
50.95/17.13	
50.95/17.13	     10: f34 -> f31 : A'=1, M'=1+M, N'=1, [ free_3>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     11: f34 -> f31 : A'=0, M'=1+M, N'=0, [ free_4>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     12: f34 -> f31 : A'=0, M'=1+M, N'=0, [ 0>=free_5 ], cost: 1
50.95/17.13	
50.95/17.13	     14: f44 -> f47 : O'=1+M, [ E>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     64: f44 -> f60 : M'=0, [ M>=E ], cost: 1
50.95/17.13	
50.95/17.13	     15: f47 -> f50 : [ E>=1+O && 0>=1+B ], cost: 1
50.95/17.13	
50.95/17.13	     16: f47 -> f50 : [ E>=1+O && B>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     20: f47 -> f47 : B'=0, O'=1+O, P'=0, [ E>=1+O && B==0 ], cost: 1
50.95/17.13	
50.95/17.13	     63: f47 -> f44 : M'=1+M, [ O>=E ], cost: 1
50.95/17.13	
50.95/17.13	     17: f50 -> f47 : B'=1, O'=1+O, P'=1, [ free_7>=1+free_6 ], cost: 1
50.95/17.13	
50.95/17.13	     18: f50 -> f47 : B'=1, O'=1+O, P'=1, [], cost: 1
50.95/17.13	
50.95/17.13	     19: f50 -> f47 : B'=0, O'=1+O, P'=0, [], cost: 1
50.95/17.13	
50.95/17.13	     21: f60 -> f60 : H'=H+free_8, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     60: f60 -> f66 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     61: f60 -> f66 : [ M>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     62: f60 -> f72 : C'=0, M'=0, Q_1'=0, [ M>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     22: f66 -> f72 : C'=1, H'=F, M'=0, Q_1'=1, [ F==H ], cost: 1
50.95/17.13	
50.95/17.13	     23: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ F>=1+H ], cost: 1
50.95/17.13	
50.95/17.13	     24: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ H>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	     25: f72 -> f72 : Q'=Q+free_9, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     57: f72 -> f78 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     58: f72 -> f78 : [ M>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     59: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     26: f78 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ F==Q ], cost: 1
50.95/17.13	
50.95/17.13	     27: f78 -> f84 : C'=0, M'=0, R'=0, [ F>=1+Q ], cost: 1
50.95/17.13	
50.95/17.13	     28: f78 -> f84 : C'=0, M'=0, R'=0, [ Q>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	     29: f84 -> f88 : J'=0, O'=0, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.13	
50.95/17.13	     30: f88 -> f88 : J'=free_10+J, O'=1+O, [ D>=1+O ], cost: 1
50.95/17.13	
50.95/17.13	     53: f88 -> f94 : [ O>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     54: f88 -> f94 : [ O>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     55: f88 -> f84 : C'=0, M'=1+M, S'=0, [ O>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     31: f94 -> f84 : C'=1, J'=F, M'=1+M, S'=1, [ F==J ], cost: 1
50.95/17.13	
50.95/17.13	     32: f94 -> f84 : C'=0, M'=1+M, S'=0, [ F>=1+J ], cost: 1
50.95/17.13	
50.95/17.13	     33: f94 -> f84 : C'=0, M'=1+M, S'=0, [ J>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	     34: f102 -> f106 : K'=0, M'=0, [ D>=1+O ], cost: 1
50.95/17.13	
50.95/17.13	     48: f102 -> f129 : G'=1, V'=1, [ free_16>=1+free_12 && free_14>=1+free_18 && free_19>=1+free_15 && O>=D && free_13>=1+free_17 ], cost: 1
50.95/17.13	
50.95/17.13	     49: f102 -> f129 : G'=0, V'=0, [ free_23>=1+free_20 && free_21>=1+free_24 && O>=D && free_25>=1+free_22 ], cost: 1
50.95/17.13	
50.95/17.13	     50: f102 -> f129 : G'=0, V'=0, [ free_28>=1+free_26 && O>=D && free_27>=1+free_29 ], cost: 1
50.95/17.13	
50.95/17.13	     51: f102 -> f129 : G'=0, V'=0, [ O>=D && free_31>=1+free_30 ], cost: 1
50.95/17.13	
50.95/17.13	     52: f102 -> f129 : G'=0, V'=0, [ O>=D ], cost: 1
50.95/17.13	
50.95/17.13	     35: f106 -> f106 : K'=free_11+K, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     45: f106 -> f112 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     46: f106 -> f112 : [ M>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     47: f106 -> f102 : C'=0, O'=1+O, T'=0, [ M>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     36: f112 -> f102 : C'=1, K'=F, O'=1+O, T'=1, [ F==K ], cost: 1
50.95/17.13	
50.95/17.13	     37: f112 -> f102 : C'=0, O'=1+O, T'=0, [ F>=1+K ], cost: 1
50.95/17.13	
50.95/17.13	     38: f112 -> f102 : C'=0, O'=1+O, T'=0, [ K>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	     39: f132 -> f141 : A1'=B, B'=C, B1'=D, C'=E, C1'=F, D'=G, D1'=H, E'=Q, F'=J, G'=K, H'=L, Q'=M, J'=N, K'=O, L'=P, M'=Q_1, N'=R, O'=S, P'=T, Q_1'=0, R'=V, [ 0>=1+G ], cost: 1
50.95/17.13	
50.95/17.13	     40: f132 -> f141 : A1'=B, B'=C, B1'=D, C'=E, C1'=F, D'=G, D1'=H, E'=Q, F'=J, G'=K, H'=L, Q'=M, J'=N, K'=O, L'=P, M'=Q_1, N'=R, O'=S, P'=T, Q_1'=0, R'=V, [ G>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     41: f132 -> f141 : A1'=B, B'=C, B1'=D, C'=E, C1'=F, D'=0, D1'=H, E'=Q, F'=J, G'=K, H'=L, Q'=M, J'=N, K'=O, L'=P, M'=Q_1, N'=R, O'=S, P'=T, Q_1'=1, R'=V, [ G==0 ], cost: 1
50.95/17.13	
50.95/17.13	
50.95/17.13	
50.95/17.13	Removed unreachable and leaf rules:
50.95/17.13	
50.95/17.13	   Start location: f0
50.95/17.13	
50.95/17.13	      6: f0 -> f25 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [], cost: 1
50.95/17.13	
50.95/17.13	      7: f25 -> f25 : M'=1+M, [ E>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     66: f25 -> f31 : M'=0, [ M>=E ], cost: 1
50.95/17.13	
50.95/17.13	      8: f31 -> f34 : [ E>=1+M && 0>=1+A ], cost: 1
50.95/17.13	
50.95/17.13	      9: f31 -> f34 : [ E>=1+M && A>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     13: f31 -> f31 : A'=0, M'=1+M, N'=0, [ E>=1+M && A==0 ], cost: 1
50.95/17.13	
50.95/17.13	     65: f31 -> f44 : M'=0, [ M>=E ], cost: 1
50.95/17.13	
50.95/17.13	     10: f34 -> f31 : A'=1, M'=1+M, N'=1, [ free_3>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     11: f34 -> f31 : A'=0, M'=1+M, N'=0, [ free_4>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     12: f34 -> f31 : A'=0, M'=1+M, N'=0, [ 0>=free_5 ], cost: 1
50.95/17.13	
50.95/17.13	     14: f44 -> f47 : O'=1+M, [ E>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     64: f44 -> f60 : M'=0, [ M>=E ], cost: 1
50.95/17.13	
50.95/17.13	     15: f47 -> f50 : [ E>=1+O && 0>=1+B ], cost: 1
50.95/17.13	
50.95/17.13	     16: f47 -> f50 : [ E>=1+O && B>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     20: f47 -> f47 : B'=0, O'=1+O, P'=0, [ E>=1+O && B==0 ], cost: 1
50.95/17.13	
50.95/17.13	     63: f47 -> f44 : M'=1+M, [ O>=E ], cost: 1
50.95/17.13	
50.95/17.13	     17: f50 -> f47 : B'=1, O'=1+O, P'=1, [ free_7>=1+free_6 ], cost: 1
50.95/17.13	
50.95/17.13	     18: f50 -> f47 : B'=1, O'=1+O, P'=1, [], cost: 1
50.95/17.13	
50.95/17.13	     19: f50 -> f47 : B'=0, O'=1+O, P'=0, [], cost: 1
50.95/17.13	
50.95/17.13	     21: f60 -> f60 : H'=H+free_8, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     60: f60 -> f66 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     61: f60 -> f66 : [ M>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     62: f60 -> f72 : C'=0, M'=0, Q_1'=0, [ M>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     22: f66 -> f72 : C'=1, H'=F, M'=0, Q_1'=1, [ F==H ], cost: 1
50.95/17.13	
50.95/17.13	     23: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ F>=1+H ], cost: 1
50.95/17.13	
50.95/17.13	     24: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ H>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	     25: f72 -> f72 : Q'=Q+free_9, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     57: f72 -> f78 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     58: f72 -> f78 : [ M>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     59: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     26: f78 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ F==Q ], cost: 1
50.95/17.13	
50.95/17.13	     27: f78 -> f84 : C'=0, M'=0, R'=0, [ F>=1+Q ], cost: 1
50.95/17.13	
50.95/17.13	     28: f78 -> f84 : C'=0, M'=0, R'=0, [ Q>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	     29: f84 -> f88 : J'=0, O'=0, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.13	
50.95/17.13	     30: f88 -> f88 : J'=free_10+J, O'=1+O, [ D>=1+O ], cost: 1
50.95/17.13	
50.95/17.13	     53: f88 -> f94 : [ O>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     54: f88 -> f94 : [ O>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     55: f88 -> f84 : C'=0, M'=1+M, S'=0, [ O>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     31: f94 -> f84 : C'=1, J'=F, M'=1+M, S'=1, [ F==J ], cost: 1
50.95/17.13	
50.95/17.13	     32: f94 -> f84 : C'=0, M'=1+M, S'=0, [ F>=1+J ], cost: 1
50.95/17.13	
50.95/17.13	     33: f94 -> f84 : C'=0, M'=1+M, S'=0, [ J>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	     34: f102 -> f106 : K'=0, M'=0, [ D>=1+O ], cost: 1
50.95/17.13	
50.95/17.13	     35: f106 -> f106 : K'=free_11+K, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     45: f106 -> f112 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     46: f106 -> f112 : [ M>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     47: f106 -> f102 : C'=0, O'=1+O, T'=0, [ M>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     36: f112 -> f102 : C'=1, K'=F, O'=1+O, T'=1, [ F==K ], cost: 1
50.95/17.13	
50.95/17.13	     37: f112 -> f102 : C'=0, O'=1+O, T'=0, [ F>=1+K ], cost: 1
50.95/17.13	
50.95/17.13	     38: f112 -> f102 : C'=0, O'=1+O, T'=0, [ K>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	
50.95/17.13	
50.95/17.13	Simplified all rules, resulting in:
50.95/17.13	
50.95/17.13	   Start location: f0
50.95/17.13	
50.95/17.13	      6: f0 -> f25 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [], cost: 1
50.95/17.13	
50.95/17.13	      7: f25 -> f25 : M'=1+M, [ E>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     66: f25 -> f31 : M'=0, [ M>=E ], cost: 1
50.95/17.13	
50.95/17.13	      8: f31 -> f34 : [ E>=1+M && 0>=1+A ], cost: 1
50.95/17.13	
50.95/17.13	      9: f31 -> f34 : [ E>=1+M && A>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     13: f31 -> f31 : A'=0, M'=1+M, N'=0, [ E>=1+M && A==0 ], cost: 1
50.95/17.13	
50.95/17.13	     65: f31 -> f44 : M'=0, [ M>=E ], cost: 1
50.95/17.13	
50.95/17.13	     10: f34 -> f31 : A'=1, M'=1+M, N'=1, [], cost: 1
50.95/17.13	
50.95/17.13	     12: f34 -> f31 : A'=0, M'=1+M, N'=0, [], cost: 1
50.95/17.13	
50.95/17.13	     14: f44 -> f47 : O'=1+M, [ E>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     64: f44 -> f60 : M'=0, [ M>=E ], cost: 1
50.95/17.13	
50.95/17.13	     15: f47 -> f50 : [ E>=1+O && 0>=1+B ], cost: 1
50.95/17.13	
50.95/17.13	     16: f47 -> f50 : [ E>=1+O && B>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     20: f47 -> f47 : B'=0, O'=1+O, P'=0, [ E>=1+O && B==0 ], cost: 1
50.95/17.13	
50.95/17.13	     63: f47 -> f44 : M'=1+M, [ O>=E ], cost: 1
50.95/17.13	
50.95/17.13	     18: f50 -> f47 : B'=1, O'=1+O, P'=1, [], cost: 1
50.95/17.13	
50.95/17.13	     19: f50 -> f47 : B'=0, O'=1+O, P'=0, [], cost: 1
50.95/17.13	
50.95/17.13	     21: f60 -> f60 : H'=H+free_8, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     60: f60 -> f66 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     61: f60 -> f66 : [ M>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     62: f60 -> f72 : C'=0, M'=0, Q_1'=0, [ M>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     22: f66 -> f72 : C'=1, H'=F, M'=0, Q_1'=1, [ F==H ], cost: 1
50.95/17.13	
50.95/17.13	     23: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ F>=1+H ], cost: 1
50.95/17.13	
50.95/17.13	     24: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ H>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	     25: f72 -> f72 : Q'=Q+free_9, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     57: f72 -> f78 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     58: f72 -> f78 : [ M>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     59: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     26: f78 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ F==Q ], cost: 1
50.95/17.13	
50.95/17.13	     27: f78 -> f84 : C'=0, M'=0, R'=0, [ F>=1+Q ], cost: 1
50.95/17.13	
50.95/17.13	     28: f78 -> f84 : C'=0, M'=0, R'=0, [ Q>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	     29: f84 -> f88 : J'=0, O'=0, [ D>=1+M ], cost: 1
50.95/17.13	
50.95/17.13	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.13	
50.95/17.13	     30: f88 -> f88 : J'=free_10+J, O'=1+O, [ D>=1+O ], cost: 1
50.95/17.13	
50.95/17.13	     53: f88 -> f94 : [ O>=D && 0>=1+C ], cost: 1
50.95/17.13	
50.95/17.13	     54: f88 -> f94 : [ O>=D && C>=1 ], cost: 1
50.95/17.13	
50.95/17.13	     55: f88 -> f84 : C'=0, M'=1+M, S'=0, [ O>=D && C==0 ], cost: 1
50.95/17.13	
50.95/17.13	     31: f94 -> f84 : C'=1, J'=F, M'=1+M, S'=1, [ F==J ], cost: 1
50.95/17.13	
50.95/17.13	     32: f94 -> f84 : C'=0, M'=1+M, S'=0, [ F>=1+J ], cost: 1
50.95/17.13	
50.95/17.13	     33: f94 -> f84 : C'=0, M'=1+M, S'=0, [ J>=1+F ], cost: 1
50.95/17.13	
50.95/17.13	     34: f102 -> f106 : K'=0, M'=0, [ D>=1+O ], cost: 1
50.95/17.14	
50.95/17.14	     35: f106 -> f106 : K'=free_11+K, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	     45: f106 -> f112 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.14	
50.95/17.14	     46: f106 -> f112 : [ M>=D && C>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     47: f106 -> f102 : C'=0, O'=1+O, T'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	     36: f112 -> f102 : C'=1, K'=F, O'=1+O, T'=1, [ F==K ], cost: 1
50.95/17.14	
50.95/17.14	     37: f112 -> f102 : C'=0, O'=1+O, T'=0, [ F>=1+K ], cost: 1
50.95/17.14	
50.95/17.14	     38: f112 -> f102 : C'=0, O'=1+O, T'=0, [ K>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	### Simplification by acceleration and chaining ###
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 4.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	      7: f25 -> f25 : M'=1+M, [ E>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Accelerated rule 7 with metering function E-M, yielding the new rule 67.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 7.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 5.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	     13: f31 -> f31 : A'=0, M'=1+M, N'=0, [ E>=1+M && A==0 ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Accelerated rule 13 with metering function E-M, yielding the new rule 68.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 13.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 8.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	     20: f47 -> f47 : B'=0, O'=1+O, P'=0, [ E>=1+O && B==0 ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Accelerated rule 20 with metering function E-O, yielding the new rule 69.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 20.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 10.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	     21: f60 -> f60 : H'=H+free_8, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Accelerated rule 21 with metering function D-M, yielding the new rule 70.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 21.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 12.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	     25: f72 -> f72 : Q'=Q+free_9, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Accelerated rule 25 with metering function D-M, yielding the new rule 71.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 25.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 15.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	     30: f88 -> f88 : J'=free_10+J, O'=1+O, [ D>=1+O ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Accelerated rule 30 with metering function -O+D, yielding the new rule 72.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 30.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 18.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	     35: f106 -> f106 : K'=free_11+K, M'=1+M, [ D>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Accelerated rule 35 with metering function D-M, yielding the new rule 73.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 35.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerated all simple loops using metering functions (where possible):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	      6: f0 -> f25 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [], cost: 1
50.95/17.14	
50.95/17.14	     66: f25 -> f31 : M'=0, [ M>=E ], cost: 1
50.95/17.14	
50.95/17.14	     67: f25 -> f25 : M'=E, [ E>=1+M ], cost: E-M
50.95/17.14	
50.95/17.14	      8: f31 -> f34 : [ E>=1+M && 0>=1+A ], cost: 1
50.95/17.14	
50.95/17.14	      9: f31 -> f34 : [ E>=1+M && A>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     65: f31 -> f44 : M'=0, [ M>=E ], cost: 1
50.95/17.14	
50.95/17.14	     68: f31 -> f31 : A'=0, M'=E, N'=0, [ E>=1+M && A==0 ], cost: E-M
50.95/17.14	
50.95/17.14	     10: f34 -> f31 : A'=1, M'=1+M, N'=1, [], cost: 1
50.95/17.14	
50.95/17.14	     12: f34 -> f31 : A'=0, M'=1+M, N'=0, [], cost: 1
50.95/17.14	
50.95/17.14	     14: f44 -> f47 : O'=1+M, [ E>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	     64: f44 -> f60 : M'=0, [ M>=E ], cost: 1
50.95/17.14	
50.95/17.14	     15: f47 -> f50 : [ E>=1+O && 0>=1+B ], cost: 1
50.95/17.14	
50.95/17.14	     16: f47 -> f50 : [ E>=1+O && B>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     63: f47 -> f44 : M'=1+M, [ O>=E ], cost: 1
50.95/17.14	
50.95/17.14	     69: f47 -> f47 : B'=0, O'=E, P'=0, [ E>=1+O && B==0 ], cost: E-O
50.95/17.14	
50.95/17.14	     18: f50 -> f47 : B'=1, O'=1+O, P'=1, [], cost: 1
50.95/17.14	
50.95/17.14	     19: f50 -> f47 : B'=0, O'=1+O, P'=0, [], cost: 1
50.95/17.14	
50.95/17.14	     60: f60 -> f66 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.14	
50.95/17.14	     61: f60 -> f66 : [ M>=D && C>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     62: f60 -> f72 : C'=0, M'=0, Q_1'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	     70: f60 -> f60 : H'=H+(D-M)*free_8, M'=D, [ D>=1+M ], cost: D-M
50.95/17.14	
50.95/17.14	     22: f66 -> f72 : C'=1, H'=F, M'=0, Q_1'=1, [ F==H ], cost: 1
50.95/17.14	
50.95/17.14	     23: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ F>=1+H ], cost: 1
50.95/17.14	
50.95/17.14	     24: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ H>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	     57: f72 -> f78 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.14	
50.95/17.14	     58: f72 -> f78 : [ M>=D && C>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     59: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	     71: f72 -> f72 : Q'=Q+(D-M)*free_9, M'=D, [ D>=1+M ], cost: D-M
50.95/17.14	
50.95/17.14	     26: f78 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ F==Q ], cost: 1
50.95/17.14	
50.95/17.14	     27: f78 -> f84 : C'=0, M'=0, R'=0, [ F>=1+Q ], cost: 1
50.95/17.14	
50.95/17.14	     28: f78 -> f84 : C'=0, M'=0, R'=0, [ Q>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	     29: f84 -> f88 : J'=0, O'=0, [ D>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.14	
50.95/17.14	     53: f88 -> f94 : [ O>=D && 0>=1+C ], cost: 1
50.95/17.14	
50.95/17.14	     54: f88 -> f94 : [ O>=D && C>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     55: f88 -> f84 : C'=0, M'=1+M, S'=0, [ O>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	     72: f88 -> f88 : J'=-free_10*(O-D)+J, O'=D, [ D>=1+O ], cost: -O+D
50.95/17.14	
50.95/17.14	     31: f94 -> f84 : C'=1, J'=F, M'=1+M, S'=1, [ F==J ], cost: 1
50.95/17.14	
50.95/17.14	     32: f94 -> f84 : C'=0, M'=1+M, S'=0, [ F>=1+J ], cost: 1
50.95/17.14	
50.95/17.14	     33: f94 -> f84 : C'=0, M'=1+M, S'=0, [ J>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	     34: f102 -> f106 : K'=0, M'=0, [ D>=1+O ], cost: 1
50.95/17.14	
50.95/17.14	     45: f106 -> f112 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.14	
50.95/17.14	     46: f106 -> f112 : [ M>=D && C>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     47: f106 -> f102 : C'=0, O'=1+O, T'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	     73: f106 -> f106 : K'=(D-M)*free_11+K, M'=D, [ D>=1+M ], cost: D-M
50.95/17.14	
50.95/17.14	     36: f112 -> f102 : C'=1, K'=F, O'=1+O, T'=1, [ F==K ], cost: 1
50.95/17.14	
50.95/17.14	     37: f112 -> f102 : C'=0, O'=1+O, T'=0, [ F>=1+K ], cost: 1
50.95/17.14	
50.95/17.14	     38: f112 -> f102 : C'=0, O'=1+O, T'=0, [ K>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Chained accelerated rules (with incoming rules):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	      6: f0 -> f25 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [], cost: 1
50.95/17.14	
50.95/17.14	     74: f0 -> f25 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=free_2, [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	     66: f25 -> f31 : M'=0, [ M>=E ], cost: 1
50.95/17.14	
50.95/17.14	     76: f25 -> f31 : A'=0, M'=E, N'=0, [ M>=E && E>=1 && A==0 ], cost: 1+E
50.95/17.14	
50.95/17.14	      8: f31 -> f34 : [ E>=1+M && 0>=1+A ], cost: 1
50.95/17.14	
50.95/17.14	      9: f31 -> f34 : [ E>=1+M && A>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     65: f31 -> f44 : M'=0, [ M>=E ], cost: 1
50.95/17.14	
50.95/17.14	     10: f34 -> f31 : A'=1, M'=1+M, N'=1, [], cost: 1
50.95/17.14	
50.95/17.14	     12: f34 -> f31 : A'=0, M'=1+M, N'=0, [], cost: 1
50.95/17.14	
50.95/17.14	     75: f34 -> f31 : A'=0, M'=E, N'=0, [ E>=2+M ], cost: E-M
50.95/17.14	
50.95/17.14	     14: f44 -> f47 : O'=1+M, [ E>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	     64: f44 -> f60 : M'=0, [ M>=E ], cost: 1
50.95/17.14	
50.95/17.14	     77: f44 -> f47 : B'=0, O'=E, P'=0, [ E>=2+M && B==0 ], cost: E-M
50.95/17.14	
50.95/17.14	     79: f44 -> f60 : H'=H+D*free_8, M'=D, [ M>=E && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     15: f47 -> f50 : [ E>=1+O && 0>=1+B ], cost: 1
50.95/17.14	
50.95/17.14	     16: f47 -> f50 : [ E>=1+O && B>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     63: f47 -> f44 : M'=1+M, [ O>=E ], cost: 1
50.95/17.14	
50.95/17.14	     18: f50 -> f47 : B'=1, O'=1+O, P'=1, [], cost: 1
50.95/17.14	
50.95/17.14	     19: f50 -> f47 : B'=0, O'=1+O, P'=0, [], cost: 1
50.95/17.14	
50.95/17.14	     78: f50 -> f47 : B'=0, O'=E, P'=0, [ E>=2+O ], cost: E-O
50.95/17.14	
50.95/17.14	     60: f60 -> f66 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.14	
50.95/17.14	     61: f60 -> f66 : [ M>=D && C>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     62: f60 -> f72 : C'=0, M'=0, Q_1'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	     83: f60 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ M>=D && C==0 && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     22: f66 -> f72 : C'=1, H'=F, M'=0, Q_1'=1, [ F==H ], cost: 1
50.95/17.14	
50.95/17.14	     23: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ F>=1+H ], cost: 1
50.95/17.14	
50.95/17.14	     24: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ H>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	     80: f66 -> f72 : C'=1, H'=F, Q'=Q+D*free_9, M'=D, Q_1'=1, [ F==H && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     81: f66 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ F>=1+H && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     82: f66 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ H>=1+F && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     57: f72 -> f78 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.14	
50.95/17.14	     58: f72 -> f78 : [ M>=D && C>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     59: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	     26: f78 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ F==Q ], cost: 1
50.95/17.14	
50.95/17.14	     27: f78 -> f84 : C'=0, M'=0, R'=0, [ F>=1+Q ], cost: 1
50.95/17.14	
50.95/17.14	     28: f78 -> f84 : C'=0, M'=0, R'=0, [ Q>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	     29: f84 -> f88 : J'=0, O'=0, [ D>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.14	
50.95/17.14	     84: f84 -> f88 : J'=free_10*D, O'=D, [ D>=1+M && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     53: f88 -> f94 : [ O>=D && 0>=1+C ], cost: 1
50.95/17.14	
50.95/17.14	     54: f88 -> f94 : [ O>=D && C>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     55: f88 -> f84 : C'=0, M'=1+M, S'=0, [ O>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	     31: f94 -> f84 : C'=1, J'=F, M'=1+M, S'=1, [ F==J ], cost: 1
50.95/17.14	
50.95/17.14	     32: f94 -> f84 : C'=0, M'=1+M, S'=0, [ F>=1+J ], cost: 1
50.95/17.14	
50.95/17.14	     33: f94 -> f84 : C'=0, M'=1+M, S'=0, [ J>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	     34: f102 -> f106 : K'=0, M'=0, [ D>=1+O ], cost: 1
50.95/17.14	
50.95/17.14	     85: f102 -> f106 : K'=D*free_11, M'=D, [ D>=1+O && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     45: f106 -> f112 : [ M>=D && 0>=1+C ], cost: 1
50.95/17.14	
50.95/17.14	     46: f106 -> f112 : [ M>=D && C>=1 ], cost: 1
50.95/17.14	
50.95/17.14	     47: f106 -> f102 : C'=0, O'=1+O, T'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	     36: f112 -> f102 : C'=1, K'=F, O'=1+O, T'=1, [ F==K ], cost: 1
50.95/17.14	
50.95/17.14	     37: f112 -> f102 : C'=0, O'=1+O, T'=0, [ F>=1+K ], cost: 1
50.95/17.14	
50.95/17.14	     38: f112 -> f102 : C'=0, O'=1+O, T'=0, [ K>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Eliminated locations (on tree-shaped paths):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     86: f0 -> f31 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ 0>=free_2 ], cost: 2
50.95/17.14	
50.95/17.14	     87: f0 -> f31 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	     65: f31 -> f44 : M'=0, [ M>=E ], cost: 1
50.95/17.14	
50.95/17.14	     89: f31 -> f31 : A'=1, M'=1+M, N'=1, [ E>=1+M && 0>=1+A ], cost: 2
50.95/17.14	
50.95/17.14	     90: f31 -> f31 : A'=0, M'=1+M, N'=0, [ E>=1+M && 0>=1+A ], cost: 2
50.95/17.14	
50.95/17.14	     91: f31 -> f31 : A'=0, M'=E, N'=0, [ 0>=1+A && E>=2+M ], cost: 1+E-M
50.95/17.14	
50.95/17.14	     92: f31 -> f31 : A'=1, M'=1+M, N'=1, [ E>=1+M && A>=1 ], cost: 2
50.95/17.14	
50.95/17.14	     93: f31 -> f31 : A'=0, M'=1+M, N'=0, [ E>=1+M && A>=1 ], cost: 2
50.95/17.14	
50.95/17.14	     94: f31 -> f31 : A'=0, M'=E, N'=0, [ A>=1 && E>=2+M ], cost: 1+E-M
50.95/17.14	
50.95/17.14	     14: f44 -> f47 : O'=1+M, [ E>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	     77: f44 -> f47 : B'=0, O'=E, P'=0, [ E>=2+M && B==0 ], cost: E-M
50.95/17.14	
50.95/17.14	     95: f44 -> f66 : M'=0, [ M>=E && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	     96: f44 -> f66 : M'=0, [ M>=E && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	     97: f44 -> f72 : C'=0, M'=0, Q_1'=0, [ M>=E && 0>=D && C==0 ], cost: 2
50.95/17.14	
50.95/17.14	     98: f44 -> f66 : H'=H+D*free_8, M'=D, [ M>=E && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	     99: f44 -> f66 : H'=H+D*free_8, M'=D, [ M>=E && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    100: f44 -> f72 : C'=0, H'=H+D*free_8, M'=0, Q_1'=0, [ M>=E && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	    101: f44 -> f72 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, M'=D, Q_1'=0, [ M>=E && D>=1 && C==0 ], cost: 2+2*D
50.95/17.14	
50.95/17.14	     63: f47 -> f44 : M'=1+M, [ O>=E ], cost: 1
50.95/17.14	
50.95/17.14	    102: f47 -> f47 : B'=1, O'=1+O, P'=1, [ E>=1+O && 0>=1+B ], cost: 2
50.95/17.14	
50.95/17.14	    103: f47 -> f47 : B'=0, O'=1+O, P'=0, [ E>=1+O && 0>=1+B ], cost: 2
50.95/17.14	
50.95/17.14	    104: f47 -> f47 : B'=0, O'=E, P'=0, [ 0>=1+B && E>=2+O ], cost: 1+E-O
50.95/17.14	
50.95/17.14	    105: f47 -> f47 : B'=1, O'=1+O, P'=1, [ E>=1+O && B>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    106: f47 -> f47 : B'=0, O'=1+O, P'=0, [ E>=1+O && B>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    107: f47 -> f47 : B'=0, O'=E, P'=0, [ B>=1 && E>=2+O ], cost: 1+E-O
50.95/17.14	
50.95/17.14	     22: f66 -> f72 : C'=1, H'=F, M'=0, Q_1'=1, [ F==H ], cost: 1
50.95/17.14	
50.95/17.14	     23: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ F>=1+H ], cost: 1
50.95/17.14	
50.95/17.14	     24: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ H>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	     80: f66 -> f72 : C'=1, H'=F, Q'=Q+D*free_9, M'=D, Q_1'=1, [ F==H && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     81: f66 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ F>=1+H && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     82: f66 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ H>=1+F && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     59: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	    108: f72 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ M>=D && 0>=1+C && F==Q ], cost: 2
50.95/17.14	
50.95/17.14	    109: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && 0>=1+C && F>=1+Q ], cost: 2
50.95/17.14	
50.95/17.14	    110: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && 0>=1+C && Q>=1+F ], cost: 2
50.95/17.14	
50.95/17.14	    111: f72 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ M>=D && C>=1 && F==Q ], cost: 2
50.95/17.14	
50.95/17.14	    112: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C>=1 && F>=1+Q ], cost: 2
50.95/17.14	
50.95/17.14	    113: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C>=1 && Q>=1+F ], cost: 2
50.95/17.14	
50.95/17.14	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.14	
50.95/17.14	    114: f84 -> f94 : J'=0, O'=0, [ D>=1+M && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	    115: f84 -> f94 : J'=0, O'=0, [ D>=1+M && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    116: f84 -> f84 : C'=0, J'=0, M'=1+M, O'=0, S'=0, [ D>=1+M && 0>=D && C==0 ], cost: 2
50.95/17.14	
50.95/17.14	    117: f84 -> f94 : J'=free_10*D, O'=D, [ D>=1+M && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    118: f84 -> f94 : J'=free_10*D, O'=D, [ D>=1+M && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    119: f84 -> f84 : C'=0, J'=free_10*D, M'=1+M, O'=D, S'=0, [ D>=1+M && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	     31: f94 -> f84 : C'=1, J'=F, M'=1+M, S'=1, [ F==J ], cost: 1
50.95/17.14	
50.95/17.14	     32: f94 -> f84 : C'=0, M'=1+M, S'=0, [ F>=1+J ], cost: 1
50.95/17.14	
50.95/17.14	     33: f94 -> f84 : C'=0, M'=1+M, S'=0, [ J>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	    120: f102 -> f112 : K'=0, M'=0, [ D>=1+O && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	    121: f102 -> f112 : K'=0, M'=0, [ D>=1+O && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    122: f102 -> f102 : C'=0, K'=0, M'=0, O'=1+O, T'=0, [ D>=1+O && 0>=D && C==0 ], cost: 2
50.95/17.14	
50.95/17.14	    123: f102 -> f112 : K'=D*free_11, M'=D, [ D>=1+O && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    124: f102 -> f112 : K'=D*free_11, M'=D, [ D>=1+O && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    125: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1+O, T'=0, [ D>=1+O && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	     36: f112 -> f102 : C'=1, K'=F, O'=1+O, T'=1, [ F==K ], cost: 1
50.95/17.14	
50.95/17.14	     37: f112 -> f102 : C'=0, O'=1+O, T'=0, [ F>=1+K ], cost: 1
50.95/17.14	
50.95/17.14	     38: f112 -> f102 : C'=0, O'=1+O, T'=0, [ K>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Applied pruning (of leafs and parallel rules):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     86: f0 -> f31 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ 0>=free_2 ], cost: 2
50.95/17.14	
50.95/17.14	     87: f0 -> f31 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	     65: f31 -> f44 : M'=0, [ M>=E ], cost: 1
50.95/17.14	
50.95/17.14	     89: f31 -> f31 : A'=1, M'=1+M, N'=1, [ E>=1+M && 0>=1+A ], cost: 2
50.95/17.14	
50.95/17.14	     90: f31 -> f31 : A'=0, M'=1+M, N'=0, [ E>=1+M && 0>=1+A ], cost: 2
50.95/17.14	
50.95/17.14	     91: f31 -> f31 : A'=0, M'=E, N'=0, [ 0>=1+A && E>=2+M ], cost: 1+E-M
50.95/17.14	
50.95/17.14	     92: f31 -> f31 : A'=1, M'=1+M, N'=1, [ E>=1+M && A>=1 ], cost: 2
50.95/17.14	
50.95/17.14	     94: f31 -> f31 : A'=0, M'=E, N'=0, [ A>=1 && E>=2+M ], cost: 1+E-M
50.95/17.14	
50.95/17.14	     14: f44 -> f47 : O'=1+M, [ E>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	     77: f44 -> f47 : B'=0, O'=E, P'=0, [ E>=2+M && B==0 ], cost: E-M
50.95/17.14	
50.95/17.14	     95: f44 -> f66 : M'=0, [ M>=E && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	     96: f44 -> f66 : M'=0, [ M>=E && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	     97: f44 -> f72 : C'=0, M'=0, Q_1'=0, [ M>=E && 0>=D && C==0 ], cost: 2
50.95/17.14	
50.95/17.14	     98: f44 -> f66 : H'=H+D*free_8, M'=D, [ M>=E && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	     99: f44 -> f66 : H'=H+D*free_8, M'=D, [ M>=E && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    100: f44 -> f72 : C'=0, H'=H+D*free_8, M'=0, Q_1'=0, [ M>=E && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	    101: f44 -> f72 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, M'=D, Q_1'=0, [ M>=E && D>=1 && C==0 ], cost: 2+2*D
50.95/17.14	
50.95/17.14	     63: f47 -> f44 : M'=1+M, [ O>=E ], cost: 1
50.95/17.14	
50.95/17.14	    102: f47 -> f47 : B'=1, O'=1+O, P'=1, [ E>=1+O && 0>=1+B ], cost: 2
50.95/17.14	
50.95/17.14	    103: f47 -> f47 : B'=0, O'=1+O, P'=0, [ E>=1+O && 0>=1+B ], cost: 2
50.95/17.14	
50.95/17.14	    104: f47 -> f47 : B'=0, O'=E, P'=0, [ 0>=1+B && E>=2+O ], cost: 1+E-O
50.95/17.14	
50.95/17.14	    105: f47 -> f47 : B'=1, O'=1+O, P'=1, [ E>=1+O && B>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    107: f47 -> f47 : B'=0, O'=E, P'=0, [ B>=1 && E>=2+O ], cost: 1+E-O
50.95/17.14	
50.95/17.14	     22: f66 -> f72 : C'=1, H'=F, M'=0, Q_1'=1, [ F==H ], cost: 1
50.95/17.14	
50.95/17.14	     23: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ F>=1+H ], cost: 1
50.95/17.14	
50.95/17.14	     80: f66 -> f72 : C'=1, H'=F, Q'=Q+D*free_9, M'=D, Q_1'=1, [ F==H && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     81: f66 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ F>=1+H && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     82: f66 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ H>=1+F && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     59: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	    108: f72 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ M>=D && 0>=1+C && F==Q ], cost: 2
50.95/17.14	
50.95/17.14	    109: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && 0>=1+C && F>=1+Q ], cost: 2
50.95/17.14	
50.95/17.14	    110: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && 0>=1+C && Q>=1+F ], cost: 2
50.95/17.14	
50.95/17.14	    111: f72 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ M>=D && C>=1 && F==Q ], cost: 2
50.95/17.14	
50.95/17.14	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.14	
50.95/17.14	    114: f84 -> f94 : J'=0, O'=0, [ D>=1+M && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	    115: f84 -> f94 : J'=0, O'=0, [ D>=1+M && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    116: f84 -> f84 : C'=0, J'=0, M'=1+M, O'=0, S'=0, [ D>=1+M && 0>=D && C==0 ], cost: 2
50.95/17.14	
50.95/17.14	    117: f84 -> f94 : J'=free_10*D, O'=D, [ D>=1+M && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    118: f84 -> f94 : J'=free_10*D, O'=D, [ D>=1+M && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    119: f84 -> f84 : C'=0, J'=free_10*D, M'=1+M, O'=D, S'=0, [ D>=1+M && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	     31: f94 -> f84 : C'=1, J'=F, M'=1+M, S'=1, [ F==J ], cost: 1
50.95/17.14	
50.95/17.14	     32: f94 -> f84 : C'=0, M'=1+M, S'=0, [ F>=1+J ], cost: 1
50.95/17.14	
50.95/17.14	     33: f94 -> f84 : C'=0, M'=1+M, S'=0, [ J>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	    120: f102 -> f112 : K'=0, M'=0, [ D>=1+O && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	    121: f102 -> f112 : K'=0, M'=0, [ D>=1+O && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    122: f102 -> f102 : C'=0, K'=0, M'=0, O'=1+O, T'=0, [ D>=1+O && 0>=D && C==0 ], cost: 2
50.95/17.14	
50.95/17.14	    123: f102 -> f112 : K'=D*free_11, M'=D, [ D>=1+O && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    124: f102 -> f112 : K'=D*free_11, M'=D, [ D>=1+O && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    125: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1+O, T'=0, [ D>=1+O && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	     36: f112 -> f102 : C'=1, K'=F, O'=1+O, T'=1, [ F==K ], cost: 1
50.95/17.14	
50.95/17.14	     37: f112 -> f102 : C'=0, O'=1+O, T'=0, [ F>=1+K ], cost: 1
50.95/17.14	
50.95/17.14	     38: f112 -> f102 : C'=0, O'=1+O, T'=0, [ K>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 5.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	     89: f31 -> f31 : A'=1, M'=1+M, N'=1, [ E>=1+M && 0>=1+A ], cost: 2
50.95/17.14	
50.95/17.14	     90: f31 -> f31 : A'=0, M'=1+M, N'=0, [ E>=1+M && 0>=1+A ], cost: 2
50.95/17.14	
50.95/17.14	     91: f31 -> f31 : A'=0, M'=E, N'=0, [ 0>=1+A && E>=2+M ], cost: 1+E-M
50.95/17.14	
50.95/17.14	     92: f31 -> f31 : A'=1, M'=1+M, N'=1, [ E>=1+M && A>=1 ], cost: 2
50.95/17.14	
50.95/17.14	     94: f31 -> f31 : A'=0, M'=E, N'=0, [ A>=1 && E>=2+M ], cost: 1+E-M
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Found no metering function for rule 89.
50.95/17.14	
50.95/17.14	   Found no metering function for rule 90.
50.95/17.14	
50.95/17.14	   Found no metering function for rule 91.
50.95/17.14	
50.95/17.14	   Accelerated rule 92 with metering function E-M, yielding the new rule 126.
50.95/17.14	
50.95/17.14	   Found no metering function for rule 94.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 92.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 8.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	    102: f47 -> f47 : B'=1, O'=1+O, P'=1, [ E>=1+O && 0>=1+B ], cost: 2
50.95/17.14	
50.95/17.14	    103: f47 -> f47 : B'=0, O'=1+O, P'=0, [ E>=1+O && 0>=1+B ], cost: 2
50.95/17.14	
50.95/17.14	    104: f47 -> f47 : B'=0, O'=E, P'=0, [ 0>=1+B && E>=2+O ], cost: 1+E-O
50.95/17.14	
50.95/17.14	    105: f47 -> f47 : B'=1, O'=1+O, P'=1, [ E>=1+O && B>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    107: f47 -> f47 : B'=0, O'=E, P'=0, [ B>=1 && E>=2+O ], cost: 1+E-O
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Found no metering function for rule 102.
50.95/17.14	
50.95/17.14	   Found no metering function for rule 103.
50.95/17.14	
50.95/17.14	   Found no metering function for rule 104.
50.95/17.14	
50.95/17.14	   Accelerated rule 105 with metering function E-O, yielding the new rule 127.
50.95/17.14	
50.95/17.14	   Found no metering function for rule 107.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 105.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 14.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	    116: f84 -> f84 : C'=0, J'=0, M'=1+M, O'=0, S'=0, [ D>=1+M && 0>=D && C==0 ], cost: 2
50.95/17.14	
50.95/17.14	    119: f84 -> f84 : C'=0, J'=free_10*D, M'=1+M, O'=D, S'=0, [ D>=1+M && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Accelerated rule 116 with metering function D-M, yielding the new rule 128.
50.95/17.14	
50.95/17.14	   Accelerated rule 119 with metering function D-M, yielding the new rule 129.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 116 119.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 17.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	    122: f102 -> f102 : C'=0, K'=0, M'=0, O'=1+O, T'=0, [ D>=1+O && 0>=D && C==0 ], cost: 2
50.95/17.14	
50.95/17.14	    125: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1+O, T'=0, [ D>=1+O && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Accelerated rule 122 with metering function -O+D, yielding the new rule 130.
50.95/17.14	
50.95/17.14	   Accelerated rule 125 with metering function -O+D, yielding the new rule 131.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 122 125.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerated all simple loops using metering functions (where possible):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     86: f0 -> f31 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ 0>=free_2 ], cost: 2
50.95/17.14	
50.95/17.14	     87: f0 -> f31 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	     65: f31 -> f44 : M'=0, [ M>=E ], cost: 1
50.95/17.14	
50.95/17.14	     89: f31 -> f31 : A'=1, M'=1+M, N'=1, [ E>=1+M && 0>=1+A ], cost: 2
50.95/17.14	
50.95/17.14	     90: f31 -> f31 : A'=0, M'=1+M, N'=0, [ E>=1+M && 0>=1+A ], cost: 2
50.95/17.14	
50.95/17.14	     91: f31 -> f31 : A'=0, M'=E, N'=0, [ 0>=1+A && E>=2+M ], cost: 1+E-M
50.95/17.14	
50.95/17.14	     94: f31 -> f31 : A'=0, M'=E, N'=0, [ A>=1 && E>=2+M ], cost: 1+E-M
50.95/17.14	
50.95/17.14	    126: f31 -> f31 : A'=1, M'=E, N'=1, [ E>=1+M && A>=1 ], cost: 2*E-2*M
50.95/17.14	
50.95/17.14	     14: f44 -> f47 : O'=1+M, [ E>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	     77: f44 -> f47 : B'=0, O'=E, P'=0, [ E>=2+M && B==0 ], cost: E-M
50.95/17.14	
50.95/17.14	     95: f44 -> f66 : M'=0, [ M>=E && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	     96: f44 -> f66 : M'=0, [ M>=E && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	     97: f44 -> f72 : C'=0, M'=0, Q_1'=0, [ M>=E && 0>=D && C==0 ], cost: 2
50.95/17.14	
50.95/17.14	     98: f44 -> f66 : H'=H+D*free_8, M'=D, [ M>=E && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	     99: f44 -> f66 : H'=H+D*free_8, M'=D, [ M>=E && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    100: f44 -> f72 : C'=0, H'=H+D*free_8, M'=0, Q_1'=0, [ M>=E && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	    101: f44 -> f72 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, M'=D, Q_1'=0, [ M>=E && D>=1 && C==0 ], cost: 2+2*D
50.95/17.14	
50.95/17.14	     63: f47 -> f44 : M'=1+M, [ O>=E ], cost: 1
50.95/17.14	
50.95/17.14	    102: f47 -> f47 : B'=1, O'=1+O, P'=1, [ E>=1+O && 0>=1+B ], cost: 2
50.95/17.14	
50.95/17.14	    103: f47 -> f47 : B'=0, O'=1+O, P'=0, [ E>=1+O && 0>=1+B ], cost: 2
50.95/17.14	
50.95/17.14	    104: f47 -> f47 : B'=0, O'=E, P'=0, [ 0>=1+B && E>=2+O ], cost: 1+E-O
50.95/17.14	
50.95/17.14	    107: f47 -> f47 : B'=0, O'=E, P'=0, [ B>=1 && E>=2+O ], cost: 1+E-O
50.95/17.14	
50.95/17.14	    127: f47 -> f47 : B'=1, O'=E, P'=1, [ E>=1+O && B>=1 ], cost: 2*E-2*O
50.95/17.14	
50.95/17.14	     22: f66 -> f72 : C'=1, H'=F, M'=0, Q_1'=1, [ F==H ], cost: 1
50.95/17.14	
50.95/17.14	     23: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ F>=1+H ], cost: 1
50.95/17.14	
50.95/17.14	     80: f66 -> f72 : C'=1, H'=F, Q'=Q+D*free_9, M'=D, Q_1'=1, [ F==H && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     81: f66 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ F>=1+H && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     82: f66 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ H>=1+F && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     59: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	    108: f72 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ M>=D && 0>=1+C && F==Q ], cost: 2
50.95/17.14	
50.95/17.14	    109: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && 0>=1+C && F>=1+Q ], cost: 2
50.95/17.14	
50.95/17.14	    110: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && 0>=1+C && Q>=1+F ], cost: 2
50.95/17.14	
50.95/17.14	    111: f72 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ M>=D && C>=1 && F==Q ], cost: 2
50.95/17.14	
50.95/17.14	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.14	
50.95/17.14	    114: f84 -> f94 : J'=0, O'=0, [ D>=1+M && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	    115: f84 -> f94 : J'=0, O'=0, [ D>=1+M && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    117: f84 -> f94 : J'=free_10*D, O'=D, [ D>=1+M && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    118: f84 -> f94 : J'=free_10*D, O'=D, [ D>=1+M && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    128: f84 -> f84 : C'=0, J'=0, M'=D, O'=0, S'=0, [ D>=1+M && 0>=D && C==0 ], cost: 2*D-2*M
50.95/17.14	
50.95/17.14	    129: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1+M && D>=1 && C==0 ], cost: 2*D+(D-M)*D-2*M
50.95/17.14	
50.95/17.14	     31: f94 -> f84 : C'=1, J'=F, M'=1+M, S'=1, [ F==J ], cost: 1
50.95/17.14	
50.95/17.14	     32: f94 -> f84 : C'=0, M'=1+M, S'=0, [ F>=1+J ], cost: 1
50.95/17.14	
50.95/17.14	     33: f94 -> f84 : C'=0, M'=1+M, S'=0, [ J>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	    120: f102 -> f112 : K'=0, M'=0, [ D>=1+O && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	    121: f102 -> f112 : K'=0, M'=0, [ D>=1+O && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    123: f102 -> f112 : K'=D*free_11, M'=D, [ D>=1+O && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    124: f102 -> f112 : K'=D*free_11, M'=D, [ D>=1+O && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    130: f102 -> f102 : C'=0, K'=0, M'=0, O'=D, T'=0, [ D>=1+O && 0>=D && C==0 ], cost: -2*O+2*D
50.95/17.14	
50.95/17.14	    131: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1+O && D>=1 && C==0 ], cost: -2*O-(O-D)*D+2*D
50.95/17.14	
50.95/17.14	     36: f112 -> f102 : C'=1, K'=F, O'=1+O, T'=1, [ F==K ], cost: 1
50.95/17.14	
50.95/17.14	     37: f112 -> f102 : C'=0, O'=1+O, T'=0, [ F>=1+K ], cost: 1
50.95/17.14	
50.95/17.14	     38: f112 -> f102 : C'=0, O'=1+O, T'=0, [ K>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Chained accelerated rules (with incoming rules):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     86: f0 -> f31 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ 0>=free_2 ], cost: 2
50.95/17.14	
50.95/17.14	     87: f0 -> f31 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	    132: f0 -> f31 : A'=0, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=free_2, N'=0, [ free_2>=2 ], cost: 3+2*free_2
50.95/17.14	
50.95/17.14	    133: f0 -> f31 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=free_2, N'=1, [ free_2>=1 ], cost: 2+3*free_2
50.95/17.14	
50.95/17.14	     65: f31 -> f44 : M'=0, [ M>=E ], cost: 1
50.95/17.14	
50.95/17.14	     14: f44 -> f47 : O'=1+M, [ E>=1+M ], cost: 1
50.95/17.14	
50.95/17.14	     77: f44 -> f47 : B'=0, O'=E, P'=0, [ E>=2+M && B==0 ], cost: E-M
50.95/17.14	
50.95/17.14	     95: f44 -> f66 : M'=0, [ M>=E && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	     96: f44 -> f66 : M'=0, [ M>=E && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	     97: f44 -> f72 : C'=0, M'=0, Q_1'=0, [ M>=E && 0>=D && C==0 ], cost: 2
50.95/17.14	
50.95/17.14	     98: f44 -> f66 : H'=H+D*free_8, M'=D, [ M>=E && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	     99: f44 -> f66 : H'=H+D*free_8, M'=D, [ M>=E && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    100: f44 -> f72 : C'=0, H'=H+D*free_8, M'=0, Q_1'=0, [ M>=E && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	    101: f44 -> f72 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, M'=D, Q_1'=0, [ M>=E && D>=1 && C==0 ], cost: 2+2*D
50.95/17.14	
50.95/17.14	    134: f44 -> f47 : B'=1, O'=2+M, P'=1, [ E>=2+M && 0>=1+B ], cost: 3
50.95/17.14	
50.95/17.14	    135: f44 -> f47 : B'=0, O'=2+M, P'=0, [ E>=2+M && 0>=1+B ], cost: 3
50.95/17.14	
50.95/17.14	    136: f44 -> f47 : B'=0, O'=E, P'=0, [ 0>=1+B && E>=3+M ], cost: 1+E-M
50.95/17.14	
50.95/17.14	    137: f44 -> f47 : B'=0, O'=E, P'=0, [ B>=1 && E>=3+M ], cost: 1+E-M
50.95/17.14	
50.95/17.14	    138: f44 -> f47 : B'=1, O'=E, P'=1, [ E>=2+M && B>=1 ], cost: -1+2*E-2*M
50.95/17.14	
50.95/17.14	     63: f47 -> f44 : M'=1+M, [ O>=E ], cost: 1
50.95/17.14	
50.95/17.14	     22: f66 -> f72 : C'=1, H'=F, M'=0, Q_1'=1, [ F==H ], cost: 1
50.95/17.14	
50.95/17.14	     23: f66 -> f72 : C'=0, M'=0, Q_1'=0, [ F>=1+H ], cost: 1
50.95/17.14	
50.95/17.14	     80: f66 -> f72 : C'=1, H'=F, Q'=Q+D*free_9, M'=D, Q_1'=1, [ F==H && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     81: f66 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ F>=1+H && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     82: f66 -> f72 : C'=0, Q'=Q+D*free_9, M'=D, Q_1'=0, [ H>=1+F && D>=1 ], cost: 1+D
50.95/17.14	
50.95/17.14	     59: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && C==0 ], cost: 1
50.95/17.14	
50.95/17.14	    108: f72 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ M>=D && 0>=1+C && F==Q ], cost: 2
50.95/17.14	
50.95/17.14	    109: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && 0>=1+C && F>=1+Q ], cost: 2
50.95/17.14	
50.95/17.14	    110: f72 -> f84 : C'=0, M'=0, R'=0, [ M>=D && 0>=1+C && Q>=1+F ], cost: 2
50.95/17.14	
50.95/17.14	    111: f72 -> f84 : C'=1, Q'=F, M'=0, R'=1, [ M>=D && C>=1 && F==Q ], cost: 2
50.95/17.14	
50.95/17.14	    143: f72 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, R'=0, S'=0, [ M>=D && C==0 && D>=1 ], cost: 1+2*D+D^2
50.95/17.14	
50.95/17.14	    144: f72 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, R'=0, S'=0, [ M>=D && 0>=1+C && F>=1+Q && D>=1 ], cost: 2+2*D+D^2
50.95/17.14	
50.95/17.14	    145: f72 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, R'=0, S'=0, [ M>=D && 0>=1+C && Q>=1+F && D>=1 ], cost: 2+2*D+D^2
50.95/17.14	
50.95/17.14	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.14	
50.95/17.14	    114: f84 -> f94 : J'=0, O'=0, [ D>=1+M && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	    115: f84 -> f94 : J'=0, O'=0, [ D>=1+M && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    117: f84 -> f94 : J'=free_10*D, O'=D, [ D>=1+M && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    118: f84 -> f94 : J'=free_10*D, O'=D, [ D>=1+M && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    150: f84 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ M>=D && D>=1 && C==0 ], cost: 1+2*D+D^2
50.95/17.14	
50.95/17.14	     31: f94 -> f84 : C'=1, J'=F, M'=1+M, S'=1, [ F==J ], cost: 1
50.95/17.14	
50.95/17.14	     32: f94 -> f84 : C'=0, M'=1+M, S'=0, [ F>=1+J ], cost: 1
50.95/17.14	
50.95/17.14	     33: f94 -> f84 : C'=0, M'=1+M, S'=0, [ J>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	    139: f94 -> f84 : C'=0, J'=0, M'=D, O'=0, S'=0, [ F>=1+J && D>=2+M && 0>=D ], cost: -1+2*D-2*M
50.95/17.14	
50.95/17.14	    140: f94 -> f84 : C'=0, J'=0, M'=D, O'=0, S'=0, [ J>=1+F && D>=2+M && 0>=D ], cost: -1+2*D-2*M
50.95/17.14	
50.95/17.14	    141: f94 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ F>=1+J && D>=2+M && D>=1 ], cost: -1+2*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    142: f94 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ J>=1+F && D>=2+M && D>=1 ], cost: -1+2*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    120: f102 -> f112 : K'=0, M'=0, [ D>=1+O && 0>=D && 0>=1+C ], cost: 2
50.95/17.14	
50.95/17.14	    121: f102 -> f112 : K'=0, M'=0, [ D>=1+O && 0>=D && C>=1 ], cost: 2
50.95/17.14	
50.95/17.14	    123: f102 -> f112 : K'=D*free_11, M'=D, [ D>=1+O && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    124: f102 -> f112 : K'=D*free_11, M'=D, [ D>=1+O && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	     36: f112 -> f102 : C'=1, K'=F, O'=1+O, T'=1, [ F==K ], cost: 1
50.95/17.14	
50.95/17.14	     37: f112 -> f102 : C'=0, O'=1+O, T'=0, [ F>=1+K ], cost: 1
50.95/17.14	
50.95/17.14	     38: f112 -> f102 : C'=0, O'=1+O, T'=0, [ K>=1+F ], cost: 1
50.95/17.14	
50.95/17.14	    146: f112 -> f102 : C'=0, K'=0, M'=0, O'=D, T'=0, [ F>=1+K && D>=2+O && 0>=D ], cost: -1-2*O+2*D
50.95/17.14	
50.95/17.14	    147: f112 -> f102 : C'=0, K'=0, M'=0, O'=D, T'=0, [ K>=1+F && D>=2+O && 0>=D ], cost: -1-2*O+2*D
50.95/17.14	
50.95/17.14	    148: f112 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ F>=1+K && D>=2+O && D>=1 ], cost: -1-2*O+2*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    149: f112 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ K>=1+F && D>=2+O && D>=1 ], cost: -1-2*O+2*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Eliminated locations (on tree-shaped paths):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	    151: f0 -> f44 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ 0>=free_2 ], cost: 3
50.95/17.14	
50.95/17.14	    152: f0 -> f44 : A'=0, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, N'=0, [ free_2>=2 ], cost: 4+2*free_2
50.95/17.14	
50.95/17.14	    153: f0 -> f44 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, N'=1, [ free_2>=1 ], cost: 3+3*free_2
50.95/17.14	
50.95/17.14	    154: f0 -> [34] : [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	    155: f44 -> f44 : M'=1+M, O'=1+M, [ E>=1+M && 1+M>=E ], cost: 2
50.95/17.14	
50.95/17.14	    156: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ E>=2+M && B==0 ], cost: 1+E-M
50.95/17.14	
50.95/17.14	    157: f44 -> f44 : B'=1, M'=1+M, O'=2+M, P'=1, [ E>=2+M && 0>=1+B && 2+M>=E ], cost: 4
50.95/17.14	
50.95/17.14	    158: f44 -> f44 : B'=0, M'=1+M, O'=2+M, P'=0, [ E>=2+M && 0>=1+B && 2+M>=E ], cost: 4
50.95/17.14	
50.95/17.14	    159: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ 0>=1+B && E>=3+M ], cost: 2+E-M
50.95/17.14	
50.95/17.14	    160: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ B>=1 && E>=3+M ], cost: 2+E-M
50.95/17.14	
50.95/17.14	    161: f44 -> f44 : B'=1, M'=1+M, O'=E, P'=1, [ E>=2+M && B>=1 ], cost: 2*E-2*M
50.95/17.14	
50.95/17.14	    176: f44 -> f84 : C'=0, M'=0, Q_1'=0, R'=0, [ M>=E && 0>=D && C==0 ], cost: 3
50.95/17.14	
50.95/17.14	    177: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, M'=0, Q_1'=0, R'=0, [ M>=E && D>=1 && C==0 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    178: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C==0 ], cost: 3+4*D+D^2
50.95/17.14	
50.95/17.14	    179: f44 -> f84 : C'=1, H'=F, Q'=F, M'=0, Q_1'=1, R'=1, [ M>=E && 0>=D && 0>=1+C && F==H && F==Q ], cost: 5
50.95/17.14	
50.95/17.14	    180: f44 -> f84 : C'=0, M'=0, Q_1'=0, R'=0, [ M>=E && 0>=D && 0>=1+C && F>=1+H ], cost: 4
50.95/17.14	
50.95/17.14	    181: f44 -> f84 : C'=1, H'=F, Q'=F, M'=0, Q_1'=1, R'=1, [ M>=E && 0>=D && C>=1 && F==H && F==Q ], cost: 5
50.95/17.14	
50.95/17.14	    182: f44 -> f84 : C'=0, M'=0, Q_1'=0, R'=0, [ M>=E && 0>=D && C>=1 && F>=1+H ], cost: 4
50.95/17.14	
50.95/17.14	    183: f44 -> f84 : C'=1, H'=F, Q'=F, M'=0, Q_1'=1, R'=1, [ M>=E && D>=1 && 0>=1+C && F==H+D*free_8 && F==Q+D*free_9 ], cost: 5+2*D
50.95/17.14	
50.95/17.14	    184: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, M'=0, Q_1'=0, R'=0, [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 4+2*D
50.95/17.14	
50.95/17.14	    185: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    186: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, M'=0, Q_1'=0, R'=0, [ M>=E && D>=1 && 0>=1+C && H+D*free_8>=1+F ], cost: 4+2*D
50.95/17.14	
50.95/17.14	    187: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && 0>=1+C && H+D*free_8>=1+F ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    188: f44 -> f84 : C'=1, H'=F, Q'=F, M'=0, Q_1'=1, R'=1, [ M>=E && D>=1 && C>=1 && F==H+D*free_8 && F==Q+D*free_9 ], cost: 5+2*D
50.95/17.14	
50.95/17.14	    189: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, M'=0, Q_1'=0, R'=0, [ M>=E && D>=1 && C>=1 && F>=1+H+D*free_8 ], cost: 4+2*D
50.95/17.14	
50.95/17.14	    190: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C>=1 && F>=1+H+D*free_8 ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    191: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, M'=0, Q_1'=0, R'=0, [ M>=E && D>=1 && C>=1 && H+D*free_8>=1+F ], cost: 4+2*D
50.95/17.14	
50.95/17.14	    192: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C>=1 && H+D*free_8>=1+F ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    193: f44 -> [35] : [ M>=E && D>=1 && C==0 ], cost: 2+D
50.95/17.14	
50.95/17.14	    194: f44 -> [35] : [ M>=E && D>=1 && C==0 ], cost: 2+2*D
50.95/17.14	
50.95/17.14	    195: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && F==H+D*free_8 ], cost: 3+D
50.95/17.14	
50.95/17.14	    196: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 3+D
50.95/17.14	
50.95/17.14	    197: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && F==H+D*free_8 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    198: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    199: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && H+D*free_8>=1+F ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    200: f44 -> [35] : [ M>=E && D>=1 && C>=1 && F==H+D*free_8 ], cost: 3+D
50.95/17.14	
50.95/17.14	    201: f44 -> [35] : [ M>=E && D>=1 && C>=1 && F>=1+H+D*free_8 ], cost: 3+D
50.95/17.14	
50.95/17.14	    202: f44 -> [35] : [ M>=E && D>=1 && C>=1 && F==H+D*free_8 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    203: f44 -> [35] : [ M>=E && D>=1 && C>=1 && F>=1+H+D*free_8 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    204: f44 -> [35] : [ M>=E && D>=1 && C>=1 && H+D*free_8>=1+F ], cost: 3+2*D
50.95/17.14	
50.95/17.14	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.14	
50.95/17.14	    150: f84 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ M>=D && D>=1 && C==0 ], cost: 1+2*D+D^2
50.95/17.14	
50.95/17.14	    205: f84 -> f84 : C'=1, J'=F, M'=1+M, O'=0, S'=1, [ D>=1+M && 0>=D && 0>=1+C && F==0 ], cost: 3
50.95/17.14	
50.95/17.14	    206: f84 -> f84 : C'=0, J'=0, M'=1+M, O'=0, S'=0, [ D>=1+M && 0>=D && 0>=1+C && F>=1 ], cost: 3
50.95/17.14	
50.95/17.14	    207: f84 -> f84 : C'=0, J'=0, M'=1+M, O'=0, S'=0, [ D>=1+M && 0>=D && 0>=1+C && 0>=1+F ], cost: 3
50.95/17.14	
50.95/17.14	    208: f84 -> f84 : C'=0, J'=0, M'=D, O'=0, S'=0, [ 0>=D && 0>=1+C && F>=1 && D>=2+M ], cost: 1+2*D-2*M
50.95/17.14	
50.95/17.14	    209: f84 -> f84 : C'=0, J'=0, M'=D, O'=0, S'=0, [ 0>=D && 0>=1+C && 0>=1+F && D>=2+M ], cost: 1+2*D-2*M
50.95/17.14	
50.95/17.14	    210: f84 -> f84 : C'=1, J'=F, M'=1+M, O'=0, S'=1, [ D>=1+M && 0>=D && C>=1 && F==0 ], cost: 3
50.95/17.14	
50.95/17.14	    211: f84 -> f84 : C'=0, J'=0, M'=1+M, O'=0, S'=0, [ D>=1+M && 0>=D && C>=1 && F>=1 ], cost: 3
50.95/17.14	
50.95/17.14	    212: f84 -> f84 : C'=0, J'=0, M'=1+M, O'=0, S'=0, [ D>=1+M && 0>=D && C>=1 && 0>=1+F ], cost: 3
50.95/17.14	
50.95/17.14	    213: f84 -> f84 : C'=0, J'=0, M'=D, O'=0, S'=0, [ 0>=D && C>=1 && F>=1 && D>=2+M ], cost: 1+2*D-2*M
50.95/17.14	
50.95/17.14	    214: f84 -> f84 : C'=0, J'=0, M'=D, O'=0, S'=0, [ 0>=D && C>=1 && 0>=1+F && D>=2+M ], cost: 1+2*D-2*M
50.95/17.14	
50.95/17.14	    215: f84 -> f84 : C'=1, J'=F, M'=1+M, O'=D, S'=1, [ D>=1+M && D>=1 && 0>=1+C && F==free_10*D ], cost: 3+D
50.95/17.14	
50.95/17.14	    216: f84 -> f84 : C'=0, J'=free_10*D, M'=1+M, O'=D, S'=0, [ D>=1+M && D>=1 && 0>=1+C && F>=1+free_10*D ], cost: 3+D
50.95/17.14	
50.95/17.14	    217: f84 -> f84 : C'=0, J'=free_10*D, M'=1+M, O'=D, S'=0, [ D>=1+M && D>=1 && 0>=1+C && free_10*D>=1+F ], cost: 3+D
50.95/17.14	
50.95/17.14	    218: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && 0>=1+C && F>=1+free_10*D && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    219: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && 0>=1+C && free_10*D>=1+F && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    220: f84 -> f84 : C'=1, J'=F, M'=1+M, O'=D, S'=1, [ D>=1+M && D>=1 && C>=1 && F==free_10*D ], cost: 3+D
50.95/17.14	
50.95/17.14	    221: f84 -> f84 : C'=0, J'=free_10*D, M'=1+M, O'=D, S'=0, [ D>=1+M && D>=1 && C>=1 && F>=1+free_10*D ], cost: 3+D
50.95/17.14	
50.95/17.14	    222: f84 -> f84 : C'=0, J'=free_10*D, M'=1+M, O'=D, S'=0, [ D>=1+M && D>=1 && C>=1 && free_10*D>=1+F ], cost: 3+D
50.95/17.14	
50.95/17.14	    223: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && C>=1 && F>=1+free_10*D && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    224: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && C>=1 && free_10*D>=1+F && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    225: f84 -> [36] : [ D>=1+M && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    226: f84 -> [36] : [ D>=1+M && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    227: f102 -> f102 : C'=1, K'=F, M'=0, O'=1+O, T'=1, [ D>=1+O && 0>=D && 0>=1+C && F==0 ], cost: 3
50.95/17.14	
50.95/17.14	    228: f102 -> f102 : C'=0, K'=0, M'=0, O'=1+O, T'=0, [ D>=1+O && 0>=D && 0>=1+C && F>=1 ], cost: 3
50.95/17.14	
50.95/17.14	    229: f102 -> f102 : C'=0, K'=0, M'=0, O'=1+O, T'=0, [ D>=1+O && 0>=D && 0>=1+C && 0>=1+F ], cost: 3
50.95/17.14	
50.95/17.14	    230: f102 -> f102 : C'=0, K'=0, M'=0, O'=D, T'=0, [ 0>=D && 0>=1+C && F>=1 && D>=2+O ], cost: 1-2*O+2*D
50.95/17.14	
50.95/17.14	    231: f102 -> f102 : C'=0, K'=0, M'=0, O'=D, T'=0, [ 0>=D && 0>=1+C && 0>=1+F && D>=2+O ], cost: 1-2*O+2*D
50.95/17.14	
50.95/17.14	    232: f102 -> f102 : C'=1, K'=F, M'=0, O'=1+O, T'=1, [ D>=1+O && 0>=D && C>=1 && F==0 ], cost: 3
50.95/17.14	
50.95/17.14	    233: f102 -> f102 : C'=0, K'=0, M'=0, O'=1+O, T'=0, [ D>=1+O && 0>=D && C>=1 && F>=1 ], cost: 3
50.95/17.14	
50.95/17.14	    234: f102 -> f102 : C'=0, K'=0, M'=0, O'=1+O, T'=0, [ D>=1+O && 0>=D && C>=1 && 0>=1+F ], cost: 3
50.95/17.14	
50.95/17.14	    235: f102 -> f102 : C'=0, K'=0, M'=0, O'=D, T'=0, [ 0>=D && C>=1 && F>=1 && D>=2+O ], cost: 1-2*O+2*D
50.95/17.14	
50.95/17.14	    236: f102 -> f102 : C'=0, K'=0, M'=0, O'=D, T'=0, [ 0>=D && C>=1 && 0>=1+F && D>=2+O ], cost: 1-2*O+2*D
50.95/17.14	
50.95/17.14	    237: f102 -> f102 : C'=1, K'=F, M'=D, O'=1+O, T'=1, [ D>=1+O && D>=1 && 0>=1+C && F==D*free_11 ], cost: 3+D
50.95/17.14	
50.95/17.14	    238: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1+O, T'=0, [ D>=1+O && D>=1 && 0>=1+C && F>=1+D*free_11 ], cost: 3+D
50.95/17.14	
50.95/17.14	    239: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1+O, T'=0, [ D>=1+O && D>=1 && 0>=1+C && D*free_11>=1+F ], cost: 3+D
50.95/17.14	
50.95/17.14	    240: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && 0>=1+C && F>=1+D*free_11 && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    241: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && 0>=1+C && D*free_11>=1+F && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    242: f102 -> f102 : C'=1, K'=F, M'=D, O'=1+O, T'=1, [ D>=1+O && D>=1 && C>=1 && F==D*free_11 ], cost: 3+D
50.95/17.14	
50.95/17.14	    243: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1+O, T'=0, [ D>=1+O && D>=1 && C>=1 && F>=1+D*free_11 ], cost: 3+D
50.95/17.14	
50.95/17.14	    244: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1+O, T'=0, [ D>=1+O && D>=1 && C>=1 && D*free_11>=1+F ], cost: 3+D
50.95/17.14	
50.95/17.14	    245: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && C>=1 && F>=1+D*free_11 && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    246: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && C>=1 && D*free_11>=1+F && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    247: f102 -> [37] : [ D>=1+O && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    248: f102 -> [37] : [ D>=1+O && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Applied pruning (of leafs and parallel rules):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	    151: f0 -> f44 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ 0>=free_2 ], cost: 3
50.95/17.14	
50.95/17.14	    152: f0 -> f44 : A'=0, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, N'=0, [ free_2>=2 ], cost: 4+2*free_2
50.95/17.14	
50.95/17.14	    153: f0 -> f44 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, N'=1, [ free_2>=1 ], cost: 3+3*free_2
50.95/17.14	
50.95/17.14	    154: f0 -> [34] : [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	    156: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ E>=2+M && B==0 ], cost: 1+E-M
50.95/17.14	
50.95/17.14	    158: f44 -> f44 : B'=0, M'=1+M, O'=2+M, P'=0, [ E>=2+M && 0>=1+B && 2+M>=E ], cost: 4
50.95/17.14	
50.95/17.14	    159: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ 0>=1+B && E>=3+M ], cost: 2+E-M
50.95/17.14	
50.95/17.14	    160: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ B>=1 && E>=3+M ], cost: 2+E-M
50.95/17.14	
50.95/17.14	    161: f44 -> f44 : B'=1, M'=1+M, O'=E, P'=1, [ E>=2+M && B>=1 ], cost: 2*E-2*M
50.95/17.14	
50.95/17.14	    178: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C==0 ], cost: 3+4*D+D^2
50.95/17.14	
50.95/17.14	    185: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    187: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && 0>=1+C && H+D*free_8>=1+F ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    190: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C>=1 && F>=1+H+D*free_8 ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    192: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C>=1 && H+D*free_8>=1+F ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    196: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 3+D
50.95/17.14	
50.95/17.14	    198: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    199: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && H+D*free_8>=1+F ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    203: f44 -> [35] : [ M>=E && D>=1 && C>=1 && F>=1+H+D*free_8 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    204: f44 -> [35] : [ M>=E && D>=1 && C>=1 && H+D*free_8>=1+F ], cost: 3+2*D
50.95/17.14	
50.95/17.14	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.14	
50.95/17.14	    150: f84 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ M>=D && D>=1 && C==0 ], cost: 1+2*D+D^2
50.95/17.14	
50.95/17.14	    218: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && 0>=1+C && F>=1+free_10*D && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    219: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && 0>=1+C && free_10*D>=1+F && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    221: f84 -> f84 : C'=0, J'=free_10*D, M'=1+M, O'=D, S'=0, [ D>=1+M && D>=1 && C>=1 && F>=1+free_10*D ], cost: 3+D
50.95/17.14	
50.95/17.14	    223: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && C>=1 && F>=1+free_10*D && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    224: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && C>=1 && free_10*D>=1+F && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    225: f84 -> [36] : [ D>=1+M && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    226: f84 -> [36] : [ D>=1+M && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    240: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && 0>=1+C && F>=1+D*free_11 && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    241: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && 0>=1+C && D*free_11>=1+F && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    243: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1+O, T'=0, [ D>=1+O && D>=1 && C>=1 && F>=1+D*free_11 ], cost: 3+D
50.95/17.14	
50.95/17.14	    245: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && C>=1 && F>=1+D*free_11 && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    246: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && C>=1 && D*free_11>=1+F && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    247: f102 -> [37] : [ D>=1+O && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    248: f102 -> [37] : [ D>=1+O && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 7.
50.95/17.14	
50.95/17.14	   Simplified some of the simple loops (and removed duplicate rules).
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	    156: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ E>=2+M && B==0 ], cost: 1+E-M
50.95/17.14	
50.95/17.14	    158: f44 -> f44 : B'=0, M'=1+M, O'=2+M, P'=0, [ 2-E+M==0 && 0>=1+B ], cost: 4
50.95/17.14	
50.95/17.14	    159: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ 0>=1+B && E>=3+M ], cost: 2+E-M
50.95/17.14	
50.95/17.14	    160: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ B>=1 && E>=3+M ], cost: 2+E-M
50.95/17.14	
50.95/17.14	    161: f44 -> f44 : B'=1, M'=1+M, O'=E, P'=1, [ E>=2+M && B>=1 ], cost: 2*E-2*M
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Accelerated rule 156 with metering function -1+E-M, yielding the new rule 249.
50.95/17.14	
50.95/17.14	   Accelerated rule 158 with metering function -2+E-M, yielding the new rule 250.
50.95/17.14	
50.95/17.14	   Found no metering function for rule 159.
50.95/17.14	
50.95/17.14	   Found no metering function for rule 160.
50.95/17.14	
50.95/17.14	   Accelerated rule 161 with metering function -1+E-M, yielding the new rule 251.
50.95/17.14	
50.95/17.14	   Removing the simple loops: 156 158 161.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 14.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	    218: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && 0>=1+C && F>=1+free_10*D && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    219: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && 0>=1+C && free_10*D>=1+F && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    221: f84 -> f84 : C'=0, J'=free_10*D, M'=1+M, O'=D, S'=0, [ D>=1+M && D>=1 && C>=1 && F>=1+free_10*D ], cost: 3+D
50.95/17.14	
50.95/17.14	    223: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && C>=1 && F>=1+free_10*D && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    224: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && C>=1 && free_10*D>=1+F && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Found no metering function for rule 218 (rule is too complicated).
50.95/17.14	
50.95/17.14	   Found no metering function for rule 219 (rule is too complicated).
50.95/17.14	
50.95/17.14	   Found no metering function for rule 221 (rule is too complicated).
50.95/17.14	
50.95/17.14	   Found no metering function for rule 223 (rule is too complicated).
50.95/17.14	
50.95/17.14	   Found no metering function for rule 224 (rule is too complicated).
50.95/17.14	
50.95/17.14	   Removing the simple loops:.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerating simple loops of location 17.
50.95/17.14	
50.95/17.14	   Accelerating the following rules:
50.95/17.14	
50.95/17.14	    240: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && 0>=1+C && F>=1+D*free_11 && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    241: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && 0>=1+C && D*free_11>=1+F && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    243: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1+O, T'=0, [ D>=1+O && D>=1 && C>=1 && F>=1+D*free_11 ], cost: 3+D
50.95/17.14	
50.95/17.14	    245: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && C>=1 && F>=1+D*free_11 && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    246: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && C>=1 && D*free_11>=1+F && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Found no metering function for rule 240 (rule is too complicated).
50.95/17.14	
50.95/17.14	   Found no metering function for rule 241 (rule is too complicated).
50.95/17.14	
50.95/17.14	   Found no metering function for rule 243 (rule is too complicated).
50.95/17.14	
50.95/17.14	   Found no metering function for rule 245 (rule is too complicated).
50.95/17.14	
50.95/17.14	   Found no metering function for rule 246 (rule is too complicated).
50.95/17.14	
50.95/17.14	   Removing the simple loops:.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Accelerated all simple loops using metering functions (where possible):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	    151: f0 -> f44 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ 0>=free_2 ], cost: 3
50.95/17.14	
50.95/17.14	    152: f0 -> f44 : A'=0, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, N'=0, [ free_2>=2 ], cost: 4+2*free_2
50.95/17.14	
50.95/17.14	    153: f0 -> f44 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, N'=1, [ free_2>=1 ], cost: 3+3*free_2
50.95/17.14	
50.95/17.14	    154: f0 -> [34] : [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	    159: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ 0>=1+B && E>=3+M ], cost: 2+E-M
50.95/17.14	
50.95/17.14	    160: f44 -> f44 : B'=0, M'=1+M, O'=E, P'=0, [ B>=1 && E>=3+M ], cost: 2+E-M
50.95/17.14	
50.95/17.14	    178: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C==0 ], cost: 3+4*D+D^2
50.95/17.14	
50.95/17.14	    185: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    187: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && 0>=1+C && H+D*free_8>=1+F ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    190: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C>=1 && F>=1+H+D*free_8 ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    192: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C>=1 && H+D*free_8>=1+F ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    196: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 3+D
50.95/17.14	
50.95/17.14	    198: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    199: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && H+D*free_8>=1+F ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    203: f44 -> [35] : [ M>=E && D>=1 && C>=1 && F>=1+H+D*free_8 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    204: f44 -> [35] : [ M>=E && D>=1 && C>=1 && H+D*free_8>=1+F ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    249: f44 -> f44 : B'=0, M'=-1+E, O'=E, P'=0, [ E>=2+M && B==0 ], cost: -3/2+3/2*E-1/2*(-1+E-M)^2-M*(-1+E-M)-3/2*M+E*(-1+E-M)
50.95/17.14	
50.95/17.14	    250: f44 -> f44 : B'=0, M'=-2+E, O'=-1+E, P'=0, [ 2-E+M==0 && 0>=1+B && -2+E-M>=1 ], cost: -8+4*E-4*M
50.95/17.14	
50.95/17.14	    251: f44 -> f44 : B'=1, M'=-1+E, O'=E, P'=1, [ E>=2+M && B>=1 ], cost: -1+E-(-1+E-M)^2-2*M*(-1+E-M)-M+2*E*(-1+E-M)
50.95/17.14	
50.95/17.14	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.14	
50.95/17.14	    150: f84 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ M>=D && D>=1 && C==0 ], cost: 1+2*D+D^2
50.95/17.14	
50.95/17.14	    218: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && 0>=1+C && F>=1+free_10*D && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    219: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && 0>=1+C && free_10*D>=1+F && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    221: f84 -> f84 : C'=0, J'=free_10*D, M'=1+M, O'=D, S'=0, [ D>=1+M && D>=1 && C>=1 && F>=1+free_10*D ], cost: 3+D
50.95/17.14	
50.95/17.14	    223: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && C>=1 && F>=1+free_10*D && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    224: f84 -> f84 : C'=0, J'=free_10*D, M'=D, O'=D, S'=0, [ D>=1 && C>=1 && free_10*D>=1+F && D>=2+M ], cost: 1+3*D-2*M+(-1+D-M)*D
50.95/17.14	
50.95/17.14	    225: f84 -> [36] : [ D>=1+M && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    226: f84 -> [36] : [ D>=1+M && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    240: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && 0>=1+C && F>=1+D*free_11 && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    241: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && 0>=1+C && D*free_11>=1+F && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    243: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1+O, T'=0, [ D>=1+O && D>=1 && C>=1 && F>=1+D*free_11 ], cost: 3+D
50.95/17.14	
50.95/17.14	    245: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && C>=1 && F>=1+D*free_11 && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    246: f102 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ D>=1 && C>=1 && D*free_11>=1+F && D>=2+O ], cost: 1-2*O+3*D-(1+O-D)*D
50.95/17.14	
50.95/17.14	    247: f102 -> [37] : [ D>=1+O && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    248: f102 -> [37] : [ D>=1+O && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Chained accelerated rules (with incoming rules):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	    151: f0 -> f44 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ 0>=free_2 ], cost: 3
50.95/17.14	
50.95/17.14	    152: f0 -> f44 : A'=0, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, N'=0, [ free_2>=2 ], cost: 4+2*free_2
50.95/17.14	
50.95/17.14	    153: f0 -> f44 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, N'=1, [ free_2>=1 ], cost: 3+3*free_2
50.95/17.14	
50.95/17.14	    154: f0 -> [34] : [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	    252: f0 -> f44 : A'=0, B'=0, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=1, N'=0, O'=free_2, P'=0, [ free_2>=3 ], cost: 6+3*free_2
50.95/17.14	
50.95/17.14	    253: f0 -> f44 : A'=1, B'=0, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=1, N'=1, O'=free_2, P'=0, [ free_2>=3 ], cost: 5+4*free_2
50.95/17.14	
50.95/17.14	    254: f0 -> f44 : A'=0, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=-1+free_2, N'=0, O'=free_2, P'=1, [ free_2>=2 ], cost: 3+2*free_2*(-1+free_2)-(-1+free_2)^2+3*free_2
50.95/17.14	
50.95/17.14	    255: f0 -> f44 : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=-1+free_2, N'=1, O'=free_2, P'=1, [ free_2>=2 ], cost: 2+2*free_2*(-1+free_2)-(-1+free_2)^2+4*free_2
50.95/17.14	
50.95/17.14	    178: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C==0 ], cost: 3+4*D+D^2
50.95/17.14	
50.95/17.14	    185: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    187: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && 0>=1+C && H+D*free_8>=1+F ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    190: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C>=1 && F>=1+H+D*free_8 ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    192: f44 -> f84 : C'=0, H'=H+D*free_8, Q'=Q+D*free_9, J'=free_10*D, M'=D, O'=D, Q_1'=0, R'=0, S'=0, [ M>=E && D>=1 && C>=1 && H+D*free_8>=1+F ], cost: 4+4*D+D^2
50.95/17.14	
50.95/17.14	    196: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 3+D
50.95/17.14	
50.95/17.14	    198: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && F>=1+H+D*free_8 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    199: f44 -> [35] : [ M>=E && D>=1 && 0>=1+C && H+D*free_8>=1+F ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    203: f44 -> [35] : [ M>=E && D>=1 && C>=1 && F>=1+H+D*free_8 ], cost: 3+2*D
50.95/17.14	
50.95/17.14	    204: f44 -> [35] : [ M>=E && D>=1 && C>=1 && H+D*free_8>=1+F ], cost: 3+2*D
50.95/17.14	
50.95/17.14	     56: f84 -> f102 : O'=0, [ M>=D ], cost: 1
50.95/17.14	
50.95/17.14	    150: f84 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ M>=D && D>=1 && C==0 ], cost: 1+2*D+D^2
50.95/17.14	
50.95/17.14	    225: f84 -> [36] : [ D>=1+M && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    226: f84 -> [36] : [ D>=1+M && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    256: f84 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ M>=D && 0>=1+C && F>=1+D*free_11 && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	    257: f84 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ M>=D && 0>=1+C && D*free_11>=1+F && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	    258: f84 -> f102 : C'=0, K'=D*free_11, M'=D, O'=1, T'=0, [ M>=D && D>=1 && C>=1 && F>=1+D*free_11 ], cost: 4+D
50.95/17.14	
50.95/17.14	    259: f84 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ M>=D && C>=1 && F>=1+D*free_11 && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	    260: f84 -> f102 : C'=0, K'=D*free_11, M'=D, O'=D, T'=0, [ M>=D && C>=1 && D*free_11>=1+F && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	    247: f102 -> [37] : [ D>=1+O && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    248: f102 -> [37] : [ D>=1+O && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Eliminated locations (on tree-shaped paths):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	    154: f0 -> [34] : [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	    261: f0 -> f84 : A'=1, B'=1, C'=0, D'=4, E'=free_2, F'=free, G'=0, H'=4*free_8, Q'=4*free_9, J'=4*free_10, K'=0, L'=free_1, M'=4, O'=4, Q_1'=0, R'=0, S'=0, [ 0>=free_2 && free>=1+4*free_8 ], cost: 39
50.95/17.14	
50.95/17.14	    262: f0 -> f84 : A'=1, B'=1, C'=0, D'=4, E'=free_2, F'=free, G'=0, H'=4*free_8, Q'=4*free_9, J'=4*free_10, K'=0, L'=free_1, M'=4, O'=4, Q_1'=0, R'=0, S'=0, [ 0>=free_2 && 4*free_8>=1+free ], cost: 39
50.95/17.14	
50.95/17.14	    263: f0 -> [35] : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ 0>=free_2 && free>=1+4*free_8 ], cost: 14
50.95/17.14	
50.95/17.14	    264: f0 -> [35] : A'=1, B'=1, C'=1, D'=4, E'=free_2, F'=free, G'=0, H'=0, Q'=0, J'=0, K'=0, L'=free_1, M'=0, [ 0>=free_2 && 4*free_8>=1+free ], cost: 14
50.95/17.14	
50.95/17.14	    265: f0 -> [41] : [ free_2>=2 ], cost: 4+2*free_2
50.95/17.14	
50.95/17.14	    266: f0 -> [41] : [ free_2>=1 ], cost: 3+3*free_2
50.95/17.14	
50.95/17.14	    267: f0 -> [41] : [ free_2>=3 ], cost: 6+3*free_2
50.95/17.14	
50.95/17.14	    268: f0 -> [41] : [ free_2>=3 ], cost: 5+4*free_2
50.95/17.14	
50.95/17.14	    269: f0 -> [41] : [ free_2>=2 ], cost: 3+2*free_2*(-1+free_2)-(-1+free_2)^2+3*free_2
50.95/17.14	
50.95/17.14	    270: f0 -> [41] : [ free_2>=2 ], cost: 2+2*free_2*(-1+free_2)-(-1+free_2)^2+4*free_2
50.95/17.14	
50.95/17.14	    225: f84 -> [36] : [ D>=1+M && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    226: f84 -> [36] : [ D>=1+M && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    271: f84 -> [37] : O'=0, [ M>=D && D>=1 && 0>=1+C ], cost: 3+D
50.95/17.14	
50.95/17.14	    272: f84 -> [37] : O'=0, [ M>=D && D>=1 && C>=1 ], cost: 3+D
50.95/17.14	
50.95/17.14	    273: f84 -> [42] : [ M>=D && D>=1 && C==0 ], cost: 1+2*D+D^2
50.95/17.14	
50.95/17.14	    274: f84 -> [42] : [ M>=D && 0>=1+C && F>=1+D*free_11 && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	    275: f84 -> [42] : [ M>=D && 0>=1+C && D*free_11>=1+F && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	    276: f84 -> [42] : [ M>=D && D>=1 && C>=1 && F>=1+D*free_11 ], cost: 4+D
50.95/17.14	
50.95/17.14	    277: f84 -> [42] : [ M>=D && C>=1 && F>=1+D*free_11 && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	    278: f84 -> [42] : [ M>=D && C>=1 && D*free_11>=1+F && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Applied pruning (of leafs and parallel rules):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	    154: f0 -> [34] : [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	    261: f0 -> f84 : A'=1, B'=1, C'=0, D'=4, E'=free_2, F'=free, G'=0, H'=4*free_8, Q'=4*free_9, J'=4*free_10, K'=0, L'=free_1, M'=4, O'=4, Q_1'=0, R'=0, S'=0, [ 0>=free_2 && free>=1+4*free_8 ], cost: 39
50.95/17.14	
50.95/17.14	    262: f0 -> f84 : A'=1, B'=1, C'=0, D'=4, E'=free_2, F'=free, G'=0, H'=4*free_8, Q'=4*free_9, J'=4*free_10, K'=0, L'=free_1, M'=4, O'=4, Q_1'=0, R'=0, S'=0, [ 0>=free_2 && 4*free_8>=1+free ], cost: 39
50.95/17.14	
50.95/17.14	    265: f0 -> [41] : [ free_2>=2 ], cost: 4+2*free_2
50.95/17.14	
50.95/17.14	    266: f0 -> [41] : [ free_2>=1 ], cost: 3+3*free_2
50.95/17.14	
50.95/17.14	    267: f0 -> [41] : [ free_2>=3 ], cost: 6+3*free_2
50.95/17.14	
50.95/17.14	    268: f0 -> [41] : [ free_2>=3 ], cost: 5+4*free_2
50.95/17.14	
50.95/17.14	    270: f0 -> [41] : [ free_2>=2 ], cost: 2+2*free_2*(-1+free_2)-(-1+free_2)^2+4*free_2
50.95/17.14	
50.95/17.14	    225: f84 -> [36] : [ D>=1+M && D>=1 && 0>=1+C ], cost: 2+D
50.95/17.14	
50.95/17.14	    226: f84 -> [36] : [ D>=1+M && D>=1 && C>=1 ], cost: 2+D
50.95/17.14	
50.95/17.14	    271: f84 -> [37] : O'=0, [ M>=D && D>=1 && 0>=1+C ], cost: 3+D
50.95/17.14	
50.95/17.14	    272: f84 -> [37] : O'=0, [ M>=D && D>=1 && C>=1 ], cost: 3+D
50.95/17.14	
50.95/17.14	    273: f84 -> [42] : [ M>=D && D>=1 && C==0 ], cost: 1+2*D+D^2
50.95/17.14	
50.95/17.14	    274: f84 -> [42] : [ M>=D && 0>=1+C && F>=1+D*free_11 && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	    275: f84 -> [42] : [ M>=D && 0>=1+C && D*free_11>=1+F && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	    277: f84 -> [42] : [ M>=D && C>=1 && F>=1+D*free_11 && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	    278: f84 -> [42] : [ M>=D && C>=1 && D*free_11>=1+F && D>=2 ], cost: 2+(-1+D)*D+3*D
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Eliminated locations (on tree-shaped paths):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	    154: f0 -> [34] : [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	    265: f0 -> [41] : [ free_2>=2 ], cost: 4+2*free_2
50.95/17.14	
50.95/17.14	    266: f0 -> [41] : [ free_2>=1 ], cost: 3+3*free_2
50.95/17.14	
50.95/17.14	    267: f0 -> [41] : [ free_2>=3 ], cost: 6+3*free_2
50.95/17.14	
50.95/17.14	    268: f0 -> [41] : [ free_2>=3 ], cost: 5+4*free_2
50.95/17.14	
50.95/17.14	    270: f0 -> [41] : [ free_2>=2 ], cost: 2+2*free_2*(-1+free_2)-(-1+free_2)^2+4*free_2
50.95/17.14	
50.95/17.14	    279: f0 -> [42] : A'=1, B'=1, C'=0, D'=4, E'=free_2, F'=free, G'=0, H'=4*free_8, Q'=4*free_9, J'=4*free_10, K'=0, L'=free_1, M'=4, O'=4, Q_1'=0, R'=0, S'=0, [ 0>=free_2 && free>=1+4*free_8 ], cost: 64
50.95/17.14	
50.95/17.14	    280: f0 -> [42] : A'=1, B'=1, C'=0, D'=4, E'=free_2, F'=free, G'=0, H'=4*free_8, Q'=4*free_9, J'=4*free_10, K'=0, L'=free_1, M'=4, O'=4, Q_1'=0, R'=0, S'=0, [ 0>=free_2 && 4*free_8>=1+free ], cost: 64
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Applied pruning (of leafs and parallel rules):
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	     88: f0 -> [29] : [ free_2>=1 ], cost: 1+free_2
50.95/17.14	
50.95/17.14	    154: f0 -> [34] : [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	    265: f0 -> [41] : [ free_2>=2 ], cost: 4+2*free_2
50.95/17.14	
50.95/17.14	    266: f0 -> [41] : [ free_2>=1 ], cost: 3+3*free_2
50.95/17.14	
50.95/17.14	    267: f0 -> [41] : [ free_2>=3 ], cost: 6+3*free_2
50.95/17.14	
50.95/17.14	    268: f0 -> [41] : [ free_2>=3 ], cost: 5+4*free_2
50.95/17.14	
50.95/17.14	    270: f0 -> [41] : [ free_2>=2 ], cost: 2+2*free_2*(-1+free_2)-(-1+free_2)^2+4*free_2
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	### Computing asymptotic complexity ###
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Fully simplified ITS problem
50.95/17.14	
50.95/17.14	   Start location: f0
50.95/17.14	
50.95/17.14	    154: f0 -> [34] : [ free_2>=1 ], cost: 2+free_2
50.95/17.14	
50.95/17.14	    265: f0 -> [41] : [ free_2>=2 ], cost: 4+2*free_2
50.95/17.14	
50.95/17.14	    266: f0 -> [41] : [ free_2>=1 ], cost: 3+3*free_2
50.95/17.14	
50.95/17.14	    267: f0 -> [41] : [ free_2>=3 ], cost: 6+3*free_2
50.95/17.14	
50.95/17.14	    268: f0 -> [41] : [ free_2>=3 ], cost: 5+4*free_2
50.95/17.14	
50.95/17.14	    270: f0 -> [41] : [ free_2>=2 ], cost: 2+2*free_2*(-1+free_2)-(-1+free_2)^2+4*free_2
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Computing asymptotic complexity for rule 154
50.95/17.14	
50.95/17.14	   Solved the limit problem by the following transformations:
50.95/17.14	
50.95/17.14	      Created initial limit problem:
50.95/17.14	
50.95/17.14	      2+free_2 (+), free_2 (+/+!) [not solved]
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	      removing all constraints (solved by SMT)
50.95/17.14	
50.95/17.14	      resulting limit problem: [solved]
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	      applying transformation rule (C) using substitution {free_2==n}
50.95/17.14	
50.95/17.14	      resulting limit problem:
50.95/17.14	
50.95/17.14	      [solved]
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	   Solution:
50.95/17.14	
50.95/17.14	      free_2 / n
50.95/17.14	
50.95/17.14	   Resulting cost 2+n has complexity: Unbounded
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Found new complexity Unbounded.
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	Obtained the following overall complexity (w.r.t. the length of the input n):
50.95/17.14	
50.95/17.14	   Complexity:  Unbounded
50.95/17.14	
50.95/17.14	   Cpx degree:  Unbounded
50.95/17.14	
50.95/17.14	   Solved cost: 2+n
50.95/17.14	
50.95/17.14	   Rule cost:   2+free_2
50.95/17.14	
50.95/17.14	   Rule guard:  [ free_2>=1 ]
50.95/17.14	
50.95/17.14	
50.95/17.14	
50.95/17.14	WORST_CASE(INF,?)
50.95/17.14	
50.95/17.14	
50.95/17.14	----------------------------------------
50.95/17.14	
50.95/17.14	(2)
50.95/17.14	BOUNDS(INF, INF)
51.01/17.18	EOF