0.00/0.07	YES
0.00/0.07	
0.00/0.07	Problem 1: 
0.00/0.07	
0.00/0.07	(VAR x)
0.00/0.07	(THEORY 
0.00/0.07	(AC f))
0.00/0.07	(RULES
0.00/0.07	f(f(x,x),g(x)) -> f(x,h(x))
0.00/0.07	f(g(g(x)),x) -> f(g(x),g(x))
0.00/0.07	)
0.00/0.07	
0.00/0.07	Problem 1: 
0.00/0.07	
0.00/0.07	Reduction Order Processor:
0.00/0.07	-> Rules:
0.00/0.07	 f(f(x,x),g(x)) -> f(x,h(x))
0.00/0.07	 f(g(g(x)),x) -> f(g(x),g(x))
0.00/0.07	->Interpretation type:
0.00/0.07	 Linear
0.00/0.07	->Coefficients:
0.00/0.07	 Natural Numbers
0.00/0.07	->Dimension:
0.00/0.07	 1
0.00/0.07	->Bound:
0.00/0.07	 2
0.00/0.07	->Interpretation:
0.00/0.07	 
0.00/0.07	[f](X1,X2) = X1 + X2 + 2
0.00/0.07	[g](X) = 2.X + 2
0.00/0.07	[h](X) = 2.X + 2
0.00/0.07	
0.00/0.07	Problem 1: 
0.00/0.07	
0.00/0.07	Reduction Order Processor:
0.00/0.07	-> Rules:
0.00/0.07	 f(g(g(x)),x) -> f(g(x),g(x))
0.00/0.07	->Interpretation type:
0.00/0.07	 Linear
0.00/0.07	->Coefficients:
0.00/0.07	 Natural Numbers
0.00/0.07	->Dimension:
0.00/0.07	 1
0.00/0.07	->Bound:
0.00/0.07	 2
0.00/0.07	->Interpretation:
0.00/0.07	 
0.00/0.07	[f](X1,X2) = X1 + X2 + 1
0.00/0.07	[g](X) = 2.X + 2
0.00/0.07	[h](X) = 2.X
0.00/0.07	
0.00/0.07	Problem 1: 
0.00/0.07	
0.00/0.07	Dependency Pairs Processor:
0.00/0.07	-> FAxioms:
0.00/0.07	 F(f(x1,x2),x3) = F(x1,f(x2,x3))
0.00/0.07	 F(x1,x2) = F(x2,x1)
0.00/0.07	-> Pairs:
0.00/0.07	 Empty
0.00/0.07	-> EAxioms:
0.00/0.07	 f(f(x1,x2),x3) = f(x1,f(x2,x3))
0.00/0.07	 f(x1,x2) = f(x2,x1)
0.00/0.07	-> Rules:
0.00/0.07	 Empty
0.00/0.07	-> SRules:
0.00/0.07	 F(f(x1,x2),x3) -> F(x1,x2)
0.00/0.07	 F(x1,f(x2,x3)) -> F(x2,x3)
0.00/0.07	
0.00/0.07	Problem 1: 
0.00/0.07	
0.00/0.07	SCC Processor:
0.00/0.07	-> FAxioms:
0.00/0.07	 F(f(x1,x2),x3) = F(x1,f(x2,x3))
0.00/0.07	 F(x1,x2) = F(x2,x1)
0.00/0.07	-> Pairs:
0.00/0.07	 Empty
0.00/0.07	-> EAxioms:
0.00/0.07	 f(f(x1,x2),x3) = f(x1,f(x2,x3))
0.00/0.07	 f(x1,x2) = f(x2,x1)
0.00/0.07	-> Rules:
0.00/0.07	 Empty
0.00/0.07	-> SRules:
0.00/0.07	 F(f(x1,x2),x3) -> F(x1,x2)
0.00/0.07	 F(x1,f(x2,x3)) -> F(x2,x3)
0.00/0.07	->Strongly Connected Components:
0.00/0.07	 There is no strongly connected component
0.00/0.07	
0.00/0.07	The problem is finite.
0.00/0.07	EOF