0.00/0.00	YES
0.00/0.00	
0.00/0.00	2 decompositions
0.00/0.00	 #0 -----------
0.00/0.00	   1: a() -> b()
0.00/0.00	   4: c() -> a()
0.00/0.00	   6: a() -> c()
0.00/0.00	   7: a() -> e()
0.00/0.00	   8: b() -> d()
0.00/0.00	   9: d() -> a()
0.00/0.00	  10: d() -> e()
0.00/0.00	  11: g(_y1) -> h(a())
0.00/0.00	  12: h(_y2) -> e()
0.00/0.00	
0.00/0.00	 #1 -----------
0.00/0.00	   1: a() -> b()
0.00/0.00	   2: a() -> d()
0.00/0.00	   3: b() -> a()
0.00/0.00	   4: c() -> a()
0.00/0.00	   5: c() -> b()
0.00/0.00	
0.00/0.00	@Strongly Commuting
0.00/0.00	--- R
0.00/0.00	   1: a() -> b()
0.00/0.00	   4: c() -> a()
0.00/0.00	   6: a() -> c()
0.00/0.00	   7: a() -> e()
0.00/0.00	   8: b() -> d()
0.00/0.00	   9: d() -> a()
0.00/0.00	  10: d() -> e()
0.00/0.00	  11: g(_y1) -> h(a())
0.00/0.00	  12: h(_y2) -> e()
0.00/0.00	
0.00/0.00	--- S
0.00/0.00	   1: a() -> b()
0.00/0.00	   2: a() -> d()
0.00/0.00	   3: b() -> a()
0.00/0.00	   4: c() -> a()
0.00/0.00	   5: c() -> b()
0.00/0.00	
0.00/0.00	
0.00/0.00	EOF