1.45/1.49	YES
1.45/1.49	
1.45/1.49	
1.45/1.49	Termination: (Ranking Functions Found)
1.45/1.49	------------
1.45/1.49	f127_0_average_LE: < < arg1 + 2 * arg2 >, < arg1 > >
1.45/1.49	
1.45/1.49	
1.51/1.54	EOF