4.27/4.32	YES
4.27/4.32	
4.27/4.32	
4.27/4.32	Termination: (Ranking Functions Found)
4.27/4.32	------------
4.27/4.32	l1: < < i4_0 > >
4.27/4.32	l0: < < i4_0 > >
4.27/4.32	l3: < < - i3_0 + n_0 > >
4.27/4.32	l5: < < i2_0 > >
4.27/4.32	l7: < < - i1_0 + n_0 > >
4.27/4.32	l2: < < - i3_0 + n_0 > >
4.27/4.32	l4: < < i2_0 > >
4.27/4.32	l6: < < -1 - i1_0 + n_0 > >
4.27/4.32	
4.27/4.32	
4.36/4.38	EOF