3.49/4.33	YES
3.49/4.33	
3.49/4.33	Problem 1: 
3.49/4.33	
3.49/4.33	(VAR v_NonEmpty:S x1:S)
3.49/4.33	(RULES
3.49/4.33	a(l(x1:S)) -> a(t(x1:S))
3.49/4.33	n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.33	o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.33	s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.33	t(o(x1:S)) -> m(a(x1:S))
3.49/4.33	t(e(x1:S)) -> n(s(x1:S))
3.49/4.33	)
3.49/4.33	
3.49/4.33	Problem 1: 
3.49/4.33	
3.49/4.33	Dependency Pairs Processor:
3.49/4.33	-> Pairs:
3.49/4.33	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.33	 A(l(x1:S)) -> T(x1:S)
3.49/4.33	 N(s(x1:S)) -> A(t(x1:S))
3.49/4.33	 N(s(x1:S)) -> A(l(a(t(x1:S))))
3.49/4.33	 N(s(x1:S)) -> T(x1:S)
3.49/4.33	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.33	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.33	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.33	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.33	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.33	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.33	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.33	 T(o(x1:S)) -> A(x1:S)
3.49/4.33	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.33	 T(e(x1:S)) -> S(x1:S)
3.49/4.33	-> Rules:
3.49/4.33	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.33	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.33	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.33	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.33	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.33	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.33	
3.49/4.33	Problem 1: 
3.49/4.33	
3.49/4.33	SCC Processor:
3.49/4.33	-> Pairs:
3.49/4.33	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.33	 A(l(x1:S)) -> T(x1:S)
3.49/4.33	 N(s(x1:S)) -> A(t(x1:S))
3.49/4.33	 N(s(x1:S)) -> A(l(a(t(x1:S))))
3.49/4.33	 N(s(x1:S)) -> T(x1:S)
3.49/4.33	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.33	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.33	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.33	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.33	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.33	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.33	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.33	 T(o(x1:S)) -> A(x1:S)
3.49/4.33	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.33	 T(e(x1:S)) -> S(x1:S)
3.49/4.33	-> Rules:
3.49/4.33	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.33	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.33	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.33	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.33	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.33	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.33	->Strongly Connected Components:
3.49/4.33	->->Cycle:
3.49/4.33	->->-> Pairs:
3.49/4.33	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.33	 A(l(x1:S)) -> T(x1:S)
3.49/4.33	 N(s(x1:S)) -> A(t(x1:S))
3.49/4.33	 N(s(x1:S)) -> A(l(a(t(x1:S))))
3.49/4.33	 N(s(x1:S)) -> T(x1:S)
3.49/4.33	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.33	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.33	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.33	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.33	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.33	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.33	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.33	 T(o(x1:S)) -> A(x1:S)
3.49/4.33	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.33	 T(e(x1:S)) -> S(x1:S)
3.49/4.33	->->-> Rules:
3.49/4.33	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.33	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.33	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.33	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.33	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.33	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.33	
3.49/4.33	Problem 1: 
3.49/4.33	
3.49/4.33	Reduction Pair Processor:
3.49/4.33	-> Pairs:
3.49/4.33	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.33	 A(l(x1:S)) -> T(x1:S)
3.49/4.33	 N(s(x1:S)) -> A(t(x1:S))
3.49/4.33	 N(s(x1:S)) -> A(l(a(t(x1:S))))
3.49/4.33	 N(s(x1:S)) -> T(x1:S)
3.49/4.33	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.33	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.33	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.33	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.33	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.33	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.33	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.33	 T(o(x1:S)) -> A(x1:S)
3.49/4.33	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.33	 T(e(x1:S)) -> S(x1:S)
3.49/4.33	-> Rules:
3.49/4.33	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.33	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.33	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.33	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.33	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.33	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.33	-> Usable rules:
3.49/4.33	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.33	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.33	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.33	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.33	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.33	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.33	->Interpretation type:
3.49/4.33	 Linear
3.49/4.33	->Coefficients:
3.49/4.33	 All rationals
3.49/4.33	->Dimension:
3.49/4.33	 1
3.49/4.33	->Bound:
3.49/4.33	 2
3.49/4.33	->Interpretation:
3.49/4.33	 
3.49/4.33	[a](X) = X + 1/2
3.49/4.33	[n](X) = 1/2.X
3.49/4.33	[o](X) = X + 1/2
3.49/4.33	[s](X) = 2.X + 2
3.49/4.33	[t](X) = X
3.49/4.33	[e](X) = 2.X + 1
3.49/4.33	[l](X) = X
3.49/4.33	[m](X) = X
3.49/4.33	[A](X) = X
3.49/4.33	[N](X) = 1/2.X
3.49/4.33	[O](X) = X + 1/2
3.49/4.33	[S](X) = 2.X + 1
3.49/4.33	[T](X) = X
3.49/4.33	
3.49/4.33	Problem 1: 
3.49/4.33	
3.49/4.33	SCC Processor:
3.49/4.33	-> Pairs:
3.49/4.33	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.33	 A(l(x1:S)) -> T(x1:S)
3.49/4.33	 N(s(x1:S)) -> A(l(a(t(x1:S))))
3.49/4.33	 N(s(x1:S)) -> T(x1:S)
3.49/4.33	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.33	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.33	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.33	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.33	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.33	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.33	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.33	 T(o(x1:S)) -> A(x1:S)
3.49/4.33	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.33	 T(e(x1:S)) -> S(x1:S)
3.49/4.33	-> Rules:
3.49/4.33	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.33	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.33	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.33	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.33	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.33	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.33	->Strongly Connected Components:
3.49/4.34	->->Cycle:
3.49/4.34	->->-> Pairs:
3.49/4.34	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 N(s(x1:S)) -> A(l(a(t(x1:S))))
3.49/4.34	 N(s(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	->->-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	Reduction Pair Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 N(s(x1:S)) -> A(l(a(t(x1:S))))
3.49/4.34	 N(s(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	-> Usable rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Interpretation type:
3.49/4.34	 Linear
3.49/4.34	->Coefficients:
3.49/4.34	 All rationals
3.49/4.34	->Dimension:
3.49/4.34	 1
3.49/4.34	->Bound:
3.49/4.34	 2
3.49/4.34	->Interpretation:
3.49/4.34	 
3.49/4.34	[a](X) = X + 1/2
3.49/4.34	[n](X) = 1/2.X
3.49/4.34	[o](X) = 2.X + 1/2
3.49/4.34	[s](X) = 2.X + 2
3.49/4.34	[t](X) = X
3.49/4.34	[e](X) = 2.X + 1
3.49/4.34	[l](X) = X
3.49/4.34	[m](X) = 1/2.X
3.49/4.34	[A](X) = X
3.49/4.34	[N](X) = 1/2.X
3.49/4.34	[O](X) = 2.X + 1/2
3.49/4.34	[S](X) = 2.X + 1
3.49/4.34	[T](X) = X
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	SCC Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 N(s(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Strongly Connected Components:
3.49/4.34	->->Cycle:
3.49/4.34	->->-> Pairs:
3.49/4.34	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 N(s(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	->->-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	Reduction Pair Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 N(s(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	-> Usable rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Interpretation type:
3.49/4.34	 Linear
3.49/4.34	->Coefficients:
3.49/4.34	 All rationals
3.49/4.34	->Dimension:
3.49/4.34	 1
3.49/4.34	->Bound:
3.49/4.34	 2
3.49/4.34	->Interpretation:
3.49/4.34	 
3.49/4.34	[a](X) = X + 1/2
3.49/4.34	[n](X) = 1/2.X
3.49/4.34	[o](X) = X + 1/2
3.49/4.34	[s](X) = 2.X + 2
3.49/4.34	[t](X) = X
3.49/4.34	[e](X) = 2.X + 1
3.49/4.34	[l](X) = X
3.49/4.34	[m](X) = X
3.49/4.34	[A](X) = X
3.49/4.34	[N](X) = 1/2.X
3.49/4.34	[O](X) = X + 1/2
3.49/4.34	[S](X) = 2.X + 1
3.49/4.34	[T](X) = X
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	SCC Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> N(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> N(s(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Strongly Connected Components:
3.49/4.34	->->Cycle:
3.49/4.34	->->-> Pairs:
3.49/4.34	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	->->-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	Reduction Pair Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 A(l(x1:S)) -> A(t(x1:S))
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	-> Usable rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Interpretation type:
3.49/4.34	 Linear
3.49/4.34	->Coefficients:
3.49/4.34	 Natural Numbers
3.49/4.34	->Dimension:
3.49/4.34	 1
3.49/4.34	->Bound:
3.49/4.34	 2
3.49/4.34	->Interpretation:
3.49/4.34	 
3.49/4.34	[a](X) = 0
3.49/4.34	[n](X) = 0
3.49/4.34	[o](X) = 2.X
3.49/4.34	[s](X) = 2.X + 2
3.49/4.34	[t](X) = 2.X
3.49/4.34	[e](X) = 0
3.49/4.34	[l](X) = 2.X + 2
3.49/4.34	[m](X) = 2.X
3.49/4.34	[A](X) = 2.X + 1
3.49/4.34	[O](X) = 2.X + 2
3.49/4.34	[S](X) = 2
3.49/4.34	[T](X) = 2.X + 2
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	SCC Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Strongly Connected Components:
3.49/4.34	->->Cycle:
3.49/4.34	->->-> Pairs:
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	->->-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	Reduction Pair Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 A(l(x1:S)) -> T(x1:S)
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	-> Usable rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Interpretation type:
3.49/4.34	 Linear
3.49/4.34	->Coefficients:
3.49/4.34	 Natural Numbers
3.49/4.34	->Dimension:
3.49/4.34	 1
3.49/4.34	->Bound:
3.49/4.34	 2
3.49/4.34	->Interpretation:
3.49/4.34	 
3.49/4.34	[a](X) = 2
3.49/4.34	[n](X) = 2
3.49/4.34	[o](X) = X
3.49/4.34	[s](X) = 2.X + 2
3.49/4.34	[t](X) = 2
3.49/4.34	[e](X) = 2
3.49/4.34	[l](X) = 2.X + 2
3.49/4.34	[m](X) = 2
3.49/4.34	[A](X) = X
3.49/4.34	[O](X) = 2
3.49/4.34	[S](X) = 2
3.49/4.34	[T](X) = X
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	SCC Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> A(t(o(m(a(t(e(x1:S)))))))
3.49/4.34	 S(a(x1:S)) -> A(t(e(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(o(x1:S)) -> A(x1:S)
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Strongly Connected Components:
3.49/4.34	->->Cycle:
3.49/4.34	->->-> Pairs:
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	->->-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	Reduction Pair Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(o(m(a(t(e(x1:S))))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	-> Usable rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Interpretation type:
3.49/4.34	 Linear
3.49/4.34	->Coefficients:
3.49/4.34	 Natural Numbers
3.49/4.34	->Dimension:
3.49/4.34	 1
3.49/4.34	->Bound:
3.49/4.34	 2
3.49/4.34	->Interpretation:
3.49/4.34	 
3.49/4.34	[a](X) = 2.X
3.49/4.34	[n](X) = 0
3.49/4.34	[o](X) = 0
3.49/4.34	[s](X) = 2.X + 2
3.49/4.34	[t](X) = 0
3.49/4.34	[e](X) = X + 1
3.49/4.34	[l](X) = 0
3.49/4.34	[m](X) = 0
3.49/4.34	[O](X) = 2
3.49/4.34	[S](X) = X + 2
3.49/4.34	[T](X) = X + 1
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	SCC Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Strongly Connected Components:
3.49/4.34	->->Cycle:
3.49/4.34	->->-> Pairs:
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	->->-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	Reduction Pair Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 S(a(x1:S)) -> T(e(x1:S))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	-> Usable rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Interpretation type:
3.49/4.34	 Linear
3.49/4.34	->Coefficients:
3.49/4.34	 All rationals
3.49/4.34	->Dimension:
3.49/4.34	 1
3.49/4.34	->Bound:
3.49/4.34	 2
3.49/4.34	->Interpretation:
3.49/4.34	 
3.49/4.34	[a](X) = X + 1/2
3.49/4.34	[n](X) = 1/2.X
3.49/4.34	[o](X) = 2.X + 2
3.49/4.34	[s](X) = 2.X + 2
3.49/4.34	[t](X) = 1/2.X
3.49/4.34	[e](X) = 2.X + 2
3.49/4.34	[l](X) = 1/2.X
3.49/4.34	[m](X) = X + 1/2
3.49/4.34	[O](X) = 1/2.X + 1/2
3.49/4.34	[S](X) = X + 1
3.49/4.34	[T](X) = 1/2.X
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	SCC Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Strongly Connected Components:
3.49/4.34	->->Cycle:
3.49/4.34	->->-> Pairs:
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	->->-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	Reduction Pair Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 O(m(a(x1:S))) -> T(e(n(x1:S)))
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	-> Usable rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Interpretation type:
3.49/4.34	 Linear
3.49/4.34	->Coefficients:
3.49/4.34	 All rationals
3.49/4.34	->Dimension:
3.49/4.34	 1
3.49/4.34	->Bound:
3.49/4.34	 4
3.49/4.34	->Interpretation:
3.49/4.34	 
3.49/4.34	[a](X) = 1/2.X + 2/3
3.49/4.34	[n](X) = 1/3.X
3.49/4.34	[o](X) = 4.X + 4
3.49/4.34	[s](X) = 3.X + 4
3.49/4.34	[t](X) = 1/4.X + 1
3.49/4.34	[e](X) = 4.X + 2
3.49/4.34	[l](X) = 1/4.X + 1
3.49/4.34	[m](X) = 2.X + 2/3
3.49/4.34	[O](X) = 4/3.X + 3/2
3.49/4.34	[S](X) = 4.X + 4
3.49/4.34	[T](X) = X + 2
3.49/4.34	
3.49/4.34	Problem 1: 
3.49/4.34	
3.49/4.34	SCC Processor:
3.49/4.34	-> Pairs:
3.49/4.34	 S(a(x1:S)) -> O(m(a(t(e(x1:S)))))
3.49/4.34	 T(e(x1:S)) -> S(x1:S)
3.49/4.34	-> Rules:
3.49/4.34	 a(l(x1:S)) -> a(t(x1:S))
3.49/4.34	 n(s(x1:S)) -> a(l(a(t(x1:S))))
3.49/4.34	 o(m(a(x1:S))) -> t(e(n(x1:S)))
3.49/4.34	 s(a(x1:S)) -> l(a(t(o(m(a(t(e(x1:S))))))))
3.49/4.34	 t(o(x1:S)) -> m(a(x1:S))
3.49/4.34	 t(e(x1:S)) -> n(s(x1:S))
3.49/4.34	->Strongly Connected Components:
3.49/4.34	 There is no strongly connected component
3.49/4.34	
3.49/4.34	The problem is finite.
3.49/4.34	EOF