0.00/0.01	YES
0.00/0.01	
0.00/0.01	2 decompositions
0.00/0.01	 #0 -----------
0.00/0.01	   4: f(b()) -> b()
0.00/0.01	   5: b() -> h(h(c(),f(b())),a())
0.00/0.01	
0.00/0.01	 #1 -----------
0.00/0.01	   1: b() -> f(f(b()))
0.00/0.01	   2: c() -> b()
0.00/0.01	   3: f(f(c())) -> a()
0.00/0.01	
0.00/0.01	@Parallel Closedness
0.00/0.01	--- R
0.00/0.01	   1: b() -> f(f(b()))
0.00/0.01	   2: c() -> b()
0.00/0.01	   3: f(f(c())) -> a()
0.00/0.01	
0.00/0.01	--- S
0.00/0.01	   4: f(b()) -> b()
0.00/0.01	   5: b() -> h(h(c(),f(b())),a())
0.00/0.01	
0.00/0.01	
0.00/0.01	EOF