103.58/104.05	YES
103.58/104.05	
103.58/104.05	Problem 1: 
103.58/104.05	
103.58/104.05	(VAR v_NonEmpty:S x1:S)
103.58/104.05	(RULES
103.58/104.05	a(b(x1:S)) -> b(c(a(x1:S)))
103.58/104.05	a(x1:S) -> x1:S
103.58/104.05	c(c(x1:S)) -> b(a(c(a(x1:S))))
103.58/104.05	)
103.58/104.05	
103.58/104.05	Problem 1: 
103.58/104.05	
103.58/104.05	Dependency Pairs Processor:
103.58/104.05	-> Pairs:
103.58/104.05	 A(b(x1:S)) -> A(x1:S)
103.58/104.05	 A(b(x1:S)) -> C(a(x1:S))
103.58/104.05	 C(c(x1:S)) -> A(c(a(x1:S)))
103.58/104.05	 C(c(x1:S)) -> A(x1:S)
103.58/104.05	 C(c(x1:S)) -> C(a(x1:S))
103.58/104.05	-> Rules:
103.58/104.05	 a(b(x1:S)) -> b(c(a(x1:S)))
103.58/104.05	 a(x1:S) -> x1:S
103.58/104.05	 c(c(x1:S)) -> b(a(c(a(x1:S))))
103.58/104.05	
103.58/104.05	Problem 1: 
103.58/104.05	
103.58/104.05	SCC Processor:
103.58/104.05	-> Pairs:
103.58/104.05	 A(b(x1:S)) -> A(x1:S)
103.58/104.05	 A(b(x1:S)) -> C(a(x1:S))
103.58/104.05	 C(c(x1:S)) -> A(c(a(x1:S)))
103.58/104.05	 C(c(x1:S)) -> A(x1:S)
103.58/104.05	 C(c(x1:S)) -> C(a(x1:S))
103.58/104.05	-> Rules:
103.58/104.05	 a(b(x1:S)) -> b(c(a(x1:S)))
103.58/104.05	 a(x1:S) -> x1:S
103.58/104.05	 c(c(x1:S)) -> b(a(c(a(x1:S))))
103.58/104.05	->Strongly Connected Components:
103.58/104.05	->->Cycle:
103.58/104.05	->->-> Pairs:
103.58/104.05	 A(b(x1:S)) -> A(x1:S)
103.58/104.05	 A(b(x1:S)) -> C(a(x1:S))
103.58/104.05	 C(c(x1:S)) -> A(c(a(x1:S)))
103.58/104.05	 C(c(x1:S)) -> A(x1:S)
103.58/104.05	 C(c(x1:S)) -> C(a(x1:S))
103.58/104.05	->->-> Rules:
103.58/104.05	 a(b(x1:S)) -> b(c(a(x1:S)))
103.58/104.05	 a(x1:S) -> x1:S
103.58/104.05	 c(c(x1:S)) -> b(a(c(a(x1:S))))
103.58/104.05	
103.58/104.05	Problem 1: 
103.58/104.05	
103.58/104.05	Narrowing Processor:
103.58/104.05	-> Pairs:
103.58/104.05	 A(b(x1:S)) -> A(x1:S)
103.58/104.05	 A(b(x1:S)) -> C(a(x1:S))
103.58/104.05	 C(c(x1:S)) -> A(c(a(x1:S)))
103.58/104.06	 C(c(x1:S)) -> A(x1:S)
103.58/104.06	 C(c(x1:S)) -> C(a(x1:S))
103.58/104.06	-> Rules:
103.58/104.06	 a(b(x1:S)) -> b(c(a(x1:S)))
103.58/104.06	 a(x1:S) -> x1:S
103.58/104.06	 c(c(x1:S)) -> b(a(c(a(x1:S))))
103.58/104.06	->Narrowed Pairs:
103.58/104.06	->->Original Pair:
103.58/104.06	 A(b(x1:S)) -> C(a(x1:S))
103.58/104.06	->-> Narrowed pairs:
103.58/104.06	 A(b(b(x1:S))) -> C(b(c(a(x1:S))))
103.58/104.06	 A(b(x1:S)) -> C(x1:S)
103.58/104.06	->->Original Pair:
103.58/104.06	 C(c(x1:S)) -> A(c(a(x1:S)))
103.58/104.06	->-> Narrowed pairs:
103.58/104.06	 C(c(b(x1:S))) -> A(c(b(c(a(x1:S)))))
103.58/104.06	 C(c(x1:S)) -> A(c(x1:S))
103.58/104.06	->->Original Pair:
103.58/104.06	 C(c(x1:S)) -> C(a(x1:S))
103.58/104.06	->-> Narrowed pairs:
103.58/104.06	 C(c(b(x1:S))) -> C(b(c(a(x1:S))))
103.58/104.06	 C(c(x1:S)) -> C(x1:S)
103.58/104.06	
103.58/104.06	Problem 1: 
103.58/104.06	
103.58/104.06	SCC Processor:
103.58/104.06	-> Pairs:
103.58/104.06	 A(b(b(x1:S))) -> C(b(c(a(x1:S))))
103.58/104.06	 A(b(x1:S)) -> A(x1:S)
103.58/104.06	 A(b(x1:S)) -> C(x1:S)
103.58/104.06	 C(c(b(x1:S))) -> A(c(b(c(a(x1:S)))))
103.58/104.06	 C(c(b(x1:S))) -> C(b(c(a(x1:S))))
103.58/104.06	 C(c(x1:S)) -> A(c(x1:S))
103.58/104.06	 C(c(x1:S)) -> A(x1:S)
103.58/104.06	 C(c(x1:S)) -> C(x1:S)
103.58/104.06	-> Rules:
103.58/104.06	 a(b(x1:S)) -> b(c(a(x1:S)))
103.58/104.06	 a(x1:S) -> x1:S
103.58/104.06	 c(c(x1:S)) -> b(a(c(a(x1:S))))
103.58/104.06	->Strongly Connected Components:
103.58/104.06	->->Cycle:
103.58/104.06	->->-> Pairs:
103.58/104.06	 A(b(x1:S)) -> A(x1:S)
103.58/104.06	 A(b(x1:S)) -> C(x1:S)
103.58/104.06	 C(c(x1:S)) -> A(c(x1:S))
103.58/104.06	 C(c(x1:S)) -> A(x1:S)
103.58/104.06	 C(c(x1:S)) -> C(x1:S)
103.58/104.06	->->-> Rules:
103.58/104.06	 a(b(x1:S)) -> b(c(a(x1:S)))
103.58/104.06	 a(x1:S) -> x1:S
103.58/104.06	 c(c(x1:S)) -> b(a(c(a(x1:S))))
103.58/104.06	
103.58/104.06	Problem 1: 
103.58/104.06	
103.58/104.06	Subterm Processor:
103.58/104.06	-> Pairs:
103.58/104.06	 A(b(x1:S)) -> A(x1:S)
103.58/104.06	 A(b(x1:S)) -> C(x1:S)
103.58/104.06	 C(c(x1:S)) -> A(c(x1:S))
103.58/104.06	 C(c(x1:S)) -> A(x1:S)
103.58/104.06	 C(c(x1:S)) -> C(x1:S)
103.58/104.06	-> Rules:
103.58/104.06	 a(b(x1:S)) -> b(c(a(x1:S)))
103.58/104.06	 a(x1:S) -> x1:S
103.58/104.06	 c(c(x1:S)) -> b(a(c(a(x1:S))))
103.58/104.06	->Projection:
103.58/104.06	 pi(A) = 1
103.58/104.06	 pi(C) = 1
103.58/104.06	
103.58/104.06	Problem 1: 
103.58/104.06	
103.58/104.06	SCC Processor:
103.58/104.06	-> Pairs:
103.58/104.06	 C(c(x1:S)) -> A(c(x1:S))
103.58/104.06	-> Rules:
103.58/104.06	 a(b(x1:S)) -> b(c(a(x1:S)))
103.58/104.06	 a(x1:S) -> x1:S
103.58/104.06	 c(c(x1:S)) -> b(a(c(a(x1:S))))
103.58/104.06	->Strongly Connected Components:
103.58/104.06	 There is no strongly connected component
103.58/104.06	
103.58/104.06	The problem is finite.
103.58/104.06	EOF