1.35/1.43	YES
1.35/1.43	
1.35/1.43	
1.35/1.43	Termination: (Ranking Functions Found)
1.35/1.43	------------
1.35/1.43	f55_0_main_GE: < < 10 - arg1 >, < 19 - arg1 > >
1.35/1.43	
1.35/1.43	
1.45/1.48	EOF