Initial Problem
Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6
Temp_Vars: C_P, E_P, F_P, G_P
Locations: n_f0, n_f10___11, n_f10___15, n_f10___16, n_f10___18, n_f10___2, n_f10___21, n_f10___3, n_f10___7, n_f10___8, n_f21___10, n_f21___12, n_f21___13, n_f21___19, n_f21___20, n_f21___6, n_f31___1, n_f31___14, n_f31___17, n_f31___4, n_f31___5, n_f31___9
Transitions:
0:n_f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___21(1,1,C_P,0,2,1,Arg_6):|:0<=C_P
1:n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___10(Arg_0+1,Arg_0+1,C_P,Arg_3,E_P,Arg_5,G_P):|:Arg_2<=0 && Arg_5<=Arg_4 && Arg_6<=0 && G_P<=1 && 0<=G_P && Arg_1<=0 && Arg_2<=0 && 0<=C_P && Arg_5<=E_P && 1<=Arg_5 && Arg_4<=E_P && E_P<=Arg_4
2:n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_2<=0 && Arg_5<=Arg_4 && Arg_6<=0 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
3:n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_2<=0 && Arg_5<=Arg_4 && Arg_6<=0 && Arg_5<=Arg_4 && Arg_5<=0
4:n_f10___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___12(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:Arg_5<=Arg_4 && 1<=Arg_5 && 1<=Arg_1 && 1<=Arg_6 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
5:n_f10___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_5<=Arg_4 && 1<=Arg_5 && 1<=Arg_1 && 1<=Arg_6 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
6:n_f10___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_5<=Arg_4 && 1<=Arg_1 && Arg_6<=0 && Arg_5<=Arg_4 && Arg_5<=0 && Arg_5<=Arg_4 && Arg_5<=0
7:n_f10___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_2<=0 && Arg_5<=Arg_4 && Arg_1<=0 && Arg_6<=0 && Arg_5<=Arg_4 && Arg_5<=0 && Arg_5<=Arg_4 && Arg_5<=0
8:n_f10___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___12(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:1<=Arg_5 && 1<=Arg_1 && 1<=Arg_6 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
9:n_f10___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:1<=Arg_5 && 1<=Arg_1 && 1<=Arg_6 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
10:n_f10___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:1<=Arg_5 && 1<=Arg_1 && 1<=Arg_6 && 1+Arg_4<=Arg_5
11:n_f10___21(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___19(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:Arg_5<=Arg_4 && 1<=Arg_5 && 1<=Arg_1 && Arg_4<=2 && 2<=Arg_4 && Arg_0<=1 && 1<=Arg_0 && Arg_1<=1 && 1<=Arg_1 && Arg_5<=1 && 1<=Arg_5 && Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
12:n_f10___21(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___20(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_5<=Arg_4 && 1<=Arg_5 && 1<=Arg_1 && Arg_4<=2 && 2<=Arg_4 && Arg_0<=1 && 1<=Arg_0 && Arg_1<=1 && 1<=Arg_1 && Arg_5<=1 && 1<=Arg_5 && Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
13:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___12(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:Arg_5<=Arg_4 && 1<=Arg_1 && Arg_6<=0 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
14:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_5<=Arg_4 && 1<=Arg_1 && Arg_6<=0 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
15:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_5<=Arg_4 && 1<=Arg_1 && Arg_6<=0 && Arg_5<=Arg_4 && Arg_5<=0
16:n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___10(Arg_0+1,Arg_0+1,C_P,Arg_3,E_P,Arg_5,G_P):|:1<=Arg_5 && 1<=Arg_6 && G_P<=1 && 0<=G_P && Arg_1<=0 && Arg_2<=0 && 0<=C_P && Arg_5<=E_P && 1<=Arg_5 && Arg_4<=E_P && E_P<=Arg_4
17:n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:1<=Arg_5 && 1<=Arg_6 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
18:n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___6(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:1<=Arg_5 && 1<=Arg_6 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
19:n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:1<=Arg_5 && 1<=Arg_6 && 1+Arg_4<=Arg_5
20:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___10(Arg_0+1,Arg_0+1,C_P,Arg_3,E_P,Arg_5,G_P):|:Arg_5<=Arg_4 && Arg_6<=0 && G_P<=1 && 0<=G_P && Arg_1<=0 && Arg_2<=0 && 0<=C_P && Arg_5<=E_P && 1<=Arg_5 && Arg_4<=E_P && E_P<=Arg_4
21:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_5<=Arg_4 && Arg_6<=0 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
22:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___6(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:Arg_5<=Arg_4 && Arg_6<=0 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
23:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_5<=Arg_4 && Arg_6<=0 && Arg_5<=Arg_4 && Arg_5<=0
24:n_f21___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && 0<=Arg_2 && Arg_5<=Arg_4 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && 1<=Arg_6
25:n_f21___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && 0<=Arg_2 && Arg_5<=Arg_4 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_6<=0
26:n_f21___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && 0<=Arg_2 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_6
27:n_f21___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && 0<=Arg_2 && 1<=Arg_1 && Arg_5<=Arg_4 && Arg_6<=0
28:n_f21___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_2<=0 && Arg_5<=Arg_4 && 1<=Arg_5 && 0<=Arg_1 && Arg_6<=0 && 0<=Arg_6 && Arg_6<=0
29:n_f21___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=1 && 0<=Arg_6 && 0<=Arg_2 && Arg_3<=0 && 0<=Arg_3 && Arg_5<=1 && 1<=Arg_5 && Arg_1<=1 && 1<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_4<=2 && 2<=Arg_4 && 1<=Arg_6
30:n_f21___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=1 && 0<=Arg_6 && 0<=Arg_2 && Arg_3<=0 && 0<=Arg_3 && Arg_5<=1 && 1<=Arg_5 && Arg_1<=1 && 1<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_4<=2 && 2<=Arg_4 && Arg_6<=0
31:n_f21___20(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_5<=1 && 1<=Arg_5 && Arg_4<=2 && 2<=Arg_4 && Arg_3<=0 && 0<=Arg_3 && Arg_2<=0 && 0<=Arg_2 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_6<=0 && 0<=Arg_6 && Arg_6<=0
32:n_f21___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && Arg_5<=Arg_4 && 0<=Arg_2 && 1<=Arg_6
33:n_f21___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && Arg_5<=Arg_4 && 0<=Arg_2 && Arg_6<=0
Preprocessing
Found invariant Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=0 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 1+Arg_6<=Arg_1 && Arg_1+Arg_6<=1 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 2+Arg_5<=Arg_4 && Arg_4+Arg_5<=2 && Arg_5<=Arg_3 && Arg_3+Arg_5<=0 && Arg_5<=Arg_2 && 1+Arg_5<=Arg_1 && Arg_1+Arg_5<=1 && 1+Arg_5<=Arg_0 && Arg_0+Arg_5<=1 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 1<=Arg_1+Arg_5 && Arg_1<=1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f10___16
Found invariant Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=0 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && Arg_1+Arg_6<=0 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 2+Arg_5<=Arg_4 && Arg_4+Arg_5<=2 && Arg_5<=Arg_3 && Arg_3+Arg_5<=0 && Arg_5<=Arg_2 && Arg_2+Arg_5<=0 && Arg_5<=Arg_1 && Arg_1+Arg_5<=0 && 1+Arg_5<=Arg_0 && Arg_0+Arg_5<=1 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 0<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 1<=Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_1+Arg_4<=2 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 2+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=0 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=1 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && Arg_0<=1+Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f10___18
Found invariant Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=0 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 2+Arg_6<=Arg_1 && 2+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=0 && 2+Arg_5<=Arg_4 && Arg_4+Arg_5<=2 && Arg_5<=Arg_3 && Arg_3+Arg_5<=0 && Arg_5<=Arg_2 && 2+Arg_5<=Arg_1 && 2+Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && 2<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 for location n_f31___5
Found invariant Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && 1+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 3<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 for location n_f21___10
Found invariant Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_5<=Arg_1 && Arg_5<=Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 3<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 for location n_f21___6
Found invariant Arg_6<=0 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_2+Arg_5<=2 && Arg_5<=2+Arg_1 && Arg_5<=1+Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 1+Arg_2<=Arg_5 && 1<=Arg_1+Arg_5 && 2<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_4<=1+Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 3<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 for location n_f21___13
Found invariant Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=2+Arg_1 && Arg_1+Arg_5<=4 && Arg_5<=2+Arg_0 && Arg_0+Arg_5<=4 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 1+Arg_1<=Arg_5 && 3<=Arg_0+Arg_5 && 1+Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f10___2
Found invariant Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 3<=Arg_1+Arg_6 && 3<=Arg_0+Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=1+Arg_1 && Arg_5<=1+Arg_0 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 4<=Arg_1+Arg_5 && 4<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 for location n_f10___7
Found invariant Arg_6<=0 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && Arg_1+Arg_6<=0 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_2+Arg_5<=1 && Arg_5<=1+Arg_1 && Arg_1+Arg_5<=1 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 1+Arg_2<=Arg_5 && 1<=Arg_1+Arg_5 && 1+Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_1+Arg_4<=2 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 2+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=0 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=1 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && Arg_0<=1+Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f21___20
Found invariant Arg_6<=1 && 2+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 1<=Arg_6 && 4<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 3<=Arg_1+Arg_6 && 3<=Arg_0+Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=1+Arg_1 && Arg_5<=1+Arg_0 && 3<=Arg_5 && 5<=Arg_4+Arg_5 && 1+Arg_4<=Arg_5 && 3<=Arg_3+Arg_5 && 3+Arg_3<=Arg_5 && 3<=Arg_2+Arg_5 && 5<=Arg_1+Arg_5 && 5<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 for location n_f31___4
Found invariant Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=0 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_5<=0 && 2+Arg_5<=Arg_4 && Arg_4+Arg_5<=2 && Arg_5<=Arg_3 && Arg_3+Arg_5<=0 && Arg_5<=Arg_2 && Arg_2+Arg_5<=0 && Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 0<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_4<=1+Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 3<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 for location n_f31___9
Found invariant Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_5<=1+Arg_1 && Arg_1+Arg_5<=3 && Arg_5<=1+Arg_0 && Arg_0+Arg_5<=3 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 1+Arg_1<=Arg_5 && 3<=Arg_0+Arg_5 && 1+Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f10___15
Found invariant Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_5<=Arg_1 && Arg_1+Arg_5<=2 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f21___19
Found invariant Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=0 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 1+Arg_6<=Arg_1 && Arg_1+Arg_6<=1 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 2+Arg_5<=Arg_4 && Arg_4+Arg_5<=2 && Arg_5<=Arg_3 && Arg_3+Arg_5<=0 && Arg_5<=Arg_2 && 1+Arg_5<=Arg_1 && Arg_1+Arg_5<=1 && 1+Arg_5<=Arg_0 && Arg_0+Arg_5<=1 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 1<=Arg_1+Arg_5 && Arg_1<=1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f31___14
Found invariant Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=0 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && Arg_1+Arg_6<=0 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 2+Arg_5<=Arg_4 && Arg_4+Arg_5<=2 && Arg_5<=Arg_3 && Arg_3+Arg_5<=0 && Arg_5<=Arg_2 && Arg_2+Arg_5<=0 && Arg_5<=Arg_1 && Arg_1+Arg_5<=0 && 1+Arg_5<=Arg_0 && Arg_0+Arg_5<=1 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 0<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 1<=Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_1+Arg_4<=2 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 2+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=0 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=1 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && Arg_0<=1+Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f31___17
Found invariant Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 1+Arg_6<=Arg_1 && Arg_1+Arg_6<=1 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_5<=Arg_1 && Arg_1+Arg_5<=2 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 1<=Arg_1+Arg_5 && Arg_1<=1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f10___3
Found invariant Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 2+Arg_6<=Arg_1 && 2+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && 1+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && 2<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 for location n_f10___8
Found invariant Arg_6<=1 && 2+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 1<=Arg_6 && 4<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=2+Arg_1 && Arg_1+Arg_5<=4 && Arg_5<=2+Arg_0 && Arg_0+Arg_5<=4 && 3<=Arg_5 && 5<=Arg_4+Arg_5 && 1+Arg_4<=Arg_5 && 3<=Arg_3+Arg_5 && 3+Arg_3<=Arg_5 && 3<=Arg_2+Arg_5 && 4<=Arg_1+Arg_5 && 2+Arg_1<=Arg_5 && 4<=Arg_0+Arg_5 && 2+Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f31___1
Found invariant Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_5<=Arg_1 && Arg_1+Arg_5<=2 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f10___21
Found invariant Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_5<=1+Arg_1 && Arg_1+Arg_5<=3 && Arg_5<=1+Arg_0 && Arg_0+Arg_5<=3 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 for location n_f21___12
Found invariant Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_2+Arg_5<=1 && Arg_5<=1+Arg_1 && Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 0<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_4<=1+Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 3<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 for location n_f10___11
Cut unsatisfiable transition 16: n_f10___7->n_f21___10
Cut unsatisfiable transition 20: n_f10___8->n_f21___10
Problem after Preprocessing
Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6
Temp_Vars: C_P, E_P, F_P, G_P
Locations: n_f0, n_f10___11, n_f10___15, n_f10___16, n_f10___18, n_f10___2, n_f10___21, n_f10___3, n_f10___7, n_f10___8, n_f21___10, n_f21___12, n_f21___13, n_f21___19, n_f21___20, n_f21___6, n_f31___1, n_f31___14, n_f31___17, n_f31___4, n_f31___5, n_f31___9
Transitions:
0:n_f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___21(1,1,C_P,0,2,1,Arg_6):|:0<=C_P
1:n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___10(Arg_0+1,Arg_0+1,C_P,Arg_3,E_P,Arg_5,G_P):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_2+Arg_5<=1 && Arg_5<=1+Arg_1 && Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 0<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_4<=1+Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 3<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_2<=0 && Arg_5<=Arg_4 && Arg_6<=0 && G_P<=1 && 0<=G_P && Arg_1<=0 && Arg_2<=0 && 0<=C_P && Arg_5<=E_P && 1<=Arg_5 && Arg_4<=E_P && E_P<=Arg_4
2:n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_2+Arg_5<=1 && Arg_5<=1+Arg_1 && Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 0<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_4<=1+Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 3<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_2<=0 && Arg_5<=Arg_4 && Arg_6<=0 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
3:n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_2+Arg_5<=1 && Arg_5<=1+Arg_1 && Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 0<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_4<=1+Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 3<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_2<=0 && Arg_5<=Arg_4 && Arg_6<=0 && Arg_5<=Arg_4 && Arg_5<=0
4:n_f10___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___12(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_5<=1+Arg_1 && Arg_1+Arg_5<=3 && Arg_5<=1+Arg_0 && Arg_0+Arg_5<=3 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 1+Arg_1<=Arg_5 && 3<=Arg_0+Arg_5 && 1+Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_5<=Arg_4 && 1<=Arg_5 && 1<=Arg_1 && 1<=Arg_6 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
5:n_f10___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_5<=1+Arg_1 && Arg_1+Arg_5<=3 && Arg_5<=1+Arg_0 && Arg_0+Arg_5<=3 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 1+Arg_1<=Arg_5 && 3<=Arg_0+Arg_5 && 1+Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_5<=Arg_4 && 1<=Arg_5 && 1<=Arg_1 && 1<=Arg_6 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
6:n_f10___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=0 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 1+Arg_6<=Arg_1 && Arg_1+Arg_6<=1 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 2+Arg_5<=Arg_4 && Arg_4+Arg_5<=2 && Arg_5<=Arg_3 && Arg_3+Arg_5<=0 && Arg_5<=Arg_2 && 1+Arg_5<=Arg_1 && Arg_1+Arg_5<=1 && 1+Arg_5<=Arg_0 && Arg_0+Arg_5<=1 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 1<=Arg_1+Arg_5 && Arg_1<=1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_5<=Arg_4 && 1<=Arg_1 && Arg_6<=0 && Arg_5<=Arg_4 && Arg_5<=0 && Arg_5<=Arg_4 && Arg_5<=0
7:n_f10___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=0 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && Arg_1+Arg_6<=0 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 2+Arg_5<=Arg_4 && Arg_4+Arg_5<=2 && Arg_5<=Arg_3 && Arg_3+Arg_5<=0 && Arg_5<=Arg_2 && Arg_2+Arg_5<=0 && Arg_5<=Arg_1 && Arg_1+Arg_5<=0 && 1+Arg_5<=Arg_0 && Arg_0+Arg_5<=1 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 0<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 1<=Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_1+Arg_4<=2 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 2+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=0 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=1 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && Arg_0<=1+Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_2<=0 && Arg_5<=Arg_4 && Arg_1<=0 && Arg_6<=0 && Arg_5<=Arg_4 && Arg_5<=0 && Arg_5<=Arg_4 && Arg_5<=0
8:n_f10___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___12(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=2+Arg_1 && Arg_1+Arg_5<=4 && Arg_5<=2+Arg_0 && Arg_0+Arg_5<=4 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 1+Arg_1<=Arg_5 && 3<=Arg_0+Arg_5 && 1+Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && 1<=Arg_5 && 1<=Arg_1 && 1<=Arg_6 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
9:n_f10___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=2+Arg_1 && Arg_1+Arg_5<=4 && Arg_5<=2+Arg_0 && Arg_0+Arg_5<=4 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 1+Arg_1<=Arg_5 && 3<=Arg_0+Arg_5 && 1+Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && 1<=Arg_5 && 1<=Arg_1 && 1<=Arg_6 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
10:n_f10___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 2<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=2+Arg_1 && Arg_1+Arg_5<=4 && Arg_5<=2+Arg_0 && Arg_0+Arg_5<=4 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 1+Arg_1<=Arg_5 && 3<=Arg_0+Arg_5 && 1+Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && 1<=Arg_5 && 1<=Arg_1 && 1<=Arg_6 && 1+Arg_4<=Arg_5
11:n_f10___21(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___19(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_5<=Arg_1 && Arg_1+Arg_5<=2 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_5<=Arg_4 && 1<=Arg_5 && 1<=Arg_1 && Arg_4<=2 && 2<=Arg_4 && Arg_0<=1 && 1<=Arg_0 && Arg_1<=1 && 1<=Arg_1 && Arg_5<=1 && 1<=Arg_5 && Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
12:n_f10___21(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___20(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_5<=Arg_1 && Arg_1+Arg_5<=2 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_5<=Arg_4 && 1<=Arg_5 && 1<=Arg_1 && Arg_4<=2 && 2<=Arg_4 && Arg_0<=1 && 1<=Arg_0 && Arg_1<=1 && 1<=Arg_1 && Arg_5<=1 && 1<=Arg_5 && Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
13:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___12(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 1+Arg_6<=Arg_1 && Arg_1+Arg_6<=1 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_5<=Arg_1 && Arg_1+Arg_5<=2 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 1<=Arg_1+Arg_5 && Arg_1<=1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_5<=Arg_4 && 1<=Arg_1 && Arg_6<=0 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
14:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 1+Arg_6<=Arg_1 && Arg_1+Arg_6<=1 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_5<=Arg_1 && Arg_1+Arg_5<=2 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 1<=Arg_1+Arg_5 && Arg_1<=1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_5<=Arg_4 && 1<=Arg_1 && Arg_6<=0 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
15:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 1+Arg_6<=Arg_1 && Arg_1+Arg_6<=1 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_5<=Arg_1 && Arg_1+Arg_5<=2 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 1<=Arg_1+Arg_5 && Arg_1<=1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_0<=1+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_5<=Arg_4 && 1<=Arg_1 && Arg_6<=0 && Arg_5<=Arg_4 && Arg_5<=0
17:n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 3<=Arg_1+Arg_6 && 3<=Arg_0+Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=1+Arg_1 && Arg_5<=1+Arg_0 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 4<=Arg_1+Arg_5 && 4<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && 1<=Arg_5 && 1<=Arg_6 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
18:n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___6(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 3<=Arg_1+Arg_6 && 3<=Arg_0+Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=1+Arg_1 && Arg_5<=1+Arg_0 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 4<=Arg_1+Arg_5 && 4<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && 1<=Arg_5 && 1<=Arg_6 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
19:n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 3<=Arg_1+Arg_6 && 3<=Arg_0+Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=1+Arg_1 && Arg_5<=1+Arg_0 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 4<=Arg_1+Arg_5 && 4<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && 1<=Arg_5 && 1<=Arg_6 && 1+Arg_4<=Arg_5
21:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 2+Arg_6<=Arg_1 && 2+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && 1+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && 2<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_5<=Arg_4 && Arg_6<=0 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0
22:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___6(Arg_0,Arg_1,C_P,Arg_3,E_P,F_P,G_P):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 2+Arg_6<=Arg_1 && 2+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && 1+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && 2<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_5<=Arg_4 && Arg_6<=0 && G_P<=1 && 0<=G_P && 1<=F_P && 0<=C_P && F_P<=E_P && Arg_4<=E_P && E_P<=Arg_4 && Arg_5<=F_P && F_P<=Arg_5 && Arg_2<=C_P+1 && 1+C_P<=Arg_2
23:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f31___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 2+Arg_6<=Arg_1 && 2+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && 1+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && 2<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_5<=Arg_4 && Arg_6<=0 && Arg_5<=Arg_4 && Arg_5<=0
24:n_f21___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && 1+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 3<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && 0<=Arg_2 && Arg_5<=Arg_4 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && 1<=Arg_6
25:n_f21___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && 1+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 3<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && 0<=Arg_2 && Arg_5<=Arg_4 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_6<=0
26:n_f21___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_5<=1+Arg_1 && Arg_1+Arg_5<=3 && Arg_5<=1+Arg_0 && Arg_0+Arg_5<=3 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && 0<=Arg_2 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_6
27:n_f21___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_5<=1+Arg_1 && Arg_1+Arg_5<=3 && Arg_5<=1+Arg_0 && Arg_0+Arg_5<=3 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && 0<=Arg_2 && 1<=Arg_1 && Arg_5<=Arg_4 && Arg_6<=0
28:n_f21___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=0 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_2+Arg_5<=2 && Arg_5<=2+Arg_1 && Arg_5<=1+Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 1+Arg_2<=Arg_5 && 1<=Arg_1+Arg_5 && 2<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_4<=1+Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 3<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_2<=0 && Arg_5<=Arg_4 && 1<=Arg_5 && 0<=Arg_1 && Arg_6<=0 && 0<=Arg_6 && Arg_6<=0
29:n_f21___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_5<=Arg_1 && Arg_1+Arg_5<=2 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_6<=1 && 0<=Arg_6 && 0<=Arg_2 && Arg_3<=0 && 0<=Arg_3 && Arg_5<=1 && 1<=Arg_5 && Arg_1<=1 && 1<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_4<=2 && 2<=Arg_4 && 1<=Arg_6
30:n_f21___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && Arg_6<=Arg_1 && Arg_1+Arg_6<=2 && Arg_6<=Arg_0 && Arg_0+Arg_6<=2 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 1<=Arg_1+Arg_6 && Arg_1<=1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_5<=Arg_1 && Arg_1+Arg_5<=2 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=1+Arg_1 && Arg_1+Arg_4<=3 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 3<=Arg_1+Arg_4 && 1+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_1+Arg_3<=1 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && Arg_1<=1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=1 && Arg_1<=Arg_0 && Arg_0+Arg_1<=2 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_6<=1 && 0<=Arg_6 && 0<=Arg_2 && Arg_3<=0 && 0<=Arg_3 && Arg_5<=1 && 1<=Arg_5 && Arg_1<=1 && 1<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_4<=2 && 2<=Arg_4 && Arg_6<=0
31:n_f21___20(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=0 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && Arg_1+Arg_6<=0 && 1+Arg_6<=Arg_0 && Arg_0+Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && Arg_1<=Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_2+Arg_5<=1 && Arg_5<=1+Arg_1 && Arg_1+Arg_5<=1 && Arg_5<=Arg_0 && Arg_0+Arg_5<=2 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 1+Arg_2<=Arg_5 && 1<=Arg_1+Arg_5 && 1+Arg_1<=Arg_5 && 2<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_1+Arg_4<=2 && Arg_4<=1+Arg_0 && Arg_0+Arg_4<=3 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 2+Arg_1<=Arg_4 && 3<=Arg_0+Arg_4 && 1+Arg_0<=Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=1 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && Arg_0<=1+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=0 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=1 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && Arg_0<=1+Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_5<=1 && 1<=Arg_5 && Arg_4<=2 && 2<=Arg_4 && Arg_3<=0 && 0<=Arg_3 && Arg_2<=0 && 0<=Arg_2 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=1 && 1<=Arg_0 && Arg_6<=0 && 0<=Arg_6 && Arg_6<=0
32:n_f21___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_5<=Arg_1 && Arg_5<=Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 3<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && Arg_5<=Arg_4 && 0<=Arg_2 && 1<=Arg_6
33:n_f21___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_5<=Arg_1 && Arg_5<=Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 3<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && Arg_5<=Arg_4 && 0<=Arg_2 && Arg_6<=0
MPRF for transition 1:n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___10(Arg_0+1,Arg_0+1,C_P,Arg_3,E_P,Arg_5,G_P):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_2+Arg_5<=1 && Arg_5<=1+Arg_1 && Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 0<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_4<=1+Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 3<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_2<=0 && Arg_5<=Arg_4 && Arg_6<=0 && G_P<=1 && 0<=G_P && Arg_1<=0 && Arg_2<=0 && 0<=C_P && Arg_5<=E_P && 1<=Arg_5 && Arg_4<=E_P && E_P<=Arg_4 of depth 1:
new bound:
5 {O(1)}
MPRF:
n_f21___10 [Arg_5 ]
n_f21___13 [Arg_5-Arg_1 ]
n_f10___11 [Arg_5+1-Arg_1 ]
n_f10___7 [1 ]
n_f21___6 [1 ]
n_f10___8 [Arg_5 ]
MPRF for transition 2:n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && Arg_2+Arg_5<=1 && Arg_5<=1+Arg_1 && Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 0<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_4<=1+Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 3<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_2<=0 && Arg_5<=Arg_4 && Arg_6<=0 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0 of depth 1:
new bound:
10 {O(1)}
MPRF:
n_f21___10 [2*Arg_4+2*Arg_5-2 ]
n_f21___13 [2*Arg_5 ]
n_f10___11 [2*Arg_5+2 ]
n_f10___7 [2*Arg_4 ]
n_f21___6 [4 ]
n_f10___8 [2*Arg_4 ]
MPRF for transition 17:n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_6<=1 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=4 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 1<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=1+Arg_6 && 1<=Arg_3+Arg_6 && 1+Arg_3<=Arg_6 && 1<=Arg_2+Arg_6 && 3<=Arg_1+Arg_6 && 3<=Arg_0+Arg_6 && Arg_5<=3 && Arg_5<=1+Arg_4 && Arg_4+Arg_5<=5 && Arg_5<=3+Arg_3 && Arg_3+Arg_5<=3 && Arg_5<=3+Arg_2 && Arg_5<=1+Arg_1 && Arg_5<=1+Arg_0 && 2<=Arg_5 && 4<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 2<=Arg_3+Arg_5 && 2+Arg_3<=Arg_5 && 2<=Arg_2+Arg_5 && 4<=Arg_1+Arg_5 && 4<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && 1<=Arg_5 && 1<=Arg_6 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0 of depth 1:
new bound:
16 {O(1)}
MPRF:
n_f21___10 [2*Arg_5 ]
n_f21___13 [2*Arg_5-2*Arg_1-2 ]
n_f10___11 [2*Arg_5-2*Arg_1 ]
n_f10___7 [2 ]
n_f21___6 [Arg_4 ]
n_f10___8 [Arg_4+2*Arg_5-2 ]
MPRF for transition 21:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f21___13(Arg_0,Arg_1-1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:Arg_6<=0 && Arg_6<=Arg_5 && Arg_5+Arg_6<=1 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && 2+Arg_6<=Arg_1 && 2+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && 1+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 2<=Arg_4+Arg_5 && Arg_4<=2+Arg_5 && 0<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 0<=Arg_2+Arg_5 && 2<=Arg_1+Arg_5 && 2<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_5<=Arg_4 && Arg_6<=0 && 1<=Arg_1 && Arg_5<=Arg_4 && 1<=Arg_5 && Arg_2<=0 of depth 1:
new bound:
5 {O(1)}
MPRF:
n_f21___10 [2*Arg_5 ]
n_f21___13 [Arg_5 ]
n_f10___11 [Arg_5+1 ]
n_f10___7 [2*Arg_6 ]
n_f21___6 [Arg_4 ]
n_f10___8 [2 ]
MPRF for transition 24:n_f21___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && 1+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 3<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && 0<=Arg_2 && Arg_5<=Arg_4 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && 1<=Arg_6 of depth 1:
new bound:
14 {O(1)}
MPRF:
n_f21___10 [2*Arg_5+1 ]
n_f21___13 [Arg_4+Arg_5-Arg_1-1 ]
n_f10___11 [2*Arg_5+1-Arg_1 ]
n_f10___7 [2 ]
n_f21___6 [Arg_4 ]
n_f10___8 [2 ]
MPRF for transition 25:n_f21___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=1 && Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 1+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && Arg_6<=1+Arg_3 && Arg_3+Arg_6<=1 && Arg_6<=1+Arg_2 && 1+Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=1+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && 2<=Arg_1+Arg_6 && 2<=Arg_0+Arg_6 && Arg_5<=1 && 1+Arg_5<=Arg_4 && Arg_4+Arg_5<=3 && Arg_5<=1+Arg_3 && Arg_3+Arg_5<=1 && Arg_5<=1+Arg_2 && 1+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 3<=Arg_1+Arg_5 && 3<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 4<=Arg_1+Arg_4 && 4<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_1 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && 0<=Arg_2 && 2<=Arg_1+Arg_2 && 2<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_6<=1 && 0<=Arg_6 && 1<=Arg_5 && 0<=Arg_2 && Arg_5<=Arg_4 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_6<=0 of depth 1:
new bound:
3 {O(1)}
MPRF:
n_f21___10 [1 ]
n_f21___13 [1 ]
n_f10___11 [1 ]
n_f10___7 [Arg_6 ]
n_f21___6 [1 ]
n_f10___8 [Arg_5+2-Arg_4 ]
knowledge_propagation leads to new time bound 34 {O(1)} for transition 28:n_f21___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> n_f10___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5-1,Arg_6):|:Arg_6<=0 && 1+Arg_6<=Arg_5 && Arg_5+Arg_6<=2 && 2+Arg_6<=Arg_4 && Arg_4+Arg_6<=2 && Arg_6<=Arg_3 && Arg_3+Arg_6<=0 && Arg_6<=Arg_2 && Arg_2+Arg_6<=0 && Arg_6<=Arg_1 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 1<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 2<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 0<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 0<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 0<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_5<=2 && Arg_5<=Arg_4 && Arg_4+Arg_5<=4 && Arg_5<=2+Arg_3 && Arg_3+Arg_5<=2 && Arg_5<=2+Arg_2 && Arg_2+Arg_5<=2 && Arg_5<=2+Arg_1 && Arg_5<=1+Arg_0 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && Arg_4<=1+Arg_5 && 1<=Arg_3+Arg_5 && 1+Arg_3<=Arg_5 && 1<=Arg_2+Arg_5 && 1+Arg_2<=Arg_5 && 1<=Arg_1+Arg_5 && 2<=Arg_0+Arg_5 && Arg_4<=2 && Arg_4<=2+Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=2+Arg_2 && Arg_2+Arg_4<=2 && Arg_4<=2+Arg_1 && Arg_4<=1+Arg_0 && 2<=Arg_4 && 2<=Arg_3+Arg_4 && 2+Arg_3<=Arg_4 && 2<=Arg_2+Arg_4 && 2+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && 3<=Arg_0+Arg_4 && Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_2<=0 && Arg_5<=Arg_4 && 1<=Arg_5 && 0<=Arg_1 && Arg_6<=0 && 0<=Arg_6 && Arg_6<=0
All Bounds
Timebounds
Overall timebound:inf {Infinity}
0: n_f0->n_f10___21: 1 {O(1)}
1: n_f10___11->n_f21___10: 5 {O(1)}
2: n_f10___11->n_f21___13: 10 {O(1)}
3: n_f10___11->n_f31___9: 1 {O(1)}
4: n_f10___15->n_f21___12: 1 {O(1)}
5: n_f10___15->n_f21___13: 1 {O(1)}
6: n_f10___16->n_f31___14: 1 {O(1)}
7: n_f10___18->n_f31___17: 1 {O(1)}
8: n_f10___2->n_f21___12: inf {Infinity}
9: n_f10___2->n_f21___13: 1 {O(1)}
10: n_f10___2->n_f31___1: 1 {O(1)}
11: n_f10___21->n_f21___19: 1 {O(1)}
12: n_f10___21->n_f21___20: 1 {O(1)}
13: n_f10___3->n_f21___12: inf {Infinity}
14: n_f10___3->n_f21___13: 1 {O(1)}
15: n_f10___3->n_f31___14: 1 {O(1)}
17: n_f10___7->n_f21___13: 16 {O(1)}
18: n_f10___7->n_f21___6: inf {Infinity}
19: n_f10___7->n_f31___4: 1 {O(1)}
21: n_f10___8->n_f21___13: 5 {O(1)}
22: n_f10___8->n_f21___6: inf {Infinity}
23: n_f10___8->n_f31___5: 1 {O(1)}
24: n_f21___10->n_f10___7: 14 {O(1)}
25: n_f21___10->n_f10___8: 3 {O(1)}
26: n_f21___12->n_f10___2: inf {Infinity}
27: n_f21___12->n_f10___3: inf {Infinity}
28: n_f21___13->n_f10___11: 34 {O(1)}
29: n_f21___19->n_f10___15: 1 {O(1)}
30: n_f21___19->n_f10___16: 1 {O(1)}
31: n_f21___20->n_f10___18: 1 {O(1)}
32: n_f21___6->n_f10___7: inf {Infinity}
33: n_f21___6->n_f10___8: inf {Infinity}
Costbounds
Overall costbound: inf {Infinity}
0: n_f0->n_f10___21: 1 {O(1)}
1: n_f10___11->n_f21___10: 5 {O(1)}
2: n_f10___11->n_f21___13: 10 {O(1)}
3: n_f10___11->n_f31___9: 1 {O(1)}
4: n_f10___15->n_f21___12: 1 {O(1)}
5: n_f10___15->n_f21___13: 1 {O(1)}
6: n_f10___16->n_f31___14: 1 {O(1)}
7: n_f10___18->n_f31___17: 1 {O(1)}
8: n_f10___2->n_f21___12: inf {Infinity}
9: n_f10___2->n_f21___13: 1 {O(1)}
10: n_f10___2->n_f31___1: 1 {O(1)}
11: n_f10___21->n_f21___19: 1 {O(1)}
12: n_f10___21->n_f21___20: 1 {O(1)}
13: n_f10___3->n_f21___12: inf {Infinity}
14: n_f10___3->n_f21___13: 1 {O(1)}
15: n_f10___3->n_f31___14: 1 {O(1)}
17: n_f10___7->n_f21___13: 16 {O(1)}
18: n_f10___7->n_f21___6: inf {Infinity}
19: n_f10___7->n_f31___4: 1 {O(1)}
21: n_f10___8->n_f21___13: 5 {O(1)}
22: n_f10___8->n_f21___6: inf {Infinity}
23: n_f10___8->n_f31___5: 1 {O(1)}
24: n_f21___10->n_f10___7: 14 {O(1)}
25: n_f21___10->n_f10___8: 3 {O(1)}
26: n_f21___12->n_f10___2: inf {Infinity}
27: n_f21___12->n_f10___3: inf {Infinity}
28: n_f21___13->n_f10___11: 34 {O(1)}
29: n_f21___19->n_f10___15: 1 {O(1)}
30: n_f21___19->n_f10___16: 1 {O(1)}
31: n_f21___20->n_f10___18: 1 {O(1)}
32: n_f21___6->n_f10___7: inf {Infinity}
33: n_f21___6->n_f10___8: inf {Infinity}
Sizebounds
0: n_f0->n_f10___21, Arg_0: 1 {O(1)}
0: n_f0->n_f10___21, Arg_1: 1 {O(1)}
0: n_f0->n_f10___21, Arg_3: 0 {O(1)}
0: n_f0->n_f10___21, Arg_4: 2 {O(1)}
0: n_f0->n_f10___21, Arg_5: 1 {O(1)}
0: n_f0->n_f10___21, Arg_6: Arg_6 {O(n)}
1: n_f10___11->n_f21___10, Arg_0: 8 {O(1)}
1: n_f10___11->n_f21___10, Arg_1: 9 {O(1)}
1: n_f10___11->n_f21___10, Arg_3: 0 {O(1)}
1: n_f10___11->n_f21___10, Arg_4: 2 {O(1)}
1: n_f10___11->n_f21___10, Arg_5: 1 {O(1)}
1: n_f10___11->n_f21___10, Arg_6: 1 {O(1)}
2: n_f10___11->n_f21___13, Arg_0: 8 {O(1)}
2: n_f10___11->n_f21___13, Arg_1: 27 {O(1)}
2: n_f10___11->n_f21___13, Arg_2: 0 {O(1)}
2: n_f10___11->n_f21___13, Arg_3: 0 {O(1)}
2: n_f10___11->n_f21___13, Arg_4: 2 {O(1)}
2: n_f10___11->n_f21___13, Arg_5: 1 {O(1)}
2: n_f10___11->n_f21___13, Arg_6: 0 {O(1)}
3: n_f10___11->n_f31___9, Arg_0: 8 {O(1)}
3: n_f10___11->n_f31___9, Arg_1: 27 {O(1)}
3: n_f10___11->n_f31___9, Arg_2: 0 {O(1)}
3: n_f10___11->n_f31___9, Arg_3: 0 {O(1)}
3: n_f10___11->n_f31___9, Arg_4: 2 {O(1)}
3: n_f10___11->n_f31___9, Arg_5: 0 {O(1)}
3: n_f10___11->n_f31___9, Arg_6: 0 {O(1)}
4: n_f10___15->n_f21___12, Arg_0: 1 {O(1)}
4: n_f10___15->n_f21___12, Arg_1: 1 {O(1)}
4: n_f10___15->n_f21___12, Arg_3: 0 {O(1)}
4: n_f10___15->n_f21___12, Arg_4: 2 {O(1)}
4: n_f10___15->n_f21___12, Arg_5: 2 {O(1)}
4: n_f10___15->n_f21___12, Arg_6: 1 {O(1)}
5: n_f10___15->n_f21___13, Arg_0: 1 {O(1)}
5: n_f10___15->n_f21___13, Arg_1: 0 {O(1)}
5: n_f10___15->n_f21___13, Arg_2: 0 {O(1)}
5: n_f10___15->n_f21___13, Arg_3: 0 {O(1)}
5: n_f10___15->n_f21___13, Arg_4: 2 {O(1)}
5: n_f10___15->n_f21___13, Arg_5: 2 {O(1)}
5: n_f10___15->n_f21___13, Arg_6: 0 {O(1)}
6: n_f10___16->n_f31___14, Arg_0: 1 {O(1)}
6: n_f10___16->n_f31___14, Arg_1: 1 {O(1)}
6: n_f10___16->n_f31___14, Arg_3: 0 {O(1)}
6: n_f10___16->n_f31___14, Arg_4: 2 {O(1)}
6: n_f10___16->n_f31___14, Arg_5: 0 {O(1)}
6: n_f10___16->n_f31___14, Arg_6: 0 {O(1)}
7: n_f10___18->n_f31___17, Arg_0: 1 {O(1)}
7: n_f10___18->n_f31___17, Arg_1: 0 {O(1)}
7: n_f10___18->n_f31___17, Arg_2: 0 {O(1)}
7: n_f10___18->n_f31___17, Arg_3: 0 {O(1)}
7: n_f10___18->n_f31___17, Arg_4: 2 {O(1)}
7: n_f10___18->n_f31___17, Arg_5: 0 {O(1)}
7: n_f10___18->n_f31___17, Arg_6: 0 {O(1)}
8: n_f10___2->n_f21___12, Arg_0: 1 {O(1)}
8: n_f10___2->n_f21___12, Arg_1: 1 {O(1)}
8: n_f10___2->n_f21___12, Arg_3: 0 {O(1)}
8: n_f10___2->n_f21___12, Arg_4: 2 {O(1)}
8: n_f10___2->n_f21___12, Arg_5: 2 {O(1)}
8: n_f10___2->n_f21___12, Arg_6: 1 {O(1)}
9: n_f10___2->n_f21___13, Arg_0: 1 {O(1)}
9: n_f10___2->n_f21___13, Arg_1: 0 {O(1)}
9: n_f10___2->n_f21___13, Arg_2: 0 {O(1)}
9: n_f10___2->n_f21___13, Arg_3: 0 {O(1)}
9: n_f10___2->n_f21___13, Arg_4: 2 {O(1)}
9: n_f10___2->n_f21___13, Arg_5: 2 {O(1)}
9: n_f10___2->n_f21___13, Arg_6: 0 {O(1)}
10: n_f10___2->n_f31___1, Arg_0: 1 {O(1)}
10: n_f10___2->n_f31___1, Arg_1: 1 {O(1)}
10: n_f10___2->n_f31___1, Arg_3: 0 {O(1)}
10: n_f10___2->n_f31___1, Arg_4: 2 {O(1)}
10: n_f10___2->n_f31___1, Arg_5: 3 {O(1)}
10: n_f10___2->n_f31___1, Arg_6: 1 {O(1)}
11: n_f10___21->n_f21___19, Arg_0: 1 {O(1)}
11: n_f10___21->n_f21___19, Arg_1: 1 {O(1)}
11: n_f10___21->n_f21___19, Arg_3: 0 {O(1)}
11: n_f10___21->n_f21___19, Arg_4: 2 {O(1)}
11: n_f10___21->n_f21___19, Arg_5: 1 {O(1)}
11: n_f10___21->n_f21___19, Arg_6: 1 {O(1)}
12: n_f10___21->n_f21___20, Arg_0: 1 {O(1)}
12: n_f10___21->n_f21___20, Arg_1: 0 {O(1)}
12: n_f10___21->n_f21___20, Arg_2: 0 {O(1)}
12: n_f10___21->n_f21___20, Arg_3: 0 {O(1)}
12: n_f10___21->n_f21___20, Arg_4: 2 {O(1)}
12: n_f10___21->n_f21___20, Arg_5: 1 {O(1)}
12: n_f10___21->n_f21___20, Arg_6: 0 {O(1)}
13: n_f10___3->n_f21___12, Arg_0: 1 {O(1)}
13: n_f10___3->n_f21___12, Arg_1: 1 {O(1)}
13: n_f10___3->n_f21___12, Arg_3: 0 {O(1)}
13: n_f10___3->n_f21___12, Arg_4: 2 {O(1)}
13: n_f10___3->n_f21___12, Arg_5: 1 {O(1)}
13: n_f10___3->n_f21___12, Arg_6: 1 {O(1)}
14: n_f10___3->n_f21___13, Arg_0: 1 {O(1)}
14: n_f10___3->n_f21___13, Arg_1: 0 {O(1)}
14: n_f10___3->n_f21___13, Arg_2: 0 {O(1)}
14: n_f10___3->n_f21___13, Arg_3: 0 {O(1)}
14: n_f10___3->n_f21___13, Arg_4: 2 {O(1)}
14: n_f10___3->n_f21___13, Arg_5: 1 {O(1)}
14: n_f10___3->n_f21___13, Arg_6: 0 {O(1)}
15: n_f10___3->n_f31___14, Arg_0: 1 {O(1)}
15: n_f10___3->n_f31___14, Arg_1: 1 {O(1)}
15: n_f10___3->n_f31___14, Arg_3: 0 {O(1)}
15: n_f10___3->n_f31___14, Arg_4: 2 {O(1)}
15: n_f10___3->n_f31___14, Arg_5: 0 {O(1)}
15: n_f10___3->n_f31___14, Arg_6: 0 {O(1)}
17: n_f10___7->n_f21___13, Arg_0: 8 {O(1)}
17: n_f10___7->n_f21___13, Arg_1: 18 {O(1)}
17: n_f10___7->n_f21___13, Arg_2: 0 {O(1)}
17: n_f10___7->n_f21___13, Arg_3: 0 {O(1)}
17: n_f10___7->n_f21___13, Arg_4: 2 {O(1)}
17: n_f10___7->n_f21___13, Arg_5: 2 {O(1)}
17: n_f10___7->n_f21___13, Arg_6: 0 {O(1)}
18: n_f10___7->n_f21___6, Arg_0: 8 {O(1)}
18: n_f10___7->n_f21___6, Arg_1: 9 {O(1)}
18: n_f10___7->n_f21___6, Arg_3: 0 {O(1)}
18: n_f10___7->n_f21___6, Arg_4: 2 {O(1)}
18: n_f10___7->n_f21___6, Arg_5: 2 {O(1)}
18: n_f10___7->n_f21___6, Arg_6: 1 {O(1)}
19: n_f10___7->n_f31___4, Arg_0: 8 {O(1)}
19: n_f10___7->n_f31___4, Arg_1: 9 {O(1)}
19: n_f10___7->n_f31___4, Arg_3: 0 {O(1)}
19: n_f10___7->n_f31___4, Arg_4: 2 {O(1)}
19: n_f10___7->n_f31___4, Arg_5: 3 {O(1)}
19: n_f10___7->n_f31___4, Arg_6: 1 {O(1)}
21: n_f10___8->n_f21___13, Arg_0: 8 {O(1)}
21: n_f10___8->n_f21___13, Arg_1: 9 {O(1)}
21: n_f10___8->n_f21___13, Arg_2: 0 {O(1)}
21: n_f10___8->n_f21___13, Arg_3: 0 {O(1)}
21: n_f10___8->n_f21___13, Arg_4: 2 {O(1)}
21: n_f10___8->n_f21___13, Arg_5: 1 {O(1)}
21: n_f10___8->n_f21___13, Arg_6: 0 {O(1)}
22: n_f10___8->n_f21___6, Arg_0: 8 {O(1)}
22: n_f10___8->n_f21___6, Arg_1: 9 {O(1)}
22: n_f10___8->n_f21___6, Arg_3: 0 {O(1)}
22: n_f10___8->n_f21___6, Arg_4: 2 {O(1)}
22: n_f10___8->n_f21___6, Arg_5: 1 {O(1)}
22: n_f10___8->n_f21___6, Arg_6: 1 {O(1)}
23: n_f10___8->n_f31___5, Arg_0: 16 {O(1)}
23: n_f10___8->n_f31___5, Arg_1: 18 {O(1)}
23: n_f10___8->n_f31___5, Arg_3: 0 {O(1)}
23: n_f10___8->n_f31___5, Arg_4: 2 {O(1)}
23: n_f10___8->n_f31___5, Arg_5: 0 {O(1)}
23: n_f10___8->n_f31___5, Arg_6: 0 {O(1)}
24: n_f21___10->n_f10___7, Arg_0: 8 {O(1)}
24: n_f21___10->n_f10___7, Arg_1: 9 {O(1)}
24: n_f21___10->n_f10___7, Arg_3: 0 {O(1)}
24: n_f21___10->n_f10___7, Arg_4: 2 {O(1)}
24: n_f21___10->n_f10___7, Arg_5: 2 {O(1)}
24: n_f21___10->n_f10___7, Arg_6: 1 {O(1)}
25: n_f21___10->n_f10___8, Arg_0: 8 {O(1)}
25: n_f21___10->n_f10___8, Arg_1: 9 {O(1)}
25: n_f21___10->n_f10___8, Arg_3: 0 {O(1)}
25: n_f21___10->n_f10___8, Arg_4: 2 {O(1)}
25: n_f21___10->n_f10___8, Arg_5: 0 {O(1)}
25: n_f21___10->n_f10___8, Arg_6: 0 {O(1)}
26: n_f21___12->n_f10___2, Arg_0: 1 {O(1)}
26: n_f21___12->n_f10___2, Arg_1: 1 {O(1)}
26: n_f21___12->n_f10___2, Arg_3: 0 {O(1)}
26: n_f21___12->n_f10___2, Arg_4: 2 {O(1)}
26: n_f21___12->n_f10___2, Arg_5: 3 {O(1)}
26: n_f21___12->n_f10___2, Arg_6: 1 {O(1)}
27: n_f21___12->n_f10___3, Arg_0: 1 {O(1)}
27: n_f21___12->n_f10___3, Arg_1: 1 {O(1)}
27: n_f21___12->n_f10___3, Arg_3: 0 {O(1)}
27: n_f21___12->n_f10___3, Arg_4: 2 {O(1)}
27: n_f21___12->n_f10___3, Arg_5: 1 {O(1)}
27: n_f21___12->n_f10___3, Arg_6: 0 {O(1)}
28: n_f21___13->n_f10___11, Arg_0: 8 {O(1)}
28: n_f21___13->n_f10___11, Arg_1: 27 {O(1)}
28: n_f21___13->n_f10___11, Arg_2: 0 {O(1)}
28: n_f21___13->n_f10___11, Arg_3: 0 {O(1)}
28: n_f21___13->n_f10___11, Arg_4: 2 {O(1)}
28: n_f21___13->n_f10___11, Arg_5: 1 {O(1)}
28: n_f21___13->n_f10___11, Arg_6: 0 {O(1)}
29: n_f21___19->n_f10___15, Arg_0: 1 {O(1)}
29: n_f21___19->n_f10___15, Arg_1: 1 {O(1)}
29: n_f21___19->n_f10___15, Arg_3: 0 {O(1)}
29: n_f21___19->n_f10___15, Arg_4: 2 {O(1)}
29: n_f21___19->n_f10___15, Arg_5: 2 {O(1)}
29: n_f21___19->n_f10___15, Arg_6: 1 {O(1)}
30: n_f21___19->n_f10___16, Arg_0: 1 {O(1)}
30: n_f21___19->n_f10___16, Arg_1: 1 {O(1)}
30: n_f21___19->n_f10___16, Arg_3: 0 {O(1)}
30: n_f21___19->n_f10___16, Arg_4: 2 {O(1)}
30: n_f21___19->n_f10___16, Arg_5: 0 {O(1)}
30: n_f21___19->n_f10___16, Arg_6: 0 {O(1)}
31: n_f21___20->n_f10___18, Arg_0: 1 {O(1)}
31: n_f21___20->n_f10___18, Arg_1: 0 {O(1)}
31: n_f21___20->n_f10___18, Arg_2: 0 {O(1)}
31: n_f21___20->n_f10___18, Arg_3: 0 {O(1)}
31: n_f21___20->n_f10___18, Arg_4: 2 {O(1)}
31: n_f21___20->n_f10___18, Arg_5: 0 {O(1)}
31: n_f21___20->n_f10___18, Arg_6: 0 {O(1)}
32: n_f21___6->n_f10___7, Arg_0: 8 {O(1)}
32: n_f21___6->n_f10___7, Arg_1: 9 {O(1)}
32: n_f21___6->n_f10___7, Arg_3: 0 {O(1)}
32: n_f21___6->n_f10___7, Arg_4: 2 {O(1)}
32: n_f21___6->n_f10___7, Arg_5: 3 {O(1)}
32: n_f21___6->n_f10___7, Arg_6: 1 {O(1)}
33: n_f21___6->n_f10___8, Arg_0: 8 {O(1)}
33: n_f21___6->n_f10___8, Arg_1: 9 {O(1)}
33: n_f21___6->n_f10___8, Arg_3: 0 {O(1)}
33: n_f21___6->n_f10___8, Arg_4: 2 {O(1)}
33: n_f21___6->n_f10___8, Arg_5: 1 {O(1)}
33: n_f21___6->n_f10___8, Arg_6: 0 {O(1)}