5.60/5.66	YES
5.60/5.66	
5.60/5.66	
5.60/5.66	Termination: (Ranking Functions Found)
5.60/5.66	------------
5.60/5.66	l0: < < 31 - nI6_0, 0 > >
5.60/5.66	l2: < < 31 - nI6_0, 0 > >
5.60/5.66	l1: < < 31 - nI6_0, 31 - nI6_0 > >
5.60/5.66	l3: < < 31 - nI6_0, 31 - nI6_0 > >
5.60/5.66	
5.60/5.66	
5.68/5.73	EOF