6.73/6.76	YES
6.73/6.76	
6.73/6.76	
6.73/6.76	Termination: (Ranking Functions Found)
6.73/6.76	------------
6.73/6.76	l0: < < __const_100_0 - i_0 > >
6.73/6.76	l2: < < __const_100_0 - i_0 > >
6.73/6.76	
6.73/6.76	
6.75/6.82	EOF