Initial Problem

Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9, Arg_10, Arg_11, Arg_12, Arg_13, Arg_14, Arg_15, Arg_16, Arg_17, Arg_18
Temp_Vars: E_P, G_P, J_P, NoDet0
Locations: n_f0, n_f12___6, n_f12___7, n_f12___8, n_f24___4, n_f24___5, n_f36___2, n_f36___3, n_f46___1
Transitions:
0:n_f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f12___8(3,NoDet0,3,1,0,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18)
1:n_f12___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f12___6(Arg_0,Arg_1,Arg_2,NoDet0,E_P,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18):|:1<=Arg_0 && Arg_4<=Arg_2 && E_P<=Arg_2 && Arg_4+1<=E_P && E_P<=1+Arg_4
2:n_f12___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f24___5(Arg_0,Arg_1,Arg_2,Arg_3,E_P,Arg_0,0,1,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_3,Arg_3,NoDet0):|:1<=Arg_0 && Arg_4<=Arg_2 && Arg_2<=E_P && Arg_4<=E_P && E_P<=Arg_4
3:n_f12___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f12___6(Arg_0,Arg_1,Arg_2,NoDet0,E_P,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18):|:1+Arg_4<=Arg_2 && 1<=Arg_0 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_2 && E_P<=Arg_2 && Arg_4+1<=E_P && E_P<=1+Arg_4
4:n_f12___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f12___7(Arg_0,Arg_1,Arg_2,NoDet0,E_P,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18):|:1+Arg_4<=Arg_2 && 1<=Arg_0 && Arg_3<=1 && 1<=Arg_3 && Arg_0<=3 && 3<=Arg_0 && Arg_4<=0 && 0<=Arg_4 && Arg_2<=3 && 3<=Arg_2 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_2 && E_P<=Arg_2 && Arg_4+1<=E_P && E_P<=1+Arg_4
5:n_f24___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f24___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,G_P,NoDet0,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18):|:1<=Arg_0 && Arg_6<=Arg_5 && G_P<=Arg_5 && Arg_6+1<=G_P && G_P<=1+Arg_6
6:n_f24___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f36___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,G_P,Arg_7,Arg_0,0,1,Arg_11,Arg_12,Arg_7,Arg_7,NoDet0,Arg_16,Arg_17,Arg_18):|:1<=Arg_0 && Arg_6<=Arg_5 && Arg_5<=G_P && Arg_6<=G_P && G_P<=Arg_6
7:n_f24___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f24___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,G_P,NoDet0,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18):|:1+Arg_6<=Arg_5 && 1<=Arg_0 && 1+Arg_6<=Arg_5 && Arg_6<=Arg_5 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_6<=0 && 0<=Arg_6 && Arg_7<=1 && 1<=Arg_7 && Arg_3<=Arg_16 && Arg_16<=Arg_3 && Arg_3<=Arg_17 && Arg_17<=Arg_3 && Arg_2<=Arg_4 && G_P<=Arg_5 && Arg_6+1<=G_P && G_P<=1+Arg_6
8:n_f36___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f36___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,J_P,NoDet0,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18):|:Arg_9<=Arg_8 && J_P<=Arg_8 && Arg_9+1<=J_P && J_P<=1+Arg_9
9:n_f36___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f46___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_10,Arg_10,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18):|:Arg_9<=Arg_8 && Arg_8<=Arg_9
10:n_f36___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18) -> n_f36___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,J_P,NoDet0,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18):|:1+Arg_9<=Arg_8 && 1+Arg_9<=Arg_8 && Arg_9<=Arg_8 && Arg_10<=1 && 1<=Arg_10 && Arg_7<=Arg_13 && Arg_13<=Arg_7 && Arg_7<=Arg_14 && Arg_14<=Arg_7 && Arg_0<=Arg_8 && Arg_8<=Arg_0 && Arg_9<=0 && 0<=Arg_9 && Arg_5<=Arg_6 && J_P<=Arg_8 && Arg_9+1<=J_P && J_P<=1+Arg_9

Preprocessing

Eliminate variables {Arg_1,Arg_11,Arg_12,Arg_15,Arg_18} that do not contribute to the problem

Found invariant Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 1<=Arg_6 && 4<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 4<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 4<=Arg_2+Arg_6 && Arg_2<=2+Arg_6 && 4<=Arg_0+Arg_6 && Arg_0<=2+Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_0<=3 && 3<=Arg_0 for location n_f24___4

Found invariant Arg_9<=3 && Arg_9<=Arg_8 && Arg_8+Arg_9<=6 && Arg_9<=Arg_6 && Arg_6+Arg_9<=6 && Arg_9<=Arg_5 && Arg_5+Arg_9<=6 && Arg_9<=Arg_4 && Arg_4+Arg_9<=6 && Arg_9<=Arg_2 && Arg_2+Arg_9<=6 && Arg_9<=Arg_0 && Arg_0+Arg_9<=6 && 3<=Arg_9 && 6<=Arg_8+Arg_9 && Arg_8<=Arg_9 && 6<=Arg_6+Arg_9 && Arg_6<=Arg_9 && 6<=Arg_5+Arg_9 && Arg_5<=Arg_9 && 6<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 6<=Arg_2+Arg_9 && Arg_2<=Arg_9 && 6<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=3 && Arg_8<=Arg_6 && Arg_6+Arg_8<=6 && Arg_8<=Arg_5 && Arg_5+Arg_8<=6 && Arg_8<=Arg_4 && Arg_4+Arg_8<=6 && Arg_8<=Arg_2 && Arg_2+Arg_8<=6 && Arg_8<=Arg_0 && Arg_0+Arg_8<=6 && 3<=Arg_8 && 6<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 6<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 6<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 6<=Arg_2+Arg_8 && Arg_2<=Arg_8 && 6<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=Arg_14 && Arg_7<=Arg_13 && Arg_14<=Arg_7 && Arg_13<=Arg_7 && Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 3<=Arg_6 && 6<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 6<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 6<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 6<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_14<=Arg_13 && Arg_13<=Arg_14 && Arg_0<=3 && 3<=Arg_0 for location n_f46___1

Found invariant Arg_7<=1 && Arg_7<=1+Arg_6 && Arg_6+Arg_7<=1 && 2+Arg_7<=Arg_5 && Arg_5+Arg_7<=4 && 2+Arg_7<=Arg_4 && Arg_4+Arg_7<=4 && 2+Arg_7<=Arg_2 && Arg_2+Arg_7<=4 && 2+Arg_7<=Arg_0 && Arg_0+Arg_7<=4 && 1<=Arg_7 && 1<=Arg_6+Arg_7 && 1+Arg_6<=Arg_7 && 4<=Arg_5+Arg_7 && Arg_5<=2+Arg_7 && 4<=Arg_4+Arg_7 && Arg_4<=2+Arg_7 && 4<=Arg_2+Arg_7 && Arg_2<=2+Arg_7 && 4<=Arg_0+Arg_7 && Arg_0<=2+Arg_7 && Arg_6<=0 && 3+Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 3+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && 3+Arg_6<=Arg_2 && Arg_2+Arg_6<=3 && 3+Arg_6<=Arg_0 && Arg_0+Arg_6<=3 && 0<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=3+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=3+Arg_6 && 3<=Arg_2+Arg_6 && Arg_2<=3+Arg_6 && 3<=Arg_0+Arg_6 && Arg_0<=3+Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_0<=3 && 3<=Arg_0 for location n_f24___5

Found invariant Arg_4<=0 && 1+Arg_4<=Arg_3 && Arg_3+Arg_4<=1 && 3+Arg_4<=Arg_2 && Arg_2+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=3 && 0<=Arg_4 && 1<=Arg_3+Arg_4 && Arg_3<=1+Arg_4 && 3<=Arg_2+Arg_4 && Arg_2<=3+Arg_4 && 3<=Arg_0+Arg_4 && Arg_0<=3+Arg_4 && Arg_3<=1 && 2+Arg_3<=Arg_2 && Arg_2+Arg_3<=4 && 2+Arg_3<=Arg_0 && Arg_0+Arg_3<=4 && 1<=Arg_3 && 4<=Arg_2+Arg_3 && Arg_2<=2+Arg_3 && 4<=Arg_0+Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=3 && 3<=Arg_0 for location n_f12___8

Found invariant Arg_4<=1 && 2+Arg_4<=Arg_2 && Arg_2+Arg_4<=4 && 2+Arg_4<=Arg_0 && Arg_0+Arg_4<=4 && 1<=Arg_4 && 4<=Arg_2+Arg_4 && Arg_2<=2+Arg_4 && 4<=Arg_0+Arg_4 && Arg_0<=2+Arg_4 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=3 && 3<=Arg_0 for location n_f12___7

Found invariant Arg_9<=0 && 3+Arg_9<=Arg_8 && Arg_8+Arg_9<=3 && 3+Arg_9<=Arg_6 && Arg_6+Arg_9<=3 && 3+Arg_9<=Arg_5 && Arg_5+Arg_9<=3 && 3+Arg_9<=Arg_4 && Arg_4+Arg_9<=3 && 3+Arg_9<=Arg_2 && Arg_2+Arg_9<=3 && 1+Arg_9<=Arg_10 && Arg_10+Arg_9<=1 && 3+Arg_9<=Arg_0 && Arg_0+Arg_9<=3 && 0<=Arg_9 && 3<=Arg_8+Arg_9 && Arg_8<=3+Arg_9 && 3<=Arg_6+Arg_9 && Arg_6<=3+Arg_9 && 3<=Arg_5+Arg_9 && Arg_5<=3+Arg_9 && 3<=Arg_4+Arg_9 && Arg_4<=3+Arg_9 && 3<=Arg_2+Arg_9 && Arg_2<=3+Arg_9 && 1<=Arg_10+Arg_9 && Arg_10<=1+Arg_9 && 3<=Arg_0+Arg_9 && Arg_0<=3+Arg_9 && Arg_8<=3 && Arg_8<=Arg_6 && Arg_6+Arg_8<=6 && Arg_8<=Arg_5 && Arg_5+Arg_8<=6 && Arg_8<=Arg_4 && Arg_4+Arg_8<=6 && Arg_8<=Arg_2 && Arg_2+Arg_8<=6 && Arg_8<=2+Arg_10 && Arg_10+Arg_8<=4 && Arg_8<=Arg_0 && Arg_0+Arg_8<=6 && 3<=Arg_8 && 6<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 6<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 6<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 6<=Arg_2+Arg_8 && Arg_2<=Arg_8 && 4<=Arg_10+Arg_8 && 2+Arg_10<=Arg_8 && 6<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=Arg_14 && Arg_7<=Arg_13 && Arg_14<=Arg_7 && Arg_13<=Arg_7 && Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=2+Arg_10 && Arg_10+Arg_6<=4 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 3<=Arg_6 && 6<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 6<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 6<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 4<=Arg_10+Arg_6 && 2+Arg_10<=Arg_6 && 6<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=2+Arg_10 && Arg_10+Arg_5<=4 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 4<=Arg_10+Arg_5 && 2+Arg_10<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=2+Arg_10 && Arg_10+Arg_4<=4 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 4<=Arg_10+Arg_4 && 2+Arg_10<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=2+Arg_10 && Arg_10+Arg_2<=4 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 4<=Arg_10+Arg_2 && 2+Arg_10<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_14<=Arg_13 && Arg_13<=Arg_14 && Arg_10<=1 && 2+Arg_10<=Arg_0 && Arg_0+Arg_10<=4 && 1<=Arg_10 && 4<=Arg_0+Arg_10 && Arg_0<=2+Arg_10 && Arg_0<=3 && 3<=Arg_0 for location n_f36___3

Found invariant Arg_9<=3 && Arg_9<=Arg_8 && Arg_8+Arg_9<=6 && Arg_9<=Arg_6 && Arg_6+Arg_9<=6 && Arg_9<=Arg_5 && Arg_5+Arg_9<=6 && Arg_9<=Arg_4 && Arg_4+Arg_9<=6 && Arg_9<=Arg_2 && Arg_2+Arg_9<=6 && Arg_9<=Arg_0 && Arg_0+Arg_9<=6 && 1<=Arg_9 && 4<=Arg_8+Arg_9 && Arg_8<=2+Arg_9 && 4<=Arg_6+Arg_9 && Arg_6<=2+Arg_9 && 4<=Arg_5+Arg_9 && Arg_5<=2+Arg_9 && 4<=Arg_4+Arg_9 && Arg_4<=2+Arg_9 && 4<=Arg_2+Arg_9 && Arg_2<=2+Arg_9 && 4<=Arg_0+Arg_9 && Arg_0<=2+Arg_9 && Arg_8<=3 && Arg_8<=Arg_6 && Arg_6+Arg_8<=6 && Arg_8<=Arg_5 && Arg_5+Arg_8<=6 && Arg_8<=Arg_4 && Arg_4+Arg_8<=6 && Arg_8<=Arg_2 && Arg_2+Arg_8<=6 && Arg_8<=Arg_0 && Arg_0+Arg_8<=6 && 3<=Arg_8 && 6<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 6<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 6<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 6<=Arg_2+Arg_8 && Arg_2<=Arg_8 && 6<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=Arg_14 && Arg_7<=Arg_13 && Arg_14<=Arg_7 && Arg_13<=Arg_7 && Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 3<=Arg_6 && 6<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 6<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 6<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 6<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_14<=Arg_13 && Arg_13<=Arg_14 && Arg_0<=3 && 3<=Arg_0 for location n_f36___2

Found invariant Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 2<=Arg_4 && 5<=Arg_2+Arg_4 && Arg_2<=1+Arg_4 && 5<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=3 && 3<=Arg_0 for location n_f12___6

Problem after Preprocessing

Start: n_f0
Program_Vars: Arg_0, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9, Arg_10, Arg_13, Arg_14, Arg_16, Arg_17
Temp_Vars: E_P, G_P, J_P, NoDet0
Locations: n_f0, n_f12___6, n_f12___7, n_f12___8, n_f24___4, n_f24___5, n_f36___2, n_f36___3, n_f46___1
Transitions:
22:n_f0(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f12___8(3,3,1,0,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17)
23:n_f12___6(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f12___6(Arg_0,Arg_2,NoDet0,E_P,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 2<=Arg_4 && 5<=Arg_2+Arg_4 && Arg_2<=1+Arg_4 && 5<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=3 && 3<=Arg_0 && 1<=Arg_0 && Arg_4<=Arg_2 && E_P<=Arg_2 && Arg_4+1<=E_P && E_P<=1+Arg_4
24:n_f12___6(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f24___5(Arg_0,Arg_2,Arg_3,E_P,Arg_0,0,1,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_3,Arg_3):|:Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 2<=Arg_4 && 5<=Arg_2+Arg_4 && Arg_2<=1+Arg_4 && 5<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=3 && 3<=Arg_0 && 1<=Arg_0 && Arg_4<=Arg_2 && Arg_2<=E_P && Arg_4<=E_P && E_P<=Arg_4
25:n_f12___7(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f12___6(Arg_0,Arg_2,NoDet0,E_P,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_4<=1 && 2+Arg_4<=Arg_2 && Arg_2+Arg_4<=4 && 2+Arg_4<=Arg_0 && Arg_0+Arg_4<=4 && 1<=Arg_4 && 4<=Arg_2+Arg_4 && Arg_2<=2+Arg_4 && 4<=Arg_0+Arg_4 && Arg_0<=2+Arg_4 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=3 && 3<=Arg_0 && 1+Arg_4<=Arg_2 && 1<=Arg_0 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_2 && E_P<=Arg_2 && Arg_4+1<=E_P && E_P<=1+Arg_4
26:n_f12___8(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f12___7(Arg_0,Arg_2,NoDet0,E_P,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_4<=0 && 1+Arg_4<=Arg_3 && Arg_3+Arg_4<=1 && 3+Arg_4<=Arg_2 && Arg_2+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=3 && 0<=Arg_4 && 1<=Arg_3+Arg_4 && Arg_3<=1+Arg_4 && 3<=Arg_2+Arg_4 && Arg_2<=3+Arg_4 && 3<=Arg_0+Arg_4 && Arg_0<=3+Arg_4 && Arg_3<=1 && 2+Arg_3<=Arg_2 && Arg_2+Arg_3<=4 && 2+Arg_3<=Arg_0 && Arg_0+Arg_3<=4 && 1<=Arg_3 && 4<=Arg_2+Arg_3 && Arg_2<=2+Arg_3 && 4<=Arg_0+Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=3 && 3<=Arg_0 && 1+Arg_4<=Arg_2 && 1<=Arg_0 && Arg_3<=1 && 1<=Arg_3 && Arg_0<=3 && 3<=Arg_0 && Arg_4<=0 && 0<=Arg_4 && Arg_2<=3 && 3<=Arg_2 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_2 && E_P<=Arg_2 && Arg_4+1<=E_P && E_P<=1+Arg_4
27:n_f24___4(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f24___4(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,G_P,NoDet0,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 1<=Arg_6 && 4<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 4<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 4<=Arg_2+Arg_6 && Arg_2<=2+Arg_6 && 4<=Arg_0+Arg_6 && Arg_0<=2+Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_0<=3 && 3<=Arg_0 && 1<=Arg_0 && Arg_6<=Arg_5 && G_P<=Arg_5 && Arg_6+1<=G_P && G_P<=1+Arg_6
28:n_f24___4(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f36___3(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,G_P,Arg_7,Arg_0,0,1,Arg_7,Arg_7,Arg_16,Arg_17):|:Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 1<=Arg_6 && 4<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 4<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 4<=Arg_2+Arg_6 && Arg_2<=2+Arg_6 && 4<=Arg_0+Arg_6 && Arg_0<=2+Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_0<=3 && 3<=Arg_0 && 1<=Arg_0 && Arg_6<=Arg_5 && Arg_5<=G_P && Arg_6<=G_P && G_P<=Arg_6
29:n_f24___5(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f24___4(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,G_P,NoDet0,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_7<=1 && Arg_7<=1+Arg_6 && Arg_6+Arg_7<=1 && 2+Arg_7<=Arg_5 && Arg_5+Arg_7<=4 && 2+Arg_7<=Arg_4 && Arg_4+Arg_7<=4 && 2+Arg_7<=Arg_2 && Arg_2+Arg_7<=4 && 2+Arg_7<=Arg_0 && Arg_0+Arg_7<=4 && 1<=Arg_7 && 1<=Arg_6+Arg_7 && 1+Arg_6<=Arg_7 && 4<=Arg_5+Arg_7 && Arg_5<=2+Arg_7 && 4<=Arg_4+Arg_7 && Arg_4<=2+Arg_7 && 4<=Arg_2+Arg_7 && Arg_2<=2+Arg_7 && 4<=Arg_0+Arg_7 && Arg_0<=2+Arg_7 && Arg_6<=0 && 3+Arg_6<=Arg_5 && Arg_5+Arg_6<=3 && 3+Arg_6<=Arg_4 && Arg_4+Arg_6<=3 && 3+Arg_6<=Arg_2 && Arg_2+Arg_6<=3 && 3+Arg_6<=Arg_0 && Arg_0+Arg_6<=3 && 0<=Arg_6 && 3<=Arg_5+Arg_6 && Arg_5<=3+Arg_6 && 3<=Arg_4+Arg_6 && Arg_4<=3+Arg_6 && 3<=Arg_2+Arg_6 && Arg_2<=3+Arg_6 && 3<=Arg_0+Arg_6 && Arg_0<=3+Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_0<=3 && 3<=Arg_0 && 1+Arg_6<=Arg_5 && 1<=Arg_0 && 1+Arg_6<=Arg_5 && Arg_6<=Arg_5 && Arg_0<=Arg_5 && Arg_5<=Arg_0 && Arg_6<=0 && 0<=Arg_6 && Arg_7<=1 && 1<=Arg_7 && Arg_3<=Arg_16 && Arg_16<=Arg_3 && Arg_3<=Arg_17 && Arg_17<=Arg_3 && Arg_2<=Arg_4 && G_P<=Arg_5 && Arg_6+1<=G_P && G_P<=1+Arg_6
30:n_f36___2(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f36___2(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,J_P,NoDet0,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_9<=3 && Arg_9<=Arg_8 && Arg_8+Arg_9<=6 && Arg_9<=Arg_6 && Arg_6+Arg_9<=6 && Arg_9<=Arg_5 && Arg_5+Arg_9<=6 && Arg_9<=Arg_4 && Arg_4+Arg_9<=6 && Arg_9<=Arg_2 && Arg_2+Arg_9<=6 && Arg_9<=Arg_0 && Arg_0+Arg_9<=6 && 1<=Arg_9 && 4<=Arg_8+Arg_9 && Arg_8<=2+Arg_9 && 4<=Arg_6+Arg_9 && Arg_6<=2+Arg_9 && 4<=Arg_5+Arg_9 && Arg_5<=2+Arg_9 && 4<=Arg_4+Arg_9 && Arg_4<=2+Arg_9 && 4<=Arg_2+Arg_9 && Arg_2<=2+Arg_9 && 4<=Arg_0+Arg_9 && Arg_0<=2+Arg_9 && Arg_8<=3 && Arg_8<=Arg_6 && Arg_6+Arg_8<=6 && Arg_8<=Arg_5 && Arg_5+Arg_8<=6 && Arg_8<=Arg_4 && Arg_4+Arg_8<=6 && Arg_8<=Arg_2 && Arg_2+Arg_8<=6 && Arg_8<=Arg_0 && Arg_0+Arg_8<=6 && 3<=Arg_8 && 6<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 6<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 6<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 6<=Arg_2+Arg_8 && Arg_2<=Arg_8 && 6<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=Arg_14 && Arg_7<=Arg_13 && Arg_14<=Arg_7 && Arg_13<=Arg_7 && Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 3<=Arg_6 && 6<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 6<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 6<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 6<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_14<=Arg_13 && Arg_13<=Arg_14 && Arg_0<=3 && 3<=Arg_0 && Arg_9<=Arg_8 && J_P<=Arg_8 && Arg_9+1<=J_P && J_P<=1+Arg_9
31:n_f36___2(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f46___1(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_9<=3 && Arg_9<=Arg_8 && Arg_8+Arg_9<=6 && Arg_9<=Arg_6 && Arg_6+Arg_9<=6 && Arg_9<=Arg_5 && Arg_5+Arg_9<=6 && Arg_9<=Arg_4 && Arg_4+Arg_9<=6 && Arg_9<=Arg_2 && Arg_2+Arg_9<=6 && Arg_9<=Arg_0 && Arg_0+Arg_9<=6 && 1<=Arg_9 && 4<=Arg_8+Arg_9 && Arg_8<=2+Arg_9 && 4<=Arg_6+Arg_9 && Arg_6<=2+Arg_9 && 4<=Arg_5+Arg_9 && Arg_5<=2+Arg_9 && 4<=Arg_4+Arg_9 && Arg_4<=2+Arg_9 && 4<=Arg_2+Arg_9 && Arg_2<=2+Arg_9 && 4<=Arg_0+Arg_9 && Arg_0<=2+Arg_9 && Arg_8<=3 && Arg_8<=Arg_6 && Arg_6+Arg_8<=6 && Arg_8<=Arg_5 && Arg_5+Arg_8<=6 && Arg_8<=Arg_4 && Arg_4+Arg_8<=6 && Arg_8<=Arg_2 && Arg_2+Arg_8<=6 && Arg_8<=Arg_0 && Arg_0+Arg_8<=6 && 3<=Arg_8 && 6<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 6<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 6<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 6<=Arg_2+Arg_8 && Arg_2<=Arg_8 && 6<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=Arg_14 && Arg_7<=Arg_13 && Arg_14<=Arg_7 && Arg_13<=Arg_7 && Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 3<=Arg_6 && 6<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 6<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 6<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 6<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_14<=Arg_13 && Arg_13<=Arg_14 && Arg_0<=3 && 3<=Arg_0 && Arg_9<=Arg_8 && Arg_8<=Arg_9
32:n_f36___3(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f36___2(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,J_P,NoDet0,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_9<=0 && 3+Arg_9<=Arg_8 && Arg_8+Arg_9<=3 && 3+Arg_9<=Arg_6 && Arg_6+Arg_9<=3 && 3+Arg_9<=Arg_5 && Arg_5+Arg_9<=3 && 3+Arg_9<=Arg_4 && Arg_4+Arg_9<=3 && 3+Arg_9<=Arg_2 && Arg_2+Arg_9<=3 && 1+Arg_9<=Arg_10 && Arg_10+Arg_9<=1 && 3+Arg_9<=Arg_0 && Arg_0+Arg_9<=3 && 0<=Arg_9 && 3<=Arg_8+Arg_9 && Arg_8<=3+Arg_9 && 3<=Arg_6+Arg_9 && Arg_6<=3+Arg_9 && 3<=Arg_5+Arg_9 && Arg_5<=3+Arg_9 && 3<=Arg_4+Arg_9 && Arg_4<=3+Arg_9 && 3<=Arg_2+Arg_9 && Arg_2<=3+Arg_9 && 1<=Arg_10+Arg_9 && Arg_10<=1+Arg_9 && 3<=Arg_0+Arg_9 && Arg_0<=3+Arg_9 && Arg_8<=3 && Arg_8<=Arg_6 && Arg_6+Arg_8<=6 && Arg_8<=Arg_5 && Arg_5+Arg_8<=6 && Arg_8<=Arg_4 && Arg_4+Arg_8<=6 && Arg_8<=Arg_2 && Arg_2+Arg_8<=6 && Arg_8<=2+Arg_10 && Arg_10+Arg_8<=4 && Arg_8<=Arg_0 && Arg_0+Arg_8<=6 && 3<=Arg_8 && 6<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 6<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 6<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 6<=Arg_2+Arg_8 && Arg_2<=Arg_8 && 4<=Arg_10+Arg_8 && 2+Arg_10<=Arg_8 && 6<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=Arg_14 && Arg_7<=Arg_13 && Arg_14<=Arg_7 && Arg_13<=Arg_7 && Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=2+Arg_10 && Arg_10+Arg_6<=4 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 3<=Arg_6 && 6<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 6<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 6<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 4<=Arg_10+Arg_6 && 2+Arg_10<=Arg_6 && 6<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=2+Arg_10 && Arg_10+Arg_5<=4 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 4<=Arg_10+Arg_5 && 2+Arg_10<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=2+Arg_10 && Arg_10+Arg_4<=4 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 4<=Arg_10+Arg_4 && 2+Arg_10<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=2+Arg_10 && Arg_10+Arg_2<=4 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 4<=Arg_10+Arg_2 && 2+Arg_10<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_14<=Arg_13 && Arg_13<=Arg_14 && Arg_10<=1 && 2+Arg_10<=Arg_0 && Arg_0+Arg_10<=4 && 1<=Arg_10 && 4<=Arg_0+Arg_10 && Arg_0<=2+Arg_10 && Arg_0<=3 && 3<=Arg_0 && 1+Arg_9<=Arg_8 && 1+Arg_9<=Arg_8 && Arg_9<=Arg_8 && Arg_10<=1 && 1<=Arg_10 && Arg_7<=Arg_13 && Arg_13<=Arg_7 && Arg_7<=Arg_14 && Arg_14<=Arg_7 && Arg_0<=Arg_8 && Arg_8<=Arg_0 && Arg_9<=0 && 0<=Arg_9 && Arg_5<=Arg_6 && J_P<=Arg_8 && Arg_9+1<=J_P && J_P<=1+Arg_9

knowledge_propagation leads to new time bound 1 {O(1)} for transition 23:n_f12___6(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f12___6(Arg_0,Arg_2,NoDet0,E_P,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 2<=Arg_4 && 5<=Arg_2+Arg_4 && Arg_2<=1+Arg_4 && 5<=Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_0<=3 && 3<=Arg_0 && 1<=Arg_0 && Arg_4<=Arg_2 && E_P<=Arg_2 && Arg_4+1<=E_P && E_P<=1+Arg_4

MPRF for transition 27:n_f24___4(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f24___4(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,G_P,NoDet0,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 1<=Arg_6 && 4<=Arg_5+Arg_6 && Arg_5<=2+Arg_6 && 4<=Arg_4+Arg_6 && Arg_4<=2+Arg_6 && 4<=Arg_2+Arg_6 && Arg_2<=2+Arg_6 && 4<=Arg_0+Arg_6 && Arg_0<=2+Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_0<=3 && 3<=Arg_0 && 1<=Arg_0 && Arg_6<=Arg_5 && G_P<=Arg_5 && Arg_6+1<=G_P && G_P<=1+Arg_6 of depth 1:

new bound:

7 {O(1)}

MPRF:

n_f24___4 [2*Arg_4-Arg_6 ]

MPRF for transition 30:n_f36___2(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_13,Arg_14,Arg_16,Arg_17) -> n_f36___2(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,J_P,NoDet0,Arg_13,Arg_14,Arg_16,Arg_17):|:Arg_9<=3 && Arg_9<=Arg_8 && Arg_8+Arg_9<=6 && Arg_9<=Arg_6 && Arg_6+Arg_9<=6 && Arg_9<=Arg_5 && Arg_5+Arg_9<=6 && Arg_9<=Arg_4 && Arg_4+Arg_9<=6 && Arg_9<=Arg_2 && Arg_2+Arg_9<=6 && Arg_9<=Arg_0 && Arg_0+Arg_9<=6 && 1<=Arg_9 && 4<=Arg_8+Arg_9 && Arg_8<=2+Arg_9 && 4<=Arg_6+Arg_9 && Arg_6<=2+Arg_9 && 4<=Arg_5+Arg_9 && Arg_5<=2+Arg_9 && 4<=Arg_4+Arg_9 && Arg_4<=2+Arg_9 && 4<=Arg_2+Arg_9 && Arg_2<=2+Arg_9 && 4<=Arg_0+Arg_9 && Arg_0<=2+Arg_9 && Arg_8<=3 && Arg_8<=Arg_6 && Arg_6+Arg_8<=6 && Arg_8<=Arg_5 && Arg_5+Arg_8<=6 && Arg_8<=Arg_4 && Arg_4+Arg_8<=6 && Arg_8<=Arg_2 && Arg_2+Arg_8<=6 && Arg_8<=Arg_0 && Arg_0+Arg_8<=6 && 3<=Arg_8 && 6<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 6<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 6<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 6<=Arg_2+Arg_8 && Arg_2<=Arg_8 && 6<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=Arg_14 && Arg_7<=Arg_13 && Arg_14<=Arg_7 && Arg_13<=Arg_7 && Arg_6<=3 && Arg_6<=Arg_5 && Arg_5+Arg_6<=6 && Arg_6<=Arg_4 && Arg_4+Arg_6<=6 && Arg_6<=Arg_2 && Arg_2+Arg_6<=6 && Arg_6<=Arg_0 && Arg_0+Arg_6<=6 && 3<=Arg_6 && 6<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 6<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 6<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 6<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=3 && Arg_5<=Arg_4 && Arg_4+Arg_5<=6 && Arg_5<=Arg_2 && Arg_2+Arg_5<=6 && Arg_5<=Arg_0 && Arg_0+Arg_5<=6 && 3<=Arg_5 && 6<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 6<=Arg_2+Arg_5 && Arg_2<=Arg_5 && 6<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=6 && Arg_4<=Arg_0 && Arg_0+Arg_4<=6 && 3<=Arg_4 && 6<=Arg_2+Arg_4 && Arg_2<=Arg_4 && 6<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_17 && Arg_3<=Arg_16 && Arg_17<=Arg_3 && Arg_16<=Arg_3 && Arg_2<=3 && Arg_2<=Arg_0 && Arg_0+Arg_2<=6 && 3<=Arg_2 && 6<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_17<=Arg_16 && Arg_16<=Arg_17 && Arg_14<=Arg_13 && Arg_13<=Arg_14 && Arg_0<=3 && 3<=Arg_0 && Arg_9<=Arg_8 && J_P<=Arg_8 && Arg_9+1<=J_P && J_P<=1+Arg_9 of depth 1:

new bound:

5 {O(1)}

MPRF:

n_f36___2 [Arg_8+1-Arg_9 ]

All Bounds

Timebounds

Overall timebound:21 {O(1)}
22: n_f0->n_f12___8: 1 {O(1)}
23: n_f12___6->n_f12___6: 1 {O(1)}
24: n_f12___6->n_f24___5: 1 {O(1)}
25: n_f12___7->n_f12___6: 1 {O(1)}
26: n_f12___8->n_f12___7: 1 {O(1)}
27: n_f24___4->n_f24___4: 7 {O(1)}
28: n_f24___4->n_f36___3: 1 {O(1)}
29: n_f24___5->n_f24___4: 1 {O(1)}
30: n_f36___2->n_f36___2: 5 {O(1)}
31: n_f36___2->n_f46___1: 1 {O(1)}
32: n_f36___3->n_f36___2: 1 {O(1)}

Costbounds

Overall costbound: 21 {O(1)}
22: n_f0->n_f12___8: 1 {O(1)}
23: n_f12___6->n_f12___6: 1 {O(1)}
24: n_f12___6->n_f24___5: 1 {O(1)}
25: n_f12___7->n_f12___6: 1 {O(1)}
26: n_f12___8->n_f12___7: 1 {O(1)}
27: n_f24___4->n_f24___4: 7 {O(1)}
28: n_f24___4->n_f36___3: 1 {O(1)}
29: n_f24___5->n_f24___4: 1 {O(1)}
30: n_f36___2->n_f36___2: 5 {O(1)}
31: n_f36___2->n_f46___1: 1 {O(1)}
32: n_f36___3->n_f36___2: 1 {O(1)}

Sizebounds

22: n_f0->n_f12___8, Arg_0: 3 {O(1)}
22: n_f0->n_f12___8, Arg_2: 3 {O(1)}
22: n_f0->n_f12___8, Arg_3: 1 {O(1)}
22: n_f0->n_f12___8, Arg_4: 0 {O(1)}
22: n_f0->n_f12___8, Arg_5: Arg_5 {O(n)}
22: n_f0->n_f12___8, Arg_6: Arg_6 {O(n)}
22: n_f0->n_f12___8, Arg_7: Arg_7 {O(n)}
22: n_f0->n_f12___8, Arg_8: Arg_8 {O(n)}
22: n_f0->n_f12___8, Arg_9: Arg_9 {O(n)}
22: n_f0->n_f12___8, Arg_10: Arg_10 {O(n)}
22: n_f0->n_f12___8, Arg_13: Arg_13 {O(n)}
22: n_f0->n_f12___8, Arg_14: Arg_14 {O(n)}
22: n_f0->n_f12___8, Arg_16: Arg_16 {O(n)}
22: n_f0->n_f12___8, Arg_17: Arg_17 {O(n)}
23: n_f12___6->n_f12___6, Arg_0: 3 {O(1)}
23: n_f12___6->n_f12___6, Arg_2: 3 {O(1)}
23: n_f12___6->n_f12___6, Arg_4: 3 {O(1)}
23: n_f12___6->n_f12___6, Arg_5: Arg_5 {O(n)}
23: n_f12___6->n_f12___6, Arg_6: Arg_6 {O(n)}
23: n_f12___6->n_f12___6, Arg_7: Arg_7 {O(n)}
23: n_f12___6->n_f12___6, Arg_8: Arg_8 {O(n)}
23: n_f12___6->n_f12___6, Arg_9: Arg_9 {O(n)}
23: n_f12___6->n_f12___6, Arg_10: Arg_10 {O(n)}
23: n_f12___6->n_f12___6, Arg_13: Arg_13 {O(n)}
23: n_f12___6->n_f12___6, Arg_14: Arg_14 {O(n)}
23: n_f12___6->n_f12___6, Arg_16: Arg_16 {O(n)}
23: n_f12___6->n_f12___6, Arg_17: Arg_17 {O(n)}
24: n_f12___6->n_f24___5, Arg_0: 3 {O(1)}
24: n_f12___6->n_f24___5, Arg_2: 3 {O(1)}
24: n_f12___6->n_f24___5, Arg_4: 3 {O(1)}
24: n_f12___6->n_f24___5, Arg_5: 3 {O(1)}
24: n_f12___6->n_f24___5, Arg_6: 0 {O(1)}
24: n_f12___6->n_f24___5, Arg_7: 1 {O(1)}
24: n_f12___6->n_f24___5, Arg_8: Arg_8 {O(n)}
24: n_f12___6->n_f24___5, Arg_9: Arg_9 {O(n)}
24: n_f12___6->n_f24___5, Arg_10: Arg_10 {O(n)}
24: n_f12___6->n_f24___5, Arg_13: Arg_13 {O(n)}
24: n_f12___6->n_f24___5, Arg_14: Arg_14 {O(n)}
25: n_f12___7->n_f12___6, Arg_0: 3 {O(1)}
25: n_f12___7->n_f12___6, Arg_2: 3 {O(1)}
25: n_f12___7->n_f12___6, Arg_4: 2 {O(1)}
25: n_f12___7->n_f12___6, Arg_5: Arg_5 {O(n)}
25: n_f12___7->n_f12___6, Arg_6: Arg_6 {O(n)}
25: n_f12___7->n_f12___6, Arg_7: Arg_7 {O(n)}
25: n_f12___7->n_f12___6, Arg_8: Arg_8 {O(n)}
25: n_f12___7->n_f12___6, Arg_9: Arg_9 {O(n)}
25: n_f12___7->n_f12___6, Arg_10: Arg_10 {O(n)}
25: n_f12___7->n_f12___6, Arg_13: Arg_13 {O(n)}
25: n_f12___7->n_f12___6, Arg_14: Arg_14 {O(n)}
25: n_f12___7->n_f12___6, Arg_16: Arg_16 {O(n)}
25: n_f12___7->n_f12___6, Arg_17: Arg_17 {O(n)}
26: n_f12___8->n_f12___7, Arg_0: 3 {O(1)}
26: n_f12___8->n_f12___7, Arg_2: 3 {O(1)}
26: n_f12___8->n_f12___7, Arg_4: 1 {O(1)}
26: n_f12___8->n_f12___7, Arg_5: Arg_5 {O(n)}
26: n_f12___8->n_f12___7, Arg_6: Arg_6 {O(n)}
26: n_f12___8->n_f12___7, Arg_7: Arg_7 {O(n)}
26: n_f12___8->n_f12___7, Arg_8: Arg_8 {O(n)}
26: n_f12___8->n_f12___7, Arg_9: Arg_9 {O(n)}
26: n_f12___8->n_f12___7, Arg_10: Arg_10 {O(n)}
26: n_f12___8->n_f12___7, Arg_13: Arg_13 {O(n)}
26: n_f12___8->n_f12___7, Arg_14: Arg_14 {O(n)}
26: n_f12___8->n_f12___7, Arg_16: Arg_16 {O(n)}
26: n_f12___8->n_f12___7, Arg_17: Arg_17 {O(n)}
27: n_f24___4->n_f24___4, Arg_0: 3 {O(1)}
27: n_f24___4->n_f24___4, Arg_2: 3 {O(1)}
27: n_f24___4->n_f24___4, Arg_4: 3 {O(1)}
27: n_f24___4->n_f24___4, Arg_5: 3 {O(1)}
27: n_f24___4->n_f24___4, Arg_6: 3 {O(1)}
27: n_f24___4->n_f24___4, Arg_8: Arg_8 {O(n)}
27: n_f24___4->n_f24___4, Arg_9: Arg_9 {O(n)}
27: n_f24___4->n_f24___4, Arg_10: Arg_10 {O(n)}
27: n_f24___4->n_f24___4, Arg_13: Arg_13 {O(n)}
27: n_f24___4->n_f24___4, Arg_14: Arg_14 {O(n)}
28: n_f24___4->n_f36___3, Arg_0: 3 {O(1)}
28: n_f24___4->n_f36___3, Arg_2: 3 {O(1)}
28: n_f24___4->n_f36___3, Arg_4: 3 {O(1)}
28: n_f24___4->n_f36___3, Arg_5: 3 {O(1)}
28: n_f24___4->n_f36___3, Arg_6: 3 {O(1)}
28: n_f24___4->n_f36___3, Arg_8: 3 {O(1)}
28: n_f24___4->n_f36___3, Arg_9: 0 {O(1)}
28: n_f24___4->n_f36___3, Arg_10: 1 {O(1)}
29: n_f24___5->n_f24___4, Arg_0: 3 {O(1)}
29: n_f24___5->n_f24___4, Arg_2: 3 {O(1)}
29: n_f24___5->n_f24___4, Arg_4: 3 {O(1)}
29: n_f24___5->n_f24___4, Arg_5: 3 {O(1)}
29: n_f24___5->n_f24___4, Arg_6: 1 {O(1)}
29: n_f24___5->n_f24___4, Arg_8: Arg_8 {O(n)}
29: n_f24___5->n_f24___4, Arg_9: Arg_9 {O(n)}
29: n_f24___5->n_f24___4, Arg_10: Arg_10 {O(n)}
29: n_f24___5->n_f24___4, Arg_13: Arg_13 {O(n)}
29: n_f24___5->n_f24___4, Arg_14: Arg_14 {O(n)}
30: n_f36___2->n_f36___2, Arg_0: 3 {O(1)}
30: n_f36___2->n_f36___2, Arg_2: 3 {O(1)}
30: n_f36___2->n_f36___2, Arg_4: 3 {O(1)}
30: n_f36___2->n_f36___2, Arg_5: 3 {O(1)}
30: n_f36___2->n_f36___2, Arg_6: 3 {O(1)}
30: n_f36___2->n_f36___2, Arg_8: 3 {O(1)}
30: n_f36___2->n_f36___2, Arg_9: 3 {O(1)}
31: n_f36___2->n_f46___1, Arg_0: 3 {O(1)}
31: n_f36___2->n_f46___1, Arg_2: 3 {O(1)}
31: n_f36___2->n_f46___1, Arg_4: 3 {O(1)}
31: n_f36___2->n_f46___1, Arg_5: 3 {O(1)}
31: n_f36___2->n_f46___1, Arg_6: 3 {O(1)}
31: n_f36___2->n_f46___1, Arg_8: 3 {O(1)}
31: n_f36___2->n_f46___1, Arg_9: 3 {O(1)}
32: n_f36___3->n_f36___2, Arg_0: 3 {O(1)}
32: n_f36___3->n_f36___2, Arg_2: 3 {O(1)}
32: n_f36___3->n_f36___2, Arg_4: 3 {O(1)}
32: n_f36___3->n_f36___2, Arg_5: 3 {O(1)}
32: n_f36___3->n_f36___2, Arg_6: 3 {O(1)}
32: n_f36___3->n_f36___2, Arg_8: 3 {O(1)}
32: n_f36___3->n_f36___2, Arg_9: 1 {O(1)}