5.21/5.24	YES
5.21/5.24	
5.21/5.24	2 decompositions
5.21/5.24	 #0 -----------
5.21/5.24	   4: b() -> f(b())
5.21/5.24	   5: f(a()) -> f(h(h(h(h(c(),b()),a()),f(c())),c()))
5.21/5.24	   6: c() -> h(f(c()),f(h(c(),a())))
5.21/5.24	   7: c() -> f(b())
5.21/5.24	
5.21/5.24	 #1 -----------
5.21/5.24	   1: b() -> c()
5.21/5.24	   2: b() -> f(c())
5.21/5.24	   3: c() -> c()
5.21/5.24	
5.21/5.24	@Strongly Commuting
5.21/5.24	--- R
5.21/5.24	   4: b() -> f(b())
5.21/5.24	   5: f(a()) -> f(h(h(h(h(c(),b()),a()),f(c())),c()))
5.21/5.24	   6: c() -> h(f(c()),f(h(c(),a())))
5.21/5.24	   7: c() -> f(b())
5.21/5.24	
5.21/5.24	--- S
5.21/5.24	   1: b() -> c()
5.21/5.24	   2: b() -> f(c())
5.21/5.24	   3: c() -> c()
5.21/5.24	
5.21/5.24	
5.21/5.24	EOF