1.43/1.46	YES
1.43/1.46	
1.43/1.46	
1.43/1.46	Termination: (Ranking Functions Found)
1.43/1.46	------------
1.43/1.46	f142_0_main_GT: < < arg2 >, < arg1 > >
1.43/1.46	
1.43/1.46	
1.48/1.51	EOF