Initial Problem

Start: n_f26
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, Arg_19, Arg_20, Arg_21, Arg_22, Arg_23, Arg_24, Arg_25, Arg_26, Arg_27, Arg_28, Arg_29, Arg_30
Temp_Vars: B_P, C_P, D_P, NoDet0, NoDet1, NoDet2, NoDet3, NoDet4, NoDet5, NoDet6, NoDet7, NoDet8, W_P, X_P, Y_P, Z_P
Locations: n_f11___3, n_f11___4, n_f26, n_f6___1, n_f6___2, n_f6___5
Transitions:
0:n_f11___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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2,Arg_5,Arg_2,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30):|:1+Arg_0<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_4<=Arg_6 && Arg_6<=Arg_4 && 1+Arg_0<=Arg_6 && Arg_2<=Arg_4 && Arg_4<=Arg_2 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 1+Arg_0<=Arg_2 && 0<=Arg_11 && 1<=Arg_12 && 1+Arg_0<=Arg_2
1:n_f11___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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2,Arg_5,Arg_2,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30):|:1+Arg_2<=Arg_0 && 1+Arg_2<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_4<=Arg_6 && Arg_6<=Arg_4 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_2<=Arg_4 && Arg_4<=Arg_2 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && 0<=Arg_11 && 1<=Arg_12 && 1+Arg_2<=Arg_0 && 1+Arg_2<=Arg_0
2:n_f26(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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___5(Arg_0,NoDet6,Arg_2,NoDet7,Arg_4,NoDet8,Arg_6,4,Arg_8,Arg_9,NoDet0,1,4,1,4,Arg_15,Arg_16,Arg_17,NoDet1,2,3,NoDet2,NoDet3,4,NoDet4,0,NoDet5,W_P,X_P,Y_P,Z_P):|:W_P<=Z_P && Z_P<=W_P && W_P<=Y_P && Y_P<=W_P && W_P<=X_P && X_P<=W_P
3:n_f26(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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___5(Arg_0,NoDet6,Arg_2,NoDet7,Arg_4,NoDet8,Arg_6,4,Arg_8,Arg_9,NoDet0,1,4,1,4,Arg_15,Arg_16,Arg_17,NoDet1,2,3,NoDet2,NoDet3,4,NoDet4,0,NoDet5,W_P,X_P,Y_P,Z_P):|:W_P<=Z_P && Z_P<=W_P && W_P<=Y_P && Y_P<=W_P && W_P<=X_P && X_P<=W_P
4:n_f6___1(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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___3(Arg_0,Arg_1,B_P,Arg_3,C_P,Arg_5,D_P,Arg_7,Arg_8,NoDet2,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,NoDet0,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,NoDet1):|:0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1+Arg_0<=B_P && 1<=Arg_12 && 0<=Arg_11 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
5:n_f6___1(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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___4(Arg_0,Arg_1,B_P,Arg_3,C_P,Arg_5,D_P,Arg_7,Arg_8,NoDet2,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,NoDet0,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,NoDet1):|:0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1<=Arg_12 && 0<=Arg_11 && 1+B_P<=Arg_0 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
6:n_f6___1(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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,NoDet1,NoDet2,Arg_12-1,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30):|:0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1<=Arg_12 && 0<=Arg_11 && 1+Arg_10<=Arg_8
7:n_f6___1(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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,NoDet1,NoDet2,Arg_12-1,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30):|:0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1+Arg_8<=Arg_10 && 1<=Arg_12 && 0<=Arg_11
8:n_f6___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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___3(Arg_0,Arg_1,B_P,Arg_3,C_P,Arg_5,D_P,Arg_7,Arg_8,NoDet2,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,NoDet0,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,NoDet1):|:1<=Arg_12 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1+Arg_0<=B_P && 1<=Arg_12 && 0<=Arg_11 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
9:n_f6___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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___4(Arg_0,Arg_1,B_P,Arg_3,C_P,Arg_5,D_P,Arg_7,Arg_8,NoDet2,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,NoDet0,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,NoDet1):|:1<=Arg_12 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1<=Arg_12 && 0<=Arg_11 && 1+B_P<=Arg_0 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
10:n_f6___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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,NoDet1,NoDet2,Arg_12-1,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30):|:1<=Arg_12 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1<=Arg_12 && 0<=Arg_11 && 1+Arg_10<=Arg_8
11:n_f6___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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,NoDet1,NoDet2,Arg_12-1,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30):|:1<=Arg_12 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1+Arg_8<=Arg_10 && 1<=Arg_12 && 0<=Arg_11
12:n_f6___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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___3(Arg_0,Arg_1,B_P,Arg_3,C_P,Arg_5,D_P,Arg_7,Arg_8,NoDet2,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,NoDet0,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,NoDet1):|:1<=Arg_12 && 0<=Arg_11 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && 1+Arg_0<=B_P && 1<=Arg_12 && 0<=Arg_11 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
13:n_f6___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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___4(Arg_0,Arg_1,B_P,Arg_3,C_P,Arg_5,D_P,Arg_7,Arg_8,NoDet2,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,NoDet0,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,NoDet1):|:1<=Arg_12 && 0<=Arg_11 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && 1<=Arg_12 && 0<=Arg_11 && 1+B_P<=Arg_0 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
14:n_f6___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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,NoDet1,NoDet2,Arg_12-1,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30):|:1<=Arg_12 && 0<=Arg_11 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && 1<=Arg_12 && 0<=Arg_11 && 1+Arg_10<=Arg_8
15:n_f6___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,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,NoDet1,NoDet2,Arg_12-1,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30):|:1<=Arg_12 && 0<=Arg_11 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && 1+Arg_8<=Arg_10 && 1<=Arg_12 && 0<=Arg_11

Preprocessing

Eliminate variables {NoDet2,NoDet3,NoDet4,NoDet5,NoDet6,NoDet7,NoDet8,Arg_1,Arg_3,Arg_5,Arg_9,Arg_15,Arg_16,Arg_18,Arg_21,Arg_22,Arg_24,Arg_26} that do not contribute to the problem

Found invariant Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=Arg_14 && Arg_14+Arg_7<=8 && Arg_7<=3+Arg_13 && Arg_13+Arg_7<=5 && Arg_7<=Arg_12 && Arg_12+Arg_7<=8 && Arg_7<=3+Arg_11 && Arg_11+Arg_7<=5 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 8<=Arg_14+Arg_7 && Arg_14<=Arg_7 && 5<=Arg_13+Arg_7 && 3+Arg_13<=Arg_7 && 8<=Arg_12+Arg_7 && Arg_12<=Arg_7 && 5<=Arg_11+Arg_7 && 3+Arg_11<=Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 4+Arg_25<=Arg_14 && Arg_14+Arg_25<=4 && 1+Arg_25<=Arg_13 && Arg_13+Arg_25<=1 && 4+Arg_25<=Arg_12 && Arg_12+Arg_25<=4 && 1+Arg_25<=Arg_11 && Arg_11+Arg_25<=1 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 4<=Arg_14+Arg_25 && Arg_14<=4+Arg_25 && 1<=Arg_13+Arg_25 && Arg_13<=1+Arg_25 && 4<=Arg_12+Arg_25 && Arg_12<=4+Arg_25 && 1<=Arg_11+Arg_25 && Arg_11<=1+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=Arg_14 && Arg_14+Arg_23<=8 && Arg_23<=3+Arg_13 && Arg_13+Arg_23<=5 && Arg_23<=Arg_12 && Arg_12+Arg_23<=8 && Arg_23<=3+Arg_11 && Arg_11+Arg_23<=5 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 8<=Arg_14+Arg_23 && Arg_14<=Arg_23 && 5<=Arg_13+Arg_23 && 3+Arg_13<=Arg_23 && 8<=Arg_12+Arg_23 && Arg_12<=Arg_23 && 5<=Arg_11+Arg_23 && 3+Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && 1+Arg_20<=Arg_14 && Arg_14+Arg_20<=7 && Arg_20<=2+Arg_13 && Arg_13+Arg_20<=4 && 1+Arg_20<=Arg_12 && Arg_12+Arg_20<=7 && Arg_20<=2+Arg_11 && Arg_11+Arg_20<=4 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 7<=Arg_14+Arg_20 && Arg_14<=1+Arg_20 && 4<=Arg_13+Arg_20 && 2+Arg_13<=Arg_20 && 7<=Arg_12+Arg_20 && Arg_12<=1+Arg_20 && 4<=Arg_11+Arg_20 && 2+Arg_11<=Arg_20 && Arg_19<=2 && 2+Arg_19<=Arg_14 && Arg_14+Arg_19<=6 && Arg_19<=1+Arg_13 && Arg_13+Arg_19<=3 && 2+Arg_19<=Arg_12 && Arg_12+Arg_19<=6 && Arg_19<=1+Arg_11 && Arg_11+Arg_19<=3 && 2<=Arg_19 && 6<=Arg_14+Arg_19 && Arg_14<=2+Arg_19 && 3<=Arg_13+Arg_19 && 1+Arg_13<=Arg_19 && 6<=Arg_12+Arg_19 && Arg_12<=2+Arg_19 && 3<=Arg_11+Arg_19 && 1+Arg_11<=Arg_19 && Arg_14<=4 && Arg_14<=3+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=8 && Arg_14<=3+Arg_11 && Arg_11+Arg_14<=5 && 4<=Arg_14 && 5<=Arg_13+Arg_14 && 3+Arg_13<=Arg_14 && 8<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && 3+Arg_11<=Arg_14 && Arg_13<=1 && 3+Arg_13<=Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=2 && 1<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=3+Arg_13 && 2<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=4 && Arg_12<=3+Arg_11 && Arg_11+Arg_12<=5 && 4<=Arg_12 && 5<=Arg_11+Arg_12 && 3+Arg_11<=Arg_12 && Arg_11<=1 && 1<=Arg_11 for location n_f6___5

Found invariant Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=1+Arg_17 && Arg_17+Arg_7<=7 && Arg_7<=1+Arg_14 && Arg_14+Arg_7<=7 && Arg_7<=2+Arg_13 && Arg_13+Arg_7<=6 && Arg_7<=1+Arg_12 && Arg_12+Arg_7<=7 && Arg_7<=2+Arg_11 && Arg_11+Arg_7<=6 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 7<=Arg_17+Arg_7 && 1+Arg_17<=Arg_7 && 7<=Arg_14+Arg_7 && 1+Arg_14<=Arg_7 && 6<=Arg_13+Arg_7 && 2+Arg_13<=Arg_7 && 7<=Arg_12+Arg_7 && 1+Arg_12<=Arg_7 && 6<=Arg_11+Arg_7 && 2+Arg_11<=Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 3+Arg_25<=Arg_17 && Arg_17+Arg_25<=3 && 3+Arg_25<=Arg_14 && Arg_14+Arg_25<=3 && 2+Arg_25<=Arg_13 && Arg_13+Arg_25<=2 && 3+Arg_25<=Arg_12 && Arg_12+Arg_25<=3 && 2+Arg_25<=Arg_11 && Arg_11+Arg_25<=2 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 3<=Arg_17+Arg_25 && Arg_17<=3+Arg_25 && 3<=Arg_14+Arg_25 && Arg_14<=3+Arg_25 && 2<=Arg_13+Arg_25 && Arg_13<=2+Arg_25 && 3<=Arg_12+Arg_25 && Arg_12<=3+Arg_25 && 2<=Arg_11+Arg_25 && Arg_11<=2+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=1+Arg_17 && Arg_17+Arg_23<=7 && Arg_23<=1+Arg_14 && Arg_14+Arg_23<=7 && Arg_23<=2+Arg_13 && Arg_13+Arg_23<=6 && Arg_23<=1+Arg_12 && Arg_12+Arg_23<=7 && Arg_23<=2+Arg_11 && Arg_11+Arg_23<=6 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 7<=Arg_17+Arg_23 && 1+Arg_17<=Arg_23 && 7<=Arg_14+Arg_23 && 1+Arg_14<=Arg_23 && 6<=Arg_13+Arg_23 && 2+Arg_13<=Arg_23 && 7<=Arg_12+Arg_23 && 1+Arg_12<=Arg_23 && 6<=Arg_11+Arg_23 && 2+Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=Arg_17 && Arg_17+Arg_20<=6 && Arg_20<=Arg_14 && Arg_14+Arg_20<=6 && Arg_20<=1+Arg_13 && Arg_13+Arg_20<=5 && Arg_20<=Arg_12 && Arg_12+Arg_20<=6 && Arg_20<=1+Arg_11 && Arg_11+Arg_20<=5 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 6<=Arg_17+Arg_20 && Arg_17<=Arg_20 && 6<=Arg_14+Arg_20 && Arg_14<=Arg_20 && 5<=Arg_13+Arg_20 && 1+Arg_13<=Arg_20 && 6<=Arg_12+Arg_20 && Arg_12<=Arg_20 && 5<=Arg_11+Arg_20 && 1+Arg_11<=Arg_20 && Arg_19<=2 && 1+Arg_19<=Arg_17 && Arg_17+Arg_19<=5 && 1+Arg_19<=Arg_14 && Arg_14+Arg_19<=5 && Arg_19<=Arg_13 && Arg_13+Arg_19<=4 && 1+Arg_19<=Arg_12 && Arg_12+Arg_19<=5 && Arg_19<=Arg_11 && Arg_11+Arg_19<=4 && 2<=Arg_19 && 5<=Arg_17+Arg_19 && Arg_17<=1+Arg_19 && 5<=Arg_14+Arg_19 && Arg_14<=1+Arg_19 && 4<=Arg_13+Arg_19 && Arg_13<=Arg_19 && 5<=Arg_12+Arg_19 && Arg_12<=1+Arg_19 && 4<=Arg_11+Arg_19 && Arg_11<=Arg_19 && Arg_17<=3 && Arg_17<=Arg_14 && Arg_14+Arg_17<=6 && Arg_17<=1+Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=6 && Arg_17<=1+Arg_11 && Arg_11+Arg_17<=5 && 3<=Arg_17 && 6<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && 1+Arg_13<=Arg_17 && 6<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && 1+Arg_11<=Arg_17 && Arg_14<=3 && Arg_14<=1+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=6 && Arg_14<=1+Arg_11 && Arg_11+Arg_14<=5 && 3<=Arg_14 && 5<=Arg_13+Arg_14 && 1+Arg_13<=Arg_14 && 6<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && 1+Arg_11<=Arg_14 && Arg_13<=2 && 1+Arg_13<=Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=4 && 2<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=1+Arg_13 && 4<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=3 && Arg_12<=1+Arg_11 && Arg_11+Arg_12<=5 && 3<=Arg_12 && 5<=Arg_11+Arg_12 && 1+Arg_11<=Arg_12 && Arg_11<=2 && 2<=Arg_11 for location n_f6___2

Found invariant Arg_8<=Arg_10 && Arg_10<=Arg_8 && Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=3+Arg_14 && Arg_14+Arg_7<=8 && Arg_7<=3+Arg_13 && Arg_13+Arg_7<=8 && Arg_7<=3+Arg_12 && Arg_12+Arg_7<=8 && Arg_7<=3+Arg_11 && Arg_11+Arg_7<=8 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 5<=Arg_14+Arg_7 && Arg_14<=Arg_7 && 5<=Arg_13+Arg_7 && Arg_13<=Arg_7 && 5<=Arg_12+Arg_7 && Arg_12<=Arg_7 && 5<=Arg_11+Arg_7 && Arg_11<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_4<=Arg_6 && Arg_2<=Arg_6 && 1+Arg_0<=Arg_6 && Arg_4<=Arg_2 && Arg_2<=Arg_4 && 1+Arg_0<=Arg_4 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 1+Arg_25<=Arg_14 && Arg_14+Arg_25<=4 && 1+Arg_25<=Arg_13 && Arg_13+Arg_25<=4 && 1+Arg_25<=Arg_12 && Arg_12+Arg_25<=4 && 1+Arg_25<=Arg_11 && Arg_11+Arg_25<=4 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 1<=Arg_14+Arg_25 && Arg_14<=4+Arg_25 && 1<=Arg_13+Arg_25 && Arg_13<=4+Arg_25 && 1<=Arg_12+Arg_25 && Arg_12<=4+Arg_25 && 1<=Arg_11+Arg_25 && Arg_11<=4+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=3+Arg_14 && Arg_14+Arg_23<=8 && Arg_23<=3+Arg_13 && Arg_13+Arg_23<=8 && Arg_23<=3+Arg_12 && Arg_12+Arg_23<=8 && Arg_23<=3+Arg_11 && Arg_11+Arg_23<=8 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 5<=Arg_14+Arg_23 && Arg_14<=Arg_23 && 5<=Arg_13+Arg_23 && Arg_13<=Arg_23 && 5<=Arg_12+Arg_23 && Arg_12<=Arg_23 && 5<=Arg_11+Arg_23 && Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=2+Arg_14 && Arg_14+Arg_20<=7 && Arg_20<=2+Arg_13 && Arg_13+Arg_20<=7 && Arg_20<=2+Arg_12 && Arg_12+Arg_20<=7 && Arg_20<=2+Arg_11 && Arg_11+Arg_20<=7 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 4<=Arg_14+Arg_20 && Arg_14<=1+Arg_20 && 4<=Arg_13+Arg_20 && Arg_13<=1+Arg_20 && 4<=Arg_12+Arg_20 && Arg_12<=1+Arg_20 && 4<=Arg_11+Arg_20 && Arg_11<=1+Arg_20 && 1+Arg_0<=Arg_2 && Arg_19<=2 && Arg_19<=1+Arg_14 && Arg_14+Arg_19<=6 && Arg_19<=1+Arg_13 && Arg_13+Arg_19<=6 && Arg_19<=1+Arg_12 && Arg_12+Arg_19<=6 && Arg_19<=1+Arg_11 && Arg_11+Arg_19<=6 && 2<=Arg_19 && 3<=Arg_14+Arg_19 && Arg_14<=2+Arg_19 && 3<=Arg_13+Arg_19 && Arg_13<=2+Arg_19 && 3<=Arg_12+Arg_19 && Arg_12<=2+Arg_19 && 3<=Arg_11+Arg_19 && Arg_11<=2+Arg_19 && Arg_14<=4 && Arg_14<=3+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=8 && Arg_14<=3+Arg_11 && Arg_11+Arg_14<=5 && 1<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=3+Arg_14 && 2<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=3+Arg_14 && Arg_13<=4 && Arg_13<=3+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=8 && 1<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=3+Arg_13 && 2<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=4 && Arg_12<=3+Arg_11 && Arg_11+Arg_12<=5 && 1<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=3+Arg_12 && Arg_11<=4 && 1<=Arg_11 for location n_f11___3

Found invariant Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=4+Arg_17 && Arg_17+Arg_7<=6 && Arg_7<=4+Arg_14 && Arg_14+Arg_7<=6 && Arg_7<=1+Arg_13 && Arg_13+Arg_7<=9 && Arg_7<=4+Arg_12 && Arg_12+Arg_7<=6 && Arg_7<=1+Arg_11 && Arg_11+Arg_7<=9 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 4<=Arg_17+Arg_7 && 2+Arg_17<=Arg_7 && 4<=Arg_14+Arg_7 && 2+Arg_14<=Arg_7 && 7<=Arg_13+Arg_7 && Arg_13<=1+Arg_7 && 4<=Arg_12+Arg_7 && 2+Arg_12<=Arg_7 && 7<=Arg_11+Arg_7 && Arg_11<=1+Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && Arg_25<=Arg_17 && Arg_17+Arg_25<=2 && Arg_25<=Arg_14 && Arg_14+Arg_25<=2 && 3+Arg_25<=Arg_13 && Arg_13+Arg_25<=5 && Arg_25<=Arg_12 && Arg_12+Arg_25<=2 && 3+Arg_25<=Arg_11 && Arg_11+Arg_25<=5 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 0<=Arg_17+Arg_25 && Arg_17<=2+Arg_25 && 0<=Arg_14+Arg_25 && Arg_14<=2+Arg_25 && 3<=Arg_13+Arg_25 && Arg_13<=5+Arg_25 && 0<=Arg_12+Arg_25 && Arg_12<=2+Arg_25 && 3<=Arg_11+Arg_25 && Arg_11<=5+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=4+Arg_17 && Arg_17+Arg_23<=6 && Arg_23<=4+Arg_14 && Arg_14+Arg_23<=6 && Arg_23<=1+Arg_13 && Arg_13+Arg_23<=9 && Arg_23<=4+Arg_12 && Arg_12+Arg_23<=6 && Arg_23<=1+Arg_11 && Arg_11+Arg_23<=9 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 4<=Arg_17+Arg_23 && 2+Arg_17<=Arg_23 && 4<=Arg_14+Arg_23 && 2+Arg_14<=Arg_23 && 7<=Arg_13+Arg_23 && Arg_13<=1+Arg_23 && 4<=Arg_12+Arg_23 && 2+Arg_12<=Arg_23 && 7<=Arg_11+Arg_23 && Arg_11<=1+Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=3+Arg_17 && Arg_17+Arg_20<=5 && Arg_20<=3+Arg_14 && Arg_14+Arg_20<=5 && Arg_20<=Arg_13 && Arg_13+Arg_20<=8 && Arg_20<=3+Arg_12 && Arg_12+Arg_20<=5 && Arg_20<=Arg_11 && Arg_11+Arg_20<=8 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 3<=Arg_17+Arg_20 && 1+Arg_17<=Arg_20 && 3<=Arg_14+Arg_20 && 1+Arg_14<=Arg_20 && 6<=Arg_13+Arg_20 && Arg_13<=2+Arg_20 && 3<=Arg_12+Arg_20 && 1+Arg_12<=Arg_20 && 6<=Arg_11+Arg_20 && Arg_11<=2+Arg_20 && Arg_19<=2 && Arg_19<=2+Arg_17 && Arg_17+Arg_19<=4 && Arg_19<=2+Arg_14 && Arg_14+Arg_19<=4 && 1+Arg_19<=Arg_13 && Arg_13+Arg_19<=7 && Arg_19<=2+Arg_12 && Arg_12+Arg_19<=4 && 1+Arg_19<=Arg_11 && Arg_11+Arg_19<=7 && 2<=Arg_19 && 2<=Arg_17+Arg_19 && Arg_17<=Arg_19 && 2<=Arg_14+Arg_19 && Arg_14<=Arg_19 && 5<=Arg_13+Arg_19 && Arg_13<=3+Arg_19 && 2<=Arg_12+Arg_19 && Arg_12<=Arg_19 && 5<=Arg_11+Arg_19 && Arg_11<=3+Arg_19 && Arg_17<=2 && Arg_17<=Arg_14 && Arg_14+Arg_17<=4 && 1+Arg_17<=Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=4 && 1+Arg_17<=Arg_11 && Arg_11+Arg_17<=5 && 0<=Arg_17 && 0<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && Arg_13<=5+Arg_17 && 0<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && Arg_11<=5+Arg_17 && Arg_14<=2 && 1+Arg_14<=Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=4 && 1+Arg_14<=Arg_11 && Arg_11+Arg_14<=5 && 0<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=5+Arg_14 && 0<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=5+Arg_14 && Arg_13<=5 && Arg_13<=5+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=10 && 3<=Arg_13 && 5<=Arg_12+Arg_13 && 1+Arg_12<=Arg_13 && 6<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=2 && 1+Arg_12<=Arg_11 && Arg_11+Arg_12<=5 && 0<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=5+Arg_12 && Arg_11<=5 && 3<=Arg_11 for location n_f6___1

Found invariant Arg_8<=Arg_10 && Arg_10<=Arg_8 && Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=3+Arg_14 && Arg_14+Arg_7<=8 && Arg_7<=3+Arg_13 && Arg_13+Arg_7<=8 && Arg_7<=3+Arg_12 && Arg_12+Arg_7<=8 && Arg_7<=3+Arg_11 && Arg_11+Arg_7<=8 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 5<=Arg_14+Arg_7 && Arg_14<=Arg_7 && 5<=Arg_13+Arg_7 && Arg_13<=Arg_7 && 5<=Arg_12+Arg_7 && Arg_12<=Arg_7 && 5<=Arg_11+Arg_7 && Arg_11<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && 1+Arg_6<=Arg_0 && Arg_4<=Arg_6 && Arg_2<=Arg_6 && Arg_4<=Arg_2 && 1+Arg_4<=Arg_0 && Arg_2<=Arg_4 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 1+Arg_25<=Arg_14 && Arg_14+Arg_25<=4 && 1+Arg_25<=Arg_13 && Arg_13+Arg_25<=4 && 1+Arg_25<=Arg_12 && Arg_12+Arg_25<=4 && 1+Arg_25<=Arg_11 && Arg_11+Arg_25<=4 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 1<=Arg_14+Arg_25 && Arg_14<=4+Arg_25 && 1<=Arg_13+Arg_25 && Arg_13<=4+Arg_25 && 1<=Arg_12+Arg_25 && Arg_12<=4+Arg_25 && 1<=Arg_11+Arg_25 && Arg_11<=4+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=3+Arg_14 && Arg_14+Arg_23<=8 && Arg_23<=3+Arg_13 && Arg_13+Arg_23<=8 && Arg_23<=3+Arg_12 && Arg_12+Arg_23<=8 && Arg_23<=3+Arg_11 && Arg_11+Arg_23<=8 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 5<=Arg_14+Arg_23 && Arg_14<=Arg_23 && 5<=Arg_13+Arg_23 && Arg_13<=Arg_23 && 5<=Arg_12+Arg_23 && Arg_12<=Arg_23 && 5<=Arg_11+Arg_23 && Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=2+Arg_14 && Arg_14+Arg_20<=7 && Arg_20<=2+Arg_13 && Arg_13+Arg_20<=7 && Arg_20<=2+Arg_12 && Arg_12+Arg_20<=7 && Arg_20<=2+Arg_11 && Arg_11+Arg_20<=7 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 4<=Arg_14+Arg_20 && Arg_14<=1+Arg_20 && 4<=Arg_13+Arg_20 && Arg_13<=1+Arg_20 && 4<=Arg_12+Arg_20 && Arg_12<=1+Arg_20 && 4<=Arg_11+Arg_20 && Arg_11<=1+Arg_20 && 1+Arg_2<=Arg_0 && Arg_19<=2 && Arg_19<=1+Arg_14 && Arg_14+Arg_19<=6 && Arg_19<=1+Arg_13 && Arg_13+Arg_19<=6 && Arg_19<=1+Arg_12 && Arg_12+Arg_19<=6 && Arg_19<=1+Arg_11 && Arg_11+Arg_19<=6 && 2<=Arg_19 && 3<=Arg_14+Arg_19 && Arg_14<=2+Arg_19 && 3<=Arg_13+Arg_19 && Arg_13<=2+Arg_19 && 3<=Arg_12+Arg_19 && Arg_12<=2+Arg_19 && 3<=Arg_11+Arg_19 && Arg_11<=2+Arg_19 && Arg_14<=4 && Arg_14<=3+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=8 && Arg_14<=3+Arg_11 && Arg_11+Arg_14<=5 && 1<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=3+Arg_14 && 2<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=3+Arg_14 && Arg_13<=4 && Arg_13<=3+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=8 && 1<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=3+Arg_13 && 2<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=4 && Arg_12<=3+Arg_11 && Arg_11+Arg_12<=5 && 1<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=3+Arg_12 && Arg_11<=4 && 1<=Arg_11 for location n_f11___4

Problem after Preprocessing

Start: n_f26
Program_Vars: Arg_0, Arg_2, Arg_4, Arg_6, Arg_7, Arg_8, Arg_10, Arg_11, Arg_12, Arg_13, Arg_14, Arg_17, Arg_19, Arg_20, Arg_23, Arg_25, Arg_27, Arg_28, Arg_29, Arg_30
Temp_Vars: B_P, C_P, D_P, NoDet0, NoDet1, W_P, X_P, Y_P, Z_P
Locations: n_f11___3, n_f11___4, n_f26, n_f6___1, n_f6___2, n_f6___5
Transitions:
31:n_f11___3(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___3(Arg_0,Arg_2,Arg_2,Arg_2,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30):|:Arg_8<=Arg_10 && Arg_10<=Arg_8 && Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=3+Arg_14 && Arg_14+Arg_7<=8 && Arg_7<=3+Arg_13 && Arg_13+Arg_7<=8 && Arg_7<=3+Arg_12 && Arg_12+Arg_7<=8 && Arg_7<=3+Arg_11 && Arg_11+Arg_7<=8 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 5<=Arg_14+Arg_7 && Arg_14<=Arg_7 && 5<=Arg_13+Arg_7 && Arg_13<=Arg_7 && 5<=Arg_12+Arg_7 && Arg_12<=Arg_7 && 5<=Arg_11+Arg_7 && Arg_11<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_4<=Arg_6 && Arg_2<=Arg_6 && 1+Arg_0<=Arg_6 && Arg_4<=Arg_2 && Arg_2<=Arg_4 && 1+Arg_0<=Arg_4 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 1+Arg_25<=Arg_14 && Arg_14+Arg_25<=4 && 1+Arg_25<=Arg_13 && Arg_13+Arg_25<=4 && 1+Arg_25<=Arg_12 && Arg_12+Arg_25<=4 && 1+Arg_25<=Arg_11 && Arg_11+Arg_25<=4 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 1<=Arg_14+Arg_25 && Arg_14<=4+Arg_25 && 1<=Arg_13+Arg_25 && Arg_13<=4+Arg_25 && 1<=Arg_12+Arg_25 && Arg_12<=4+Arg_25 && 1<=Arg_11+Arg_25 && Arg_11<=4+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=3+Arg_14 && Arg_14+Arg_23<=8 && Arg_23<=3+Arg_13 && Arg_13+Arg_23<=8 && Arg_23<=3+Arg_12 && Arg_12+Arg_23<=8 && Arg_23<=3+Arg_11 && Arg_11+Arg_23<=8 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 5<=Arg_14+Arg_23 && Arg_14<=Arg_23 && 5<=Arg_13+Arg_23 && Arg_13<=Arg_23 && 5<=Arg_12+Arg_23 && Arg_12<=Arg_23 && 5<=Arg_11+Arg_23 && Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=2+Arg_14 && Arg_14+Arg_20<=7 && Arg_20<=2+Arg_13 && Arg_13+Arg_20<=7 && Arg_20<=2+Arg_12 && Arg_12+Arg_20<=7 && Arg_20<=2+Arg_11 && Arg_11+Arg_20<=7 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 4<=Arg_14+Arg_20 && Arg_14<=1+Arg_20 && 4<=Arg_13+Arg_20 && Arg_13<=1+Arg_20 && 4<=Arg_12+Arg_20 && Arg_12<=1+Arg_20 && 4<=Arg_11+Arg_20 && Arg_11<=1+Arg_20 && 1+Arg_0<=Arg_2 && Arg_19<=2 && Arg_19<=1+Arg_14 && Arg_14+Arg_19<=6 && Arg_19<=1+Arg_13 && Arg_13+Arg_19<=6 && Arg_19<=1+Arg_12 && Arg_12+Arg_19<=6 && Arg_19<=1+Arg_11 && Arg_11+Arg_19<=6 && 2<=Arg_19 && 3<=Arg_14+Arg_19 && Arg_14<=2+Arg_19 && 3<=Arg_13+Arg_19 && Arg_13<=2+Arg_19 && 3<=Arg_12+Arg_19 && Arg_12<=2+Arg_19 && 3<=Arg_11+Arg_19 && Arg_11<=2+Arg_19 && Arg_14<=4 && Arg_14<=3+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=8 && Arg_14<=3+Arg_11 && Arg_11+Arg_14<=5 && 1<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=3+Arg_14 && 2<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=3+Arg_14 && Arg_13<=4 && Arg_13<=3+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=8 && 1<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=3+Arg_13 && 2<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=4 && Arg_12<=3+Arg_11 && Arg_11+Arg_12<=5 && 1<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=3+Arg_12 && Arg_11<=4 && 1<=Arg_11 && 1+Arg_0<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_4<=Arg_6 && Arg_6<=Arg_4 && 1+Arg_0<=Arg_6 && Arg_2<=Arg_4 && Arg_4<=Arg_2 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 1+Arg_0<=Arg_2 && 0<=Arg_11 && 1<=Arg_12 && 1+Arg_0<=Arg_2
32:n_f11___4(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___4(Arg_0,Arg_2,Arg_2,Arg_2,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30):|:Arg_8<=Arg_10 && Arg_10<=Arg_8 && Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=3+Arg_14 && Arg_14+Arg_7<=8 && Arg_7<=3+Arg_13 && Arg_13+Arg_7<=8 && Arg_7<=3+Arg_12 && Arg_12+Arg_7<=8 && Arg_7<=3+Arg_11 && Arg_11+Arg_7<=8 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 5<=Arg_14+Arg_7 && Arg_14<=Arg_7 && 5<=Arg_13+Arg_7 && Arg_13<=Arg_7 && 5<=Arg_12+Arg_7 && Arg_12<=Arg_7 && 5<=Arg_11+Arg_7 && Arg_11<=Arg_7 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && 1+Arg_6<=Arg_0 && Arg_4<=Arg_6 && Arg_2<=Arg_6 && Arg_4<=Arg_2 && 1+Arg_4<=Arg_0 && Arg_2<=Arg_4 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 1+Arg_25<=Arg_14 && Arg_14+Arg_25<=4 && 1+Arg_25<=Arg_13 && Arg_13+Arg_25<=4 && 1+Arg_25<=Arg_12 && Arg_12+Arg_25<=4 && 1+Arg_25<=Arg_11 && Arg_11+Arg_25<=4 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 1<=Arg_14+Arg_25 && Arg_14<=4+Arg_25 && 1<=Arg_13+Arg_25 && Arg_13<=4+Arg_25 && 1<=Arg_12+Arg_25 && Arg_12<=4+Arg_25 && 1<=Arg_11+Arg_25 && Arg_11<=4+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=3+Arg_14 && Arg_14+Arg_23<=8 && Arg_23<=3+Arg_13 && Arg_13+Arg_23<=8 && Arg_23<=3+Arg_12 && Arg_12+Arg_23<=8 && Arg_23<=3+Arg_11 && Arg_11+Arg_23<=8 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 5<=Arg_14+Arg_23 && Arg_14<=Arg_23 && 5<=Arg_13+Arg_23 && Arg_13<=Arg_23 && 5<=Arg_12+Arg_23 && Arg_12<=Arg_23 && 5<=Arg_11+Arg_23 && Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=2+Arg_14 && Arg_14+Arg_20<=7 && Arg_20<=2+Arg_13 && Arg_13+Arg_20<=7 && Arg_20<=2+Arg_12 && Arg_12+Arg_20<=7 && Arg_20<=2+Arg_11 && Arg_11+Arg_20<=7 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 4<=Arg_14+Arg_20 && Arg_14<=1+Arg_20 && 4<=Arg_13+Arg_20 && Arg_13<=1+Arg_20 && 4<=Arg_12+Arg_20 && Arg_12<=1+Arg_20 && 4<=Arg_11+Arg_20 && Arg_11<=1+Arg_20 && 1+Arg_2<=Arg_0 && Arg_19<=2 && Arg_19<=1+Arg_14 && Arg_14+Arg_19<=6 && Arg_19<=1+Arg_13 && Arg_13+Arg_19<=6 && Arg_19<=1+Arg_12 && Arg_12+Arg_19<=6 && Arg_19<=1+Arg_11 && Arg_11+Arg_19<=6 && 2<=Arg_19 && 3<=Arg_14+Arg_19 && Arg_14<=2+Arg_19 && 3<=Arg_13+Arg_19 && Arg_13<=2+Arg_19 && 3<=Arg_12+Arg_19 && Arg_12<=2+Arg_19 && 3<=Arg_11+Arg_19 && Arg_11<=2+Arg_19 && Arg_14<=4 && Arg_14<=3+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=8 && Arg_14<=3+Arg_11 && Arg_11+Arg_14<=5 && 1<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=3+Arg_14 && 2<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=3+Arg_14 && Arg_13<=4 && Arg_13<=3+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=8 && 1<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=3+Arg_13 && 2<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=4 && Arg_12<=3+Arg_11 && Arg_11+Arg_12<=5 && 1<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=3+Arg_12 && Arg_11<=4 && 1<=Arg_11 && 1+Arg_2<=Arg_0 && 1+Arg_2<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_4<=Arg_6 && Arg_6<=Arg_4 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_2<=Arg_4 && Arg_4<=Arg_2 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && 0<=Arg_11 && 1<=Arg_12 && 1+Arg_2<=Arg_0 && 1+Arg_2<=Arg_0
33:n_f26(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___5(Arg_0,Arg_2,Arg_4,Arg_6,4,Arg_8,NoDet0,1,4,1,4,Arg_17,2,3,4,0,W_P,X_P,Y_P,Z_P):|:W_P<=Z_P && Z_P<=W_P && W_P<=Y_P && Y_P<=W_P && W_P<=X_P && X_P<=W_P
34:n_f26(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___5(Arg_0,Arg_2,Arg_4,Arg_6,4,Arg_8,NoDet0,1,4,1,4,Arg_17,2,3,4,0,W_P,X_P,Y_P,Z_P):|:W_P<=Z_P && Z_P<=W_P && W_P<=Y_P && Y_P<=W_P && W_P<=X_P && X_P<=W_P
35:n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___3(Arg_0,B_P,C_P,D_P,Arg_7,Arg_8,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,NoDet1):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=4+Arg_17 && Arg_17+Arg_7<=6 && Arg_7<=4+Arg_14 && Arg_14+Arg_7<=6 && Arg_7<=1+Arg_13 && Arg_13+Arg_7<=9 && Arg_7<=4+Arg_12 && Arg_12+Arg_7<=6 && Arg_7<=1+Arg_11 && Arg_11+Arg_7<=9 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 4<=Arg_17+Arg_7 && 2+Arg_17<=Arg_7 && 4<=Arg_14+Arg_7 && 2+Arg_14<=Arg_7 && 7<=Arg_13+Arg_7 && Arg_13<=1+Arg_7 && 4<=Arg_12+Arg_7 && 2+Arg_12<=Arg_7 && 7<=Arg_11+Arg_7 && Arg_11<=1+Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && Arg_25<=Arg_17 && Arg_17+Arg_25<=2 && Arg_25<=Arg_14 && Arg_14+Arg_25<=2 && 3+Arg_25<=Arg_13 && Arg_13+Arg_25<=5 && Arg_25<=Arg_12 && Arg_12+Arg_25<=2 && 3+Arg_25<=Arg_11 && Arg_11+Arg_25<=5 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 0<=Arg_17+Arg_25 && Arg_17<=2+Arg_25 && 0<=Arg_14+Arg_25 && Arg_14<=2+Arg_25 && 3<=Arg_13+Arg_25 && Arg_13<=5+Arg_25 && 0<=Arg_12+Arg_25 && Arg_12<=2+Arg_25 && 3<=Arg_11+Arg_25 && Arg_11<=5+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=4+Arg_17 && Arg_17+Arg_23<=6 && Arg_23<=4+Arg_14 && Arg_14+Arg_23<=6 && Arg_23<=1+Arg_13 && Arg_13+Arg_23<=9 && Arg_23<=4+Arg_12 && Arg_12+Arg_23<=6 && Arg_23<=1+Arg_11 && Arg_11+Arg_23<=9 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 4<=Arg_17+Arg_23 && 2+Arg_17<=Arg_23 && 4<=Arg_14+Arg_23 && 2+Arg_14<=Arg_23 && 7<=Arg_13+Arg_23 && Arg_13<=1+Arg_23 && 4<=Arg_12+Arg_23 && 2+Arg_12<=Arg_23 && 7<=Arg_11+Arg_23 && Arg_11<=1+Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=3+Arg_17 && Arg_17+Arg_20<=5 && Arg_20<=3+Arg_14 && Arg_14+Arg_20<=5 && Arg_20<=Arg_13 && Arg_13+Arg_20<=8 && Arg_20<=3+Arg_12 && Arg_12+Arg_20<=5 && Arg_20<=Arg_11 && Arg_11+Arg_20<=8 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 3<=Arg_17+Arg_20 && 1+Arg_17<=Arg_20 && 3<=Arg_14+Arg_20 && 1+Arg_14<=Arg_20 && 6<=Arg_13+Arg_20 && Arg_13<=2+Arg_20 && 3<=Arg_12+Arg_20 && 1+Arg_12<=Arg_20 && 6<=Arg_11+Arg_20 && Arg_11<=2+Arg_20 && Arg_19<=2 && Arg_19<=2+Arg_17 && Arg_17+Arg_19<=4 && Arg_19<=2+Arg_14 && Arg_14+Arg_19<=4 && 1+Arg_19<=Arg_13 && Arg_13+Arg_19<=7 && Arg_19<=2+Arg_12 && Arg_12+Arg_19<=4 && 1+Arg_19<=Arg_11 && Arg_11+Arg_19<=7 && 2<=Arg_19 && 2<=Arg_17+Arg_19 && Arg_17<=Arg_19 && 2<=Arg_14+Arg_19 && Arg_14<=Arg_19 && 5<=Arg_13+Arg_19 && Arg_13<=3+Arg_19 && 2<=Arg_12+Arg_19 && Arg_12<=Arg_19 && 5<=Arg_11+Arg_19 && Arg_11<=3+Arg_19 && Arg_17<=2 && Arg_17<=Arg_14 && Arg_14+Arg_17<=4 && 1+Arg_17<=Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=4 && 1+Arg_17<=Arg_11 && Arg_11+Arg_17<=5 && 0<=Arg_17 && 0<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && Arg_13<=5+Arg_17 && 0<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && Arg_11<=5+Arg_17 && Arg_14<=2 && 1+Arg_14<=Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=4 && 1+Arg_14<=Arg_11 && Arg_11+Arg_14<=5 && 0<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=5+Arg_14 && 0<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=5+Arg_14 && Arg_13<=5 && Arg_13<=5+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=10 && 3<=Arg_13 && 5<=Arg_12+Arg_13 && 1+Arg_12<=Arg_13 && 6<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=2 && 1+Arg_12<=Arg_11 && Arg_11+Arg_12<=5 && 0<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=5+Arg_12 && Arg_11<=5 && 3<=Arg_11 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1+Arg_0<=B_P && 1<=Arg_12 && 0<=Arg_11 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
36:n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___4(Arg_0,B_P,C_P,D_P,Arg_7,Arg_8,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,NoDet1):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=4+Arg_17 && Arg_17+Arg_7<=6 && Arg_7<=4+Arg_14 && Arg_14+Arg_7<=6 && Arg_7<=1+Arg_13 && Arg_13+Arg_7<=9 && Arg_7<=4+Arg_12 && Arg_12+Arg_7<=6 && Arg_7<=1+Arg_11 && Arg_11+Arg_7<=9 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 4<=Arg_17+Arg_7 && 2+Arg_17<=Arg_7 && 4<=Arg_14+Arg_7 && 2+Arg_14<=Arg_7 && 7<=Arg_13+Arg_7 && Arg_13<=1+Arg_7 && 4<=Arg_12+Arg_7 && 2+Arg_12<=Arg_7 && 7<=Arg_11+Arg_7 && Arg_11<=1+Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && Arg_25<=Arg_17 && Arg_17+Arg_25<=2 && Arg_25<=Arg_14 && Arg_14+Arg_25<=2 && 3+Arg_25<=Arg_13 && Arg_13+Arg_25<=5 && Arg_25<=Arg_12 && Arg_12+Arg_25<=2 && 3+Arg_25<=Arg_11 && Arg_11+Arg_25<=5 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 0<=Arg_17+Arg_25 && Arg_17<=2+Arg_25 && 0<=Arg_14+Arg_25 && Arg_14<=2+Arg_25 && 3<=Arg_13+Arg_25 && Arg_13<=5+Arg_25 && 0<=Arg_12+Arg_25 && Arg_12<=2+Arg_25 && 3<=Arg_11+Arg_25 && Arg_11<=5+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=4+Arg_17 && Arg_17+Arg_23<=6 && Arg_23<=4+Arg_14 && Arg_14+Arg_23<=6 && Arg_23<=1+Arg_13 && Arg_13+Arg_23<=9 && Arg_23<=4+Arg_12 && Arg_12+Arg_23<=6 && Arg_23<=1+Arg_11 && Arg_11+Arg_23<=9 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 4<=Arg_17+Arg_23 && 2+Arg_17<=Arg_23 && 4<=Arg_14+Arg_23 && 2+Arg_14<=Arg_23 && 7<=Arg_13+Arg_23 && Arg_13<=1+Arg_23 && 4<=Arg_12+Arg_23 && 2+Arg_12<=Arg_23 && 7<=Arg_11+Arg_23 && Arg_11<=1+Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=3+Arg_17 && Arg_17+Arg_20<=5 && Arg_20<=3+Arg_14 && Arg_14+Arg_20<=5 && Arg_20<=Arg_13 && Arg_13+Arg_20<=8 && Arg_20<=3+Arg_12 && Arg_12+Arg_20<=5 && Arg_20<=Arg_11 && Arg_11+Arg_20<=8 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 3<=Arg_17+Arg_20 && 1+Arg_17<=Arg_20 && 3<=Arg_14+Arg_20 && 1+Arg_14<=Arg_20 && 6<=Arg_13+Arg_20 && Arg_13<=2+Arg_20 && 3<=Arg_12+Arg_20 && 1+Arg_12<=Arg_20 && 6<=Arg_11+Arg_20 && Arg_11<=2+Arg_20 && Arg_19<=2 && Arg_19<=2+Arg_17 && Arg_17+Arg_19<=4 && Arg_19<=2+Arg_14 && Arg_14+Arg_19<=4 && 1+Arg_19<=Arg_13 && Arg_13+Arg_19<=7 && Arg_19<=2+Arg_12 && Arg_12+Arg_19<=4 && 1+Arg_19<=Arg_11 && Arg_11+Arg_19<=7 && 2<=Arg_19 && 2<=Arg_17+Arg_19 && Arg_17<=Arg_19 && 2<=Arg_14+Arg_19 && Arg_14<=Arg_19 && 5<=Arg_13+Arg_19 && Arg_13<=3+Arg_19 && 2<=Arg_12+Arg_19 && Arg_12<=Arg_19 && 5<=Arg_11+Arg_19 && Arg_11<=3+Arg_19 && Arg_17<=2 && Arg_17<=Arg_14 && Arg_14+Arg_17<=4 && 1+Arg_17<=Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=4 && 1+Arg_17<=Arg_11 && Arg_11+Arg_17<=5 && 0<=Arg_17 && 0<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && Arg_13<=5+Arg_17 && 0<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && Arg_11<=5+Arg_17 && Arg_14<=2 && 1+Arg_14<=Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=4 && 1+Arg_14<=Arg_11 && Arg_11+Arg_14<=5 && 0<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=5+Arg_14 && 0<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=5+Arg_14 && Arg_13<=5 && Arg_13<=5+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=10 && 3<=Arg_13 && 5<=Arg_12+Arg_13 && 1+Arg_12<=Arg_13 && 6<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=2 && 1+Arg_12<=Arg_11 && Arg_11+Arg_12<=5 && 0<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=5+Arg_12 && Arg_11<=5 && 3<=Arg_11 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1<=Arg_12 && 0<=Arg_11 && 1+B_P<=Arg_0 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
37:n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,Arg_12-1,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=4+Arg_17 && Arg_17+Arg_7<=6 && Arg_7<=4+Arg_14 && Arg_14+Arg_7<=6 && Arg_7<=1+Arg_13 && Arg_13+Arg_7<=9 && Arg_7<=4+Arg_12 && Arg_12+Arg_7<=6 && Arg_7<=1+Arg_11 && Arg_11+Arg_7<=9 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 4<=Arg_17+Arg_7 && 2+Arg_17<=Arg_7 && 4<=Arg_14+Arg_7 && 2+Arg_14<=Arg_7 && 7<=Arg_13+Arg_7 && Arg_13<=1+Arg_7 && 4<=Arg_12+Arg_7 && 2+Arg_12<=Arg_7 && 7<=Arg_11+Arg_7 && Arg_11<=1+Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && Arg_25<=Arg_17 && Arg_17+Arg_25<=2 && Arg_25<=Arg_14 && Arg_14+Arg_25<=2 && 3+Arg_25<=Arg_13 && Arg_13+Arg_25<=5 && Arg_25<=Arg_12 && Arg_12+Arg_25<=2 && 3+Arg_25<=Arg_11 && Arg_11+Arg_25<=5 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 0<=Arg_17+Arg_25 && Arg_17<=2+Arg_25 && 0<=Arg_14+Arg_25 && Arg_14<=2+Arg_25 && 3<=Arg_13+Arg_25 && Arg_13<=5+Arg_25 && 0<=Arg_12+Arg_25 && Arg_12<=2+Arg_25 && 3<=Arg_11+Arg_25 && Arg_11<=5+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=4+Arg_17 && Arg_17+Arg_23<=6 && Arg_23<=4+Arg_14 && Arg_14+Arg_23<=6 && Arg_23<=1+Arg_13 && Arg_13+Arg_23<=9 && Arg_23<=4+Arg_12 && Arg_12+Arg_23<=6 && Arg_23<=1+Arg_11 && Arg_11+Arg_23<=9 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 4<=Arg_17+Arg_23 && 2+Arg_17<=Arg_23 && 4<=Arg_14+Arg_23 && 2+Arg_14<=Arg_23 && 7<=Arg_13+Arg_23 && Arg_13<=1+Arg_23 && 4<=Arg_12+Arg_23 && 2+Arg_12<=Arg_23 && 7<=Arg_11+Arg_23 && Arg_11<=1+Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=3+Arg_17 && Arg_17+Arg_20<=5 && Arg_20<=3+Arg_14 && Arg_14+Arg_20<=5 && Arg_20<=Arg_13 && Arg_13+Arg_20<=8 && Arg_20<=3+Arg_12 && Arg_12+Arg_20<=5 && Arg_20<=Arg_11 && Arg_11+Arg_20<=8 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 3<=Arg_17+Arg_20 && 1+Arg_17<=Arg_20 && 3<=Arg_14+Arg_20 && 1+Arg_14<=Arg_20 && 6<=Arg_13+Arg_20 && Arg_13<=2+Arg_20 && 3<=Arg_12+Arg_20 && 1+Arg_12<=Arg_20 && 6<=Arg_11+Arg_20 && Arg_11<=2+Arg_20 && Arg_19<=2 && Arg_19<=2+Arg_17 && Arg_17+Arg_19<=4 && Arg_19<=2+Arg_14 && Arg_14+Arg_19<=4 && 1+Arg_19<=Arg_13 && Arg_13+Arg_19<=7 && Arg_19<=2+Arg_12 && Arg_12+Arg_19<=4 && 1+Arg_19<=Arg_11 && Arg_11+Arg_19<=7 && 2<=Arg_19 && 2<=Arg_17+Arg_19 && Arg_17<=Arg_19 && 2<=Arg_14+Arg_19 && Arg_14<=Arg_19 && 5<=Arg_13+Arg_19 && Arg_13<=3+Arg_19 && 2<=Arg_12+Arg_19 && Arg_12<=Arg_19 && 5<=Arg_11+Arg_19 && Arg_11<=3+Arg_19 && Arg_17<=2 && Arg_17<=Arg_14 && Arg_14+Arg_17<=4 && 1+Arg_17<=Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=4 && 1+Arg_17<=Arg_11 && Arg_11+Arg_17<=5 && 0<=Arg_17 && 0<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && Arg_13<=5+Arg_17 && 0<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && Arg_11<=5+Arg_17 && Arg_14<=2 && 1+Arg_14<=Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=4 && 1+Arg_14<=Arg_11 && Arg_11+Arg_14<=5 && 0<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=5+Arg_14 && 0<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=5+Arg_14 && Arg_13<=5 && Arg_13<=5+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=10 && 3<=Arg_13 && 5<=Arg_12+Arg_13 && 1+Arg_12<=Arg_13 && 6<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=2 && 1+Arg_12<=Arg_11 && Arg_11+Arg_12<=5 && 0<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=5+Arg_12 && Arg_11<=5 && 3<=Arg_11 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1<=Arg_12 && 0<=Arg_11 && 1+Arg_10<=Arg_8
38:n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,Arg_12-1,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=4+Arg_17 && Arg_17+Arg_7<=6 && Arg_7<=4+Arg_14 && Arg_14+Arg_7<=6 && Arg_7<=1+Arg_13 && Arg_13+Arg_7<=9 && Arg_7<=4+Arg_12 && Arg_12+Arg_7<=6 && Arg_7<=1+Arg_11 && Arg_11+Arg_7<=9 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 4<=Arg_17+Arg_7 && 2+Arg_17<=Arg_7 && 4<=Arg_14+Arg_7 && 2+Arg_14<=Arg_7 && 7<=Arg_13+Arg_7 && Arg_13<=1+Arg_7 && 4<=Arg_12+Arg_7 && 2+Arg_12<=Arg_7 && 7<=Arg_11+Arg_7 && Arg_11<=1+Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && Arg_25<=Arg_17 && Arg_17+Arg_25<=2 && Arg_25<=Arg_14 && Arg_14+Arg_25<=2 && 3+Arg_25<=Arg_13 && Arg_13+Arg_25<=5 && Arg_25<=Arg_12 && Arg_12+Arg_25<=2 && 3+Arg_25<=Arg_11 && Arg_11+Arg_25<=5 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 0<=Arg_17+Arg_25 && Arg_17<=2+Arg_25 && 0<=Arg_14+Arg_25 && Arg_14<=2+Arg_25 && 3<=Arg_13+Arg_25 && Arg_13<=5+Arg_25 && 0<=Arg_12+Arg_25 && Arg_12<=2+Arg_25 && 3<=Arg_11+Arg_25 && Arg_11<=5+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=4+Arg_17 && Arg_17+Arg_23<=6 && Arg_23<=4+Arg_14 && Arg_14+Arg_23<=6 && Arg_23<=1+Arg_13 && Arg_13+Arg_23<=9 && Arg_23<=4+Arg_12 && Arg_12+Arg_23<=6 && Arg_23<=1+Arg_11 && Arg_11+Arg_23<=9 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 4<=Arg_17+Arg_23 && 2+Arg_17<=Arg_23 && 4<=Arg_14+Arg_23 && 2+Arg_14<=Arg_23 && 7<=Arg_13+Arg_23 && Arg_13<=1+Arg_23 && 4<=Arg_12+Arg_23 && 2+Arg_12<=Arg_23 && 7<=Arg_11+Arg_23 && Arg_11<=1+Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=3+Arg_17 && Arg_17+Arg_20<=5 && Arg_20<=3+Arg_14 && Arg_14+Arg_20<=5 && Arg_20<=Arg_13 && Arg_13+Arg_20<=8 && Arg_20<=3+Arg_12 && Arg_12+Arg_20<=5 && Arg_20<=Arg_11 && Arg_11+Arg_20<=8 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 3<=Arg_17+Arg_20 && 1+Arg_17<=Arg_20 && 3<=Arg_14+Arg_20 && 1+Arg_14<=Arg_20 && 6<=Arg_13+Arg_20 && Arg_13<=2+Arg_20 && 3<=Arg_12+Arg_20 && 1+Arg_12<=Arg_20 && 6<=Arg_11+Arg_20 && Arg_11<=2+Arg_20 && Arg_19<=2 && Arg_19<=2+Arg_17 && Arg_17+Arg_19<=4 && Arg_19<=2+Arg_14 && Arg_14+Arg_19<=4 && 1+Arg_19<=Arg_13 && Arg_13+Arg_19<=7 && Arg_19<=2+Arg_12 && Arg_12+Arg_19<=4 && 1+Arg_19<=Arg_11 && Arg_11+Arg_19<=7 && 2<=Arg_19 && 2<=Arg_17+Arg_19 && Arg_17<=Arg_19 && 2<=Arg_14+Arg_19 && Arg_14<=Arg_19 && 5<=Arg_13+Arg_19 && Arg_13<=3+Arg_19 && 2<=Arg_12+Arg_19 && Arg_12<=Arg_19 && 5<=Arg_11+Arg_19 && Arg_11<=3+Arg_19 && Arg_17<=2 && Arg_17<=Arg_14 && Arg_14+Arg_17<=4 && 1+Arg_17<=Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=4 && 1+Arg_17<=Arg_11 && Arg_11+Arg_17<=5 && 0<=Arg_17 && 0<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && Arg_13<=5+Arg_17 && 0<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && Arg_11<=5+Arg_17 && Arg_14<=2 && 1+Arg_14<=Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=4 && 1+Arg_14<=Arg_11 && Arg_11+Arg_14<=5 && 0<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=5+Arg_14 && 0<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=5+Arg_14 && Arg_13<=5 && Arg_13<=5+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=10 && 3<=Arg_13 && 5<=Arg_12+Arg_13 && 1+Arg_12<=Arg_13 && 6<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=2 && 1+Arg_12<=Arg_11 && Arg_11+Arg_12<=5 && 0<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=5+Arg_12 && Arg_11<=5 && 3<=Arg_11 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1+Arg_8<=Arg_10 && 1<=Arg_12 && 0<=Arg_11
39:n_f6___2(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___3(Arg_0,B_P,C_P,D_P,Arg_7,Arg_8,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,NoDet1):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=1+Arg_17 && Arg_17+Arg_7<=7 && Arg_7<=1+Arg_14 && Arg_14+Arg_7<=7 && Arg_7<=2+Arg_13 && Arg_13+Arg_7<=6 && Arg_7<=1+Arg_12 && Arg_12+Arg_7<=7 && Arg_7<=2+Arg_11 && Arg_11+Arg_7<=6 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 7<=Arg_17+Arg_7 && 1+Arg_17<=Arg_7 && 7<=Arg_14+Arg_7 && 1+Arg_14<=Arg_7 && 6<=Arg_13+Arg_7 && 2+Arg_13<=Arg_7 && 7<=Arg_12+Arg_7 && 1+Arg_12<=Arg_7 && 6<=Arg_11+Arg_7 && 2+Arg_11<=Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 3+Arg_25<=Arg_17 && Arg_17+Arg_25<=3 && 3+Arg_25<=Arg_14 && Arg_14+Arg_25<=3 && 2+Arg_25<=Arg_13 && Arg_13+Arg_25<=2 && 3+Arg_25<=Arg_12 && Arg_12+Arg_25<=3 && 2+Arg_25<=Arg_11 && Arg_11+Arg_25<=2 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 3<=Arg_17+Arg_25 && Arg_17<=3+Arg_25 && 3<=Arg_14+Arg_25 && Arg_14<=3+Arg_25 && 2<=Arg_13+Arg_25 && Arg_13<=2+Arg_25 && 3<=Arg_12+Arg_25 && Arg_12<=3+Arg_25 && 2<=Arg_11+Arg_25 && Arg_11<=2+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=1+Arg_17 && Arg_17+Arg_23<=7 && Arg_23<=1+Arg_14 && Arg_14+Arg_23<=7 && Arg_23<=2+Arg_13 && Arg_13+Arg_23<=6 && Arg_23<=1+Arg_12 && Arg_12+Arg_23<=7 && Arg_23<=2+Arg_11 && Arg_11+Arg_23<=6 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 7<=Arg_17+Arg_23 && 1+Arg_17<=Arg_23 && 7<=Arg_14+Arg_23 && 1+Arg_14<=Arg_23 && 6<=Arg_13+Arg_23 && 2+Arg_13<=Arg_23 && 7<=Arg_12+Arg_23 && 1+Arg_12<=Arg_23 && 6<=Arg_11+Arg_23 && 2+Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=Arg_17 && Arg_17+Arg_20<=6 && Arg_20<=Arg_14 && Arg_14+Arg_20<=6 && Arg_20<=1+Arg_13 && Arg_13+Arg_20<=5 && Arg_20<=Arg_12 && Arg_12+Arg_20<=6 && Arg_20<=1+Arg_11 && Arg_11+Arg_20<=5 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 6<=Arg_17+Arg_20 && Arg_17<=Arg_20 && 6<=Arg_14+Arg_20 && Arg_14<=Arg_20 && 5<=Arg_13+Arg_20 && 1+Arg_13<=Arg_20 && 6<=Arg_12+Arg_20 && Arg_12<=Arg_20 && 5<=Arg_11+Arg_20 && 1+Arg_11<=Arg_20 && Arg_19<=2 && 1+Arg_19<=Arg_17 && Arg_17+Arg_19<=5 && 1+Arg_19<=Arg_14 && Arg_14+Arg_19<=5 && Arg_19<=Arg_13 && Arg_13+Arg_19<=4 && 1+Arg_19<=Arg_12 && Arg_12+Arg_19<=5 && Arg_19<=Arg_11 && Arg_11+Arg_19<=4 && 2<=Arg_19 && 5<=Arg_17+Arg_19 && Arg_17<=1+Arg_19 && 5<=Arg_14+Arg_19 && Arg_14<=1+Arg_19 && 4<=Arg_13+Arg_19 && Arg_13<=Arg_19 && 5<=Arg_12+Arg_19 && Arg_12<=1+Arg_19 && 4<=Arg_11+Arg_19 && Arg_11<=Arg_19 && Arg_17<=3 && Arg_17<=Arg_14 && Arg_14+Arg_17<=6 && Arg_17<=1+Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=6 && Arg_17<=1+Arg_11 && Arg_11+Arg_17<=5 && 3<=Arg_17 && 6<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && 1+Arg_13<=Arg_17 && 6<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && 1+Arg_11<=Arg_17 && Arg_14<=3 && Arg_14<=1+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=6 && Arg_14<=1+Arg_11 && Arg_11+Arg_14<=5 && 3<=Arg_14 && 5<=Arg_13+Arg_14 && 1+Arg_13<=Arg_14 && 6<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && 1+Arg_11<=Arg_14 && Arg_13<=2 && 1+Arg_13<=Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=4 && 2<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=1+Arg_13 && 4<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=3 && Arg_12<=1+Arg_11 && Arg_11+Arg_12<=5 && 3<=Arg_12 && 5<=Arg_11+Arg_12 && 1+Arg_11<=Arg_12 && Arg_11<=2 && 2<=Arg_11 && 1<=Arg_12 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1+Arg_0<=B_P && 1<=Arg_12 && 0<=Arg_11 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
40:n_f6___2(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___4(Arg_0,B_P,C_P,D_P,Arg_7,Arg_8,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,NoDet1):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=1+Arg_17 && Arg_17+Arg_7<=7 && Arg_7<=1+Arg_14 && Arg_14+Arg_7<=7 && Arg_7<=2+Arg_13 && Arg_13+Arg_7<=6 && Arg_7<=1+Arg_12 && Arg_12+Arg_7<=7 && Arg_7<=2+Arg_11 && Arg_11+Arg_7<=6 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 7<=Arg_17+Arg_7 && 1+Arg_17<=Arg_7 && 7<=Arg_14+Arg_7 && 1+Arg_14<=Arg_7 && 6<=Arg_13+Arg_7 && 2+Arg_13<=Arg_7 && 7<=Arg_12+Arg_7 && 1+Arg_12<=Arg_7 && 6<=Arg_11+Arg_7 && 2+Arg_11<=Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 3+Arg_25<=Arg_17 && Arg_17+Arg_25<=3 && 3+Arg_25<=Arg_14 && Arg_14+Arg_25<=3 && 2+Arg_25<=Arg_13 && Arg_13+Arg_25<=2 && 3+Arg_25<=Arg_12 && Arg_12+Arg_25<=3 && 2+Arg_25<=Arg_11 && Arg_11+Arg_25<=2 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 3<=Arg_17+Arg_25 && Arg_17<=3+Arg_25 && 3<=Arg_14+Arg_25 && Arg_14<=3+Arg_25 && 2<=Arg_13+Arg_25 && Arg_13<=2+Arg_25 && 3<=Arg_12+Arg_25 && Arg_12<=3+Arg_25 && 2<=Arg_11+Arg_25 && Arg_11<=2+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=1+Arg_17 && Arg_17+Arg_23<=7 && Arg_23<=1+Arg_14 && Arg_14+Arg_23<=7 && Arg_23<=2+Arg_13 && Arg_13+Arg_23<=6 && Arg_23<=1+Arg_12 && Arg_12+Arg_23<=7 && Arg_23<=2+Arg_11 && Arg_11+Arg_23<=6 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 7<=Arg_17+Arg_23 && 1+Arg_17<=Arg_23 && 7<=Arg_14+Arg_23 && 1+Arg_14<=Arg_23 && 6<=Arg_13+Arg_23 && 2+Arg_13<=Arg_23 && 7<=Arg_12+Arg_23 && 1+Arg_12<=Arg_23 && 6<=Arg_11+Arg_23 && 2+Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=Arg_17 && Arg_17+Arg_20<=6 && Arg_20<=Arg_14 && Arg_14+Arg_20<=6 && Arg_20<=1+Arg_13 && Arg_13+Arg_20<=5 && Arg_20<=Arg_12 && Arg_12+Arg_20<=6 && Arg_20<=1+Arg_11 && Arg_11+Arg_20<=5 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 6<=Arg_17+Arg_20 && Arg_17<=Arg_20 && 6<=Arg_14+Arg_20 && Arg_14<=Arg_20 && 5<=Arg_13+Arg_20 && 1+Arg_13<=Arg_20 && 6<=Arg_12+Arg_20 && Arg_12<=Arg_20 && 5<=Arg_11+Arg_20 && 1+Arg_11<=Arg_20 && Arg_19<=2 && 1+Arg_19<=Arg_17 && Arg_17+Arg_19<=5 && 1+Arg_19<=Arg_14 && Arg_14+Arg_19<=5 && Arg_19<=Arg_13 && Arg_13+Arg_19<=4 && 1+Arg_19<=Arg_12 && Arg_12+Arg_19<=5 && Arg_19<=Arg_11 && Arg_11+Arg_19<=4 && 2<=Arg_19 && 5<=Arg_17+Arg_19 && Arg_17<=1+Arg_19 && 5<=Arg_14+Arg_19 && Arg_14<=1+Arg_19 && 4<=Arg_13+Arg_19 && Arg_13<=Arg_19 && 5<=Arg_12+Arg_19 && Arg_12<=1+Arg_19 && 4<=Arg_11+Arg_19 && Arg_11<=Arg_19 && Arg_17<=3 && Arg_17<=Arg_14 && Arg_14+Arg_17<=6 && Arg_17<=1+Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=6 && Arg_17<=1+Arg_11 && Arg_11+Arg_17<=5 && 3<=Arg_17 && 6<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && 1+Arg_13<=Arg_17 && 6<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && 1+Arg_11<=Arg_17 && Arg_14<=3 && Arg_14<=1+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=6 && Arg_14<=1+Arg_11 && Arg_11+Arg_14<=5 && 3<=Arg_14 && 5<=Arg_13+Arg_14 && 1+Arg_13<=Arg_14 && 6<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && 1+Arg_11<=Arg_14 && Arg_13<=2 && 1+Arg_13<=Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=4 && 2<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=1+Arg_13 && 4<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=3 && Arg_12<=1+Arg_11 && Arg_11+Arg_12<=5 && 3<=Arg_12 && 5<=Arg_11+Arg_12 && 1+Arg_11<=Arg_12 && Arg_11<=2 && 2<=Arg_11 && 1<=Arg_12 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1<=Arg_12 && 0<=Arg_11 && 1+B_P<=Arg_0 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
41:n_f6___2(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,Arg_12-1,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=1+Arg_17 && Arg_17+Arg_7<=7 && Arg_7<=1+Arg_14 && Arg_14+Arg_7<=7 && Arg_7<=2+Arg_13 && Arg_13+Arg_7<=6 && Arg_7<=1+Arg_12 && Arg_12+Arg_7<=7 && Arg_7<=2+Arg_11 && Arg_11+Arg_7<=6 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 7<=Arg_17+Arg_7 && 1+Arg_17<=Arg_7 && 7<=Arg_14+Arg_7 && 1+Arg_14<=Arg_7 && 6<=Arg_13+Arg_7 && 2+Arg_13<=Arg_7 && 7<=Arg_12+Arg_7 && 1+Arg_12<=Arg_7 && 6<=Arg_11+Arg_7 && 2+Arg_11<=Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 3+Arg_25<=Arg_17 && Arg_17+Arg_25<=3 && 3+Arg_25<=Arg_14 && Arg_14+Arg_25<=3 && 2+Arg_25<=Arg_13 && Arg_13+Arg_25<=2 && 3+Arg_25<=Arg_12 && Arg_12+Arg_25<=3 && 2+Arg_25<=Arg_11 && Arg_11+Arg_25<=2 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 3<=Arg_17+Arg_25 && Arg_17<=3+Arg_25 && 3<=Arg_14+Arg_25 && Arg_14<=3+Arg_25 && 2<=Arg_13+Arg_25 && Arg_13<=2+Arg_25 && 3<=Arg_12+Arg_25 && Arg_12<=3+Arg_25 && 2<=Arg_11+Arg_25 && Arg_11<=2+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=1+Arg_17 && Arg_17+Arg_23<=7 && Arg_23<=1+Arg_14 && Arg_14+Arg_23<=7 && Arg_23<=2+Arg_13 && Arg_13+Arg_23<=6 && Arg_23<=1+Arg_12 && Arg_12+Arg_23<=7 && Arg_23<=2+Arg_11 && Arg_11+Arg_23<=6 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 7<=Arg_17+Arg_23 && 1+Arg_17<=Arg_23 && 7<=Arg_14+Arg_23 && 1+Arg_14<=Arg_23 && 6<=Arg_13+Arg_23 && 2+Arg_13<=Arg_23 && 7<=Arg_12+Arg_23 && 1+Arg_12<=Arg_23 && 6<=Arg_11+Arg_23 && 2+Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=Arg_17 && Arg_17+Arg_20<=6 && Arg_20<=Arg_14 && Arg_14+Arg_20<=6 && Arg_20<=1+Arg_13 && Arg_13+Arg_20<=5 && Arg_20<=Arg_12 && Arg_12+Arg_20<=6 && Arg_20<=1+Arg_11 && Arg_11+Arg_20<=5 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 6<=Arg_17+Arg_20 && Arg_17<=Arg_20 && 6<=Arg_14+Arg_20 && Arg_14<=Arg_20 && 5<=Arg_13+Arg_20 && 1+Arg_13<=Arg_20 && 6<=Arg_12+Arg_20 && Arg_12<=Arg_20 && 5<=Arg_11+Arg_20 && 1+Arg_11<=Arg_20 && Arg_19<=2 && 1+Arg_19<=Arg_17 && Arg_17+Arg_19<=5 && 1+Arg_19<=Arg_14 && Arg_14+Arg_19<=5 && Arg_19<=Arg_13 && Arg_13+Arg_19<=4 && 1+Arg_19<=Arg_12 && Arg_12+Arg_19<=5 && Arg_19<=Arg_11 && Arg_11+Arg_19<=4 && 2<=Arg_19 && 5<=Arg_17+Arg_19 && Arg_17<=1+Arg_19 && 5<=Arg_14+Arg_19 && Arg_14<=1+Arg_19 && 4<=Arg_13+Arg_19 && Arg_13<=Arg_19 && 5<=Arg_12+Arg_19 && Arg_12<=1+Arg_19 && 4<=Arg_11+Arg_19 && Arg_11<=Arg_19 && Arg_17<=3 && Arg_17<=Arg_14 && Arg_14+Arg_17<=6 && Arg_17<=1+Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=6 && Arg_17<=1+Arg_11 && Arg_11+Arg_17<=5 && 3<=Arg_17 && 6<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && 1+Arg_13<=Arg_17 && 6<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && 1+Arg_11<=Arg_17 && Arg_14<=3 && Arg_14<=1+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=6 && Arg_14<=1+Arg_11 && Arg_11+Arg_14<=5 && 3<=Arg_14 && 5<=Arg_13+Arg_14 && 1+Arg_13<=Arg_14 && 6<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && 1+Arg_11<=Arg_14 && Arg_13<=2 && 1+Arg_13<=Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=4 && 2<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=1+Arg_13 && 4<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=3 && Arg_12<=1+Arg_11 && Arg_11+Arg_12<=5 && 3<=Arg_12 && 5<=Arg_11+Arg_12 && 1+Arg_11<=Arg_12 && Arg_11<=2 && 2<=Arg_11 && 1<=Arg_12 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1<=Arg_12 && 0<=Arg_11 && 1+Arg_10<=Arg_8
42:n_f6___2(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,Arg_12-1,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=1+Arg_17 && Arg_17+Arg_7<=7 && Arg_7<=1+Arg_14 && Arg_14+Arg_7<=7 && Arg_7<=2+Arg_13 && Arg_13+Arg_7<=6 && Arg_7<=1+Arg_12 && Arg_12+Arg_7<=7 && Arg_7<=2+Arg_11 && Arg_11+Arg_7<=6 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 7<=Arg_17+Arg_7 && 1+Arg_17<=Arg_7 && 7<=Arg_14+Arg_7 && 1+Arg_14<=Arg_7 && 6<=Arg_13+Arg_7 && 2+Arg_13<=Arg_7 && 7<=Arg_12+Arg_7 && 1+Arg_12<=Arg_7 && 6<=Arg_11+Arg_7 && 2+Arg_11<=Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 3+Arg_25<=Arg_17 && Arg_17+Arg_25<=3 && 3+Arg_25<=Arg_14 && Arg_14+Arg_25<=3 && 2+Arg_25<=Arg_13 && Arg_13+Arg_25<=2 && 3+Arg_25<=Arg_12 && Arg_12+Arg_25<=3 && 2+Arg_25<=Arg_11 && Arg_11+Arg_25<=2 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 3<=Arg_17+Arg_25 && Arg_17<=3+Arg_25 && 3<=Arg_14+Arg_25 && Arg_14<=3+Arg_25 && 2<=Arg_13+Arg_25 && Arg_13<=2+Arg_25 && 3<=Arg_12+Arg_25 && Arg_12<=3+Arg_25 && 2<=Arg_11+Arg_25 && Arg_11<=2+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=1+Arg_17 && Arg_17+Arg_23<=7 && Arg_23<=1+Arg_14 && Arg_14+Arg_23<=7 && Arg_23<=2+Arg_13 && Arg_13+Arg_23<=6 && Arg_23<=1+Arg_12 && Arg_12+Arg_23<=7 && Arg_23<=2+Arg_11 && Arg_11+Arg_23<=6 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 7<=Arg_17+Arg_23 && 1+Arg_17<=Arg_23 && 7<=Arg_14+Arg_23 && 1+Arg_14<=Arg_23 && 6<=Arg_13+Arg_23 && 2+Arg_13<=Arg_23 && 7<=Arg_12+Arg_23 && 1+Arg_12<=Arg_23 && 6<=Arg_11+Arg_23 && 2+Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=Arg_17 && Arg_17+Arg_20<=6 && Arg_20<=Arg_14 && Arg_14+Arg_20<=6 && Arg_20<=1+Arg_13 && Arg_13+Arg_20<=5 && Arg_20<=Arg_12 && Arg_12+Arg_20<=6 && Arg_20<=1+Arg_11 && Arg_11+Arg_20<=5 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 6<=Arg_17+Arg_20 && Arg_17<=Arg_20 && 6<=Arg_14+Arg_20 && Arg_14<=Arg_20 && 5<=Arg_13+Arg_20 && 1+Arg_13<=Arg_20 && 6<=Arg_12+Arg_20 && Arg_12<=Arg_20 && 5<=Arg_11+Arg_20 && 1+Arg_11<=Arg_20 && Arg_19<=2 && 1+Arg_19<=Arg_17 && Arg_17+Arg_19<=5 && 1+Arg_19<=Arg_14 && Arg_14+Arg_19<=5 && Arg_19<=Arg_13 && Arg_13+Arg_19<=4 && 1+Arg_19<=Arg_12 && Arg_12+Arg_19<=5 && Arg_19<=Arg_11 && Arg_11+Arg_19<=4 && 2<=Arg_19 && 5<=Arg_17+Arg_19 && Arg_17<=1+Arg_19 && 5<=Arg_14+Arg_19 && Arg_14<=1+Arg_19 && 4<=Arg_13+Arg_19 && Arg_13<=Arg_19 && 5<=Arg_12+Arg_19 && Arg_12<=1+Arg_19 && 4<=Arg_11+Arg_19 && Arg_11<=Arg_19 && Arg_17<=3 && Arg_17<=Arg_14 && Arg_14+Arg_17<=6 && Arg_17<=1+Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=6 && Arg_17<=1+Arg_11 && Arg_11+Arg_17<=5 && 3<=Arg_17 && 6<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && 1+Arg_13<=Arg_17 && 6<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && 1+Arg_11<=Arg_17 && Arg_14<=3 && Arg_14<=1+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=6 && Arg_14<=1+Arg_11 && Arg_11+Arg_14<=5 && 3<=Arg_14 && 5<=Arg_13+Arg_14 && 1+Arg_13<=Arg_14 && 6<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && 1+Arg_11<=Arg_14 && Arg_13<=2 && 1+Arg_13<=Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=4 && 2<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=1+Arg_13 && 4<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=3 && Arg_12<=1+Arg_11 && Arg_11+Arg_12<=5 && 3<=Arg_12 && 5<=Arg_11+Arg_12 && 1+Arg_11<=Arg_12 && Arg_11<=2 && 2<=Arg_11 && 1<=Arg_12 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1+Arg_8<=Arg_10 && 1<=Arg_12 && 0<=Arg_11
43:n_f6___5(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___3(Arg_0,B_P,C_P,D_P,Arg_7,Arg_8,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,NoDet1):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=Arg_14 && Arg_14+Arg_7<=8 && Arg_7<=3+Arg_13 && Arg_13+Arg_7<=5 && Arg_7<=Arg_12 && Arg_12+Arg_7<=8 && Arg_7<=3+Arg_11 && Arg_11+Arg_7<=5 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 8<=Arg_14+Arg_7 && Arg_14<=Arg_7 && 5<=Arg_13+Arg_7 && 3+Arg_13<=Arg_7 && 8<=Arg_12+Arg_7 && Arg_12<=Arg_7 && 5<=Arg_11+Arg_7 && 3+Arg_11<=Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 4+Arg_25<=Arg_14 && Arg_14+Arg_25<=4 && 1+Arg_25<=Arg_13 && Arg_13+Arg_25<=1 && 4+Arg_25<=Arg_12 && Arg_12+Arg_25<=4 && 1+Arg_25<=Arg_11 && Arg_11+Arg_25<=1 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 4<=Arg_14+Arg_25 && Arg_14<=4+Arg_25 && 1<=Arg_13+Arg_25 && Arg_13<=1+Arg_25 && 4<=Arg_12+Arg_25 && Arg_12<=4+Arg_25 && 1<=Arg_11+Arg_25 && Arg_11<=1+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=Arg_14 && Arg_14+Arg_23<=8 && Arg_23<=3+Arg_13 && Arg_13+Arg_23<=5 && Arg_23<=Arg_12 && Arg_12+Arg_23<=8 && Arg_23<=3+Arg_11 && Arg_11+Arg_23<=5 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 8<=Arg_14+Arg_23 && Arg_14<=Arg_23 && 5<=Arg_13+Arg_23 && 3+Arg_13<=Arg_23 && 8<=Arg_12+Arg_23 && Arg_12<=Arg_23 && 5<=Arg_11+Arg_23 && 3+Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && 1+Arg_20<=Arg_14 && Arg_14+Arg_20<=7 && Arg_20<=2+Arg_13 && Arg_13+Arg_20<=4 && 1+Arg_20<=Arg_12 && Arg_12+Arg_20<=7 && Arg_20<=2+Arg_11 && Arg_11+Arg_20<=4 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 7<=Arg_14+Arg_20 && Arg_14<=1+Arg_20 && 4<=Arg_13+Arg_20 && 2+Arg_13<=Arg_20 && 7<=Arg_12+Arg_20 && Arg_12<=1+Arg_20 && 4<=Arg_11+Arg_20 && 2+Arg_11<=Arg_20 && Arg_19<=2 && 2+Arg_19<=Arg_14 && Arg_14+Arg_19<=6 && Arg_19<=1+Arg_13 && Arg_13+Arg_19<=3 && 2+Arg_19<=Arg_12 && Arg_12+Arg_19<=6 && Arg_19<=1+Arg_11 && Arg_11+Arg_19<=3 && 2<=Arg_19 && 6<=Arg_14+Arg_19 && Arg_14<=2+Arg_19 && 3<=Arg_13+Arg_19 && 1+Arg_13<=Arg_19 && 6<=Arg_12+Arg_19 && Arg_12<=2+Arg_19 && 3<=Arg_11+Arg_19 && 1+Arg_11<=Arg_19 && Arg_14<=4 && Arg_14<=3+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=8 && Arg_14<=3+Arg_11 && Arg_11+Arg_14<=5 && 4<=Arg_14 && 5<=Arg_13+Arg_14 && 3+Arg_13<=Arg_14 && 8<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && 3+Arg_11<=Arg_14 && Arg_13<=1 && 3+Arg_13<=Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=2 && 1<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=3+Arg_13 && 2<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=4 && Arg_12<=3+Arg_11 && Arg_11+Arg_12<=5 && 4<=Arg_12 && 5<=Arg_11+Arg_12 && 3+Arg_11<=Arg_12 && Arg_11<=1 && 1<=Arg_11 && 1<=Arg_12 && 0<=Arg_11 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && 1+Arg_0<=B_P && 1<=Arg_12 && 0<=Arg_11 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
44:n_f6___5(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f11___4(Arg_0,B_P,C_P,D_P,Arg_7,Arg_8,Arg_8,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,NoDet1):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=Arg_14 && Arg_14+Arg_7<=8 && Arg_7<=3+Arg_13 && Arg_13+Arg_7<=5 && Arg_7<=Arg_12 && Arg_12+Arg_7<=8 && Arg_7<=3+Arg_11 && Arg_11+Arg_7<=5 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 8<=Arg_14+Arg_7 && Arg_14<=Arg_7 && 5<=Arg_13+Arg_7 && 3+Arg_13<=Arg_7 && 8<=Arg_12+Arg_7 && Arg_12<=Arg_7 && 5<=Arg_11+Arg_7 && 3+Arg_11<=Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 4+Arg_25<=Arg_14 && Arg_14+Arg_25<=4 && 1+Arg_25<=Arg_13 && Arg_13+Arg_25<=1 && 4+Arg_25<=Arg_12 && Arg_12+Arg_25<=4 && 1+Arg_25<=Arg_11 && Arg_11+Arg_25<=1 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 4<=Arg_14+Arg_25 && Arg_14<=4+Arg_25 && 1<=Arg_13+Arg_25 && Arg_13<=1+Arg_25 && 4<=Arg_12+Arg_25 && Arg_12<=4+Arg_25 && 1<=Arg_11+Arg_25 && Arg_11<=1+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=Arg_14 && Arg_14+Arg_23<=8 && Arg_23<=3+Arg_13 && Arg_13+Arg_23<=5 && Arg_23<=Arg_12 && Arg_12+Arg_23<=8 && Arg_23<=3+Arg_11 && Arg_11+Arg_23<=5 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 8<=Arg_14+Arg_23 && Arg_14<=Arg_23 && 5<=Arg_13+Arg_23 && 3+Arg_13<=Arg_23 && 8<=Arg_12+Arg_23 && Arg_12<=Arg_23 && 5<=Arg_11+Arg_23 && 3+Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && 1+Arg_20<=Arg_14 && Arg_14+Arg_20<=7 && Arg_20<=2+Arg_13 && Arg_13+Arg_20<=4 && 1+Arg_20<=Arg_12 && Arg_12+Arg_20<=7 && Arg_20<=2+Arg_11 && Arg_11+Arg_20<=4 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 7<=Arg_14+Arg_20 && Arg_14<=1+Arg_20 && 4<=Arg_13+Arg_20 && 2+Arg_13<=Arg_20 && 7<=Arg_12+Arg_20 && Arg_12<=1+Arg_20 && 4<=Arg_11+Arg_20 && 2+Arg_11<=Arg_20 && Arg_19<=2 && 2+Arg_19<=Arg_14 && Arg_14+Arg_19<=6 && Arg_19<=1+Arg_13 && Arg_13+Arg_19<=3 && 2+Arg_19<=Arg_12 && Arg_12+Arg_19<=6 && Arg_19<=1+Arg_11 && Arg_11+Arg_19<=3 && 2<=Arg_19 && 6<=Arg_14+Arg_19 && Arg_14<=2+Arg_19 && 3<=Arg_13+Arg_19 && 1+Arg_13<=Arg_19 && 6<=Arg_12+Arg_19 && Arg_12<=2+Arg_19 && 3<=Arg_11+Arg_19 && 1+Arg_11<=Arg_19 && Arg_14<=4 && Arg_14<=3+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=8 && Arg_14<=3+Arg_11 && Arg_11+Arg_14<=5 && 4<=Arg_14 && 5<=Arg_13+Arg_14 && 3+Arg_13<=Arg_14 && 8<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && 3+Arg_11<=Arg_14 && Arg_13<=1 && 3+Arg_13<=Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=2 && 1<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=3+Arg_13 && 2<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=4 && Arg_12<=3+Arg_11 && Arg_11+Arg_12<=5 && 4<=Arg_12 && 5<=Arg_11+Arg_12 && 3+Arg_11<=Arg_12 && Arg_11<=1 && 1<=Arg_11 && 1<=Arg_12 && 0<=Arg_11 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && 1<=Arg_12 && 0<=Arg_11 && 1+B_P<=Arg_0 && Arg_8<=Arg_10 && Arg_10<=Arg_8 && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P
45:n_f6___5(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___2(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,Arg_12-1,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=Arg_14 && Arg_14+Arg_7<=8 && Arg_7<=3+Arg_13 && Arg_13+Arg_7<=5 && Arg_7<=Arg_12 && Arg_12+Arg_7<=8 && Arg_7<=3+Arg_11 && Arg_11+Arg_7<=5 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 8<=Arg_14+Arg_7 && Arg_14<=Arg_7 && 5<=Arg_13+Arg_7 && 3+Arg_13<=Arg_7 && 8<=Arg_12+Arg_7 && Arg_12<=Arg_7 && 5<=Arg_11+Arg_7 && 3+Arg_11<=Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 4+Arg_25<=Arg_14 && Arg_14+Arg_25<=4 && 1+Arg_25<=Arg_13 && Arg_13+Arg_25<=1 && 4+Arg_25<=Arg_12 && Arg_12+Arg_25<=4 && 1+Arg_25<=Arg_11 && Arg_11+Arg_25<=1 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 4<=Arg_14+Arg_25 && Arg_14<=4+Arg_25 && 1<=Arg_13+Arg_25 && Arg_13<=1+Arg_25 && 4<=Arg_12+Arg_25 && Arg_12<=4+Arg_25 && 1<=Arg_11+Arg_25 && Arg_11<=1+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=Arg_14 && Arg_14+Arg_23<=8 && Arg_23<=3+Arg_13 && Arg_13+Arg_23<=5 && Arg_23<=Arg_12 && Arg_12+Arg_23<=8 && Arg_23<=3+Arg_11 && Arg_11+Arg_23<=5 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 8<=Arg_14+Arg_23 && Arg_14<=Arg_23 && 5<=Arg_13+Arg_23 && 3+Arg_13<=Arg_23 && 8<=Arg_12+Arg_23 && Arg_12<=Arg_23 && 5<=Arg_11+Arg_23 && 3+Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && 1+Arg_20<=Arg_14 && Arg_14+Arg_20<=7 && Arg_20<=2+Arg_13 && Arg_13+Arg_20<=4 && 1+Arg_20<=Arg_12 && Arg_12+Arg_20<=7 && Arg_20<=2+Arg_11 && Arg_11+Arg_20<=4 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 7<=Arg_14+Arg_20 && Arg_14<=1+Arg_20 && 4<=Arg_13+Arg_20 && 2+Arg_13<=Arg_20 && 7<=Arg_12+Arg_20 && Arg_12<=1+Arg_20 && 4<=Arg_11+Arg_20 && 2+Arg_11<=Arg_20 && Arg_19<=2 && 2+Arg_19<=Arg_14 && Arg_14+Arg_19<=6 && Arg_19<=1+Arg_13 && Arg_13+Arg_19<=3 && 2+Arg_19<=Arg_12 && Arg_12+Arg_19<=6 && Arg_19<=1+Arg_11 && Arg_11+Arg_19<=3 && 2<=Arg_19 && 6<=Arg_14+Arg_19 && Arg_14<=2+Arg_19 && 3<=Arg_13+Arg_19 && 1+Arg_13<=Arg_19 && 6<=Arg_12+Arg_19 && Arg_12<=2+Arg_19 && 3<=Arg_11+Arg_19 && 1+Arg_11<=Arg_19 && Arg_14<=4 && Arg_14<=3+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=8 && Arg_14<=3+Arg_11 && Arg_11+Arg_14<=5 && 4<=Arg_14 && 5<=Arg_13+Arg_14 && 3+Arg_13<=Arg_14 && 8<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && 3+Arg_11<=Arg_14 && Arg_13<=1 && 3+Arg_13<=Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=2 && 1<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=3+Arg_13 && 2<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=4 && Arg_12<=3+Arg_11 && Arg_11+Arg_12<=5 && 4<=Arg_12 && 5<=Arg_11+Arg_12 && 3+Arg_11<=Arg_12 && Arg_11<=1 && 1<=Arg_11 && 1<=Arg_12 && 0<=Arg_11 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && 1<=Arg_12 && 0<=Arg_11 && 1+Arg_10<=Arg_8
46:n_f6___5(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___2(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,Arg_12-1,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=Arg_14 && Arg_14+Arg_7<=8 && Arg_7<=3+Arg_13 && Arg_13+Arg_7<=5 && Arg_7<=Arg_12 && Arg_12+Arg_7<=8 && Arg_7<=3+Arg_11 && Arg_11+Arg_7<=5 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 8<=Arg_14+Arg_7 && Arg_14<=Arg_7 && 5<=Arg_13+Arg_7 && 3+Arg_13<=Arg_7 && 8<=Arg_12+Arg_7 && Arg_12<=Arg_7 && 5<=Arg_11+Arg_7 && 3+Arg_11<=Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && 4+Arg_25<=Arg_14 && Arg_14+Arg_25<=4 && 1+Arg_25<=Arg_13 && Arg_13+Arg_25<=1 && 4+Arg_25<=Arg_12 && Arg_12+Arg_25<=4 && 1+Arg_25<=Arg_11 && Arg_11+Arg_25<=1 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 4<=Arg_14+Arg_25 && Arg_14<=4+Arg_25 && 1<=Arg_13+Arg_25 && Arg_13<=1+Arg_25 && 4<=Arg_12+Arg_25 && Arg_12<=4+Arg_25 && 1<=Arg_11+Arg_25 && Arg_11<=1+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=Arg_14 && Arg_14+Arg_23<=8 && Arg_23<=3+Arg_13 && Arg_13+Arg_23<=5 && Arg_23<=Arg_12 && Arg_12+Arg_23<=8 && Arg_23<=3+Arg_11 && Arg_11+Arg_23<=5 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 8<=Arg_14+Arg_23 && Arg_14<=Arg_23 && 5<=Arg_13+Arg_23 && 3+Arg_13<=Arg_23 && 8<=Arg_12+Arg_23 && Arg_12<=Arg_23 && 5<=Arg_11+Arg_23 && 3+Arg_11<=Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && 1+Arg_20<=Arg_14 && Arg_14+Arg_20<=7 && Arg_20<=2+Arg_13 && Arg_13+Arg_20<=4 && 1+Arg_20<=Arg_12 && Arg_12+Arg_20<=7 && Arg_20<=2+Arg_11 && Arg_11+Arg_20<=4 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 7<=Arg_14+Arg_20 && Arg_14<=1+Arg_20 && 4<=Arg_13+Arg_20 && 2+Arg_13<=Arg_20 && 7<=Arg_12+Arg_20 && Arg_12<=1+Arg_20 && 4<=Arg_11+Arg_20 && 2+Arg_11<=Arg_20 && Arg_19<=2 && 2+Arg_19<=Arg_14 && Arg_14+Arg_19<=6 && Arg_19<=1+Arg_13 && Arg_13+Arg_19<=3 && 2+Arg_19<=Arg_12 && Arg_12+Arg_19<=6 && Arg_19<=1+Arg_11 && Arg_11+Arg_19<=3 && 2<=Arg_19 && 6<=Arg_14+Arg_19 && Arg_14<=2+Arg_19 && 3<=Arg_13+Arg_19 && 1+Arg_13<=Arg_19 && 6<=Arg_12+Arg_19 && Arg_12<=2+Arg_19 && 3<=Arg_11+Arg_19 && 1+Arg_11<=Arg_19 && Arg_14<=4 && Arg_14<=3+Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=8 && Arg_14<=3+Arg_11 && Arg_11+Arg_14<=5 && 4<=Arg_14 && 5<=Arg_13+Arg_14 && 3+Arg_13<=Arg_14 && 8<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && 3+Arg_11<=Arg_14 && Arg_13<=1 && 3+Arg_13<=Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=2 && 1<=Arg_13 && 5<=Arg_12+Arg_13 && Arg_12<=3+Arg_13 && 2<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=4 && Arg_12<=3+Arg_11 && Arg_11+Arg_12<=5 && 4<=Arg_12 && 5<=Arg_11+Arg_12 && 3+Arg_11<=Arg_12 && Arg_11<=1 && 1<=Arg_11 && 1<=Arg_12 && 0<=Arg_11 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && Arg_27<=Arg_29 && Arg_29<=Arg_27 && Arg_25<=0 && 0<=Arg_25 && Arg_27<=Arg_30 && Arg_30<=Arg_27 && Arg_19<=2 && 2<=Arg_19 && Arg_20<=3 && 3<=Arg_20 && Arg_7<=4 && 4<=Arg_7 && Arg_27<=Arg_28 && Arg_28<=Arg_27 && Arg_11<=1 && 1<=Arg_11 && Arg_12<=4 && 4<=Arg_12 && Arg_13<=1 && 1<=Arg_13 && Arg_14<=4 && 4<=Arg_14 && Arg_23<=4 && 4<=Arg_23 && 1+Arg_8<=Arg_10 && 1<=Arg_12 && 0<=Arg_11

MPRF for transition 37:n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,Arg_12-1,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=4+Arg_17 && Arg_17+Arg_7<=6 && Arg_7<=4+Arg_14 && Arg_14+Arg_7<=6 && Arg_7<=1+Arg_13 && Arg_13+Arg_7<=9 && Arg_7<=4+Arg_12 && Arg_12+Arg_7<=6 && Arg_7<=1+Arg_11 && Arg_11+Arg_7<=9 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 4<=Arg_17+Arg_7 && 2+Arg_17<=Arg_7 && 4<=Arg_14+Arg_7 && 2+Arg_14<=Arg_7 && 7<=Arg_13+Arg_7 && Arg_13<=1+Arg_7 && 4<=Arg_12+Arg_7 && 2+Arg_12<=Arg_7 && 7<=Arg_11+Arg_7 && Arg_11<=1+Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && Arg_25<=Arg_17 && Arg_17+Arg_25<=2 && Arg_25<=Arg_14 && Arg_14+Arg_25<=2 && 3+Arg_25<=Arg_13 && Arg_13+Arg_25<=5 && Arg_25<=Arg_12 && Arg_12+Arg_25<=2 && 3+Arg_25<=Arg_11 && Arg_11+Arg_25<=5 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 0<=Arg_17+Arg_25 && Arg_17<=2+Arg_25 && 0<=Arg_14+Arg_25 && Arg_14<=2+Arg_25 && 3<=Arg_13+Arg_25 && Arg_13<=5+Arg_25 && 0<=Arg_12+Arg_25 && Arg_12<=2+Arg_25 && 3<=Arg_11+Arg_25 && Arg_11<=5+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=4+Arg_17 && Arg_17+Arg_23<=6 && Arg_23<=4+Arg_14 && Arg_14+Arg_23<=6 && Arg_23<=1+Arg_13 && Arg_13+Arg_23<=9 && Arg_23<=4+Arg_12 && Arg_12+Arg_23<=6 && Arg_23<=1+Arg_11 && Arg_11+Arg_23<=9 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 4<=Arg_17+Arg_23 && 2+Arg_17<=Arg_23 && 4<=Arg_14+Arg_23 && 2+Arg_14<=Arg_23 && 7<=Arg_13+Arg_23 && Arg_13<=1+Arg_23 && 4<=Arg_12+Arg_23 && 2+Arg_12<=Arg_23 && 7<=Arg_11+Arg_23 && Arg_11<=1+Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=3+Arg_17 && Arg_17+Arg_20<=5 && Arg_20<=3+Arg_14 && Arg_14+Arg_20<=5 && Arg_20<=Arg_13 && Arg_13+Arg_20<=8 && Arg_20<=3+Arg_12 && Arg_12+Arg_20<=5 && Arg_20<=Arg_11 && Arg_11+Arg_20<=8 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 3<=Arg_17+Arg_20 && 1+Arg_17<=Arg_20 && 3<=Arg_14+Arg_20 && 1+Arg_14<=Arg_20 && 6<=Arg_13+Arg_20 && Arg_13<=2+Arg_20 && 3<=Arg_12+Arg_20 && 1+Arg_12<=Arg_20 && 6<=Arg_11+Arg_20 && Arg_11<=2+Arg_20 && Arg_19<=2 && Arg_19<=2+Arg_17 && Arg_17+Arg_19<=4 && Arg_19<=2+Arg_14 && Arg_14+Arg_19<=4 && 1+Arg_19<=Arg_13 && Arg_13+Arg_19<=7 && Arg_19<=2+Arg_12 && Arg_12+Arg_19<=4 && 1+Arg_19<=Arg_11 && Arg_11+Arg_19<=7 && 2<=Arg_19 && 2<=Arg_17+Arg_19 && Arg_17<=Arg_19 && 2<=Arg_14+Arg_19 && Arg_14<=Arg_19 && 5<=Arg_13+Arg_19 && Arg_13<=3+Arg_19 && 2<=Arg_12+Arg_19 && Arg_12<=Arg_19 && 5<=Arg_11+Arg_19 && Arg_11<=3+Arg_19 && Arg_17<=2 && Arg_17<=Arg_14 && Arg_14+Arg_17<=4 && 1+Arg_17<=Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=4 && 1+Arg_17<=Arg_11 && Arg_11+Arg_17<=5 && 0<=Arg_17 && 0<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && Arg_13<=5+Arg_17 && 0<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && Arg_11<=5+Arg_17 && Arg_14<=2 && 1+Arg_14<=Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=4 && 1+Arg_14<=Arg_11 && Arg_11+Arg_14<=5 && 0<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=5+Arg_14 && 0<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=5+Arg_14 && Arg_13<=5 && Arg_13<=5+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=10 && 3<=Arg_13 && 5<=Arg_12+Arg_13 && 1+Arg_12<=Arg_13 && 6<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=2 && 1+Arg_12<=Arg_11 && Arg_11+Arg_12<=5 && 0<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=5+Arg_12 && Arg_11<=5 && 3<=Arg_11 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1<=Arg_12 && 0<=Arg_11 && 1+Arg_10<=Arg_8 of depth 1:

new bound:

6 {O(1)}

MPRF:

n_f6___1 [Arg_12+1 ]

MPRF for transition 38:n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_17,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30) -> n_f6___1(Arg_0,Arg_2,Arg_4,Arg_6,Arg_7,Arg_8,NoDet0,Arg_11+1,Arg_12-1,Arg_11+1,Arg_12-1,Arg_12-1,Arg_19,Arg_20,Arg_23,Arg_25,Arg_27,Arg_28,Arg_29,Arg_30):|:Arg_7<=4 && Arg_7<=4+Arg_25 && Arg_25+Arg_7<=4 && Arg_7<=Arg_23 && Arg_23+Arg_7<=8 && Arg_7<=1+Arg_20 && Arg_20+Arg_7<=7 && Arg_7<=2+Arg_19 && Arg_19+Arg_7<=6 && Arg_7<=4+Arg_17 && Arg_17+Arg_7<=6 && Arg_7<=4+Arg_14 && Arg_14+Arg_7<=6 && Arg_7<=1+Arg_13 && Arg_13+Arg_7<=9 && Arg_7<=4+Arg_12 && Arg_12+Arg_7<=6 && Arg_7<=1+Arg_11 && Arg_11+Arg_7<=9 && 4<=Arg_7 && 4<=Arg_25+Arg_7 && 4+Arg_25<=Arg_7 && 8<=Arg_23+Arg_7 && Arg_23<=Arg_7 && 7<=Arg_20+Arg_7 && 1+Arg_20<=Arg_7 && 6<=Arg_19+Arg_7 && 2+Arg_19<=Arg_7 && 4<=Arg_17+Arg_7 && 2+Arg_17<=Arg_7 && 4<=Arg_14+Arg_7 && 2+Arg_14<=Arg_7 && 7<=Arg_13+Arg_7 && Arg_13<=1+Arg_7 && 4<=Arg_12+Arg_7 && 2+Arg_12<=Arg_7 && 7<=Arg_11+Arg_7 && Arg_11<=1+Arg_7 && Arg_30<=Arg_29 && Arg_30<=Arg_28 && Arg_30<=Arg_27 && Arg_29<=Arg_30 && Arg_28<=Arg_30 && Arg_27<=Arg_30 && Arg_29<=Arg_28 && Arg_29<=Arg_27 && Arg_28<=Arg_29 && Arg_27<=Arg_29 && Arg_28<=Arg_27 && Arg_27<=Arg_28 && Arg_25<=0 && 4+Arg_25<=Arg_23 && Arg_23+Arg_25<=4 && 3+Arg_25<=Arg_20 && Arg_20+Arg_25<=3 && 2+Arg_25<=Arg_19 && Arg_19+Arg_25<=2 && Arg_25<=Arg_17 && Arg_17+Arg_25<=2 && Arg_25<=Arg_14 && Arg_14+Arg_25<=2 && 3+Arg_25<=Arg_13 && Arg_13+Arg_25<=5 && Arg_25<=Arg_12 && Arg_12+Arg_25<=2 && 3+Arg_25<=Arg_11 && Arg_11+Arg_25<=5 && 0<=Arg_25 && 4<=Arg_23+Arg_25 && Arg_23<=4+Arg_25 && 3<=Arg_20+Arg_25 && Arg_20<=3+Arg_25 && 2<=Arg_19+Arg_25 && Arg_19<=2+Arg_25 && 0<=Arg_17+Arg_25 && Arg_17<=2+Arg_25 && 0<=Arg_14+Arg_25 && Arg_14<=2+Arg_25 && 3<=Arg_13+Arg_25 && Arg_13<=5+Arg_25 && 0<=Arg_12+Arg_25 && Arg_12<=2+Arg_25 && 3<=Arg_11+Arg_25 && Arg_11<=5+Arg_25 && Arg_23<=4 && Arg_23<=1+Arg_20 && Arg_20+Arg_23<=7 && Arg_23<=2+Arg_19 && Arg_19+Arg_23<=6 && Arg_23<=4+Arg_17 && Arg_17+Arg_23<=6 && Arg_23<=4+Arg_14 && Arg_14+Arg_23<=6 && Arg_23<=1+Arg_13 && Arg_13+Arg_23<=9 && Arg_23<=4+Arg_12 && Arg_12+Arg_23<=6 && Arg_23<=1+Arg_11 && Arg_11+Arg_23<=9 && 4<=Arg_23 && 7<=Arg_20+Arg_23 && 1+Arg_20<=Arg_23 && 6<=Arg_19+Arg_23 && 2+Arg_19<=Arg_23 && 4<=Arg_17+Arg_23 && 2+Arg_17<=Arg_23 && 4<=Arg_14+Arg_23 && 2+Arg_14<=Arg_23 && 7<=Arg_13+Arg_23 && Arg_13<=1+Arg_23 && 4<=Arg_12+Arg_23 && 2+Arg_12<=Arg_23 && 7<=Arg_11+Arg_23 && Arg_11<=1+Arg_23 && Arg_20<=3 && Arg_20<=1+Arg_19 && Arg_19+Arg_20<=5 && Arg_20<=3+Arg_17 && Arg_17+Arg_20<=5 && Arg_20<=3+Arg_14 && Arg_14+Arg_20<=5 && Arg_20<=Arg_13 && Arg_13+Arg_20<=8 && Arg_20<=3+Arg_12 && Arg_12+Arg_20<=5 && Arg_20<=Arg_11 && Arg_11+Arg_20<=8 && 3<=Arg_20 && 5<=Arg_19+Arg_20 && 1+Arg_19<=Arg_20 && 3<=Arg_17+Arg_20 && 1+Arg_17<=Arg_20 && 3<=Arg_14+Arg_20 && 1+Arg_14<=Arg_20 && 6<=Arg_13+Arg_20 && Arg_13<=2+Arg_20 && 3<=Arg_12+Arg_20 && 1+Arg_12<=Arg_20 && 6<=Arg_11+Arg_20 && Arg_11<=2+Arg_20 && Arg_19<=2 && Arg_19<=2+Arg_17 && Arg_17+Arg_19<=4 && Arg_19<=2+Arg_14 && Arg_14+Arg_19<=4 && 1+Arg_19<=Arg_13 && Arg_13+Arg_19<=7 && Arg_19<=2+Arg_12 && Arg_12+Arg_19<=4 && 1+Arg_19<=Arg_11 && Arg_11+Arg_19<=7 && 2<=Arg_19 && 2<=Arg_17+Arg_19 && Arg_17<=Arg_19 && 2<=Arg_14+Arg_19 && Arg_14<=Arg_19 && 5<=Arg_13+Arg_19 && Arg_13<=3+Arg_19 && 2<=Arg_12+Arg_19 && Arg_12<=Arg_19 && 5<=Arg_11+Arg_19 && Arg_11<=3+Arg_19 && Arg_17<=2 && Arg_17<=Arg_14 && Arg_14+Arg_17<=4 && 1+Arg_17<=Arg_13 && Arg_13+Arg_17<=5 && Arg_17<=Arg_12 && Arg_12+Arg_17<=4 && 1+Arg_17<=Arg_11 && Arg_11+Arg_17<=5 && 0<=Arg_17 && 0<=Arg_14+Arg_17 && Arg_14<=Arg_17 && 5<=Arg_13+Arg_17 && Arg_13<=5+Arg_17 && 0<=Arg_12+Arg_17 && Arg_12<=Arg_17 && 5<=Arg_11+Arg_17 && Arg_11<=5+Arg_17 && Arg_14<=2 && 1+Arg_14<=Arg_13 && Arg_13+Arg_14<=5 && Arg_14<=Arg_12 && Arg_12+Arg_14<=4 && 1+Arg_14<=Arg_11 && Arg_11+Arg_14<=5 && 0<=Arg_14 && 5<=Arg_13+Arg_14 && Arg_13<=5+Arg_14 && 0<=Arg_12+Arg_14 && Arg_12<=Arg_14 && 5<=Arg_11+Arg_14 && Arg_11<=5+Arg_14 && Arg_13<=5 && Arg_13<=5+Arg_12 && Arg_12+Arg_13<=5 && Arg_13<=Arg_11 && Arg_11+Arg_13<=10 && 3<=Arg_13 && 5<=Arg_12+Arg_13 && 1+Arg_12<=Arg_13 && 6<=Arg_11+Arg_13 && Arg_11<=Arg_13 && Arg_12<=2 && 1+Arg_12<=Arg_11 && Arg_11+Arg_12<=5 && 0<=Arg_12 && 5<=Arg_11+Arg_12 && Arg_11<=5+Arg_12 && Arg_11<=5 && 3<=Arg_11 && 0<=Arg_11 && Arg_12<=Arg_17 && Arg_17<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_11 && 0<=Arg_17 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_14<=Arg_17 && Arg_17<=Arg_14 && Arg_11<=Arg_13 && Arg_13<=Arg_11 && 1<=Arg_13 && 0<=Arg_14 && 1+Arg_8<=Arg_10 && 1<=Arg_12 && 0<=Arg_11 of depth 1:

new bound:

6 {O(1)}

MPRF:

n_f6___1 [Arg_12+1 ]

All Bounds

Timebounds

Overall timebound:inf {Infinity}
31: n_f11___3->n_f11___3: inf {Infinity}
32: n_f11___4->n_f11___4: inf {Infinity}
33: n_f26->n_f6___5: 1 {O(1)}
34: n_f26->n_f6___5: 1 {O(1)}
35: n_f6___1->n_f11___3: 1 {O(1)}
36: n_f6___1->n_f11___4: 1 {O(1)}
37: n_f6___1->n_f6___1: 6 {O(1)}
38: n_f6___1->n_f6___1: 6 {O(1)}
39: n_f6___2->n_f11___3: 1 {O(1)}
40: n_f6___2->n_f11___4: 1 {O(1)}
41: n_f6___2->n_f6___1: 1 {O(1)}
42: n_f6___2->n_f6___1: 1 {O(1)}
43: n_f6___5->n_f11___3: 1 {O(1)}
44: n_f6___5->n_f11___4: 1 {O(1)}
45: n_f6___5->n_f6___2: 1 {O(1)}
46: n_f6___5->n_f6___2: 1 {O(1)}

Costbounds

Overall costbound: inf {Infinity}
31: n_f11___3->n_f11___3: inf {Infinity}
32: n_f11___4->n_f11___4: inf {Infinity}
33: n_f26->n_f6___5: 1 {O(1)}
34: n_f26->n_f6___5: 1 {O(1)}
35: n_f6___1->n_f11___3: 1 {O(1)}
36: n_f6___1->n_f11___4: 1 {O(1)}
37: n_f6___1->n_f6___1: 6 {O(1)}
38: n_f6___1->n_f6___1: 6 {O(1)}
39: n_f6___2->n_f11___3: 1 {O(1)}
40: n_f6___2->n_f11___4: 1 {O(1)}
41: n_f6___2->n_f6___1: 1 {O(1)}
42: n_f6___2->n_f6___1: 1 {O(1)}
43: n_f6___5->n_f11___3: 1 {O(1)}
44: n_f6___5->n_f11___4: 1 {O(1)}
45: n_f6___5->n_f6___2: 1 {O(1)}
46: n_f6___5->n_f6___2: 1 {O(1)}

Sizebounds

31: n_f11___3->n_f11___3, Arg_0: 46*Arg_0 {O(n)}
31: n_f11___3->n_f11___3, Arg_7: 4 {O(1)}
31: n_f11___3->n_f11___3, Arg_8: 46*Arg_8 {O(n)}
31: n_f11___3->n_f11___3, Arg_10: 46*Arg_8 {O(n)}
31: n_f11___3->n_f11___3, Arg_11: 4 {O(1)}
31: n_f11___3->n_f11___3, Arg_12: 4 {O(1)}
31: n_f11___3->n_f11___3, Arg_13: 4 {O(1)}
31: n_f11___3->n_f11___3, Arg_14: 4 {O(1)}
31: n_f11___3->n_f11___3, Arg_17: 2*Arg_17+5 {O(n)}
31: n_f11___3->n_f11___3, Arg_19: 2 {O(1)}
31: n_f11___3->n_f11___3, Arg_20: 3 {O(1)}
31: n_f11___3->n_f11___3, Arg_23: 4 {O(1)}
31: n_f11___3->n_f11___3, Arg_25: 0 {O(1)}
32: n_f11___4->n_f11___4, Arg_0: 46*Arg_0 {O(n)}
32: n_f11___4->n_f11___4, Arg_7: 4 {O(1)}
32: n_f11___4->n_f11___4, Arg_8: 46*Arg_8 {O(n)}
32: n_f11___4->n_f11___4, Arg_10: 46*Arg_8 {O(n)}
32: n_f11___4->n_f11___4, Arg_11: 4 {O(1)}
32: n_f11___4->n_f11___4, Arg_12: 4 {O(1)}
32: n_f11___4->n_f11___4, Arg_13: 4 {O(1)}
32: n_f11___4->n_f11___4, Arg_14: 4 {O(1)}
32: n_f11___4->n_f11___4, Arg_17: 2*Arg_17+5 {O(n)}
32: n_f11___4->n_f11___4, Arg_19: 2 {O(1)}
32: n_f11___4->n_f11___4, Arg_20: 3 {O(1)}
32: n_f11___4->n_f11___4, Arg_23: 4 {O(1)}
32: n_f11___4->n_f11___4, Arg_25: 0 {O(1)}
33: n_f26->n_f6___5, Arg_0: Arg_0 {O(n)}
33: n_f26->n_f6___5, Arg_2: Arg_2 {O(n)}
33: n_f26->n_f6___5, Arg_4: Arg_4 {O(n)}
33: n_f26->n_f6___5, Arg_6: Arg_6 {O(n)}
33: n_f26->n_f6___5, Arg_7: 4 {O(1)}
33: n_f26->n_f6___5, Arg_8: Arg_8 {O(n)}
33: n_f26->n_f6___5, Arg_11: 1 {O(1)}
33: n_f26->n_f6___5, Arg_12: 4 {O(1)}
33: n_f26->n_f6___5, Arg_13: 1 {O(1)}
33: n_f26->n_f6___5, Arg_14: 4 {O(1)}
33: n_f26->n_f6___5, Arg_17: Arg_17 {O(n)}
33: n_f26->n_f6___5, Arg_19: 2 {O(1)}
33: n_f26->n_f6___5, Arg_20: 3 {O(1)}
33: n_f26->n_f6___5, Arg_23: 4 {O(1)}
33: n_f26->n_f6___5, Arg_25: 0 {O(1)}
34: n_f26->n_f6___5, Arg_0: Arg_0 {O(n)}
34: n_f26->n_f6___5, Arg_2: Arg_2 {O(n)}
34: n_f26->n_f6___5, Arg_4: Arg_4 {O(n)}
34: n_f26->n_f6___5, Arg_6: Arg_6 {O(n)}
34: n_f26->n_f6___5, Arg_7: 4 {O(1)}
34: n_f26->n_f6___5, Arg_8: Arg_8 {O(n)}
34: n_f26->n_f6___5, Arg_11: 1 {O(1)}
34: n_f26->n_f6___5, Arg_12: 4 {O(1)}
34: n_f26->n_f6___5, Arg_13: 1 {O(1)}
34: n_f26->n_f6___5, Arg_14: 4 {O(1)}
34: n_f26->n_f6___5, Arg_17: Arg_17 {O(n)}
34: n_f26->n_f6___5, Arg_19: 2 {O(1)}
34: n_f26->n_f6___5, Arg_20: 3 {O(1)}
34: n_f26->n_f6___5, Arg_23: 4 {O(1)}
34: n_f26->n_f6___5, Arg_25: 0 {O(1)}
35: n_f6___1->n_f11___3, Arg_0: 40*Arg_0 {O(n)}
35: n_f6___1->n_f11___3, Arg_7: 4 {O(1)}
35: n_f6___1->n_f11___3, Arg_8: 40*Arg_8 {O(n)}
35: n_f6___1->n_f11___3, Arg_10: 40*Arg_8 {O(n)}
35: n_f6___1->n_f11___3, Arg_11: 4 {O(1)}
35: n_f6___1->n_f11___3, Arg_12: 2 {O(1)}
35: n_f6___1->n_f11___3, Arg_13: 4 {O(1)}
35: n_f6___1->n_f11___3, Arg_14: 2 {O(1)}
35: n_f6___1->n_f11___3, Arg_17: 2 {O(1)}
35: n_f6___1->n_f11___3, Arg_19: 2 {O(1)}
35: n_f6___1->n_f11___3, Arg_20: 3 {O(1)}
35: n_f6___1->n_f11___3, Arg_23: 4 {O(1)}
35: n_f6___1->n_f11___3, Arg_25: 0 {O(1)}
36: n_f6___1->n_f11___4, Arg_0: 40*Arg_0 {O(n)}
36: n_f6___1->n_f11___4, Arg_7: 4 {O(1)}
36: n_f6___1->n_f11___4, Arg_8: 40*Arg_8 {O(n)}
36: n_f6___1->n_f11___4, Arg_10: 40*Arg_8 {O(n)}
36: n_f6___1->n_f11___4, Arg_11: 4 {O(1)}
36: n_f6___1->n_f11___4, Arg_12: 2 {O(1)}
36: n_f6___1->n_f11___4, Arg_13: 4 {O(1)}
36: n_f6___1->n_f11___4, Arg_14: 2 {O(1)}
36: n_f6___1->n_f11___4, Arg_17: 2 {O(1)}
36: n_f6___1->n_f11___4, Arg_19: 2 {O(1)}
36: n_f6___1->n_f11___4, Arg_20: 3 {O(1)}
36: n_f6___1->n_f11___4, Arg_23: 4 {O(1)}
36: n_f6___1->n_f11___4, Arg_25: 0 {O(1)}
37: n_f6___1->n_f6___1, Arg_0: 16*Arg_0 {O(n)}
37: n_f6___1->n_f6___1, Arg_2: 16*Arg_2 {O(n)}
37: n_f6___1->n_f6___1, Arg_4: 16*Arg_4 {O(n)}
37: n_f6___1->n_f6___1, Arg_6: 16*Arg_6 {O(n)}
37: n_f6___1->n_f6___1, Arg_7: 4 {O(1)}
37: n_f6___1->n_f6___1, Arg_8: 16*Arg_8 {O(n)}
37: n_f6___1->n_f6___1, Arg_11: 5 {O(1)}
37: n_f6___1->n_f6___1, Arg_12: 1 {O(1)}
37: n_f6___1->n_f6___1, Arg_13: 5 {O(1)}
37: n_f6___1->n_f6___1, Arg_14: 1 {O(1)}
37: n_f6___1->n_f6___1, Arg_17: 1 {O(1)}
37: n_f6___1->n_f6___1, Arg_19: 2 {O(1)}
37: n_f6___1->n_f6___1, Arg_20: 3 {O(1)}
37: n_f6___1->n_f6___1, Arg_23: 4 {O(1)}
37: n_f6___1->n_f6___1, Arg_25: 0 {O(1)}
38: n_f6___1->n_f6___1, Arg_0: 16*Arg_0 {O(n)}
38: n_f6___1->n_f6___1, Arg_2: 16*Arg_2 {O(n)}
38: n_f6___1->n_f6___1, Arg_4: 16*Arg_4 {O(n)}
38: n_f6___1->n_f6___1, Arg_6: 16*Arg_6 {O(n)}
38: n_f6___1->n_f6___1, Arg_7: 4 {O(1)}
38: n_f6___1->n_f6___1, Arg_8: 16*Arg_8 {O(n)}
38: n_f6___1->n_f6___1, Arg_11: 5 {O(1)}
38: n_f6___1->n_f6___1, Arg_12: 1 {O(1)}
38: n_f6___1->n_f6___1, Arg_13: 5 {O(1)}
38: n_f6___1->n_f6___1, Arg_14: 1 {O(1)}
38: n_f6___1->n_f6___1, Arg_17: 1 {O(1)}
38: n_f6___1->n_f6___1, Arg_19: 2 {O(1)}
38: n_f6___1->n_f6___1, Arg_20: 3 {O(1)}
38: n_f6___1->n_f6___1, Arg_23: 4 {O(1)}
38: n_f6___1->n_f6___1, Arg_25: 0 {O(1)}
39: n_f6___2->n_f11___3, Arg_0: 4*Arg_0 {O(n)}
39: n_f6___2->n_f11___3, Arg_7: 4 {O(1)}
39: n_f6___2->n_f11___3, Arg_8: 4*Arg_8 {O(n)}
39: n_f6___2->n_f11___3, Arg_10: 4*Arg_8 {O(n)}
39: n_f6___2->n_f11___3, Arg_11: 2 {O(1)}
39: n_f6___2->n_f11___3, Arg_12: 3 {O(1)}
39: n_f6___2->n_f11___3, Arg_13: 2 {O(1)}
39: n_f6___2->n_f11___3, Arg_14: 3 {O(1)}
39: n_f6___2->n_f11___3, Arg_17: 3 {O(1)}
39: n_f6___2->n_f11___3, Arg_19: 2 {O(1)}
39: n_f6___2->n_f11___3, Arg_20: 3 {O(1)}
39: n_f6___2->n_f11___3, Arg_23: 4 {O(1)}
39: n_f6___2->n_f11___3, Arg_25: 0 {O(1)}
40: n_f6___2->n_f11___4, Arg_0: 4*Arg_0 {O(n)}
40: n_f6___2->n_f11___4, Arg_7: 4 {O(1)}
40: n_f6___2->n_f11___4, Arg_8: 4*Arg_8 {O(n)}
40: n_f6___2->n_f11___4, Arg_10: 4*Arg_8 {O(n)}
40: n_f6___2->n_f11___4, Arg_11: 2 {O(1)}
40: n_f6___2->n_f11___4, Arg_12: 3 {O(1)}
40: n_f6___2->n_f11___4, Arg_13: 2 {O(1)}
40: n_f6___2->n_f11___4, Arg_14: 3 {O(1)}
40: n_f6___2->n_f11___4, Arg_17: 3 {O(1)}
40: n_f6___2->n_f11___4, Arg_19: 2 {O(1)}
40: n_f6___2->n_f11___4, Arg_20: 3 {O(1)}
40: n_f6___2->n_f11___4, Arg_23: 4 {O(1)}
40: n_f6___2->n_f11___4, Arg_25: 0 {O(1)}
41: n_f6___2->n_f6___1, Arg_0: 4*Arg_0 {O(n)}
41: n_f6___2->n_f6___1, Arg_2: 4*Arg_2 {O(n)}
41: n_f6___2->n_f6___1, Arg_4: 4*Arg_4 {O(n)}
41: n_f6___2->n_f6___1, Arg_6: 4*Arg_6 {O(n)}
41: n_f6___2->n_f6___1, Arg_7: 4 {O(1)}
41: n_f6___2->n_f6___1, Arg_8: 4*Arg_8 {O(n)}
41: n_f6___2->n_f6___1, Arg_11: 3 {O(1)}
41: n_f6___2->n_f6___1, Arg_12: 2 {O(1)}
41: n_f6___2->n_f6___1, Arg_13: 3 {O(1)}
41: n_f6___2->n_f6___1, Arg_14: 2 {O(1)}
41: n_f6___2->n_f6___1, Arg_17: 2 {O(1)}
41: n_f6___2->n_f6___1, Arg_19: 2 {O(1)}
41: n_f6___2->n_f6___1, Arg_20: 3 {O(1)}
41: n_f6___2->n_f6___1, Arg_23: 4 {O(1)}
41: n_f6___2->n_f6___1, Arg_25: 0 {O(1)}
42: n_f6___2->n_f6___1, Arg_0: 4*Arg_0 {O(n)}
42: n_f6___2->n_f6___1, Arg_2: 4*Arg_2 {O(n)}
42: n_f6___2->n_f6___1, Arg_4: 4*Arg_4 {O(n)}
42: n_f6___2->n_f6___1, Arg_6: 4*Arg_6 {O(n)}
42: n_f6___2->n_f6___1, Arg_7: 4 {O(1)}
42: n_f6___2->n_f6___1, Arg_8: 4*Arg_8 {O(n)}
42: n_f6___2->n_f6___1, Arg_11: 3 {O(1)}
42: n_f6___2->n_f6___1, Arg_12: 2 {O(1)}
42: n_f6___2->n_f6___1, Arg_13: 3 {O(1)}
42: n_f6___2->n_f6___1, Arg_14: 2 {O(1)}
42: n_f6___2->n_f6___1, Arg_17: 2 {O(1)}
42: n_f6___2->n_f6___1, Arg_19: 2 {O(1)}
42: n_f6___2->n_f6___1, Arg_20: 3 {O(1)}
42: n_f6___2->n_f6___1, Arg_23: 4 {O(1)}
42: n_f6___2->n_f6___1, Arg_25: 0 {O(1)}
43: n_f6___5->n_f11___3, Arg_0: 2*Arg_0 {O(n)}
43: n_f6___5->n_f11___3, Arg_7: 4 {O(1)}
43: n_f6___5->n_f11___3, Arg_8: 2*Arg_8 {O(n)}
43: n_f6___5->n_f11___3, Arg_10: 2*Arg_8 {O(n)}
43: n_f6___5->n_f11___3, Arg_11: 1 {O(1)}
43: n_f6___5->n_f11___3, Arg_12: 4 {O(1)}
43: n_f6___5->n_f11___3, Arg_13: 1 {O(1)}
43: n_f6___5->n_f11___3, Arg_14: 4 {O(1)}
43: n_f6___5->n_f11___3, Arg_17: 2*Arg_17 {O(n)}
43: n_f6___5->n_f11___3, Arg_19: 2 {O(1)}
43: n_f6___5->n_f11___3, Arg_20: 3 {O(1)}
43: n_f6___5->n_f11___3, Arg_23: 4 {O(1)}
43: n_f6___5->n_f11___3, Arg_25: 0 {O(1)}
44: n_f6___5->n_f11___4, Arg_0: 2*Arg_0 {O(n)}
44: n_f6___5->n_f11___4, Arg_7: 4 {O(1)}
44: n_f6___5->n_f11___4, Arg_8: 2*Arg_8 {O(n)}
44: n_f6___5->n_f11___4, Arg_10: 2*Arg_8 {O(n)}
44: n_f6___5->n_f11___4, Arg_11: 1 {O(1)}
44: n_f6___5->n_f11___4, Arg_12: 4 {O(1)}
44: n_f6___5->n_f11___4, Arg_13: 1 {O(1)}
44: n_f6___5->n_f11___4, Arg_14: 4 {O(1)}
44: n_f6___5->n_f11___4, Arg_17: 2*Arg_17 {O(n)}
44: n_f6___5->n_f11___4, Arg_19: 2 {O(1)}
44: n_f6___5->n_f11___4, Arg_20: 3 {O(1)}
44: n_f6___5->n_f11___4, Arg_23: 4 {O(1)}
44: n_f6___5->n_f11___4, Arg_25: 0 {O(1)}
45: n_f6___5->n_f6___2, Arg_0: 2*Arg_0 {O(n)}
45: n_f6___5->n_f6___2, Arg_2: 2*Arg_2 {O(n)}
45: n_f6___5->n_f6___2, Arg_4: 2*Arg_4 {O(n)}
45: n_f6___5->n_f6___2, Arg_6: 2*Arg_6 {O(n)}
45: n_f6___5->n_f6___2, Arg_7: 4 {O(1)}
45: n_f6___5->n_f6___2, Arg_8: 2*Arg_8 {O(n)}
45: n_f6___5->n_f6___2, Arg_11: 2 {O(1)}
45: n_f6___5->n_f6___2, Arg_12: 3 {O(1)}
45: n_f6___5->n_f6___2, Arg_13: 2 {O(1)}
45: n_f6___5->n_f6___2, Arg_14: 3 {O(1)}
45: n_f6___5->n_f6___2, Arg_17: 3 {O(1)}
45: n_f6___5->n_f6___2, Arg_19: 2 {O(1)}
45: n_f6___5->n_f6___2, Arg_20: 3 {O(1)}
45: n_f6___5->n_f6___2, Arg_23: 4 {O(1)}
45: n_f6___5->n_f6___2, Arg_25: 0 {O(1)}
46: n_f6___5->n_f6___2, Arg_0: 2*Arg_0 {O(n)}
46: n_f6___5->n_f6___2, Arg_2: 2*Arg_2 {O(n)}
46: n_f6___5->n_f6___2, Arg_4: 2*Arg_4 {O(n)}
46: n_f6___5->n_f6___2, Arg_6: 2*Arg_6 {O(n)}
46: n_f6___5->n_f6___2, Arg_7: 4 {O(1)}
46: n_f6___5->n_f6___2, Arg_8: 2*Arg_8 {O(n)}
46: n_f6___5->n_f6___2, Arg_11: 2 {O(1)}
46: n_f6___5->n_f6___2, Arg_12: 3 {O(1)}
46: n_f6___5->n_f6___2, Arg_13: 2 {O(1)}
46: n_f6___5->n_f6___2, Arg_14: 3 {O(1)}
46: n_f6___5->n_f6___2, Arg_17: 3 {O(1)}
46: n_f6___5->n_f6___2, Arg_19: 2 {O(1)}
46: n_f6___5->n_f6___2, Arg_20: 3 {O(1)}
46: n_f6___5->n_f6___2, Arg_23: 4 {O(1)}
46: n_f6___5->n_f6___2, Arg_25: 0 {O(1)}