9.35/9.42	YES
9.35/9.42	
9.35/9.42	
9.35/9.42	Termination: (Ranking Functions Found)
9.35/9.42	------------
9.35/9.42	l2: < < __const_64_0 - i_0 > >
9.35/9.42	l3: < < ctr23_0 > >
9.35/9.42	l6: < < ctr23_0, ctr23_0 > >
9.35/9.42	l5: < < ctr23_0 > >
9.35/9.42	l1: < < 1 + ctr23_0, 0 > >
9.35/9.42	l0: < < __const_64_0 - i_0 > >
9.35/9.42	
9.35/9.42	
9.46/9.48	EOF