0.00/0.02	NO
0.00/0.02	
0.00/0.02	2 decompositions
0.00/0.02	 #0 -----------
0.00/0.02	   4: +(0(),_y5) -> _y5
0.00/0.02	   5: +(s(_y6),_y7) -> s(+(_y6,_y7))
0.00/0.02	   6: s(s(_y8)) -> _y8
0.00/0.02	
0.00/0.02	 #1 -----------
0.00/0.02	   1: +(0(),_y1) -> _y1
0.00/0.02	   2: +(s(0()),_y2) -> s(_y2)
0.00/0.02	   3: +(s(s(_y3)),_y4) -> s(s(+(_y4,_y3)))
0.00/0.02	
0.00/0.02	unjoinable peak
0.00/0.02	    s(+(s(_y3),_y4))
0.00/0.02	*<- +(s(s(_y3)),_y4) ->*
0.00/0.02	    +(_y4,_y3)
0.00/0.02	EOF