YES(?, 163873)

Initial complexity problem:
1:	T:
		(?, 1)    f16(a, b, c, d, e, f, g, h, i, j) -> f19(a, 0, c, d, e, f, g, h, i, j) [ 19 >= a ]
		(?, 1)    f33(a, b, c, d, e, f, g, h, i, j) -> f36(a, b, c, 0, e, f, g, h, i, j) [ 19 >= c ]
		(?, 1)    f52(a, b, c, d, e, f, g, h, i, j) -> f55(a, b, c, d, e, 0, g, h, i, j) [ 19 >= e ]
		(?, 1)    f55(a, b, c, d, e, f, g, h, i, j) -> f59(a, b, c, d, e, f, 0, h, i, j) [ 19 >= f ]
		(?, 1)    f59(a, b, c, d, e, f, g, h, i, j) -> f59(a, b, c, d, e, f, g + 1, h, i, j) [ 19 >= g ]
		(?, 1)    f59(a, b, c, d, e, f, g, h, i, j) -> f55(a, b, c, d, e, f + 1, g, h, i, j) [ g >= 20 ]
		(?, 1)    f55(a, b, c, d, e, f, g, h, i, j) -> f52(a, b, c, d, e + 1, f, g, h, i, j) [ f >= 20 ]
		(?, 1)    f52(a, b, c, d, e, f, g, h, i, j) -> f73(a, b, c, d, e, f, g, h, i, j) [ e >= 20 ]
		(?, 1)    f36(a, b, c, d, e, f, g, h, i, j) -> f36(a, b, c, d + 1, e, f, g, k, k, j) [ 19 >= d ]
		(?, 1)    f36(a, b, c, d, e, f, g, h, i, j) -> f33(a, b, c + 1, d, e, f, g, h, i, j) [ d >= 20 ]
		(?, 1)    f33(a, b, c, d, e, f, g, h, i, j) -> f52(a, b, c, d, 0, f, g, h, i, j) [ c >= 20 ]
		(?, 1)    f19(a, b, c, d, e, f, g, h, i, j) -> f19(a, b + 1, c, d, e, f, g, k, i, k) [ 19 >= b ]
		(?, 1)    f19(a, b, c, d, e, f, g, h, i, j) -> f16(a + 1, b, c, d, e, f, g, h, i, j) [ b >= 20 ]
		(?, 1)    f16(a, b, c, d, e, f, g, h, i, j) -> f33(a, b, 0, d, e, f, g, h, i, j) [ a >= 20 ]
		(1, 1)    f0(a, b, c, d, e, f, g, h, i, j) -> f16(0, b, c, d, e, f, g, 0, i, j)
	start location:	f0
	leaf cost:	0

Slicing away variables that do not contribute to conditions from problem 1 leaves variables [a, b, c, d, e, f, g].
We thus obtain the following problem:
2:	T:
		(1, 1)    f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(?, 1)    f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(?, 1)    f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(?, 1)    f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(?, 1)    f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(?, 1)    f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(?, 1)    f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(?, 1)    f52(a, b, c, d, e, f, g) -> f73(a, b, c, d, e, f, g) [ e >= 20 ]
		(?, 1)    f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)    f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)    f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(?, 1)    f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(?, 1)    f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(?, 1)    f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(?, 1)    f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	0

Repeatedly removing leaves of the complexity graph in problem 2 produces the following problem:
3:	T:
		(1, 1)    f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(?, 1)    f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(?, 1)    f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(?, 1)    f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(?, 1)    f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(?, 1)    f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(?, 1)    f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(?, 1)    f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)    f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)    f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(?, 1)    f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(?, 1)    f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(?, 1)    f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(?, 1)    f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f0) = 1
	Pol(f16) = 1
	Pol(f33) = -40
	Pol(f19) = 1
	Pol(f52) = -41
	Pol(f36) = -40
	Pol(f55) = -41
	Pol(f59) = -41
orients all transitions weakly and the transition
	f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
strictly and produces the following problem:
4:	T:
		(1, 1)    f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)    f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(?, 1)    f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(?, 1)    f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(?, 1)    f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(?, 1)    f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(?, 1)    f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(?, 1)    f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)    f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)    f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(?, 1)    f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(?, 1)    f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(?, 1)    f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(?, 1)    f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f0) = 1
	Pol(f16) = 1
	Pol(f33) = 1
	Pol(f19) = 1
	Pol(f52) = -20
	Pol(f36) = 1
	Pol(f55) = -20
	Pol(f59) = -20
orients all transitions weakly and the transition
	f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
strictly and produces the following problem:
5:	T:
		(1, 1)    f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)    f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(?, 1)    f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(?, 1)    f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(1, 1)    f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(?, 1)    f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(?, 1)    f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(?, 1)    f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)    f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)    f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(?, 1)    f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(?, 1)    f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(?, 1)    f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(?, 1)    f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f0) = 39
	Pol(f16) = -2*V_1 + 39
	Pol(f33) = -2*V_1 - 2*V_3 + 39
	Pol(f19) = -2*V_1 + 38
	Pol(f52) = -2*V_1 - 2*V_3 - 2*V_5 - 19
	Pol(f36) = -2*V_1 - 2*V_3 + 38
	Pol(f55) = -2*V_1 - 2*V_3 - 2*V_5 - 20
	Pol(f59) = -2*V_1 - 2*V_3 - 2*V_5 - 20
orients all transitions weakly and the transition
	f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
strictly and produces the following problem:
6:	T:
		(1, 1)     f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)     f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(?, 1)     f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(?, 1)     f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(1, 1)     f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(?, 1)     f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(?, 1)     f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(?, 1)     f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)     f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)     f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(?, 1)     f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(?, 1)     f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(?, 1)     f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(39, 1)    f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f59) = -20
	Pol(f55) = -20
	Pol(f52) = -20
	Pol(f36) = -20
	Pol(f33) = -20
	Pol(f19) = 19
	Pol(f16) = 18
and size complexities
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-0) = ?
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-1) = 0
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-2) = c
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-0) = ?
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-2) = ?
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-3) = 0
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-4) = e
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-6) = g
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-0) = ?
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-1) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-2) = ?
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-3) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-4) = ?
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-5) = 0
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-6) = g + 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-0) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-2) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-4) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-5) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-6) = 0
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-0) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-2) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-4) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-5) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-6) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-0) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-2) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-4) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-5) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-6) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-0) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-2) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-4) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-5) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-6) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-0) = ?
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-2) = ?
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-6) = g
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-0) = ?
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-2) = ?
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-0) = ?
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-2) = ?
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-3) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-4) = 0
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-0) = ?
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-0) = ?
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-6) = g
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-0) = ?
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-1) = 20
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-2) = 0
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-6) = g
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-0) = 0
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-1) = b
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-2) = c
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-3) = d
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-4) = e
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-5) = f
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-6) = g
orients the transitions
	f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
	f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
	f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
	f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
	f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
	f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
	f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
	f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
	f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
	f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
weakly and the transition
	f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
strictly and produces the following problem:
7:	T:
		(1, 1)      f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)      f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(781, 1)    f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(?, 1)      f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(1, 1)      f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(?, 1)      f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(?, 1)      f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(?, 1)      f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)      f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)      f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(?, 1)      f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(?, 1)      f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(?, 1)      f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(39, 1)     f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f0) = 39
	Pol(f16) = 39
	Pol(f33) = -2*V_3 + 39
	Pol(f19) = 39
	Pol(f52) = -2*V_3 - 2*V_5 - 19
	Pol(f36) = -2*V_3 + 38
	Pol(f55) = -2*V_3 - 2*V_5 - 20
	Pol(f59) = -2*V_3 - 2*V_5 - 20
orients all transitions weakly and the transition
	f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
strictly and produces the following problem:
8:	T:
		(1, 1)      f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)      f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(781, 1)    f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(?, 1)      f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(1, 1)      f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(?, 1)      f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(?, 1)      f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(?, 1)      f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)      f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)      f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(?, 1)      f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(?, 1)      f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(39, 1)     f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(39, 1)     f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f59) = -20
	Pol(f55) = -20
	Pol(f52) = -20
	Pol(f36) = 19
	Pol(f33) = 18
	Pol(f19) = 19
and size complexities
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-0) = 781
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-1) = 0
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-2) = c
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-0) = 781
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-2) = ?
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-3) = 0
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-4) = e
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-6) = g
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-0) = 781
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-1) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-2) = ?
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-3) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-4) = ?
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-5) = 0
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-6) = g + 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-0) = 781
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-2) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-4) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-5) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-6) = 0
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-0) = 781
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-2) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-4) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-5) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-6) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-0) = 781
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-2) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-4) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-5) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-6) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-0) = 781
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-2) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-4) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-5) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-6) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-0) = 781
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-2) = ?
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-6) = g
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-0) = 781
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-2) = ?
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-0) = 781
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-2) = ?
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-3) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-4) = 0
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-0) = 781
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-0) = 781
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-6) = g
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-0) = 781
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-1) = 20
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-2) = 0
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-6) = g
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-0) = 0
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-1) = b
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-2) = c
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-3) = d
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-4) = e
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-5) = f
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-6) = g
orients the transitions
	f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
	f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
	f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
	f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
	f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
	f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
	f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
	f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
weakly and the transition
	f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
strictly and produces the following problem:
9:	T:
		(1, 1)       f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)       f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(781, 1)     f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(?, 1)       f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(1, 1)       f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(1502, 1)    f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(?, 1)       f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(?, 1)       f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)       f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)       f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(?, 1)       f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(?, 1)       f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(39, 1)      f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(39, 1)      f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f0) = 57
	Pol(f16) = 57
	Pol(f33) = 57
	Pol(f19) = 57
	Pol(f52) = -2*V_5 + 39
	Pol(f36) = 57
	Pol(f55) = -2*V_5 + 38
	Pol(f59) = -2*V_5 + 38
orients all transitions weakly and the transition
	f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
strictly and produces the following problem:
10:	T:
		(1, 1)       f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)       f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(781, 1)     f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(?, 1)       f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(1, 1)       f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(1502, 1)    f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(?, 1)       f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(?, 1)       f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)       f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)       f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(?, 1)       f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(57, 1)      f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(39, 1)      f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(39, 1)      f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f59) = 19
	Pol(f55) = 19
	Pol(f52) = 18
	Pol(f36) = 19
	Pol(f19) = 19
and size complexities
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-0) = 781
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-1) = 0
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-2) = c
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-0) = 781
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-2) = 1502
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-3) = 0
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-4) = e
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-6) = g
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-0) = 781
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-1) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-2) = 1502
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-3) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-4) = ?
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-5) = 0
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-6) = g + 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-0) = 781
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-2) = 1502
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-4) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-5) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-6) = 0
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-0) = 781
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-2) = 1502
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-4) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-5) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-6) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-0) = 781
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-2) = 1502
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-4) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-5) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-6) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-0) = 781
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-2) = 1502
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-4) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-5) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-6) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-0) = 781
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-2) = 1502
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-6) = g
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-0) = 781
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-2) = 1502
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-0) = 781
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-2) = 1502
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-3) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-4) = 0
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-0) = 781
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-0) = 781
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-6) = g
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-0) = 781
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-1) = 20
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-2) = 0
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-6) = g
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-0) = 0
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-1) = b
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-2) = c
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-3) = d
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-4) = e
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-5) = f
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-6) = g
orients the transitions
	f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
	f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
	f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
	f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
	f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
	f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
weakly and the transition
	f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
strictly and produces the following problem:
11:	T:
		(1, 1)       f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)       f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(781, 1)     f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(?, 1)       f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(1, 1)       f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(1502, 1)    f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(?, 1)       f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(2565, 1)    f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)       f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)       f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(?, 1)       f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(57, 1)      f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(39, 1)      f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(39, 1)      f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f59) = -2*V_6 + 38
	Pol(f55) = -2*V_6 + 39
	Pol(f36) = -V_4 + 20
	Pol(f19) = -V_2 + 20
and size complexities
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-0) = 781
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-1) = 0
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-2) = c
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-0) = 781
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-2) = 1502
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-3) = 0
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-4) = e
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-6) = g
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-0) = 781
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-1) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-2) = 1502
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-3) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-4) = 2565
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-5) = 0
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-6) = g + 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-0) = 781
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-2) = 1502
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-4) = 2565
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-5) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-6) = 0
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-0) = 781
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-2) = 1502
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-4) = 2565
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-5) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-6) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-0) = 781
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-2) = 1502
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-4) = 2565
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-5) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-6) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-0) = 781
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-2) = 1502
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-4) = 2565
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-5) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-6) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-0) = 781
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-2) = 1502
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-6) = g
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-0) = 781
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-2) = 1502
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-0) = 781
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-2) = 1502
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-3) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-4) = 0
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-0) = 781
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-0) = 781
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-6) = g
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-0) = 781
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-1) = 20
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-2) = 0
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-6) = g
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-0) = 0
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-1) = b
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-2) = c
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-3) = d
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-4) = e
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-5) = f
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-6) = g
orients the transitions
	f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
	f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
	f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
	f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
	f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
weakly and the transitions
	f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
	f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
	f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
strictly and produces the following problem:
12:	T:
		(1, 1)       f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)       f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(781, 1)     f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(3783, 1)    f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(1, 1)       f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(1502, 1)    f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(3783, 1)    f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(2565, 1)    f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(?, 1)       f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)       f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(3783, 1)    f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(57, 1)      f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(39, 1)      f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(39, 1)      f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f59) = 19
	Pol(f55) = 18
and size complexities
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-0) = 781
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-1) = 0
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-2) = c
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-0) = 781
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-2) = 1502
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-3) = 0
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-4) = e
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-6) = g
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-0) = 781
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-1) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-2) = 1502
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-3) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-4) = 2565
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-5) = 0
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-6) = g + 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-0) = 781
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-2) = 1502
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-4) = 2565
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-5) = ?
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-6) = 0
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-0) = 781
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-2) = 1502
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-4) = 2565
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-5) = ?
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-6) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-0) = 781
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-2) = 1502
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-4) = 2565
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-5) = ?
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-6) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-0) = 781
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-2) = 1502
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-4) = 2565
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-5) = ?
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-6) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-0) = 781
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-2) = 1502
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-6) = g
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-0) = 781
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-2) = 1502
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-0) = 781
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-2) = 1502
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-3) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-4) = 0
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-0) = 781
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-0) = 781
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-6) = g
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-0) = 781
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-1) = 20
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-2) = 0
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-6) = g
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-0) = 0
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-1) = b
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-2) = c
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-3) = d
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-4) = e
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-5) = f
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-6) = g
orients the transitions
	f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
	f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
weakly and the transition
	f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
strictly and produces the following problem:
13:	T:
		(1, 1)        f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)        f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(781, 1)      f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(3783, 1)     f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(1, 1)        f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(1502, 1)     f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(3783, 1)     f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(2565, 1)     f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(71877, 1)    f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(?, 1)        f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(3783, 1)     f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(57, 1)       f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(39, 1)       f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(39, 1)       f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

A polynomial rank function with
	Pol(f59) = -V_7 + 20
and size complexities
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-0) = 781
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-1) = 0
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-2) = c
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-0) = 781
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-2) = 1502
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-3) = 0
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-4) = e
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]", 0-6) = g
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-0) = 781
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-1) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-2) = 1502
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-3) = 20
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-4) = 2565
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-5) = 0
	S("f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]", 0-6) = g + 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-0) = 781
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-2) = 1502
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-4) = 2565
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-5) = 71877
	S("f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]", 0-6) = 0
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-0) = 781
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-2) = 1502
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-4) = 2565
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-5) = 71877
	S("f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]", 0-6) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-0) = 781
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-1) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-2) = 1502
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-3) = 20
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-4) = 2565
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-5) = 71877
	S("f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]", 0-6) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-0) = 781
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-1) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-2) = 1502
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-3) = 20
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-4) = 2565
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-5) = 71877
	S("f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]", 0-6) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-0) = 781
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-2) = 1502
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]", 0-6) = g
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-0) = 781
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-1) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-2) = 1502
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-3) = 20
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-4) = e
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-5) = f
	S("f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]", 0-6) = g
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-0) = 781
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-1) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-2) = 1502
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-3) = 20
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-4) = 0
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-5) = f
	S("f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-0) = 781
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]", 0-6) = g
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-0) = 781
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-1) = 20
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-2) = c
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-3) = d
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-4) = e
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-5) = f
	S("f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]", 0-6) = g
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-0) = 781
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-1) = 20
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-2) = 0
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-3) = d
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-4) = e
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-5) = f
	S("f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]", 0-6) = g
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-0) = 0
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-1) = b
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-2) = c
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-3) = d
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-4) = e
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-5) = f
	S("f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)", 0-6) = g
orients the transition
	f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
weakly and the transition
	f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
strictly and produces the following problem:
14:	T:
		(1, 1)        f0(a, b, c, d, e, f, g) -> f16(0, b, c, d, e, f, g)
		(1, 1)        f16(a, b, c, d, e, f, g) -> f33(a, b, 0, d, e, f, g) [ a >= 20 ]
		(781, 1)      f19(a, b, c, d, e, f, g) -> f16(a + 1, b, c, d, e, f, g) [ b >= 20 ]
		(3783, 1)     f19(a, b, c, d, e, f, g) -> f19(a, b + 1, c, d, e, f, g) [ 19 >= b ]
		(1, 1)        f33(a, b, c, d, e, f, g) -> f52(a, b, c, d, 0, f, g) [ c >= 20 ]
		(1502, 1)     f36(a, b, c, d, e, f, g) -> f33(a, b, c + 1, d, e, f, g) [ d >= 20 ]
		(3783, 1)     f36(a, b, c, d, e, f, g) -> f36(a, b, c, d + 1, e, f, g) [ 19 >= d ]
		(2565, 1)     f55(a, b, c, d, e, f, g) -> f52(a, b, c, d, e + 1, f, g) [ f >= 20 ]
		(71877, 1)    f59(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, f + 1, g) [ g >= 20 ]
		(75660, 1)    f59(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, g + 1) [ 19 >= g ]
		(3783, 1)     f55(a, b, c, d, e, f, g) -> f59(a, b, c, d, e, f, 0) [ 19 >= f ]
		(57, 1)       f52(a, b, c, d, e, f, g) -> f55(a, b, c, d, e, 0, g) [ 19 >= e ]
		(39, 1)       f33(a, b, c, d, e, f, g) -> f36(a, b, c, 0, e, f, g) [ 19 >= c ]
		(39, 1)       f16(a, b, c, d, e, f, g) -> f19(a, 0, c, d, e, f, g) [ 19 >= a ]
	start location:	f0
	leaf cost:	1

Complexity upper bound 163873

Time: 0.768 sec (SMT: 0.674 sec)