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	f223_0_main_LE: < < 1 + arg1, arg2 > >
1.67/1.71	f259_0_main_LE: < < 1 + arg1, arg2 > >
1.67/1.71	
1.67/1.71	
1.74/1.76	EOF