1.79/1.88	YES
1.79/1.88	
1.79/1.88	
1.79/1.88	Termination: (Ranking Functions Found)
1.79/1.88	------------
1.79/1.88	f339_0_main_LT: < < arg2 >, < arg1 > >
1.79/1.88	
1.79/1.88	
1.88/1.94	EOF