1.18/1.25	YES
1.18/1.25	
1.18/1.25	
1.18/1.25	Termination: (Ranking Functions Found)
1.18/1.25	------------
1.18/1.25	f42_0_decrease_LE: < < arg1 > >
1.18/1.25	
1.18/1.25	
1.23/1.30	EOF