5.68/5.73	YES
5.68/5.73	
5.68/5.73	
5.68/5.73	Termination: (Ranking Functions Found)
5.68/5.73	------------
5.68/5.73	l0: < < 15 - nI6_0, 0 > >
5.68/5.73	l2: < < 15 - nI6_0, 0 > >
5.68/5.73	l1: < < 15 - nI6_0, 15 - nI6_0 > >
5.68/5.73	l3: < < 15 - nI6_0, 15 - nI6_0 > >
5.68/5.73	
5.68/5.73	
5.74/5.80	EOF