3.61/3.62	YES
3.61/3.62	
3.61/3.62	
3.61/3.62	Termination: (Ranking Functions Found)
3.61/3.62	------------
3.61/3.62	l3: < < x0_0 - x1_0, x0_0 - x1_0 > >
3.61/3.62	l2: < < x0_0 - x1_0, 0 > >
3.61/3.62	
3.61/3.62	
3.66/3.69	EOF