8.09/8.18	YES
8.09/8.18	
8.09/8.18	
8.09/8.18	Termination: (Ranking Functions Found)
8.09/8.18	------------
8.09/8.18	l0: < < 63 - i_0 > >
8.09/8.18	l5: < < ctr23_0 > >
8.09/8.18	l1: < < 1 + ctr23_0, 0 > >
8.09/8.18	l2: < < 63 - i_0 > >
8.09/8.18	l6: < < ctr23_0, ctr23_0 > >
8.09/8.18	l3: < < ctr23_0 > >
8.09/8.18	
8.09/8.18	
8.16/8.24	EOF