1.77/1.79	YES
1.77/1.79	
1.77/1.79	
1.77/1.79	Termination: (Ranking Functions Found)
1.77/1.79	------------
1.77/1.79	f213_0_main_LE: < < arg2 > >
1.77/1.79	f227_0_main_LE: < < -1 + arg1 >, < arg2 > >
1.77/1.79	
1.77/1.79	
1.82/1.84	EOF