1.55/1.62	YES
1.55/1.62	
1.55/1.62	
1.55/1.62	Termination: (Ranking Functions Found)
1.55/1.62	------------
1.55/1.62	f153_0_main_LE: < < arg1 >, < arg2 > >
1.55/1.62	f142_0_main_LE: < < 1 + arg2 > >
1.55/1.62	
1.55/1.62	
1.64/1.67	EOF