
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) -> Com_1(f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_0 >= Ar_1 + 1 ]
		(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) -> Com_1(f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_1 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f3(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_2 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f3(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_1 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f3(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) -> Com_1(f4(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_3 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f3(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) -> Com_1(f4(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_1 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f4(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) -> Com_1(f5(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_4 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f4(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) -> Com_1(f5(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_1 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f5(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) -> Com_1(f6(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_5 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f5(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) -> Com_1(f6(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_1 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f6(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) -> Com_1(f7(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_6 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f6(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) -> Com_1(f7(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_1 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f17(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) -> Com_1(f18(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)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f17(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) -> Com_1(f18(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_7 >= 1 ]
		(Comp: ?, Cost: 1)    f18(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) -> Com_1(f19(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_2 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f18(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) -> Com_1(f19(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_0 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f19(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) -> Com_1(f20(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_3 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f19(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) -> Com_1(f20(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_0 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f20(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) -> Com_1(f21(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_4 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f20(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) -> Com_1(f21(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_0 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f21(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) -> Com_1(f22(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_5 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f21(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) -> Com_1(f22(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_0 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f22(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) -> Com_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_6 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f22(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) -> Com_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_0 >= Ar_6 + 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) -> Com_1(f34(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)) [ 0 >= Ar_7 + 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) -> Com_1(f34(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_7 >= 1 ]
		(Comp: ?, Cost: 1)    f34(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) -> Com_1(f35(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_3 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f34(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) -> Com_1(f35(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_2 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f35(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) -> Com_1(f36(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_4 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f35(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) -> Com_1(f36(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_2 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f36(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) -> Com_1(f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_5 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f36(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) -> Com_1(f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_2 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f38(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_6 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f38(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_2 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f47(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) -> Com_1(f48(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)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f47(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) -> Com_1(f48(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_7 >= 1 ]
		(Comp: ?, Cost: 1)    f48(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) -> 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_4 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f48(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) -> 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_3 >= Ar_4 + 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) -> Com_1(f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_5 >= 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) -> Com_1(f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_3 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f51(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_6 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f51(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_3 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f59(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) -> 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)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f59(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) -> 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_7 >= 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) -> Com_1(f61(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_5 >= 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) -> Com_1(f61(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_4 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f61(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) -> Com_1(f62(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_6 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f61(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) -> Com_1(f62(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_4 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f69(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) -> Com_1(f70(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)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f69(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) -> Com_1(f70(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_7 >= 1 ]
		(Comp: ?, Cost: 1)    f70(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) -> Com_1(f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_6 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f70(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) -> Com_1(f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_5 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f77(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) -> Com_1(f78(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)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f77(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) -> Com_1(f78(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_7 >= 1 ]
		(Comp: ?, Cost: 1)    f101(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) -> Com_1(f102(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)) [ 0 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f101(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) -> Com_1(f102(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_4 >= 1 ]
		(Comp: ?, Cost: 1)    f108(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) -> Com_1(f109(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)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f108(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) -> Com_1(f109(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_7 >= 1 ]
		(Comp: ?, Cost: 1)    f109(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) -> Com_1(f110(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)) [ 0 >= Ar_8 + 1 ]
		(Comp: ?, Cost: 1)    f109(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) -> Com_1(f110(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_8 >= 1 ]
		(Comp: ?, Cost: 1)    f110(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) -> Com_1(f111(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)) [ 0 >= Ar_9 + 1 ]
		(Comp: ?, Cost: 1)    f110(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) -> Com_1(f111(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_9 >= 1 ]
		(Comp: ?, Cost: 1)    f7(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) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, 1, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_10 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f7(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) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, 1, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_1 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f7(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) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_1, 0, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_1 = Ar_10 ]
		(Comp: ?, Cost: 1)    f6(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) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_1, 0, Ar_8, Ar_9, Ar_10, 0, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_1 = Ar_6 ]
		(Comp: ?, Cost: 1)    f5(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) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_1, Ar_6, 0, Ar_8, Ar_9, Ar_10, 0, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_1 = Ar_5 ]
		(Comp: ?, Cost: 1)    f4(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) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_1, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, 0, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_1 = Ar_4 ]
		(Comp: ?, Cost: 1)    f3(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) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_1, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, 0, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_1 = Ar_3 ]
		(Comp: ?, Cost: 1)    f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f17(Ar_0, Ar_1, Ar_1, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, 0, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_1 = Ar_2 ]
		(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) -> Com_1(f17(Ar_1, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, 0, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_1 = Ar_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) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, 1, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_10 >= Ar_0 + 1 ]
		(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) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, 1, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_0 >= Ar_10 + 1 ]
		(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) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_0, Ar_11, 0, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_0 = Ar_10 ]
		(Comp: ?, Cost: 1)    f22(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) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_0, 0, Ar_8, Ar_9, Ar_10, Ar_11, 0, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_0 = Ar_6 ]
		(Comp: ?, Cost: 1)    f21(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) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_0, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, 0, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_0 = Ar_5 ]
		(Comp: ?, Cost: 1)    f20(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) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_0, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, 0, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_0 = Ar_4 ]
		(Comp: ?, Cost: 1)    f19(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) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_0, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, 0, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_0 = Ar_3 ]
		(Comp: ?, Cost: 1)    f18(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) -> Com_1(f33(Ar_0, Ar_1, Ar_0, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, 0, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_0 = Ar_2 ]
		(Comp: ?, Cost: 1)    f17(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) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, 0, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f38(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) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, 1, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_10 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f38(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) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, 1, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_2 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f38(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) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_2, Ar_11, Ar_12, 0, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_2 = Ar_10 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_2, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, 0, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_2 = Ar_6 ]
		(Comp: ?, Cost: 1)    f36(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) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_2, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, 0, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_2 = Ar_5 ]
		(Comp: ?, Cost: 1)    f35(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) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_2, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, 0, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_2 = Ar_4 ]
		(Comp: ?, Cost: 1)    f34(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) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_2, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, 0, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_2 = Ar_3 ]
		(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) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, 0, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f51(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) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, 1, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_10 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f51(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) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, 1, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_3 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f51(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) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_3, Ar_11, Ar_12, Ar_13, 0, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_3 = Ar_10 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_3, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, 0, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_3 = Ar_6 ]
		(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) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_3, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, 0, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_3 = Ar_5 ]
		(Comp: ?, Cost: 1)    f48(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) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_3, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, 0, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_3 = Ar_4 ]
		(Comp: ?, Cost: 1)    f47(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) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, 0, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f62(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) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, 1, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_10 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f62(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) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, 1, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_4 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f62(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) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_4, Ar_11, Ar_12, Ar_13, Ar_14, 0, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_4 = Ar_10 ]
		(Comp: ?, Cost: 1)    f61(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) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_4, 0, 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_4 = Ar_6 ]
		(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) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_4, Ar_6, 0, 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_4 = Ar_5 ]
		(Comp: ?, Cost: 1)    f59(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) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, 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_7 = 0 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, 1, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_10 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, 1, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_5 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_5, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, 0, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_5 = Ar_10 ]
		(Comp: ?, Cost: 1)    f70(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) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_5, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, 0, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_5 = Ar_6 ]
		(Comp: ?, Cost: 1)    f69(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) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, 0, Ar_17, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f78(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) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, 1, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_10 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f78(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) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, 1, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_6 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f78(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) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_6, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, 0, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_6 = Ar_10 ]
		(Comp: ?, Cost: 1)    f77(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) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, 0, Ar_18, Ar_19, Ar_20, Ar_21)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f83(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) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 1, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, 1, Ar_19, Ar_20, Ar_21)) [ 9 >= Ar_10 /\ 9 >= Ar_6 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(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) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, 0, Ar_19, Ar_20, Ar_21)) [ Ar_10 >= 10 /\ 9 >= Ar_6 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(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) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, 0, Ar_19, Ar_20, Ar_21)) [ Ar_6 >= 10 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(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) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, 0, Ar_19, Ar_20, Ar_21)) [ Ar_5 >= 10 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(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) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, 0, Ar_19, Ar_20, Ar_21)) [ Ar_4 >= 10 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(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) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, 0, Ar_19, Ar_20, Ar_21)) [ Ar_3 >= 10 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(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) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, 0, Ar_19, Ar_20, Ar_21)) [ Ar_2 >= 10 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(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) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, 0, Ar_19, Ar_20, Ar_21)) [ 9 >= Ar_1 /\ Ar_0 >= 10 ]
		(Comp: ?, Cost: 1)    f83(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) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, 0, Ar_19, Ar_20, Ar_21)) [ Ar_1 >= 10 ]
		(Comp: ?, Cost: 1)    f102(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) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, 1, Fresh_3, Ar_21)) [ 0 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f102(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) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 1, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, 1, Fresh_2, Ar_21)) [ Ar_1 >= 1 ]
		(Comp: ?, Cost: 1)    f102(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) -> Com_1(f108(Ar_0, 0, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, 0, Fresh_1, Ar_21)) [ Ar_1 = 0 ]
		(Comp: ?, Cost: 1)    f101(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) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, 0, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, 0, Fresh_0, Ar_21)) [ Ar_4 = 0 ]
		(Comp: ?, Cost: 1)    f111(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) -> Com_1(f119(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, 0)) [ 0 >= Ar_20 + 1 ]
		(Comp: ?, Cost: 1)    f111(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) -> Com_1(f119(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, 0)) [ Ar_20 >= 1 ]
		(Comp: ?, Cost: 1)    f111(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) -> Com_1(f119(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, 0, 1)) [ Ar_20 = 0 ]
		(Comp: ?, Cost: 1)    f110(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) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, 1)) [ Ar_9 = 0 ]
		(Comp: ?, Cost: 1)    f109(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) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_11, Ar_12, Ar_13, Ar_14, Ar_15, Ar_16, Ar_17, Ar_18, Ar_19, Ar_20, 1)) [ Ar_8 = 0 ]
		(Comp: ?, Cost: 1)    f108(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) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, 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, 1)) [ Ar_7 = 0 ]
		(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) -> 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)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Slicing away variables that do not contribute to conditions from problem 1 leaves variables [Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20].
We thus obtain the following problem:
2:	T:
		(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_20) -> 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_20)) [ 0 <= 0 ]
		(Comp: ?, Cost: 1)    f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_8 = 0 ]
		(Comp: ?, Cost: 1)    f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Ar_20)) [ Ar_9 = 0 ]
		(Comp: ?, Cost: 1)    f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, 0)) [ Ar_20 = 0 ]
		(Comp: ?, Cost: 1)    f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_20 >= 1 ]
		(Comp: ?, Cost: 1)    f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_20 + 1 ]
		(Comp: ?, Cost: 1)    f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, 0, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Fresh_0)) [ Ar_4 = 0 ]
		(Comp: ?, Cost: 1)    f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, 0, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Fresh_1)) [ Ar_1 = 0 ]
		(Comp: ?, Cost: 1)    f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 1, Ar_10, Fresh_2)) [ Ar_1 >= 1 ]
		(Comp: ?, Cost: 1)    f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 1, Ar_10, Fresh_3)) [ 0 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= 10 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ 9 >= Ar_1 /\ Ar_0 >= 10 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= 10 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= 10 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= 10 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= 10 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= 10 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= 10 /\ 9 >= Ar_6 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 1, Ar_9, Ar_10, Ar_20)) [ 9 >= Ar_10 /\ 9 >= Ar_6 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_6, Ar_20)) [ Ar_6 = Ar_10 ]
		(Comp: ?, Cost: 1)    f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_5, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 = Ar_6 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_5, Ar_20)) [ Ar_5 = Ar_10 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(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_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_4, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 = Ar_5 ]
		(Comp: ?, Cost: 1)    f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_4, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 = Ar_6 ]
		(Comp: ?, Cost: 1)    f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_4, Ar_20)) [ Ar_4 = Ar_10 ]
		(Comp: ?, Cost: 1)    f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_3, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 = Ar_4 ]
		(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_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_3, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 = Ar_5 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_3, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 = Ar_6 ]
		(Comp: ?, Cost: 1)    f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_3, Ar_20)) [ Ar_3 = Ar_10 ]
		(Comp: ?, Cost: 1)    f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= 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_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_2, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_3 ]
		(Comp: ?, Cost: 1)    f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_2, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_4 ]
		(Comp: ?, Cost: 1)    f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_2, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_5 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_2, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_6 ]
		(Comp: ?, Cost: 1)    f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_2, Ar_20)) [ Ar_2 = Ar_10 ]
		(Comp: ?, Cost: 1)    f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_0, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_2 ]
		(Comp: ?, Cost: 1)    f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_0, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_3 ]
		(Comp: ?, Cost: 1)    f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_0, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_4 ]
		(Comp: ?, Cost: 1)    f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_0, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_5 ]
		(Comp: ?, Cost: 1)    f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_0, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_6 ]
		(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_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_0, Ar_20)) [ Ar_0 = Ar_10 ]
		(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_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_10 + 1 ]
		(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_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_0 + 1 ]
		(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_20) -> Com_1(f17(Ar_1, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_0 ]
		(Comp: ?, Cost: 1)    f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_1, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_2 ]
		(Comp: ?, Cost: 1)    f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_1, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_3 ]
		(Comp: ?, Cost: 1)    f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_1, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_4 ]
		(Comp: ?, Cost: 1)    f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_1, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_5 ]
		(Comp: ?, Cost: 1)    f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_1, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_6 ]
		(Comp: ?, Cost: 1)    f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_1, Ar_20)) [ Ar_1 = Ar_10 ]
		(Comp: ?, Cost: 1)    f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_9 >= 1 ]
		(Comp: ?, Cost: 1)    f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_9 + 1 ]
		(Comp: ?, Cost: 1)    f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_8 >= 1 ]
		(Comp: ?, Cost: 1)    f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_8 + 1 ]
		(Comp: ?, Cost: 1)    f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= 1 ]
		(Comp: ?, Cost: 1)    f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= 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_20) -> Com_1(f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_5 + 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_20) -> Com_1(f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= 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_20) -> Com_1(f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_5 + 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_20) -> Com_1(f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ Ar_3 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ Ar_4 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_2 + 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_20) -> Com_1(f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 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_20) -> Com_1(f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_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_20)) [ Ar_0 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_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_20)) [ Ar_6 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_1 + 1 ]
		(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_20) -> Com_1(f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_0 + 1 ]
		(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_20) -> Com_1(f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_1 + 1 ]
	start location:	koat_start
	leaf cost:	0

Testing for reachability in the complexity graph removes the following transitions from problem 2:
	f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
	f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
	f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ 0 >= Ar_7 + 1 ]
	f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 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_20) -> Com_1(f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
	f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
We thus obtain the following problem:
3:	T:
		(Comp: ?, Cost: 1)    f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_6, Ar_20)) [ Ar_6 = Ar_10 ]
		(Comp: ?, Cost: 1)    f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_5, Ar_20)) [ Ar_5 = Ar_10 ]
		(Comp: ?, Cost: 1)    f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_5, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 = Ar_6 ]
		(Comp: ?, Cost: 1)    f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_4, Ar_20)) [ Ar_4 = Ar_10 ]
		(Comp: ?, Cost: 1)    f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_4, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 = Ar_6 ]
		(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_20) -> Com_1(f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= 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_20) -> Com_1(f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_5 + 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_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_4, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 = Ar_5 ]
		(Comp: ?, Cost: 1)    f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_3, Ar_20)) [ Ar_3 = Ar_10 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_3, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 = Ar_6 ]
		(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_20) -> Com_1(f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= 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_20) -> Com_1(f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_5 + 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_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_3, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 = Ar_5 ]
		(Comp: ?, Cost: 1)    f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ Ar_4 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ Ar_3 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_3, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 = Ar_4 ]
		(Comp: ?, Cost: 1)    f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_2, Ar_20)) [ Ar_2 = Ar_10 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_2, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_6 ]
		(Comp: ?, Cost: 1)    f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_2, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_5 ]
		(Comp: ?, Cost: 1)    f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_2, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_4 ]
		(Comp: ?, Cost: 1)    f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_2, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_3 ]
		(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_20) -> Com_1(f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(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_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_0 + 1 ]
		(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_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_10 + 1 ]
		(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_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_0, Ar_20)) [ Ar_0 = Ar_10 ]
		(Comp: ?, Cost: 1)    f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_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_20)) [ Ar_6 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_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_20)) [ Ar_0 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_0, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_6 ]
		(Comp: ?, Cost: 1)    f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_20 + 1 ]
		(Comp: ?, Cost: 1)    f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_20 >= 1 ]
		(Comp: ?, Cost: 1)    f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, 0)) [ Ar_20 = 0 ]
		(Comp: ?, Cost: 1)    f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_0, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_5 ]
		(Comp: ?, Cost: 1)    f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_9 + 1 ]
		(Comp: ?, Cost: 1)    f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_9 >= 1 ]
		(Comp: ?, Cost: 1)    f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Ar_20)) [ Ar_9 = 0 ]
		(Comp: ?, Cost: 1)    f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_0, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_4 ]
		(Comp: ?, Cost: 1)    f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_8 + 1 ]
		(Comp: ?, Cost: 1)    f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_8 >= 1 ]
		(Comp: ?, Cost: 1)    f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_8 = 0 ]
		(Comp: ?, Cost: 1)    f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_0, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_3 ]
		(Comp: ?, Cost: 1)    f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 1, Ar_10, Fresh_3)) [ 0 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 1, Ar_10, Fresh_2)) [ Ar_1 >= 1 ]
		(Comp: ?, Cost: 1)    f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, 0, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Fresh_1)) [ Ar_1 = 0 ]
		(Comp: ?, Cost: 1)    f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
		(Comp: ?, Cost: 1)    f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_0 + 1 ]
		(Comp: ?, Cost: 1)    f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_0, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_2 ]
		(Comp: ?, Cost: 1)    f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= 1 ]
		(Comp: ?, Cost: 1)    f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, 0, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Fresh_0)) [ Ar_4 = 0 ]
		(Comp: ?, Cost: 1)    f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 1, Ar_9, Ar_10, Ar_20)) [ 9 >= Ar_10 /\ 9 >= Ar_6 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= 10 /\ 9 >= Ar_6 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= 10 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= 10 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= 10 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= 10 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= 10 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ 9 >= Ar_1 /\ Ar_0 >= 10 ]
		(Comp: ?, Cost: 1)    f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= 10 ]
		(Comp: ?, Cost: 1)    f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_10 + 1 ]
		(Comp: ?, Cost: 1)    f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_1, Ar_20)) [ Ar_1 = Ar_10 ]
		(Comp: ?, Cost: 1)    f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_6 + 1 ]
		(Comp: ?, Cost: 1)    f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_1, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_6 ]
		(Comp: ?, Cost: 1)    f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_5 + 1 ]
		(Comp: ?, Cost: 1)    f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_1, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_5 ]
		(Comp: ?, Cost: 1)    f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_4 + 1 ]
		(Comp: ?, Cost: 1)    f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_1, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_4 ]
		(Comp: ?, Cost: 1)    f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_3 + 1 ]
		(Comp: ?, Cost: 1)    f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_1, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_3 ]
		(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_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: ?, Cost: 1)    f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_1 + 1 ]
		(Comp: ?, Cost: 1)    f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_2 + 1 ]
		(Comp: ?, Cost: 1)    f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_1, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_2 ]
		(Comp: ?, Cost: 1)    f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(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_20) -> Com_1(f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_1 + 1 ]
		(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_20) -> Com_1(f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_0 + 1 ]
		(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_20) -> Com_1(f17(Ar_1, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_0 ]
		(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_20) -> 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_20)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Repeatedly propagating knowledge in problem 3 produces the following problem:
4:	T:
		(Comp: 134217728, Cost: 1)       f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_6 + 1 ]
		(Comp: 134217728, Cost: 1)       f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_10 + 1 ]
		(Comp: 134217728, Cost: 1)       f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_6, Ar_20)) [ Ar_6 = Ar_10 ]
		(Comp: 134217728, Cost: 1)       f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f78(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: 67108864, Cost: 1)        f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_5 + 1 ]
		(Comp: 67108864, Cost: 1)        f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_10 + 1 ]
		(Comp: 67108864, Cost: 1)        f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_5, Ar_20)) [ Ar_5 = Ar_10 ]
		(Comp: 33554432, Cost: 1)        f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_5 + 1 ]
		(Comp: 33554432, Cost: 1)        f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f71(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_6 + 1 ]
		(Comp: 33554432, Cost: 1)        f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_5, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 = Ar_6 ]
		(Comp: 33554432, Cost: 1)        f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f70(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: 16777216, Cost: 1)        f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_4 + 1 ]
		(Comp: 16777216, Cost: 1)        f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_10 + 1 ]
		(Comp: 16777216, Cost: 1)        f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_4, Ar_20)) [ Ar_4 = Ar_10 ]
		(Comp: 8388608, Cost: 1)         f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_4 + 1 ]
		(Comp: 8388608, Cost: 1)         f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f62(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_6 + 1 ]
		(Comp: 8388608, Cost: 1)         f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_4, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 = Ar_6 ]
		(Comp: 4194304, 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_20) -> Com_1(f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_4 + 1 ]
		(Comp: 4194304, 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_20) -> Com_1(f61(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_5 + 1 ]
		(Comp: 4194304, 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_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_4, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 = Ar_5 ]
		(Comp: 4194304, Cost: 1)         f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ Ar_7 >= 1 ]
		(Comp: 2097152, Cost: 1)         f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_3 + 1 ]
		(Comp: 2097152, Cost: 1)         f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_10 + 1 ]
		(Comp: 2097152, Cost: 1)         f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_3, Ar_20)) [ Ar_3 = Ar_10 ]
		(Comp: 1048576, Cost: 1)         f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_3 + 1 ]
		(Comp: 1048576, Cost: 1)         f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f51(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_6 + 1 ]
		(Comp: 1048576, Cost: 1)         f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_3, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 = Ar_6 ]
		(Comp: 524288, 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_20) -> Com_1(f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_3 + 1 ]
		(Comp: 524288, 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_20) -> Com_1(f50(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_5 + 1 ]
		(Comp: 524288, 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_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_3, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 = Ar_5 ]
		(Comp: 262144, Cost: 1)          f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ Ar_4 >= Ar_3 + 1 ]
		(Comp: 262144, Cost: 1)          f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> 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_20)) [ Ar_3 >= Ar_4 + 1 ]
		(Comp: 262144, Cost: 1)          f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_3, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 = Ar_4 ]
		(Comp: 262144, Cost: 1)          f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f48(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: 131072, Cost: 1)          f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_2 + 1 ]
		(Comp: 131072, Cost: 1)          f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_10 + 1 ]
		(Comp: 131072, Cost: 1)          f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_2, Ar_20)) [ Ar_2 = Ar_10 ]
		(Comp: 65536, Cost: 1)           f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_2 + 1 ]
		(Comp: 65536, Cost: 1)           f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f38(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_6 + 1 ]
		(Comp: 65536, Cost: 1)           f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_2, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_6 ]
		(Comp: 32768, Cost: 1)           f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_2 + 1 ]
		(Comp: 32768, Cost: 1)           f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f37(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_5 + 1 ]
		(Comp: 32768, Cost: 1)           f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_2, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_5 ]
		(Comp: 16384, Cost: 1)           f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_2 + 1 ]
		(Comp: 16384, Cost: 1)           f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f36(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_4 + 1 ]
		(Comp: 16384, Cost: 1)           f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_2, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_4 ]
		(Comp: 8192, Cost: 1)            f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_2 + 1 ]
		(Comp: 8192, Cost: 1)            f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f35(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_3 + 1 ]
		(Comp: 8192, Cost: 1)            f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_2, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 = Ar_3 ]
		(Comp: 8192, 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_20) -> Com_1(f34(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: 4096, 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_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_0 + 1 ]
		(Comp: 4096, 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_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_10 + 1 ]
		(Comp: 4096, 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_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_0, Ar_20)) [ Ar_0 = Ar_10 ]
		(Comp: 2048, Cost: 1)            f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_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_20)) [ Ar_6 >= Ar_0 + 1 ]
		(Comp: 2048, Cost: 1)            f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_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_20)) [ Ar_0 >= Ar_6 + 1 ]
		(Comp: 2048, Cost: 1)            f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_0, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_6 ]
		(Comp: 238370684456, Cost: 1)    f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_20 + 1 ]
		(Comp: 238370684456, Cost: 1)    f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_20 >= 1 ]
		(Comp: 238370684456, Cost: 1)    f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, 0)) [ Ar_20 = 0 ]
		(Comp: 1024, Cost: 1)            f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_0 + 1 ]
		(Comp: 1024, Cost: 1)            f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f22(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_5 + 1 ]
		(Comp: 1024, Cost: 1)            f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_0, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_5 ]
		(Comp: 119185342228, Cost: 1)    f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_9 + 1 ]
		(Comp: 119185342228, Cost: 1)    f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f111(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_9 >= 1 ]
		(Comp: 119185342228, Cost: 1)    f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Ar_20)) [ Ar_9 = 0 ]
		(Comp: 512, Cost: 1)             f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_0 + 1 ]
		(Comp: 512, Cost: 1)             f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f21(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_4 + 1 ]
		(Comp: 512, Cost: 1)             f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_0, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_4 ]
		(Comp: 59592671114, Cost: 1)     f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_8 + 1 ]
		(Comp: 59592671114, Cost: 1)     f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f110(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_8 >= 1 ]
		(Comp: 59592671114, Cost: 1)     f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_8 = 0 ]
		(Comp: 256, Cost: 1)             f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_0 + 1 ]
		(Comp: 256, Cost: 1)             f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f20(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_3 + 1 ]
		(Comp: 256, Cost: 1)             f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_0, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_3 ]
		(Comp: 8589934575, Cost: 1)      f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 1, Ar_10, Fresh_3)) [ 0 >= Ar_1 + 1 ]
		(Comp: 8589934575, Cost: 1)      f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 1, Ar_10, Fresh_2)) [ Ar_1 >= 1 ]
		(Comp: 8589934575, Cost: 1)      f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, 0, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Fresh_1)) [ Ar_1 = 0 ]
		(Comp: 29796335557, Cost: 1)     f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_7 + 1 ]
		(Comp: 29796335557, Cost: 1)     f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f109(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: 29796335557, Cost: 1)     f108(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f119(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: 128, Cost: 1)             f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_0 + 1 ]
		(Comp: 128, Cost: 1)             f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f19(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_2 + 1 ]
		(Comp: 128, Cost: 1)             f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_0, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 = Ar_2 ]
		(Comp: 4026531832, Cost: 1)      f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ 0 >= Ar_4 + 1 ]
		(Comp: 4563402743, Cost: 1)      f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f102(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= 1 ]
		(Comp: 4026531832, Cost: 1)      f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f108(Ar_0, Ar_1, Ar_2, Ar_3, 0, Ar_5, Ar_6, Ar_7, Ar_8, 0, Ar_10, Fresh_0)) [ Ar_4 = 0 ]
		(Comp: 128, Cost: 1)             f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f18(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 >= 1 ]
		(Comp: 536870911, Cost: 1)       f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 1, Ar_9, Ar_10, Ar_20)) [ 9 >= Ar_10 /\ 9 >= Ar_6 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: 268435455, Cost: 1)       f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= 10 /\ 9 >= Ar_6 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: 536870911, Cost: 1)       f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= 10 /\ 9 >= Ar_5 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: 536870911, Cost: 1)       f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= 10 /\ 9 >= Ar_4 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: 536870911, Cost: 1)       f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= 10 /\ 9 >= Ar_3 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: 536870911, Cost: 1)       f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= 10 /\ 9 >= Ar_2 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: 536870911, Cost: 1)       f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= 10 /\ 9 >= Ar_1 /\ 9 >= Ar_0 ]
		(Comp: 536870911, Cost: 1)       f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ 9 >= Ar_1 /\ Ar_0 >= 10 ]
		(Comp: 536870911, Cost: 1)       f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f101(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, 0, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= 10 ]
		(Comp: 64, Cost: 1)              f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_10 >= Ar_1 + 1 ]
		(Comp: 64, Cost: 1)              f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 1, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_10 + 1 ]
		(Comp: 64, Cost: 1)              f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_1, Ar_20)) [ Ar_1 = Ar_10 ]
		(Comp: 134217727, Cost: 1)       f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f83(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: 32, Cost: 1)              f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_6 >= Ar_1 + 1 ]
		(Comp: 32, Cost: 1)              f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f7(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_6 + 1 ]
		(Comp: 32, Cost: 1)              f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_1, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_6 ]
		(Comp: 33554431, Cost: 1)        f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f77(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: 16, Cost: 1)              f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_5 >= Ar_1 + 1 ]
		(Comp: 16, Cost: 1)              f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f6(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_5 + 1 ]
		(Comp: 16, Cost: 1)              f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_1, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_5 ]
		(Comp: 4194303, Cost: 1)         f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f69(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: 8, Cost: 1)               f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_4 >= Ar_1 + 1 ]
		(Comp: 8, Cost: 1)               f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f5(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_4 + 1 ]
		(Comp: 8, Cost: 1)               f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_1, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_4 ]
		(Comp: 262143, Cost: 1)          f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f59(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: 4, Cost: 1)               f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_3 >= Ar_1 + 1 ]
		(Comp: 4, Cost: 1)               f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f4(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_3 + 1 ]
		(Comp: 4, Cost: 1)               f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_2, Ar_1, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_3 ]
		(Comp: 8191, 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_20) -> Com_1(f47(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: 2, Cost: 1)               f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_2 >= Ar_1 + 1 ]
		(Comp: 2, Cost: 1)               f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f3(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_2 + 1 ]
		(Comp: 2, Cost: 1)               f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f17(Ar_0, Ar_1, Ar_1, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_2 ]
		(Comp: 127, Cost: 1)             f17(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20) -> Com_1(f33(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_7 = 0 ]
		(Comp: 1, 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_20) -> Com_1(f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_0 >= Ar_1 + 1 ]
		(Comp: 1, 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_20) -> Com_1(f2(Ar_0, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, Ar_7, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 >= Ar_0 + 1 ]
		(Comp: 1, 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_20) -> Com_1(f17(Ar_1, Ar_1, Ar_2, Ar_3, Ar_4, Ar_5, Ar_6, 0, Ar_8, Ar_9, Ar_10, Ar_20)) [ Ar_1 = Ar_0 ]
		(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_20) -> 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_20)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Complexity upper bound 1384934553155

Time: 12.685 sec (SMT: 0.483 sec)
