Initial Problem

Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9
Temp_Vars: NoDet0, NoDet1
Locations: n_f0, n_f17___24, n_f17___25, n_f27___21, n_f27___22, n_f27___23, n_f37___19, n_f37___20, n_f37___7, n_f45___17, n_f45___18, n_f45___6, n_f55___15, n_f55___16, n_f55___5, n_f65___13, n_f65___14, n_f65___4, n_f75___11, n_f75___12, n_f75___3, n_f83___10, n_f83___2, n_f83___9, n_f93___1, n_f93___8
Transitions:
0:n_f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f17___25(0,NoDet0,NoDet1,0,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
1:n_f17___24(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f17___24(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && Arg_3<=Arg_4 && 1+Arg_3<=Arg_4
2:n_f17___24(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f27___22(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_4-1,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && Arg_3<=Arg_4 && Arg_4<=Arg_3
3:n_f17___25(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f17___24(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_3<=0 && 0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_3<=Arg_4
4:n_f17___25(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f27___23(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_4-1,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_3<=0 && 0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=Arg_3
5:n_f27___21(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f27___21(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && 0<=1+Arg_5 && 0<=Arg_5
6:n_f27___21(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f37___20(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,0,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && 0<=1+Arg_5 && 1+Arg_5<=0
7:n_f27___22(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f27___21(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6,Arg_7,Arg_8,Arg_9):|:0<=Arg_5 && 1<=Arg_4 && Arg_4<=1+Arg_5 && 1+Arg_5<=Arg_4 && Arg_4<=Arg_3 && 0<=Arg_5 && 0<=1+Arg_5 && 0<=Arg_5
8:n_f27___23(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f37___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,0,Arg_7,Arg_8,Arg_9):|:1+Arg_5<=0 && Arg_4<=0 && 1+Arg_5<=0 && Arg_4<=1+Arg_5 && 1+Arg_5<=Arg_4 && Arg_4<=Arg_3 && 1+Arg_5<=0
9:n_f37___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f37___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6+1,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && Arg_6<=Arg_4 && 1+Arg_6<=Arg_4
10:n_f37___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f45___18(0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && Arg_6<=Arg_4 && Arg_4<=Arg_6
11:n_f37___20(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f37___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6+1,Arg_7,Arg_8,Arg_9):|:1+Arg_6<=Arg_4 && 1<=Arg_4 && Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_6<=Arg_4 && Arg_6<=Arg_4 && 1+Arg_6<=Arg_4
12:n_f37___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f45___6(0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_4<=Arg_6 && Arg_4<=0 && Arg_4<=Arg_6 && Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=0 && Arg_4<=Arg_6
13:n_f45___17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f45___17(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && Arg_0<=Arg_4 && 1+Arg_0<=Arg_4
14:n_f45___17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f55___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,0,Arg_8,Arg_9):|:1<=Arg_4 && Arg_0<=Arg_4 && Arg_4<=Arg_0
15:n_f45___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f45___17(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1+Arg_0<=Arg_4 && 1<=Arg_4 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=Arg_6 && 1+Arg_0<=Arg_4 && Arg_0<=Arg_4 && 1+Arg_0<=Arg_4
16:n_f45___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f55___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,0,Arg_8,Arg_9):|:Arg_4<=Arg_0 && Arg_4<=0 && Arg_4<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=Arg_6 && Arg_4<=Arg_0
17:n_f55___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f55___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7+1,Arg_8,Arg_9):|:1<=Arg_4 && Arg_7<=Arg_4 && 1+Arg_7<=Arg_4
18:n_f55___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f65___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_4-1,Arg_9):|:1<=Arg_4 && Arg_7<=Arg_4 && Arg_4<=Arg_7
19:n_f55___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f55___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7+1,Arg_8,Arg_9):|:1+Arg_7<=Arg_4 && 1<=Arg_4 && Arg_7<=0 && 0<=Arg_7 && Arg_4<=Arg_0 && 1+Arg_7<=Arg_4 && Arg_7<=Arg_4 && 1+Arg_7<=Arg_4
20:n_f55___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f65___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_4-1,Arg_9):|:Arg_4<=Arg_7 && Arg_4<=0 && Arg_4<=Arg_7 && Arg_7<=0 && 0<=Arg_7 && Arg_4<=Arg_0 && Arg_4<=Arg_7
21:n_f65___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f65___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8-1,Arg_9):|:1<=Arg_4 && 0<=1+Arg_8 && 0<=Arg_8
22:n_f65___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f75___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0):|:1<=Arg_4 && 0<=1+Arg_8 && 1+Arg_8<=0
23:n_f65___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f65___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8-1,Arg_9):|:0<=Arg_8 && 1<=Arg_4 && Arg_4<=1+Arg_8 && 1+Arg_8<=Arg_4 && Arg_4<=Arg_7 && 0<=Arg_8 && 0<=1+Arg_8 && 0<=Arg_8
24:n_f65___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f75___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0):|:1+Arg_8<=0 && Arg_4<=0 && 1+Arg_8<=0 && Arg_4<=1+Arg_8 && 1+Arg_8<=Arg_4 && Arg_4<=Arg_7 && 1+Arg_8<=0
25:n_f75___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f75___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+1):|:1<=Arg_4 && Arg_9<=Arg_4 && 1+Arg_9<=Arg_4
26:n_f75___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f83___10(Arg_4-1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && Arg_9<=Arg_4 && Arg_4<=Arg_9
27:n_f75___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f75___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+1):|:1+Arg_9<=Arg_4 && 1<=Arg_4 && Arg_9<=0 && 0<=Arg_9 && 1+Arg_8<=0 && 1+Arg_9<=Arg_4 && Arg_9<=Arg_4 && 1+Arg_9<=Arg_4
28:n_f75___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f83___2(Arg_4-1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_4<=Arg_9 && Arg_4<=Arg_9 && Arg_9<=0 && 0<=Arg_9 && 1+Arg_8<=0 && Arg_4<=Arg_9
29:n_f83___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f83___9(Arg_0-1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:0<=Arg_0 && 1+Arg_0<=Arg_4 && Arg_4<=1+Arg_0 && 1+Arg_0<=Arg_9 && 0<=Arg_0 && 0<=1+Arg_0 && 0<=Arg_0
30:n_f83___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f93___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1+Arg_0<=Arg_4 && Arg_4<=1+Arg_0 && 1+Arg_0<=Arg_9 && 1+Arg_0<=0 && 1+Arg_0<=0
31:n_f83___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f83___9(Arg_0-1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:0<=1+Arg_0 && 0<=Arg_0
32:n_f83___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f93___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:0<=1+Arg_0 && 1+Arg_0<=0

Preprocessing

Eliminate variables {NoDet0,NoDet1,Arg_1,Arg_2} that do not contribute to the problem

Found invariant 1+Arg_8<=Arg_7 && 1+Arg_8<=Arg_6 && 1+Arg_8<=Arg_4 && 1+Arg_8<=Arg_3 && 1+Arg_8<=Arg_0 && 0<=Arg_8 && 1<=Arg_7+Arg_8 && Arg_7<=1+Arg_8 && 1<=Arg_6+Arg_8 && Arg_6<=1+Arg_8 && 0<=1+Arg_5+Arg_8 && 1+Arg_5<=Arg_8 && 1<=Arg_4+Arg_8 && Arg_4<=1+Arg_8 && 1<=Arg_3+Arg_8 && Arg_3<=1+Arg_8 && 1<=Arg_0+Arg_8 && Arg_0<=1+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 for location n_f65___14

Found invariant Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && Arg_9<=Arg_0 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && 2<=Arg_6+Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_0+Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 2+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 for location n_f75___11

Found invariant 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f27___23

Found invariant Arg_6<=0 && Arg_6<=1+Arg_5 && 1+Arg_5+Arg_6<=0 && 1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_3 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 0<=1+Arg_5+Arg_6 && 1+Arg_5<=Arg_6 && 1<=Arg_4+Arg_6 && 1<=Arg_3+Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f37___20

Found invariant Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && 2<=Arg_3+Arg_7 && 2<=Arg_0+Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 for location n_f55___15

Found invariant 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f17___24

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 for location n_f45___17

Found invariant Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 2<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 0<=Arg_0+Arg_9 && 2+Arg_0<=Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=2+Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && 2+Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && 2+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=2+Arg_0+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && 2+Arg_0<=Arg_4 && 1<=Arg_3 && 0<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && 0<=1+Arg_0 for location n_f83___9

Found invariant Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 2<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 0<=Arg_0+Arg_9 && 2+Arg_0<=Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && Arg_8<=Arg_0 && 2+Arg_0+Arg_8<=0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=2+Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && 2+Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && 2+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && Arg_5<=Arg_0 && 2+Arg_0+Arg_5<=0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=2+Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && 2+Arg_0<=Arg_4 && 1<=Arg_3 && 0<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && 1+Arg_0<=0 && 0<=1+Arg_0 for location n_f93___8

Found invariant Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f37___7

Found invariant 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 2+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 for location n_f65___13

Found invariant Arg_9<=0 && 1+Arg_8+Arg_9<=0 && Arg_9<=Arg_7 && Arg_7+Arg_9<=0 && Arg_9<=Arg_6 && Arg_6+Arg_9<=0 && 1+Arg_5+Arg_9<=0 && Arg_4+Arg_9<=0 && Arg_9<=Arg_3 && Arg_3+Arg_9<=0 && 1+Arg_0+Arg_9<=0 && 0<=Arg_9 && 1+Arg_8<=Arg_9 && 0<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 0<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 1+Arg_5<=Arg_9 && Arg_4<=Arg_9 && 0<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 1+Arg_0<=Arg_9 && 1+Arg_8<=0 && 1+Arg_8<=Arg_7 && 1+Arg_7+Arg_8<=0 && 1+Arg_8<=Arg_6 && 1+Arg_6+Arg_8<=0 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 1+Arg_8<=Arg_4 && 1+Arg_4+Arg_8<=0 && 1+Arg_8<=Arg_3 && 1+Arg_3+Arg_8<=0 && Arg_8<=Arg_0 && 2+Arg_0+Arg_8<=0 && Arg_5<=Arg_8 && Arg_4<=1+Arg_8 && Arg_0<=Arg_8 && Arg_7<=0 && Arg_7<=Arg_6 && Arg_6+Arg_7<=0 && 1+Arg_5+Arg_7<=0 && Arg_4+Arg_7<=0 && Arg_7<=Arg_3 && Arg_3+Arg_7<=0 && 1+Arg_0+Arg_7<=0 && 0<=Arg_7 && 0<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 1+Arg_5<=Arg_7 && Arg_4<=Arg_7 && 0<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 1+Arg_0<=Arg_7 && Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && 1+Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && Arg_5<=Arg_0 && 2+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_0<=Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=1+Arg_0 && 1+Arg_0+Arg_4<=0 && 1+Arg_0<=Arg_4 && Arg_3<=0 && 1+Arg_0+Arg_3<=0 && 0<=Arg_3 && 1+Arg_0<=Arg_3 && 1+Arg_0<=0 for location n_f93___1

Found invariant Arg_9<=0 && 1+Arg_8+Arg_9<=0 && Arg_9<=Arg_7 && Arg_7+Arg_9<=0 && Arg_9<=Arg_6 && Arg_6+Arg_9<=0 && 1+Arg_5+Arg_9<=0 && Arg_4+Arg_9<=0 && Arg_9<=Arg_3 && Arg_3+Arg_9<=0 && Arg_9<=Arg_0 && Arg_0+Arg_9<=0 && 0<=Arg_9 && 1+Arg_8<=Arg_9 && 0<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 0<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 1+Arg_5<=Arg_9 && Arg_4<=Arg_9 && 0<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_8<=0 && 1+Arg_8<=Arg_7 && 1+Arg_7+Arg_8<=0 && 1+Arg_8<=Arg_6 && 1+Arg_6+Arg_8<=0 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 1+Arg_8<=Arg_4 && 1+Arg_4+Arg_8<=0 && 1+Arg_8<=Arg_3 && 1+Arg_3+Arg_8<=0 && 1+Arg_8<=Arg_0 && 1+Arg_0+Arg_8<=0 && Arg_5<=Arg_8 && Arg_4<=1+Arg_8 && Arg_7<=0 && Arg_7<=Arg_6 && Arg_6+Arg_7<=0 && 1+Arg_5+Arg_7<=0 && Arg_4+Arg_7<=0 && Arg_7<=Arg_3 && Arg_3+Arg_7<=0 && Arg_7<=Arg_0 && Arg_0+Arg_7<=0 && 0<=Arg_7 && 0<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 1+Arg_5<=Arg_7 && Arg_4<=Arg_7 && 0<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f75___3

Found invariant 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f27___21

Found invariant Arg_7<=0 && Arg_7<=Arg_6 && Arg_6+Arg_7<=0 && 1+Arg_5+Arg_7<=0 && Arg_4+Arg_7<=0 && Arg_7<=Arg_3 && Arg_3+Arg_7<=0 && Arg_7<=Arg_0 && Arg_0+Arg_7<=0 && 0<=Arg_7 && 0<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 1+Arg_5<=Arg_7 && Arg_4<=Arg_7 && 0<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f55___5

Found invariant Arg_9<=0 && Arg_9<=1+Arg_8 && 1+Arg_8+Arg_9<=0 && 1+Arg_9<=Arg_7 && 1+Arg_9<=Arg_6 && Arg_9<=1+Arg_5 && 1+Arg_5+Arg_9<=0 && 1+Arg_9<=Arg_4 && 1+Arg_9<=Arg_3 && 1+Arg_9<=Arg_0 && 0<=Arg_9 && 0<=1+Arg_8+Arg_9 && 1+Arg_8<=Arg_9 && 1<=Arg_7+Arg_9 && 1<=Arg_6+Arg_9 && 0<=1+Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 1<=Arg_4+Arg_9 && 1<=Arg_3+Arg_9 && 1<=Arg_0+Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 2+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 for location n_f75___12

Found invariant Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f17___25

Found invariant Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f45___6

Found invariant Arg_7<=0 && 1+Arg_7<=Arg_6 && Arg_7<=1+Arg_5 && 1+Arg_5+Arg_7<=0 && 1+Arg_7<=Arg_4 && 1+Arg_7<=Arg_3 && 1+Arg_7<=Arg_0 && 0<=Arg_7 && 1<=Arg_6+Arg_7 && 0<=1+Arg_5+Arg_7 && 1+Arg_5<=Arg_7 && 1<=Arg_4+Arg_7 && 1<=Arg_3+Arg_7 && 1<=Arg_0+Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 for location n_f55___16

Found invariant Arg_9<=0 && 1+Arg_8+Arg_9<=0 && Arg_9<=Arg_7 && Arg_7+Arg_9<=0 && Arg_9<=Arg_6 && Arg_6+Arg_9<=0 && 1+Arg_5+Arg_9<=0 && Arg_4+Arg_9<=0 && Arg_9<=Arg_3 && Arg_3+Arg_9<=0 && 1+Arg_0+Arg_9<=0 && 0<=Arg_9 && 1+Arg_8<=Arg_9 && 0<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 0<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 1+Arg_5<=Arg_9 && Arg_4<=Arg_9 && 0<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 1+Arg_0<=Arg_9 && 1+Arg_8<=0 && 1+Arg_8<=Arg_7 && 1+Arg_7+Arg_8<=0 && 1+Arg_8<=Arg_6 && 1+Arg_6+Arg_8<=0 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 1+Arg_8<=Arg_4 && 1+Arg_4+Arg_8<=0 && 1+Arg_8<=Arg_3 && 1+Arg_3+Arg_8<=0 && Arg_8<=Arg_0 && 2+Arg_0+Arg_8<=0 && Arg_5<=Arg_8 && Arg_4<=1+Arg_8 && Arg_0<=Arg_8 && Arg_7<=0 && Arg_7<=Arg_6 && Arg_6+Arg_7<=0 && 1+Arg_5+Arg_7<=0 && Arg_4+Arg_7<=0 && Arg_7<=Arg_3 && Arg_3+Arg_7<=0 && 1+Arg_0+Arg_7<=0 && 0<=Arg_7 && 0<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 1+Arg_5<=Arg_7 && Arg_4<=Arg_7 && 0<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 1+Arg_0<=Arg_7 && Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && 1+Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && Arg_5<=Arg_0 && 2+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_0<=Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=1+Arg_0 && 1+Arg_0+Arg_4<=0 && 1+Arg_0<=Arg_4 && Arg_3<=0 && 1+Arg_0+Arg_3<=0 && 0<=Arg_3 && 1+Arg_0<=Arg_3 && 1+Arg_0<=0 for location n_f83___2

Found invariant 1+Arg_5<=Arg_4 && 1+Arg_5<=Arg_3 && 0<=Arg_5 && 1<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && Arg_3<=1+Arg_5 && 0<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f27___22

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && 2<=Arg_3+Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f37___19

Found invariant Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f45___18

Found invariant 1+Arg_8<=0 && 1+Arg_8<=Arg_7 && 1+Arg_7+Arg_8<=0 && 1+Arg_8<=Arg_6 && 1+Arg_6+Arg_8<=0 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 1+Arg_8<=Arg_4 && 1+Arg_4+Arg_8<=0 && 1+Arg_8<=Arg_3 && 1+Arg_3+Arg_8<=0 && 1+Arg_8<=Arg_0 && 1+Arg_0+Arg_8<=0 && Arg_5<=Arg_8 && Arg_4<=1+Arg_8 && Arg_7<=0 && Arg_7<=Arg_6 && Arg_6+Arg_7<=0 && 1+Arg_5+Arg_7<=0 && Arg_4+Arg_7<=0 && Arg_7<=Arg_3 && Arg_3+Arg_7<=0 && Arg_7<=Arg_0 && Arg_0+Arg_7<=0 && 0<=Arg_7 && 0<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 1+Arg_5<=Arg_7 && Arg_4<=Arg_7 && 0<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location n_f65___4

Found invariant Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && Arg_9<=1+Arg_0 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 2<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 1<=Arg_0+Arg_9 && 1+Arg_0<=Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 1+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=1+Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=1+Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 1<=Arg_0+Arg_7 && 1+Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=1+Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=1+Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=1+Arg_0 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 0<=Arg_0 for location n_f83___10

Problem after Preprocessing

Start: n_f0
Program_Vars: Arg_0, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9
Temp_Vars:
Locations: n_f0, n_f17___24, n_f17___25, n_f27___21, n_f27___22, n_f27___23, n_f37___19, n_f37___20, n_f37___7, n_f45___17, n_f45___18, n_f45___6, n_f55___15, n_f55___16, n_f55___5, n_f65___13, n_f65___14, n_f65___4, n_f75___11, n_f75___12, n_f75___3, n_f83___10, n_f83___2, n_f83___9, n_f93___1, n_f93___8
Transitions:
67:n_f0(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f17___25(0,0,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
68:n_f17___24(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f17___24(Arg_0,Arg_3+1,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_4 && Arg_3<=Arg_4 && 1+Arg_3<=Arg_4
69:n_f17___24(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f27___22(Arg_0,Arg_3,Arg_4,Arg_4-1,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_4 && Arg_3<=Arg_4 && Arg_4<=Arg_3
70:n_f17___25(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f17___24(Arg_0,Arg_3+1,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_3<=Arg_4
71:n_f17___25(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f27___23(Arg_0,Arg_3,Arg_4,Arg_4-1,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=Arg_3
72:n_f27___21(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f27___21(Arg_0,Arg_3,Arg_4,Arg_5-1,Arg_6,Arg_7,Arg_8,Arg_9):|:2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_4 && 0<=1+Arg_5 && 0<=Arg_5
73:n_f27___21(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f37___20(Arg_0,Arg_3,Arg_4,Arg_5,0,Arg_7,Arg_8,Arg_9):|:2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_4 && 0<=1+Arg_5 && 1+Arg_5<=0
74:n_f27___22(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f27___21(Arg_0,Arg_3,Arg_4,Arg_5-1,Arg_6,Arg_7,Arg_8,Arg_9):|:1+Arg_5<=Arg_4 && 1+Arg_5<=Arg_3 && 0<=Arg_5 && 1<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && Arg_3<=1+Arg_5 && 0<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_5 && 1<=Arg_4 && Arg_4<=1+Arg_5 && 1+Arg_5<=Arg_4 && Arg_4<=Arg_3 && 0<=Arg_5 && 0<=1+Arg_5 && 0<=Arg_5
75:n_f27___23(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f37___7(Arg_0,Arg_3,Arg_4,Arg_5,0,Arg_7,Arg_8,Arg_9):|:1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_5<=0 && Arg_4<=0 && 1+Arg_5<=0 && Arg_4<=1+Arg_5 && 1+Arg_5<=Arg_4 && Arg_4<=Arg_3 && 1+Arg_5<=0
76:n_f37___19(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f37___19(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6+1,Arg_7,Arg_8,Arg_9):|:Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && 2<=Arg_3+Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_4 && Arg_6<=Arg_4 && 1+Arg_6<=Arg_4
77:n_f37___19(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f45___18(0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && 2<=Arg_3+Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_4 && Arg_6<=Arg_4 && Arg_4<=Arg_6
78:n_f37___20(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f37___19(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6+1,Arg_7,Arg_8,Arg_9):|:Arg_6<=0 && Arg_6<=1+Arg_5 && 1+Arg_5+Arg_6<=0 && 1+Arg_6<=Arg_4 && 1+Arg_6<=Arg_3 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 0<=1+Arg_5+Arg_6 && 1+Arg_5<=Arg_6 && 1<=Arg_4+Arg_6 && 1<=Arg_3+Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_6<=Arg_4 && 1<=Arg_4 && Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_6<=Arg_4 && Arg_6<=Arg_4 && 1+Arg_6<=Arg_4
79:n_f37___7(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f45___6(0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=Arg_6 && Arg_4<=0 && Arg_4<=Arg_6 && Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=0 && Arg_4<=Arg_6
80:n_f45___17(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f45___17(Arg_0+1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && Arg_0<=Arg_4 && 1+Arg_0<=Arg_4
81:n_f45___17(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f55___16(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,0,Arg_8,Arg_9):|:Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && Arg_0<=Arg_4 && Arg_4<=Arg_0
82:n_f45___18(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f45___17(Arg_0+1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_4 && 1<=Arg_4 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=Arg_6 && 1+Arg_0<=Arg_4 && Arg_0<=Arg_4 && 1+Arg_0<=Arg_4
83:n_f45___6(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f55___5(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,0,Arg_8,Arg_9):|:Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=Arg_0 && Arg_4<=0 && Arg_4<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=Arg_6 && Arg_4<=Arg_0
84:n_f55___15(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f55___15(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7+1,Arg_8,Arg_9):|:Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && 2<=Arg_3+Arg_7 && 2<=Arg_0+Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && Arg_7<=Arg_4 && 1+Arg_7<=Arg_4
85:n_f55___15(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f65___14(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_4-1,Arg_9):|:Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && 2<=Arg_3+Arg_7 && 2<=Arg_0+Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && Arg_7<=Arg_4 && Arg_4<=Arg_7
86:n_f55___16(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f55___15(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7+1,Arg_8,Arg_9):|:Arg_7<=0 && 1+Arg_7<=Arg_6 && Arg_7<=1+Arg_5 && 1+Arg_5+Arg_7<=0 && 1+Arg_7<=Arg_4 && 1+Arg_7<=Arg_3 && 1+Arg_7<=Arg_0 && 0<=Arg_7 && 1<=Arg_6+Arg_7 && 0<=1+Arg_5+Arg_7 && 1+Arg_5<=Arg_7 && 1<=Arg_4+Arg_7 && 1<=Arg_3+Arg_7 && 1<=Arg_0+Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1+Arg_7<=Arg_4 && 1<=Arg_4 && Arg_7<=0 && 0<=Arg_7 && Arg_4<=Arg_0 && 1+Arg_7<=Arg_4 && Arg_7<=Arg_4 && 1+Arg_7<=Arg_4
87:n_f55___5(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f65___4(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_4-1,Arg_9):|:Arg_7<=0 && Arg_7<=Arg_6 && Arg_6+Arg_7<=0 && 1+Arg_5+Arg_7<=0 && Arg_4+Arg_7<=0 && Arg_7<=Arg_3 && Arg_3+Arg_7<=0 && Arg_7<=Arg_0 && Arg_0+Arg_7<=0 && 0<=Arg_7 && 0<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 1+Arg_5<=Arg_7 && Arg_4<=Arg_7 && 0<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=Arg_7 && Arg_4<=0 && Arg_4<=Arg_7 && Arg_7<=0 && 0<=Arg_7 && Arg_4<=Arg_0 && Arg_4<=Arg_7
88:n_f65___13(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f65___13(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8-1,Arg_9):|:2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 2+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && 0<=1+Arg_8 && 0<=Arg_8
89:n_f65___13(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f75___12(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0):|:2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 2+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && 0<=1+Arg_8 && 1+Arg_8<=0
90:n_f65___14(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f65___13(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8-1,Arg_9):|:1+Arg_8<=Arg_7 && 1+Arg_8<=Arg_6 && 1+Arg_8<=Arg_4 && 1+Arg_8<=Arg_3 && 1+Arg_8<=Arg_0 && 0<=Arg_8 && 1<=Arg_7+Arg_8 && Arg_7<=1+Arg_8 && 1<=Arg_6+Arg_8 && Arg_6<=1+Arg_8 && 0<=1+Arg_5+Arg_8 && 1+Arg_5<=Arg_8 && 1<=Arg_4+Arg_8 && Arg_4<=1+Arg_8 && 1<=Arg_3+Arg_8 && Arg_3<=1+Arg_8 && 1<=Arg_0+Arg_8 && Arg_0<=1+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 0<=Arg_8 && 1<=Arg_4 && Arg_4<=1+Arg_8 && 1+Arg_8<=Arg_4 && Arg_4<=Arg_7 && 0<=Arg_8 && 0<=1+Arg_8 && 0<=Arg_8
91:n_f65___4(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f75___3(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,0):|:1+Arg_8<=0 && 1+Arg_8<=Arg_7 && 1+Arg_7+Arg_8<=0 && 1+Arg_8<=Arg_6 && 1+Arg_6+Arg_8<=0 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 1+Arg_8<=Arg_4 && 1+Arg_4+Arg_8<=0 && 1+Arg_8<=Arg_3 && 1+Arg_3+Arg_8<=0 && 1+Arg_8<=Arg_0 && 1+Arg_0+Arg_8<=0 && Arg_5<=Arg_8 && Arg_4<=1+Arg_8 && Arg_7<=0 && Arg_7<=Arg_6 && Arg_6+Arg_7<=0 && 1+Arg_5+Arg_7<=0 && Arg_4+Arg_7<=0 && Arg_7<=Arg_3 && Arg_3+Arg_7<=0 && Arg_7<=Arg_0 && Arg_0+Arg_7<=0 && 0<=Arg_7 && 0<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 1+Arg_5<=Arg_7 && Arg_4<=Arg_7 && 0<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_8<=0 && Arg_4<=0 && 1+Arg_8<=0 && Arg_4<=1+Arg_8 && 1+Arg_8<=Arg_4 && Arg_4<=Arg_7 && 1+Arg_8<=0
92:n_f75___11(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f75___11(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+1):|:Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && Arg_9<=Arg_0 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && 2<=Arg_6+Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_0+Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 2+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && Arg_9<=Arg_4 && 1+Arg_9<=Arg_4
93:n_f75___11(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f83___10(Arg_4-1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && Arg_9<=Arg_0 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && 2<=Arg_6+Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_0+Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 2+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && Arg_9<=Arg_4 && Arg_4<=Arg_9
94:n_f75___12(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f75___11(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+1):|:Arg_9<=0 && Arg_9<=1+Arg_8 && 1+Arg_8+Arg_9<=0 && 1+Arg_9<=Arg_7 && 1+Arg_9<=Arg_6 && Arg_9<=1+Arg_5 && 1+Arg_5+Arg_9<=0 && 1+Arg_9<=Arg_4 && 1+Arg_9<=Arg_3 && 1+Arg_9<=Arg_0 && 0<=Arg_9 && 0<=1+Arg_8+Arg_9 && 1+Arg_8<=Arg_9 && 1<=Arg_7+Arg_9 && 1<=Arg_6+Arg_9 && 0<=1+Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 1<=Arg_4+Arg_9 && 1<=Arg_3+Arg_9 && 1<=Arg_0+Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 2+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1+Arg_9<=Arg_4 && 1<=Arg_4 && Arg_9<=0 && 0<=Arg_9 && 1+Arg_8<=0 && 1+Arg_9<=Arg_4 && Arg_9<=Arg_4 && 1+Arg_9<=Arg_4
95:n_f75___3(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f83___2(Arg_4-1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=0 && 1+Arg_8+Arg_9<=0 && Arg_9<=Arg_7 && Arg_7+Arg_9<=0 && Arg_9<=Arg_6 && Arg_6+Arg_9<=0 && 1+Arg_5+Arg_9<=0 && Arg_4+Arg_9<=0 && Arg_9<=Arg_3 && Arg_3+Arg_9<=0 && Arg_9<=Arg_0 && Arg_0+Arg_9<=0 && 0<=Arg_9 && 1+Arg_8<=Arg_9 && 0<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 0<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 1+Arg_5<=Arg_9 && Arg_4<=Arg_9 && 0<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_8<=0 && 1+Arg_8<=Arg_7 && 1+Arg_7+Arg_8<=0 && 1+Arg_8<=Arg_6 && 1+Arg_6+Arg_8<=0 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 1+Arg_8<=Arg_4 && 1+Arg_4+Arg_8<=0 && 1+Arg_8<=Arg_3 && 1+Arg_3+Arg_8<=0 && 1+Arg_8<=Arg_0 && 1+Arg_0+Arg_8<=0 && Arg_5<=Arg_8 && Arg_4<=1+Arg_8 && Arg_7<=0 && Arg_7<=Arg_6 && Arg_6+Arg_7<=0 && 1+Arg_5+Arg_7<=0 && Arg_4+Arg_7<=0 && Arg_7<=Arg_3 && Arg_3+Arg_7<=0 && Arg_7<=Arg_0 && Arg_0+Arg_7<=0 && 0<=Arg_7 && 0<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 1+Arg_5<=Arg_7 && Arg_4<=Arg_7 && 0<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_0 && Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=Arg_9 && Arg_4<=Arg_9 && Arg_9<=0 && 0<=Arg_9 && 1+Arg_8<=0 && Arg_4<=Arg_9
96:n_f83___10(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f83___9(Arg_0-1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && Arg_9<=1+Arg_0 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 2<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 1<=Arg_0+Arg_9 && 1+Arg_0<=Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 1+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=1+Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=1+Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 1<=Arg_0+Arg_7 && 1+Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=1+Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=1+Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=1+Arg_0 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_0<=Arg_4 && Arg_4<=1+Arg_0 && 1+Arg_0<=Arg_9 && 0<=Arg_0 && 0<=1+Arg_0 && 0<=Arg_0
97:n_f83___2(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f93___1(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=0 && 1+Arg_8+Arg_9<=0 && Arg_9<=Arg_7 && Arg_7+Arg_9<=0 && Arg_9<=Arg_6 && Arg_6+Arg_9<=0 && 1+Arg_5+Arg_9<=0 && Arg_4+Arg_9<=0 && Arg_9<=Arg_3 && Arg_3+Arg_9<=0 && 1+Arg_0+Arg_9<=0 && 0<=Arg_9 && 1+Arg_8<=Arg_9 && 0<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 0<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 1+Arg_5<=Arg_9 && Arg_4<=Arg_9 && 0<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 1+Arg_0<=Arg_9 && 1+Arg_8<=0 && 1+Arg_8<=Arg_7 && 1+Arg_7+Arg_8<=0 && 1+Arg_8<=Arg_6 && 1+Arg_6+Arg_8<=0 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 1+Arg_8<=Arg_4 && 1+Arg_4+Arg_8<=0 && 1+Arg_8<=Arg_3 && 1+Arg_3+Arg_8<=0 && Arg_8<=Arg_0 && 2+Arg_0+Arg_8<=0 && Arg_5<=Arg_8 && Arg_4<=1+Arg_8 && Arg_0<=Arg_8 && Arg_7<=0 && Arg_7<=Arg_6 && Arg_6+Arg_7<=0 && 1+Arg_5+Arg_7<=0 && Arg_4+Arg_7<=0 && Arg_7<=Arg_3 && Arg_3+Arg_7<=0 && 1+Arg_0+Arg_7<=0 && 0<=Arg_7 && 0<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 1+Arg_5<=Arg_7 && Arg_4<=Arg_7 && 0<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 1+Arg_0<=Arg_7 && Arg_6<=0 && 1+Arg_5+Arg_6<=0 && Arg_4+Arg_6<=0 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && 1+Arg_0+Arg_6<=0 && 0<=Arg_6 && 1+Arg_5<=Arg_6 && Arg_4<=Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 1+Arg_5<=Arg_4 && 1+Arg_4+Arg_5<=0 && 1+Arg_5<=Arg_3 && 1+Arg_3+Arg_5<=0 && Arg_5<=Arg_0 && 2+Arg_0+Arg_5<=0 && Arg_4<=1+Arg_5 && Arg_0<=Arg_5 && Arg_4<=0 && Arg_4<=Arg_3 && Arg_3+Arg_4<=0 && Arg_4<=1+Arg_0 && 1+Arg_0+Arg_4<=0 && 1+Arg_0<=Arg_4 && Arg_3<=0 && 1+Arg_0+Arg_3<=0 && 0<=Arg_3 && 1+Arg_0<=Arg_3 && 1+Arg_0<=0 && 1+Arg_0<=Arg_4 && Arg_4<=1+Arg_0 && 1+Arg_0<=Arg_9 && 1+Arg_0<=0 && 1+Arg_0<=0
98:n_f83___9(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f83___9(Arg_0-1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 2<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 0<=Arg_0+Arg_9 && 2+Arg_0<=Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=2+Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && 2+Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && 2+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=2+Arg_0+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && 2+Arg_0<=Arg_4 && 1<=Arg_3 && 0<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && 0<=1+Arg_0 && 0<=1+Arg_0 && 0<=Arg_0
99:n_f83___9(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f93___8(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 2<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 0<=Arg_0+Arg_9 && 2+Arg_0<=Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=2+Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && 2+Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && 2+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=2+Arg_0+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && 2+Arg_0<=Arg_4 && 1<=Arg_3 && 0<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && 0<=1+Arg_0 && 0<=1+Arg_0 && 1+Arg_0<=0

MPRF for transition 68:n_f17___24(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f17___24(Arg_0,Arg_3+1,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_4 && Arg_3<=Arg_4 && 1+Arg_3<=Arg_4 of depth 1:

new bound:

Arg_4+2 {O(n)}

MPRF:

n_f17___24 [Arg_4+1-Arg_3 ]

MPRF for transition 72:n_f27___21(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f27___21(Arg_0,Arg_3,Arg_4,Arg_5-1,Arg_6,Arg_7,Arg_8,Arg_9):|:2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_4 && 0<=1+Arg_5 && 0<=Arg_5 of depth 1:

new bound:

2*Arg_4+2 {O(n)}

MPRF:

n_f27___21 [Arg_5+1 ]

MPRF for transition 76:n_f37___19(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f37___19(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6+1,Arg_7,Arg_8,Arg_9):|:Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && 2<=Arg_3+Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 1+Arg_5<=Arg_0 && 1+Arg_0+Arg_5<=0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=1+Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && 1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_4 && Arg_6<=Arg_4 && 1+Arg_6<=Arg_4 of depth 1:

new bound:

4*Arg_4+2 {O(n)}

MPRF:

n_f37___19 [Arg_4+1-Arg_6 ]

MPRF for transition 80:n_f45___17(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f45___17(Arg_0+1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && Arg_0<=Arg_4 && 1+Arg_0<=Arg_4 of depth 1:

new bound:

4*Arg_4+6 {O(n)}

MPRF:

n_f45___17 [Arg_6+1-Arg_0 ]

MPRF for transition 84:n_f55___15(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f55___15(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7+1,Arg_8,Arg_9):|:Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && 2<=Arg_3+Arg_7 && 2<=Arg_0+Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && Arg_7<=Arg_4 && 1+Arg_7<=Arg_4 of depth 1:

new bound:

16*Arg_4+2 {O(n)}

MPRF:

n_f55___15 [Arg_4+1-Arg_7 ]

MPRF for transition 88:n_f65___13(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f65___13(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8-1,Arg_9):|:2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 2+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && 0<=1+Arg_8 && 0<=Arg_8 of depth 1:

new bound:

32*Arg_4+2 {O(n)}

MPRF:

n_f65___13 [Arg_8+1 ]

MPRF for transition 92:n_f75___11(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f75___11(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9+1):|:Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && Arg_9<=Arg_0 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && 2<=Arg_6+Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_0+Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && 2+Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && Arg_7<=Arg_0 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 2<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && Arg_6<=Arg_0 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && 2+Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=Arg_0+Arg_5 && Arg_4<=Arg_3 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_0 && 1<=Arg_4 && Arg_9<=Arg_4 && 1+Arg_9<=Arg_4 of depth 1:

new bound:

64*Arg_4+2 {O(n)}

MPRF:

n_f75___11 [Arg_4+1-Arg_9 ]

MPRF for transition 98:n_f83___9(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> n_f83___9(Arg_0-1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_7 && Arg_9<=Arg_6 && Arg_9<=Arg_4 && Arg_9<=Arg_3 && 1<=Arg_9 && 0<=Arg_8+Arg_9 && 2+Arg_8<=Arg_9 && 2<=Arg_7+Arg_9 && Arg_7<=Arg_9 && 2<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 0<=Arg_5+Arg_9 && 2+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_3+Arg_9 && Arg_3<=Arg_9 && 0<=Arg_0+Arg_9 && 2+Arg_0<=Arg_9 && 1+Arg_8<=0 && 2+Arg_8<=Arg_7 && 2+Arg_8<=Arg_6 && Arg_8<=Arg_5 && 2+Arg_5+Arg_8<=0 && 2+Arg_8<=Arg_4 && 2+Arg_8<=Arg_3 && Arg_8<=Arg_0 && 0<=1+Arg_8 && 0<=Arg_7+Arg_8 && 0<=Arg_6+Arg_8 && 0<=2+Arg_5+Arg_8 && Arg_5<=Arg_8 && 0<=Arg_4+Arg_8 && 0<=Arg_3+Arg_8 && 0<=2+Arg_0+Arg_8 && Arg_7<=Arg_6 && Arg_7<=Arg_4 && Arg_7<=Arg_3 && 1<=Arg_7 && 2<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 0<=Arg_5+Arg_7 && 2+Arg_5<=Arg_7 && 2<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 2<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 0<=Arg_0+Arg_7 && 2+Arg_0<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_3 && 1<=Arg_6 && 0<=Arg_5+Arg_6 && 2+Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 2<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_0+Arg_6 && 2+Arg_0<=Arg_6 && 1+Arg_5<=0 && 2+Arg_5<=Arg_4 && 2+Arg_5<=Arg_3 && Arg_5<=Arg_0 && 0<=1+Arg_5 && 0<=Arg_4+Arg_5 && 0<=Arg_3+Arg_5 && 0<=2+Arg_0+Arg_5 && Arg_4<=Arg_3 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && 2+Arg_0<=Arg_4 && 1<=Arg_3 && 0<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && 0<=1+Arg_0 && 0<=1+Arg_0 && 0<=Arg_0 of depth 1:

new bound:

32*Arg_4+66 {O(n)}

MPRF:

n_f83___9 [Arg_0+1 ]

All Bounds

Timebounds

Overall timebound:155*Arg_4+109 {O(n)}
67: n_f0->n_f17___25: 1 {O(1)}
68: n_f17___24->n_f17___24: Arg_4+2 {O(n)}
69: n_f17___24->n_f27___22: 1 {O(1)}
70: n_f17___25->n_f17___24: 1 {O(1)}
71: n_f17___25->n_f27___23: 1 {O(1)}
72: n_f27___21->n_f27___21: 2*Arg_4+2 {O(n)}
73: n_f27___21->n_f37___20: 1 {O(1)}
74: n_f27___22->n_f27___21: 1 {O(1)}
75: n_f27___23->n_f37___7: 1 {O(1)}
76: n_f37___19->n_f37___19: 4*Arg_4+2 {O(n)}
77: n_f37___19->n_f45___18: 1 {O(1)}
78: n_f37___20->n_f37___19: 1 {O(1)}
79: n_f37___7->n_f45___6: 1 {O(1)}
80: n_f45___17->n_f45___17: 4*Arg_4+6 {O(n)}
81: n_f45___17->n_f55___16: 1 {O(1)}
82: n_f45___18->n_f45___17: 1 {O(1)}
83: n_f45___6->n_f55___5: 1 {O(1)}
84: n_f55___15->n_f55___15: 16*Arg_4+2 {O(n)}
85: n_f55___15->n_f65___14: 1 {O(1)}
86: n_f55___16->n_f55___15: 1 {O(1)}
87: n_f55___5->n_f65___4: 1 {O(1)}
88: n_f65___13->n_f65___13: 32*Arg_4+2 {O(n)}
89: n_f65___13->n_f75___12: 1 {O(1)}
90: n_f65___14->n_f65___13: 1 {O(1)}
91: n_f65___4->n_f75___3: 1 {O(1)}
92: n_f75___11->n_f75___11: 64*Arg_4+2 {O(n)}
93: n_f75___11->n_f83___10: 1 {O(1)}
94: n_f75___12->n_f75___11: 1 {O(1)}
95: n_f75___3->n_f83___2: 1 {O(1)}
96: n_f83___10->n_f83___9: 1 {O(1)}
97: n_f83___2->n_f93___1: 1 {O(1)}
98: n_f83___9->n_f83___9: 32*Arg_4+66 {O(n)}
99: n_f83___9->n_f93___8: 1 {O(1)}

Costbounds

Overall costbound: 155*Arg_4+109 {O(n)}
67: n_f0->n_f17___25: 1 {O(1)}
68: n_f17___24->n_f17___24: Arg_4+2 {O(n)}
69: n_f17___24->n_f27___22: 1 {O(1)}
70: n_f17___25->n_f17___24: 1 {O(1)}
71: n_f17___25->n_f27___23: 1 {O(1)}
72: n_f27___21->n_f27___21: 2*Arg_4+2 {O(n)}
73: n_f27___21->n_f37___20: 1 {O(1)}
74: n_f27___22->n_f27___21: 1 {O(1)}
75: n_f27___23->n_f37___7: 1 {O(1)}
76: n_f37___19->n_f37___19: 4*Arg_4+2 {O(n)}
77: n_f37___19->n_f45___18: 1 {O(1)}
78: n_f37___20->n_f37___19: 1 {O(1)}
79: n_f37___7->n_f45___6: 1 {O(1)}
80: n_f45___17->n_f45___17: 4*Arg_4+6 {O(n)}
81: n_f45___17->n_f55___16: 1 {O(1)}
82: n_f45___18->n_f45___17: 1 {O(1)}
83: n_f45___6->n_f55___5: 1 {O(1)}
84: n_f55___15->n_f55___15: 16*Arg_4+2 {O(n)}
85: n_f55___15->n_f65___14: 1 {O(1)}
86: n_f55___16->n_f55___15: 1 {O(1)}
87: n_f55___5->n_f65___4: 1 {O(1)}
88: n_f65___13->n_f65___13: 32*Arg_4+2 {O(n)}
89: n_f65___13->n_f75___12: 1 {O(1)}
90: n_f65___14->n_f65___13: 1 {O(1)}
91: n_f65___4->n_f75___3: 1 {O(1)}
92: n_f75___11->n_f75___11: 64*Arg_4+2 {O(n)}
93: n_f75___11->n_f83___10: 1 {O(1)}
94: n_f75___12->n_f75___11: 1 {O(1)}
95: n_f75___3->n_f83___2: 1 {O(1)}
96: n_f83___10->n_f83___9: 1 {O(1)}
97: n_f83___2->n_f93___1: 1 {O(1)}
98: n_f83___9->n_f83___9: 32*Arg_4+66 {O(n)}
99: n_f83___9->n_f93___8: 1 {O(1)}

Sizebounds

67: n_f0->n_f17___25, Arg_0: 0 {O(1)}
67: n_f0->n_f17___25, Arg_3: 0 {O(1)}
67: n_f0->n_f17___25, Arg_4: Arg_4 {O(n)}
67: n_f0->n_f17___25, Arg_5: Arg_5 {O(n)}
67: n_f0->n_f17___25, Arg_6: Arg_6 {O(n)}
67: n_f0->n_f17___25, Arg_7: Arg_7 {O(n)}
67: n_f0->n_f17___25, Arg_8: Arg_8 {O(n)}
67: n_f0->n_f17___25, Arg_9: Arg_9 {O(n)}
68: n_f17___24->n_f17___24, Arg_0: 0 {O(1)}
68: n_f17___24->n_f17___24, Arg_3: Arg_4+3 {O(n)}
68: n_f17___24->n_f17___24, Arg_4: Arg_4 {O(n)}
68: n_f17___24->n_f17___24, Arg_5: Arg_5 {O(n)}
68: n_f17___24->n_f17___24, Arg_6: Arg_6 {O(n)}
68: n_f17___24->n_f17___24, Arg_7: Arg_7 {O(n)}
68: n_f17___24->n_f17___24, Arg_8: Arg_8 {O(n)}
68: n_f17___24->n_f17___24, Arg_9: Arg_9 {O(n)}
69: n_f17___24->n_f27___22, Arg_0: 0 {O(1)}
69: n_f17___24->n_f27___22, Arg_3: Arg_4+4 {O(n)}
69: n_f17___24->n_f27___22, Arg_4: 2*Arg_4 {O(n)}
69: n_f17___24->n_f27___22, Arg_5: 2*Arg_4 {O(n)}
69: n_f17___24->n_f27___22, Arg_6: 2*Arg_6 {O(n)}
69: n_f17___24->n_f27___22, Arg_7: 2*Arg_7 {O(n)}
69: n_f17___24->n_f27___22, Arg_8: 2*Arg_8 {O(n)}
69: n_f17___24->n_f27___22, Arg_9: 2*Arg_9 {O(n)}
70: n_f17___25->n_f17___24, Arg_0: 0 {O(1)}
70: n_f17___25->n_f17___24, Arg_3: 1 {O(1)}
70: n_f17___25->n_f17___24, Arg_4: Arg_4 {O(n)}
70: n_f17___25->n_f17___24, Arg_5: Arg_5 {O(n)}
70: n_f17___25->n_f17___24, Arg_6: Arg_6 {O(n)}
70: n_f17___25->n_f17___24, Arg_7: Arg_7 {O(n)}
70: n_f17___25->n_f17___24, Arg_8: Arg_8 {O(n)}
70: n_f17___25->n_f17___24, Arg_9: Arg_9 {O(n)}
71: n_f17___25->n_f27___23, Arg_0: 0 {O(1)}
71: n_f17___25->n_f27___23, Arg_3: 0 {O(1)}
71: n_f17___25->n_f27___23, Arg_4: Arg_4 {O(n)}
71: n_f17___25->n_f27___23, Arg_5: Arg_4+1 {O(n)}
71: n_f17___25->n_f27___23, Arg_6: Arg_6 {O(n)}
71: n_f17___25->n_f27___23, Arg_7: Arg_7 {O(n)}
71: n_f17___25->n_f27___23, Arg_8: Arg_8 {O(n)}
71: n_f17___25->n_f27___23, Arg_9: Arg_9 {O(n)}
72: n_f27___21->n_f27___21, Arg_0: 0 {O(1)}
72: n_f27___21->n_f27___21, Arg_3: Arg_4+4 {O(n)}
72: n_f27___21->n_f27___21, Arg_4: 2*Arg_4 {O(n)}
72: n_f27___21->n_f27___21, Arg_5: 2*Arg_4+2 {O(n)}
72: n_f27___21->n_f27___21, Arg_6: 2*Arg_6 {O(n)}
72: n_f27___21->n_f27___21, Arg_7: 2*Arg_7 {O(n)}
72: n_f27___21->n_f27___21, Arg_8: 2*Arg_8 {O(n)}
72: n_f27___21->n_f27___21, Arg_9: 2*Arg_9 {O(n)}
73: n_f27___21->n_f37___20, Arg_0: 0 {O(1)}
73: n_f27___21->n_f37___20, Arg_3: 2*Arg_4+8 {O(n)}
73: n_f27___21->n_f37___20, Arg_4: 4*Arg_4 {O(n)}
73: n_f27___21->n_f37___20, Arg_5: 1 {O(1)}
73: n_f27___21->n_f37___20, Arg_6: 0 {O(1)}
73: n_f27___21->n_f37___20, Arg_7: 4*Arg_7 {O(n)}
73: n_f27___21->n_f37___20, Arg_8: 4*Arg_8 {O(n)}
73: n_f27___21->n_f37___20, Arg_9: 4*Arg_9 {O(n)}
74: n_f27___22->n_f27___21, Arg_0: 0 {O(1)}
74: n_f27___22->n_f27___21, Arg_3: Arg_4+4 {O(n)}
74: n_f27___22->n_f27___21, Arg_4: 2*Arg_4 {O(n)}
74: n_f27___22->n_f27___21, Arg_5: 2*Arg_4+1 {O(n)}
74: n_f27___22->n_f27___21, Arg_6: 2*Arg_6 {O(n)}
74: n_f27___22->n_f27___21, Arg_7: 2*Arg_7 {O(n)}
74: n_f27___22->n_f27___21, Arg_8: 2*Arg_8 {O(n)}
74: n_f27___22->n_f27___21, Arg_9: 2*Arg_9 {O(n)}
75: n_f27___23->n_f37___7, Arg_0: 0 {O(1)}
75: n_f27___23->n_f37___7, Arg_3: 0 {O(1)}
75: n_f27___23->n_f37___7, Arg_4: Arg_4 {O(n)}
75: n_f27___23->n_f37___7, Arg_5: Arg_4+1 {O(n)}
75: n_f27___23->n_f37___7, Arg_6: 0 {O(1)}
75: n_f27___23->n_f37___7, Arg_7: Arg_7 {O(n)}
75: n_f27___23->n_f37___7, Arg_8: Arg_8 {O(n)}
75: n_f27___23->n_f37___7, Arg_9: Arg_9 {O(n)}
76: n_f37___19->n_f37___19, Arg_0: 0 {O(1)}
76: n_f37___19->n_f37___19, Arg_3: 2*Arg_4+8 {O(n)}
76: n_f37___19->n_f37___19, Arg_4: 4*Arg_4 {O(n)}
76: n_f37___19->n_f37___19, Arg_5: 1 {O(1)}
76: n_f37___19->n_f37___19, Arg_6: 4*Arg_4+3 {O(n)}
76: n_f37___19->n_f37___19, Arg_7: 4*Arg_7 {O(n)}
76: n_f37___19->n_f37___19, Arg_8: 4*Arg_8 {O(n)}
76: n_f37___19->n_f37___19, Arg_9: 4*Arg_9 {O(n)}
77: n_f37___19->n_f45___18, Arg_0: 0 {O(1)}
77: n_f37___19->n_f45___18, Arg_3: 4*Arg_4+16 {O(n)}
77: n_f37___19->n_f45___18, Arg_4: 8*Arg_4 {O(n)}
77: n_f37___19->n_f45___18, Arg_5: 1 {O(1)}
77: n_f37___19->n_f45___18, Arg_6: 4*Arg_4+4 {O(n)}
77: n_f37___19->n_f45___18, Arg_7: 8*Arg_7 {O(n)}
77: n_f37___19->n_f45___18, Arg_8: 8*Arg_8 {O(n)}
77: n_f37___19->n_f45___18, Arg_9: 8*Arg_9 {O(n)}
78: n_f37___20->n_f37___19, Arg_0: 0 {O(1)}
78: n_f37___20->n_f37___19, Arg_3: 2*Arg_4+8 {O(n)}
78: n_f37___20->n_f37___19, Arg_4: 4*Arg_4 {O(n)}
78: n_f37___20->n_f37___19, Arg_5: 1 {O(1)}
78: n_f37___20->n_f37___19, Arg_6: 1 {O(1)}
78: n_f37___20->n_f37___19, Arg_7: 4*Arg_7 {O(n)}
78: n_f37___20->n_f37___19, Arg_8: 4*Arg_8 {O(n)}
78: n_f37___20->n_f37___19, Arg_9: 4*Arg_9 {O(n)}
79: n_f37___7->n_f45___6, Arg_0: 0 {O(1)}
79: n_f37___7->n_f45___6, Arg_3: 0 {O(1)}
79: n_f37___7->n_f45___6, Arg_4: Arg_4 {O(n)}
79: n_f37___7->n_f45___6, Arg_5: Arg_4+1 {O(n)}
79: n_f37___7->n_f45___6, Arg_6: 0 {O(1)}
79: n_f37___7->n_f45___6, Arg_7: Arg_7 {O(n)}
79: n_f37___7->n_f45___6, Arg_8: Arg_8 {O(n)}
79: n_f37___7->n_f45___6, Arg_9: Arg_9 {O(n)}
80: n_f45___17->n_f45___17, Arg_0: 4*Arg_4+7 {O(n)}
80: n_f45___17->n_f45___17, Arg_3: 4*Arg_4+16 {O(n)}
80: n_f45___17->n_f45___17, Arg_4: 8*Arg_4 {O(n)}
80: n_f45___17->n_f45___17, Arg_5: 1 {O(1)}
80: n_f45___17->n_f45___17, Arg_6: 4*Arg_4+4 {O(n)}
80: n_f45___17->n_f45___17, Arg_7: 8*Arg_7 {O(n)}
80: n_f45___17->n_f45___17, Arg_8: 8*Arg_8 {O(n)}
80: n_f45___17->n_f45___17, Arg_9: 8*Arg_9 {O(n)}
81: n_f45___17->n_f55___16, Arg_0: 4*Arg_4+8 {O(n)}
81: n_f45___17->n_f55___16, Arg_3: 8*Arg_4+32 {O(n)}
81: n_f45___17->n_f55___16, Arg_4: 16*Arg_4 {O(n)}
81: n_f45___17->n_f55___16, Arg_5: 1 {O(1)}
81: n_f45___17->n_f55___16, Arg_6: 8*Arg_4+8 {O(n)}
81: n_f45___17->n_f55___16, Arg_7: 0 {O(1)}
81: n_f45___17->n_f55___16, Arg_8: 16*Arg_8 {O(n)}
81: n_f45___17->n_f55___16, Arg_9: 16*Arg_9 {O(n)}
82: n_f45___18->n_f45___17, Arg_0: 1 {O(1)}
82: n_f45___18->n_f45___17, Arg_3: 4*Arg_4+16 {O(n)}
82: n_f45___18->n_f45___17, Arg_4: 8*Arg_4 {O(n)}
82: n_f45___18->n_f45___17, Arg_5: 1 {O(1)}
82: n_f45___18->n_f45___17, Arg_6: 4*Arg_4+4 {O(n)}
82: n_f45___18->n_f45___17, Arg_7: 8*Arg_7 {O(n)}
82: n_f45___18->n_f45___17, Arg_8: 8*Arg_8 {O(n)}
82: n_f45___18->n_f45___17, Arg_9: 8*Arg_9 {O(n)}
83: n_f45___6->n_f55___5, Arg_0: 0 {O(1)}
83: n_f45___6->n_f55___5, Arg_3: 0 {O(1)}
83: n_f45___6->n_f55___5, Arg_4: Arg_4 {O(n)}
83: n_f45___6->n_f55___5, Arg_5: Arg_4+1 {O(n)}
83: n_f45___6->n_f55___5, Arg_6: 0 {O(1)}
83: n_f45___6->n_f55___5, Arg_7: 0 {O(1)}
83: n_f45___6->n_f55___5, Arg_8: Arg_8 {O(n)}
83: n_f45___6->n_f55___5, Arg_9: Arg_9 {O(n)}
84: n_f55___15->n_f55___15, Arg_0: 4*Arg_4+8 {O(n)}
84: n_f55___15->n_f55___15, Arg_3: 8*Arg_4+32 {O(n)}
84: n_f55___15->n_f55___15, Arg_4: 16*Arg_4 {O(n)}
84: n_f55___15->n_f55___15, Arg_5: 1 {O(1)}
84: n_f55___15->n_f55___15, Arg_6: 8*Arg_4+8 {O(n)}
84: n_f55___15->n_f55___15, Arg_7: 16*Arg_4+3 {O(n)}
84: n_f55___15->n_f55___15, Arg_8: 16*Arg_8 {O(n)}
84: n_f55___15->n_f55___15, Arg_9: 16*Arg_9 {O(n)}
85: n_f55___15->n_f65___14, Arg_0: 8*Arg_4+16 {O(n)}
85: n_f55___15->n_f65___14, Arg_3: 16*Arg_4+64 {O(n)}
85: n_f55___15->n_f65___14, Arg_4: 32*Arg_4 {O(n)}
85: n_f55___15->n_f65___14, Arg_5: 1 {O(1)}
85: n_f55___15->n_f65___14, Arg_6: 16*Arg_4+16 {O(n)}
85: n_f55___15->n_f65___14, Arg_7: 16*Arg_4+4 {O(n)}
85: n_f55___15->n_f65___14, Arg_8: 32*Arg_4 {O(n)}
85: n_f55___15->n_f65___14, Arg_9: 32*Arg_9 {O(n)}
86: n_f55___16->n_f55___15, Arg_0: 4*Arg_4+8 {O(n)}
86: n_f55___16->n_f55___15, Arg_3: 8*Arg_4+32 {O(n)}
86: n_f55___16->n_f55___15, Arg_4: 16*Arg_4 {O(n)}
86: n_f55___16->n_f55___15, Arg_5: 1 {O(1)}
86: n_f55___16->n_f55___15, Arg_6: 8*Arg_4+8 {O(n)}
86: n_f55___16->n_f55___15, Arg_7: 1 {O(1)}
86: n_f55___16->n_f55___15, Arg_8: 16*Arg_8 {O(n)}
86: n_f55___16->n_f55___15, Arg_9: 16*Arg_9 {O(n)}
87: n_f55___5->n_f65___4, Arg_0: 0 {O(1)}
87: n_f55___5->n_f65___4, Arg_3: 0 {O(1)}
87: n_f55___5->n_f65___4, Arg_4: Arg_4 {O(n)}
87: n_f55___5->n_f65___4, Arg_5: Arg_4+1 {O(n)}
87: n_f55___5->n_f65___4, Arg_6: 0 {O(1)}
87: n_f55___5->n_f65___4, Arg_7: 0 {O(1)}
87: n_f55___5->n_f65___4, Arg_8: Arg_4+1 {O(n)}
87: n_f55___5->n_f65___4, Arg_9: Arg_9 {O(n)}
88: n_f65___13->n_f65___13, Arg_0: 8*Arg_4+16 {O(n)}
88: n_f65___13->n_f65___13, Arg_3: 16*Arg_4+64 {O(n)}
88: n_f65___13->n_f65___13, Arg_4: 32*Arg_4 {O(n)}
88: n_f65___13->n_f65___13, Arg_5: 1 {O(1)}
88: n_f65___13->n_f65___13, Arg_6: 16*Arg_4+16 {O(n)}
88: n_f65___13->n_f65___13, Arg_7: 16*Arg_4+4 {O(n)}
88: n_f65___13->n_f65___13, Arg_8: 32*Arg_4+2 {O(n)}
88: n_f65___13->n_f65___13, Arg_9: 32*Arg_9 {O(n)}
89: n_f65___13->n_f75___12, Arg_0: 16*Arg_4+32 {O(n)}
89: n_f65___13->n_f75___12, Arg_3: 32*Arg_4+128 {O(n)}
89: n_f65___13->n_f75___12, Arg_4: 64*Arg_4 {O(n)}
89: n_f65___13->n_f75___12, Arg_5: 1 {O(1)}
89: n_f65___13->n_f75___12, Arg_6: 32*Arg_4+32 {O(n)}
89: n_f65___13->n_f75___12, Arg_7: 32*Arg_4+8 {O(n)}
89: n_f65___13->n_f75___12, Arg_8: 1 {O(1)}
89: n_f65___13->n_f75___12, Arg_9: 0 {O(1)}
90: n_f65___14->n_f65___13, Arg_0: 8*Arg_4+16 {O(n)}
90: n_f65___14->n_f65___13, Arg_3: 16*Arg_4+64 {O(n)}
90: n_f65___14->n_f65___13, Arg_4: 32*Arg_4 {O(n)}
90: n_f65___14->n_f65___13, Arg_5: 1 {O(1)}
90: n_f65___14->n_f65___13, Arg_6: 16*Arg_4+16 {O(n)}
90: n_f65___14->n_f65___13, Arg_7: 16*Arg_4+4 {O(n)}
90: n_f65___14->n_f65___13, Arg_8: 32*Arg_4+1 {O(n)}
90: n_f65___14->n_f65___13, Arg_9: 32*Arg_9 {O(n)}
91: n_f65___4->n_f75___3, Arg_0: 0 {O(1)}
91: n_f65___4->n_f75___3, Arg_3: 0 {O(1)}
91: n_f65___4->n_f75___3, Arg_4: Arg_4 {O(n)}
91: n_f65___4->n_f75___3, Arg_5: Arg_4+1 {O(n)}
91: n_f65___4->n_f75___3, Arg_6: 0 {O(1)}
91: n_f65___4->n_f75___3, Arg_7: 0 {O(1)}
91: n_f65___4->n_f75___3, Arg_8: Arg_4+1 {O(n)}
91: n_f65___4->n_f75___3, Arg_9: 0 {O(1)}
92: n_f75___11->n_f75___11, Arg_0: 16*Arg_4+32 {O(n)}
92: n_f75___11->n_f75___11, Arg_3: 32*Arg_4+128 {O(n)}
92: n_f75___11->n_f75___11, Arg_4: 64*Arg_4 {O(n)}
92: n_f75___11->n_f75___11, Arg_5: 1 {O(1)}
92: n_f75___11->n_f75___11, Arg_6: 32*Arg_4+32 {O(n)}
92: n_f75___11->n_f75___11, Arg_7: 32*Arg_4+8 {O(n)}
92: n_f75___11->n_f75___11, Arg_8: 1 {O(1)}
92: n_f75___11->n_f75___11, Arg_9: 64*Arg_4+3 {O(n)}
93: n_f75___11->n_f83___10, Arg_0: 32*Arg_4+64 {O(n)}
93: n_f75___11->n_f83___10, Arg_3: 64*Arg_4+256 {O(n)}
93: n_f75___11->n_f83___10, Arg_4: 128*Arg_4 {O(n)}
93: n_f75___11->n_f83___10, Arg_5: 1 {O(1)}
93: n_f75___11->n_f83___10, Arg_6: 64*Arg_4+64 {O(n)}
93: n_f75___11->n_f83___10, Arg_7: 64*Arg_4+16 {O(n)}
93: n_f75___11->n_f83___10, Arg_8: 1 {O(1)}
93: n_f75___11->n_f83___10, Arg_9: 64*Arg_4+4 {O(n)}
94: n_f75___12->n_f75___11, Arg_0: 16*Arg_4+32 {O(n)}
94: n_f75___12->n_f75___11, Arg_3: 32*Arg_4+128 {O(n)}
94: n_f75___12->n_f75___11, Arg_4: 64*Arg_4 {O(n)}
94: n_f75___12->n_f75___11, Arg_5: 1 {O(1)}
94: n_f75___12->n_f75___11, Arg_6: 32*Arg_4+32 {O(n)}
94: n_f75___12->n_f75___11, Arg_7: 32*Arg_4+8 {O(n)}
94: n_f75___12->n_f75___11, Arg_8: 1 {O(1)}
94: n_f75___12->n_f75___11, Arg_9: 1 {O(1)}
95: n_f75___3->n_f83___2, Arg_0: Arg_4+1 {O(n)}
95: n_f75___3->n_f83___2, Arg_3: 0 {O(1)}
95: n_f75___3->n_f83___2, Arg_4: Arg_4 {O(n)}
95: n_f75___3->n_f83___2, Arg_5: Arg_4+1 {O(n)}
95: n_f75___3->n_f83___2, Arg_6: 0 {O(1)}
95: n_f75___3->n_f83___2, Arg_7: 0 {O(1)}
95: n_f75___3->n_f83___2, Arg_8: Arg_4+1 {O(n)}
95: n_f75___3->n_f83___2, Arg_9: 0 {O(1)}
96: n_f83___10->n_f83___9, Arg_0: 32*Arg_4+65 {O(n)}
96: n_f83___10->n_f83___9, Arg_3: 64*Arg_4+256 {O(n)}
96: n_f83___10->n_f83___9, Arg_4: 128*Arg_4 {O(n)}
96: n_f83___10->n_f83___9, Arg_5: 1 {O(1)}
96: n_f83___10->n_f83___9, Arg_6: 64*Arg_4+64 {O(n)}
96: n_f83___10->n_f83___9, Arg_7: 64*Arg_4+16 {O(n)}
96: n_f83___10->n_f83___9, Arg_8: 1 {O(1)}
96: n_f83___10->n_f83___9, Arg_9: 64*Arg_4+4 {O(n)}
97: n_f83___2->n_f93___1, Arg_0: Arg_4+1 {O(n)}
97: n_f83___2->n_f93___1, Arg_3: 0 {O(1)}
97: n_f83___2->n_f93___1, Arg_4: Arg_4 {O(n)}
97: n_f83___2->n_f93___1, Arg_5: Arg_4+1 {O(n)}
97: n_f83___2->n_f93___1, Arg_6: 0 {O(1)}
97: n_f83___2->n_f93___1, Arg_7: 0 {O(1)}
97: n_f83___2->n_f93___1, Arg_8: Arg_4+1 {O(n)}
97: n_f83___2->n_f93___1, Arg_9: 0 {O(1)}
98: n_f83___9->n_f83___9, Arg_0: 32*Arg_4+66 {O(n)}
98: n_f83___9->n_f83___9, Arg_3: 64*Arg_4+256 {O(n)}
98: n_f83___9->n_f83___9, Arg_4: 128*Arg_4 {O(n)}
98: n_f83___9->n_f83___9, Arg_5: 1 {O(1)}
98: n_f83___9->n_f83___9, Arg_6: 64*Arg_4+64 {O(n)}
98: n_f83___9->n_f83___9, Arg_7: 64*Arg_4+16 {O(n)}
98: n_f83___9->n_f83___9, Arg_8: 1 {O(1)}
98: n_f83___9->n_f83___9, Arg_9: 64*Arg_4+4 {O(n)}
99: n_f83___9->n_f93___8, Arg_0: 1 {O(1)}
99: n_f83___9->n_f93___8, Arg_3: 128*Arg_4+512 {O(n)}
99: n_f83___9->n_f93___8, Arg_4: 256*Arg_4 {O(n)}
99: n_f83___9->n_f93___8, Arg_5: 1 {O(1)}
99: n_f83___9->n_f93___8, Arg_6: 128*Arg_4+128 {O(n)}
99: n_f83___9->n_f93___8, Arg_7: 128*Arg_4+32 {O(n)}
99: n_f83___9->n_f93___8, Arg_8: 1 {O(1)}
99: n_f83___9->n_f93___8, Arg_9: 128*Arg_4+8 {O(n)}