1.17/1.23	YES
1.17/1.23	
1.17/1.23	
1.17/1.23	Termination: (Ranking Functions Found)
1.17/1.23	------------
1.17/1.23	f176_0_iter_NULL: < < arg1 > >
1.17/1.23	
1.17/1.23	
1.23/1.28	EOF