Initial Problem

Start: f9
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9, Arg_10, Arg_11, Arg_12, Arg_13, Arg_14, Arg_15, Arg_16, Arg_17, Arg_18, Arg_19, Arg_20, Arg_21, Arg_22, Arg_23, Arg_24
Temp_Vars: A1, B1, C1, D1, E1, F1, G1, H1, I1, J1, K1, L1, M1, N1, O1, P1, Q1, Z
Locations: f1, f10, f7, f8, f9
Transitions:
0:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f1(Arg_0,1+Arg_1,Arg_3,Z,Arg_3,A1,Arg_1,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:Arg_1+1<=Arg_0 && 0<=Arg_1
14:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(A1,C1,B1,H1,G1,Arg_5,Arg_6,Arg_2,Arg_17,0,Z,Arg_2,Arg_2,0,Arg_2,Arg_2,E1,Arg_17,Arg_18,Arg_19,Arg_20,D1,F1,Arg_23,Arg_17+1):|:Z<=K1 && 2<=L1 && L1<=C1 && Arg_0<=Arg_1 && 0<=Arg_1 && 1<=Arg_2 && 0<=C1 && 2<=Z && Arg_2+1<=0
15:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(A1,C1,B1,H1,G1,Arg_5,Arg_6,Arg_2,Arg_17,0,Z,Arg_2,Arg_2,0,Arg_2,Arg_2,E1,Arg_17,Arg_18,Arg_19,Arg_20,D1,F1,Arg_23,Arg_17+1):|:Z<=K1 && 2<=L1 && L1<=C1 && Arg_0<=Arg_1 && 0<=Arg_1 && 1<=Arg_2 && 0<=C1 && 2<=Z
16:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(A1,C1,B1,H1,G1,Arg_5,Arg_6,Arg_2,Arg_17,0,Z,Arg_2,Arg_2,0,Arg_2,Arg_2,E1,Arg_17,Arg_18,Arg_19,Arg_20,D1,F1,Arg_23,Arg_17+1):|:Z<=K1 && 2<=L1 && L1<=C1 && Arg_0<=Arg_1 && 0<=Arg_1 && Arg_2+1<=0 && 0<=C1 && 2<=Z
17:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(A1,C1,B1,H1,G1,Arg_5,Arg_6,Arg_2,Arg_17,0,Z,Arg_2,Arg_2,0,Arg_2,Arg_2,E1,Arg_17,Arg_18,Arg_19,Arg_20,D1,F1,Arg_23,Arg_17+1):|:Z<=K1 && 2<=L1 && L1<=C1 && Arg_0<=Arg_1 && 0<=Arg_1 && Arg_2+1<=0 && 0<=C1 && 2<=Z && 1<=Arg_2
5:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,G1,Arg_8,F1,Z,B1,C1,D1,E1,H1,A1,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:0<=Arg_8 && B1+1<=0 && 2<=Z && Arg_9<=Arg_7 && Arg_7<=Arg_9
6:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,G1,Arg_8,F1,Z,B1,C1,D1,E1,H1,A1,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:0<=Arg_8 && 1<=B1 && 2<=Z && Arg_9<=Arg_7 && Arg_7<=Arg_9
1:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0,Z,A1,A1,0,A1,Arg_7,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:Arg_7+1<=B1 && 0<=Arg_8 && B1+1<=A1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
2:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0,Z,A1,A1,0,A1,Arg_7,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:Arg_7+1<=B1 && 0<=Arg_8 && A1+1<=B1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
3:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0,Z,A1,A1,0,A1,Arg_7,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:B1+1<=Arg_7 && 0<=Arg_8 && B1+1<=A1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
4:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0,Z,A1,A1,0,A1,Arg_7,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:B1+1<=Arg_7 && 0<=Arg_8 && A1+1<=B1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
11:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,F1,Arg_8,E1,Z,Arg_11,B1,C1,D1,G1,A1,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:2<=Z && 0<=Arg_17 && Arg_9<=Arg_7 && Arg_7<=Arg_9
7:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0,Z,A1,A1,0,A1,Arg_7,Arg_16,Arg_17-1,B1,Arg_17-1,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:Arg_7+1<=C1 && 0<=Arg_17 && C1+1<=A1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
8:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0,Z,A1,A1,0,A1,Arg_7,Arg_16,Arg_17-1,B1,Arg_17-1,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:Arg_7+1<=C1 && 0<=Arg_17 && A1+1<=C1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
9:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0,Z,A1,A1,0,A1,Arg_7,Arg_16,Arg_17-1,B1,Arg_17-1,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:C1+1<=Arg_7 && 0<=Arg_17 && C1+1<=A1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
10:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0,Z,A1,A1,0,A1,Arg_7,Arg_16,Arg_17-1,B1,Arg_17-1,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24):|:C1+1<=Arg_7 && 0<=Arg_17 && A1+1<=C1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
13:f9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f1(A1,2,B1,C1,B1,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,A1,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Z,Arg_21,B1,D1,Arg_24):|:2<=A1
12:f9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24) -> f10(B1,D1,C1,K1,H1,Arg_5,Arg_6,P1,Arg_8,O1,A1,0,L1,M1,N1,Q1,F1,Arg_17,Arg_18,Arg_19,Z,E1,G1,Arg_23,Arg_24):|:I1<=0 && A1<=0 && J1<=0

Preprocessing

Cut unreachable locations [f7] from the program graph

Cut unsatisfiable transition 14: f1->f8

Cut unsatisfiable transition 17: f1->f8

Eliminate variables {G1,M1,N1,Q1,Arg_4,Arg_5,Arg_6,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24} that do not contribute to the problem

Found invariant Arg_9<=0 && 2+Arg_9<=Arg_1 && 0<=Arg_9 && 2<=Arg_1+Arg_9 && 2<=Arg_1 for location f8

Found invariant Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && 2<=Arg_0 for location f1

Problem after Preprocessing

Start: f9
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_7, Arg_9, Arg_17
Temp_Vars: A1, B1, C1, D1, E1, F1, H1, I1, J1, K1, L1, O1, P1, Z
Locations: f1, f10, f8, f9
Transitions:
32:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f1(Arg_0,1+Arg_1,Arg_3,Z,Arg_7,Arg_9,Arg_17):|:Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && 2<=Arg_0 && Arg_1+1<=Arg_0 && 0<=Arg_1
33:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f8(A1,C1,B1,H1,Arg_2,0,Arg_17):|:Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && 2<=Arg_0 && Z<=K1 && 2<=L1 && L1<=C1 && Arg_0<=Arg_1 && 0<=Arg_1 && 1<=Arg_2 && 0<=C1 && 2<=Z
34:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f8(A1,C1,B1,H1,Arg_2,0,Arg_17):|:Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && 2<=Arg_0 && Z<=K1 && 2<=L1 && L1<=C1 && Arg_0<=Arg_1 && 0<=Arg_1 && Arg_2+1<=0 && 0<=C1 && 2<=Z
39:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f10(Arg_0,Arg_1,Arg_2,Arg_3,F1,E1,Arg_17):|:Arg_9<=0 && 2+Arg_9<=Arg_1 && 0<=Arg_9 && 2<=Arg_1+Arg_9 && 2<=Arg_1 && 2<=Z && 0<=Arg_17 && Arg_9<=Arg_7 && Arg_7<=Arg_9
35:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,0,Arg_17-1):|:Arg_9<=0 && 2+Arg_9<=Arg_1 && 0<=Arg_9 && 2<=Arg_1+Arg_9 && 2<=Arg_1 && Arg_7+1<=C1 && 0<=Arg_17 && C1+1<=A1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
36:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,0,Arg_17-1):|:Arg_9<=0 && 2+Arg_9<=Arg_1 && 0<=Arg_9 && 2<=Arg_1+Arg_9 && 2<=Arg_1 && Arg_7+1<=C1 && 0<=Arg_17 && A1+1<=C1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
37:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,0,Arg_17-1):|:Arg_9<=0 && 2+Arg_9<=Arg_1 && 0<=Arg_9 && 2<=Arg_1+Arg_9 && 2<=Arg_1 && C1+1<=Arg_7 && 0<=Arg_17 && C1+1<=A1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
38:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,0,Arg_17-1):|:Arg_9<=0 && 2+Arg_9<=Arg_1 && 0<=Arg_9 && 2<=Arg_1+Arg_9 && 2<=Arg_1 && C1+1<=Arg_7 && 0<=Arg_17 && A1+1<=C1 && 2<=Z && Arg_9<=0 && 0<=Arg_9
41:f9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f1(A1,2,B1,C1,Arg_7,Arg_9,Arg_17):|:2<=A1
40:f9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f10(B1,D1,C1,K1,P1,O1,Arg_17):|:I1<=0 && A1<=0 && J1<=0

MPRF for transition 35:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,0,Arg_17-1):|:Arg_9<=0 && 2+Arg_9<=Arg_1 && 0<=Arg_9 && 2<=Arg_1+Arg_9 && 2<=Arg_1 && Arg_7+1<=C1 && 0<=Arg_17 && C1+1<=A1 && 2<=Z && Arg_9<=0 && 0<=Arg_9 of depth 1:

new bound:

4*Arg_17+2 {O(n)}

MPRF:

f8 [Arg_17+1 ]

MPRF for transition 36:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,0,Arg_17-1):|:Arg_9<=0 && 2+Arg_9<=Arg_1 && 0<=Arg_9 && 2<=Arg_1+Arg_9 && 2<=Arg_1 && Arg_7+1<=C1 && 0<=Arg_17 && A1+1<=C1 && 2<=Z && Arg_9<=0 && 0<=Arg_9 of depth 1:

new bound:

4*Arg_17+2 {O(n)}

MPRF:

f8 [Arg_17+1 ]

MPRF for transition 37:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,0,Arg_17-1):|:Arg_9<=0 && 2+Arg_9<=Arg_1 && 0<=Arg_9 && 2<=Arg_1+Arg_9 && 2<=Arg_1 && C1+1<=Arg_7 && 0<=Arg_17 && C1+1<=A1 && 2<=Z && Arg_9<=0 && 0<=Arg_9 of depth 1:

new bound:

4*Arg_17+2 {O(n)}

MPRF:

f8 [Arg_17+1 ]

MPRF for transition 38:f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,Arg_9,Arg_17) -> f8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_7,0,Arg_17-1):|:Arg_9<=0 && 2+Arg_9<=Arg_1 && 0<=Arg_9 && 2<=Arg_1+Arg_9 && 2<=Arg_1 && C1+1<=Arg_7 && 0<=Arg_17 && A1+1<=C1 && 2<=Z && Arg_9<=0 && 0<=Arg_9 of depth 1:

new bound:

4*Arg_17+2 {O(n)}

MPRF:

f8 [Arg_17+1 ]

All Bounds

Timebounds

Overall timebound:inf {Infinity}
32: f1->f1: inf {Infinity}
33: f1->f8: 1 {O(1)}
34: f1->f8: 1 {O(1)}
35: f8->f8: 4*Arg_17+2 {O(n)}
36: f8->f8: 4*Arg_17+2 {O(n)}
37: f8->f8: 4*Arg_17+2 {O(n)}
38: f8->f8: 4*Arg_17+2 {O(n)}
39: f8->f10: 1 {O(1)}
40: f9->f10: 1 {O(1)}
41: f9->f1: 1 {O(1)}

Costbounds

Overall costbound: inf {Infinity}
32: f1->f1: inf {Infinity}
33: f1->f8: 1 {O(1)}
34: f1->f8: 1 {O(1)}
35: f8->f8: 4*Arg_17+2 {O(n)}
36: f8->f8: 4*Arg_17+2 {O(n)}
37: f8->f8: 4*Arg_17+2 {O(n)}
38: f8->f8: 4*Arg_17+2 {O(n)}
39: f8->f10: 1 {O(1)}
40: f9->f10: 1 {O(1)}
41: f9->f1: 1 {O(1)}

Sizebounds

32: f1->f1, Arg_7: Arg_7 {O(n)}
32: f1->f1, Arg_9: Arg_9 {O(n)}
32: f1->f1, Arg_17: Arg_17 {O(n)}
33: f1->f8, Arg_9: 0 {O(1)}
33: f1->f8, Arg_17: 2*Arg_17 {O(n)}
34: f1->f8, Arg_9: 0 {O(1)}
34: f1->f8, Arg_17: 2*Arg_17 {O(n)}
35: f8->f8, Arg_9: 0 {O(1)}
35: f8->f8, Arg_17: 16*Arg_17+1 {O(n)}
36: f8->f8, Arg_9: 0 {O(1)}
36: f8->f8, Arg_17: 16*Arg_17+1 {O(n)}
37: f8->f8, Arg_9: 0 {O(1)}
37: f8->f8, Arg_17: 16*Arg_17+1 {O(n)}
38: f8->f8, Arg_9: 0 {O(1)}
38: f8->f8, Arg_17: 16*Arg_17+1 {O(n)}
39: f8->f10, Arg_17: 64*Arg_17+4 {O(n)}
40: f9->f10, Arg_17: Arg_17 {O(n)}
41: f9->f1, Arg_1: 2 {O(1)}
41: f9->f1, Arg_7: Arg_7 {O(n)}
41: f9->f1, Arg_9: Arg_9 {O(n)}
41: f9->f1, Arg_17: Arg_17 {O(n)}