1.67/1.71	YES
1.67/1.71	
1.67/1.71	
1.67/1.71	Termination: (Ranking Functions Found)
1.67/1.71	------------
1.67/1.71	f148_0_main_LE: < < arg3 >, < arg3 > >
1.67/1.71	
1.67/1.71	
1.71/1.77	EOF