1.53/1.63	YES
1.53/1.63	
1.53/1.63	
1.53/1.63	Termination: (Ranking Functions Found)
1.53/1.63	------------
1.53/1.63	l0: < < c_0 - s_0 > >
1.53/1.63	l1: < < -1 + c_0 - p_0 > >
1.53/1.63	
1.53/1.63	
1.62/1.68	EOF