3.78/3.82	YES
3.78/3.82	
3.78/3.82	
3.78/3.82	Termination: (Ranking Functions Found)
3.78/3.82	------------
3.78/3.82	l2: < < x1_0, x1_0 > >
3.78/3.82	l4: < < x1_0, x1_0 > >
3.78/3.82	l0: < < x1_0, 0 > >
3.78/3.82	
3.78/3.82	
3.81/3.89	EOF