MAYBE
501.57/297.08	MAYBE
501.57/297.08	
501.57/297.08	We are left with following problem, upon which TcT provides the
501.57/297.08	certificate MAYBE.
501.57/297.08	
501.57/297.08	Strict Trs:
501.57/297.08	  { a__zeros() -> cons(0(), zeros())
501.57/297.08	  , a__zeros() -> zeros()
501.57/297.08	  , a__U11(X1, X2) -> U11(X1, X2)
501.57/297.08	  , a__U11(tt(), L) -> a__U12(tt(), L)
501.57/297.08	  , a__U12(X1, X2) -> U12(X1, X2)
501.57/297.08	  , a__U12(tt(), L) -> s(a__length(mark(L)))
501.57/297.08	  , a__length(X) -> length(X)
501.57/297.08	  , a__length(cons(N, L)) -> a__U11(tt(), L)
501.57/297.08	  , a__length(nil()) -> 0()
501.57/297.08	  , mark(cons(X1, X2)) -> cons(mark(X1), X2)
501.57/297.08	  , mark(0()) -> 0()
501.57/297.08	  , mark(zeros()) -> a__zeros()
501.57/297.08	  , mark(tt()) -> tt()
501.57/297.08	  , mark(s(X)) -> s(mark(X))
501.57/297.08	  , mark(take(X1, X2)) -> a__take(mark(X1), mark(X2))
501.57/297.08	  , mark(nil()) -> nil()
501.57/297.08	  , mark(U11(X1, X2)) -> a__U11(mark(X1), X2)
501.57/297.08	  , mark(U12(X1, X2)) -> a__U12(mark(X1), X2)
501.57/297.08	  , mark(length(X)) -> a__length(mark(X))
501.57/297.08	  , mark(U21(X1, X2, X3, X4)) -> a__U21(mark(X1), X2, X3, X4)
501.57/297.08	  , mark(U22(X1, X2, X3, X4)) -> a__U22(mark(X1), X2, X3, X4)
501.57/297.08	  , mark(U23(X1, X2, X3, X4)) -> a__U23(mark(X1), X2, X3, X4)
501.57/297.08	  , a__U21(X1, X2, X3, X4) -> U21(X1, X2, X3, X4)
501.57/297.08	  , a__U21(tt(), IL, M, N) -> a__U22(tt(), IL, M, N)
501.57/297.08	  , a__U22(X1, X2, X3, X4) -> U22(X1, X2, X3, X4)
501.57/297.08	  , a__U22(tt(), IL, M, N) -> a__U23(tt(), IL, M, N)
501.57/297.08	  , a__U23(X1, X2, X3, X4) -> U23(X1, X2, X3, X4)
501.57/297.08	  , a__U23(tt(), IL, M, N) -> cons(mark(N), take(M, IL))
501.57/297.08	  , a__take(X1, X2) -> take(X1, X2)
501.57/297.08	  , a__take(0(), IL) -> nil()
501.57/297.08	  , a__take(s(M), cons(N, IL)) -> a__U21(tt(), IL, M, N) }
501.57/297.08	Obligation:
501.57/297.08	  derivational complexity
501.57/297.08	Answer:
501.57/297.08	  MAYBE
501.57/297.08	
501.57/297.08	None of the processors succeeded.
501.57/297.08	
501.57/297.08	Details of failed attempt(s):
501.57/297.08	-----------------------------
501.57/297.08	1) 'Inspecting Problem... (timeout of 297 seconds)' failed due to
501.57/297.08	   the following reason:
501.57/297.08	   
501.57/297.08	   Computation stopped due to timeout after 297.0 seconds.
501.57/297.08	
501.57/297.08	2) 'Fastest (timeout of 60 seconds)' failed due to the following
501.57/297.08	   reason:
501.57/297.08	   
501.57/297.08	   Computation stopped due to timeout after 60.0 seconds.
501.57/297.08	
501.57/297.08	3) 'iteProgress (timeout of 297 seconds)' failed due to the
501.57/297.08	   following reason:
501.57/297.08	   
501.57/297.08	   Fail
501.57/297.08	
501.57/297.08	4) 'bsearch-matrix (timeout of 297 seconds)' failed due to the
501.57/297.08	   following reason:
501.57/297.08	   
501.57/297.08	   The input cannot be shown compatible
501.57/297.08	
501.57/297.08	
501.57/297.08	Arrrr..
501.91/297.14	EOF