
Initial complexity problem:
1:	T:
		(Comp: ?, Cost: 1)    f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f13(0, 0, 2*Ar_3, Ar_3, 4*Ar_3, 4*Ar_3 + 3, 4*Ar_3 + 4, Ar_3, Fresh_30, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26))
		(Comp: ?, Cost: 1)    f13(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f13(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, 1, 0, 0, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f13(Ar_0 + Fresh_28, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Fresh_29, -Fresh_29 + 1, Fresh_28, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f13(Ar_0 + Fresh_26, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Fresh_27, -Fresh_27 + 1, Fresh_26, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f24(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f24(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f31(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f31(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f40(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_13 >= Ar_14 ]
		(Comp: ?, Cost: 1)    f40(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f44(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)    f40(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f44(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)    f44(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f44(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f57(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f57(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f40(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f64(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, 0, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f64(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f64(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 2, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_4 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, 2*Ar_9, Fresh_25, -Fresh_25 + 1, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f86(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f91(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, 0, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, 0, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f86(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f91(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Fresh_24, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f86(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f91(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Fresh_23, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f91(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f99(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_22, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, 2*Ar_9, Ar_18, Ar_19, Ar_20, 0, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f99(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_20, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, 2*Ar_9, Ar_18, Ar_19, Ar_20, Fresh_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f99(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_18, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, 2*Ar_9, Ar_18, Ar_19, Ar_20, Fresh_19, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f99(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f103(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_17, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, 0, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f99(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f103(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_15, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Fresh_16, Ar_23, Ar_24, Ar_25, Ar_26)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f99(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f103(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_13, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Fresh_14, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f103(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f107(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_12, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, 0, Ar_24, Ar_25, Ar_26)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f103(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f107(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_10, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Fresh_11, Ar_24, Ar_25, Ar_26)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f103(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f107(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_8, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Fresh_9, Ar_24, Ar_25, Ar_26)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f107(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f91(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Ar_10, 0, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, 0, Ar_25, Ar_26)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f107(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f91(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Fresh_7, Ar_25, Ar_26)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f107(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f91(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Fresh_6, Ar_25, Ar_26)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f118(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f118(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9 + 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f118(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f1(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f91(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f37(Ar_0, Ar_1 + Ar_0, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14 + 1, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f86(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_5, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, 0, Ar_26)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f86(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_3, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Fresh_4, Ar_26)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f86(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Fresh_1, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Fresh_2, Ar_26)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f64(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f40(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16 + 1, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f57(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f40(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16 + 1, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f57(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_16 + Ar_2)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f44(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f40(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_16 >= 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f118(Ar_0, Fresh_0, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: ?, Cost: 1)    f31(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f31(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f31(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, 0, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f13(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f24(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26) -> Com_1(f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21, Ar_22, Ar_23, Ar_24, Ar_25, Ar_26)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Slicing away variables that do not contribute to conditions from problem 1 leaves variables [Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16].
We thus obtain the following problem:
2:	T:
		(Comp: 1, Cost: 0)    koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: ?, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)    f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: ?, Cost: 1)    f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
	start location:	koat_start
	leaf cost:	0

Testing for reachability in the complexity graph removes the following transitions from problem 2:
	f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
	f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
	f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
We thus obtain the following problem:
3:	T:
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: ?, Cost: 1)    f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: ?, Cost: 1)    f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)    koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Repeatedly propagating knowledge in problem 3 produces the following problem:
4:	T:
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: ?, Cost: 1)    f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: ?, Cost: 1)    f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 1)    f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)    koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

A polynomial rank function with
	Pol(f107) = 2
	Pol(f91) = 2
	Pol(f103) = 2
	Pol(f99) = 2
	Pol(f37) = 2
	Pol(f57) = 2
	Pol(f40) = 2
	Pol(f86) = 2
	Pol(f50) = 2
	Pol(f44) = 2
	Pol(f64) = 2
	Pol(f71) = 2
	Pol(f118) = 1
	Pol(f1) = 0
	Pol(f31) = 3
	Pol(f24) = 4
	Pol(f13) = 5
	Pol(f2) = 5
	Pol(koat_start) = 5
orients all transitions weakly and the transitions
	f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
	f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
	f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
	f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
	f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
	f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
	f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
strictly and produces the following problem:
5:	T:
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)    f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: ?, Cost: 1)    f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)    f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)    f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: 5, Cost: 1)    f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: ?, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: 5, Cost: 1)    f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 1)    f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)    koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

A polynomial rank function with
	Pol(f107) = V_2 - V_4
	Pol(f91) = V_2 - V_4 + 1
	Pol(f103) = V_2 - V_4
	Pol(f99) = V_2 - V_4
	Pol(f37) = V_2 - V_4 + 1
	Pol(f57) = V_2 - V_4 + 1
	Pol(f40) = V_2 - V_4 + 1
	Pol(f86) = V_2 - V_4 + 1
	Pol(f50) = V_2 - V_4 + 1
	Pol(f44) = V_2 - V_4 + 1
	Pol(f64) = V_2 - V_4 + 1
	Pol(f71) = V_2 - V_4 + 1
	Pol(f118) = V_2 - V_4 + 1
	Pol(f1) = V_2 - V_4
	Pol(f31) = V_2 - V_4 + 1
	Pol(f24) = V_2 - V_4 + 1
	Pol(f13) = V_2 - V_4 + 1
	Pol(f2) = V_2 - V_4 + 1
	Pol(koat_start) = V_2 - V_4 + 1
orients all transitions weakly and the transitions
	f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
	f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
	f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
	f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
	f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
	f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
strictly and produces the following problem:
6:	T:
		(Comp: ?, Cost: 1)                  f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)                  f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)                  f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)                  f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)                  f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)                  f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)                  f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)                  f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)                  f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                  f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                  f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                  f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)                  f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)                  f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)                  f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                  f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                  f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: ?, Cost: 1)                  f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)                  f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                  f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                  f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                  f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                  f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)                  f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)                  f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                  f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)    f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                  f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                  f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                  f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: 5, Cost: 1)                  f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)    f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                  f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                  f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                  f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                  f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                  f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                  f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: 5, Cost: 1)                  f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 1)                  f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)                  koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Repeatedly propagating knowledge in problem 6 produces the following problem:
7:	T:
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)                         f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: 5, Cost: 1)                         f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 1)                         f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)                         koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

A polynomial rank function with
	Pol(f107) = V_3 - V_4
	Pol(f91) = V_3 - V_4 + 1
	Pol(f103) = V_3 - V_4
	Pol(f99) = V_3 - V_4
	Pol(f37) = V_3 - V_4 + 1
	Pol(f57) = V_3 - V_4 + 1
	Pol(f40) = V_3 - V_4 + 1
	Pol(f86) = V_3 - V_4 + 1
	Pol(f50) = V_3 - V_4 + 1
	Pol(f44) = V_3 - V_4 + 1
	Pol(f64) = V_3 - V_4 + 1
	Pol(f71) = V_3 - V_4 + 1
	Pol(f118) = V_3 - V_4 + 1
	Pol(f1) = V_3 - V_4 + 1
	Pol(f31) = V_3 - V_4 + 1
	Pol(f24) = V_3 - V_4 + 1
	Pol(f13) = V_3 - V_4 + 1
	Pol(f2) = 4*V_2 - V_4 + 1
	Pol(koat_start) = 4*V_2 - V_4 + 1
orients all transitions weakly and the transition
	f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
strictly and produces the following problem:
8:	T:
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)                         f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 4*Ar_3 + Ar_9 + 1, Cost: 1)         f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: 5, Cost: 1)                         f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 1)                         f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)                         koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

A polynomial rank function with
	Pol(f107) = V_1 - V_4
	Pol(f91) = V_1 - V_4 + 1
	Pol(f103) = V_1 - V_4
	Pol(f99) = V_1 - V_4
	Pol(f37) = V_1 - V_4 + 1
	Pol(f57) = V_1 - V_4 + 1
	Pol(f40) = V_1 - V_4 + 1
	Pol(f86) = V_1 - V_4 + 1
	Pol(f50) = V_1 - V_4 + 1
	Pol(f44) = V_1 - V_4 + 1
	Pol(f64) = V_1 - V_4 + 1
	Pol(f71) = V_1 - V_4 + 1
	Pol(f118) = V_1 - V_4 + 1
	Pol(f1) = V_1 - V_4 + 1
	Pol(f31) = V_1 - V_4 + 1
	Pol(f24) = V_1 - V_4 + 1
	Pol(f13) = V_1 - V_4 + 1
	Pol(f2) = 2*V_2 - V_4 + 1
	Pol(koat_start) = 2*V_2 - V_4 + 1
orients all transitions weakly and the transitions
	f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
	f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
	f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
	f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
strictly and produces the following problem:
9:	T:
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)                         f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 4*Ar_3 + Ar_9 + 1, Cost: 1)         f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: 5, Cost: 1)                         f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 1)                         f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)                         koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

A polynomial rank function with
	Pol(f107) = -V_9 + 1
	Pol(f91) = -V_9 + 1
	Pol(f103) = -V_9 + 1
	Pol(f99) = -V_9 + 1
	Pol(f37) = -V_9 + 1
	Pol(f57) = -V_9
	Pol(f40) = -V_9 + 1
	Pol(f86) = -V_9 + 1
	Pol(f50) = -V_9
	Pol(f44) = -V_9
	Pol(f64) = -V_9
	Pol(f71) = -V_9 + 1
	Pol(f118) = -V_9
	Pol(f1) = -V_9
	Pol(f31) = -V_9 + 1
	Pol(f24) = -V_9 + 1
	Pol(f13) = -V_9 + 1
	Pol(f2) = -V_9 + 1
	Pol(koat_start) = -V_9 + 1
orients all transitions weakly and the transitions
	f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
	f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
	f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
strictly and produces the following problem:
10:	T:
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)    f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)       f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)       f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)                         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: ?, Cost: 1)                         f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 4*Ar_3 + Ar_9 + 1, Cost: 1)         f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                         f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: Ar_16 + 1, Cost: 1)                 f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: Ar_16 + 1, Cost: 1)                 f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: Ar_16 + 1, Cost: 1)                 f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                         f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                         f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: 5, Cost: 1)                         f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)           f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                         f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: 5, Cost: 1)                         f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 1)                         f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)                         koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Repeatedly propagating knowledge in problem 10 produces the following problem:
11:	T:
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)       f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)       f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)       f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)          f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)          f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)          f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)          f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)          f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)          f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                            f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 2*Ar_16 + Ar_3 + Ar_9 + 3, Cost: 1)    f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                            f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)                            f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)                            f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 2*Ar_16 + Ar_3 + Ar_9 + 3, Cost: 1)    f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 2*Ar_16 + Ar_3 + Ar_9 + 3, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 4*Ar_3 + Ar_9 + 1, Cost: 1)            f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: Ar_16 + 4*Ar_3 + Ar_9 + 2, Cost: 1)    f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)            f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                            f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                            f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                            f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: Ar_16 + 1, Cost: 1)                    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: Ar_16 + 1, Cost: 1)                    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: Ar_16 + 1, Cost: 1)                    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                            f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                            f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                            f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                            f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: 5, Cost: 1)                            f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                            f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                            f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                            f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)            f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)            f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)            f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: 5, Cost: 1)                            f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 1)                            f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)                            koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

A polynomial rank function with
	Pol(f107) = V_6 - V_7
	Pol(f91) = V_6 - V_7
	Pol(f103) = V_6 - V_7
	Pol(f99) = V_6 - V_7
	Pol(f37) = V_6 - V_7 + 1
	Pol(f57) = V_6 - V_7
	Pol(f40) = V_6 - V_7
	Pol(f86) = V_6 - V_7
	Pol(f50) = V_6 - V_7
	Pol(f44) = V_6 - V_7
	Pol(f64) = V_6 - V_7
	Pol(f71) = V_6 - V_7
	Pol(f118) = V_6 - V_7
	Pol(f1) = V_6 - V_7
	Pol(f31) = V_6 - V_7 + 1
	Pol(f24) = V_6 - V_7 + 1
	Pol(f13) = V_6 - V_7 + 1
	Pol(f2) = V_6 - V_7 + 1
	Pol(koat_start) = V_6 - V_7 + 1
orients all transitions weakly and the transition
	f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
strictly and produces the following problem:
12:	T:
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)       f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)       f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)       f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)          f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)          f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)          f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)          f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)          f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)          f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: ?, Cost: 1)                            f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 2*Ar_16 + Ar_3 + Ar_9 + 3, Cost: 1)    f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)                            f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: ?, Cost: 1)                            f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: ?, Cost: 1)                            f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 2*Ar_16 + Ar_3 + Ar_9 + 3, Cost: 1)    f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 2*Ar_16 + Ar_3 + Ar_9 + 3, Cost: 1)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 4*Ar_3 + Ar_9 + 1, Cost: 1)            f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: Ar_16 + 4*Ar_3 + Ar_9 + 2, Cost: 1)    f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)            f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: ?, Cost: 1)                            f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                            f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)                            f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: Ar_16 + 1, Cost: 1)                    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: Ar_16 + 1, Cost: 1)                    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: Ar_16 + 1, Cost: 1)                    f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                            f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                            f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                            f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: Ar_13 + Ar_14 + 1, Cost: 1)            f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: 5, Cost: 1)                            f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)              f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                            f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                            f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                            f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)            f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)            f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)            f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: 5, Cost: 1)                            f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 1)                            f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)                            koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Repeatedly propagating knowledge in problem 12 produces the following problem:
13:	T:
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)                                      f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)                                      f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 27*Ar_3 + 27*Ar_9 + 27, Cost: 1)                                      f107(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)                                         f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_12, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)                                         f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_10, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 9*Ar_3 + 9*Ar_9 + 9, Cost: 1)                                         f103(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f107(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_8, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)                                         f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_17, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)                                         f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_15, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 3*Ar_3 + 3*Ar_9 + 3, Cost: 1)                                         f99(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f103(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_13, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)                                             f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_22, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)                                             f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_20, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_3 >= Ar_9 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)                                             f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f99(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_18, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_3 >= Ar_9 ]
		(Comp: 144*Ar_3 + 108*Ar_9 + 9*Ar_13 + 9*Ar_14 + 27*Ar_16 + 144, Cost: 1)    f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 2*Ar_16 + Ar_3 + Ar_9 + 3, Cost: 1)                                   f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 21*Ar_3 + 9*Ar_9 + 3*Ar_13 + 3*Ar_14 + 9*Ar_16 + 21, Cost: 1)         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 = 0 ]
		(Comp: 21*Ar_3 + 9*Ar_9 + 3*Ar_13 + 3*Ar_14 + 9*Ar_16 + 21, Cost: 1)         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_11 + 1 ]
		(Comp: 21*Ar_3 + 9*Ar_9 + 3*Ar_13 + 3*Ar_14 + 9*Ar_16 + 21, Cost: 1)         f86(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f91(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_11 >= 1 ]
		(Comp: 2*Ar_16 + Ar_3 + Ar_9 + 3, Cost: 1)                                   f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f57(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)                                             f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 2*Ar_16 + Ar_3 + Ar_9 + 3, Cost: 1)                                   f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f50(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 4*Ar_3 + Ar_9 + 1, Cost: 1)                                           f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9 + 2, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_4 >= Ar_9 ]
		(Comp: Ar_16 + 4*Ar_3 + Ar_9 + 2, Cost: 1)                                   f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16 + 1)) [ Ar_9 >= Ar_4 + 1 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)                                           f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: 7*Ar_3 + 3*Ar_9 + Ar_13 + Ar_14 + 3*Ar_16 + 7, Cost: 1)               f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 7*Ar_3 + 3*Ar_9 + Ar_13 + Ar_14 + 3*Ar_16 + 7, Cost: 1)               f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_3, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= D1 + 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: 7*Ar_3 + 3*Ar_9 + Ar_13 + Ar_14 + 3*Ar_16 + 7, Cost: 1)               f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f86(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_1, Ar_13, Ar_14, Ar_15, Ar_16)) [ D1 >= 1 /\ Ar_9 >= Ar_2 + 1 ]
		(Comp: Ar_16 + 1, Cost: 1)                                                   f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ 0 >= Ar_16 ]
		(Comp: Ar_16 + 1, Cost: 1)                                                   f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
		(Comp: Ar_16 + 1, Cost: 1)                                                   f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f64(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
		(Comp: Ar_13 + Ar_14 + 3*Ar_16 + 5*Ar_3 + 2*Ar_9 + 6, Cost: 1)               f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f71(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)                                             f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                                                           f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f1(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                                                           f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: Ar_13 + Ar_14 + 1, Cost: 1)                                           f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f40(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_13 >= Ar_14 ]
		(Comp: 5, Cost: 1)                                                           f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f118(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
		(Comp: Ar_3 + Ar_9 + 1, Cost: 1)                                             f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
		(Comp: 5, Cost: 1)                                                           f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Ar_15 + 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                                                           f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f31(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ Ar_9 >= Ar_3 + 1 ]
		(Comp: 5, Cost: 1)                                                           f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f37(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)                                           f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, 0, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)                                           f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_29 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ Fresh_29 >= 2 /\ Ar_2 >= Ar_9 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)                                           f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(Ar_2, Ar_3, Ar_4, Ar_9 + 1, -Fresh_27 + 1, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 >= Fresh_27 /\ Ar_2 >= Ar_9 ]
		(Comp: 5, Cost: 1)                                                           f13(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f24(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 1, Cost: 1)                                                           f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f13(2*Ar_3, Ar_3, 4*Ar_3, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16))
		(Comp: 1, Cost: 0)                                                           koat_start(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f2(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Complexity upper bound 375*Ar_3 + 278*Ar_9 + 23*Ar_13 + 23*Ar_14 + 76*Ar_16 + 413

Time: 1.180 sec (SMT: 0.336 sec)
