8.98/9.06	YES
8.98/9.06	
8.98/9.06	
8.98/9.06	Termination: (Ranking Functions Found)
8.98/9.06	------------
8.98/9.06	n_f213_0_main_GT___4: < < arg2 > >
8.98/9.06	f252_0_main_LE: < < arg2 >, < arg1 > >
8.98/9.06	n_f252_0_main_LE___3: < < arg1 > >
8.98/9.06	n_f213_0_main_GT___1: < < arg1 > >
8.98/9.06	n_f252_0_main_LE___5: < < arg1 > >
8.98/9.06	f213_0_main_GT: < < arg2 >, < arg1 > >
8.98/9.06	n_f252_0_main_LE___6: < < arg2 > >
8.98/9.06	n_f213_0_main_GT___2: < < arg1 > >
8.98/9.06	
8.98/9.06	
9.05/9.13	EOF