Initial Problem
Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5
Temp_Vars: D_P, NoDet0
Locations: n_f0, n_f10___12, n_f10___14, n_f10___16, n_f10___3, n_f10___6, n_f10___8, n_f10___9, n_f14___1, n_f14___10, n_f14___11, n_f14___13, n_f14___5, n_f14___7, n_f28___2, n_f8___15, n_f8___17, n_f8___4
Transitions:
0:n_f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f8___17(1,1,0,1,1,Arg_5)
1:n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f14___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+2,Arg_5):|:Arg_4<=9 && 1+Arg_4<=Arg_3 && Arg_4<=5
2:n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f14___11(Arg_0,Arg_1,Arg_2,D_P,NoDet0,Arg_5):|:Arg_4<=9 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3
3:n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f8___15(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10,Arg_5):|:Arg_4<=9 && Arg_3<=Arg_4
4:n_f10___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f14___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+2,Arg_5):|:Arg_4<=5 && Arg_3<=29 && Arg_4<=9 && 1+Arg_4<=Arg_3 && Arg_4<=5
5:n_f10___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f8___15(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10,Arg_5):|:Arg_4<=5 && Arg_3<=29 && Arg_4<=9 && Arg_3<=Arg_4
6:n_f10___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f8___15(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10,Arg_5):|:Arg_4<=5 && Arg_3<=Arg_4 && Arg_3<=29 && Arg_4<=9 && Arg_3<=Arg_4 && Arg_3<=Arg_4
7:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f14___1(Arg_0,Arg_1,Arg_2,D_P,NoDet0,Arg_5):|:Arg_3<=29 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3
8:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f14___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+2,Arg_5):|:Arg_3<=29 && 1+Arg_4<=Arg_3 && Arg_4<=5
9:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10,Arg_5):|:Arg_3<=29 && Arg_3<=Arg_4
10:n_f10___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f14___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+2,Arg_5):|:1+Arg_4<=Arg_3 && Arg_4<=9 && 1+Arg_4<=Arg_3 && Arg_4<=5
11:n_f10___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f14___11(Arg_0,Arg_1,Arg_2,D_P,NoDet0,Arg_5):|:1+Arg_4<=Arg_3 && Arg_4<=9 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3
12:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f14___5(Arg_0,Arg_1,Arg_2,D_P,NoDet0,Arg_5):|:6<=Arg_4 && 13<=Arg_4 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3
13:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10,Arg_5):|:6<=Arg_4 && 13<=Arg_4 && Arg_3<=Arg_4
14:n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f14___7(Arg_0,Arg_1,Arg_2,D_P,NoDet0,Arg_5):|:1+Arg_4<=Arg_3 && 6<=Arg_4 && 6<=Arg_4 && 1+Arg_4<=Arg_3 && 10<=Arg_4 && Arg_4<=12 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3
15:n_f14___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:Arg_3<=29 && 7<=Arg_3 && Arg_4<=9
16:n_f14___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:Arg_3<=29 && 7<=Arg_3 && 13<=Arg_4
17:n_f14___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3+10,Arg_4,Arg_5):|:Arg_3<=29 && 7<=Arg_3 && 10<=Arg_4 && Arg_4<=12
18:n_f14___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:Arg_4<=7 && Arg_4<=1+Arg_3 && Arg_4<=9
19:n_f14___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:7<=Arg_3 && Arg_4<=9
20:n_f14___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:7<=Arg_3 && 13<=Arg_4
21:n_f14___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3+10,Arg_4,Arg_5):|:7<=Arg_3 && 10<=Arg_4 && Arg_4<=12
22:n_f14___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:Arg_3<=29 && Arg_4<=1+Arg_3 && Arg_4<=7 && Arg_4<=9
23:n_f14___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___6(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:14<=Arg_3 && Arg_4<=9
24:n_f14___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:14<=Arg_3 && 13<=Arg_4
25:n_f14___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3+10,Arg_4,Arg_5):|:14<=Arg_3 && 10<=Arg_4 && Arg_4<=12
26:n_f14___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___6(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:11<=Arg_3 && Arg_4<=9
27:n_f14___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5):|:11<=Arg_3 && 13<=Arg_4
28:n_f14___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3+10,Arg_4,Arg_5):|:11<=Arg_3 && 10<=Arg_4 && Arg_4<=12
29:n_f8___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_3<=29 && Arg_4<=5 && Arg_3<=29 && Arg_3<=12+Arg_4 && Arg_3<=29
30:n_f8___17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_3<=29 && Arg_4<=5 && Arg_3<=Arg_4 && Arg_4<=1 && 1<=Arg_4 && Arg_0<=1 && 1<=Arg_0 && Arg_1<=1 && 1<=Arg_1 && Arg_2<=0 && 0<=Arg_2 && Arg_3<=1 && 1<=Arg_3 && Arg_3<=29 && Arg_3<=12+Arg_4 && Arg_3<=29
31:n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_3<=12+Arg_4 && Arg_3<=29
32:n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f28___2(Arg_0,Arg_1,1,Arg_3,Arg_4,1):|:Arg_3<=12+Arg_4 && 30<=Arg_3
Preprocessing
Eliminate variables {Arg_5} that do not contribute to the problem
Found invariant Arg_4<=1 && Arg_4<=Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=1+Arg_2 && Arg_2+Arg_4<=1 && Arg_4<=Arg_1 && Arg_1+Arg_4<=2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=2 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_2+Arg_4 && 1+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && Arg_1<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=1 && Arg_3<=1+Arg_2 && Arg_2+Arg_3<=1 && Arg_3<=Arg_1 && Arg_1+Arg_3<=2 && Arg_3<=Arg_0 && Arg_0+Arg_3<=2 && 1<=Arg_3 && 1<=Arg_2+Arg_3 && 1+Arg_2<=Arg_3 && 2<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=7 && Arg_4<=1+Arg_3 && Arg_4<=7+Arg_2 && Arg_2+Arg_4<=7 && Arg_4<=6+Arg_1 && Arg_1+Arg_4<=8 && Arg_4<=6+Arg_0 && Arg_0+Arg_4<=8 && 4<=Arg_3 && 4<=Arg_2+Arg_3 && 4+Arg_2<=Arg_3 && 5<=Arg_1+Arg_3 && 3+Arg_1<=Arg_3 && 5<=Arg_0+Arg_3 && 3+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_f14___10
Found invariant 7<=Arg_3 && 7<=Arg_2+Arg_3 && 7+Arg_2<=Arg_3 && 8<=Arg_1+Arg_3 && 6+Arg_1<=Arg_3 && 8<=Arg_0+Arg_3 && 6+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_f14___11
Found invariant Arg_4<=7 && 3+Arg_4<=Arg_3 && Arg_3+Arg_4<=24 && Arg_4<=7+Arg_2 && Arg_2+Arg_4<=7 && Arg_4<=6+Arg_1 && Arg_1+Arg_4<=8 && Arg_4<=6+Arg_0 && Arg_0+Arg_4<=8 && 0<=7+Arg_4 && 0<=4+Arg_3+Arg_4 && Arg_3<=10+Arg_4 && 0<=7+Arg_2+Arg_4 && Arg_2<=7+Arg_4 && 0<=6+Arg_1+Arg_4 && Arg_1<=8+Arg_4 && 0<=6+Arg_0+Arg_4 && Arg_0<=8+Arg_4 && Arg_3<=17 && Arg_3<=17+Arg_2 && Arg_2+Arg_3<=17 && Arg_3<=16+Arg_1 && Arg_1+Arg_3<=18 && Arg_3<=16+Arg_0 && Arg_0+Arg_3<=18 && 3<=Arg_3 && 3<=Arg_2+Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && 2+Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_f14___13
Found invariant 17<=Arg_3 && 17<=Arg_2+Arg_3 && 17+Arg_2<=Arg_3 && 18<=Arg_1+Arg_3 && 16+Arg_1<=Arg_3 && 18<=Arg_0+Arg_3 && 16+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_f14___7
Found invariant Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_f14___1
Found invariant Arg_4<=9 && Arg_4<=1+Arg_3 && Arg_4<=9+Arg_2 && Arg_2+Arg_4<=9 && Arg_4<=8+Arg_1 && Arg_1+Arg_4<=10 && Arg_4<=8+Arg_0 && Arg_0+Arg_4<=10 && 4<=Arg_3 && 4<=Arg_2+Arg_3 && 4+Arg_2<=Arg_3 && 5<=Arg_1+Arg_3 && 3+Arg_1<=Arg_3 && 5<=Arg_0+Arg_3 && 3+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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___12
Found invariant 1+Arg_4<=0 && 11+Arg_4<=Arg_3 && Arg_3+Arg_4<=10 && 1+Arg_4<=Arg_2 && 1+Arg_2+Arg_4<=0 && 2+Arg_4<=Arg_1 && Arg_1+Arg_4<=0 && 2+Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && 0<=9+Arg_4 && 0<=6+Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=9+Arg_2+Arg_4 && Arg_2<=9+Arg_4 && 0<=8+Arg_1+Arg_4 && Arg_1<=10+Arg_4 && 0<=8+Arg_0+Arg_4 && Arg_0<=10+Arg_4 && Arg_3<=11 && Arg_3<=11+Arg_2 && Arg_2+Arg_3<=11 && Arg_3<=10+Arg_1 && Arg_1+Arg_3<=12 && Arg_3<=10+Arg_0 && Arg_0+Arg_3<=12 && 3<=Arg_3 && 3<=Arg_2+Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && 2+Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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___14
Found invariant Arg_4<=12 && 5+Arg_4<=Arg_3 && Arg_4<=12+Arg_2 && Arg_2+Arg_4<=12 && Arg_4<=11+Arg_1 && Arg_1+Arg_4<=13 && Arg_4<=11+Arg_0 && Arg_0+Arg_4<=13 && 10<=Arg_4 && 27<=Arg_3+Arg_4 && 10<=Arg_2+Arg_4 && 10+Arg_2<=Arg_4 && 11<=Arg_1+Arg_4 && 9+Arg_1<=Arg_4 && 11<=Arg_0+Arg_4 && 9+Arg_0<=Arg_4 && 17<=Arg_3 && 17<=Arg_2+Arg_3 && 17+Arg_2<=Arg_3 && 18<=Arg_1+Arg_3 && 16+Arg_1<=Arg_3 && 18<=Arg_0+Arg_3 && 16+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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___9
Found invariant 1+Arg_4<=0 && 11+Arg_4<=Arg_3 && Arg_3+Arg_4<=10 && 1+Arg_4<=Arg_2 && 1+Arg_2+Arg_4<=0 && 2+Arg_4<=Arg_1 && Arg_1+Arg_4<=0 && 2+Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && 0<=9+Arg_4 && 0<=6+Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=9+Arg_2+Arg_4 && Arg_2<=9+Arg_4 && 0<=8+Arg_1+Arg_4 && Arg_1<=10+Arg_4 && 0<=8+Arg_0+Arg_4 && Arg_0<=10+Arg_4 && Arg_3<=11 && Arg_3<=11+Arg_2 && Arg_2+Arg_3<=11 && Arg_3<=10+Arg_1 && Arg_1+Arg_3<=12 && Arg_3<=10+Arg_0 && Arg_0+Arg_3<=12 && 3<=Arg_3 && 3<=Arg_2+Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && 2+Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_f8___15
Found invariant Arg_4<=1 && Arg_4<=Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=1+Arg_2 && Arg_2+Arg_4<=1 && Arg_4<=Arg_1 && Arg_1+Arg_4<=2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=2 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_2+Arg_4 && 1+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && Arg_1<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=1 && Arg_3<=1+Arg_2 && Arg_2+Arg_3<=1 && Arg_3<=Arg_1 && Arg_1+Arg_3<=2 && Arg_3<=Arg_0 && Arg_0+Arg_3<=2 && 1<=Arg_3 && 1<=Arg_2+Arg_3 && 1+Arg_2<=Arg_3 && 2<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_f8___17
Found invariant 0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 13<=Arg_4 && 21<=Arg_3+Arg_4 && 13<=Arg_2+Arg_4 && 13+Arg_2<=Arg_4 && 14<=Arg_1+Arg_4 && 12+Arg_1<=Arg_4 && 14<=Arg_0+Arg_4 && 12+Arg_0<=Arg_4 && 8<=Arg_3 && 8<=Arg_2+Arg_3 && 8+Arg_2<=Arg_3 && 9<=Arg_1+Arg_3 && 7+Arg_1<=Arg_3 && 9<=Arg_0+Arg_3 && 7+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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___8
Found invariant 18<=Arg_4 && 48<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 19<=Arg_2+Arg_4 && 17+Arg_2<=Arg_4 && 19<=Arg_1+Arg_4 && 17+Arg_1<=Arg_4 && 19<=Arg_0+Arg_4 && 17+Arg_0<=Arg_4 && 30<=Arg_3 && 31<=Arg_2+Arg_3 && 29+Arg_2<=Arg_3 && 31<=Arg_1+Arg_3 && 29+Arg_1<=Arg_3 && 31<=Arg_0+Arg_3 && 29+Arg_0<=Arg_3 && Arg_2<=1 && Arg_2<=Arg_1 && Arg_1+Arg_2<=2 && Arg_2<=Arg_0 && Arg_0+Arg_2<=2 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && Arg_0<=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_f28___2
Found invariant 0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_f8___4
Found invariant Arg_4<=9 && 6+Arg_4<=Arg_3 && Arg_4<=9+Arg_2 && Arg_2+Arg_4<=9 && Arg_4<=8+Arg_1 && Arg_1+Arg_4<=10 && Arg_4<=8+Arg_0 && Arg_0+Arg_4<=10 && 15<=Arg_3 && 15<=Arg_2+Arg_3 && 15+Arg_2<=Arg_3 && 16<=Arg_1+Arg_3 && 14+Arg_1<=Arg_3 && 16<=Arg_0+Arg_3 && 14+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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___6
Found invariant 14<=Arg_3 && 14<=Arg_2+Arg_3 && 14+Arg_2<=Arg_3 && 15<=Arg_1+Arg_3 && 13+Arg_1<=Arg_3 && 15<=Arg_0+Arg_3 && 13+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_f14___5
Cut unsatisfiable transition 71: n_f10___14->n_f8___15
Problem after Preprocessing
Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4
Temp_Vars: D_P, NoDet0
Locations: n_f0, n_f10___12, n_f10___14, n_f10___16, n_f10___3, n_f10___6, n_f10___8, n_f10___9, n_f14___1, n_f14___10, n_f14___11, n_f14___13, n_f14___5, n_f14___7, n_f28___2, n_f8___15, n_f8___17, n_f8___4
Transitions:
66:n_f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f8___17(1,1,0,1,1)
67:n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+2):|:Arg_4<=9 && Arg_4<=1+Arg_3 && Arg_4<=9+Arg_2 && Arg_2+Arg_4<=9 && Arg_4<=8+Arg_1 && Arg_1+Arg_4<=10 && Arg_4<=8+Arg_0 && Arg_0+Arg_4<=10 && 4<=Arg_3 && 4<=Arg_2+Arg_3 && 4+Arg_2<=Arg_3 && 5<=Arg_1+Arg_3 && 3+Arg_1<=Arg_3 && 5<=Arg_0+Arg_3 && 3+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=9 && 1+Arg_4<=Arg_3 && Arg_4<=5
68:n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___11(Arg_0,Arg_1,Arg_2,D_P,NoDet0):|:Arg_4<=9 && Arg_4<=1+Arg_3 && Arg_4<=9+Arg_2 && Arg_2+Arg_4<=9 && Arg_4<=8+Arg_1 && Arg_1+Arg_4<=10 && Arg_4<=8+Arg_0 && Arg_0+Arg_4<=10 && 4<=Arg_3 && 4<=Arg_2+Arg_3 && 4+Arg_2<=Arg_3 && 5<=Arg_1+Arg_3 && 3+Arg_1<=Arg_3 && 5<=Arg_0+Arg_3 && 3+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=9 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3
69:n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f8___15(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10):|:Arg_4<=9 && Arg_4<=1+Arg_3 && Arg_4<=9+Arg_2 && Arg_2+Arg_4<=9 && Arg_4<=8+Arg_1 && Arg_1+Arg_4<=10 && Arg_4<=8+Arg_0 && Arg_0+Arg_4<=10 && 4<=Arg_3 && 4<=Arg_2+Arg_3 && 4+Arg_2<=Arg_3 && 5<=Arg_1+Arg_3 && 3+Arg_1<=Arg_3 && 5<=Arg_0+Arg_3 && 3+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=9 && Arg_3<=Arg_4
70:n_f10___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+2):|:1+Arg_4<=0 && 11+Arg_4<=Arg_3 && Arg_3+Arg_4<=10 && 1+Arg_4<=Arg_2 && 1+Arg_2+Arg_4<=0 && 2+Arg_4<=Arg_1 && Arg_1+Arg_4<=0 && 2+Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && 0<=9+Arg_4 && 0<=6+Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=9+Arg_2+Arg_4 && Arg_2<=9+Arg_4 && 0<=8+Arg_1+Arg_4 && Arg_1<=10+Arg_4 && 0<=8+Arg_0+Arg_4 && Arg_0<=10+Arg_4 && Arg_3<=11 && Arg_3<=11+Arg_2 && Arg_2+Arg_3<=11 && Arg_3<=10+Arg_1 && Arg_1+Arg_3<=12 && Arg_3<=10+Arg_0 && Arg_0+Arg_3<=12 && 3<=Arg_3 && 3<=Arg_2+Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && 2+Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=5 && Arg_3<=29 && Arg_4<=9 && 1+Arg_4<=Arg_3 && Arg_4<=5
72:n_f10___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f8___15(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10):|:Arg_4<=1 && Arg_4<=Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=1+Arg_2 && Arg_2+Arg_4<=1 && Arg_4<=Arg_1 && Arg_1+Arg_4<=2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=2 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_2+Arg_4 && 1+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && Arg_1<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=1 && Arg_3<=1+Arg_2 && Arg_2+Arg_3<=1 && Arg_3<=Arg_1 && Arg_1+Arg_3<=2 && Arg_3<=Arg_0 && Arg_0+Arg_3<=2 && 1<=Arg_3 && 1<=Arg_2+Arg_3 && 1+Arg_2<=Arg_3 && 2<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=5 && Arg_3<=Arg_4 && Arg_3<=29 && Arg_4<=9 && Arg_3<=Arg_4 && Arg_3<=Arg_4
73:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___1(Arg_0,Arg_1,Arg_2,D_P,NoDet0):|:0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3
74:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+2):|:0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && 1+Arg_4<=Arg_3 && Arg_4<=5
75:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10):|:0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && Arg_3<=Arg_4
76:n_f10___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+2):|:Arg_4<=9 && 6+Arg_4<=Arg_3 && Arg_4<=9+Arg_2 && Arg_2+Arg_4<=9 && Arg_4<=8+Arg_1 && Arg_1+Arg_4<=10 && Arg_4<=8+Arg_0 && Arg_0+Arg_4<=10 && 15<=Arg_3 && 15<=Arg_2+Arg_3 && 15+Arg_2<=Arg_3 && 16<=Arg_1+Arg_3 && 14+Arg_1<=Arg_3 && 16<=Arg_0+Arg_3 && 14+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=Arg_3 && Arg_4<=9 && 1+Arg_4<=Arg_3 && Arg_4<=5
77:n_f10___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___11(Arg_0,Arg_1,Arg_2,D_P,NoDet0):|:Arg_4<=9 && 6+Arg_4<=Arg_3 && Arg_4<=9+Arg_2 && Arg_2+Arg_4<=9 && Arg_4<=8+Arg_1 && Arg_1+Arg_4<=10 && Arg_4<=8+Arg_0 && Arg_0+Arg_4<=10 && 15<=Arg_3 && 15<=Arg_2+Arg_3 && 15+Arg_2<=Arg_3 && 16<=Arg_1+Arg_3 && 14+Arg_1<=Arg_3 && 16<=Arg_0+Arg_3 && 14+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=Arg_3 && Arg_4<=9 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3
78:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___5(Arg_0,Arg_1,Arg_2,D_P,NoDet0):|:13<=Arg_4 && 21<=Arg_3+Arg_4 && 13<=Arg_2+Arg_4 && 13+Arg_2<=Arg_4 && 14<=Arg_1+Arg_4 && 12+Arg_1<=Arg_4 && 14<=Arg_0+Arg_4 && 12+Arg_0<=Arg_4 && 8<=Arg_3 && 8<=Arg_2+Arg_3 && 8+Arg_2<=Arg_3 && 9<=Arg_1+Arg_3 && 7+Arg_1<=Arg_3 && 9<=Arg_0+Arg_3 && 7+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 6<=Arg_4 && 13<=Arg_4 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3
79:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10):|:13<=Arg_4 && 21<=Arg_3+Arg_4 && 13<=Arg_2+Arg_4 && 13+Arg_2<=Arg_4 && 14<=Arg_1+Arg_4 && 12+Arg_1<=Arg_4 && 14<=Arg_0+Arg_4 && 12+Arg_0<=Arg_4 && 8<=Arg_3 && 8<=Arg_2+Arg_3 && 8+Arg_2<=Arg_3 && 9<=Arg_1+Arg_3 && 7+Arg_1<=Arg_3 && 9<=Arg_0+Arg_3 && 7+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 6<=Arg_4 && 13<=Arg_4 && Arg_3<=Arg_4
80:n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___7(Arg_0,Arg_1,Arg_2,D_P,NoDet0):|:Arg_4<=12 && 5+Arg_4<=Arg_3 && Arg_4<=12+Arg_2 && Arg_2+Arg_4<=12 && Arg_4<=11+Arg_1 && Arg_1+Arg_4<=13 && Arg_4<=11+Arg_0 && Arg_0+Arg_4<=13 && 10<=Arg_4 && 27<=Arg_3+Arg_4 && 10<=Arg_2+Arg_4 && 10+Arg_2<=Arg_4 && 11<=Arg_1+Arg_4 && 9+Arg_1<=Arg_4 && 11<=Arg_0+Arg_4 && 9+Arg_0<=Arg_4 && 17<=Arg_3 && 17<=Arg_2+Arg_3 && 17+Arg_2<=Arg_3 && 18<=Arg_1+Arg_3 && 16+Arg_1<=Arg_3 && 18<=Arg_0+Arg_3 && 16+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=Arg_3 && 6<=Arg_4 && 6<=Arg_4 && 1+Arg_4<=Arg_3 && 10<=Arg_4 && Arg_4<=12 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3
81:n_f14___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && 7<=Arg_3 && Arg_4<=9
82:n_f14___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && 7<=Arg_3 && 13<=Arg_4
83:n_f14___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3+10,Arg_4):|:Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && 7<=Arg_3 && 10<=Arg_4 && Arg_4<=12
84:n_f14___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:Arg_4<=7 && Arg_4<=1+Arg_3 && Arg_4<=7+Arg_2 && Arg_2+Arg_4<=7 && Arg_4<=6+Arg_1 && Arg_1+Arg_4<=8 && Arg_4<=6+Arg_0 && Arg_0+Arg_4<=8 && 4<=Arg_3 && 4<=Arg_2+Arg_3 && 4+Arg_2<=Arg_3 && 5<=Arg_1+Arg_3 && 3+Arg_1<=Arg_3 && 5<=Arg_0+Arg_3 && 3+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=7 && Arg_4<=1+Arg_3 && Arg_4<=9
85:n_f14___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:7<=Arg_3 && 7<=Arg_2+Arg_3 && 7+Arg_2<=Arg_3 && 8<=Arg_1+Arg_3 && 6+Arg_1<=Arg_3 && 8<=Arg_0+Arg_3 && 6+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 7<=Arg_3 && Arg_4<=9
86:n_f14___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:7<=Arg_3 && 7<=Arg_2+Arg_3 && 7+Arg_2<=Arg_3 && 8<=Arg_1+Arg_3 && 6+Arg_1<=Arg_3 && 8<=Arg_0+Arg_3 && 6+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 7<=Arg_3 && 13<=Arg_4
87:n_f14___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3+10,Arg_4):|:7<=Arg_3 && 7<=Arg_2+Arg_3 && 7+Arg_2<=Arg_3 && 8<=Arg_1+Arg_3 && 6+Arg_1<=Arg_3 && 8<=Arg_0+Arg_3 && 6+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 7<=Arg_3 && 10<=Arg_4 && Arg_4<=12
88:n_f14___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:Arg_4<=7 && 3+Arg_4<=Arg_3 && Arg_3+Arg_4<=24 && Arg_4<=7+Arg_2 && Arg_2+Arg_4<=7 && Arg_4<=6+Arg_1 && Arg_1+Arg_4<=8 && Arg_4<=6+Arg_0 && Arg_0+Arg_4<=8 && 0<=7+Arg_4 && 0<=4+Arg_3+Arg_4 && Arg_3<=10+Arg_4 && 0<=7+Arg_2+Arg_4 && Arg_2<=7+Arg_4 && 0<=6+Arg_1+Arg_4 && Arg_1<=8+Arg_4 && 0<=6+Arg_0+Arg_4 && Arg_0<=8+Arg_4 && Arg_3<=17 && Arg_3<=17+Arg_2 && Arg_2+Arg_3<=17 && Arg_3<=16+Arg_1 && Arg_1+Arg_3<=18 && Arg_3<=16+Arg_0 && Arg_0+Arg_3<=18 && 3<=Arg_3 && 3<=Arg_2+Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && 2+Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && Arg_4<=1+Arg_3 && Arg_4<=7 && Arg_4<=9
89:n_f14___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___6(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:14<=Arg_3 && 14<=Arg_2+Arg_3 && 14+Arg_2<=Arg_3 && 15<=Arg_1+Arg_3 && 13+Arg_1<=Arg_3 && 15<=Arg_0+Arg_3 && 13+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 14<=Arg_3 && Arg_4<=9
90:n_f14___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:14<=Arg_3 && 14<=Arg_2+Arg_3 && 14+Arg_2<=Arg_3 && 15<=Arg_1+Arg_3 && 13+Arg_1<=Arg_3 && 15<=Arg_0+Arg_3 && 13+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 14<=Arg_3 && 13<=Arg_4
91:n_f14___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3+10,Arg_4):|:14<=Arg_3 && 14<=Arg_2+Arg_3 && 14+Arg_2<=Arg_3 && 15<=Arg_1+Arg_3 && 13+Arg_1<=Arg_3 && 15<=Arg_0+Arg_3 && 13+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 14<=Arg_3 && 10<=Arg_4 && Arg_4<=12
92:n_f14___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___6(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:17<=Arg_3 && 17<=Arg_2+Arg_3 && 17+Arg_2<=Arg_3 && 18<=Arg_1+Arg_3 && 16+Arg_1<=Arg_3 && 18<=Arg_0+Arg_3 && 16+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 11<=Arg_3 && Arg_4<=9
93:n_f14___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:17<=Arg_3 && 17<=Arg_2+Arg_3 && 17+Arg_2<=Arg_3 && 18<=Arg_1+Arg_3 && 16+Arg_1<=Arg_3 && 18<=Arg_0+Arg_3 && 16+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 11<=Arg_3 && 13<=Arg_4
94:n_f14___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3+10,Arg_4):|:17<=Arg_3 && 17<=Arg_2+Arg_3 && 17+Arg_2<=Arg_3 && 18<=Arg_1+Arg_3 && 16+Arg_1<=Arg_3 && 18<=Arg_0+Arg_3 && 16+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 11<=Arg_3 && 10<=Arg_4 && Arg_4<=12
95:n_f8___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:1+Arg_4<=0 && 11+Arg_4<=Arg_3 && Arg_3+Arg_4<=10 && 1+Arg_4<=Arg_2 && 1+Arg_2+Arg_4<=0 && 2+Arg_4<=Arg_1 && Arg_1+Arg_4<=0 && 2+Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && 0<=9+Arg_4 && 0<=6+Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=9+Arg_2+Arg_4 && Arg_2<=9+Arg_4 && 0<=8+Arg_1+Arg_4 && Arg_1<=10+Arg_4 && 0<=8+Arg_0+Arg_4 && Arg_0<=10+Arg_4 && Arg_3<=11 && Arg_3<=11+Arg_2 && Arg_2+Arg_3<=11 && Arg_3<=10+Arg_1 && Arg_1+Arg_3<=12 && Arg_3<=10+Arg_0 && Arg_0+Arg_3<=12 && 3<=Arg_3 && 3<=Arg_2+Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && 2+Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && Arg_4<=5 && Arg_3<=29 && Arg_3<=12+Arg_4 && Arg_3<=29
96:n_f8___17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:Arg_4<=1 && Arg_4<=Arg_3 && Arg_3+Arg_4<=2 && Arg_4<=1+Arg_2 && Arg_2+Arg_4<=1 && Arg_4<=Arg_1 && Arg_1+Arg_4<=2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=2 && 1<=Arg_4 && 2<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 1<=Arg_2+Arg_4 && 1+Arg_2<=Arg_4 && 2<=Arg_1+Arg_4 && Arg_1<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=1 && Arg_3<=1+Arg_2 && Arg_2+Arg_3<=1 && Arg_3<=Arg_1 && Arg_1+Arg_3<=2 && Arg_3<=Arg_0 && Arg_0+Arg_3<=2 && 1<=Arg_3 && 1<=Arg_2+Arg_3 && 1+Arg_2<=Arg_3 && 2<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && Arg_4<=5 && Arg_3<=Arg_4 && Arg_4<=1 && 1<=Arg_4 && Arg_0<=1 && 1<=Arg_0 && Arg_1<=1 && 1<=Arg_1 && Arg_2<=0 && 0<=Arg_2 && Arg_3<=1 && 1<=Arg_3 && Arg_3<=29 && Arg_3<=12+Arg_4 && Arg_3<=29
97:n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=12+Arg_4 && Arg_3<=29
98:n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f28___2(Arg_0,Arg_1,1,Arg_3,Arg_4):|:0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=12+Arg_4 && 30<=Arg_3
MPRF for transition 69:n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f8___15(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10):|:Arg_4<=9 && Arg_4<=1+Arg_3 && Arg_4<=9+Arg_2 && Arg_2+Arg_4<=9 && Arg_4<=8+Arg_1 && Arg_1+Arg_4<=10 && Arg_4<=8+Arg_0 && Arg_0+Arg_4<=10 && 4<=Arg_3 && 4<=Arg_2+Arg_3 && 4+Arg_2<=Arg_3 && 5<=Arg_1+Arg_3 && 3+Arg_1<=Arg_3 && 5<=Arg_0+Arg_3 && 3+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=9 && Arg_3<=Arg_4 of depth 1:
new bound:
36 {O(1)}
MPRF:
n_f14___1 [5*Arg_1+21-Arg_0-3*Arg_3 ]
n_f14___10 [60*Arg_0+Arg_4-3*Arg_3-43 ]
n_f14___11 [60*Arg_0-3*Arg_3-35 ]
n_f14___13 [174*Arg_0+Arg_4-3*Arg_3-158 ]
n_f10___12 [Arg_4+19-3*Arg_3 ]
n_f14___5 [25-3*Arg_3 ]
n_f10___6 [60*Arg_1+Arg_4-3*Arg_3-41 ]
n_f10___8 [28-3*Arg_3 ]
n_f14___7 [Arg_0+24-3*Arg_3 ]
n_f10___9 [25-3*Arg_3 ]
n_f8___15 [Arg_4+18-3*Arg_3 ]
n_f10___14 [348*Arg_0+Arg_4-174*Arg_1-3*Arg_3-156 ]
n_f8___4 [174*Arg_0-140*Arg_1-3*Arg_3 ]
n_f10___3 [174*Arg_0-3*Arg_3-140 ]
MPRF for transition 70:n_f10___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+2):|:1+Arg_4<=0 && 11+Arg_4<=Arg_3 && Arg_3+Arg_4<=10 && 1+Arg_4<=Arg_2 && 1+Arg_2+Arg_4<=0 && 2+Arg_4<=Arg_1 && Arg_1+Arg_4<=0 && 2+Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && 0<=9+Arg_4 && 0<=6+Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=9+Arg_2+Arg_4 && Arg_2<=9+Arg_4 && 0<=8+Arg_1+Arg_4 && Arg_1<=10+Arg_4 && 0<=8+Arg_0+Arg_4 && Arg_0<=10+Arg_4 && Arg_3<=11 && Arg_3<=11+Arg_2 && Arg_2+Arg_3<=11 && Arg_3<=10+Arg_1 && Arg_1+Arg_3<=12 && Arg_3<=10+Arg_0 && Arg_0+Arg_3<=12 && 3<=Arg_3 && 3<=Arg_2+Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && 2+Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_4<=5 && Arg_3<=29 && Arg_4<=9 && 1+Arg_4<=Arg_3 && Arg_4<=5 of depth 1:
new bound:
13833 {O(1)}
MPRF:
n_f14___1 [5895-749*Arg_3 ]
n_f14___10 [266*Arg_4+3991-798*Arg_3 ]
n_f14___11 [6385-798*Arg_3 ]
n_f14___13 [266*Arg_4+3991-798*Arg_3 ]
n_f10___12 [266*Arg_4+4789-798*Arg_3 ]
n_f14___5 [6385*Arg_0-798*Arg_3 ]
n_f10___6 [4789*Arg_1+266*Arg_4-798*Arg_3 ]
n_f10___8 [7183-798*Arg_3 ]
n_f14___7 [6385-798*Arg_3 ]
n_f10___9 [6385-798*Arg_3 ]
n_f8___15 [35*Arg_0+9010*Arg_1+266*Arg_4-798*Arg_3 ]
n_f10___14 [266*Arg_4+9045-798*Arg_3 ]
n_f8___4 [7183*Arg_1-665*Arg_3-133*Arg_4 ]
n_f10___3 [7183*Arg_1-665*Arg_3-133*Arg_4 ]
MPRF for transition 73:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___1(Arg_0,Arg_1,Arg_2,D_P,NoDet0):|:0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && 1+Arg_4<=D_P && 6<=Arg_4 && Arg_3<=D_P && D_P<=Arg_3 of depth 1:
new bound:
342 {O(1)}
MPRF:
n_f14___1 [287-11*Arg_3 ]
n_f14___10 [287*Arg_0-11*Arg_3 ]
n_f14___11 [287*Arg_0-11*Arg_3 ]
n_f14___13 [276*Arg_0-11*Arg_3 ]
n_f10___12 [287-11*Arg_3 ]
n_f14___5 [287*Arg_0-11*Arg_3 ]
n_f10___6 [287*Arg_1-11*Arg_3 ]
n_f10___8 [298*Arg_1-11*Arg_3 ]
n_f14___7 [287*Arg_0-11*Arg_3 ]
n_f10___9 [287-11*Arg_3 ]
n_f8___15 [309*Arg_1-11*Arg_3 ]
n_f10___14 [273*Arg_1-8*Arg_3-3*Arg_4 ]
n_f8___4 [320*Arg_0-11*Arg_3 ]
n_f10___3 [320-11*Arg_3 ]
MPRF for transition 74:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f14___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+2):|:0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && 1+Arg_4<=Arg_3 && Arg_4<=5 of depth 1:
new bound:
160 {O(1)}
MPRF:
n_f14___1 [183-7*Arg_3 ]
n_f14___10 [183*Arg_0-7*Arg_3 ]
n_f14___11 [183-7*Arg_3 ]
n_f14___13 [176-7*Arg_3 ]
n_f10___12 [183-7*Arg_3 ]
n_f14___5 [183-7*Arg_3 ]
n_f10___6 [183-7*Arg_3 ]
n_f10___8 [190*Arg_1-7*Arg_3 ]
n_f14___7 [183-7*Arg_3 ]
n_f10___9 [183-7*Arg_3 ]
n_f8___15 [115*Arg_0-5*Arg_4 ]
n_f10___14 [121-2*Arg_3-5*Arg_4 ]
n_f8___4 [204*Arg_1-7*Arg_3 ]
n_f10___3 [204-7*Arg_3 ]
MPRF for transition 75:n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10):|:0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && Arg_3<=Arg_4 of depth 1:
new bound:
782321 {O(1)}
MPRF:
n_f14___1 [636406-21945*Arg_3 ]
n_f14___10 [577886*Arg_0+7315*Arg_4-21945*Arg_3 ]
n_f14___11 [636406*Arg_0-21945*Arg_3 ]
n_f14___13 [685686*Arg_0+7315*Arg_4-25410*Arg_3 ]
n_f10___12 [7315*Arg_4+592516-21945*Arg_3 ]
n_f14___5 [636406*Arg_1-21945*Arg_3 ]
n_f10___6 [7315*Arg_4+592516-21945*Arg_3 ]
n_f10___8 [658351*Arg_1-21945*Arg_3 ]
n_f14___7 [636406-21945*Arg_3 ]
n_f10___9 [636406*Arg_0-21945*Arg_3 ]
n_f8___15 [694310*Arg_1+1309*Arg_4-25410*Arg_3 ]
n_f10___14 [7315*Arg_4+700316-25410*Arg_3 ]
n_f8___4 [736891-25410*Arg_3 ]
n_f10___3 [736891-25410*Arg_3 ]
MPRF for transition 81:n_f14___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && 7<=Arg_3 && Arg_4<=9 of depth 1:
new bound:
35 {O(1)}
MPRF:
n_f14___1 [30-Arg_3 ]
n_f14___10 [30*Arg_0-Arg_3 ]
n_f14___11 [30-Arg_3 ]
n_f14___13 [32*Arg_0-Arg_3 ]
n_f10___12 [30-Arg_3 ]
n_f14___5 [30*Arg_0-Arg_3 ]
n_f10___6 [30-Arg_3 ]
n_f10___8 [31-Arg_3 ]
n_f14___7 [30-Arg_3 ]
n_f10___9 [3*Arg_4-Arg_3 ]
n_f8___15 [32*Arg_1-Arg_3 ]
n_f10___14 [32*Arg_0-Arg_3 ]
n_f8___4 [32*Arg_0-Arg_3 ]
n_f10___3 [32-Arg_3 ]
MPRF for transition 82:n_f14___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && 7<=Arg_3 && 13<=Arg_4 of depth 1:
new bound:
477 {O(1)}
MPRF:
n_f14___1 [494-17*Arg_3 ]
n_f14___10 [477*Arg_1-17*Arg_3 ]
n_f14___11 [477*Arg_1-17*Arg_3 ]
n_f14___13 [508*Arg_0-18*Arg_3-Arg_4 ]
n_f10___12 [494-17*Arg_3 ]
n_f14___5 [460*Arg_1-17*Arg_3 ]
n_f10___6 [477-17*Arg_3 ]
n_f10___8 [460-17*Arg_3 ]
n_f14___7 [460-17*Arg_3 ]
n_f10___9 [460-17*Arg_3 ]
n_f8___15 [324*Arg_1-17*Arg_4 ]
n_f10___14 [508*Arg_0-17*Arg_4-184 ]
n_f8___4 [494*Arg_0-17*Arg_3 ]
n_f10___3 [494-17*Arg_3 ]
MPRF for transition 83:n_f14___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___9(Arg_0,Arg_1,Arg_2,Arg_3+10,Arg_4):|:Arg_3<=29 && Arg_3<=29+Arg_2 && Arg_2+Arg_3<=29 && Arg_3<=28+Arg_1 && Arg_1+Arg_3<=30 && Arg_3<=28+Arg_0 && Arg_0+Arg_3<=30 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && 7<=Arg_3 && 10<=Arg_4 && Arg_4<=12 of depth 1:
new bound:
7008 {O(1)}
MPRF:
n_f14___1 [6700-231*Arg_3 ]
n_f14___10 [5391*Arg_0+77*Arg_4-231*Arg_3 ]
n_f14___11 [6007-231*Arg_3 ]
n_f14___13 [5875*Arg_1-187*Arg_3-44*Arg_4 ]
n_f10___12 [77*Arg_4+5545-231*Arg_3 ]
n_f14___5 [6007*Arg_0-231*Arg_3 ]
n_f10___6 [77*Arg_4+5545-231*Arg_3 ]
n_f10___8 [6238*Arg_1-231*Arg_3 ]
n_f14___7 [6007-231*Arg_3 ]
n_f10___9 [6007-231*Arg_3 ]
n_f8___15 [6315-231*Arg_3 ]
n_f10___14 [5787-187*Arg_3-44*Arg_4 ]
n_f8___4 [6700*Arg_0-231*Arg_3 ]
n_f10___3 [6700-231*Arg_3 ]
MPRF for transition 88:n_f14___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___12(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:Arg_4<=7 && 3+Arg_4<=Arg_3 && Arg_3+Arg_4<=24 && Arg_4<=7+Arg_2 && Arg_2+Arg_4<=7 && Arg_4<=6+Arg_1 && Arg_1+Arg_4<=8 && Arg_4<=6+Arg_0 && Arg_0+Arg_4<=8 && 0<=7+Arg_4 && 0<=4+Arg_3+Arg_4 && Arg_3<=10+Arg_4 && 0<=7+Arg_2+Arg_4 && Arg_2<=7+Arg_4 && 0<=6+Arg_1+Arg_4 && Arg_1<=8+Arg_4 && 0<=6+Arg_0+Arg_4 && Arg_0<=8+Arg_4 && Arg_3<=17 && Arg_3<=17+Arg_2 && Arg_2+Arg_3<=17 && Arg_3<=16+Arg_1 && Arg_1+Arg_3<=18 && Arg_3<=16+Arg_0 && Arg_0+Arg_3<=18 && 3<=Arg_3 && 3<=Arg_2+Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && 2+Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && Arg_4<=1+Arg_3 && Arg_4<=7 && Arg_4<=9 of depth 1:
new bound:
6777 {O(1)}
MPRF:
n_f14___1 [6147*Arg_1-336*Arg_3 ]
n_f14___10 [6777*Arg_1-399*Arg_3 ]
n_f14___11 [6777-399*Arg_3 ]
n_f14___13 [6784-399*Arg_3 ]
n_f10___12 [7176-399*Arg_3 ]
n_f14___5 [6777-399*Arg_3 ]
n_f10___6 [6777*Arg_0-399*Arg_3 ]
n_f10___8 [7176-399*Arg_3 ]
n_f14___7 [6777-399*Arg_3 ]
n_f10___9 [6789-399*Arg_3-Arg_4 ]
n_f8___15 [3186*Arg_0-399*Arg_4 ]
n_f10___14 [6784-399*Arg_3 ]
n_f8___4 [7974*Arg_1-399*Arg_3 ]
n_f10___3 [7973*Arg_0+1-399*Arg_3 ]
MPRF for transition 95:n_f8___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:1+Arg_4<=0 && 11+Arg_4<=Arg_3 && Arg_3+Arg_4<=10 && 1+Arg_4<=Arg_2 && 1+Arg_2+Arg_4<=0 && 2+Arg_4<=Arg_1 && Arg_1+Arg_4<=0 && 2+Arg_4<=Arg_0 && Arg_0+Arg_4<=0 && 0<=9+Arg_4 && 0<=6+Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=9+Arg_2+Arg_4 && Arg_2<=9+Arg_4 && 0<=8+Arg_1+Arg_4 && Arg_1<=10+Arg_4 && 0<=8+Arg_0+Arg_4 && Arg_0<=10+Arg_4 && Arg_3<=11 && Arg_3<=11+Arg_2 && Arg_2+Arg_3<=11 && Arg_3<=10+Arg_1 && Arg_1+Arg_3<=12 && Arg_3<=10+Arg_0 && Arg_0+Arg_3<=12 && 3<=Arg_3 && 3<=Arg_2+Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && 2+Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=29 && Arg_4<=5 && Arg_3<=29 && Arg_3<=12+Arg_4 && Arg_3<=29 of depth 1:
new bound:
277 {O(1)}
MPRF:
n_f14___1 [10*Arg_0+147*Arg_1-19*Arg_3-1 ]
n_f14___10 [163*Arg_1+Arg_4-19*Arg_3-19 ]
n_f14___11 [163*Arg_1-19*Arg_3-10 ]
n_f14___13 [Arg_4+149-19*Arg_3 ]
n_f10___12 [163*Arg_1+Arg_4-19*Arg_3 ]
n_f14___5 [134-19*Arg_3 ]
n_f10___6 [163*Arg_1-19*Arg_3-10 ]
n_f10___8 [134-19*Arg_3 ]
n_f14___7 [793-469*Arg_0-19*Arg_3 ]
n_f10___9 [793-469*Arg_0-19*Arg_3 ]
n_f8___15 [Arg_4+211-19*Arg_3 ]
n_f10___14 [Arg_4+151-19*Arg_3 ]
n_f8___4 [156*Arg_1-19*Arg_3 ]
n_f10___3 [156-19*Arg_3 ]
MPRF for transition 97:n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f10___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:0<=Arg_4 && 12<=Arg_3+Arg_4 && Arg_3<=12+Arg_4 && 0<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 1<=Arg_1+Arg_4 && Arg_1<=1+Arg_4 && 1<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && 10<=Arg_3 && 10<=Arg_2+Arg_3 && 10+Arg_2<=Arg_3 && 11<=Arg_1+Arg_3 && 9+Arg_1<=Arg_3 && 11<=Arg_0+Arg_3 && 9+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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_3<=12+Arg_4 && Arg_3<=29 of depth 1:
new bound:
35 {O(1)}
MPRF:
n_f14___1 [29-Arg_3 ]
n_f14___10 [29*Arg_0-Arg_3 ]
n_f14___11 [30-Arg_3 ]
n_f14___13 [29-Arg_3 ]
n_f10___12 [30-Arg_3 ]
n_f14___5 [29-Arg_3 ]
n_f10___6 [30-Arg_3 ]
n_f10___8 [29-Arg_3 ]
n_f14___7 [29*Arg_0-Arg_3 ]
n_f10___9 [41-Arg_3-Arg_4 ]
n_f8___15 [32-Arg_3 ]
n_f10___14 [29-Arg_3 ]
n_f8___4 [30-Arg_3 ]
n_f10___3 [29-Arg_3 ]
MPRF for transition 79:n_f10___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> n_f8___4(Arg_0,Arg_1,Arg_2,Arg_3+2,Arg_4-10):|:13<=Arg_4 && 21<=Arg_3+Arg_4 && 13<=Arg_2+Arg_4 && 13+Arg_2<=Arg_4 && 14<=Arg_1+Arg_4 && 12+Arg_1<=Arg_4 && 14<=Arg_0+Arg_4 && 12+Arg_0<=Arg_4 && 8<=Arg_3 && 8<=Arg_2+Arg_3 && 8+Arg_2<=Arg_3 && 9<=Arg_1+Arg_3 && 7+Arg_1<=Arg_3 && 9<=Arg_0+Arg_3 && 7+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=1 && 1+Arg_2<=Arg_0 && Arg_0+Arg_2<=1 && 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 && 6<=Arg_4 && 13<=Arg_4 && Arg_3<=Arg_4 of depth 1:
new bound:
36 {O(1)}
MPRF:
n_f10___3 [1 ]
n_f8___4 [Arg_3-Arg_4-23 ]
n_f14___1 [Arg_0 ]
n_f14___10 [Arg_0 ]
n_f14___11 [1 ]
n_f14___13 [18*Arg_1-17 ]
n_f10___12 [1 ]
n_f14___5 [Arg_1+1-Arg_0 ]
n_f10___6 [1 ]
n_f10___8 [1 ]
n_f14___7 [Arg_1 ]
n_f10___9 [1 ]
n_f8___15 [1 ]
n_f10___14 [Arg_0+18*Arg_1-18 ]
All Bounds
Timebounds
Overall timebound:inf {Infinity}
66: n_f0->n_f8___17: 1 {O(1)}
67: n_f10___12->n_f14___10: inf {Infinity}
68: n_f10___12->n_f14___11: inf {Infinity}
69: n_f10___12->n_f8___15: 36 {O(1)}
70: n_f10___14->n_f14___13: 13833 {O(1)}
72: n_f10___16->n_f8___15: 1 {O(1)}
73: n_f10___3->n_f14___1: 342 {O(1)}
74: n_f10___3->n_f14___13: 160 {O(1)}
75: n_f10___3->n_f8___4: 782321 {O(1)}
76: n_f10___6->n_f14___10: inf {Infinity}
77: n_f10___6->n_f14___11: inf {Infinity}
78: n_f10___8->n_f14___5: inf {Infinity}
79: n_f10___8->n_f8___4: 36 {O(1)}
80: n_f10___9->n_f14___7: inf {Infinity}
81: n_f14___1->n_f10___12: 35 {O(1)}
82: n_f14___1->n_f10___8: 477 {O(1)}
83: n_f14___1->n_f10___9: 7008 {O(1)}
84: n_f14___10->n_f10___12: inf {Infinity}
85: n_f14___11->n_f10___12: inf {Infinity}
86: n_f14___11->n_f10___8: inf {Infinity}
87: n_f14___11->n_f10___9: inf {Infinity}
88: n_f14___13->n_f10___12: 6777 {O(1)}
89: n_f14___5->n_f10___6: inf {Infinity}
90: n_f14___5->n_f10___8: inf {Infinity}
91: n_f14___5->n_f10___9: inf {Infinity}
92: n_f14___7->n_f10___6: inf {Infinity}
93: n_f14___7->n_f10___8: inf {Infinity}
94: n_f14___7->n_f10___9: inf {Infinity}
95: n_f8___15->n_f10___14: 277 {O(1)}
96: n_f8___17->n_f10___16: 1 {O(1)}
97: n_f8___4->n_f10___3: 35 {O(1)}
98: n_f8___4->n_f28___2: 1 {O(1)}
Costbounds
Overall costbound: inf {Infinity}
66: n_f0->n_f8___17: 1 {O(1)}
67: n_f10___12->n_f14___10: inf {Infinity}
68: n_f10___12->n_f14___11: inf {Infinity}
69: n_f10___12->n_f8___15: 36 {O(1)}
70: n_f10___14->n_f14___13: 13833 {O(1)}
72: n_f10___16->n_f8___15: 1 {O(1)}
73: n_f10___3->n_f14___1: 342 {O(1)}
74: n_f10___3->n_f14___13: 160 {O(1)}
75: n_f10___3->n_f8___4: 782321 {O(1)}
76: n_f10___6->n_f14___10: inf {Infinity}
77: n_f10___6->n_f14___11: inf {Infinity}
78: n_f10___8->n_f14___5: inf {Infinity}
79: n_f10___8->n_f8___4: 36 {O(1)}
80: n_f10___9->n_f14___7: inf {Infinity}
81: n_f14___1->n_f10___12: 35 {O(1)}
82: n_f14___1->n_f10___8: 477 {O(1)}
83: n_f14___1->n_f10___9: 7008 {O(1)}
84: n_f14___10->n_f10___12: inf {Infinity}
85: n_f14___11->n_f10___12: inf {Infinity}
86: n_f14___11->n_f10___8: inf {Infinity}
87: n_f14___11->n_f10___9: inf {Infinity}
88: n_f14___13->n_f10___12: 6777 {O(1)}
89: n_f14___5->n_f10___6: inf {Infinity}
90: n_f14___5->n_f10___8: inf {Infinity}
91: n_f14___5->n_f10___9: inf {Infinity}
92: n_f14___7->n_f10___6: inf {Infinity}
93: n_f14___7->n_f10___8: inf {Infinity}
94: n_f14___7->n_f10___9: inf {Infinity}
95: n_f8___15->n_f10___14: 277 {O(1)}
96: n_f8___17->n_f10___16: 1 {O(1)}
97: n_f8___4->n_f10___3: 35 {O(1)}
98: n_f8___4->n_f28___2: 1 {O(1)}
Sizebounds
66: n_f0->n_f8___17, Arg_0: 1 {O(1)}
66: n_f0->n_f8___17, Arg_1: 1 {O(1)}
66: n_f0->n_f8___17, Arg_2: 0 {O(1)}
66: n_f0->n_f8___17, Arg_3: 1 {O(1)}
66: n_f0->n_f8___17, Arg_4: 1 {O(1)}
67: n_f10___12->n_f14___10, Arg_0: 1 {O(1)}
67: n_f10___12->n_f14___10, Arg_1: 1 {O(1)}
67: n_f10___12->n_f14___10, Arg_2: 0 {O(1)}
68: n_f10___12->n_f14___11, Arg_0: 1 {O(1)}
68: n_f10___12->n_f14___11, Arg_1: 1 {O(1)}
68: n_f10___12->n_f14___11, Arg_2: 0 {O(1)}
69: n_f10___12->n_f8___15, Arg_0: 1 {O(1)}
69: n_f10___12->n_f8___15, Arg_1: 1 {O(1)}
69: n_f10___12->n_f8___15, Arg_2: 0 {O(1)}
69: n_f10___12->n_f8___15, Arg_3: 11 {O(1)}
69: n_f10___12->n_f8___15, Arg_4: 6 {O(1)}
70: n_f10___14->n_f14___13, Arg_0: 1 {O(1)}
70: n_f10___14->n_f14___13, Arg_1: 1 {O(1)}
70: n_f10___14->n_f14___13, Arg_2: 0 {O(1)}
70: n_f10___14->n_f14___13, Arg_3: 11 {O(1)}
70: n_f10___14->n_f14___13, Arg_4: 7 {O(1)}
72: n_f10___16->n_f8___15, Arg_0: 1 {O(1)}
72: n_f10___16->n_f8___15, Arg_1: 1 {O(1)}
72: n_f10___16->n_f8___15, Arg_2: 0 {O(1)}
72: n_f10___16->n_f8___15, Arg_3: 3 {O(1)}
72: n_f10___16->n_f8___15, Arg_4: 9 {O(1)}
73: n_f10___3->n_f14___1, Arg_0: 1 {O(1)}
73: n_f10___3->n_f14___1, Arg_1: 1 {O(1)}
73: n_f10___3->n_f14___1, Arg_2: 0 {O(1)}
73: n_f10___3->n_f14___1, Arg_3: 29 {O(1)}
74: n_f10___3->n_f14___13, Arg_0: 1 {O(1)}
74: n_f10___3->n_f14___13, Arg_1: 1 {O(1)}
74: n_f10___3->n_f14___13, Arg_2: 0 {O(1)}
74: n_f10___3->n_f14___13, Arg_3: 17 {O(1)}
74: n_f10___3->n_f14___13, Arg_4: 7 {O(1)}
75: n_f10___3->n_f8___4, Arg_0: 1 {O(1)}
75: n_f10___3->n_f8___4, Arg_1: 1 {O(1)}
75: n_f10___3->n_f8___4, Arg_2: 0 {O(1)}
75: n_f10___3->n_f8___4, Arg_3: 31 {O(1)}
76: n_f10___6->n_f14___10, Arg_0: 1 {O(1)}
76: n_f10___6->n_f14___10, Arg_1: 1 {O(1)}
76: n_f10___6->n_f14___10, Arg_2: 0 {O(1)}
77: n_f10___6->n_f14___11, Arg_0: 1 {O(1)}
77: n_f10___6->n_f14___11, Arg_1: 1 {O(1)}
77: n_f10___6->n_f14___11, Arg_2: 0 {O(1)}
78: n_f10___8->n_f14___5, Arg_0: 1 {O(1)}
78: n_f10___8->n_f14___5, Arg_1: 1 {O(1)}
78: n_f10___8->n_f14___5, Arg_2: 0 {O(1)}
79: n_f10___8->n_f8___4, Arg_0: 1 {O(1)}
79: n_f10___8->n_f8___4, Arg_1: 1 {O(1)}
79: n_f10___8->n_f8___4, Arg_2: 0 {O(1)}
80: n_f10___9->n_f14___7, Arg_0: 1 {O(1)}
80: n_f10___9->n_f14___7, Arg_1: 1 {O(1)}
80: n_f10___9->n_f14___7, Arg_2: 0 {O(1)}
81: n_f14___1->n_f10___12, Arg_0: 1 {O(1)}
81: n_f14___1->n_f10___12, Arg_1: 1 {O(1)}
81: n_f14___1->n_f10___12, Arg_2: 0 {O(1)}
81: n_f14___1->n_f10___12, Arg_3: 30 {O(1)}
82: n_f14___1->n_f10___8, Arg_0: 1 {O(1)}
82: n_f14___1->n_f10___8, Arg_1: 1 {O(1)}
82: n_f14___1->n_f10___8, Arg_2: 0 {O(1)}
82: n_f14___1->n_f10___8, Arg_3: 30 {O(1)}
83: n_f14___1->n_f10___9, Arg_0: 1 {O(1)}
83: n_f14___1->n_f10___9, Arg_1: 1 {O(1)}
83: n_f14___1->n_f10___9, Arg_2: 0 {O(1)}
83: n_f14___1->n_f10___9, Arg_3: 39 {O(1)}
83: n_f14___1->n_f10___9, Arg_4: 12 {O(1)}
84: n_f14___10->n_f10___12, Arg_0: 1 {O(1)}
84: n_f14___10->n_f10___12, Arg_1: 1 {O(1)}
84: n_f14___10->n_f10___12, Arg_2: 0 {O(1)}
85: n_f14___11->n_f10___12, Arg_0: 1 {O(1)}
85: n_f14___11->n_f10___12, Arg_1: 1 {O(1)}
85: n_f14___11->n_f10___12, Arg_2: 0 {O(1)}
86: n_f14___11->n_f10___8, Arg_0: 1 {O(1)}
86: n_f14___11->n_f10___8, Arg_1: 1 {O(1)}
86: n_f14___11->n_f10___8, Arg_2: 0 {O(1)}
87: n_f14___11->n_f10___9, Arg_0: 1 {O(1)}
87: n_f14___11->n_f10___9, Arg_1: 1 {O(1)}
87: n_f14___11->n_f10___9, Arg_2: 0 {O(1)}
87: n_f14___11->n_f10___9, Arg_4: 12 {O(1)}
88: n_f14___13->n_f10___12, Arg_0: 1 {O(1)}
88: n_f14___13->n_f10___12, Arg_1: 1 {O(1)}
88: n_f14___13->n_f10___12, Arg_2: 0 {O(1)}
88: n_f14___13->n_f10___12, Arg_3: 18 {O(1)}
88: n_f14___13->n_f10___12, Arg_4: 7 {O(1)}
89: n_f14___5->n_f10___6, Arg_0: 1 {O(1)}
89: n_f14___5->n_f10___6, Arg_1: 1 {O(1)}
89: n_f14___5->n_f10___6, Arg_2: 0 {O(1)}
90: n_f14___5->n_f10___8, Arg_0: 1 {O(1)}
90: n_f14___5->n_f10___8, Arg_1: 1 {O(1)}
90: n_f14___5->n_f10___8, Arg_2: 0 {O(1)}
91: n_f14___5->n_f10___9, Arg_0: 1 {O(1)}
91: n_f14___5->n_f10___9, Arg_1: 1 {O(1)}
91: n_f14___5->n_f10___9, Arg_2: 0 {O(1)}
91: n_f14___5->n_f10___9, Arg_4: 12 {O(1)}
92: n_f14___7->n_f10___6, Arg_0: 1 {O(1)}
92: n_f14___7->n_f10___6, Arg_1: 1 {O(1)}
92: n_f14___7->n_f10___6, Arg_2: 0 {O(1)}
93: n_f14___7->n_f10___8, Arg_0: 1 {O(1)}
93: n_f14___7->n_f10___8, Arg_1: 1 {O(1)}
93: n_f14___7->n_f10___8, Arg_2: 0 {O(1)}
94: n_f14___7->n_f10___9, Arg_0: 1 {O(1)}
94: n_f14___7->n_f10___9, Arg_1: 1 {O(1)}
94: n_f14___7->n_f10___9, Arg_2: 0 {O(1)}
94: n_f14___7->n_f10___9, Arg_4: 12 {O(1)}
95: n_f8___15->n_f10___14, Arg_0: 1 {O(1)}
95: n_f8___15->n_f10___14, Arg_1: 1 {O(1)}
95: n_f8___15->n_f10___14, Arg_2: 0 {O(1)}
95: n_f8___15->n_f10___14, Arg_3: 11 {O(1)}
95: n_f8___15->n_f10___14, Arg_4: 9 {O(1)}
96: n_f8___17->n_f10___16, Arg_0: 1 {O(1)}
96: n_f8___17->n_f10___16, Arg_1: 1 {O(1)}
96: n_f8___17->n_f10___16, Arg_2: 0 {O(1)}
96: n_f8___17->n_f10___16, Arg_3: 1 {O(1)}
96: n_f8___17->n_f10___16, Arg_4: 1 {O(1)}
97: n_f8___4->n_f10___3, Arg_0: 1 {O(1)}
97: n_f8___4->n_f10___3, Arg_1: 1 {O(1)}
97: n_f8___4->n_f10___3, Arg_2: 0 {O(1)}
97: n_f8___4->n_f10___3, Arg_3: 29 {O(1)}
98: n_f8___4->n_f28___2, Arg_0: 1 {O(1)}
98: n_f8___4->n_f28___2, Arg_1: 1 {O(1)}
98: n_f8___4->n_f28___2, Arg_2: 1 {O(1)}