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
Temp_Vars: O, P
Locations: f0, f1, f2, f3, f4, f6, f7
Transitions:
0: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) -> 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)
4: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) -> f2(0,Arg_2,Arg_2,Arg_4,Arg_4,3,P,0,0,3,P,2,Arg_12,Arg_13):|:P<=7 && P<=3 && 1<=P
5: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) -> f2(0,Arg_2,Arg_2,Arg_4,Arg_4,3,P,0,0,3,P,2,Arg_12,Arg_13):|:P<=7 && 5<=P
6: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) -> f2(0,Arg_2+1,Arg_2+1,Arg_4+1,Arg_4+1,3,4,1,0,3,4,2,Arg_12,Arg_13)
1: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) -> f7(1,Arg_2,Arg_2,Arg_4,Arg_4,P,O,0,1,P,O,7,Arg_12,Arg_13):|:O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
2: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) -> f7(1,Arg_2,Arg_2,Arg_4,Arg_4,P,O,0,1,P,O,7,Arg_12,Arg_13):|:O<=7 && P<=7 && 5<=O && 1<=P
3: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) -> f7(1,Arg_2+1,Arg_2+1,Arg_4+1,Arg_4+1,P,4,1,1,P,4,7,Arg_12,Arg_13):|:P<=7 && 1<=P
10:f2(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) -> f3(0,Arg_2,Arg_2,Arg_4,Arg_4,P,O,Arg_7,0,P,O,3,Arg_12,Arg_13):|:O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
11:f2(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) -> f3(0,Arg_2,Arg_2,Arg_4,Arg_4,P,O,Arg_7,0,P,O,3,Arg_12,Arg_13):|:O<=7 && P<=7 && 5<=O && 1<=P
12:f2(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) -> f3(0,Arg_2+1,Arg_2+1,Arg_4+1,Arg_4+1,P,4,1,0,P,4,3,Arg_12,Arg_13):|:P<=7 && 1<=P
7:f2(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) -> f7(1,Arg_2,Arg_2,Arg_4,Arg_4,P,O,Arg_7,1,P,O,7,Arg_12,Arg_13):|:O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
8:f2(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) -> f7(1,Arg_2,Arg_2,Arg_4,Arg_4,P,O,Arg_7,1,P,O,7,Arg_12,Arg_13):|:O<=7 && P<=7 && 5<=O && 1<=P
9:f2(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) -> f7(1,Arg_2+1,Arg_2+1,Arg_4+1,Arg_4+1,P,4,1,1,P,4,7,Arg_12,Arg_13):|:P<=7 && 1<=P
13:f3(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) -> f6(1,Arg_2,Arg_2,Arg_4,Arg_4,P,O,Arg_7,1,P,O,6,Arg_12,Arg_13):|:O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
14:f3(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) -> f6(1,Arg_2,Arg_2,Arg_4,Arg_4,P,O,Arg_7,1,P,O,6,Arg_12,Arg_13):|:O<=7 && P<=7 && 5<=O && 1<=P
15:f3(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) -> f6(1,Arg_2+1,Arg_2+1,Arg_4+1,Arg_4+1,P,4,1,1,P,4,6,Arg_12,Arg_13):|:P<=7 && 1<=P
18:f4(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) -> f2(0,Arg_2,Arg_2,Arg_4,Arg_4,P,O,1,0,P,O,2,Arg_12,Arg_13):|:1<=Arg_12 && Arg_4+1<=Arg_12 && 1<=Arg_13 && Arg_2+1<=Arg_13 && O<=7 && P<=7 && O<=3 && 1<=O && 1<=P && Arg_7<=1 && 1<=Arg_7
19:f4(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) -> f2(0,Arg_2,Arg_2,Arg_4,Arg_4,P,O,1,0,P,O,2,Arg_12,Arg_13):|:1<=Arg_12 && Arg_4+1<=Arg_12 && 1<=Arg_13 && Arg_2+1<=Arg_13 && O<=7 && P<=7 && 5<=O && 1<=P && Arg_7<=1 && 1<=Arg_7
20:f4(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) -> f2(0,Arg_2+1,Arg_2+1,Arg_4+1,Arg_4+1,P,4,1,0,P,4,2,Arg_12,Arg_13):|:Arg_4+2<=Arg_12 && Arg_2+2<=Arg_13 && 1<=Arg_12 && 1<=Arg_13 && P<=7 && 1<=P
21:f4(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) -> f7(0,Arg_2,Arg_2,Arg_4,Arg_4,P,O,Arg_7,0,P,O,7,Arg_12,Arg_13):|:Arg_12<=Arg_4 && Arg_13<=Arg_2 && O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
22:f4(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) -> f7(0,Arg_2,Arg_2,Arg_4,Arg_4,P,O,Arg_7,0,P,O,7,Arg_12,Arg_13):|:Arg_12<=Arg_4 && Arg_13<=Arg_2 && O<=7 && P<=7 && 5<=O && 1<=P
23:f4(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) -> f7(0,Arg_2+1,Arg_2+1,Arg_4+1,Arg_4+1,P,4,1,0,P,4,7,Arg_12,Arg_13):|:Arg_12<=Arg_4+1 && Arg_13<=Arg_2+1 && P<=7 && 1<=P
24:f4(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) -> f7(1,Arg_2,Arg_2,Arg_4,Arg_4,P,O,Arg_7,1,P,O,7,Arg_12,Arg_13):|:O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
25:f4(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) -> f7(1,Arg_2,Arg_2,Arg_4,Arg_4,P,O,Arg_7,1,P,O,7,Arg_12,Arg_13):|:O<=7 && P<=7 && 5<=O && 1<=P
26:f4(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) -> f7(1,Arg_2+1,Arg_2+1,Arg_4+1,Arg_4+1,P,4,1,1,P,4,7,Arg_12,Arg_13):|:P<=7 && 1<=P
16:f6(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) -> f4(P,Arg_2,Arg_2,Arg_4,Arg_4,O,2,0,P,O,2,4,Arg_12,Arg_13):|:O<=7 && P<=1 && 0<=P && 1<=O
17:f6(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) -> f4(P,Arg_2,Arg_2,Arg_4,Arg_4,O,7,1,P,O,7,4,Arg_12,Arg_13):|:O<=7 && P<=1 && 0<=P && 1<=O && Arg_7<=1 && 1<=Arg_7
Eliminate variables {Arg_0,Arg_1,Arg_3,Arg_5,Arg_6,Arg_8,Arg_9,Arg_10,Arg_11} that do not contribute to the problem
Found invariant Arg_7<=1 && 0<=Arg_7 for location f6
Found invariant Arg_7<=1 && 0<=Arg_7 for location f3
Found invariant Arg_7<=1 && 0<=Arg_7 for location f2
Found invariant Arg_7<=1 && 0<=Arg_7 for location f7
Found invariant Arg_7<=1 && 0<=Arg_7 for location f4
Start: f0
Program_Vars: Arg_2, Arg_4, Arg_7, Arg_12, Arg_13
Temp_Vars: O, P
Locations: f0, f1, f2, f3, f4, f6, f7
Transitions:
54:f0(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f1(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13)
58:f1(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f2(Arg_2,Arg_4,0,Arg_12,Arg_13):|:P<=7 && P<=3 && 1<=P
59:f1(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f2(Arg_2,Arg_4,0,Arg_12,Arg_13):|:P<=7 && 5<=P
60:f1(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f2(Arg_2+1,Arg_4+1,1,Arg_12,Arg_13)
55:f1(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2,Arg_4,0,Arg_12,Arg_13):|:O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
56:f1(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2,Arg_4,0,Arg_12,Arg_13):|:O<=7 && P<=7 && 5<=O && 1<=P
57:f1(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2+1,Arg_4+1,1,Arg_12,Arg_13):|:P<=7 && 1<=P
64:f2(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f3(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
65:f2(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f3(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && O<=7 && P<=7 && 5<=O && 1<=P
66:f2(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f3(Arg_2+1,Arg_4+1,1,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && P<=7 && 1<=P
61:f2(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
62:f2(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && O<=7 && P<=7 && 5<=O && 1<=P
63:f2(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2+1,Arg_4+1,1,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && P<=7 && 1<=P
67:f3(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f6(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
68:f3(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f6(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && O<=7 && P<=7 && 5<=O && 1<=P
69:f3(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f6(Arg_2+1,Arg_4+1,1,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && P<=7 && 1<=P
70:f4(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f2(Arg_2,Arg_4,1,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && 1<=Arg_12 && Arg_4+1<=Arg_12 && 1<=Arg_13 && Arg_2+1<=Arg_13 && O<=7 && P<=7 && O<=3 && 1<=O && 1<=P && Arg_7<=1 && 1<=Arg_7
71:f4(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f2(Arg_2,Arg_4,1,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && 1<=Arg_12 && Arg_4+1<=Arg_12 && 1<=Arg_13 && Arg_2+1<=Arg_13 && O<=7 && P<=7 && 5<=O && 1<=P && Arg_7<=1 && 1<=Arg_7
72:f4(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f2(Arg_2+1,Arg_4+1,1,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && Arg_4+2<=Arg_12 && Arg_2+2<=Arg_13 && 1<=Arg_12 && 1<=Arg_13 && P<=7 && 1<=P
73:f4(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && Arg_12<=Arg_4 && Arg_13<=Arg_2 && O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
74:f4(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && Arg_12<=Arg_4 && Arg_13<=Arg_2 && O<=7 && P<=7 && 5<=O && 1<=P
75:f4(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2+1,Arg_4+1,1,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && Arg_12<=Arg_4+1 && Arg_13<=Arg_2+1 && P<=7 && 1<=P
76:f4(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && O<=7 && P<=7 && O<=3 && 1<=O && 1<=P
77:f4(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && O<=7 && P<=7 && 5<=O && 1<=P
78:f4(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f7(Arg_2+1,Arg_4+1,1,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && P<=7 && 1<=P
79:f6(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f4(Arg_2,Arg_4,0,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && O<=7 && P<=1 && 0<=P && 1<=O
80:f6(Arg_2,Arg_4,Arg_7,Arg_12,Arg_13) -> f4(Arg_2,Arg_4,1,Arg_12,Arg_13):|:Arg_7<=1 && 0<=Arg_7 && O<=7 && P<=1 && 0<=P && 1<=O && Arg_7<=1 && 1<=Arg_7
new bound:
3*Arg_12+3*Arg_4+4 {O(n)}
MPRF:
f3 [Arg_12-Arg_4-1 ]
f2 [Arg_12-Arg_4-1 ]
f6 [Arg_12-Arg_4-1 ]
f4 [Arg_12-Arg_4-1 ]
new bound:
9*Arg_12+9*Arg_4+19 {O(n)}
MPRF:
f3 [2-Arg_7 ]
f2 [2-Arg_7 ]
f6 [2-Arg_7 ]
f4 [Arg_7 ]
Overall timebound:inf {Infinity}
54: f0->f1: 1 {O(1)}
55: f1->f7: 1 {O(1)}
56: f1->f7: 1 {O(1)}
57: f1->f7: 1 {O(1)}
58: f1->f2: 1 {O(1)}
59: f1->f2: 1 {O(1)}
60: f1->f2: 1 {O(1)}
61: f2->f7: 1 {O(1)}
62: f2->f7: 1 {O(1)}
63: f2->f7: 1 {O(1)}
64: f2->f3: inf {Infinity}
65: f2->f3: inf {Infinity}
66: f2->f3: inf {Infinity}
67: f3->f6: inf {Infinity}
68: f3->f6: inf {Infinity}
69: f3->f6: inf {Infinity}
70: f4->f2: inf {Infinity}
71: f4->f2: inf {Infinity}
72: f4->f2: 3*Arg_12+3*Arg_4+4 {O(n)}
73: f4->f7: 1 {O(1)}
74: f4->f7: 1 {O(1)}
75: f4->f7: 1 {O(1)}
76: f4->f7: 1 {O(1)}
77: f4->f7: 1 {O(1)}
78: f4->f7: 1 {O(1)}
79: f6->f4: 9*Arg_12+9*Arg_4+19 {O(n)}
80: f6->f4: inf {Infinity}
Overall costbound: inf {Infinity}
54: f0->f1: 1 {O(1)}
55: f1->f7: 1 {O(1)}
56: f1->f7: 1 {O(1)}
57: f1->f7: 1 {O(1)}
58: f1->f2: 1 {O(1)}
59: f1->f2: 1 {O(1)}
60: f1->f2: 1 {O(1)}
61: f2->f7: 1 {O(1)}
62: f2->f7: 1 {O(1)}
63: f2->f7: 1 {O(1)}
64: f2->f3: inf {Infinity}
65: f2->f3: inf {Infinity}
66: f2->f3: inf {Infinity}
67: f3->f6: inf {Infinity}
68: f3->f6: inf {Infinity}
69: f3->f6: inf {Infinity}
70: f4->f2: inf {Infinity}
71: f4->f2: inf {Infinity}
72: f4->f2: 3*Arg_12+3*Arg_4+4 {O(n)}
73: f4->f7: 1 {O(1)}
74: f4->f7: 1 {O(1)}
75: f4->f7: 1 {O(1)}
76: f4->f7: 1 {O(1)}
77: f4->f7: 1 {O(1)}
78: f4->f7: 1 {O(1)}
79: f6->f4: 9*Arg_12+9*Arg_4+19 {O(n)}
80: f6->f4: inf {Infinity}
54: f0->f1, Arg_2: Arg_2 {O(n)}
54: f0->f1, Arg_4: Arg_4 {O(n)}
54: f0->f1, Arg_7: Arg_7 {O(n)}
54: f0->f1, Arg_12: Arg_12 {O(n)}
54: f0->f1, Arg_13: Arg_13 {O(n)}
55: f1->f7, Arg_2: Arg_2 {O(n)}
55: f1->f7, Arg_4: Arg_4 {O(n)}
55: f1->f7, Arg_7: 0 {O(1)}
55: f1->f7, Arg_12: Arg_12 {O(n)}
55: f1->f7, Arg_13: Arg_13 {O(n)}
56: f1->f7, Arg_2: Arg_2 {O(n)}
56: f1->f7, Arg_4: Arg_4 {O(n)}
56: f1->f7, Arg_7: 0 {O(1)}
56: f1->f7, Arg_12: Arg_12 {O(n)}
56: f1->f7, Arg_13: Arg_13 {O(n)}
57: f1->f7, Arg_2: Arg_2+1 {O(n)}
57: f1->f7, Arg_4: Arg_4+1 {O(n)}
57: f1->f7, Arg_7: 1 {O(1)}
57: f1->f7, Arg_12: Arg_12 {O(n)}
57: f1->f7, Arg_13: Arg_13 {O(n)}
58: f1->f2, Arg_2: Arg_2 {O(n)}
58: f1->f2, Arg_4: Arg_4 {O(n)}
58: f1->f2, Arg_7: 0 {O(1)}
58: f1->f2, Arg_12: Arg_12 {O(n)}
58: f1->f2, Arg_13: Arg_13 {O(n)}
59: f1->f2, Arg_2: Arg_2 {O(n)}
59: f1->f2, Arg_4: Arg_4 {O(n)}
59: f1->f2, Arg_7: 0 {O(1)}
59: f1->f2, Arg_12: Arg_12 {O(n)}
59: f1->f2, Arg_13: Arg_13 {O(n)}
60: f1->f2, Arg_2: Arg_2+1 {O(n)}
60: f1->f2, Arg_4: Arg_4+1 {O(n)}
60: f1->f2, Arg_7: 1 {O(1)}
60: f1->f2, Arg_12: Arg_12 {O(n)}
60: f1->f2, Arg_13: Arg_13 {O(n)}
61: f2->f7, Arg_7: 1 {O(1)}
61: f2->f7, Arg_12: 30*Arg_12 {O(n)}
61: f2->f7, Arg_13: 30*Arg_13 {O(n)}
62: f2->f7, Arg_7: 1 {O(1)}
62: f2->f7, Arg_12: 30*Arg_12 {O(n)}
62: f2->f7, Arg_13: 30*Arg_13 {O(n)}
63: f2->f7, Arg_7: 1 {O(1)}
63: f2->f7, Arg_12: 30*Arg_12 {O(n)}
63: f2->f7, Arg_13: 30*Arg_13 {O(n)}
64: f2->f3, Arg_7: 1 {O(1)}
64: f2->f3, Arg_12: 9*Arg_12 {O(n)}
64: f2->f3, Arg_13: 9*Arg_13 {O(n)}
65: f2->f3, Arg_7: 1 {O(1)}
65: f2->f3, Arg_12: 9*Arg_12 {O(n)}
65: f2->f3, Arg_13: 9*Arg_13 {O(n)}
66: f2->f3, Arg_7: 1 {O(1)}
66: f2->f3, Arg_12: 9*Arg_12 {O(n)}
66: f2->f3, Arg_13: 9*Arg_13 {O(n)}
67: f3->f6, Arg_7: 1 {O(1)}
67: f3->f6, Arg_12: 9*Arg_12 {O(n)}
67: f3->f6, Arg_13: 9*Arg_13 {O(n)}
68: f3->f6, Arg_7: 1 {O(1)}
68: f3->f6, Arg_12: 9*Arg_12 {O(n)}
68: f3->f6, Arg_13: 9*Arg_13 {O(n)}
69: f3->f6, Arg_7: 1 {O(1)}
69: f3->f6, Arg_12: 9*Arg_12 {O(n)}
69: f3->f6, Arg_13: 9*Arg_13 {O(n)}
70: f4->f2, Arg_7: 1 {O(1)}
70: f4->f2, Arg_12: 9*Arg_12 {O(n)}
70: f4->f2, Arg_13: 9*Arg_13 {O(n)}
71: f4->f2, Arg_7: 1 {O(1)}
71: f4->f2, Arg_12: 9*Arg_12 {O(n)}
71: f4->f2, Arg_13: 9*Arg_13 {O(n)}
72: f4->f2, Arg_7: 1 {O(1)}
72: f4->f2, Arg_12: 9*Arg_12 {O(n)}
72: f4->f2, Arg_13: 9*Arg_13 {O(n)}
73: f4->f7, Arg_7: 1 {O(1)}
73: f4->f7, Arg_12: 18*Arg_12 {O(n)}
73: f4->f7, Arg_13: 18*Arg_13 {O(n)}
74: f4->f7, Arg_7: 1 {O(1)}
74: f4->f7, Arg_12: 18*Arg_12 {O(n)}
74: f4->f7, Arg_13: 18*Arg_13 {O(n)}
75: f4->f7, Arg_7: 1 {O(1)}
75: f4->f7, Arg_12: 18*Arg_12 {O(n)}
75: f4->f7, Arg_13: 18*Arg_13 {O(n)}
76: f4->f7, Arg_7: 1 {O(1)}
76: f4->f7, Arg_12: 18*Arg_12 {O(n)}
76: f4->f7, Arg_13: 18*Arg_13 {O(n)}
77: f4->f7, Arg_7: 1 {O(1)}
77: f4->f7, Arg_12: 18*Arg_12 {O(n)}
77: f4->f7, Arg_13: 18*Arg_13 {O(n)}
78: f4->f7, Arg_7: 1 {O(1)}
78: f4->f7, Arg_12: 18*Arg_12 {O(n)}
78: f4->f7, Arg_13: 18*Arg_13 {O(n)}
79: f6->f4, Arg_7: 0 {O(1)}
79: f6->f4, Arg_12: 9*Arg_12 {O(n)}
79: f6->f4, Arg_13: 9*Arg_13 {O(n)}
80: f6->f4, Arg_7: 1 {O(1)}
80: f6->f4, Arg_12: 9*Arg_12 {O(n)}
80: f6->f4, Arg_13: 9*Arg_13 {O(n)}