3.36/3.44	YES
3.36/3.44	
3.36/3.44	
3.36/3.44	Termination: (Ranking Functions Found)
3.36/3.44	------------
3.36/3.44	l8: < < i8_0 > >
3.36/3.44	l4: < < i6_0 > >
3.36/3.44	l6: < < i8_0 > >
3.36/3.44	l5: < < i6_0 > >
3.36/3.44	
3.36/3.44	
3.46/3.50	EOF