1.94/1.96	YES
1.94/1.96	
1.94/1.96	
1.94/1.96	Termination: (Ranking Functions Found)
1.94/1.96	------------
1.94/1.96	l2: < < 35 - counter_0 > >
1.94/1.96	l0: < < 35 - counter_0 > >
1.94/1.96	
1.94/1.96	
1.97/2.02	EOF