0.00/0.00	YES
0.00/0.00	
0.00/0.00	1 decompositions
0.00/0.00	 #0 -----------
0.00/0.00	   1: +(0(),y) -> y
0.00/0.00	   2: +(s(0()),y) -> s(y)
0.00/0.00	   3: s(s(x)) -> x
0.00/0.00	
0.00/0.00	@Strongly Commuting
0.00/0.00	--- R
0.00/0.00	   1: +(0(),y) -> y
0.00/0.00	   2: +(s(0()),y) -> s(y)
0.00/0.00	   3: s(s(x)) -> x
0.00/0.00	
0.00/0.00	--- S
0.00/0.00	   1: +(0(),y) -> y
0.00/0.00	   2: +(s(0()),y) -> s(y)
0.00/0.00	   3: s(s(x)) -> x
0.00/0.00	
0.00/0.00	
0.00/0.00	EOF