4.96/5.01	YES
4.96/5.01	
4.96/5.01	
4.96/5.01	Termination: (Ranking Functions Found)
4.96/5.01	------------
4.96/5.01	l5: < < -1 + x0_0 > >
4.96/5.01	l2: < < -1 + x1_0 > >
4.96/5.01	l3: < < x1_0 > >
4.96/5.01	l4: < < -1 + x0_0 > >
4.96/5.01	
4.96/5.01	
4.96/5.07	EOF