1.42/1.46	YES
1.42/1.46	
1.42/1.46	
1.42/1.46	Termination: (Ranking Functions Found)
1.42/1.46	------------
1.42/1.46	f83_0_main_GE: < < 10 - arg1 >, < 19 - arg1 > >
1.42/1.46	
1.42/1.46	
1.42/1.52	EOF