Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: n_f0, n_f15___11, n_f15___5, n_f15___6, n_f19___1, n_f19___10, n_f19___2, n_f19___3, n_f19___4, n_f19___7, n_f19___8, n_f6___12, n_f6___9
Transitions:
0:n_f0(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f6___12(0,0,Arg_2,Arg_3)
1:n_f15___11(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f19___7(Arg_0,Arg_1,Arg_2,0):|:1+Arg_2<=0 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 2+Arg_2<=Arg_0
2:n_f15___11(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f19___8(Arg_0,Arg_1,Arg_0-1,1):|:1+Arg_2<=0 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=Arg_2+1 && 1+Arg_2<=Arg_0
3:n_f15___5(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f19___1(Arg_0,Arg_1,Arg_2,0):|:1+Arg_1<=Arg_0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && 2+Arg_2<=Arg_0
4:n_f15___5(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f19___2(Arg_0,Arg_1,Arg_0-1,1):|:1+Arg_1<=Arg_0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_0<=Arg_2+1 && 1+Arg_2<=Arg_0
5:n_f15___6(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f19___3(Arg_0,Arg_1,Arg_2,0):|:1+Arg_0<=Arg_1 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_0<=Arg_2
6:n_f6___12(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f15___11(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_2<=Arg_0 && Arg_2<=Arg_1
7:n_f6___12(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f19___10(Arg_0,Arg_1,Arg_0,1):|:Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_0<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0
8:n_f6___12(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f6___9(Arg_0,Arg_1+1,Arg_2,Arg_3):|:Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_1<=Arg_2
9:n_f6___12(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f6___9(Arg_0+2,Arg_1+1,Arg_2,Arg_3):|:Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_1<=Arg_2
10:n_f6___9(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f15___5(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1<=Arg_2 && Arg_1<=Arg_2 && 1+Arg_2<=Arg_0 && Arg_2<=Arg_1
11:n_f6___9(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f15___6(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1<=Arg_2 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && 1+Arg_0<=Arg_2
12:n_f6___9(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f19___4(Arg_0,Arg_1,Arg_0,1):|:Arg_1<=Arg_2 && Arg_1<=Arg_2 && Arg_0<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0
13:n_f6___9(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f6___9(Arg_0,Arg_1+1,Arg_2,Arg_3):|:Arg_1<=Arg_2 && Arg_1<=Arg_2 && 1+Arg_1<=Arg_2
14:n_f6___9(Arg_0,Arg_1,Arg_2,Arg_3) -> n_f6___9(Arg_0+2,Arg_1+1,Arg_2,Arg_3):|:Arg_1<=Arg_2 && Arg_1<=Arg_2 && 1+Arg_1<=Arg_2
Eliminate variables {Arg_3} that do not contribute to the problem
Found invariant 1+Arg_2<=0 && 1+Arg_2<=Arg_1 && 1+Arg_1+Arg_2<=0 && 1+Arg_2<=Arg_0 && 1+Arg_0+Arg_2<=0 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_f15___11
Found invariant Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_f6___12
Found invariant Arg_2<=Arg_1 && 2+Arg_2<=Arg_0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 4<=Arg_0+Arg_2 && 2+Arg_1<=Arg_0 && 1<=Arg_1 && 4<=Arg_0+Arg_1 && 3<=Arg_0 for location n_f19___1
Found invariant Arg_2<=Arg_1 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && 0<=Arg_0 for location n_f19___3
Found invariant 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 0<=Arg_0 for location n_f6___9
Found invariant Arg_2<=Arg_1 && Arg_2<=Arg_0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_1<=Arg_0 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 1<=Arg_0 for location n_f19___4
Found invariant Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_f19___10
Found invariant 1+Arg_2<=0 && 1+Arg_2<=Arg_1 && 1+Arg_1+Arg_2<=0 && 1+Arg_2<=Arg_0 && 1+Arg_0+Arg_2<=0 && 0<=1+Arg_2 && 0<=1+Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 0<=1+Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_f19___8
Found invariant Arg_2<=Arg_1 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && 0<=Arg_0 for location n_f15___6
Found invariant Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && 1+Arg_1<=Arg_0 && 1<=Arg_1 && 3<=Arg_0+Arg_1 && Arg_0<=1+Arg_1 && 2<=Arg_0 for location n_f19___2
Found invariant Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 3<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 1<=Arg_1 && 3<=Arg_0+Arg_1 && 2<=Arg_0 for location n_f15___5
Found invariant 2+Arg_2<=0 && 2+Arg_2<=Arg_1 && 2+Arg_1+Arg_2<=0 && 2+Arg_2<=Arg_0 && 2+Arg_0+Arg_2<=0 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_f19___7
Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2
Temp_Vars:
Locations: n_f0, n_f15___11, n_f15___5, n_f15___6, n_f19___1, n_f19___10, n_f19___2, n_f19___3, n_f19___4, n_f19___7, n_f19___8, n_f6___12, n_f6___9
Transitions:
31:n_f0(Arg_0,Arg_1,Arg_2) -> n_f6___12(0,0,Arg_2)
32:n_f15___11(Arg_0,Arg_1,Arg_2) -> n_f19___7(Arg_0,Arg_1,Arg_2):|:1+Arg_2<=0 && 1+Arg_2<=Arg_1 && 1+Arg_1+Arg_2<=0 && 1+Arg_2<=Arg_0 && 1+Arg_0+Arg_2<=0 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 2+Arg_2<=Arg_0
33:n_f15___11(Arg_0,Arg_1,Arg_2) -> n_f19___8(Arg_0,Arg_1,Arg_0-1):|:1+Arg_2<=0 && 1+Arg_2<=Arg_1 && 1+Arg_1+Arg_2<=0 && 1+Arg_2<=Arg_0 && 1+Arg_0+Arg_2<=0 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=Arg_2+1 && 1+Arg_2<=Arg_0
34:n_f15___5(Arg_0,Arg_1,Arg_2) -> n_f19___1(Arg_0,Arg_1,Arg_2):|:Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 3<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 1<=Arg_1 && 3<=Arg_0+Arg_1 && 2<=Arg_0 && 1+Arg_1<=Arg_0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && 2+Arg_2<=Arg_0
35:n_f15___5(Arg_0,Arg_1,Arg_2) -> n_f19___2(Arg_0,Arg_1,Arg_0-1):|:Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 3<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 1<=Arg_1 && 3<=Arg_0+Arg_1 && 2<=Arg_0 && 1+Arg_1<=Arg_0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_0<=Arg_2+1 && 1+Arg_2<=Arg_0
36:n_f15___6(Arg_0,Arg_1,Arg_2) -> n_f19___3(Arg_0,Arg_1,Arg_2):|:Arg_2<=Arg_1 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && 0<=Arg_0 && 1+Arg_0<=Arg_1 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_0<=Arg_2
37:n_f6___12(Arg_0,Arg_1,Arg_2) -> n_f15___11(Arg_0,Arg_1,Arg_2):|:Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_2<=Arg_0 && Arg_2<=Arg_1
38:n_f6___12(Arg_0,Arg_1,Arg_2) -> n_f19___10(Arg_0,Arg_1,Arg_0):|:Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_0<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0
39:n_f6___12(Arg_0,Arg_1,Arg_2) -> n_f6___9(Arg_0,Arg_1+1,Arg_2):|:Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_1<=Arg_2
40:n_f6___12(Arg_0,Arg_1,Arg_2) -> n_f6___9(Arg_0+2,Arg_1+1,Arg_2):|:Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_1<=Arg_2
41:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f15___5(Arg_0,Arg_1,Arg_2):|:1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1<=Arg_2 && Arg_1<=Arg_2 && 1+Arg_2<=Arg_0 && Arg_2<=Arg_1
42:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f15___6(Arg_0,Arg_1,Arg_2):|:1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1<=Arg_2 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && 1+Arg_0<=Arg_2
43:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f19___4(Arg_0,Arg_1,Arg_0):|:1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1<=Arg_2 && Arg_1<=Arg_2 && Arg_0<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0
44:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f6___9(Arg_0,Arg_1+1,Arg_2):|:1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1<=Arg_2 && Arg_1<=Arg_2 && 1+Arg_1<=Arg_2
45:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f6___9(Arg_0+2,Arg_1+1,Arg_2):|:1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1<=Arg_2 && Arg_1<=Arg_2 && 1+Arg_1<=Arg_2
new bound:
2*Arg_2+4 {O(n)}
MPRF:
n_f6___9 [Arg_2+1-Arg_1 ]
new bound:
2*Arg_2+4 {O(n)}
MPRF:
n_f6___9 [Arg_2+1-Arg_1 ]
Overall timebound:4*Arg_2+21 {O(n)}
31: n_f0->n_f6___12: 1 {O(1)}
32: n_f15___11->n_f19___7: 1 {O(1)}
33: n_f15___11->n_f19___8: 1 {O(1)}
34: n_f15___5->n_f19___1: 1 {O(1)}
35: n_f15___5->n_f19___2: 1 {O(1)}
36: n_f15___6->n_f19___3: 1 {O(1)}
37: n_f6___12->n_f15___11: 1 {O(1)}
38: n_f6___12->n_f19___10: 1 {O(1)}
39: n_f6___12->n_f6___9: 1 {O(1)}
40: n_f6___12->n_f6___9: 1 {O(1)}
41: n_f6___9->n_f15___5: 1 {O(1)}
42: n_f6___9->n_f15___6: 1 {O(1)}
43: n_f6___9->n_f19___4: 1 {O(1)}
44: n_f6___9->n_f6___9: 2*Arg_2+4 {O(n)}
45: n_f6___9->n_f6___9: 2*Arg_2+4 {O(n)}
Overall costbound: 4*Arg_2+21 {O(n)}
31: n_f0->n_f6___12: 1 {O(1)}
32: n_f15___11->n_f19___7: 1 {O(1)}
33: n_f15___11->n_f19___8: 1 {O(1)}
34: n_f15___5->n_f19___1: 1 {O(1)}
35: n_f15___5->n_f19___2: 1 {O(1)}
36: n_f15___6->n_f19___3: 1 {O(1)}
37: n_f6___12->n_f15___11: 1 {O(1)}
38: n_f6___12->n_f19___10: 1 {O(1)}
39: n_f6___12->n_f6___9: 1 {O(1)}
40: n_f6___12->n_f6___9: 1 {O(1)}
41: n_f6___9->n_f15___5: 1 {O(1)}
42: n_f6___9->n_f15___6: 1 {O(1)}
43: n_f6___9->n_f19___4: 1 {O(1)}
44: n_f6___9->n_f6___9: 2*Arg_2+4 {O(n)}
45: n_f6___9->n_f6___9: 2*Arg_2+4 {O(n)}
31: n_f0->n_f6___12, Arg_0: 0 {O(1)}
31: n_f0->n_f6___12, Arg_1: 0 {O(1)}
31: n_f0->n_f6___12, Arg_2: Arg_2 {O(n)}
32: n_f15___11->n_f19___7, Arg_0: 0 {O(1)}
32: n_f15___11->n_f19___7, Arg_1: 0 {O(1)}
32: n_f15___11->n_f19___7, Arg_2: Arg_2 {O(n)}
33: n_f15___11->n_f19___8, Arg_0: 0 {O(1)}
33: n_f15___11->n_f19___8, Arg_1: 0 {O(1)}
33: n_f15___11->n_f19___8, Arg_2: 1 {O(1)}
34: n_f15___5->n_f19___1, Arg_0: 8*Arg_2+26 {O(n)}
34: n_f15___5->n_f19___1, Arg_1: 8*Arg_2+25 {O(n)}
34: n_f15___5->n_f19___1, Arg_2: 9*Arg_2 {O(n)}
35: n_f15___5->n_f19___2, Arg_0: 8*Arg_2+26 {O(n)}
35: n_f15___5->n_f19___2, Arg_1: 8*Arg_2+25 {O(n)}
35: n_f15___5->n_f19___2, Arg_2: 8*Arg_2+26 {O(n)}
36: n_f15___6->n_f19___3, Arg_0: 8*Arg_2+24 {O(n)}
36: n_f15___6->n_f19___3, Arg_1: 8*Arg_2+25 {O(n)}
36: n_f15___6->n_f19___3, Arg_2: 9*Arg_2 {O(n)}
37: n_f6___12->n_f15___11, Arg_0: 0 {O(1)}
37: n_f6___12->n_f15___11, Arg_1: 0 {O(1)}
37: n_f6___12->n_f15___11, Arg_2: Arg_2 {O(n)}
38: n_f6___12->n_f19___10, Arg_0: 0 {O(1)}
38: n_f6___12->n_f19___10, Arg_1: 0 {O(1)}
38: n_f6___12->n_f19___10, Arg_2: 0 {O(1)}
39: n_f6___12->n_f6___9, Arg_0: 0 {O(1)}
39: n_f6___12->n_f6___9, Arg_1: 1 {O(1)}
39: n_f6___12->n_f6___9, Arg_2: Arg_2 {O(n)}
40: n_f6___12->n_f6___9, Arg_0: 2 {O(1)}
40: n_f6___12->n_f6___9, Arg_1: 1 {O(1)}
40: n_f6___12->n_f6___9, Arg_2: Arg_2 {O(n)}
41: n_f6___9->n_f15___5, Arg_0: 8*Arg_2+26 {O(n)}
41: n_f6___9->n_f15___5, Arg_1: 8*Arg_2+25 {O(n)}
41: n_f6___9->n_f15___5, Arg_2: 9*Arg_2 {O(n)}
42: n_f6___9->n_f15___6, Arg_0: 8*Arg_2+24 {O(n)}
42: n_f6___9->n_f15___6, Arg_1: 8*Arg_2+25 {O(n)}
42: n_f6___9->n_f15___6, Arg_2: 9*Arg_2 {O(n)}
43: n_f6___9->n_f19___4, Arg_0: 8*Arg_2+24 {O(n)}
43: n_f6___9->n_f19___4, Arg_1: 8*Arg_2+24 {O(n)}
43: n_f6___9->n_f19___4, Arg_2: 8*Arg_2+24 {O(n)}
44: n_f6___9->n_f6___9, Arg_0: 4*Arg_2+12 {O(n)}
44: n_f6___9->n_f6___9, Arg_1: 4*Arg_2+12 {O(n)}
44: n_f6___9->n_f6___9, Arg_2: 4*Arg_2 {O(n)}
45: n_f6___9->n_f6___9, Arg_0: 4*Arg_2+12 {O(n)}
45: n_f6___9->n_f6___9, Arg_1: 4*Arg_2+12 {O(n)}
45: n_f6___9->n_f6___9, Arg_2: 4*Arg_2 {O(n)}