Initial Problem

Start: f0
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
Temp_Vars: A1, B1, Y, Z
Locations: f0, f15, f25, f31, f33, f36, f45, f46, f61, f63, f65
Transitions:
18:f0(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) -> f15(Arg_0,Arg_1,0,Arg_3,Arg_4,Arg_5,0,Z,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,0,Y,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,1)
19:f0(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) -> f36(Arg_0,Arg_1,1,Arg_3,Arg_4,Arg_5,0,A1,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,0,Z,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Y):|:Y<=0
20:f0(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) -> f36(Arg_0,Arg_1,1,Arg_3,Arg_4,Arg_5,0,A1,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,0,Z,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Y):|:2<=Y
16:f15(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) -> f15(Arg_0,Arg_1,Arg_2+1,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,Y,Z,0,0,0,Arg_23):|:Arg_2+1<=Arg_17
14:f15(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) -> f25(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,Y,Z,A1,A1,A1,Arg_23):|:A1+1<=0 && Arg_2+1<=Arg_17
15:f15(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) -> f25(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,Y,Z,A1,A1,A1,Arg_23):|:1<=A1 && Arg_2+1<=Arg_17
17:f15(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) -> f31(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_17<=Arg_2
0:f25(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) -> f15(Arg_0,Arg_1,Arg_2+1,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_1+1<=Arg_0
1:f25(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) -> f15(Arg_0,Arg_1,Arg_2+1,Y,0,1,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_0<=Arg_1
2:f31(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) -> f31(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)
3:f33(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) -> f36(Arg_0,Arg_1,1,Arg_3,Arg_4,Arg_5,0,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)
4:f36(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) -> f45(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Y,Z,A1,B1,B1,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23):|:Arg_2<=Arg_7
13:f36(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) -> f61(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,0,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23):|:1+Arg_7<=Arg_2
8:f45(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) -> f36(Arg_0,Arg_1,Arg_2+1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,0,0,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23):|:Arg_12<=0 && 0<=Arg_12
5:f45(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) -> f46(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_12,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23):|:Arg_12+1<=0
6:f45(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) -> f46(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_12,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23):|:1<=Arg_12
7:f46(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) -> f36(Arg_0,Arg_1,Arg_2+1,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_1+1<=Arg_0
11:f46(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) -> f36(Arg_0,Arg_1,Arg_2+1,Y,0,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Z,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23):|:Arg_0<=Arg_1
12:f46(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) -> f45(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Y,Z,A1,A1,Arg_13,Arg_14,B1,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23):|:Arg_0<=Arg_1
9:f61(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) -> f61(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)
10:f63(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) -> f65(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)

Preprocessing

Cut unreachable locations [f33; f63; f65] from the program graph

Eliminate variables {Arg_3,Arg_4,Arg_5,Arg_6,Arg_8,Arg_9,Arg_10,Arg_11,Arg_13,Arg_14,Arg_15,Arg_16,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23} that do not contribute to the problem

Found invariant 1<=Arg_7 && 2<=Arg_2+Arg_7 && Arg_2<=Arg_7 && 1<=Arg_2 for location f45

Found invariant 0<=Arg_2 && Arg_17<=Arg_2 for location f31

Found invariant 0<=Arg_2 for location f15

Found invariant 1<=Arg_2 for location f36

Found invariant 1+Arg_7<=Arg_2 && 1<=Arg_2 for location f61

Found invariant 1<=Arg_7 && 2<=Arg_2+Arg_7 && Arg_2<=Arg_7 && 1<=Arg_2 for location f46

Found invariant 1+Arg_2<=Arg_17 && 0<=Arg_2 && 1<=Arg_17+Arg_2 && 1<=Arg_17 for location f25

Problem after Preprocessing

Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_7, Arg_12, Arg_17
Temp_Vars: A1, B1, Y, Z
Locations: f0, f15, f25, f31, f36, f45, f46, f61
Transitions:
40:f0(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f15(Arg_0,Arg_1,0,Z,Arg_12,Y)
41:f0(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f36(Arg_0,Arg_1,1,A1,Arg_12,Z):|:Y<=0
42:f0(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f36(Arg_0,Arg_1,1,A1,Arg_12,Z):|:2<=Y
45:f15(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f15(Arg_0,Arg_1,Arg_2+1,Arg_7,Arg_12,Arg_17):|:0<=Arg_2 && Arg_2+1<=Arg_17
43:f15(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f25(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17):|:0<=Arg_2 && A1+1<=0 && Arg_2+1<=Arg_17
44:f15(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f25(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17):|:0<=Arg_2 && 1<=A1 && Arg_2+1<=Arg_17
46:f15(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f31(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17):|:0<=Arg_2 && Arg_17<=Arg_2
47:f25(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f15(Arg_0,Arg_1,Arg_2+1,Arg_7,Arg_12,Arg_17):|:1+Arg_2<=Arg_17 && 0<=Arg_2 && 1<=Arg_17+Arg_2 && 1<=Arg_17 && Arg_1+1<=Arg_0
48:f25(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f15(Arg_0,Arg_1,Arg_2+1,Arg_7,Arg_12,Arg_17):|:1+Arg_2<=Arg_17 && 0<=Arg_2 && 1<=Arg_17+Arg_2 && 1<=Arg_17 && Arg_0<=Arg_1
49:f31(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f31(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17):|:0<=Arg_2 && Arg_17<=Arg_2
50:f36(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f45(Arg_0,Arg_1,Arg_2,Arg_7,B1,Arg_17):|:1<=Arg_2 && Arg_2<=Arg_7
51:f36(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f61(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17):|:1<=Arg_2 && 1+Arg_7<=Arg_2
54:f45(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f36(Arg_0,Arg_1,Arg_2+1,Arg_7,0,Arg_17):|:1<=Arg_7 && 2<=Arg_2+Arg_7 && Arg_2<=Arg_7 && 1<=Arg_2 && Arg_12<=0 && 0<=Arg_12
52:f45(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f46(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17):|:1<=Arg_7 && 2<=Arg_2+Arg_7 && Arg_2<=Arg_7 && 1<=Arg_2 && Arg_12+1<=0
53:f45(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f46(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17):|:1<=Arg_7 && 2<=Arg_2+Arg_7 && Arg_2<=Arg_7 && 1<=Arg_2 && 1<=Arg_12
55:f46(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f36(Arg_0,Arg_1,Arg_2+1,Arg_7,Arg_12,Arg_17):|:1<=Arg_7 && 2<=Arg_2+Arg_7 && Arg_2<=Arg_7 && 1<=Arg_2 && Arg_1+1<=Arg_0
56:f46(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f36(Arg_0,Arg_1,Arg_2+1,Arg_7,Arg_12,Arg_17):|:1<=Arg_7 && 2<=Arg_2+Arg_7 && Arg_2<=Arg_7 && 1<=Arg_2 && Arg_0<=Arg_1
57:f46(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f45(Arg_0,Arg_1,Arg_2,Arg_7,A1,Arg_17):|:1<=Arg_7 && 2<=Arg_2+Arg_7 && Arg_2<=Arg_7 && 1<=Arg_2 && Arg_0<=Arg_1
58:f61(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17) -> f61(Arg_0,Arg_1,Arg_2,Arg_7,Arg_12,Arg_17):|:1+Arg_7<=Arg_2 && 1<=Arg_2

All Bounds

Timebounds

Overall timebound:inf {Infinity}
40: f0->f15: 1 {O(1)}
41: f0->f36: 1 {O(1)}
42: f0->f36: 1 {O(1)}
43: f15->f25: inf {Infinity}
44: f15->f25: inf {Infinity}
45: f15->f15: inf {Infinity}
46: f15->f31: 1 {O(1)}
47: f25->f15: inf {Infinity}
48: f25->f15: inf {Infinity}
49: f31->f31: inf {Infinity}
50: f36->f45: inf {Infinity}
51: f36->f61: 1 {O(1)}
52: f45->f46: inf {Infinity}
53: f45->f46: inf {Infinity}
54: f45->f36: inf {Infinity}
55: f46->f36: inf {Infinity}
56: f46->f36: inf {Infinity}
57: f46->f45: inf {Infinity}
58: f61->f61: inf {Infinity}

Costbounds

Overall costbound: inf {Infinity}
40: f0->f15: 1 {O(1)}
41: f0->f36: 1 {O(1)}
42: f0->f36: 1 {O(1)}
43: f15->f25: inf {Infinity}
44: f15->f25: inf {Infinity}
45: f15->f15: inf {Infinity}
46: f15->f31: 1 {O(1)}
47: f25->f15: inf {Infinity}
48: f25->f15: inf {Infinity}
49: f31->f31: inf {Infinity}
50: f36->f45: inf {Infinity}
51: f36->f61: 1 {O(1)}
52: f45->f46: inf {Infinity}
53: f45->f46: inf {Infinity}
54: f45->f36: inf {Infinity}
55: f46->f36: inf {Infinity}
56: f46->f36: inf {Infinity}
57: f46->f45: inf {Infinity}
58: f61->f61: inf {Infinity}

Sizebounds

40: f0->f15, Arg_0: Arg_0 {O(n)}
40: f0->f15, Arg_1: Arg_1 {O(n)}
40: f0->f15, Arg_2: 0 {O(1)}
40: f0->f15, Arg_12: Arg_12 {O(n)}
41: f0->f36, Arg_0: Arg_0 {O(n)}
41: f0->f36, Arg_1: Arg_1 {O(n)}
41: f0->f36, Arg_2: 1 {O(1)}
41: f0->f36, Arg_12: Arg_12 {O(n)}
42: f0->f36, Arg_0: Arg_0 {O(n)}
42: f0->f36, Arg_1: Arg_1 {O(n)}
42: f0->f36, Arg_2: 1 {O(1)}
42: f0->f36, Arg_12: Arg_12 {O(n)}
43: f15->f25, Arg_0: 3*Arg_0 {O(n)}
43: f15->f25, Arg_1: 3*Arg_1 {O(n)}
43: f15->f25, Arg_12: 3*Arg_12 {O(n)}
44: f15->f25, Arg_0: 3*Arg_0 {O(n)}
44: f15->f25, Arg_1: 3*Arg_1 {O(n)}
44: f15->f25, Arg_12: 3*Arg_12 {O(n)}
45: f15->f15, Arg_0: 3*Arg_0 {O(n)}
45: f15->f15, Arg_1: 3*Arg_1 {O(n)}
45: f15->f15, Arg_12: 3*Arg_12 {O(n)}
46: f15->f31, Arg_0: 10*Arg_0 {O(n)}
46: f15->f31, Arg_1: 10*Arg_1 {O(n)}
46: f15->f31, Arg_12: 10*Arg_12 {O(n)}
47: f25->f15, Arg_0: 3*Arg_0 {O(n)}
47: f25->f15, Arg_1: 3*Arg_1 {O(n)}
47: f25->f15, Arg_12: 3*Arg_12 {O(n)}
48: f25->f15, Arg_0: 3*Arg_0 {O(n)}
48: f25->f15, Arg_1: 3*Arg_1 {O(n)}
48: f25->f15, Arg_12: 3*Arg_12 {O(n)}
49: f31->f31, Arg_0: 10*Arg_0 {O(n)}
49: f31->f31, Arg_1: 10*Arg_1 {O(n)}
49: f31->f31, Arg_12: 10*Arg_12 {O(n)}
50: f36->f45, Arg_0: 2*Arg_0 {O(n)}
50: f36->f45, Arg_1: 2*Arg_1 {O(n)}
51: f36->f61, Arg_0: 8*Arg_0 {O(n)}
51: f36->f61, Arg_1: 8*Arg_1 {O(n)}
52: f45->f46, Arg_0: 2*Arg_0 {O(n)}
52: f45->f46, Arg_1: 2*Arg_1 {O(n)}
53: f45->f46, Arg_0: 2*Arg_0 {O(n)}
53: f45->f46, Arg_1: 2*Arg_1 {O(n)}
54: f45->f36, Arg_0: 2*Arg_0 {O(n)}
54: f45->f36, Arg_1: 2*Arg_1 {O(n)}
54: f45->f36, Arg_12: 0 {O(1)}
55: f46->f36, Arg_0: 2*Arg_0 {O(n)}
55: f46->f36, Arg_1: 2*Arg_1 {O(n)}
56: f46->f36, Arg_0: 2*Arg_0 {O(n)}
56: f46->f36, Arg_1: 2*Arg_1 {O(n)}
57: f46->f45, Arg_0: 2*Arg_0 {O(n)}
57: f46->f45, Arg_1: 2*Arg_1 {O(n)}
58: f61->f61, Arg_0: 8*Arg_0 {O(n)}
58: f61->f61, Arg_1: 8*Arg_1 {O(n)}