Start: n_f8
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
Temp_Vars: B1_P, B_P, C_P, D_P, I_P, J_P, K_P, M_P, NoDet0, NoDet1, NoDet10, NoDet11, NoDet12, NoDet13, NoDet14, NoDet2, NoDet3, NoDet4, NoDet5, NoDet6, NoDet7, NoDet8, NoDet9, Q_P
Locations: n_f12___1, n_f12___2, n_f12___3, n_f12___4, n_f12___5, n_f12___6, n_f12___7, n_f12___8, n_f1___11, n_f1___9, n_f8, n_f9___10
Transitions:
0:n_f12___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) -> n_f12___1(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
1:n_f12___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) -> n_f12___1(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
2:n_f12___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) -> n_f12___2(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
3:n_f12___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) -> n_f12___2(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
4:n_f12___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) -> n_f12___1(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
5:n_f12___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) -> n_f12___1(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
6:n_f12___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) -> n_f12___2(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
7:n_f12___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) -> n_f12___2(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
8:n_f12___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) -> n_f12___3(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
9:n_f12___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) -> n_f12___3(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
10:n_f12___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) -> n_f12___4(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
11:n_f12___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) -> n_f12___4(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
12:n_f12___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) -> n_f12___3(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
13:n_f12___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) -> n_f12___3(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
14:n_f12___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) -> n_f12___4(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
15:n_f12___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) -> n_f12___4(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
16:n_f12___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) -> n_f12___1(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
17:n_f12___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) -> n_f12___1(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
18:n_f12___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) -> n_f12___2(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
19:n_f12___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) -> n_f12___2(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
20:n_f12___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___1(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
21:n_f12___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___1(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
22:n_f12___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___2(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
23:n_f12___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___2(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
24:n_f12___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___3(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
25:n_f12___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___3(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
26:n_f12___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___4(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
27:n_f12___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___4(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
28:n_f12___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___3(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
29:n_f12___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___3(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
30:n_f12___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___4(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
31:n_f12___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27) -> n_f12___4(Arg_0,Arg_1,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,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):|:1+Arg_2<=0 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
32:n_f1___11(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) -> n_f12___5(Arg_0,Arg_1,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_15,Arg_16,Arg_17,NoDet4,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,NoDet5,NoDet6):|:0<=Arg_11 && Arg_11<=2 && 2<=Arg_11 && Arg_12<=Arg_18 && Arg_18<=Arg_12 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_20<=2 && 2<=Arg_20 && Arg_4<=Arg_10 && Arg_10<=Arg_4 && 2<=Arg_4 && Arg_10<=Arg_11 && C_P<=B1_P && 2<=J_P && 1<=D_P && 2<=C_P && 1<=B_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
33:n_f1___11(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) -> n_f12___6(Arg_0,Arg_1,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_15,Arg_16,Arg_17,NoDet4,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,NoDet5,NoDet6):|:0<=Arg_11 && Arg_11<=2 && 2<=Arg_11 && Arg_12<=Arg_18 && Arg_18<=Arg_12 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_20<=2 && 2<=Arg_20 && Arg_4<=Arg_10 && Arg_10<=Arg_4 && 2<=Arg_4 && Arg_10<=Arg_11 && 1+D_P<=0 && C_P<=B1_P && 2<=J_P && 2<=C_P && 1<=B_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
34:n_f1___11(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) -> n_f12___7(Arg_0,Arg_1,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_15,Arg_16,Arg_17,NoDet4,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,NoDet5,NoDet6):|:0<=Arg_11 && Arg_11<=2 && 2<=Arg_11 && Arg_12<=Arg_18 && Arg_18<=Arg_12 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_20<=2 && 2<=Arg_20 && Arg_4<=Arg_10 && Arg_10<=Arg_4 && 2<=Arg_4 && Arg_10<=Arg_11 && 1+B_P<=0 && C_P<=B1_P && 2<=J_P && 1<=D_P && 2<=C_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
35:n_f1___11(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) -> n_f12___8(Arg_0,Arg_1,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_15,Arg_16,Arg_17,NoDet4,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,NoDet5,NoDet6):|:0<=Arg_11 && Arg_11<=2 && 2<=Arg_11 && Arg_12<=Arg_18 && Arg_18<=Arg_12 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_20<=2 && 2<=Arg_20 && Arg_4<=Arg_10 && Arg_10<=Arg_4 && 2<=Arg_4 && Arg_10<=Arg_11 && 1+B_P<=0 && 1+D_P<=0 && C_P<=B1_P && 2<=J_P && 2<=C_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
36:n_f1___11(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) -> n_f1___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,I_P,Arg_11+1,Arg_13,NoDet0,Arg_13,NoDet1,Arg_11,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27):|:0<=Arg_11 && Arg_11<=2 && 2<=Arg_11 && Arg_12<=Arg_18 && Arg_18<=Arg_12 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_20<=2 && 2<=Arg_20 && Arg_4<=Arg_10 && Arg_10<=Arg_4 && 2<=Arg_4 && 1+Arg_11<=I_P && 0<=Arg_11 && Arg_10<=I_P && I_P<=Arg_10
37:n_f1___9(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) -> n_f12___5(Arg_0,Arg_1,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_15,Arg_16,Arg_17,NoDet4,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,NoDet5,NoDet6):|:0<=Arg_11 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_11<=1+Arg_16 && 1+Arg_16<=Arg_11 && 0<=Arg_16 && 1+Arg_16<=Arg_10 && Arg_10<=Arg_11 && C_P<=B1_P && 2<=J_P && 1<=D_P && 2<=C_P && 1<=B_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
38:n_f1___9(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) -> n_f12___6(Arg_0,Arg_1,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_15,Arg_16,Arg_17,NoDet4,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,NoDet5,NoDet6):|:0<=Arg_11 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_11<=1+Arg_16 && 1+Arg_16<=Arg_11 && 0<=Arg_16 && 1+Arg_16<=Arg_10 && Arg_10<=Arg_11 && 1+D_P<=0 && C_P<=B1_P && 2<=J_P && 2<=C_P && 1<=B_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
39:n_f1___9(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) -> n_f12___7(Arg_0,Arg_1,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_15,Arg_16,Arg_17,NoDet4,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,NoDet5,NoDet6):|:0<=Arg_11 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_11<=1+Arg_16 && 1+Arg_16<=Arg_11 && 0<=Arg_16 && 1+Arg_16<=Arg_10 && Arg_10<=Arg_11 && 1+B_P<=0 && C_P<=B1_P && 2<=J_P && 1<=D_P && 2<=C_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
40:n_f1___9(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) -> n_f12___8(Arg_0,Arg_1,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_15,Arg_16,Arg_17,NoDet4,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,NoDet5,NoDet6):|:0<=Arg_11 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_11<=1+Arg_16 && 1+Arg_16<=Arg_11 && 0<=Arg_16 && 1+Arg_16<=Arg_10 && Arg_10<=Arg_11 && 1+B_P<=0 && 1+D_P<=0 && C_P<=B1_P && 2<=J_P && 2<=C_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
41:n_f1___9(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) -> n_f1___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,I_P,Arg_11+1,Arg_13,NoDet0,Arg_13,NoDet1,Arg_11,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27):|:0<=Arg_11 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_11<=1+Arg_16 && 1+Arg_16<=Arg_11 && 0<=Arg_16 && 1+Arg_16<=Arg_10 && 1+Arg_11<=I_P && 0<=Arg_11 && Arg_10<=I_P && I_P<=Arg_10
42:n_f8(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) -> n_f1___11(Arg_0,Arg_1,Arg_2,Arg_3,C_P,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,I_P,2,K_P,NoDet0,M_P,Arg_15,Arg_16,NoDet1,Q_P,NoDet2,2,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27):|:2<=C_P && K_P<=Q_P && Q_P<=K_P && K_P<=M_P && M_P<=K_P && C_P<=I_P && I_P<=C_P
43:n_f8(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) -> n_f9___10(Arg_0,NoDet14,0,Arg_3,C_P,0,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,NoDet1,NoDet2,NoDet3,NoDet4,Arg_15,Arg_16,NoDet5,NoDet6,Arg_19,Arg_20,NoDet7,NoDet8,NoDet9,NoDet10,NoDet11,NoDet12,NoDet13):|:C_P<=0
Eliminate variables {NoDet10,NoDet11,NoDet12,NoDet13,NoDet14,NoDet5,NoDet7,NoDet8,NoDet9,Arg_1,Arg_15,Arg_17,Arg_19,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27} that do not contribute to the problem
Found invariant Arg_5<=0 && Arg_4+Arg_5<=0 && Arg_5<=Arg_2 && Arg_2+Arg_5<=0 && 0<=Arg_5 && Arg_4<=Arg_5 && 0<=Arg_2+Arg_5 && Arg_2<=Arg_5 && Arg_4<=0 && Arg_4<=Arg_2 && Arg_2+Arg_4<=0 && Arg_2<=0 && 0<=Arg_2 for location n_f9___10
Found invariant Arg_9<=Arg_0 && 0<=Arg_9 && 1<=Arg_6+Arg_9 && 1<=Arg_5+Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1<=Arg_2+Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && 1<=Arg_6 && 2<=Arg_5+Arg_6 && 3<=Arg_4+Arg_6 && 3<=Arg_3+Arg_6 && 3<=Arg_20+Arg_6 && Arg_20<=1+Arg_6 && 2<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 3<=Arg_11+Arg_6 && 1<=Arg_0+Arg_6 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_11+Arg_5 && 1<=Arg_0+Arg_5 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 1<=Arg_0+Arg_2 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 for location n_f12___1
Found invariant Arg_9<=Arg_0 && 0<=Arg_9 && 1+Arg_6<=Arg_9 && 1+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1+Arg_2<=Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=0 && 2+Arg_5+Arg_6<=0 && 3+Arg_6<=Arg_4 && 3+Arg_6<=Arg_3 && 3+Arg_6<=Arg_20 && Arg_20+Arg_6<=1 && Arg_6<=Arg_2 && 2+Arg_2+Arg_6<=0 && 3+Arg_6<=Arg_11 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_2+Arg_5<=0 && 3+Arg_5<=Arg_11 && 1+Arg_5<=Arg_0 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 1+Arg_2<=Arg_0 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 for location n_f12___4
Found invariant 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_2+Arg_5<=0 && 3+Arg_5<=Arg_11 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 2<=Arg_11 for location n_f12___8
Found invariant Arg_4<=Arg_10 && 2<=Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 4<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 4<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_11 && Arg_11+Arg_20<=4 && Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_11+Arg_20 && Arg_11<=Arg_20 && 4<=Arg_10+Arg_20 && Arg_18<=Arg_14 && Arg_18<=Arg_12 && Arg_14<=Arg_18 && Arg_12<=Arg_18 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=2 && Arg_11<=Arg_10 && 2<=Arg_11 && 4<=Arg_10+Arg_11 && 2<=Arg_10 for location n_f1___11
Found invariant Arg_4<=Arg_10 && 3<=Arg_4 && 5<=Arg_20+Arg_4 && 1+Arg_20<=Arg_4 && 5<=Arg_16+Arg_4 && 1+Arg_16<=Arg_4 && 6<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 6<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_16 && 1+Arg_20<=Arg_11 && 1+Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_16+Arg_20 && 5<=Arg_11+Arg_20 && 5<=Arg_10+Arg_20 && 1+Arg_16<=Arg_11 && 1+Arg_16<=Arg_10 && 2<=Arg_16 && 5<=Arg_11+Arg_16 && Arg_11<=1+Arg_16 && 5<=Arg_10+Arg_16 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=Arg_10 && 3<=Arg_11 && 6<=Arg_10+Arg_11 && 3<=Arg_10 for location n_f1___9
Found invariant 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2+Arg_2<=Arg_5 && 3<=Arg_11+Arg_5 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 2<=Arg_11 for location n_f12___7
Found invariant 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_11+Arg_5 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 2<=Arg_11 for location n_f12___5
Found invariant Arg_9<=Arg_0 && 0<=Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1+Arg_2<=Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=0 && 2+Arg_6<=Arg_5 && 3+Arg_6<=Arg_4 && 3+Arg_6<=Arg_3 && 3+Arg_6<=Arg_20 && Arg_20+Arg_6<=1 && Arg_6<=Arg_2 && 2+Arg_2+Arg_6<=0 && 3+Arg_6<=Arg_11 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2+Arg_2<=Arg_5 && 3<=Arg_11+Arg_5 && 1<=Arg_0+Arg_5 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 1+Arg_2<=Arg_0 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 for location n_f12___3
Found invariant 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_5<=Arg_2 && 3+Arg_5<=Arg_11 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 2<=Arg_11 for location n_f12___6
Found invariant Arg_9<=Arg_0 && 0<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1<=Arg_2+Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && 1<=Arg_6 && 2+Arg_5<=Arg_6 && 3<=Arg_4+Arg_6 && 3<=Arg_3+Arg_6 && 3<=Arg_20+Arg_6 && Arg_20<=1+Arg_6 && 2<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 3<=Arg_11+Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_5<=Arg_2 && 3+Arg_5<=Arg_11 && 1+Arg_5<=Arg_0 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 1<=Arg_0+Arg_2 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 for location n_f12___2
Start: n_f8
Program_Vars: Arg_0, 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_16, Arg_18, Arg_20
Temp_Vars: B1_P, B_P, C_P, D_P, I_P, J_P, K_P, M_P, NoDet0, NoDet1, NoDet2, NoDet3, NoDet4, NoDet6, Q_P
Locations: n_f12___1, n_f12___2, n_f12___3, n_f12___4, n_f12___5, n_f12___6, n_f12___7, n_f12___8, n_f1___11, n_f1___9, n_f8, n_f9___10
Transitions:
88:n_f12___1(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___1(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1<=Arg_6+Arg_9 && 1<=Arg_5+Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1<=Arg_2+Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && 1<=Arg_6 && 2<=Arg_5+Arg_6 && 3<=Arg_4+Arg_6 && 3<=Arg_3+Arg_6 && 3<=Arg_20+Arg_6 && Arg_20<=1+Arg_6 && 2<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 3<=Arg_11+Arg_6 && 1<=Arg_0+Arg_6 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_11+Arg_5 && 1<=Arg_0+Arg_5 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 1<=Arg_0+Arg_2 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
89:n_f12___1(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___1(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1<=Arg_6+Arg_9 && 1<=Arg_5+Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1<=Arg_2+Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && 1<=Arg_6 && 2<=Arg_5+Arg_6 && 3<=Arg_4+Arg_6 && 3<=Arg_3+Arg_6 && 3<=Arg_20+Arg_6 && Arg_20<=1+Arg_6 && 2<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 3<=Arg_11+Arg_6 && 1<=Arg_0+Arg_6 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_11+Arg_5 && 1<=Arg_0+Arg_5 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 1<=Arg_0+Arg_2 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
90:n_f12___1(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___2(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1<=Arg_6+Arg_9 && 1<=Arg_5+Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1<=Arg_2+Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && 1<=Arg_6 && 2<=Arg_5+Arg_6 && 3<=Arg_4+Arg_6 && 3<=Arg_3+Arg_6 && 3<=Arg_20+Arg_6 && Arg_20<=1+Arg_6 && 2<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 3<=Arg_11+Arg_6 && 1<=Arg_0+Arg_6 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_11+Arg_5 && 1<=Arg_0+Arg_5 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 1<=Arg_0+Arg_2 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
91:n_f12___1(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___2(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1<=Arg_6+Arg_9 && 1<=Arg_5+Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1<=Arg_2+Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && 1<=Arg_6 && 2<=Arg_5+Arg_6 && 3<=Arg_4+Arg_6 && 3<=Arg_3+Arg_6 && 3<=Arg_20+Arg_6 && Arg_20<=1+Arg_6 && 2<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 3<=Arg_11+Arg_6 && 1<=Arg_0+Arg_6 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_11+Arg_5 && 1<=Arg_0+Arg_5 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 1<=Arg_0+Arg_2 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
92:n_f12___2(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___1(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1<=Arg_2+Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && 1<=Arg_6 && 2+Arg_5<=Arg_6 && 3<=Arg_4+Arg_6 && 3<=Arg_3+Arg_6 && 3<=Arg_20+Arg_6 && Arg_20<=1+Arg_6 && 2<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 3<=Arg_11+Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_5<=Arg_2 && 3+Arg_5<=Arg_11 && 1+Arg_5<=Arg_0 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 1<=Arg_0+Arg_2 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
93:n_f12___2(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___1(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1<=Arg_2+Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && 1<=Arg_6 && 2+Arg_5<=Arg_6 && 3<=Arg_4+Arg_6 && 3<=Arg_3+Arg_6 && 3<=Arg_20+Arg_6 && Arg_20<=1+Arg_6 && 2<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 3<=Arg_11+Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_5<=Arg_2 && 3+Arg_5<=Arg_11 && 1+Arg_5<=Arg_0 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 1<=Arg_0+Arg_2 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
94:n_f12___2(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___2(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1<=Arg_2+Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && 1<=Arg_6 && 2+Arg_5<=Arg_6 && 3<=Arg_4+Arg_6 && 3<=Arg_3+Arg_6 && 3<=Arg_20+Arg_6 && Arg_20<=1+Arg_6 && 2<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 3<=Arg_11+Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_5<=Arg_2 && 3+Arg_5<=Arg_11 && 1+Arg_5<=Arg_0 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 1<=Arg_0+Arg_2 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
95:n_f12___2(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___2(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1<=Arg_2+Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && 1<=Arg_6 && 2+Arg_5<=Arg_6 && 3<=Arg_4+Arg_6 && 3<=Arg_3+Arg_6 && 3<=Arg_20+Arg_6 && Arg_20<=1+Arg_6 && 2<=Arg_2+Arg_6 && Arg_2<=Arg_6 && 3<=Arg_11+Arg_6 && 1<=Arg_0+Arg_6 && 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_5<=Arg_2 && 3+Arg_5<=Arg_11 && 1+Arg_5<=Arg_0 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 1<=Arg_0+Arg_2 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && 0<=Arg_0 && 1<=Arg_2 && 2<=Arg_4 && 1+Arg_5<=0 && 0<=Arg_0 && 1<=Arg_2 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
96:n_f12___3(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___3(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1+Arg_2<=Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=0 && 2+Arg_6<=Arg_5 && 3+Arg_6<=Arg_4 && 3+Arg_6<=Arg_3 && 3+Arg_6<=Arg_20 && Arg_20+Arg_6<=1 && Arg_6<=Arg_2 && 2+Arg_2+Arg_6<=0 && 3+Arg_6<=Arg_11 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2+Arg_2<=Arg_5 && 3<=Arg_11+Arg_5 && 1<=Arg_0+Arg_5 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 1+Arg_2<=Arg_0 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
97:n_f12___3(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___3(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1+Arg_2<=Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=0 && 2+Arg_6<=Arg_5 && 3+Arg_6<=Arg_4 && 3+Arg_6<=Arg_3 && 3+Arg_6<=Arg_20 && Arg_20+Arg_6<=1 && Arg_6<=Arg_2 && 2+Arg_2+Arg_6<=0 && 3+Arg_6<=Arg_11 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2+Arg_2<=Arg_5 && 3<=Arg_11+Arg_5 && 1<=Arg_0+Arg_5 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 1+Arg_2<=Arg_0 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
98:n_f12___3(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___4(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1+Arg_2<=Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=0 && 2+Arg_6<=Arg_5 && 3+Arg_6<=Arg_4 && 3+Arg_6<=Arg_3 && 3+Arg_6<=Arg_20 && Arg_20+Arg_6<=1 && Arg_6<=Arg_2 && 2+Arg_2+Arg_6<=0 && 3+Arg_6<=Arg_11 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2+Arg_2<=Arg_5 && 3<=Arg_11+Arg_5 && 1<=Arg_0+Arg_5 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 1+Arg_2<=Arg_0 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
99:n_f12___3(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___4(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1+Arg_2<=Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=0 && 2+Arg_6<=Arg_5 && 3+Arg_6<=Arg_4 && 3+Arg_6<=Arg_3 && 3+Arg_6<=Arg_20 && Arg_20+Arg_6<=1 && Arg_6<=Arg_2 && 2+Arg_2+Arg_6<=0 && 3+Arg_6<=Arg_11 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && 1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2+Arg_2<=Arg_5 && 3<=Arg_11+Arg_5 && 1<=Arg_0+Arg_5 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 1+Arg_2<=Arg_0 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1<=Arg_5 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
100:n_f12___4(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___3(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1+Arg_6<=Arg_9 && 1+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1+Arg_2<=Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=0 && 2+Arg_5+Arg_6<=0 && 3+Arg_6<=Arg_4 && 3+Arg_6<=Arg_3 && 3+Arg_6<=Arg_20 && Arg_20+Arg_6<=1 && Arg_6<=Arg_2 && 2+Arg_2+Arg_6<=0 && 3+Arg_6<=Arg_11 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_2+Arg_5<=0 && 3+Arg_5<=Arg_11 && 1+Arg_5<=Arg_0 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 1+Arg_2<=Arg_0 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
101:n_f12___4(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___3(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1+Arg_6<=Arg_9 && 1+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1+Arg_2<=Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=0 && 2+Arg_5+Arg_6<=0 && 3+Arg_6<=Arg_4 && 3+Arg_6<=Arg_3 && 3+Arg_6<=Arg_20 && Arg_20+Arg_6<=1 && Arg_6<=Arg_2 && 2+Arg_2+Arg_6<=0 && 3+Arg_6<=Arg_11 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_2+Arg_5<=0 && 3+Arg_5<=Arg_11 && 1+Arg_5<=Arg_0 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 1+Arg_2<=Arg_0 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
102:n_f12___4(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___4(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1+Arg_6<=Arg_9 && 1+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1+Arg_2<=Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=0 && 2+Arg_5+Arg_6<=0 && 3+Arg_6<=Arg_4 && 3+Arg_6<=Arg_3 && 3+Arg_6<=Arg_20 && Arg_20+Arg_6<=1 && Arg_6<=Arg_2 && 2+Arg_2+Arg_6<=0 && 3+Arg_6<=Arg_11 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_2+Arg_5<=0 && 3+Arg_5<=Arg_11 && 1+Arg_5<=Arg_0 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 1+Arg_2<=Arg_0 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
103:n_f12___4(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___4(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:Arg_9<=Arg_0 && 0<=Arg_9 && 1+Arg_6<=Arg_9 && 1+Arg_5<=Arg_9 && 2<=Arg_4+Arg_9 && 2<=Arg_3+Arg_9 && 2<=Arg_20+Arg_9 && Arg_20<=2+Arg_9 && 1+Arg_2<=Arg_9 && 2<=Arg_11+Arg_9 && 0<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=0 && 2+Arg_5+Arg_6<=0 && 3+Arg_6<=Arg_4 && 3+Arg_6<=Arg_3 && 3+Arg_6<=Arg_20 && Arg_20+Arg_6<=1 && Arg_6<=Arg_2 && 2+Arg_2+Arg_6<=0 && 3+Arg_6<=Arg_11 && 1+Arg_6<=Arg_0 && Arg_2<=Arg_6 && 1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_2+Arg_5<=0 && 3+Arg_5<=Arg_11 && 1+Arg_5<=Arg_0 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_0+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && 2<=Arg_0+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && Arg_20<=2+Arg_0 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 2<=Arg_0+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 1+Arg_2<=Arg_0 && 2<=Arg_11 && 2<=Arg_0+Arg_11 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && Arg_2<=Arg_6 && Arg_6<=Arg_2 && Arg_0<=Arg_9 && Arg_9<=Arg_0 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && 0<=Arg_9 && 2<=Arg_4 && 1+Arg_5<=0 && 1+Arg_2<=0 && 0<=Arg_0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
104:n_f12___5(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___1(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_11+Arg_5 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 2<=Arg_11 && 1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
105:n_f12___5(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___1(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_11+Arg_5 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 2<=Arg_11 && 1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
106:n_f12___5(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___2(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_11+Arg_5 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 2<=Arg_11 && 1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
107:n_f12___5(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___2(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2<=Arg_2+Arg_5 && 3<=Arg_11+Arg_5 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 2<=Arg_11 && 1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
108:n_f12___6(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___1(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_5<=Arg_2 && 3+Arg_5<=Arg_11 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 2<=Arg_11 && 1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
109:n_f12___6(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___1(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_5<=Arg_2 && 3+Arg_5<=Arg_11 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 2<=Arg_11 && 1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1<=D_P && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
110:n_f12___6(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___2(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_5<=Arg_2 && 3+Arg_5<=Arg_11 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 2<=Arg_11 && 1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
111:n_f12___6(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___2(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_5<=Arg_2 && 3+Arg_5<=Arg_11 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3<=Arg_2+Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3<=Arg_2+Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_20<=1+Arg_2 && Arg_20<=Arg_11 && 2<=Arg_20 && 3<=Arg_2+Arg_20 && 4<=Arg_11+Arg_20 && 1<=Arg_2 && 3<=Arg_11+Arg_2 && 2<=Arg_11 && 1<=Arg_2 && 1<=Arg_2 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+D_P<=0 && 2<=C_P && 1<=Arg_2 && 0<=Arg_0
112:n_f12___7(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___3(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2+Arg_2<=Arg_5 && 3<=Arg_11+Arg_5 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 2<=Arg_11 && 1+Arg_2<=0 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
113:n_f12___7(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___3(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2+Arg_2<=Arg_5 && 3<=Arg_11+Arg_5 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 2<=Arg_11 && 1+Arg_2<=0 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
114:n_f12___7(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___4(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2+Arg_2<=Arg_5 && 3<=Arg_11+Arg_5 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 2<=Arg_11 && 1+Arg_2<=0 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
115:n_f12___7(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___4(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1<=Arg_5 && 3<=Arg_4+Arg_5 && 3<=Arg_3+Arg_5 && 3<=Arg_20+Arg_5 && Arg_20<=1+Arg_5 && 2+Arg_2<=Arg_5 && 3<=Arg_11+Arg_5 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 2<=Arg_11 && 1+Arg_2<=0 && 2<=Arg_4 && 1<=Arg_5 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
116:n_f12___8(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___3(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_2+Arg_5<=0 && 3+Arg_5<=Arg_11 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 2<=Arg_11 && 1+Arg_2<=0 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
117:n_f12___8(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___3(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_2+Arg_5<=0 && 3+Arg_5<=Arg_11 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 2<=Arg_11 && 1+Arg_2<=0 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1<=D_P && 2<=C_P && 0<=Arg_0
118:n_f12___8(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___4(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_2+Arg_5<=0 && 3+Arg_5<=Arg_11 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 2<=Arg_11 && 1+Arg_2<=0 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
119:n_f12___8(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___4(Arg_0,Arg_2,Arg_3,C_P,D_P,Arg_2,Arg_8,Arg_8,Arg_0,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_16,Arg_18,Arg_20):|:1+Arg_5<=0 && 3+Arg_5<=Arg_4 && 3+Arg_5<=Arg_3 && 3+Arg_5<=Arg_20 && Arg_20+Arg_5<=1 && 2+Arg_2+Arg_5<=0 && 3+Arg_5<=Arg_11 && Arg_4<=Arg_3 && 2<=Arg_4 && 4<=Arg_3+Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 3+Arg_2<=Arg_4 && 4<=Arg_11+Arg_4 && 2<=Arg_3 && 4<=Arg_20+Arg_3 && Arg_20<=Arg_3 && 3+Arg_2<=Arg_3 && 4<=Arg_11+Arg_3 && Arg_20<=2 && Arg_2+Arg_20<=1 && Arg_20<=Arg_11 && 2<=Arg_20 && 3+Arg_2<=Arg_20 && 4<=Arg_11+Arg_20 && 1+Arg_2<=0 && 3+Arg_2<=Arg_11 && 2<=Arg_11 && 1+Arg_2<=0 && 2<=Arg_4 && 2<=Arg_11 && Arg_4<=Arg_3 && 1+Arg_5<=0 && 1+Arg_2<=0 && 1+Arg_2<=0 && 1+D_P<=0 && 2<=C_P && 0<=Arg_0
120:n_f1___11(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___5(Arg_0,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_16,NoDet4,Arg_20):|:Arg_4<=Arg_10 && 2<=Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 4<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 4<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_11 && Arg_11+Arg_20<=4 && Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_11+Arg_20 && Arg_11<=Arg_20 && 4<=Arg_10+Arg_20 && Arg_18<=Arg_14 && Arg_18<=Arg_12 && Arg_14<=Arg_18 && Arg_12<=Arg_18 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=2 && Arg_11<=Arg_10 && 2<=Arg_11 && 4<=Arg_10+Arg_11 && 2<=Arg_10 && 0<=Arg_11 && Arg_11<=2 && 2<=Arg_11 && Arg_12<=Arg_18 && Arg_18<=Arg_12 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_20<=2 && 2<=Arg_20 && Arg_4<=Arg_10 && Arg_10<=Arg_4 && 2<=Arg_4 && Arg_10<=Arg_11 && C_P<=B1_P && 2<=J_P && 1<=D_P && 2<=C_P && 1<=B_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
121:n_f1___11(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___6(Arg_0,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_16,NoDet4,Arg_20):|:Arg_4<=Arg_10 && 2<=Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 4<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 4<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_11 && Arg_11+Arg_20<=4 && Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_11+Arg_20 && Arg_11<=Arg_20 && 4<=Arg_10+Arg_20 && Arg_18<=Arg_14 && Arg_18<=Arg_12 && Arg_14<=Arg_18 && Arg_12<=Arg_18 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=2 && Arg_11<=Arg_10 && 2<=Arg_11 && 4<=Arg_10+Arg_11 && 2<=Arg_10 && 0<=Arg_11 && Arg_11<=2 && 2<=Arg_11 && Arg_12<=Arg_18 && Arg_18<=Arg_12 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_20<=2 && 2<=Arg_20 && Arg_4<=Arg_10 && Arg_10<=Arg_4 && 2<=Arg_4 && Arg_10<=Arg_11 && 1+D_P<=0 && C_P<=B1_P && 2<=J_P && 2<=C_P && 1<=B_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
122:n_f1___11(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___7(Arg_0,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_16,NoDet4,Arg_20):|:Arg_4<=Arg_10 && 2<=Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 4<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 4<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_11 && Arg_11+Arg_20<=4 && Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_11+Arg_20 && Arg_11<=Arg_20 && 4<=Arg_10+Arg_20 && Arg_18<=Arg_14 && Arg_18<=Arg_12 && Arg_14<=Arg_18 && Arg_12<=Arg_18 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=2 && Arg_11<=Arg_10 && 2<=Arg_11 && 4<=Arg_10+Arg_11 && 2<=Arg_10 && 0<=Arg_11 && Arg_11<=2 && 2<=Arg_11 && Arg_12<=Arg_18 && Arg_18<=Arg_12 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_20<=2 && 2<=Arg_20 && Arg_4<=Arg_10 && Arg_10<=Arg_4 && 2<=Arg_4 && Arg_10<=Arg_11 && 1+B_P<=0 && C_P<=B1_P && 2<=J_P && 1<=D_P && 2<=C_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
123:n_f1___11(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___8(Arg_0,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_16,NoDet4,Arg_20):|:Arg_4<=Arg_10 && 2<=Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 4<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 4<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_11 && Arg_11+Arg_20<=4 && Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_11+Arg_20 && Arg_11<=Arg_20 && 4<=Arg_10+Arg_20 && Arg_18<=Arg_14 && Arg_18<=Arg_12 && Arg_14<=Arg_18 && Arg_12<=Arg_18 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=2 && Arg_11<=Arg_10 && 2<=Arg_11 && 4<=Arg_10+Arg_11 && 2<=Arg_10 && 0<=Arg_11 && Arg_11<=2 && 2<=Arg_11 && Arg_12<=Arg_18 && Arg_18<=Arg_12 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_20<=2 && 2<=Arg_20 && Arg_4<=Arg_10 && Arg_10<=Arg_4 && 2<=Arg_4 && Arg_10<=Arg_11 && 1+B_P<=0 && 1+D_P<=0 && C_P<=B1_P && 2<=J_P && 2<=C_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
124:n_f1___11(Arg_0,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_16,Arg_18,Arg_20) -> n_f1___9(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,I_P,Arg_11+1,Arg_13,NoDet0,Arg_13,Arg_11,Arg_18,Arg_20):|:Arg_4<=Arg_10 && 2<=Arg_4 && 4<=Arg_20+Arg_4 && Arg_20<=Arg_4 && 4<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 4<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_11 && Arg_11+Arg_20<=4 && Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_11+Arg_20 && Arg_11<=Arg_20 && 4<=Arg_10+Arg_20 && Arg_18<=Arg_14 && Arg_18<=Arg_12 && Arg_14<=Arg_18 && Arg_12<=Arg_18 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=2 && Arg_11<=Arg_10 && 2<=Arg_11 && 4<=Arg_10+Arg_11 && 2<=Arg_10 && 0<=Arg_11 && Arg_11<=2 && 2<=Arg_11 && Arg_12<=Arg_18 && Arg_18<=Arg_12 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_20<=2 && 2<=Arg_20 && Arg_4<=Arg_10 && Arg_10<=Arg_4 && 2<=Arg_4 && 1+Arg_11<=I_P && 0<=Arg_11 && Arg_10<=I_P && I_P<=Arg_10
125:n_f1___9(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___5(Arg_0,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_16,NoDet4,Arg_20):|:Arg_4<=Arg_10 && 3<=Arg_4 && 5<=Arg_20+Arg_4 && 1+Arg_20<=Arg_4 && 5<=Arg_16+Arg_4 && 1+Arg_16<=Arg_4 && 6<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 6<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_16 && 1+Arg_20<=Arg_11 && 1+Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_16+Arg_20 && 5<=Arg_11+Arg_20 && 5<=Arg_10+Arg_20 && 1+Arg_16<=Arg_11 && 1+Arg_16<=Arg_10 && 2<=Arg_16 && 5<=Arg_11+Arg_16 && Arg_11<=1+Arg_16 && 5<=Arg_10+Arg_16 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=Arg_10 && 3<=Arg_11 && 6<=Arg_10+Arg_11 && 3<=Arg_10 && 0<=Arg_11 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_11<=1+Arg_16 && 1+Arg_16<=Arg_11 && 0<=Arg_16 && 1+Arg_16<=Arg_10 && Arg_10<=Arg_11 && C_P<=B1_P && 2<=J_P && 1<=D_P && 2<=C_P && 1<=B_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
126:n_f1___9(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___6(Arg_0,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_16,NoDet4,Arg_20):|:Arg_4<=Arg_10 && 3<=Arg_4 && 5<=Arg_20+Arg_4 && 1+Arg_20<=Arg_4 && 5<=Arg_16+Arg_4 && 1+Arg_16<=Arg_4 && 6<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 6<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_16 && 1+Arg_20<=Arg_11 && 1+Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_16+Arg_20 && 5<=Arg_11+Arg_20 && 5<=Arg_10+Arg_20 && 1+Arg_16<=Arg_11 && 1+Arg_16<=Arg_10 && 2<=Arg_16 && 5<=Arg_11+Arg_16 && Arg_11<=1+Arg_16 && 5<=Arg_10+Arg_16 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=Arg_10 && 3<=Arg_11 && 6<=Arg_10+Arg_11 && 3<=Arg_10 && 0<=Arg_11 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_11<=1+Arg_16 && 1+Arg_16<=Arg_11 && 0<=Arg_16 && 1+Arg_16<=Arg_10 && Arg_10<=Arg_11 && 1+D_P<=0 && C_P<=B1_P && 2<=J_P && 2<=C_P && 1<=B_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
127:n_f1___9(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___7(Arg_0,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_16,NoDet4,Arg_20):|:Arg_4<=Arg_10 && 3<=Arg_4 && 5<=Arg_20+Arg_4 && 1+Arg_20<=Arg_4 && 5<=Arg_16+Arg_4 && 1+Arg_16<=Arg_4 && 6<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 6<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_16 && 1+Arg_20<=Arg_11 && 1+Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_16+Arg_20 && 5<=Arg_11+Arg_20 && 5<=Arg_10+Arg_20 && 1+Arg_16<=Arg_11 && 1+Arg_16<=Arg_10 && 2<=Arg_16 && 5<=Arg_11+Arg_16 && Arg_11<=1+Arg_16 && 5<=Arg_10+Arg_16 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=Arg_10 && 3<=Arg_11 && 6<=Arg_10+Arg_11 && 3<=Arg_10 && 0<=Arg_11 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_11<=1+Arg_16 && 1+Arg_16<=Arg_11 && 0<=Arg_16 && 1+Arg_16<=Arg_10 && Arg_10<=Arg_11 && 1+B_P<=0 && C_P<=B1_P && 2<=J_P && 1<=D_P && 2<=C_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
128:n_f1___9(Arg_0,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_16,Arg_18,Arg_20) -> n_f12___8(Arg_0,B_P,B1_P,C_P,D_P,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,J_P,NoDet1,NoDet2,NoDet3,Arg_16,NoDet4,Arg_20):|:Arg_4<=Arg_10 && 3<=Arg_4 && 5<=Arg_20+Arg_4 && 1+Arg_20<=Arg_4 && 5<=Arg_16+Arg_4 && 1+Arg_16<=Arg_4 && 6<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 6<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_16 && 1+Arg_20<=Arg_11 && 1+Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_16+Arg_20 && 5<=Arg_11+Arg_20 && 5<=Arg_10+Arg_20 && 1+Arg_16<=Arg_11 && 1+Arg_16<=Arg_10 && 2<=Arg_16 && 5<=Arg_11+Arg_16 && Arg_11<=1+Arg_16 && 5<=Arg_10+Arg_16 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=Arg_10 && 3<=Arg_11 && 6<=Arg_10+Arg_11 && 3<=Arg_10 && 0<=Arg_11 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_11<=1+Arg_16 && 1+Arg_16<=Arg_11 && 0<=Arg_16 && 1+Arg_16<=Arg_10 && Arg_10<=Arg_11 && 1+B_P<=0 && 1+D_P<=0 && C_P<=B1_P && 2<=J_P && 2<=C_P && 0<=Arg_11 && Arg_12<=B_P && B_P<=Arg_12
129:n_f1___9(Arg_0,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_16,Arg_18,Arg_20) -> n_f1___9(Arg_0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,I_P,Arg_11+1,Arg_13,NoDet0,Arg_13,Arg_11,Arg_18,Arg_20):|:Arg_4<=Arg_10 && 3<=Arg_4 && 5<=Arg_20+Arg_4 && 1+Arg_20<=Arg_4 && 5<=Arg_16+Arg_4 && 1+Arg_16<=Arg_4 && 6<=Arg_11+Arg_4 && Arg_11<=Arg_4 && 6<=Arg_10+Arg_4 && Arg_10<=Arg_4 && Arg_20<=2 && Arg_20<=Arg_16 && 1+Arg_20<=Arg_11 && 1+Arg_20<=Arg_10 && 2<=Arg_20 && 4<=Arg_16+Arg_20 && 5<=Arg_11+Arg_20 && 5<=Arg_10+Arg_20 && 1+Arg_16<=Arg_11 && 1+Arg_16<=Arg_10 && 2<=Arg_16 && 5<=Arg_11+Arg_16 && Arg_11<=1+Arg_16 && 5<=Arg_10+Arg_16 && Arg_14<=Arg_12 && Arg_12<=Arg_14 && Arg_11<=Arg_10 && 3<=Arg_11 && 6<=Arg_10+Arg_11 && 3<=Arg_10 && 0<=Arg_11 && Arg_12<=Arg_14 && Arg_14<=Arg_12 && Arg_11<=1+Arg_16 && 1+Arg_16<=Arg_11 && 0<=Arg_16 && 1+Arg_16<=Arg_10 && 1+Arg_11<=I_P && 0<=Arg_11 && Arg_10<=I_P && I_P<=Arg_10
130:n_f8(Arg_0,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_16,Arg_18,Arg_20) -> n_f1___11(Arg_0,Arg_2,Arg_3,C_P,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,I_P,2,K_P,NoDet0,M_P,Arg_16,Q_P,2):|:2<=C_P && K_P<=Q_P && Q_P<=K_P && K_P<=M_P && M_P<=K_P && C_P<=I_P && I_P<=C_P
131:n_f8(Arg_0,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_16,Arg_18,Arg_20) -> n_f9___10(Arg_0,0,Arg_3,C_P,0,Arg_6,Arg_7,Arg_8,Arg_9,NoDet0,NoDet1,NoDet2,NoDet3,NoDet4,Arg_16,NoDet6,Arg_20):|:C_P<=0
Overall timebound:inf {Infinity}
88: n_f12___1->n_f12___1: inf {Infinity}
89: n_f12___1->n_f12___1: inf {Infinity}
90: n_f12___1->n_f12___2: inf {Infinity}
91: n_f12___1->n_f12___2: inf {Infinity}
92: n_f12___2->n_f12___1: inf {Infinity}
93: n_f12___2->n_f12___1: inf {Infinity}
94: n_f12___2->n_f12___2: inf {Infinity}
95: n_f12___2->n_f12___2: inf {Infinity}
96: n_f12___3->n_f12___3: inf {Infinity}
97: n_f12___3->n_f12___3: inf {Infinity}
98: n_f12___3->n_f12___4: inf {Infinity}
99: n_f12___3->n_f12___4: inf {Infinity}
100: n_f12___4->n_f12___3: inf {Infinity}
101: n_f12___4->n_f12___3: inf {Infinity}
102: n_f12___4->n_f12___4: inf {Infinity}
103: n_f12___4->n_f12___4: inf {Infinity}
104: n_f12___5->n_f12___1: 1 {O(1)}
105: n_f12___5->n_f12___1: 1 {O(1)}
106: n_f12___5->n_f12___2: 1 {O(1)}
107: n_f12___5->n_f12___2: 1 {O(1)}
108: n_f12___6->n_f12___1: 1 {O(1)}
109: n_f12___6->n_f12___1: 1 {O(1)}
110: n_f12___6->n_f12___2: 1 {O(1)}
111: n_f12___6->n_f12___2: 1 {O(1)}
112: n_f12___7->n_f12___3: 1 {O(1)}
113: n_f12___7->n_f12___3: 1 {O(1)}
114: n_f12___7->n_f12___4: 1 {O(1)}
115: n_f12___7->n_f12___4: 1 {O(1)}
116: n_f12___8->n_f12___3: 1 {O(1)}
117: n_f12___8->n_f12___3: 1 {O(1)}
118: n_f12___8->n_f12___4: 1 {O(1)}
119: n_f12___8->n_f12___4: 1 {O(1)}
120: n_f1___11->n_f12___5: 1 {O(1)}
121: n_f1___11->n_f12___6: 1 {O(1)}
122: n_f1___11->n_f12___7: 1 {O(1)}
123: n_f1___11->n_f12___8: 1 {O(1)}
124: n_f1___11->n_f1___9: 1 {O(1)}
125: n_f1___9->n_f12___5: 1 {O(1)}
126: n_f1___9->n_f12___6: 1 {O(1)}
127: n_f1___9->n_f12___7: 1 {O(1)}
128: n_f1___9->n_f12___8: 1 {O(1)}
129: n_f1___9->n_f1___9: inf {Infinity}
130: n_f8->n_f1___11: 1 {O(1)}
131: n_f8->n_f9___10: 1 {O(1)}
Overall costbound: inf {Infinity}
88: n_f12___1->n_f12___1: inf {Infinity}
89: n_f12___1->n_f12___1: inf {Infinity}
90: n_f12___1->n_f12___2: inf {Infinity}
91: n_f12___1->n_f12___2: inf {Infinity}
92: n_f12___2->n_f12___1: inf {Infinity}
93: n_f12___2->n_f12___1: inf {Infinity}
94: n_f12___2->n_f12___2: inf {Infinity}
95: n_f12___2->n_f12___2: inf {Infinity}
96: n_f12___3->n_f12___3: inf {Infinity}
97: n_f12___3->n_f12___3: inf {Infinity}
98: n_f12___3->n_f12___4: inf {Infinity}
99: n_f12___3->n_f12___4: inf {Infinity}
100: n_f12___4->n_f12___3: inf {Infinity}
101: n_f12___4->n_f12___3: inf {Infinity}
102: n_f12___4->n_f12___4: inf {Infinity}
103: n_f12___4->n_f12___4: inf {Infinity}
104: n_f12___5->n_f12___1: 1 {O(1)}
105: n_f12___5->n_f12___1: 1 {O(1)}
106: n_f12___5->n_f12___2: 1 {O(1)}
107: n_f12___5->n_f12___2: 1 {O(1)}
108: n_f12___6->n_f12___1: 1 {O(1)}
109: n_f12___6->n_f12___1: 1 {O(1)}
110: n_f12___6->n_f12___2: 1 {O(1)}
111: n_f12___6->n_f12___2: 1 {O(1)}
112: n_f12___7->n_f12___3: 1 {O(1)}
113: n_f12___7->n_f12___3: 1 {O(1)}
114: n_f12___7->n_f12___4: 1 {O(1)}
115: n_f12___7->n_f12___4: 1 {O(1)}
116: n_f12___8->n_f12___3: 1 {O(1)}
117: n_f12___8->n_f12___3: 1 {O(1)}
118: n_f12___8->n_f12___4: 1 {O(1)}
119: n_f12___8->n_f12___4: 1 {O(1)}
120: n_f1___11->n_f12___5: 1 {O(1)}
121: n_f1___11->n_f12___6: 1 {O(1)}
122: n_f1___11->n_f12___7: 1 {O(1)}
123: n_f1___11->n_f12___8: 1 {O(1)}
124: n_f1___11->n_f1___9: 1 {O(1)}
125: n_f1___9->n_f12___5: 1 {O(1)}
126: n_f1___9->n_f12___6: 1 {O(1)}
127: n_f1___9->n_f12___7: 1 {O(1)}
128: n_f1___9->n_f12___8: 1 {O(1)}
129: n_f1___9->n_f1___9: inf {Infinity}
130: n_f8->n_f1___11: 1 {O(1)}
131: n_f8->n_f9___10: 1 {O(1)}
88: n_f12___1->n_f12___1, Arg_0: 96*Arg_0 {O(n)}
88: n_f12___1->n_f12___1, Arg_7: 96*Arg_8 {O(n)}
88: n_f12___1->n_f12___1, Arg_8: 96*Arg_8 {O(n)}
88: n_f12___1->n_f12___1, Arg_9: 396*Arg_0 {O(n)}
88: n_f12___1->n_f12___1, Arg_20: 2 {O(1)}
89: n_f12___1->n_f12___1, Arg_0: 96*Arg_0 {O(n)}
89: n_f12___1->n_f12___1, Arg_7: 96*Arg_8 {O(n)}
89: n_f12___1->n_f12___1, Arg_8: 96*Arg_8 {O(n)}
89: n_f12___1->n_f12___1, Arg_9: 396*Arg_0 {O(n)}
89: n_f12___1->n_f12___1, Arg_20: 2 {O(1)}
90: n_f12___1->n_f12___2, Arg_0: 96*Arg_0 {O(n)}
90: n_f12___1->n_f12___2, Arg_7: 96*Arg_8 {O(n)}
90: n_f12___1->n_f12___2, Arg_8: 96*Arg_8 {O(n)}
90: n_f12___1->n_f12___2, Arg_9: 396*Arg_0 {O(n)}
90: n_f12___1->n_f12___2, Arg_20: 2 {O(1)}
91: n_f12___1->n_f12___2, Arg_0: 96*Arg_0 {O(n)}
91: n_f12___1->n_f12___2, Arg_7: 96*Arg_8 {O(n)}
91: n_f12___1->n_f12___2, Arg_8: 96*Arg_8 {O(n)}
91: n_f12___1->n_f12___2, Arg_9: 396*Arg_0 {O(n)}
91: n_f12___1->n_f12___2, Arg_20: 2 {O(1)}
92: n_f12___2->n_f12___1, Arg_0: 96*Arg_0 {O(n)}
92: n_f12___2->n_f12___1, Arg_7: 96*Arg_8 {O(n)}
92: n_f12___2->n_f12___1, Arg_8: 96*Arg_8 {O(n)}
92: n_f12___2->n_f12___1, Arg_9: 396*Arg_0 {O(n)}
92: n_f12___2->n_f12___1, Arg_20: 2 {O(1)}
93: n_f12___2->n_f12___1, Arg_0: 96*Arg_0 {O(n)}
93: n_f12___2->n_f12___1, Arg_7: 96*Arg_8 {O(n)}
93: n_f12___2->n_f12___1, Arg_8: 96*Arg_8 {O(n)}
93: n_f12___2->n_f12___1, Arg_9: 396*Arg_0 {O(n)}
93: n_f12___2->n_f12___1, Arg_20: 2 {O(1)}
94: n_f12___2->n_f12___2, Arg_0: 96*Arg_0 {O(n)}
94: n_f12___2->n_f12___2, Arg_7: 96*Arg_8 {O(n)}
94: n_f12___2->n_f12___2, Arg_8: 96*Arg_8 {O(n)}
94: n_f12___2->n_f12___2, Arg_9: 396*Arg_0 {O(n)}
94: n_f12___2->n_f12___2, Arg_20: 2 {O(1)}
95: n_f12___2->n_f12___2, Arg_0: 96*Arg_0 {O(n)}
95: n_f12___2->n_f12___2, Arg_7: 96*Arg_8 {O(n)}
95: n_f12___2->n_f12___2, Arg_8: 96*Arg_8 {O(n)}
95: n_f12___2->n_f12___2, Arg_9: 396*Arg_0 {O(n)}
95: n_f12___2->n_f12___2, Arg_20: 2 {O(1)}
96: n_f12___3->n_f12___3, Arg_0: 96*Arg_0 {O(n)}
96: n_f12___3->n_f12___3, Arg_7: 96*Arg_8 {O(n)}
96: n_f12___3->n_f12___3, Arg_8: 96*Arg_8 {O(n)}
96: n_f12___3->n_f12___3, Arg_9: 396*Arg_0 {O(n)}
96: n_f12___3->n_f12___3, Arg_20: 2 {O(1)}
97: n_f12___3->n_f12___3, Arg_0: 96*Arg_0 {O(n)}
97: n_f12___3->n_f12___3, Arg_7: 96*Arg_8 {O(n)}
97: n_f12___3->n_f12___3, Arg_8: 96*Arg_8 {O(n)}
97: n_f12___3->n_f12___3, Arg_9: 396*Arg_0 {O(n)}
97: n_f12___3->n_f12___3, Arg_20: 2 {O(1)}
98: n_f12___3->n_f12___4, Arg_0: 96*Arg_0 {O(n)}
98: n_f12___3->n_f12___4, Arg_7: 96*Arg_8 {O(n)}
98: n_f12___3->n_f12___4, Arg_8: 96*Arg_8 {O(n)}
98: n_f12___3->n_f12___4, Arg_9: 396*Arg_0 {O(n)}
98: n_f12___3->n_f12___4, Arg_20: 2 {O(1)}
99: n_f12___3->n_f12___4, Arg_0: 96*Arg_0 {O(n)}
99: n_f12___3->n_f12___4, Arg_7: 96*Arg_8 {O(n)}
99: n_f12___3->n_f12___4, Arg_8: 96*Arg_8 {O(n)}
99: n_f12___3->n_f12___4, Arg_9: 396*Arg_0 {O(n)}
99: n_f12___3->n_f12___4, Arg_20: 2 {O(1)}
100: n_f12___4->n_f12___3, Arg_0: 96*Arg_0 {O(n)}
100: n_f12___4->n_f12___3, Arg_7: 96*Arg_8 {O(n)}
100: n_f12___4->n_f12___3, Arg_8: 96*Arg_8 {O(n)}
100: n_f12___4->n_f12___3, Arg_9: 396*Arg_0 {O(n)}
100: n_f12___4->n_f12___3, Arg_20: 2 {O(1)}
101: n_f12___4->n_f12___3, Arg_0: 96*Arg_0 {O(n)}
101: n_f12___4->n_f12___3, Arg_7: 96*Arg_8 {O(n)}
101: n_f12___4->n_f12___3, Arg_8: 96*Arg_8 {O(n)}
101: n_f12___4->n_f12___3, Arg_9: 396*Arg_0 {O(n)}
101: n_f12___4->n_f12___3, Arg_20: 2 {O(1)}
102: n_f12___4->n_f12___4, Arg_0: 96*Arg_0 {O(n)}
102: n_f12___4->n_f12___4, Arg_7: 96*Arg_8 {O(n)}
102: n_f12___4->n_f12___4, Arg_8: 96*Arg_8 {O(n)}
102: n_f12___4->n_f12___4, Arg_9: 396*Arg_0 {O(n)}
102: n_f12___4->n_f12___4, Arg_20: 2 {O(1)}
103: n_f12___4->n_f12___4, Arg_0: 96*Arg_0 {O(n)}
103: n_f12___4->n_f12___4, Arg_7: 96*Arg_8 {O(n)}
103: n_f12___4->n_f12___4, Arg_8: 96*Arg_8 {O(n)}
103: n_f12___4->n_f12___4, Arg_9: 396*Arg_0 {O(n)}
103: n_f12___4->n_f12___4, Arg_20: 2 {O(1)}
104: n_f12___5->n_f12___1, Arg_0: 3*Arg_0 {O(n)}
104: n_f12___5->n_f12___1, Arg_7: 3*Arg_8 {O(n)}
104: n_f12___5->n_f12___1, Arg_8: 3*Arg_8 {O(n)}
104: n_f12___5->n_f12___1, Arg_9: 3*Arg_0 {O(n)}
104: n_f12___5->n_f12___1, Arg_20: 2 {O(1)}
105: n_f12___5->n_f12___1, Arg_0: 3*Arg_0 {O(n)}
105: n_f12___5->n_f12___1, Arg_7: 3*Arg_8 {O(n)}
105: n_f12___5->n_f12___1, Arg_8: 3*Arg_8 {O(n)}
105: n_f12___5->n_f12___1, Arg_9: 3*Arg_0 {O(n)}
105: n_f12___5->n_f12___1, Arg_20: 2 {O(1)}
106: n_f12___5->n_f12___2, Arg_0: 3*Arg_0 {O(n)}
106: n_f12___5->n_f12___2, Arg_7: 3*Arg_8 {O(n)}
106: n_f12___5->n_f12___2, Arg_8: 3*Arg_8 {O(n)}
106: n_f12___5->n_f12___2, Arg_9: 3*Arg_0 {O(n)}
106: n_f12___5->n_f12___2, Arg_20: 2 {O(1)}
107: n_f12___5->n_f12___2, Arg_0: 3*Arg_0 {O(n)}
107: n_f12___5->n_f12___2, Arg_7: 3*Arg_8 {O(n)}
107: n_f12___5->n_f12___2, Arg_8: 3*Arg_8 {O(n)}
107: n_f12___5->n_f12___2, Arg_9: 3*Arg_0 {O(n)}
107: n_f12___5->n_f12___2, Arg_20: 2 {O(1)}
108: n_f12___6->n_f12___1, Arg_0: 3*Arg_0 {O(n)}
108: n_f12___6->n_f12___1, Arg_7: 3*Arg_8 {O(n)}
108: n_f12___6->n_f12___1, Arg_8: 3*Arg_8 {O(n)}
108: n_f12___6->n_f12___1, Arg_9: 3*Arg_0 {O(n)}
108: n_f12___6->n_f12___1, Arg_20: 2 {O(1)}
109: n_f12___6->n_f12___1, Arg_0: 3*Arg_0 {O(n)}
109: n_f12___6->n_f12___1, Arg_7: 3*Arg_8 {O(n)}
109: n_f12___6->n_f12___1, Arg_8: 3*Arg_8 {O(n)}
109: n_f12___6->n_f12___1, Arg_9: 3*Arg_0 {O(n)}
109: n_f12___6->n_f12___1, Arg_20: 2 {O(1)}
110: n_f12___6->n_f12___2, Arg_0: 3*Arg_0 {O(n)}
110: n_f12___6->n_f12___2, Arg_7: 3*Arg_8 {O(n)}
110: n_f12___6->n_f12___2, Arg_8: 3*Arg_8 {O(n)}
110: n_f12___6->n_f12___2, Arg_9: 3*Arg_0 {O(n)}
110: n_f12___6->n_f12___2, Arg_20: 2 {O(1)}
111: n_f12___6->n_f12___2, Arg_0: 3*Arg_0 {O(n)}
111: n_f12___6->n_f12___2, Arg_7: 3*Arg_8 {O(n)}
111: n_f12___6->n_f12___2, Arg_8: 3*Arg_8 {O(n)}
111: n_f12___6->n_f12___2, Arg_9: 3*Arg_0 {O(n)}
111: n_f12___6->n_f12___2, Arg_20: 2 {O(1)}
112: n_f12___7->n_f12___3, Arg_0: 3*Arg_0 {O(n)}
112: n_f12___7->n_f12___3, Arg_7: 3*Arg_8 {O(n)}
112: n_f12___7->n_f12___3, Arg_8: 3*Arg_8 {O(n)}
112: n_f12___7->n_f12___3, Arg_9: 3*Arg_0 {O(n)}
112: n_f12___7->n_f12___3, Arg_20: 2 {O(1)}
113: n_f12___7->n_f12___3, Arg_0: 3*Arg_0 {O(n)}
113: n_f12___7->n_f12___3, Arg_7: 3*Arg_8 {O(n)}
113: n_f12___7->n_f12___3, Arg_8: 3*Arg_8 {O(n)}
113: n_f12___7->n_f12___3, Arg_9: 3*Arg_0 {O(n)}
113: n_f12___7->n_f12___3, Arg_20: 2 {O(1)}
114: n_f12___7->n_f12___4, Arg_0: 3*Arg_0 {O(n)}
114: n_f12___7->n_f12___4, Arg_7: 3*Arg_8 {O(n)}
114: n_f12___7->n_f12___4, Arg_8: 3*Arg_8 {O(n)}
114: n_f12___7->n_f12___4, Arg_9: 3*Arg_0 {O(n)}
114: n_f12___7->n_f12___4, Arg_20: 2 {O(1)}
115: n_f12___7->n_f12___4, Arg_0: 3*Arg_0 {O(n)}
115: n_f12___7->n_f12___4, Arg_7: 3*Arg_8 {O(n)}
115: n_f12___7->n_f12___4, Arg_8: 3*Arg_8 {O(n)}
115: n_f12___7->n_f12___4, Arg_9: 3*Arg_0 {O(n)}
115: n_f12___7->n_f12___4, Arg_20: 2 {O(1)}
116: n_f12___8->n_f12___3, Arg_0: 3*Arg_0 {O(n)}
116: n_f12___8->n_f12___3, Arg_7: 3*Arg_8 {O(n)}
116: n_f12___8->n_f12___3, Arg_8: 3*Arg_8 {O(n)}
116: n_f12___8->n_f12___3, Arg_9: 3*Arg_0 {O(n)}
116: n_f12___8->n_f12___3, Arg_20: 2 {O(1)}
117: n_f12___8->n_f12___3, Arg_0: 3*Arg_0 {O(n)}
117: n_f12___8->n_f12___3, Arg_7: 3*Arg_8 {O(n)}
117: n_f12___8->n_f12___3, Arg_8: 3*Arg_8 {O(n)}
117: n_f12___8->n_f12___3, Arg_9: 3*Arg_0 {O(n)}
117: n_f12___8->n_f12___3, Arg_20: 2 {O(1)}
118: n_f12___8->n_f12___4, Arg_0: 3*Arg_0 {O(n)}
118: n_f12___8->n_f12___4, Arg_7: 3*Arg_8 {O(n)}
118: n_f12___8->n_f12___4, Arg_8: 3*Arg_8 {O(n)}
118: n_f12___8->n_f12___4, Arg_9: 3*Arg_0 {O(n)}
118: n_f12___8->n_f12___4, Arg_20: 2 {O(1)}
119: n_f12___8->n_f12___4, Arg_0: 3*Arg_0 {O(n)}
119: n_f12___8->n_f12___4, Arg_7: 3*Arg_8 {O(n)}
119: n_f12___8->n_f12___4, Arg_8: 3*Arg_8 {O(n)}
119: n_f12___8->n_f12___4, Arg_9: 3*Arg_0 {O(n)}
119: n_f12___8->n_f12___4, Arg_20: 2 {O(1)}
120: n_f1___11->n_f12___5, Arg_0: Arg_0 {O(n)}
120: n_f1___11->n_f12___5, Arg_6: Arg_6 {O(n)}
120: n_f1___11->n_f12___5, Arg_7: Arg_7 {O(n)}
120: n_f1___11->n_f12___5, Arg_8: Arg_8 {O(n)}
120: n_f1___11->n_f12___5, Arg_9: Arg_9 {O(n)}
120: n_f1___11->n_f12___5, Arg_16: Arg_16 {O(n)}
120: n_f1___11->n_f12___5, Arg_20: 2 {O(1)}
121: n_f1___11->n_f12___6, Arg_0: Arg_0 {O(n)}
121: n_f1___11->n_f12___6, Arg_6: Arg_6 {O(n)}
121: n_f1___11->n_f12___6, Arg_7: Arg_7 {O(n)}
121: n_f1___11->n_f12___6, Arg_8: Arg_8 {O(n)}
121: n_f1___11->n_f12___6, Arg_9: Arg_9 {O(n)}
121: n_f1___11->n_f12___6, Arg_16: Arg_16 {O(n)}
121: n_f1___11->n_f12___6, Arg_20: 2 {O(1)}
122: n_f1___11->n_f12___7, Arg_0: Arg_0 {O(n)}
122: n_f1___11->n_f12___7, Arg_6: Arg_6 {O(n)}
122: n_f1___11->n_f12___7, Arg_7: Arg_7 {O(n)}
122: n_f1___11->n_f12___7, Arg_8: Arg_8 {O(n)}
122: n_f1___11->n_f12___7, Arg_9: Arg_9 {O(n)}
122: n_f1___11->n_f12___7, Arg_16: Arg_16 {O(n)}
122: n_f1___11->n_f12___7, Arg_20: 2 {O(1)}
123: n_f1___11->n_f12___8, Arg_0: Arg_0 {O(n)}
123: n_f1___11->n_f12___8, Arg_6: Arg_6 {O(n)}
123: n_f1___11->n_f12___8, Arg_7: Arg_7 {O(n)}
123: n_f1___11->n_f12___8, Arg_8: Arg_8 {O(n)}
123: n_f1___11->n_f12___8, Arg_9: Arg_9 {O(n)}
123: n_f1___11->n_f12___8, Arg_16: Arg_16 {O(n)}
123: n_f1___11->n_f12___8, Arg_20: 2 {O(1)}
124: n_f1___11->n_f1___9, Arg_0: Arg_0 {O(n)}
124: n_f1___11->n_f1___9, Arg_2: Arg_2 {O(n)}
124: n_f1___11->n_f1___9, Arg_3: Arg_3 {O(n)}
124: n_f1___11->n_f1___9, Arg_5: Arg_5 {O(n)}
124: n_f1___11->n_f1___9, Arg_6: Arg_6 {O(n)}
124: n_f1___11->n_f1___9, Arg_7: Arg_7 {O(n)}
124: n_f1___11->n_f1___9, Arg_8: Arg_8 {O(n)}
124: n_f1___11->n_f1___9, Arg_9: Arg_9 {O(n)}
124: n_f1___11->n_f1___9, Arg_11: 3 {O(1)}
124: n_f1___11->n_f1___9, Arg_16: 2 {O(1)}
124: n_f1___11->n_f1___9, Arg_20: 2 {O(1)}
125: n_f1___9->n_f12___5, Arg_0: 2*Arg_0 {O(n)}
125: n_f1___9->n_f12___5, Arg_6: 2*Arg_6 {O(n)}
125: n_f1___9->n_f12___5, Arg_7: 2*Arg_7 {O(n)}
125: n_f1___9->n_f12___5, Arg_8: 2*Arg_8 {O(n)}
125: n_f1___9->n_f12___5, Arg_9: 2*Arg_9 {O(n)}
125: n_f1___9->n_f12___5, Arg_20: 2 {O(1)}
126: n_f1___9->n_f12___6, Arg_0: 2*Arg_0 {O(n)}
126: n_f1___9->n_f12___6, Arg_6: 2*Arg_6 {O(n)}
126: n_f1___9->n_f12___6, Arg_7: 2*Arg_7 {O(n)}
126: n_f1___9->n_f12___6, Arg_8: 2*Arg_8 {O(n)}
126: n_f1___9->n_f12___6, Arg_9: 2*Arg_9 {O(n)}
126: n_f1___9->n_f12___6, Arg_20: 2 {O(1)}
127: n_f1___9->n_f12___7, Arg_0: 2*Arg_0 {O(n)}
127: n_f1___9->n_f12___7, Arg_6: 2*Arg_6 {O(n)}
127: n_f1___9->n_f12___7, Arg_7: 2*Arg_7 {O(n)}
127: n_f1___9->n_f12___7, Arg_8: 2*Arg_8 {O(n)}
127: n_f1___9->n_f12___7, Arg_9: 2*Arg_9 {O(n)}
127: n_f1___9->n_f12___7, Arg_20: 2 {O(1)}
128: n_f1___9->n_f12___8, Arg_0: 2*Arg_0 {O(n)}
128: n_f1___9->n_f12___8, Arg_6: 2*Arg_6 {O(n)}
128: n_f1___9->n_f12___8, Arg_7: 2*Arg_7 {O(n)}
128: n_f1___9->n_f12___8, Arg_8: 2*Arg_8 {O(n)}
128: n_f1___9->n_f12___8, Arg_9: 2*Arg_9 {O(n)}
128: n_f1___9->n_f12___8, Arg_20: 2 {O(1)}
129: n_f1___9->n_f1___9, Arg_0: Arg_0 {O(n)}
129: n_f1___9->n_f1___9, Arg_2: Arg_2 {O(n)}
129: n_f1___9->n_f1___9, Arg_3: Arg_3 {O(n)}
129: n_f1___9->n_f1___9, Arg_5: Arg_5 {O(n)}
129: n_f1___9->n_f1___9, Arg_6: Arg_6 {O(n)}
129: n_f1___9->n_f1___9, Arg_7: Arg_7 {O(n)}
129: n_f1___9->n_f1___9, Arg_8: Arg_8 {O(n)}
129: n_f1___9->n_f1___9, Arg_9: Arg_9 {O(n)}
129: n_f1___9->n_f1___9, Arg_20: 2 {O(1)}
130: n_f8->n_f1___11, Arg_0: Arg_0 {O(n)}
130: n_f8->n_f1___11, Arg_2: Arg_2 {O(n)}
130: n_f8->n_f1___11, Arg_3: Arg_3 {O(n)}
130: n_f8->n_f1___11, Arg_5: Arg_5 {O(n)}
130: n_f8->n_f1___11, Arg_6: Arg_6 {O(n)}
130: n_f8->n_f1___11, Arg_7: Arg_7 {O(n)}
130: n_f8->n_f1___11, Arg_8: Arg_8 {O(n)}
130: n_f8->n_f1___11, Arg_9: Arg_9 {O(n)}
130: n_f8->n_f1___11, Arg_11: 2 {O(1)}
130: n_f8->n_f1___11, Arg_16: Arg_16 {O(n)}
130: n_f8->n_f1___11, Arg_20: 2 {O(1)}
131: n_f8->n_f9___10, Arg_0: Arg_0 {O(n)}
131: n_f8->n_f9___10, Arg_2: 0 {O(1)}
131: n_f8->n_f9___10, Arg_3: Arg_3 {O(n)}
131: n_f8->n_f9___10, Arg_5: 0 {O(1)}
131: n_f8->n_f9___10, Arg_6: Arg_6 {O(n)}
131: n_f8->n_f9___10, Arg_7: Arg_7 {O(n)}
131: n_f8->n_f9___10, Arg_8: Arg_8 {O(n)}
131: n_f8->n_f9___10, Arg_9: Arg_9 {O(n)}
131: n_f8->n_f9___10, Arg_16: Arg_16 {O(n)}
131: n_f8->n_f9___10, Arg_20: Arg_20 {O(n)}