2.40/2.44	YES
2.40/2.44	
2.40/2.44	
2.40/2.44	Termination: (Ranking Functions Found)
2.40/2.44	------------
2.40/2.44	l2: < < 19 - x0_0, 0 > >
2.40/2.44	l3: < < 19 - x0_0, 19 - x0_0 > >
2.40/2.44	
2.40/2.44	
2.40/2.50	EOF