
Initial complexity problem:
1:	T:
		(Comp: ?, Cost: 1)    f0(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(f23(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)    f23(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(f23(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)    f23(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(f23(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)    f23(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(f23(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)    f33(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(f33(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)    f39(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(f39(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)    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(f46(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)    f46(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(f49(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)    f46(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(f49(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)    f49(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(f49(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)    f54(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(f54(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)    f60(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(f60(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)    f46(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(f66(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)    f66(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(f66(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)    f72(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(f72(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)    f87(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)    f87(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)    f87(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)    f117(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(f117(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)    f117(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(f125(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(f44(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)    f72(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(f87(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)    f72(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(f87(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)    f72(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(f87(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)    f66(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(f46(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)    f60(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(f46(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)    f54(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(f60(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)    f49(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(f54(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)    f46(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(f72(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)    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(f117(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)    f39(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_9 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f33(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(f39(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)    f33(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(f39(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)    f33(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, 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)    f23(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(f33(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(f0(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(f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ 0 <= 0 ]
		(Comp: ?, Cost: 1)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)    f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)    f39(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_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(f117(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: ?, Cost: 1)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(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)    f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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)    f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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(f44(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)    f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)    f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)    f87(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)    f87(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)    f87(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)    f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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)    f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(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)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)    f39(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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:
	f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
	f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
	f39(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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(f44(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)    f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)    f87(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)    f87(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)    f87(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)    f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(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)    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: ?, Cost: 1)    f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)    f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)    f39(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_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(f46(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)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)    f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)    f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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(f44(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)    f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)    f87(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)    f87(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)    f87(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)    f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(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)    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: ?, Cost: 1)    f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)    f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)    f39(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_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(f46(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)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)    f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)    f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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(f44) = 2
	Pol(f60) = 2
	Pol(f46) = 2
	Pol(f87) = 2
	Pol(f54) = 2
	Pol(f49) = 2
	Pol(f66) = 2
	Pol(f72) = 2
	Pol(f117) = 1
	Pol(f125) = 0
	Pol(f39) = 3
	Pol(f33) = 4
	Pol(f23) = 5
	Pol(f0) = 5
	Pol(koat_start) = 5
orients all transitions weakly and the transitions
	f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_14 >= Ar_13 + 1 ]
	f39(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_9 >= Ar_3 + 1 ]
	f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
	f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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 ]
	f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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 ]
	f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
	f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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(f44(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)    f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)    f87(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)    f87(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)    f87(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)    f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(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)    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_16 >= 1 ]
		(Comp: ?, Cost: 1)    f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)    f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)    f39(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_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(f46(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)    f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)    f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)    f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)    f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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(f44) = V_2 - V_4 + 1
	Pol(f60) = V_2 - V_4 + 1
	Pol(f46) = V_2 - V_4 + 1
	Pol(f87) = V_2 - V_4 + 1
	Pol(f54) = V_2 - V_4 + 1
	Pol(f49) = V_2 - V_4 + 1
	Pol(f66) = V_2 - V_4 + 1
	Pol(f72) = V_2 - V_4 + 1
	Pol(f117) = V_2 - V_4 + 1
	Pol(f125) = V_2 - V_4
	Pol(f39) = V_2 - V_4 + 1
	Pol(f33) = V_2 - V_4 + 1
	Pol(f23) = V_2 - V_4 + 2
	Pol(f0) = V_2 - V_4 + 2
	Pol(koat_start) = V_2 - V_4 + 2
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 ]
	f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
	f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_3 >= Ar_9 ]
	f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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 + 2, 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 + 2, 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 + 2, 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(f44(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)                  f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                  f87(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)                  f87(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)                  f87(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)                  f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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 + 2, Cost: 1)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                  f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(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)                  f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                  f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                  f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)                  f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                  f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                  f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                  f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                  f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                  f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                  f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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 + 2, Cost: 1)    f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)                  f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)                  f39(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_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(f46(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)                  f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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 + 2, Cost: 1)    f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                  f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                  f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                  f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                  f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                  f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                  f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                  f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                  f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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 + 54, 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 + 54, 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 + 54, 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 + 18, 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 + 18, 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 + 18, 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 + 6, 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 + 6, 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 + 6, 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 + 2, 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 + 2, 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 + 2, 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(f44(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)                         f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                         f87(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)                         f87(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)                         f87(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)                         f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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 + 2, Cost: 1)           f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                         f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(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)                         f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                         f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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 + 2, Cost: 1)           f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)                         f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)                         f39(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_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(f46(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)                         f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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 + 2, Cost: 1)           f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                         f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                         f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                         f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                         f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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(f44) = V_3 - V_4 + 1
	Pol(f60) = V_3 - V_4 + 1
	Pol(f46) = V_3 - V_4 + 1
	Pol(f87) = V_3 - V_4 + 1
	Pol(f54) = V_3 - V_4 + 1
	Pol(f49) = V_3 - V_4 + 1
	Pol(f66) = V_3 - V_4 + 1
	Pol(f72) = V_3 - V_4 + 1
	Pol(f117) = V_3 - V_4 + 1
	Pol(f125) = V_3 - V_4 + 1
	Pol(f39) = V_3 - V_4 + 1
	Pol(f33) = -V_2 + V_3
	Pol(f23) = -V_2 + V_3
	Pol(f0) = 3*V_2
	Pol(koat_start) = 3*V_2
orients all transitions weakly and the transition
	f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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 + 54, 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 + 54, 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 + 54, 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 + 18, 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 + 18, 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 + 18, 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 + 6, 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 + 6, 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 + 6, 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 + 2, 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 + 2, 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 + 2, 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(f44(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)                         f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                         f87(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)                         f87(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)                         f87(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)                         f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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 + 2, Cost: 1)           f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                         f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 3*Ar_3, Cost: 1)                    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                         f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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 + 2, Cost: 1)           f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)                         f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)                         f39(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_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(f46(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)                         f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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 + 2, Cost: 1)           f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                         f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                         f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                         f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: ?, Cost: 1)                         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                         f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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(f44) = V_1 - V_4 + 1
	Pol(f60) = V_1 - V_4 + 1
	Pol(f46) = V_1 - V_4 + 1
	Pol(f87) = V_1 - V_4 + 1
	Pol(f54) = V_1 - V_4 + 1
	Pol(f49) = V_1 - V_4 + 1
	Pol(f66) = V_1 - V_4 + 1
	Pol(f72) = V_1 - V_4 + 1
	Pol(f117) = V_1 - V_4 + 1
	Pol(f125) = V_1 - V_4 + 1
	Pol(f39) = V_1 - V_4 + 1
	Pol(f33) = V_1 - V_4 + 1
	Pol(f23) = V_1 - V_4 + 1
	Pol(f0) = 2*V_2 - V_4 + 1
	Pol(koat_start) = 2*V_2 - V_4 + 1
orients all transitions weakly and the transitions
	f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
	f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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 ]
	f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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 ]
	f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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 + 54, 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 + 54, 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 + 54, 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 + 18, 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 + 18, 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 + 18, 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 + 6, 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 + 6, 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 + 6, 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 + 2, 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 + 2, 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 + 2, 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(f44(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)                         f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                         f87(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)                         f87(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)                         f87(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)                         f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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 + 2, Cost: 1)           f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                         f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 3*Ar_3, Cost: 1)                    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                         f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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 + 2, Cost: 1)           f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)                         f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)                         f39(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_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(f46(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)                         f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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 + 2, Cost: 1)           f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                         f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                         f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                         f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                         f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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(f44) = -V_9 + 1
	Pol(f60) = -V_9
	Pol(f46) = -V_9 + 1
	Pol(f87) = -V_9 + 1
	Pol(f54) = -V_9
	Pol(f49) = -V_9
	Pol(f66) = -V_9
	Pol(f72) = -V_9 + 1
	Pol(f117) = -V_9
	Pol(f125) = -V_9
	Pol(f39) = -V_9 + 1
	Pol(f33) = -V_9 + 1
	Pol(f23) = -V_9 + 1
	Pol(f0) = -V_9 + 1
	Pol(koat_start) = -V_9 + 1
orients all transitions weakly and the transitions
	f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, 0, Ar_16)) [ 0 >= Ar_16 /\ Ar_15 = 0 ]
	f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_15 >= 1 /\ 0 >= Ar_16 ]
	f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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 + 54, 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 + 54, 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 + 54, 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 + 18, 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 + 18, 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 + 18, 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 + 6, 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 + 6, 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 + 6, 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 + 2, 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 + 2, 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 + 2, 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(f44(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)                         f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                         f87(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)                         f87(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)                         f87(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)                         f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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 + 2, Cost: 1)           f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                         f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 3*Ar_3, Cost: 1)                    f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                         f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                         f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                 f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                 f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                 f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                         f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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 + 2, Cost: 1)           f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)                         f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)                         f39(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_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(f46(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)                         f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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 + 2, Cost: 1)           f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                         f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                         f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                         f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                         f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                         f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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 + 54, 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 + 54, 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 + 54, 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 + 18, 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 + 18, 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 + 18, 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 + 6, 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 + 6, 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 + 6, 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 + 2, 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 + 2, 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 + 2, 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(f44(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 + 4, Cost: 1)    f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                            f87(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)                            f87(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)                            f87(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 + 4, Cost: 1)    f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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 + 2, Cost: 1)              f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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 + 4, Cost: 1)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 3*Ar_3, Cost: 1)                       f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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 + 3*Ar_3 + 1, Cost: 1)           f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)            f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)                            f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                            f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                            f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                            f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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 + 2, Cost: 1)              f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)                            f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)                            f39(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_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(f46(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)                            f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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 + 2, Cost: 1)              f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                            f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                            f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                            f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)            f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)            f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)            f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                            f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                            f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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(f44) = V_6 - V_7 + 1
	Pol(f60) = V_6 - V_7
	Pol(f46) = V_6 - V_7
	Pol(f87) = V_6 - V_7
	Pol(f54) = V_6 - V_7
	Pol(f49) = V_6 - V_7
	Pol(f66) = V_6 - V_7
	Pol(f72) = V_6 - V_7
	Pol(f117) = V_6 - V_7
	Pol(f125) = V_6 - V_7
	Pol(f39) = V_6 - V_7 + 1
	Pol(f33) = V_6 - V_7 + 1
	Pol(f23) = V_6 - V_7 + 1
	Pol(f0) = V_6 - V_7 + 1
	Pol(koat_start) = V_6 - V_7 + 1
orients all transitions weakly and the transition
	f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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 + 54, 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 + 54, 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 + 54, 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 + 18, 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 + 18, 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 + 18, 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 + 6, 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 + 6, 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 + 6, 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 + 2, 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 + 2, 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 + 2, 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(f44(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 + 4, Cost: 1)    f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                            f87(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)                            f87(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)                            f87(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 + 4, Cost: 1)    f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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 + 2, Cost: 1)              f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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 + 4, Cost: 1)    f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 3*Ar_3, Cost: 1)                       f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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 + 3*Ar_3 + 1, Cost: 1)           f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)            f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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)                            f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                            f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                            f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                    f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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)                            f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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 + 2, Cost: 1)              f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)                            f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)                            f39(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_9 >= Ar_3 + 1 ]
		(Comp: Ar_13 + Ar_14 + 1, Cost: 1)            f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                            f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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 + 2, Cost: 1)              f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                            f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                            f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                            f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)            f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)            f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)            f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                            f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                            f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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 + 54, 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 + 54, 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 + 54, 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 + 18, 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 + 18, 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 + 18, 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 + 6, 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 + 6, 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 + 6, 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 + 2, 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 + 2, 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 + 2, 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: 135*Ar_3 + 99*Ar_9 + 9*Ar_13 + 9*Ar_14 + 27*Ar_16 + 225, Cost: 1)    f91(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 + 1, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 2*Ar_16 + Ar_3 + Ar_9 + 4, Cost: 1)                                  f60(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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: 18*Ar_3 + 6*Ar_9 + 3*Ar_13 + 3*Ar_14 + 9*Ar_16 + 21, Cost: 1)        f87(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: 18*Ar_3 + 6*Ar_9 + 3*Ar_13 + 3*Ar_14 + 9*Ar_16 + 21, Cost: 1)        f87(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: 18*Ar_3 + 6*Ar_9 + 3*Ar_13 + 3*Ar_14 + 9*Ar_16 + 21, Cost: 1)        f87(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 + 4, Cost: 1)                                  f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f60(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 + 2, Cost: 1)                                            f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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 + 4, Cost: 1)                                  f49(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f54(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_3 + 1 ]
		(Comp: 3*Ar_3, Cost: 1)                                                     f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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 + 3*Ar_3 + 1, Cost: 1)                                         f66(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                                          f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(Ar_2, Ar_3, Ar_4, Ar_9 + 1, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_2 >= Ar_9 ]
		(Comp: 6*Ar_3 + 2*Ar_9 + Ar_13 + Ar_14 + 3*Ar_16 + 7, Cost: 1)              f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(Ar_2, Ar_3, Ar_4, Ar_9, Fresh_5, Ar_13, Ar_14, Ar_15, Ar_16)) [ Ar_9 >= Ar_2 + 1 ]
		(Comp: 6*Ar_3 + 2*Ar_9 + Ar_13 + Ar_14 + 3*Ar_16 + 7, Cost: 1)              f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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: 6*Ar_3 + 2*Ar_9 + Ar_13 + Ar_14 + 3*Ar_16 + 7, Cost: 1)              f72(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f87(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)                                                  f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                                                  f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f49(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)                                                  f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f66(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 + 4*Ar_3 + Ar_9 + 6, Cost: 1)                f46(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f72(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 + 2, Cost: 1)                                            f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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)                                                          f117(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f125(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)                                                          f39(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_9 >= Ar_3 + 1 ]
		(Comp: Ar_13 + Ar_14 + 1, Cost: 1)                                          f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f46(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)                                                          f44(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f117(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 + 2, Cost: 1)                                            f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                                                          f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                                                          f33(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f39(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)                                                          f33(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, 0, Ar_16)) [ Ar_9 >= Ar_3 + 1 /\ Ar_15 = 0 ]
		(Comp: 2*Ar_3 + Ar_9 + 1, Cost: 1)                                          f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                                          f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                                          f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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)                                                          f23(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f33(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)                                                          f0(Ar_2, Ar_3, Ar_4, Ar_9, Ar_11, Ar_13, Ar_14, Ar_15, Ar_16) -> Com_1(f23(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(f0(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 351*Ar_3 + 254*Ar_9 + 23*Ar_13 + 23*Ar_14 + 76*Ar_16 + 618

Time: 1.197 sec (SMT: 0.342 sec)
