YES(?,O(n^1))
0.00/0.20	YES(?,O(n^1))
0.00/0.20	
0.00/0.20	We are left with following problem, upon which TcT provides the
0.00/0.20	certificate YES(?,O(n^1)).
0.00/0.20	
0.00/0.20	Strict Trs:
0.00/0.20	  { h(f(x), y) -> f(g(x, y))
0.00/0.20	  , g(x, y) -> h(x, y) }
0.00/0.20	Obligation:
0.00/0.20	  innermost runtime complexity
0.00/0.20	Answer:
0.00/0.20	  YES(?,O(n^1))
0.00/0.20	
0.00/0.20	The problem is match-bounded by 2. The enriched problem is
0.00/0.20	compatible with the following automaton.
0.00/0.20	{ h_0(2, 2) -> 1
0.00/0.20	, h_1(2, 2) -> 3
0.00/0.20	, h_2(2, 2) -> 4
0.00/0.20	, f_0(2) -> 2
0.00/0.20	, f_1(4) -> 1
0.00/0.20	, f_1(4) -> 3
0.00/0.20	, f_1(4) -> 4
0.00/0.20	, g_0(2, 2) -> 3
0.00/0.20	, g_1(2, 2) -> 4 }
0.00/0.20	
0.00/0.20	Hurray, we answered YES(?,O(n^1))
0.00/0.20	EOF