0.00/0.00	YES
0.00/0.00	
0.00/0.00	2 decompositions
0.00/0.00	 #0 -----------
0.00/0.00	   6: +(0(),_y8) -> _y8
0.00/0.00	   7: +(s(_y9),_y10) -> s(+(_y9,_y10))
0.00/0.00	   8: +(_y11,0()) -> _y11
0.00/0.00	   9: +(_y12,s(_y13)) -> s(+(_y12,_y13))
0.00/0.00	
0.00/0.00	 #1 -----------
0.00/0.00	   1: +(_y1,0()) -> _y1
0.00/0.00	   2: +(_y2,s(_y3)) -> s(+(_y2,_y3))
0.00/0.00	   3: -(0(),_y4) -> 0()
0.00/0.00	   4: -(_y5,0()) -> _y5
0.00/0.00	   5: -(s(_y6),s(_y7)) -> -(_y6,_y7)
0.00/0.00	
0.00/0.00	@Simultaneous Critical Pair
0.00/0.00	--- R
0.00/0.00	   6: +(0(),_y8) -> _y8
0.00/0.00	   7: +(s(_y9),_y10) -> s(+(_y9,_y10))
0.00/0.00	   8: +(_y11,0()) -> _y11
0.00/0.00	   9: +(_y12,s(_y13)) -> s(+(_y12,_y13))
0.00/0.00	
0.00/0.00	--- S
0.00/0.00	   1: +(_y1,0()) -> _y1
0.00/0.00	   2: +(_y2,s(_y3)) -> s(+(_y2,_y3))
0.00/0.00	   3: -(0(),_y4) -> 0()
0.00/0.00	   4: -(_y5,0()) -> _y5
0.00/0.00	   5: -(s(_y6),s(_y7)) -> -(_y6,_y7)
0.00/0.00	
0.00/0.00	
0.00/0.00	EOF