1.17/1.22	YES
1.17/1.22	
1.17/1.22	
1.17/1.22	Termination: (Ranking Functions Found)
1.17/1.22	------------
1.17/1.22	f32_0_fact_LE: < < arg1 > >
1.17/1.22	
1.17/1.22	
1.21/1.28	EOF