
Initial complexity problem:
1:	T:
		(Comp: ?, Cost: 1)    l0(Ar_0, Ar_1) -> Com_1(l1(Ar_0, Ar_1))
		(Comp: ?, Cost: 1)    l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Repeatedly propagating knowledge in problem 1 produces the following problem:
2:	T:
		(Comp: 1, Cost: 1)    l0(Ar_0, Ar_1) -> Com_1(l1(Ar_0, Ar_1))
		(Comp: ?, Cost: 1)    l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(Ar_0, Ar_1)) with all transitions in problem 2, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
We thus obtain the following problem:
3:	T:
		(Comp: 1, Cost: 2)    l0(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: ?, Cost: 1)    l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ] with all transitions in problem 3, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(14*Ar_0 - 5*Ar_1, 10*Ar_0 - Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 ]
We thus obtain the following problem:
4:	T:
		(Comp: 1, Cost: 3)    l0(Ar_0, Ar_1) -> Com_1(l1(14*Ar_0 - 5*Ar_1, 10*Ar_0 - Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 ]
		(Comp: ?, Cost: 1)    l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(14*Ar_0 - 5*Ar_1, 10*Ar_0 - Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 ] with all transitions in problem 4, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(46*Ar_0 - 19*Ar_1, 38*Ar_0 - 11*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 ]
We thus obtain the following problem:
5:	T:
		(Comp: 1, Cost: 4)    l0(Ar_0, Ar_1) -> Com_1(l1(46*Ar_0 - 19*Ar_1, 38*Ar_0 - 11*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 ]
		(Comp: ?, Cost: 1)    l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(46*Ar_0 - 19*Ar_1, 38*Ar_0 - 11*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 ] with all transitions in problem 5, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(146*Ar_0 - 65*Ar_1, 130*Ar_0 - 49*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 ]
We thus obtain the following problem:
6:	T:
		(Comp: 1, Cost: 5)    l0(Ar_0, Ar_1) -> Com_1(l1(146*Ar_0 - 65*Ar_1, 130*Ar_0 - 49*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 ]
		(Comp: ?, Cost: 1)    l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(146*Ar_0 - 65*Ar_1, 130*Ar_0 - 49*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 ] with all transitions in problem 6, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(454*Ar_0 - 211*Ar_1, 422*Ar_0 - 179*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 ]
We thus obtain the following problem:
7:	T:
		(Comp: 1, Cost: 6)    l0(Ar_0, Ar_1) -> Com_1(l1(454*Ar_0 - 211*Ar_1, 422*Ar_0 - 179*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 ]
		(Comp: ?, Cost: 1)    l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(454*Ar_0 - 211*Ar_1, 422*Ar_0 - 179*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 ] with all transitions in problem 7, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(1394*Ar_0 - 665*Ar_1, 1330*Ar_0 - 601*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 ]
We thus obtain the following problem:
8:	T:
		(Comp: 1, Cost: 7)    l0(Ar_0, Ar_1) -> Com_1(l1(1394*Ar_0 - 665*Ar_1, 1330*Ar_0 - 601*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 ]
		(Comp: ?, Cost: 1)    l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(1394*Ar_0 - 665*Ar_1, 1330*Ar_0 - 601*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 ] with all transitions in problem 8, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(4246*Ar_0 - 2059*Ar_1, 4118*Ar_0 - 1931*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 ]
We thus obtain the following problem:
9:	T:
		(Comp: 1, Cost: 8)    l0(Ar_0, Ar_1) -> Com_1(l1(4246*Ar_0 - 2059*Ar_1, 4118*Ar_0 - 1931*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 ]
		(Comp: ?, Cost: 1)    l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(4246*Ar_0 - 2059*Ar_1, 4118*Ar_0 - 1931*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 ] with all transitions in problem 9, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(12866*Ar_0 - 6305*Ar_1, 12610*Ar_0 - 6049*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 ]
We thus obtain the following problem:
10:	T:
		(Comp: 1, Cost: 9)    l0(Ar_0, Ar_1) -> Com_1(l1(12866*Ar_0 - 6305*Ar_1, 12610*Ar_0 - 6049*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 ]
		(Comp: ?, Cost: 1)    l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)    koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(12866*Ar_0 - 6305*Ar_1, 12610*Ar_0 - 6049*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 ] with all transitions in problem 10, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(38854*Ar_0 - 19171*Ar_1, 38342*Ar_0 - 18659*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 ]
We thus obtain the following problem:
11:	T:
		(Comp: 1, Cost: 10)    l0(Ar_0, Ar_1) -> Com_1(l1(38854*Ar_0 - 19171*Ar_1, 38342*Ar_0 - 18659*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 ]
		(Comp: ?, Cost: 1)     l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(38854*Ar_0 - 19171*Ar_1, 38342*Ar_0 - 18659*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 ] with all transitions in problem 11, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(117074*Ar_0 - 58025*Ar_1, 116050*Ar_0 - 57001*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 ]
We thus obtain the following problem:
12:	T:
		(Comp: 1, Cost: 11)    l0(Ar_0, Ar_1) -> Com_1(l1(117074*Ar_0 - 58025*Ar_1, 116050*Ar_0 - 57001*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 ]
		(Comp: ?, Cost: 1)     l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(117074*Ar_0 - 58025*Ar_1, 116050*Ar_0 - 57001*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 ] with all transitions in problem 12, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(352246*Ar_0 - 175099*Ar_1, 350198*Ar_0 - 173051*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 ]
We thus obtain the following problem:
13:	T:
		(Comp: 1, Cost: 12)    l0(Ar_0, Ar_1) -> Com_1(l1(352246*Ar_0 - 175099*Ar_1, 350198*Ar_0 - 173051*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 ]
		(Comp: ?, Cost: 1)     l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(352246*Ar_0 - 175099*Ar_1, 350198*Ar_0 - 173051*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 ] with all transitions in problem 13, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(1058786*Ar_0 - 527345*Ar_1, 1054690*Ar_0 - 523249*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 ]
We thus obtain the following problem:
14:	T:
		(Comp: 1, Cost: 13)    l0(Ar_0, Ar_1) -> Com_1(l1(1058786*Ar_0 - 527345*Ar_1, 1054690*Ar_0 - 523249*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 ]
		(Comp: ?, Cost: 1)     l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(1058786*Ar_0 - 527345*Ar_1, 1054690*Ar_0 - 523249*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 ] with all transitions in problem 14, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(3180454*Ar_0 - 1586131*Ar_1, 3172262*Ar_0 - 1577939*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 /\ 3176358*Ar_0 - 1582035*Ar_1 < 2109380*Ar_0 - 1046498*Ar_1 /\ 1054690*Ar_0 - 523249*Ar_1 < 2117572*Ar_0 - 1054690*Ar_1 ]
We thus obtain the following problem:
15:	T:
		(Comp: 1, Cost: 14)    l0(Ar_0, Ar_1) -> Com_1(l1(3180454*Ar_0 - 1586131*Ar_1, 3172262*Ar_0 - 1577939*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 /\ 3176358*Ar_0 - 1582035*Ar_1 < 2109380*Ar_0 - 1046498*Ar_1 /\ 1054690*Ar_0 - 523249*Ar_1 < 2117572*Ar_0 - 1054690*Ar_1 ]
		(Comp: ?, Cost: 1)     l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(3180454*Ar_0 - 1586131*Ar_1, 3172262*Ar_0 - 1577939*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 /\ 3176358*Ar_0 - 1582035*Ar_1 < 2109380*Ar_0 - 1046498*Ar_1 /\ 1054690*Ar_0 - 523249*Ar_1 < 2117572*Ar_0 - 1054690*Ar_1 ] with all transitions in problem 15, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(9549554*Ar_0 - 4766585*Ar_1, 9533170*Ar_0 - 4750201*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 /\ 3176358*Ar_0 - 1582035*Ar_1 < 2109380*Ar_0 - 1046498*Ar_1 /\ 1054690*Ar_0 - 523249*Ar_1 < 2117572*Ar_0 - 1054690*Ar_1 /\ 9541362*Ar_0 - 4758393*Ar_1 < 6344524*Ar_0 - 3155878*Ar_1 /\ 3172262*Ar_0 - 1577939*Ar_1 < 6360908*Ar_0 - 3172262*Ar_1 ]
We thus obtain the following problem:
16:	T:
		(Comp: 1, Cost: 15)    l0(Ar_0, Ar_1) -> Com_1(l1(9549554*Ar_0 - 4766585*Ar_1, 9533170*Ar_0 - 4750201*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 /\ 3176358*Ar_0 - 1582035*Ar_1 < 2109380*Ar_0 - 1046498*Ar_1 /\ 1054690*Ar_0 - 523249*Ar_1 < 2117572*Ar_0 - 1054690*Ar_1 /\ 9541362*Ar_0 - 4758393*Ar_1 < 6344524*Ar_0 - 3155878*Ar_1 /\ 3172262*Ar_0 - 1577939*Ar_1 < 6360908*Ar_0 - 3172262*Ar_1 ]
		(Comp: ?, Cost: 1)     l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

By chaining the transition l0(Ar_0, Ar_1) -> Com_1(l1(9549554*Ar_0 - 4766585*Ar_1, 9533170*Ar_0 - 4750201*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 /\ 3176358*Ar_0 - 1582035*Ar_1 < 2109380*Ar_0 - 1046498*Ar_1 /\ 1054690*Ar_0 - 523249*Ar_1 < 2117572*Ar_0 - 1054690*Ar_1 /\ 9541362*Ar_0 - 4758393*Ar_1 < 6344524*Ar_0 - 3155878*Ar_1 /\ 3172262*Ar_0 - 1577939*Ar_1 < 6360908*Ar_0 - 3172262*Ar_1 ] with all transitions in problem 16, the following new transition is obtained:
	l0(Ar_0, Ar_1) -> Com_1(l1(28665046*Ar_0 - 14316139*Ar_1, 28632278*Ar_0 - 14283371*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 /\ 3176358*Ar_0 - 1582035*Ar_1 < 2109380*Ar_0 - 1046498*Ar_1 /\ 1054690*Ar_0 - 523249*Ar_1 < 2117572*Ar_0 - 1054690*Ar_1 /\ 9541362*Ar_0 - 4758393*Ar_1 < 6344524*Ar_0 - 3155878*Ar_1 /\ 3172262*Ar_0 - 1577939*Ar_1 < 6360908*Ar_0 - 3172262*Ar_1 /\ 28648662*Ar_0 - 14299755*Ar_1 < 19066340*Ar_0 - 9500402*Ar_1 /\ 9533170*Ar_0 - 4750201*Ar_1 < 19099108*Ar_0 - 9533170*Ar_1 ]
We thus obtain the following problem:
17:	T:
		(Comp: 1, Cost: 16)    l0(Ar_0, Ar_1) -> Com_1(l1(28665046*Ar_0 - 14316139*Ar_1, 28632278*Ar_0 - 14283371*Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 /\ 12*Ar_0 - 3*Ar_1 < 4*Ar_0 + 2*Ar_1 /\ 2*Ar_0 + Ar_1 < 8*Ar_0 - 2*Ar_1 /\ 42*Ar_0 - 15*Ar_1 < 20*Ar_0 - 2*Ar_1 /\ 10*Ar_0 - Ar_1 < 28*Ar_0 - 10*Ar_1 /\ 138*Ar_0 - 57*Ar_1 < 76*Ar_0 - 22*Ar_1 /\ 38*Ar_0 - 11*Ar_1 < 92*Ar_0 - 38*Ar_1 /\ 438*Ar_0 - 195*Ar_1 < 260*Ar_0 - 98*Ar_1 /\ 130*Ar_0 - 49*Ar_1 < 292*Ar_0 - 130*Ar_1 /\ 1362*Ar_0 - 633*Ar_1 < 844*Ar_0 - 358*Ar_1 /\ 422*Ar_0 - 179*Ar_1 < 908*Ar_0 - 422*Ar_1 /\ 4182*Ar_0 - 1995*Ar_1 < 2660*Ar_0 - 1202*Ar_1 /\ 1330*Ar_0 - 601*Ar_1 < 2788*Ar_0 - 1330*Ar_1 /\ 12738*Ar_0 - 6177*Ar_1 < 8236*Ar_0 - 3862*Ar_1 /\ 4118*Ar_0 - 1931*Ar_1 < 8492*Ar_0 - 4118*Ar_1 /\ 38598*Ar_0 - 18915*Ar_1 < 25220*Ar_0 - 12098*Ar_1 /\ 12610*Ar_0 - 6049*Ar_1 < 25732*Ar_0 - 12610*Ar_1 /\ 116562*Ar_0 - 57513*Ar_1 < 76684*Ar_0 - 37318*Ar_1 /\ 38342*Ar_0 - 18659*Ar_1 < 77708*Ar_0 - 38342*Ar_1 /\ 351222*Ar_0 - 174075*Ar_1 < 232100*Ar_0 - 114002*Ar_1 /\ 116050*Ar_0 - 57001*Ar_1 < 234148*Ar_0 - 116050*Ar_1 /\ 1056738*Ar_0 - 525297*Ar_1 < 700396*Ar_0 - 346102*Ar_1 /\ 350198*Ar_0 - 173051*Ar_1 < 704492*Ar_0 - 350198*Ar_1 /\ 3176358*Ar_0 - 1582035*Ar_1 < 2109380*Ar_0 - 1046498*Ar_1 /\ 1054690*Ar_0 - 523249*Ar_1 < 2117572*Ar_0 - 1054690*Ar_1 /\ 9541362*Ar_0 - 4758393*Ar_1 < 6344524*Ar_0 - 3155878*Ar_1 /\ 3172262*Ar_0 - 1577939*Ar_1 < 6360908*Ar_0 - 3172262*Ar_1 /\ 28648662*Ar_0 - 14299755*Ar_1 < 19066340*Ar_0 - 9500402*Ar_1 /\ 9533170*Ar_0 - 4750201*Ar_1 < 19099108*Ar_0 - 9533170*Ar_1 ]
		(Comp: ?, Cost: 1)     l1(Ar_0, Ar_1) -> Com_1(l1(4*Ar_0 - Ar_1, 2*Ar_0 + Ar_1)) [ 3*Ar_0 < 2*Ar_1 /\ Ar_1 < 2*Ar_0 ]
		(Comp: 1, Cost: 0)     koat_start(Ar_0, Ar_1) -> Com_1(l0(Ar_0, Ar_1)) [ 0 <= 0 ]
	start location:	koat_start
	leaf cost:	0

Complexity upper bound ?

Time: 0.833 sec (SMT: 0.766 sec)
