YES(?,O(n^1))
0.00/0.89	YES(?,O(n^1))
0.00/0.89	
0.00/0.89	We are left with following problem, upon which TcT provides the
0.00/0.89	certificate YES(?,O(n^1)).
0.00/0.89	
0.00/0.89	Strict Trs:
0.00/0.89	  { active(g(X)) -> mark(h(X))
0.00/0.89	  , active(h(d())) -> mark(g(c()))
0.00/0.89	  , active(c()) -> mark(d())
0.00/0.89	  , g(active(X)) -> g(X)
0.00/0.89	  , g(mark(X)) -> g(X)
0.00/0.89	  , mark(g(X)) -> active(g(X))
0.00/0.89	  , mark(h(X)) -> active(h(X))
0.00/0.89	  , mark(c()) -> active(c())
0.00/0.89	  , mark(d()) -> active(d())
0.00/0.89	  , h(active(X)) -> h(X)
0.00/0.89	  , h(mark(X)) -> h(X) }
0.00/0.89	Obligation:
0.00/0.89	  derivational complexity
0.00/0.89	Answer:
0.00/0.89	  YES(?,O(n^1))
0.00/0.89	
0.00/0.89	The problem is match-bounded by 7. The enriched problem is
0.00/0.89	compatible with the following automaton.
0.00/0.89	{ active_0(1) -> 1
0.00/0.89	, active_0(2) -> 1
0.00/0.89	, active_0(3) -> 1
0.00/0.89	, active_0(4) -> 1
0.00/0.89	, active_0(5) -> 1
0.00/0.89	, active_0(6) -> 1
0.00/0.89	, active_1(2) -> 3
0.00/0.89	, active_1(4) -> 3
0.00/0.89	, active_1(7) -> 3
0.00/0.89	, active_1(8) -> 3
0.00/0.89	, active_1(9) -> 1
0.00/0.89	, active_2(7) -> 1
0.00/0.89	, active_2(7) -> 3
0.00/0.89	, active_2(9) -> 1
0.00/0.89	, active_2(9) -> 3
0.00/0.89	, active_3(9) -> 1
0.00/0.89	, active_3(9) -> 3
0.00/0.89	, active_3(10) -> 1
0.00/0.89	, active_3(10) -> 3
0.00/0.89	, active_3(14) -> 1
0.00/0.89	, active_3(14) -> 3
0.00/0.89	, active_3(15) -> 1
0.00/0.89	, active_3(15) -> 3
0.00/0.89	, active_4(16) -> 1
0.00/0.89	, active_4(16) -> 3
0.00/0.89	, active_5(18) -> 1
0.00/0.89	, active_5(18) -> 3
0.00/0.89	, active_5(20) -> 1
0.00/0.89	, active_5(20) -> 3
0.00/0.89	, active_5(21) -> 1
0.00/0.89	, active_5(21) -> 3
0.00/0.89	, active_6(22) -> 1
0.00/0.89	, active_6(22) -> 3
0.00/0.89	, active_7(23) -> 1
0.00/0.89	, active_7(23) -> 3
0.00/0.89	, g_0(1) -> 2
0.00/0.89	, g_0(2) -> 2
0.00/0.89	, g_0(3) -> 2
0.00/0.89	, g_0(4) -> 2
0.00/0.89	, g_0(5) -> 2
0.00/0.89	, g_0(6) -> 2
0.00/0.89	, g_1(1) -> 2
0.00/0.89	, g_1(2) -> 2
0.00/0.89	, g_1(3) -> 2
0.00/0.89	, g_1(4) -> 2
0.00/0.89	, g_1(5) -> 2
0.00/0.89	, g_1(6) -> 2
0.00/0.89	, g_1(7) -> 2
0.00/0.89	, g_1(8) -> 2
0.00/0.89	, g_1(8) -> 7
0.00/0.89	, g_1(9) -> 2
0.00/0.89	, g_1(10) -> 2
0.00/0.89	, g_1(11) -> 2
0.00/0.89	, g_1(14) -> 2
0.00/0.89	, g_1(15) -> 2
0.00/0.89	, g_1(16) -> 2
0.00/0.89	, g_1(17) -> 2
0.00/0.89	, g_1(18) -> 2
0.00/0.89	, g_1(20) -> 2
0.00/0.89	, g_1(21) -> 2
0.00/0.89	, g_1(22) -> 2
0.00/0.89	, g_1(23) -> 2
0.00/0.89	, g_2(2) -> 2
0.00/0.89	, g_2(4) -> 2
0.00/0.89	, g_2(7) -> 2
0.00/0.89	, g_2(8) -> 2
0.00/0.89	, g_2(8) -> 9
0.00/0.89	, g_2(9) -> 2
0.00/0.89	, g_2(10) -> 2
0.00/0.89	, g_2(11) -> 2
0.00/0.89	, g_2(12) -> 11
0.00/0.89	, g_2(14) -> 2
0.00/0.89	, g_2(15) -> 2
0.00/0.89	, g_2(16) -> 2
0.00/0.89	, g_2(17) -> 2
0.00/0.89	, g_2(18) -> 2
0.00/0.89	, g_2(20) -> 2
0.00/0.89	, g_2(21) -> 2
0.00/0.89	, g_2(22) -> 2
0.00/0.89	, g_2(23) -> 2
0.00/0.89	, g_3(8) -> 14
0.00/0.89	, g_3(12) -> 15
0.00/0.89	, g_3(13) -> 10
0.00/0.89	, g_4(13) -> 16
0.00/0.89	, g_5(13) -> 20
0.00/0.89	, mark_0(1) -> 3
0.00/0.89	, mark_0(2) -> 3
0.00/0.89	, mark_0(3) -> 3
0.00/0.89	, mark_0(4) -> 3
0.00/0.89	, mark_0(5) -> 3
0.00/0.89	, mark_0(6) -> 3
0.00/0.89	, mark_1(4) -> 1
0.00/0.89	, mark_1(7) -> 1
0.00/0.89	, mark_1(7) -> 3
0.00/0.89	, mark_1(9) -> 3
0.00/0.89	, mark_2(9) -> 3
0.00/0.89	, mark_2(11) -> 1
0.00/0.89	, mark_2(11) -> 3
0.00/0.89	, mark_2(14) -> 1
0.00/0.89	, mark_3(10) -> 1
0.00/0.89	, mark_3(10) -> 3
0.00/0.89	, mark_4(16) -> 1
0.00/0.89	, mark_4(16) -> 3
0.00/0.89	, mark_4(17) -> 1
0.00/0.89	, mark_4(17) -> 3
0.00/0.89	, mark_5(18) -> 1
0.00/0.89	, mark_5(18) -> 3
0.00/0.89	, mark_6(22) -> 1
0.00/0.89	, mark_6(22) -> 3
0.00/0.89	, h_0(1) -> 4
0.00/0.89	, h_0(2) -> 4
0.00/0.89	, h_0(3) -> 4
0.00/0.89	, h_0(4) -> 4
0.00/0.89	, h_0(5) -> 4
0.00/0.89	, h_0(6) -> 4
0.00/0.89	, h_1(1) -> 4
0.00/0.89	, h_1(1) -> 7
0.00/0.89	, h_1(1) -> 9
0.00/0.89	, h_1(1) -> 14
0.00/0.89	, h_1(2) -> 4
0.00/0.89	, h_1(2) -> 7
0.00/0.89	, h_1(2) -> 9
0.00/0.89	, h_1(2) -> 14
0.00/0.89	, h_1(3) -> 4
0.00/0.89	, h_1(3) -> 7
0.00/0.89	, h_1(3) -> 9
0.00/0.89	, h_1(3) -> 14
0.00/0.89	, h_1(4) -> 4
0.00/0.89	, h_1(4) -> 7
0.00/0.89	, h_1(4) -> 9
0.00/0.89	, h_1(4) -> 14
0.00/0.89	, h_1(5) -> 4
0.00/0.89	, h_1(5) -> 7
0.00/0.89	, h_1(5) -> 9
0.00/0.89	, h_1(5) -> 14
0.00/0.89	, h_1(6) -> 4
0.00/0.89	, h_1(6) -> 7
0.00/0.89	, h_1(6) -> 9
0.00/0.89	, h_1(6) -> 14
0.00/0.89	, h_1(7) -> 4
0.00/0.89	, h_1(8) -> 4
0.00/0.89	, h_1(9) -> 4
0.00/0.89	, h_1(10) -> 4
0.00/0.89	, h_1(11) -> 4
0.00/0.89	, h_1(14) -> 4
0.00/0.89	, h_1(15) -> 4
0.00/0.89	, h_1(16) -> 4
0.00/0.89	, h_1(17) -> 4
0.00/0.89	, h_1(18) -> 4
0.00/0.89	, h_1(20) -> 4
0.00/0.89	, h_1(21) -> 4
0.00/0.89	, h_1(22) -> 4
0.00/0.89	, h_1(23) -> 4
0.00/0.89	, h_2(1) -> 9
0.00/0.89	, h_2(2) -> 4
0.00/0.89	, h_2(2) -> 7
0.00/0.89	, h_2(2) -> 9
0.00/0.89	, h_2(2) -> 14
0.00/0.89	, h_2(3) -> 9
0.00/0.89	, h_2(4) -> 4
0.00/0.89	, h_2(4) -> 7
0.00/0.89	, h_2(4) -> 9
0.00/0.89	, h_2(4) -> 14
0.00/0.89	, h_2(5) -> 9
0.00/0.89	, h_2(6) -> 9
0.00/0.89	, h_2(7) -> 4
0.00/0.89	, h_2(7) -> 7
0.00/0.89	, h_2(7) -> 9
0.00/0.89	, h_2(7) -> 14
0.00/0.89	, h_2(8) -> 4
0.00/0.89	, h_2(8) -> 7
0.00/0.89	, h_2(8) -> 9
0.00/0.89	, h_2(8) -> 14
0.00/0.89	, h_2(9) -> 4
0.00/0.89	, h_2(9) -> 7
0.00/0.89	, h_2(9) -> 9
0.00/0.89	, h_2(9) -> 14
0.00/0.89	, h_2(10) -> 4
0.00/0.89	, h_2(10) -> 7
0.00/0.89	, h_2(10) -> 9
0.00/0.89	, h_2(10) -> 14
0.00/0.89	, h_2(11) -> 4
0.00/0.89	, h_2(11) -> 7
0.00/0.89	, h_2(11) -> 9
0.00/0.89	, h_2(11) -> 14
0.00/0.89	, h_2(14) -> 4
0.00/0.89	, h_2(14) -> 7
0.00/0.89	, h_2(14) -> 9
0.00/0.89	, h_2(14) -> 14
0.00/0.89	, h_2(15) -> 4
0.00/0.89	, h_2(15) -> 7
0.00/0.89	, h_2(15) -> 9
0.00/0.89	, h_2(15) -> 14
0.00/0.89	, h_2(16) -> 4
0.00/0.89	, h_2(16) -> 7
0.00/0.89	, h_2(16) -> 9
0.00/0.89	, h_2(16) -> 14
0.00/0.89	, h_2(17) -> 4
0.00/0.89	, h_2(17) -> 7
0.00/0.89	, h_2(17) -> 9
0.00/0.89	, h_2(17) -> 14
0.00/0.89	, h_2(18) -> 4
0.00/0.89	, h_2(18) -> 7
0.00/0.89	, h_2(18) -> 9
0.00/0.89	, h_2(18) -> 14
0.00/0.89	, h_2(20) -> 4
0.00/0.89	, h_2(20) -> 7
0.00/0.89	, h_2(20) -> 9
0.00/0.89	, h_2(20) -> 14
0.00/0.89	, h_2(21) -> 4
0.00/0.89	, h_2(21) -> 7
0.00/0.89	, h_2(21) -> 9
0.00/0.89	, h_2(21) -> 14
0.00/0.89	, h_2(22) -> 4
0.00/0.89	, h_2(22) -> 7
0.00/0.89	, h_2(22) -> 9
0.00/0.89	, h_2(22) -> 14
0.00/0.89	, h_2(23) -> 4
0.00/0.89	, h_2(23) -> 7
0.00/0.89	, h_2(23) -> 9
0.00/0.89	, h_2(23) -> 14
0.00/0.89	, h_3(1) -> 14
0.00/0.89	, h_3(2) -> 14
0.00/0.89	, h_3(3) -> 14
0.00/0.89	, h_3(4) -> 14
0.00/0.89	, h_3(5) -> 14
0.00/0.89	, h_3(6) -> 14
0.00/0.89	, h_3(7) -> 9
0.00/0.89	, h_3(7) -> 14
0.00/0.89	, h_3(8) -> 10
0.00/0.89	, h_3(9) -> 9
0.00/0.89	, h_3(9) -> 14
0.00/0.89	, h_3(10) -> 9
0.00/0.89	, h_3(11) -> 9
0.00/0.89	, h_3(11) -> 14
0.00/0.89	, h_3(14) -> 9
0.00/0.89	, h_3(14) -> 14
0.00/0.89	, h_3(15) -> 9
0.00/0.89	, h_3(16) -> 9
0.00/0.89	, h_3(17) -> 9
0.00/0.89	, h_3(18) -> 9
0.00/0.89	, h_3(20) -> 9
0.00/0.89	, h_3(21) -> 9
0.00/0.89	, h_3(22) -> 9
0.00/0.89	, h_3(23) -> 9
0.00/0.89	, h_4(8) -> 16
0.00/0.89	, h_4(9) -> 14
0.00/0.89	, h_4(10) -> 14
0.00/0.89	, h_4(12) -> 17
0.00/0.89	, h_4(13) -> 16
0.00/0.89	, h_4(14) -> 14
0.00/0.89	, h_4(15) -> 14
0.00/0.89	, h_4(16) -> 14
0.00/0.89	, h_4(17) -> 14
0.00/0.89	, h_4(18) -> 14
0.00/0.89	, h_4(20) -> 14
0.00/0.89	, h_4(21) -> 14
0.00/0.89	, h_4(22) -> 14
0.00/0.89	, h_4(23) -> 14
0.00/0.89	, h_5(8) -> 20
0.00/0.89	, h_5(12) -> 21
0.00/0.89	, h_5(13) -> 18
0.00/0.89	, h_6(13) -> 22
0.00/0.89	, h_7(13) -> 23
0.00/0.89	, c_0() -> 5
0.00/0.89	, c_1() -> 8
0.00/0.89	, c_2() -> 12
0.00/0.89	, c_3() -> 13
0.00/0.89	, c_4() -> 13
0.00/0.89	, d_0() -> 6
0.00/0.89	, d_1() -> 7
0.00/0.89	, d_2() -> 9
0.00/0.89	, d_3() -> 9 }
0.00/0.89	
0.00/0.89	Hurray, we answered YES(?,O(n^1))
0.00/0.89	EOF