16.21/5.96	WORST_CASE(NON_POLY, ?)
16.21/5.98	proof of /export/starexec/sandbox/benchmark/theBenchmark.koat
16.21/5.98	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
16.21/5.98	
16.21/5.98	
16.21/5.98	The runtime complexity of the given CpxIntTrs could be proven to be BOUNDS(INF, INF).
16.21/5.98	
16.21/5.98	(0) CpxIntTrs
16.21/5.98	(1) Loat Proof [FINISHED, 3680 ms]
16.21/5.98	(2) BOUNDS(INF, INF)
16.21/5.98	
16.21/5.98	
16.21/5.98	----------------------------------------
16.21/5.98	
16.21/5.98	(0)
16.21/5.98	Obligation:
16.21/5.98	Complexity Int TRS consisting of the following rules:
16.21/5.98	f15(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f18(1, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: TRUE
16.21/5.98	f3(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f18(1, 0, 0, S2, T2, 0, U2, V2, 0, 0, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: TRUE
16.21/5.98	f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f29(5, B, C, D, S2, F, G + 1, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= G && S2 >= 1
16.21/5.98	f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f29(6, B, C, D, S2, F, G - 1, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= G && 0 >= S2
16.21/5.98	f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f18(1, B, C, D, E, F, G, H, I, J, S2, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= S2 && 0 >= J
16.21/5.98	f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f18(1, B, C, D, E, F, G, H, I, 1, S2, D, E, A, F, G, H, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: S2 >= 1 && 0 >= J
16.21/5.98	f18(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f48(9, B, C, S2, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= G
16.21/5.98	f55(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f58(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 1, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: TRUE
16.21/5.98	f58(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f58(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 1, S + 1, S2, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= S && S2 >= 1
16.21/5.98	f58(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f58(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 1, S - 1, S2, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= S && 0 >= S2
16.21/5.98	f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f74(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 9, S, T, U, S2, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: U >= 1
16.21/5.98	f58(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f74(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 9, S, T, U, S2, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= S
16.21/5.98	f48(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f80(10, B, C, D, E, 0, G, H, I, J, K, L, M, N, O, P, Q, 10, G, E, U, D, 0, H, D, E, 10, 0, G, H, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: D >= 1
16.21/5.98	f74(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f80(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, 10, S, T, U, V, 0, X, V, T, 10, 0, S, X, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: V >= 1
16.21/5.98	f80(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f87(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V, W, X, Y, Z, A1, B1, C1, D1, 1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: B1 >= 1
16.21/5.98	f80(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f87(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V, W, X, Y, Z, A1, B1, C1, D1, 0, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= B1
16.21/5.98	f117(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f123(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, G1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: U >= 1
16.21/5.98	f87(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f123(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, 0, 0, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= U
16.21/5.98	f74(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f95(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, V, T, R, W, S, X, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= V
16.21/5.98	f87(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f95(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, V, T, R, W, S, X, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: U >= 1
16.21/5.98	f95(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, 1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: K1 >= 1
16.21/5.98	f95(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, 0, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= K1
16.21/5.98	f102(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f123(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, 0, 0, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= U
16.21/5.98	f107(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f117(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, V, T, R, W, S, X, 1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: W >= 1
16.21/5.98	f107(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f117(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, V, T, R, W, S, X, 0, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= W
16.21/5.98	f117(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f123(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, 0, 0, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= U
16.21/5.98	f48(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f151(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, D, E, A, F, G, H, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= D
16.21/5.98	f123(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f151(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, D, E, A, F, G, H, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= F1
16.21/5.98	f132(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f135(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, 1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: TRUE
16.21/5.98	f135(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f135(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, S2, 1, Y1, Z1 + 1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= Z1 && S2 >= 1
16.21/5.98	f135(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f135(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, S2, 1, Y1, Z1 - 1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= Z1 && 0 >= S2
16.21/5.98	f179(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f151(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, S2, W1, 9, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: U >= 1
16.21/5.98	f135(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f151(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, S2, W1, 9, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= Z1
16.21/5.98	f151(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f164(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V, W, X, V1, W1, 10, 0, Z1, A2, 0, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, 10, 0, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: V1 >= 1
16.21/5.98	f194(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f200(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, B2, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: U >= 1
16.21/5.98	f164(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f200(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, 0, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, 0, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= U
16.21/5.98	f151(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f172(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, V1, W1, X1, Y1, Z1, A2, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= V1
16.21/5.98	f164(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f172(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, V1, W1, X1, Y1, Z1, A2, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: U >= 1
16.21/5.98	f172(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f179(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, 1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: K1 >= 1
16.21/5.98	f172(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f179(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, 0, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= K1
16.21/5.98	f179(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f200(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, 0, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, 0, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= U
16.21/5.98	f184(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f194(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, V1, W1, X1, Y1, Z1, A2, 1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: Y1 >= 1
16.21/5.98	f184(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f194(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, V1, W1, X1, Y1, Z1, A2, 0, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= Y1
16.21/5.98	f194(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f200(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, 0, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, 0, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= U
16.21/5.98	f200(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f48(9, B, C, S2, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, T2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= I && 0 >= F1 && 0 >= T2
16.21/5.98	f200(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f48(9, B, C, S2, E, F, G, H, 1, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, T2, D, E, A, F, G, H, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= I && 0 >= F1 && T2 >= 1
16.21/5.98	f223(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f226(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, 1, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: TRUE
16.21/5.98	f226(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f226(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, 1, K2 + 1, S2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= K2 && S2 >= 1
16.21/5.98	f226(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f226(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, 1, K2 - 1, S2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= K2 && 0 >= S2
16.21/5.98	f270(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f242(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, 9, K2, L2, S2, N2, O2, P2, Q2, R2)) :|: U >= 1
16.21/5.98	f219(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f242(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, 9, G, E, S2, F, H, P2, Q2, R2)) :|: TRUE
16.21/5.98	f226(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f242(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, 9, K2, L2, S2, N2, O2, P2, Q2, R2)) :|: 0 >= K2
16.21/5.98	f242(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f255(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V, W, X, M2, L2, 10, 0, K2, O2, 0, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, 10, K2, L2, M2, 0, O2, P2, Q2, R2)) :|: M2 >= 1
16.21/5.98	f285(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f291(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, P2, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: U >= 1
16.21/5.98	f255(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f291(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, 0, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, 0, Q2, R2)) :|: 0 >= U
16.21/5.98	f242(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f263(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, M2, L2, J2, N2, K2, O2, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= M2
16.21/5.98	f255(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f263(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, M2, L2, J2, N2, K2, O2, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: U >= 1
16.21/5.98	f263(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f270(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, 1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: K1 >= 1
16.21/5.98	f263(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f270(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, 0, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= K1
16.21/5.98	f270(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f291(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, 0, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, 0, Q2, R2)) :|: 0 >= U
16.21/5.98	f275(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f285(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 1, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, M2, L2, J2, N2, K2, O2, 1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: N2 >= 1
16.21/5.98	f275(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f285(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, 0, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, M2, L2, J2, N2, K2, O2, 0, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2)) :|: 0 >= N2
16.21/5.98	f285(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f291(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, 0, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, 0, Q2, R2)) :|: 0 >= U
16.21/5.98	f291(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f666666(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, Q2)) :|: Q2 >= 2 && 0 >= F1
16.21/5.98	f291(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f666666(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, Q2)) :|: 0 >= Q2 && 0 >= F1
16.21/5.98	f29(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f666666(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, 0, 0)) :|: J >= 1
16.21/5.98	f200(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, Q2, R2) -> Com_1(f666666(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, R1, S1, T1, U1, V1, W1, X1, Y1, Z1, A2, B2, C2, D2, E2, F2, G2, H2, I2, J2, K2, L2, M2, N2, O2, P2, 0, 0)) :|: 0 >= F1 && I >= 1
16.21/5.98	
16.21/5.98	The start-symbols are:[f3_70]
16.21/5.98	
16.21/5.98	
16.21/5.98	----------------------------------------
16.21/5.98	
16.21/5.98	(1) Loat Proof (FINISHED)
16.21/5.98	
16.21/5.98	
16.21/5.98	### Pre-processing the ITS problem ###
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Initial linear ITS problem
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	      0: f15 -> f18 : A'=1, [], cost: 1
16.21/5.98	
16.21/5.98	      1: f3 -> f18 : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [], cost: 1
16.21/5.98	
16.21/5.98	      2: f18 -> f29 : A'=5, E'=free_4, G'=1+G, [ 0>=G && free_4>=1 ], cost: 1
16.21/5.98	
16.21/5.98	      3: f18 -> f29 : A'=6, E'=free_5, G'=-1+G, [ 0>=G && 0>=free_5 ], cost: 1
16.21/5.98	
16.21/5.98	      6: f18 -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1
16.21/5.98	
16.21/5.98	      4: f29 -> f18 : A'=1, K'=free_6, [ 0>=free_6 && 0>=J ], cost: 1
16.21/5.98	
16.21/5.98	      5: f29 -> f18 : A'=1, J'=1, K'=free_7, L'=D, M'=E, N'=A, O'=F, P'=G, Q_1'=H, [ free_7>=1 && 0>=J ], cost: 1
16.21/5.98	
16.21/5.98	     65: f29 -> f666666 : A1'=B, A2'=C, B'=D, B1'=E, B2'=F, C'=G, C1'=H, C2'=Q, D'=J, D1'=K, D2'=L, E'=M, E1'=N, E2'=O, F'=P, F1'=Q_1, F2'=R, G'=S, G1'=T, G2'=U, H'=V, H1'=W, H2'=X, Q'=Y, Q1'=Z, Q2'=A1, J'=B1, J1'=C1, J2'=D1, K'=E1, K1'=F1, K2'=G1, L'=H1, L1'=Q1, L2'=J1, M'=K1, M1'=L1, M2'=M1, N'=N1, N1'=O1, N2'=P1, O'=Q1_1, O1'=R1, O2'=S1, P'=T1, P1'=U1, P2'=V1, Q_1'=W1, Q1_1'=X1, Q2_1'=Y1, R'=Z1, R1'=A2, R2'=B2, S'=C2, S1'=D2, S2'=E2, T'=F2, T1'=G2, T2'=H2, U'=Q2, U1'=J2, U2'=K2, V'=L2, V1'=M2, V2'=N2, W'=O2, W1'=P2, X'=0, X1'=0, [ J>=1 ], cost: 1
16.21/5.98	
16.21/5.98	      7: f55 -> f58 : R'=1, [], cost: 1
16.21/5.98	
16.21/5.98	      8: f58 -> f58 : R'=1, S'=1+S, T'=free_9, [ 0>=S && free_9>=1 ], cost: 1
16.21/5.98	
16.21/5.98	      9: f58 -> f58 : R'=1, S'=-1+S, T'=free_10, [ 0>=S && 0>=free_10 ], cost: 1
16.21/5.98	
16.21/5.98	     11: f58 -> f74 : R'=9, V'=free_12, [ 0>=S ], cost: 1
16.21/5.98	
16.21/5.98	     10: f102 -> f74 : R'=9, V'=free_11, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     22: f102 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	     13: f74 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, R'=10, W'=0, Y'=V, Z'=T, [ V>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     18: f74 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ 0>=V ], cost: 1
16.21/5.98	
16.21/5.98	     14: f80 -> f87 : E1'=1, U'=1, [ B1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     15: f80 -> f87 : E1'=0, U'=0, [ 0>=B1 ], cost: 1
16.21/5.98	
16.21/5.98	     16: f117 -> f123 : F1'=G1, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     25: f117 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     17: f87 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     19: f87 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     20: f95 -> f102 : N1'=1, U'=1, [ K1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     21: f95 -> f102 : N1'=0, U'=0, [ 0>=K1 ], cost: 1
16.21/5.98	
16.21/5.98	     23: f107 -> f117 : O1'=V, P1'=T, Q1_1'=R, R1'=W, S1'=S, T1'=X, U'=1, U1'=1, [ W>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     24: f107 -> f117 : O1'=V, P1'=T, Q1_1'=R, R1'=W, S1'=S, T1'=X, U'=0, U1'=0, [ 0>=W ], cost: 1
16.21/5.98	
16.21/5.98	     27: f123 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	     28: f132 -> f135 : X1'=1, [], cost: 1
16.21/5.98	
16.21/5.98	     29: f135 -> f135 : W1'=free_13, X1'=1, Z1'=1+Z1, [ 0>=Z1 && free_13>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     30: f135 -> f135 : W1'=free_14, X1'=1, Z1'=-1+Z1, [ 0>=Z1 && 0>=free_14 ], cost: 1
16.21/5.98	
16.21/5.98	     32: f135 -> f151 : V1'=free_16, X1'=9, [ 0>=Z1 ], cost: 1
16.21/5.98	
16.21/5.98	     31: f179 -> f151 : V1'=free_15, X1'=9, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     40: f179 -> f200 : B2'=0, F1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     33: f151 -> f164 : A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     36: f151 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ 0>=V1 ], cost: 1
16.21/5.98	
16.21/5.98	     34: f194 -> f200 : F1'=B2, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     43: f194 -> f200 : B2'=0, F1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     35: f164 -> f200 : B2'=0, F1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     37: f164 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     38: f172 -> f179 : N1'=1, U'=1, [ K1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     39: f172 -> f179 : N1'=0, U'=0, [ 0>=K1 ], cost: 1
16.21/5.98	
16.21/5.98	     41: f184 -> f194 : O1'=V1, P1'=W1, Q1_1'=X1, R1'=Y1, S1'=Z1, T1'=A2, U'=1, U1'=1, [ Y1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     42: f184 -> f194 : O1'=V1, P1'=W1, Q1_1'=X1, R1'=Y1, S1'=Z1, T1'=A2, U'=0, U1'=0, [ 0>=Y1 ], cost: 1
16.21/5.98	
16.21/5.98	     44: f200 -> f48 : A'=9, C2'=free_17, D'=free_18, [ 0>=Q && 0>=F1 && 0>=free_17 ], cost: 1
16.21/5.98	
16.21/5.98	     45: f200 -> f48 : A'=9, C2'=free_19, D'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, [ 0>=Q && 0>=F1 && free_19>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     66: f200 -> f666666 : A1'=B, A2'=C, B'=D, B1'=E, B2'=F, C'=G, C1'=H, C2'=Q, D'=J, D1'=K, D2'=L, E'=M, E1'=N, E2'=O, F'=P, F1'=Q_1, F2'=R, G'=S, G1'=T, G2'=U, H'=V, H1'=W, H2'=X, Q'=Y, Q1'=Z, Q2'=A1, J'=B1, J1'=C1, J2'=D1, K'=E1, K1'=F1, K2'=G1, L'=H1, L1'=Q1, L2'=J1, M'=K1, M1'=L1, M2'=M1, N'=N1, N1'=O1, N2'=P1, O'=Q1_1, O1'=R1, O2'=S1, P'=T1, P1'=U1, P2'=V1, Q_1'=W1, Q1_1'=X1, Q2_1'=Y1, R'=Z1, R1'=A2, R2'=B2, S'=C2, S1'=D2, S2'=E2, T'=F2, T1'=G2, T2'=H2, U'=Q2, U1'=J2, U2'=K2, V'=L2, V1'=M2, V2'=N2, W'=O2, W1'=P2, X'=0, X1'=0, [ 0>=F1 && Q>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     46: f223 -> f226 : J2'=1, [], cost: 1
16.21/5.98	
16.21/5.98	     47: f226 -> f226 : J2'=1, K2'=1+K2, L2'=free_21, [ 0>=K2 && free_21>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     48: f226 -> f226 : J2'=1, K2'=-1+K2, L2'=free_22, [ 0>=K2 && 0>=free_22 ], cost: 1
16.21/5.98	
16.21/5.98	     51: f226 -> f242 : J2'=9, M2'=free_25, [ 0>=K2 ], cost: 1
16.21/5.98	
16.21/5.98	     49: f270 -> f242 : J2'=9, M2'=free_23, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     59: f270 -> f291 : F1'=0, P2'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     50: f219 -> f242 : J2'=9, K2'=G, L2'=E, M2'=free_24, N2'=F, O2'=H, [], cost: 1
16.21/5.98	
16.21/5.98	     52: f242 -> f255 : A1'=10, B1'=0, C1'=K2, D1'=O2, E1'=0, J2'=10, N2'=0, U'=0, Y'=M2, Z'=L2, [ M2>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     55: f242 -> f263 : H1'=M2, Q1'=L2, J1'=J2, K1'=N2, L1'=K2, M1'=O2, [ 0>=M2 ], cost: 1
16.21/5.98	
16.21/5.98	     53: f285 -> f291 : F1'=P2, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     62: f285 -> f291 : F1'=0, P2'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     54: f255 -> f291 : F1'=0, P2'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     56: f255 -> f263 : H1'=M2, Q1'=L2, J1'=J2, K1'=N2, L1'=K2, M1'=O2, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     57: f263 -> f270 : N1'=1, U'=1, [ K1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     58: f263 -> f270 : N1'=0, U'=0, [ 0>=K1 ], cost: 1
16.21/5.98	
16.21/5.98	     60: f275 -> f285 : O1'=M2, P1'=L2, Q1_1'=J2, R1'=N2, S1'=K2, T1'=O2, U'=1, U1'=1, [ N2>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     61: f275 -> f285 : O1'=M2, P1'=L2, Q1_1'=J2, R1'=N2, S1'=K2, T1'=O2, U'=0, U1'=0, [ 0>=N2 ], cost: 1
16.21/5.98	
16.21/5.98	     63: f291 -> f666666 : A1'=B, A2'=C, B'=D, B1'=E, B2'=F, C'=G, C1'=H, C2'=Q, D'=J, D1'=K, D2'=L, E'=M, E1'=N, E2'=O, F'=P, F1'=Q_1, F2'=R, G'=S, G1'=T, G2'=U, H'=V, H1'=W, H2'=X, Q'=Y, Q1'=Z, Q2'=A1, J'=B1, J1'=C1, J2'=D1, K'=E1, K1'=F1, K2'=G1, L'=H1, L1'=Q1, L2'=J1, M'=K1, M1'=L1, M2'=M1, N'=N1, N1'=O1, N2'=P1, O'=Q1_1, O1'=R1, O2'=S1, P'=T1, P1'=U1, P2'=V1, Q_1'=W1, Q1_1'=X1, Q2_1'=Y1, R'=Z1, R1'=A2, R2'=B2, S'=C2, S1'=D2, S2'=E2, T'=F2, T1'=G2, T2'=H2, U'=Q2, U1'=J2, U2'=K2, V'=L2, V1'=M2, V2'=N2, W'=O2, W1'=P2, X'=Q2_1, X1'=Q2_1, [ Q2_1>=2 && 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	     64: f291 -> f666666 : A1'=B, A2'=C, B'=D, B1'=E, B2'=F, C'=G, C1'=H, C2'=Q, D'=J, D1'=K, D2'=L, E'=M, E1'=N, E2'=O, F'=P, F1'=Q_1, F2'=R, G'=S, G1'=T, G2'=U, H'=V, H1'=W, H2'=X, Q'=Y, Q1'=Z, Q2'=A1, J'=B1, J1'=C1, J2'=D1, K'=E1, K1'=F1, K2'=G1, L'=H1, L1'=Q1, L2'=J1, M'=K1, M1'=L1, M2'=M1, N'=N1, N1'=O1, N2'=P1, O'=Q1_1, O1'=R1, O2'=S1, P'=T1, P1'=U1, P2'=V1, Q_1'=W1, Q1_1'=X1, Q2_1'=Y1, R'=Z1, R1'=A2, R2'=B2, S'=C2, S1'=D2, S2'=E2, T'=F2, T1'=G2, T2'=H2, U'=Q2, U1'=J2, U2'=K2, V'=L2, V1'=M2, V2'=N2, W'=O2, W1'=P2, X'=Q2_1, X1'=Q2_1, [ 0>=Q2_1 && 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Removed unreachable and leaf rules:
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	      1: f3 -> f18 : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [], cost: 1
16.21/5.98	
16.21/5.98	      2: f18 -> f29 : A'=5, E'=free_4, G'=1+G, [ 0>=G && free_4>=1 ], cost: 1
16.21/5.98	
16.21/5.98	      3: f18 -> f29 : A'=6, E'=free_5, G'=-1+G, [ 0>=G && 0>=free_5 ], cost: 1
16.21/5.98	
16.21/5.98	      6: f18 -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1
16.21/5.98	
16.21/5.98	      4: f29 -> f18 : A'=1, K'=free_6, [ 0>=free_6 && 0>=J ], cost: 1
16.21/5.98	
16.21/5.98	      5: f29 -> f18 : A'=1, J'=1, K'=free_7, L'=D, M'=E, N'=A, O'=F, P'=G, Q_1'=H, [ free_7>=1 && 0>=J ], cost: 1
16.21/5.98	
16.21/5.98	     10: f102 -> f74 : R'=9, V'=free_11, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     22: f102 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	     13: f74 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, R'=10, W'=0, Y'=V, Z'=T, [ V>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     18: f74 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ 0>=V ], cost: 1
16.21/5.98	
16.21/5.98	     14: f80 -> f87 : E1'=1, U'=1, [ B1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     15: f80 -> f87 : E1'=0, U'=0, [ 0>=B1 ], cost: 1
16.21/5.98	
16.21/5.98	     17: f87 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     19: f87 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     20: f95 -> f102 : N1'=1, U'=1, [ K1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     21: f95 -> f102 : N1'=0, U'=0, [ 0>=K1 ], cost: 1
16.21/5.98	
16.21/5.98	     27: f123 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	     31: f179 -> f151 : V1'=free_15, X1'=9, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     40: f179 -> f200 : B2'=0, F1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     33: f151 -> f164 : A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     36: f151 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ 0>=V1 ], cost: 1
16.21/5.98	
16.21/5.98	     35: f164 -> f200 : B2'=0, F1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     37: f164 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     38: f172 -> f179 : N1'=1, U'=1, [ K1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     39: f172 -> f179 : N1'=0, U'=0, [ 0>=K1 ], cost: 1
16.21/5.98	
16.21/5.98	     44: f200 -> f48 : A'=9, C2'=free_17, D'=free_18, [ 0>=Q && 0>=F1 && 0>=free_17 ], cost: 1
16.21/5.98	
16.21/5.98	     45: f200 -> f48 : A'=9, C2'=free_19, D'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, [ 0>=Q && 0>=F1 && free_19>=1 ], cost: 1
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	### Simplification by acceleration and chaining ###
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Removed unreachable locations (and leaf rules with constant cost):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	      1: f3 -> f18 : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [], cost: 1
16.21/5.98	
16.21/5.98	      2: f18 -> f29 : A'=5, E'=free_4, G'=1+G, [ 0>=G && free_4>=1 ], cost: 1
16.21/5.98	
16.21/5.98	      3: f18 -> f29 : A'=6, E'=free_5, G'=-1+G, [ 0>=G && 0>=free_5 ], cost: 1
16.21/5.98	
16.21/5.98	      6: f18 -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1
16.21/5.98	
16.21/5.98	      4: f29 -> f18 : A'=1, K'=free_6, [ 0>=free_6 && 0>=J ], cost: 1
16.21/5.98	
16.21/5.98	      5: f29 -> f18 : A'=1, J'=1, K'=free_7, L'=D, M'=E, N'=A, O'=F, P'=G, Q_1'=H, [ free_7>=1 && 0>=J ], cost: 1
16.21/5.98	
16.21/5.98	     10: f102 -> f74 : R'=9, V'=free_11, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     22: f102 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	     13: f74 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, R'=10, W'=0, Y'=V, Z'=T, [ V>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     18: f74 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ 0>=V ], cost: 1
16.21/5.98	
16.21/5.98	     14: f80 -> f87 : E1'=1, U'=1, [ B1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     15: f80 -> f87 : E1'=0, U'=0, [ 0>=B1 ], cost: 1
16.21/5.98	
16.21/5.98	     17: f87 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     19: f87 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     20: f95 -> f102 : N1'=1, U'=1, [ K1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     21: f95 -> f102 : N1'=0, U'=0, [ 0>=K1 ], cost: 1
16.21/5.98	
16.21/5.98	     27: f123 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	     31: f179 -> f151 : V1'=free_15, X1'=9, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     40: f179 -> f200 : B2'=0, F1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     33: f151 -> f164 : A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     36: f151 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ 0>=V1 ], cost: 1
16.21/5.98	
16.21/5.98	     35: f164 -> f200 : B2'=0, F1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     37: f164 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     38: f172 -> f179 : N1'=1, U'=1, [ K1>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     39: f172 -> f179 : N1'=0, U'=0, [ 0>=K1 ], cost: 1
16.21/5.98	
16.21/5.98	     44: f200 -> f48 : A'=9, C2'=free_17, D'=free_18, [ 0>=Q && 0>=F1 && 0>=free_17 ], cost: 1
16.21/5.98	
16.21/5.98	     45: f200 -> f48 : A'=9, C2'=free_19, D'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, [ 0>=Q && 0>=F1 && free_19>=1 ], cost: 1
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Eliminated locations (on tree-shaped paths):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	      1: f3 -> f18 : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [], cost: 1
16.21/5.98	
16.21/5.98	      6: f18 -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1
16.21/5.98	
16.21/5.98	     67: f18 -> f18 : A'=1, E'=free_4, G'=1+G, K'=free_6, [ 0>=G && free_4>=1 && 0>=free_6 && 0>=J ], cost: 2
16.21/5.98	
16.21/5.98	     68: f18 -> f18 : A'=1, E'=free_4, G'=1+G, J'=1, K'=free_7, L'=D, M'=free_4, N'=5, O'=F, P'=1+G, Q_1'=H, [ 0>=G && free_4>=1 && free_7>=1 && 0>=J ], cost: 2
16.21/5.98	
16.21/5.98	     69: f18 -> f18 : A'=1, E'=free_5, G'=-1+G, K'=free_6, [ 0>=G && 0>=free_5 && 0>=free_6 && 0>=J ], cost: 2
16.21/5.98	
16.21/5.98	     70: f18 -> f18 : A'=1, E'=free_5, G'=-1+G, J'=1, K'=free_7, L'=D, M'=free_5, N'=6, O'=F, P'=-1+G, Q_1'=H, [ 0>=G && 0>=free_5 && free_7>=1 && 0>=J ], cost: 2
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	     13: f74 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, R'=10, W'=0, Y'=V, Z'=T, [ V>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     18: f74 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ 0>=V ], cost: 1
16.21/5.98	
16.21/5.98	     71: f80 -> f95 : E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, U'=1, [ B1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     72: f80 -> f123 : E1'=0, F1'=0, G1'=0, U'=0, [ 0>=B1 ], cost: 2
16.21/5.98	
16.21/5.98	     73: f95 -> f74 : N1'=1, R'=9, U'=1, V'=free_11, [ K1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     74: f95 -> f123 : F1'=0, G1'=0, N1'=0, U'=0, [ 0>=K1 ], cost: 2
16.21/5.98	
16.21/5.98	     27: f123 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	     31: f179 -> f151 : V1'=free_15, X1'=9, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     40: f179 -> f200 : B2'=0, F1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     75: f151 -> f200 : A1'=10, B1'=0, B2'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     76: f151 -> f179 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, U'=1, [ 0>=V1 && Y1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     77: f151 -> f179 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 ], cost: 2
16.21/5.98	
16.21/5.98	     44: f200 -> f48 : A'=9, C2'=free_17, D'=free_18, [ 0>=Q && 0>=F1 && 0>=free_17 ], cost: 1
16.21/5.98	
16.21/5.98	     45: f200 -> f48 : A'=9, C2'=free_19, D'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, [ 0>=Q && 0>=F1 && free_19>=1 ], cost: 1
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Accelerating simple loops of location 2.
16.21/5.98	
16.21/5.98	   Accelerating the following rules:
16.21/5.98	
16.21/5.98	     67: f18 -> f18 : A'=1, E'=free_4, G'=1+G, K'=free_6, [ 0>=G && free_4>=1 && 0>=free_6 && 0>=J ], cost: 2
16.21/5.98	
16.21/5.98	     68: f18 -> f18 : A'=1, E'=free_4, G'=1+G, J'=1, K'=free_7, L'=D, M'=free_4, N'=5, O'=F, P'=1+G, Q_1'=H, [ 0>=G && free_4>=1 && free_7>=1 && 0>=J ], cost: 2
16.21/5.98	
16.21/5.98	     69: f18 -> f18 : A'=1, E'=free_5, G'=-1+G, K'=free_6, [ 0>=G && 0>=free_5 && 0>=free_6 && 0>=J ], cost: 2
16.21/5.98	
16.21/5.98	     70: f18 -> f18 : A'=1, E'=free_5, G'=-1+G, J'=1, K'=free_7, L'=D, M'=free_5, N'=6, O'=F, P'=-1+G, Q_1'=H, [ 0>=G && 0>=free_5 && free_7>=1 && 0>=J ], cost: 2
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	   Accelerated rule 67 with metering function 1-G, yielding the new rule 78.
16.21/5.98	
16.21/5.98	   Found no metering function for rule 68.
16.21/5.98	
16.21/5.98	   Accelerated rule 69 with NONTERM, yielding the new rule 79.
16.21/5.98	
16.21/5.98	   Found no metering function for rule 70.
16.21/5.98	
16.21/5.98	   Removing the simple loops: 67 69.
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Accelerated all simple loops using metering functions (where possible):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	      1: f3 -> f18 : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [], cost: 1
16.21/5.98	
16.21/5.98	      6: f18 -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1
16.21/5.98	
16.21/5.98	     68: f18 -> f18 : A'=1, E'=free_4, G'=1+G, J'=1, K'=free_7, L'=D, M'=free_4, N'=5, O'=F, P'=1+G, Q_1'=H, [ 0>=G && free_4>=1 && free_7>=1 && 0>=J ], cost: 2
16.21/5.98	
16.21/5.98	     70: f18 -> f18 : A'=1, E'=free_5, G'=-1+G, J'=1, K'=free_7, L'=D, M'=free_5, N'=6, O'=F, P'=-1+G, Q_1'=H, [ 0>=G && 0>=free_5 && free_7>=1 && 0>=J ], cost: 2
16.21/5.98	
16.21/5.98	     78: f18 -> f18 : A'=1, E'=free_4, G'=1, K'=free_6, [ 0>=G && free_4>=1 && 0>=free_6 && 0>=J ], cost: 2-2*G
16.21/5.98	
16.21/5.98	     79: f18 -> [35] : [ 0>=G && 0>=free_5 && 0>=free_6 && 0>=J ], cost: INF
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	     13: f74 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, R'=10, W'=0, Y'=V, Z'=T, [ V>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     18: f74 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ 0>=V ], cost: 1
16.21/5.98	
16.21/5.98	     71: f80 -> f95 : E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, U'=1, [ B1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     72: f80 -> f123 : E1'=0, F1'=0, G1'=0, U'=0, [ 0>=B1 ], cost: 2
16.21/5.98	
16.21/5.98	     73: f95 -> f74 : N1'=1, R'=9, U'=1, V'=free_11, [ K1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     74: f95 -> f123 : F1'=0, G1'=0, N1'=0, U'=0, [ 0>=K1 ], cost: 2
16.21/5.98	
16.21/5.98	     27: f123 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	     31: f179 -> f151 : V1'=free_15, X1'=9, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     40: f179 -> f200 : B2'=0, F1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     75: f151 -> f200 : A1'=10, B1'=0, B2'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     76: f151 -> f179 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, U'=1, [ 0>=V1 && Y1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     77: f151 -> f179 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 ], cost: 2
16.21/5.98	
16.21/5.98	     44: f200 -> f48 : A'=9, C2'=free_17, D'=free_18, [ 0>=Q && 0>=F1 && 0>=free_17 ], cost: 1
16.21/5.98	
16.21/5.98	     45: f200 -> f48 : A'=9, C2'=free_19, D'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, [ 0>=Q && 0>=F1 && free_19>=1 ], cost: 1
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Chained accelerated rules (with incoming rules):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	      1: f3 -> f18 : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [], cost: 1
16.21/5.98	
16.21/5.98	     80: f3 -> f18 : A'=1, B'=0, C'=0, D'=free_1, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ 0>=free_3 && free_4>=1 && free_7>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     81: f3 -> f18 : A'=1, B'=0, C'=0, D'=free_1, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     82: f3 -> f18 : A'=1, B'=0, C'=0, D'=free_1, E'=free_4, F'=0, G'=1, H'=free_2, Q'=0, J'=0, K'=free_6, [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	      6: f18 -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	     13: f74 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, R'=10, W'=0, Y'=V, Z'=T, [ V>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     18: f74 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ 0>=V ], cost: 1
16.21/5.98	
16.21/5.98	     71: f80 -> f95 : E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, U'=1, [ B1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     72: f80 -> f123 : E1'=0, F1'=0, G1'=0, U'=0, [ 0>=B1 ], cost: 2
16.21/5.98	
16.21/5.98	     73: f95 -> f74 : N1'=1, R'=9, U'=1, V'=free_11, [ K1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     74: f95 -> f123 : F1'=0, G1'=0, N1'=0, U'=0, [ 0>=K1 ], cost: 2
16.21/5.98	
16.21/5.98	     27: f123 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	     31: f179 -> f151 : V1'=free_15, X1'=9, [ U>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     40: f179 -> f200 : B2'=0, F1'=0, [ 0>=U ], cost: 1
16.21/5.98	
16.21/5.98	     75: f151 -> f200 : A1'=10, B1'=0, B2'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     76: f151 -> f179 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, U'=1, [ 0>=V1 && Y1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     77: f151 -> f179 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 ], cost: 2
16.21/5.98	
16.21/5.98	     44: f200 -> f48 : A'=9, C2'=free_17, D'=free_18, [ 0>=Q && 0>=F1 && 0>=free_17 ], cost: 1
16.21/5.98	
16.21/5.98	     45: f200 -> f48 : A'=9, C2'=free_19, D'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, [ 0>=Q && 0>=F1 && free_19>=1 ], cost: 1
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Eliminated locations (on tree-shaped paths):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     84: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: 2
16.21/5.98	
16.21/5.98	     85: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 ], cost: 4
16.21/5.98	
16.21/5.98	     86: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	     71: f80 -> f95 : E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, U'=1, [ B1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     72: f80 -> f123 : E1'=0, F1'=0, G1'=0, U'=0, [ 0>=B1 ], cost: 2
16.21/5.98	
16.21/5.98	     74: f95 -> f123 : F1'=0, G1'=0, N1'=0, U'=0, [ 0>=K1 ], cost: 2
16.21/5.98	
16.21/5.98	     88: f95 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, N1'=1, R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, [ K1>=1 && free_11>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     89: f95 -> f95 : H1'=free_11, Q1'=T, J1'=9, K1'=W, L1'=S, M1'=X, N1'=1, R'=9, U'=1, V'=free_11, [ K1>=1 && 0>=free_11 ], cost: 3
16.21/5.98	
16.21/5.98	     27: f123 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	     90: f151 -> f151 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, U'=1, V1'=free_15, X1'=9, [ 0>=V1 && Y1>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     92: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_17, D'=free_18, D1'=A2, E1'=0, F1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && 0>=free_17 ], cost: 3
16.21/5.98	
16.21/5.98	     93: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_19, D'=free_20, D1'=A2, D2'=D, E1'=0, E2'=E, F1'=0, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && free_19>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     94: f151 -> f48 : A'=9, B2'=0, C2'=free_17, D'=free_18, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && 0>=free_17 ], cost: 4
16.21/5.98	
16.21/5.98	     95: f151 -> f48 : A'=9, B2'=0, C2'=free_19, D'=free_20, D2'=D, E2'=E, F1'=0, F2'=A, G2'=F, H1'=V1, H2'=G, Q'=1, Q1'=W1, Q2'=H, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && free_19>=1 ], cost: 4
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Accelerating simple loops of location 12.
16.21/5.98	
16.21/5.98	   Accelerating the following rules:
16.21/5.98	
16.21/5.98	     89: f95 -> f95 : H1'=free_11, Q1'=T, J1'=9, K1'=W, L1'=S, M1'=X, N1'=1, R'=9, U'=1, V'=free_11, [ K1>=1 && 0>=free_11 ], cost: 3
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	   Accelerated rule 89 with NONTERM (after strengthening guard), yielding the new rule 96.
16.21/5.98	
16.21/5.98	   Removing the simple loops:.
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Accelerating simple loops of location 18.
16.21/5.98	
16.21/5.98	   Accelerating the following rules:
16.21/5.98	
16.21/5.98	     90: f151 -> f151 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, U'=1, V1'=free_15, X1'=9, [ 0>=V1 && Y1>=1 ], cost: 3
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	   Accelerated rule 90 with NONTERM (after strengthening guard), yielding the new rule 97.
16.21/5.98	
16.21/5.98	   Removing the simple loops:.
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Accelerated all simple loops using metering functions (where possible):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     84: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: 2
16.21/5.98	
16.21/5.98	     85: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 ], cost: 4
16.21/5.98	
16.21/5.98	     86: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	     71: f80 -> f95 : E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, U'=1, [ B1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     72: f80 -> f123 : E1'=0, F1'=0, G1'=0, U'=0, [ 0>=B1 ], cost: 2
16.21/5.98	
16.21/5.98	     74: f95 -> f123 : F1'=0, G1'=0, N1'=0, U'=0, [ 0>=K1 ], cost: 2
16.21/5.98	
16.21/5.98	     88: f95 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, N1'=1, R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, [ K1>=1 && free_11>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     89: f95 -> f95 : H1'=free_11, Q1'=T, J1'=9, K1'=W, L1'=S, M1'=X, N1'=1, R'=9, U'=1, V'=free_11, [ K1>=1 && 0>=free_11 ], cost: 3
16.21/5.98	
16.21/5.98	     96: f95 -> [37] : [ K1>=1 && 0>=free_11 && W>=1 ], cost: INF
16.21/5.98	
16.21/5.98	     27: f123 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	     90: f151 -> f151 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, U'=1, V1'=free_15, X1'=9, [ 0>=V1 && Y1>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     92: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_17, D'=free_18, D1'=A2, E1'=0, F1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && 0>=free_17 ], cost: 3
16.21/5.98	
16.21/5.98	     93: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_19, D'=free_20, D1'=A2, D2'=D, E1'=0, E2'=E, F1'=0, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && free_19>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     94: f151 -> f48 : A'=9, B2'=0, C2'=free_17, D'=free_18, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && 0>=free_17 ], cost: 4
16.21/5.98	
16.21/5.98	     95: f151 -> f48 : A'=9, B2'=0, C2'=free_19, D'=free_20, D2'=D, E2'=E, F1'=0, F2'=A, G2'=F, H1'=V1, H2'=G, Q'=1, Q1'=W1, Q2'=H, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && free_19>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     97: f151 -> [38] : [ 0>=V1 && Y1>=1 && 0>=free_15 ], cost: INF
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Chained accelerated rules (with incoming rules):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     84: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: 2
16.21/5.98	
16.21/5.98	     85: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 ], cost: 4
16.21/5.98	
16.21/5.98	     86: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	    100: f48 -> f151 : A2'=H, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: 4
16.21/5.98	
16.21/5.98	    102: f48 -> [38] : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	     71: f80 -> f95 : E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, U'=1, [ B1>=1 ], cost: 2
16.21/5.98	
16.21/5.98	     72: f80 -> f123 : E1'=0, F1'=0, G1'=0, U'=0, [ 0>=B1 ], cost: 2
16.21/5.98	
16.21/5.98	     98: f80 -> f95 : E1'=1, H1'=free_11, Q1'=T, J1'=9, K1'=W, L1'=S, M1'=X, N1'=1, R'=9, U'=1, V'=free_11, [ B1>=1 && W>=1 && 0>=free_11 ], cost: 5
16.21/5.98	
16.21/5.98	     99: f80 -> [37] : E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, U'=1, [ B1>=1 && W>=1 ], cost: INF
16.21/5.98	
16.21/5.98	     74: f95 -> f123 : F1'=0, G1'=0, N1'=0, U'=0, [ 0>=K1 ], cost: 2
16.21/5.98	
16.21/5.98	     88: f95 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, N1'=1, R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, [ K1>=1 && free_11>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     27: f123 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=F1 ], cost: 1
16.21/5.98	
16.21/5.98	    101: f123 -> f151 : A2'=H, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ 0>=F1 && 0>=D && F>=1 ], cost: 4
16.21/5.98	
16.21/5.98	    103: f123 -> [38] : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=F1 && 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	     92: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_17, D'=free_18, D1'=A2, E1'=0, F1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && 0>=free_17 ], cost: 3
16.21/5.98	
16.21/5.98	     93: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_19, D'=free_20, D1'=A2, D2'=D, E1'=0, E2'=E, F1'=0, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && free_19>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     94: f151 -> f48 : A'=9, B2'=0, C2'=free_17, D'=free_18, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && 0>=free_17 ], cost: 4
16.21/5.98	
16.21/5.98	     95: f151 -> f48 : A'=9, B2'=0, C2'=free_19, D'=free_20, D2'=D, E2'=E, F1'=0, F2'=A, G2'=F, H1'=V1, H2'=G, Q'=1, Q1'=W1, Q2'=H, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && free_19>=1 ], cost: 4
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Eliminated locations (on tree-shaped paths):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     84: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: 2
16.21/5.98	
16.21/5.98	     85: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 ], cost: 4
16.21/5.98	
16.21/5.98	     86: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	    100: f48 -> f151 : A2'=H, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: 4
16.21/5.98	
16.21/5.98	    102: f48 -> [38] : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	     99: f80 -> [37] : E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, U'=1, [ B1>=1 && W>=1 ], cost: INF
16.21/5.98	
16.21/5.98	    105: f80 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=1, R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, [ B1>=1 && W>=1 && free_11>=1 ], cost: 5
16.21/5.98	
16.21/5.98	    106: f80 -> f151 : A2'=H, E1'=0, F1'=0, G1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=B1 ], cost: 3
16.21/5.98	
16.21/5.98	    107: f80 -> f151 : A2'=H, E1'=0, F1'=0, G1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ 0>=B1 && 0>=D && F>=1 ], cost: 6
16.21/5.98	
16.21/5.98	    108: f80 -> [38] : A2'=H, E1'=0, F1'=0, G1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=B1 && 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	    109: f80 -> f151 : A2'=H, E1'=1, F1'=0, G1'=0, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ B1>=1 && 0>=W ], cost: 5
16.21/5.98	
16.21/5.98	    110: f80 -> f151 : A2'=H, E1'=1, F1'=0, G1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ B1>=1 && 0>=W && 0>=D && F>=1 ], cost: 8
16.21/5.98	
16.21/5.98	    111: f80 -> [38] : A2'=H, E1'=1, F1'=0, G1'=0, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ B1>=1 && 0>=W && 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	     92: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_17, D'=free_18, D1'=A2, E1'=0, F1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && 0>=free_17 ], cost: 3
16.21/5.98	
16.21/5.98	     93: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_19, D'=free_20, D1'=A2, D2'=D, E1'=0, E2'=E, F1'=0, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && free_19>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     94: f151 -> f48 : A'=9, B2'=0, C2'=free_17, D'=free_18, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && 0>=free_17 ], cost: 4
16.21/5.98	
16.21/5.98	     95: f151 -> f48 : A'=9, B2'=0, C2'=free_19, D'=free_20, D2'=D, E2'=E, F1'=0, F2'=A, G2'=F, H1'=V1, H2'=G, Q'=1, Q1'=W1, Q2'=H, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && free_19>=1 ], cost: 4
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Accelerating simple loops of location 9.
16.21/5.98	
16.21/5.98	   Accelerating the following rules:
16.21/5.98	
16.21/5.98	    105: f80 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=1, R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, [ B1>=1 && W>=1 && free_11>=1 ], cost: 5
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	   Found no metering function for rule 105.
16.21/5.98	
16.21/5.98	   Removing the simple loops:.
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Accelerated all simple loops using metering functions (where possible):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     84: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: 2
16.21/5.98	
16.21/5.98	     85: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 ], cost: 4
16.21/5.98	
16.21/5.98	     86: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	    100: f48 -> f151 : A2'=H, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: 4
16.21/5.98	
16.21/5.98	    102: f48 -> [38] : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	     99: f80 -> [37] : E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, U'=1, [ B1>=1 && W>=1 ], cost: INF
16.21/5.98	
16.21/5.98	    105: f80 -> f80 : A1'=10, B1'=0, C1'=S, D1'=X, E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=1, R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, [ B1>=1 && W>=1 && free_11>=1 ], cost: 5
16.21/5.98	
16.21/5.98	    106: f80 -> f151 : A2'=H, E1'=0, F1'=0, G1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=B1 ], cost: 3
16.21/5.98	
16.21/5.98	    107: f80 -> f151 : A2'=H, E1'=0, F1'=0, G1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ 0>=B1 && 0>=D && F>=1 ], cost: 6
16.21/5.98	
16.21/5.98	    108: f80 -> [38] : A2'=H, E1'=0, F1'=0, G1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=B1 && 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	    109: f80 -> f151 : A2'=H, E1'=1, F1'=0, G1'=0, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ B1>=1 && 0>=W ], cost: 5
16.21/5.98	
16.21/5.98	    110: f80 -> f151 : A2'=H, E1'=1, F1'=0, G1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ B1>=1 && 0>=W && 0>=D && F>=1 ], cost: 8
16.21/5.98	
16.21/5.98	    111: f80 -> [38] : A2'=H, E1'=1, F1'=0, G1'=0, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ B1>=1 && 0>=W && 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	     92: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_17, D'=free_18, D1'=A2, E1'=0, F1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && 0>=free_17 ], cost: 3
16.21/5.98	
16.21/5.98	     93: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_19, D'=free_20, D1'=A2, D2'=D, E1'=0, E2'=E, F1'=0, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && free_19>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     94: f151 -> f48 : A'=9, B2'=0, C2'=free_17, D'=free_18, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && 0>=free_17 ], cost: 4
16.21/5.98	
16.21/5.98	     95: f151 -> f48 : A'=9, B2'=0, C2'=free_19, D'=free_20, D2'=D, E2'=E, F1'=0, F2'=A, G2'=F, H1'=V1, H2'=G, Q'=1, Q1'=W1, Q2'=H, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && free_19>=1 ], cost: 4
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Chained accelerated rules (with incoming rules):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     84: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: 2
16.21/5.98	
16.21/5.98	     85: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 ], cost: 4
16.21/5.98	
16.21/5.98	     86: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	     12: f48 -> f80 : A'=10, A1'=10, B1'=0, C1'=G, D1'=H, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, [ D>=1 ], cost: 1
16.21/5.98	
16.21/5.98	     26: f48 -> f151 : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D ], cost: 1
16.21/5.98	
16.21/5.98	    100: f48 -> f151 : A2'=H, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: 4
16.21/5.98	
16.21/5.98	    102: f48 -> [38] : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	     99: f80 -> [37] : E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, U'=1, [ B1>=1 && W>=1 ], cost: INF
16.21/5.98	
16.21/5.98	    106: f80 -> f151 : A2'=H, E1'=0, F1'=0, G1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=B1 ], cost: 3
16.21/5.98	
16.21/5.98	    107: f80 -> f151 : A2'=H, E1'=0, F1'=0, G1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ 0>=B1 && 0>=D && F>=1 ], cost: 6
16.21/5.98	
16.21/5.98	    108: f80 -> [38] : A2'=H, E1'=0, F1'=0, G1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=B1 && 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	    109: f80 -> f151 : A2'=H, E1'=1, F1'=0, G1'=0, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ B1>=1 && 0>=W ], cost: 5
16.21/5.98	
16.21/5.98	    110: f80 -> f151 : A2'=H, E1'=1, F1'=0, G1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=1, V1'=free_15, W1'=E, X1'=9, Y1'=F, Z1'=G, [ B1>=1 && 0>=W && 0>=D && F>=1 ], cost: 8
16.21/5.98	
16.21/5.98	    111: f80 -> [38] : A2'=H, E1'=1, F1'=0, G1'=0, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ B1>=1 && 0>=W && 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	     92: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_17, D'=free_18, D1'=A2, E1'=0, F1'=0, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && 0>=free_17 ], cost: 3
16.21/5.98	
16.21/5.98	     93: f151 -> f48 : A'=9, A1'=10, B1'=0, B2'=0, C1'=Z1, C2'=free_19, D'=free_20, D1'=A2, D2'=D, E1'=0, E2'=E, F1'=0, F2'=A, G2'=F, H2'=G, Q'=1, Q2'=H, U'=0, X1'=10, Y'=V1, Y1'=0, Z'=W1, [ V1>=1 && 0>=Q && free_19>=1 ], cost: 3
16.21/5.98	
16.21/5.98	     94: f151 -> f48 : A'=9, B2'=0, C2'=free_17, D'=free_18, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && 0>=free_17 ], cost: 4
16.21/5.98	
16.21/5.98	     95: f151 -> f48 : A'=9, B2'=0, C2'=free_19, D'=free_20, D2'=D, E2'=E, F1'=0, F2'=A, G2'=F, H1'=V1, H2'=G, Q'=1, Q1'=W1, Q2'=H, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, U'=0, [ 0>=V1 && 0>=Y1 && 0>=Q && free_19>=1 ], cost: 4
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Eliminated locations (on tree-shaped paths):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     84: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: 2
16.21/5.98	
16.21/5.98	     85: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 ], cost: 4
16.21/5.98	
16.21/5.98	     86: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	    102: f48 -> [38] : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	    113: f48 -> f48 : A'=9, A2'=H, B2'=0, C2'=free_17, D'=free_18, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && 0>=F && 0>=Q && 0>=free_17 ], cost: 5
16.21/5.98	
16.21/5.98	    114: f48 -> f48 : A'=9, A2'=H, B2'=0, C2'=free_19, D'=free_20, D2'=D, E2'=E, F1'=0, F2'=A, G2'=F, H1'=D, H2'=G, Q'=1, Q1'=E, Q2'=H, J1'=A, K1'=F, L1'=G, M1'=H, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && 0>=F && 0>=Q && free_19>=1 ], cost: 5
16.21/5.98	
16.21/5.98	    115: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_17, D'=free_18, D1'=H, E1'=0, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=0, V1'=free_15, W1'=E, X1'=10, Y'=free_15, Y1'=0, Z'=E, Z1'=G, [ 0>=D && F>=1 && free_15>=1 && 0>=Q && 0>=free_17 ], cost: 7
16.21/5.98	
16.21/5.98	    116: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_19, D'=free_20, D1'=H, D2'=D, E1'=0, E2'=E, F1'=0, F2'=A, G2'=F, H1'=D, H2'=G, Q'=1, Q1'=E, Q2'=H, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=0, V1'=free_15, W1'=E, X1'=10, Y'=free_15, Y1'=0, Z'=E, Z1'=G, [ 0>=D && F>=1 && free_15>=1 && 0>=Q && free_19>=1 ], cost: 7
16.21/5.98	
16.21/5.98	    117: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_17, D'=free_18, D1'=H, E1'=0, F'=0, F1'=0, G1'=0, R'=10, S'=G, T'=E, U'=0, V'=D, V1'=D, W'=0, W1'=E, X'=H, X1'=10, Y'=D, Y1'=0, Z'=E, Z1'=G, [ D>=1 && 0>=Q && 0>=free_17 ], cost: 7
16.21/5.98	
16.21/5.98	    118: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_19, D'=free_20, D1'=H, D2'=D, E1'=0, E2'=E, F'=0, F1'=0, F2'=10, G1'=0, G2'=0, H2'=G, Q'=1, Q2'=H, R'=10, S'=G, T'=E, U'=0, V'=D, V1'=D, W'=0, W1'=E, X'=H, X1'=10, Y'=D, Y1'=0, Z'=E, Z1'=G, [ D>=1 && 0>=Q && free_19>=1 ], cost: 7
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Applied pruning (of leafs and parallel rules):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     84: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: 2
16.21/5.98	
16.21/5.98	     85: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 ], cost: 4
16.21/5.98	
16.21/5.98	     86: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	    102: f48 -> [38] : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	    113: f48 -> f48 : A'=9, A2'=H, B2'=0, C2'=free_17, D'=free_18, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && 0>=F && 0>=Q && 0>=free_17 ], cost: 5
16.21/5.98	
16.21/5.98	    114: f48 -> f48 : A'=9, A2'=H, B2'=0, C2'=free_19, D'=free_20, D2'=D, E2'=E, F1'=0, F2'=A, G2'=F, H1'=D, H2'=G, Q'=1, Q1'=E, Q2'=H, J1'=A, K1'=F, L1'=G, M1'=H, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && 0>=F && 0>=Q && free_19>=1 ], cost: 5
16.21/5.98	
16.21/5.98	    115: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_17, D'=free_18, D1'=H, E1'=0, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=0, V1'=free_15, W1'=E, X1'=10, Y'=free_15, Y1'=0, Z'=E, Z1'=G, [ 0>=D && F>=1 && free_15>=1 && 0>=Q && 0>=free_17 ], cost: 7
16.21/5.98	
16.21/5.98	    116: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_19, D'=free_20, D1'=H, D2'=D, E1'=0, E2'=E, F1'=0, F2'=A, G2'=F, H1'=D, H2'=G, Q'=1, Q1'=E, Q2'=H, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=0, V1'=free_15, W1'=E, X1'=10, Y'=free_15, Y1'=0, Z'=E, Z1'=G, [ 0>=D && F>=1 && free_15>=1 && 0>=Q && free_19>=1 ], cost: 7
16.21/5.98	
16.21/5.98	    118: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_19, D'=free_20, D1'=H, D2'=D, E1'=0, E2'=E, F'=0, F1'=0, F2'=10, G1'=0, G2'=0, H2'=G, Q'=1, Q2'=H, R'=10, S'=G, T'=E, U'=0, V'=D, V1'=D, W'=0, W1'=E, X'=H, X1'=10, Y'=D, Y1'=0, Z'=E, Z1'=G, [ D>=1 && 0>=Q && free_19>=1 ], cost: 7
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Accelerating simple loops of location 7.
16.21/5.98	
16.21/5.98	   Accelerating the following rules:
16.21/5.98	
16.21/5.98	    113: f48 -> f48 : A'=9, A2'=H, B2'=0, C2'=free_17, D'=free_18, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && 0>=F && 0>=Q && 0>=free_17 ], cost: 5
16.21/5.98	
16.21/5.98	    114: f48 -> f48 : A'=9, A2'=H, B2'=0, C2'=free_19, D'=free_20, D2'=D, E2'=E, F1'=0, F2'=A, G2'=F, H1'=D, H2'=G, Q'=1, Q1'=E, Q2'=H, J1'=A, K1'=F, L1'=G, M1'=H, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && 0>=F && 0>=Q && free_19>=1 ], cost: 5
16.21/5.98	
16.21/5.98	    115: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_17, D'=free_18, D1'=H, E1'=0, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=0, V1'=free_15, W1'=E, X1'=10, Y'=free_15, Y1'=0, Z'=E, Z1'=G, [ 0>=D && F>=1 && free_15>=1 && 0>=Q && 0>=free_17 ], cost: 7
16.21/5.98	
16.21/5.98	    116: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_19, D'=free_20, D1'=H, D2'=D, E1'=0, E2'=E, F1'=0, F2'=A, G2'=F, H1'=D, H2'=G, Q'=1, Q1'=E, Q2'=H, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=0, V1'=free_15, W1'=E, X1'=10, Y'=free_15, Y1'=0, Z'=E, Z1'=G, [ 0>=D && F>=1 && free_15>=1 && 0>=Q && free_19>=1 ], cost: 7
16.21/5.98	
16.21/5.98	    118: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_19, D'=free_20, D1'=H, D2'=D, E1'=0, E2'=E, F'=0, F1'=0, F2'=10, G1'=0, G2'=0, H2'=G, Q'=1, Q2'=H, R'=10, S'=G, T'=E, U'=0, V'=D, V1'=D, W'=0, W1'=E, X'=H, X1'=10, Y'=D, Y1'=0, Z'=E, Z1'=G, [ D>=1 && 0>=Q && free_19>=1 ], cost: 7
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	   Accelerated rule 113 with NONTERM (after strengthening guard), yielding the new rule 119.
16.21/5.98	
16.21/5.98	   Found no metering function for rule 114.
16.21/5.98	
16.21/5.98	   Accelerated rule 115 with NONTERM (after strengthening guard), yielding the new rule 120.
16.21/5.98	
16.21/5.98	   Found no metering function for rule 116.
16.21/5.98	
16.21/5.98	   Found no metering function for rule 118.
16.21/5.98	
16.21/5.98	   Removing the simple loops:.
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Accelerated all simple loops using metering functions (where possible):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     84: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: 2
16.21/5.98	
16.21/5.98	     85: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 ], cost: 4
16.21/5.98	
16.21/5.98	     86: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	    102: f48 -> [38] : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	    113: f48 -> f48 : A'=9, A2'=H, B2'=0, C2'=free_17, D'=free_18, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && 0>=F && 0>=Q && 0>=free_17 ], cost: 5
16.21/5.98	
16.21/5.98	    114: f48 -> f48 : A'=9, A2'=H, B2'=0, C2'=free_19, D'=free_20, D2'=D, E2'=E, F1'=0, F2'=A, G2'=F, H1'=D, H2'=G, Q'=1, Q1'=E, Q2'=H, J1'=A, K1'=F, L1'=G, M1'=H, N1'=0, U'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && 0>=F && 0>=Q && free_19>=1 ], cost: 5
16.21/5.98	
16.21/5.98	    115: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_17, D'=free_18, D1'=H, E1'=0, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=0, V1'=free_15, W1'=E, X1'=10, Y'=free_15, Y1'=0, Z'=E, Z1'=G, [ 0>=D && F>=1 && free_15>=1 && 0>=Q && 0>=free_17 ], cost: 7
16.21/5.98	
16.21/5.98	    116: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_19, D'=free_20, D1'=H, D2'=D, E1'=0, E2'=E, F1'=0, F2'=A, G2'=F, H1'=D, H2'=G, Q'=1, Q1'=E, Q2'=H, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, U'=0, V1'=free_15, W1'=E, X1'=10, Y'=free_15, Y1'=0, Z'=E, Z1'=G, [ 0>=D && F>=1 && free_15>=1 && 0>=Q && free_19>=1 ], cost: 7
16.21/5.98	
16.21/5.98	    118: f48 -> f48 : A'=9, A1'=10, A2'=H, B1'=0, B2'=0, C1'=G, C2'=free_19, D'=free_20, D1'=H, D2'=D, E1'=0, E2'=E, F'=0, F1'=0, F2'=10, G1'=0, G2'=0, H2'=G, Q'=1, Q2'=H, R'=10, S'=G, T'=E, U'=0, V'=D, V1'=D, W'=0, W1'=E, X'=H, X1'=10, Y'=D, Y1'=0, Z'=E, Z1'=G, [ D>=1 && 0>=Q && free_19>=1 ], cost: 7
16.21/5.98	
16.21/5.98	    119: f48 -> [40] : [ 0>=D && 0>=F && 0>=Q && 0>=free_17 && 0>=free_18 ], cost: INF
16.21/5.98	
16.21/5.98	    120: f48 -> [40] : [ 0>=D && F>=1 && free_15>=1 && 0>=Q && 0>=free_17 && 0>=free_18 ], cost: INF
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Chained accelerated rules (with incoming rules):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     84: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: 2
16.21/5.98	
16.21/5.98	     85: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 ], cost: 4
16.21/5.98	
16.21/5.98	     86: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 ], cost: 4
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	    121: f3 -> f48 : A'=9, A2'=free_2, B'=0, B2'=0, C'=0, C2'=free_17, D'=free_18, E'=free, F'=0, F1'=0, G'=free_3, H'=free_2, H1'=free_8, Q'=0, Q1'=free, J'=0, J1'=9, K1'=0, L1'=free_3, M1'=free_2, N1'=0, U'=0, V1'=free_8, W1'=free, X1'=9, Y1'=0, Z1'=free_3, [ 0>=free_3 && 0>=free_8 && 0>=free_17 ], cost: 7
16.21/5.98	
16.21/5.98	    122: f3 -> f48 : A'=9, A2'=free_2, B'=0, B2'=0, C'=0, C2'=free_17, D'=free_18, E'=free_4, F'=0, F1'=0, G'=1+free_3, H'=free_2, H1'=free_8, Q'=0, Q1'=free_4, J'=1, J1'=9, K'=free_7, K1'=0, L'=free_1, L1'=1+free_3, M'=free_4, M1'=free_2, N'=5, N1'=0, O'=0, P'=1+free_3, Q_1'=free_2, U'=0, V1'=free_8, W1'=free_4, X1'=9, Y1'=0, Z1'=1+free_3, [ free_4>=1 && free_7>=1 && 0>=1+free_3 && 0>=free_8 && 0>=free_17 ], cost: 9
16.21/5.98	
16.21/5.98	    123: f3 -> f48 : A'=9, A2'=free_2, B'=0, B2'=0, C'=0, C2'=free_17, D'=free_18, E'=free_5, F'=0, F1'=0, G'=-1+free_3, H'=free_2, H1'=free_8, Q'=0, Q1'=free_5, J'=1, J1'=9, K'=free_7, K1'=0, L'=free_1, L1'=-1+free_3, M'=free_5, M1'=free_2, N'=6, N1'=0, O'=0, P'=-1+free_3, Q_1'=free_2, U'=0, V1'=free_8, W1'=free_5, X1'=9, Y1'=0, Z1'=-1+free_3, [ 0>=free_3 && 0>=free_5 && free_7>=1 && 0>=free_8 && 0>=free_17 ], cost: 9
16.21/5.98	
16.21/5.98	    124: f3 -> f48 : A'=9, A2'=free_2, B'=0, B2'=0, C'=0, C2'=free_19, D'=free_20, D2'=free_8, E'=free, E2'=free, F'=0, F1'=0, F2'=9, G'=free_3, G2'=0, H'=free_2, H1'=free_8, H2'=free_3, Q'=1, Q1'=free, Q2'=free_2, J'=0, J1'=9, K1'=0, L1'=free_3, M1'=free_2, N1'=0, U'=0, V1'=free_8, W1'=free, X1'=9, Y1'=0, Z1'=free_3, [ 0>=free_3 && 0>=free_8 && free_19>=1 ], cost: 7
16.21/5.98	
16.21/5.98	    125: f3 -> f48 : A'=9, A2'=free_2, B'=0, B2'=0, C'=0, C2'=free_19, D'=free_20, D2'=free_8, E'=free_4, E2'=free_4, F'=0, F1'=0, F2'=9, G'=1+free_3, G2'=0, H'=free_2, H1'=free_8, H2'=1+free_3, Q'=1, Q1'=free_4, Q2'=free_2, J'=1, J1'=9, K'=free_7, K1'=0, L'=free_1, L1'=1+free_3, M'=free_4, M1'=free_2, N'=5, N1'=0, O'=0, P'=1+free_3, Q_1'=free_2, U'=0, V1'=free_8, W1'=free_4, X1'=9, Y1'=0, Z1'=1+free_3, [ free_4>=1 && free_7>=1 && 0>=1+free_3 && 0>=free_8 && free_19>=1 ], cost: 9
16.21/5.98	
16.21/5.98	    126: f3 -> f48 : A'=9, A2'=free_2, B'=0, B2'=0, C'=0, C2'=free_19, D'=free_20, D2'=free_8, E'=free_5, E2'=free_5, F'=0, F1'=0, F2'=9, G'=-1+free_3, G2'=0, H'=free_2, H1'=free_8, H2'=-1+free_3, Q'=1, Q1'=free_5, Q2'=free_2, J'=1, J1'=9, K'=free_7, K1'=0, L'=free_1, L1'=-1+free_3, M'=free_5, M1'=free_2, N'=6, N1'=0, O'=0, P'=-1+free_3, Q_1'=free_2, U'=0, V1'=free_8, W1'=free_5, X1'=9, Y1'=0, Z1'=-1+free_3, [ 0>=free_3 && 0>=free_5 && free_7>=1 && 0>=free_8 && free_19>=1 ], cost: 9
16.21/5.98	
16.21/5.98	    127: f3 -> f48 : A'=9, A1'=10, A2'=free_2, B'=0, B1'=0, B2'=0, C'=0, C1'=free_3, C2'=free_19, D'=free_20, D1'=free_2, D2'=free_8, E'=free, E1'=0, E2'=free, F'=0, F1'=0, F2'=10, G'=free_3, G1'=0, G2'=0, H'=free_2, H2'=free_3, Q'=1, Q2'=free_2, J'=0, R'=10, S'=free_3, T'=free, U'=0, V'=free_8, V1'=free_8, W'=0, W1'=free, X'=free_2, X1'=10, Y'=free_8, Y1'=0, Z'=free, Z1'=free_3, [ 0>=free_3 && free_8>=1 && free_19>=1 ], cost: 9
16.21/5.98	
16.21/5.98	    128: f3 -> f48 : A'=9, A1'=10, A2'=free_2, B'=0, B1'=0, B2'=0, C'=0, C1'=1+free_3, C2'=free_19, D'=free_20, D1'=free_2, D2'=free_8, E'=free_4, E1'=0, E2'=free_4, F'=0, F1'=0, F2'=10, G'=1+free_3, G1'=0, G2'=0, H'=free_2, H2'=1+free_3, Q'=1, Q2'=free_2, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, R'=10, S'=1+free_3, T'=free_4, U'=0, V'=free_8, V1'=free_8, W'=0, W1'=free_4, X'=free_2, X1'=10, Y'=free_8, Y1'=0, Z'=free_4, Z1'=1+free_3, [ free_4>=1 && free_7>=1 && 0>=1+free_3 && free_8>=1 && free_19>=1 ], cost: 11
16.21/5.98	
16.21/5.98	    129: f3 -> f48 : A'=9, A1'=10, A2'=free_2, B'=0, B1'=0, B2'=0, C'=0, C1'=-1+free_3, C2'=free_19, D'=free_20, D1'=free_2, D2'=free_8, E'=free_5, E1'=0, E2'=free_5, F'=0, F1'=0, F2'=10, G'=-1+free_3, G1'=0, G2'=0, H'=free_2, H2'=-1+free_3, Q'=1, Q2'=free_2, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, R'=10, S'=-1+free_3, T'=free_5, U'=0, V'=free_8, V1'=free_8, W'=0, W1'=free_5, X'=free_2, X1'=10, Y'=free_8, Y1'=0, Z'=free_5, Z1'=-1+free_3, [ 0>=free_3 && 0>=free_5 && free_7>=1 && free_8>=1 && free_19>=1 ], cost: 11
16.21/5.98	
16.21/5.98	    130: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	    131: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	    132: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	    102: f48 -> [38] : A2'=H, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, [ 0>=D && F>=1 ], cost: INF
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Eliminated locations (on tree-shaped paths):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	    130: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	    131: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	    132: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Applied pruning (of leafs and parallel rules):
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	    130: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	    131: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	    132: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	### Computing asymptotic complexity ###
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Fully simplified ITS problem
16.21/5.98	
16.21/5.98	   Start location: f3
16.21/5.98	
16.21/5.98	     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free_1, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 ], cost: INF
16.21/5.98	
16.21/5.98	     87: f3 -> [36] : [ 0>=free_3 && free_4>=1 && 0>=free_6 ], cost: 3-2*free_3
16.21/5.98	
16.21/5.98	    130: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free, F'=0, G'=free_3, H'=free_2, Q'=0, J'=0, [ 0>=free_3 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	    131: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_4, N'=5, O'=0, P'=1+free_3, Q_1'=free_2, [ free_4>=1 && free_7>=1 && 0>=1+free_3 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	    132: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_3, H'=free_2, Q'=0, J'=1, K'=free_7, L'=free_1, M'=free_5, N'=6, O'=0, P'=-1+free_3, Q_1'=free_2, [ 0>=free_3 && 0>=free_5 && free_7>=1 && 0>=free_8 ], cost: INF
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Computing asymptotic complexity for rule 83
16.21/5.98	
16.21/5.98	   Resulting cost INF has complexity: Nonterm
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Found new complexity Nonterm.
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	Obtained the following overall complexity (w.r.t. the length of the input n):
16.21/5.98	
16.21/5.98	   Complexity:  Nonterm
16.21/5.98	
16.21/5.98	   Cpx degree:  Nonterm
16.21/5.98	
16.21/5.98	   Solved cost: INF
16.21/5.98	
16.21/5.98	   Rule cost:   INF
16.21/5.98	
16.21/5.98	   Rule guard:  [ 0>=free_3 ]
16.21/5.98	
16.21/5.98	
16.21/5.98	
16.21/5.98	NO
16.21/5.98	
16.21/5.98	
16.21/5.98	----------------------------------------
16.21/5.98	
16.21/5.98	(2)
16.21/5.98	BOUNDS(INF, INF)
16.48/6.01	EOF