4.65/4.71	YES
4.65/4.71	
4.65/4.71	
4.65/4.71	Termination: (Ranking Functions Found)
4.65/4.71	------------
4.65/4.71	l4: < < N_0 - i_0 >, < N_0 - i_0 > >
4.65/4.71	l1: < < -1 + N_0 - i_0 >, < -1 + N_0 - i_0 > >
4.65/4.71	l0: < < N_0 - i_0 >, < N_0 - i_0 > >
4.65/4.71	l2: < < N_0 - i_0 >, < N_0 - i_0 > >
4.65/4.71	
4.65/4.71	
4.75/4.78	EOF