Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2
Temp_Vars: B_P, NoDet0
Locations: n_f0, n_f17___10, n_f17___14, n_f17___2, n_f17___4, n_f17___6, n_f24___1, n_f24___11, n_f24___3, n_f24___5, n_f24___7, n_f6___15, n_f6___8, n_f6___9, n_f9___12, n_f9___13
Transitions:
0:n_f0(Arg_0,Arg_1,Arg_2) -> n_f6___15(NoDet0,Arg_1,0)
1:n_f17___10(Arg_0,Arg_1,Arg_2) -> n_f24___7(Arg_0,Arg_1,0):|:1+Arg_0<=0 && Arg_1<=0 && 0<=Arg_1 && Arg_2<=1 && 1<=Arg_2 && Arg_2<=1 && 1<=Arg_2
2:n_f17___14(Arg_0,Arg_1,Arg_2) -> n_f24___11(Arg_0,Arg_1,Arg_2):|:Arg_0<=0 && 0<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && Arg_2<=0
3:n_f17___2(Arg_0,Arg_1,Arg_2) -> n_f24___1(Arg_0,Arg_1,0):|:1<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_2<=1 && 1<=Arg_2 && Arg_2<=1 && 1<=Arg_2
4:n_f17___4(Arg_0,Arg_1,Arg_2) -> n_f24___3(Arg_0,Arg_1,Arg_2):|:1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && Arg_2<=0
5:n_f17___6(Arg_0,Arg_1,Arg_2) -> n_f24___5(Arg_0,Arg_1,Arg_2):|:1+Arg_1<=0 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && Arg_2<=0
6:n_f6___15(Arg_0,Arg_1,Arg_2) -> n_f17___14(0,Arg_1,Arg_2):|:Arg_2<=0 && 0<=Arg_2 && Arg_0<=0 && 0<=Arg_0
7:n_f6___15(Arg_0,Arg_1,Arg_2) -> n_f9___12(Arg_0,NoDet0,Arg_2):|:Arg_2<=0 && 0<=Arg_2 && 1<=Arg_0
8:n_f6___15(Arg_0,Arg_1,Arg_2) -> n_f9___13(Arg_0,NoDet0,Arg_2):|:Arg_2<=0 && 0<=Arg_2 && 1+Arg_0<=0
9:n_f6___8(Arg_0,Arg_1,Arg_2) -> n_f17___4(0,Arg_1,Arg_2):|:1<=Arg_1 && Arg_2<=0 && 0<=Arg_2 && Arg_0<=0 && 0<=Arg_0
10:n_f6___8(Arg_0,Arg_1,Arg_2) -> n_f9___12(Arg_0,NoDet0,Arg_2):|:1<=Arg_1 && Arg_2<=0 && 0<=Arg_2 && 1<=Arg_0
11:n_f6___8(Arg_0,Arg_1,Arg_2) -> n_f9___13(Arg_0,NoDet0,Arg_2):|:1<=Arg_1 && Arg_2<=0 && 0<=Arg_2 && 1+Arg_0<=0
12:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f17___6(0,Arg_1,Arg_2):|:1+Arg_1<=0 && Arg_2<=0 && 0<=Arg_2 && Arg_0<=0 && 0<=Arg_0
13:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f9___12(Arg_0,NoDet0,Arg_2):|:1+Arg_1<=0 && Arg_2<=0 && 0<=Arg_2 && 1<=Arg_0
14:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f9___13(Arg_0,NoDet0,Arg_2):|:1+Arg_1<=0 && Arg_2<=0 && 0<=Arg_2 && 1+Arg_0<=0
15:n_f9___12(Arg_0,Arg_1,Arg_2) -> n_f17___2(Arg_0,0,1):|:1<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && Arg_1<=0 && 0<=Arg_1
16:n_f9___12(Arg_0,Arg_1,Arg_2) -> n_f6___8(NoDet0,B_P,Arg_2):|:1<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && 1<=B_P && Arg_1<=B_P && B_P<=Arg_1
17:n_f9___12(Arg_0,Arg_1,Arg_2) -> n_f6___9(NoDet0,B_P,Arg_2):|:1<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && 1+B_P<=0 && Arg_1<=B_P && B_P<=Arg_1
18:n_f9___13(Arg_0,Arg_1,Arg_2) -> n_f17___10(Arg_0,0,1):|:1+Arg_0<=0 && Arg_2<=0 && 0<=Arg_2 && Arg_1<=0 && 0<=Arg_1
19:n_f9___13(Arg_0,Arg_1,Arg_2) -> n_f6___8(NoDet0,B_P,Arg_2):|:1+Arg_0<=0 && Arg_2<=0 && 0<=Arg_2 && 1<=B_P && Arg_1<=B_P && B_P<=Arg_1
20:n_f9___13(Arg_0,Arg_1,Arg_2) -> n_f6___9(NoDet0,B_P,Arg_2):|:1+Arg_0<=0 && Arg_2<=0 && 0<=Arg_2 && 1+B_P<=0 && Arg_1<=B_P && B_P<=Arg_1
Found invariant Arg_2<=0 && 1+Arg_1+Arg_2<=0 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 1+Arg_1<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && 1+Arg_1<=0 && 1+Arg_1<=Arg_0 && 1+Arg_0+Arg_1<=0 && Arg_0<=0 && 0<=Arg_0 for location n_f24___5
Found invariant Arg_2<=1 && Arg_2<=1+Arg_1 && Arg_1+Arg_2<=1 && Arg_0+Arg_2<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2+Arg_0<=Arg_2 && Arg_1<=0 && 1+Arg_0+Arg_1<=0 && 0<=Arg_1 && 1+Arg_0<=Arg_1 && 1+Arg_0<=0 for location n_f17___10
Found invariant Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && 1+Arg_0+Arg_2<=0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && 1+Arg_0+Arg_1<=0 && 0<=Arg_1 && 1+Arg_0<=Arg_1 && 1+Arg_0<=0 for location n_f24___7
Found invariant Arg_2<=0 && 1+Arg_1+Arg_2<=0 && 0<=Arg_2 && 1+Arg_1<=Arg_2 && 1+Arg_1<=0 for location n_f6___9
Found invariant Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_f17___4
Found invariant Arg_2<=0 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 1<=Arg_0+Arg_2 && 1<=Arg_0 for location n_f9___12
Found invariant Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_f24___3
Found invariant Arg_2<=0 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=0 && 0<=Arg_0 for location n_f24___11
Found invariant Arg_2<=0 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=0 && 0<=Arg_0 for location n_f17___14
Found invariant Arg_2<=0 && 1+Arg_1+Arg_2<=0 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 1+Arg_1<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && 1+Arg_1<=0 && 1+Arg_1<=Arg_0 && 1+Arg_0+Arg_1<=0 && Arg_0<=0 && 0<=Arg_0 for location n_f17___6
Found invariant Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && Arg_1<=0 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 for location n_f24___1
Found invariant Arg_2<=0 && 1+Arg_0+Arg_2<=0 && 0<=Arg_2 && 1+Arg_0<=Arg_2 && 1+Arg_0<=0 for location n_f9___13
Found invariant Arg_2<=1 && Arg_2<=1+Arg_1 && Arg_1+Arg_2<=1 && Arg_2<=Arg_0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=0 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 for location n_f17___2
Found invariant Arg_2<=0 && 0<=Arg_2 for location n_f6___15
Found invariant Arg_2<=0 && 1+Arg_2<=Arg_1 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && 1<=Arg_1 for location n_f6___8
Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2
Temp_Vars: B_P, NoDet0
Locations: n_f0, n_f17___10, n_f17___14, n_f17___2, n_f17___4, n_f17___6, n_f24___1, n_f24___11, n_f24___3, n_f24___5, n_f24___7, n_f6___15, n_f6___8, n_f6___9, n_f9___12, n_f9___13
Transitions:
0:n_f0(Arg_0,Arg_1,Arg_2) -> n_f6___15(NoDet0,Arg_1,0)
1:n_f17___10(Arg_0,Arg_1,Arg_2) -> n_f24___7(Arg_0,Arg_1,0):|:Arg_2<=1 && Arg_2<=1+Arg_1 && Arg_1+Arg_2<=1 && Arg_0+Arg_2<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2+Arg_0<=Arg_2 && Arg_1<=0 && 1+Arg_0+Arg_1<=0 && 0<=Arg_1 && 1+Arg_0<=Arg_1 && 1+Arg_0<=0 && 1+Arg_0<=0 && Arg_1<=0 && 0<=Arg_1 && Arg_2<=1 && 1<=Arg_2 && Arg_2<=1 && 1<=Arg_2
2:n_f17___14(Arg_0,Arg_1,Arg_2) -> n_f24___11(Arg_0,Arg_1,Arg_2):|:Arg_2<=0 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && Arg_2<=0
3:n_f17___2(Arg_0,Arg_1,Arg_2) -> n_f24___1(Arg_0,Arg_1,0):|:Arg_2<=1 && Arg_2<=1+Arg_1 && Arg_1+Arg_2<=1 && Arg_2<=Arg_0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=0 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_2<=1 && 1<=Arg_2 && Arg_2<=1 && 1<=Arg_2
4:n_f17___4(Arg_0,Arg_1,Arg_2) -> n_f24___3(Arg_0,Arg_1,Arg_2):|:Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && Arg_2<=0
5:n_f17___6(Arg_0,Arg_1,Arg_2) -> n_f24___5(Arg_0,Arg_1,Arg_2):|:Arg_2<=0 && 1+Arg_1+Arg_2<=0 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 1+Arg_1<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && 1+Arg_1<=0 && 1+Arg_1<=Arg_0 && 1+Arg_0+Arg_1<=0 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_1<=0 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && Arg_2<=0
6:n_f6___15(Arg_0,Arg_1,Arg_2) -> n_f17___14(0,Arg_1,Arg_2):|:Arg_2<=0 && 0<=Arg_2 && Arg_2<=0 && 0<=Arg_2 && Arg_0<=0 && 0<=Arg_0
7:n_f6___15(Arg_0,Arg_1,Arg_2) -> n_f9___12(Arg_0,NoDet0,Arg_2):|:Arg_2<=0 && 0<=Arg_2 && Arg_2<=0 && 0<=Arg_2 && 1<=Arg_0
8:n_f6___15(Arg_0,Arg_1,Arg_2) -> n_f9___13(Arg_0,NoDet0,Arg_2):|:Arg_2<=0 && 0<=Arg_2 && Arg_2<=0 && 0<=Arg_2 && 1+Arg_0<=0
9:n_f6___8(Arg_0,Arg_1,Arg_2) -> n_f17___4(0,Arg_1,Arg_2):|:Arg_2<=0 && 1+Arg_2<=Arg_1 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && 1<=Arg_1 && 1<=Arg_1 && Arg_2<=0 && 0<=Arg_2 && Arg_0<=0 && 0<=Arg_0
10:n_f6___8(Arg_0,Arg_1,Arg_2) -> n_f9___12(Arg_0,NoDet0,Arg_2):|:Arg_2<=0 && 1+Arg_2<=Arg_1 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && 1<=Arg_1 && 1<=Arg_1 && Arg_2<=0 && 0<=Arg_2 && 1<=Arg_0
11:n_f6___8(Arg_0,Arg_1,Arg_2) -> n_f9___13(Arg_0,NoDet0,Arg_2):|:Arg_2<=0 && 1+Arg_2<=Arg_1 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && 1<=Arg_1 && 1<=Arg_1 && Arg_2<=0 && 0<=Arg_2 && 1+Arg_0<=0
12:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f17___6(0,Arg_1,Arg_2):|:Arg_2<=0 && 1+Arg_1+Arg_2<=0 && 0<=Arg_2 && 1+Arg_1<=Arg_2 && 1+Arg_1<=0 && 1+Arg_1<=0 && Arg_2<=0 && 0<=Arg_2 && Arg_0<=0 && 0<=Arg_0
13:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f9___12(Arg_0,NoDet0,Arg_2):|:Arg_2<=0 && 1+Arg_1+Arg_2<=0 && 0<=Arg_2 && 1+Arg_1<=Arg_2 && 1+Arg_1<=0 && 1+Arg_1<=0 && Arg_2<=0 && 0<=Arg_2 && 1<=Arg_0
14:n_f6___9(Arg_0,Arg_1,Arg_2) -> n_f9___13(Arg_0,NoDet0,Arg_2):|:Arg_2<=0 && 1+Arg_1+Arg_2<=0 && 0<=Arg_2 && 1+Arg_1<=Arg_2 && 1+Arg_1<=0 && 1+Arg_1<=0 && Arg_2<=0 && 0<=Arg_2 && 1+Arg_0<=0
15:n_f9___12(Arg_0,Arg_1,Arg_2) -> n_f17___2(Arg_0,0,1):|:Arg_2<=0 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 1<=Arg_0+Arg_2 && 1<=Arg_0 && 1<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && Arg_1<=0 && 0<=Arg_1
16:n_f9___12(Arg_0,Arg_1,Arg_2) -> n_f6___8(NoDet0,B_P,Arg_2):|:Arg_2<=0 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 1<=Arg_0+Arg_2 && 1<=Arg_0 && 1<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && 1<=B_P && Arg_1<=B_P && B_P<=Arg_1
17:n_f9___12(Arg_0,Arg_1,Arg_2) -> n_f6___9(NoDet0,B_P,Arg_2):|:Arg_2<=0 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 1<=Arg_0+Arg_2 && 1<=Arg_0 && 1<=Arg_0 && Arg_2<=0 && 0<=Arg_2 && 1+B_P<=0 && Arg_1<=B_P && B_P<=Arg_1
18:n_f9___13(Arg_0,Arg_1,Arg_2) -> n_f17___10(Arg_0,0,1):|:Arg_2<=0 && 1+Arg_0+Arg_2<=0 && 0<=Arg_2 && 1+Arg_0<=Arg_2 && 1+Arg_0<=0 && 1+Arg_0<=0 && Arg_2<=0 && 0<=Arg_2 && Arg_1<=0 && 0<=Arg_1
19:n_f9___13(Arg_0,Arg_1,Arg_2) -> n_f6___8(NoDet0,B_P,Arg_2):|:Arg_2<=0 && 1+Arg_0+Arg_2<=0 && 0<=Arg_2 && 1+Arg_0<=Arg_2 && 1+Arg_0<=0 && 1+Arg_0<=0 && Arg_2<=0 && 0<=Arg_2 && 1<=B_P && Arg_1<=B_P && B_P<=Arg_1
20:n_f9___13(Arg_0,Arg_1,Arg_2) -> n_f6___9(NoDet0,B_P,Arg_2):|:Arg_2<=0 && 1+Arg_0+Arg_2<=0 && 0<=Arg_2 && 1+Arg_0<=Arg_2 && 1+Arg_0<=0 && 1+Arg_0<=0 && Arg_2<=0 && 0<=Arg_2 && 1+B_P<=0 && Arg_1<=B_P && B_P<=Arg_1
Overall timebound:inf {Infinity}
0: n_f0->n_f6___15: 1 {O(1)}
1: n_f17___10->n_f24___7: 1 {O(1)}
2: n_f17___14->n_f24___11: 1 {O(1)}
3: n_f17___2->n_f24___1: 1 {O(1)}
4: n_f17___4->n_f24___3: 1 {O(1)}
5: n_f17___6->n_f24___5: 1 {O(1)}
6: n_f6___15->n_f17___14: 1 {O(1)}
7: n_f6___15->n_f9___12: 1 {O(1)}
8: n_f6___15->n_f9___13: 1 {O(1)}
9: n_f6___8->n_f17___4: 1 {O(1)}
10: n_f6___8->n_f9___12: inf {Infinity}
11: n_f6___8->n_f9___13: inf {Infinity}
12: n_f6___9->n_f17___6: 1 {O(1)}
13: n_f6___9->n_f9___12: inf {Infinity}
14: n_f6___9->n_f9___13: inf {Infinity}
15: n_f9___12->n_f17___2: 1 {O(1)}
16: n_f9___12->n_f6___8: inf {Infinity}
17: n_f9___12->n_f6___9: inf {Infinity}
18: n_f9___13->n_f17___10: 1 {O(1)}
19: n_f9___13->n_f6___8: inf {Infinity}
20: n_f9___13->n_f6___9: inf {Infinity}
Overall costbound: inf {Infinity}
0: n_f0->n_f6___15: 1 {O(1)}
1: n_f17___10->n_f24___7: 1 {O(1)}
2: n_f17___14->n_f24___11: 1 {O(1)}
3: n_f17___2->n_f24___1: 1 {O(1)}
4: n_f17___4->n_f24___3: 1 {O(1)}
5: n_f17___6->n_f24___5: 1 {O(1)}
6: n_f6___15->n_f17___14: 1 {O(1)}
7: n_f6___15->n_f9___12: 1 {O(1)}
8: n_f6___15->n_f9___13: 1 {O(1)}
9: n_f6___8->n_f17___4: 1 {O(1)}
10: n_f6___8->n_f9___12: inf {Infinity}
11: n_f6___8->n_f9___13: inf {Infinity}
12: n_f6___9->n_f17___6: 1 {O(1)}
13: n_f6___9->n_f9___12: inf {Infinity}
14: n_f6___9->n_f9___13: inf {Infinity}
15: n_f9___12->n_f17___2: 1 {O(1)}
16: n_f9___12->n_f6___8: inf {Infinity}
17: n_f9___12->n_f6___9: inf {Infinity}
18: n_f9___13->n_f17___10: 1 {O(1)}
19: n_f9___13->n_f6___8: inf {Infinity}
20: n_f9___13->n_f6___9: inf {Infinity}
0: n_f0->n_f6___15, Arg_1: Arg_1 {O(n)}
0: n_f0->n_f6___15, Arg_2: 0 {O(1)}
1: n_f17___10->n_f24___7, Arg_1: 0 {O(1)}
1: n_f17___10->n_f24___7, Arg_2: 0 {O(1)}
2: n_f17___14->n_f24___11, Arg_0: 0 {O(1)}
2: n_f17___14->n_f24___11, Arg_1: Arg_1 {O(n)}
2: n_f17___14->n_f24___11, Arg_2: 0 {O(1)}
3: n_f17___2->n_f24___1, Arg_1: 0 {O(1)}
3: n_f17___2->n_f24___1, Arg_2: 0 {O(1)}
4: n_f17___4->n_f24___3, Arg_0: 0 {O(1)}
4: n_f17___4->n_f24___3, Arg_2: 0 {O(1)}
5: n_f17___6->n_f24___5, Arg_0: 0 {O(1)}
5: n_f17___6->n_f24___5, Arg_2: 0 {O(1)}
6: n_f6___15->n_f17___14, Arg_0: 0 {O(1)}
6: n_f6___15->n_f17___14, Arg_1: Arg_1 {O(n)}
6: n_f6___15->n_f17___14, Arg_2: 0 {O(1)}
7: n_f6___15->n_f9___12, Arg_2: 0 {O(1)}
8: n_f6___15->n_f9___13, Arg_2: 0 {O(1)}
9: n_f6___8->n_f17___4, Arg_0: 0 {O(1)}
9: n_f6___8->n_f17___4, Arg_2: 0 {O(1)}
10: n_f6___8->n_f9___12, Arg_2: 0 {O(1)}
11: n_f6___8->n_f9___13, Arg_2: 0 {O(1)}
12: n_f6___9->n_f17___6, Arg_0: 0 {O(1)}
12: n_f6___9->n_f17___6, Arg_2: 0 {O(1)}
13: n_f6___9->n_f9___12, Arg_2: 0 {O(1)}
14: n_f6___9->n_f9___13, Arg_2: 0 {O(1)}
15: n_f9___12->n_f17___2, Arg_1: 0 {O(1)}
15: n_f9___12->n_f17___2, Arg_2: 1 {O(1)}
16: n_f9___12->n_f6___8, Arg_2: 0 {O(1)}
17: n_f9___12->n_f6___9, Arg_2: 0 {O(1)}
18: n_f9___13->n_f17___10, Arg_1: 0 {O(1)}
18: n_f9___13->n_f17___10, Arg_2: 1 {O(1)}
19: n_f9___13->n_f6___8, Arg_2: 0 {O(1)}
20: n_f9___13->n_f6___9, Arg_2: 0 {O(1)}