1.35/1.44	YES
1.35/1.44	
1.35/1.44	
1.35/1.44	Termination: (Ranking Functions Found)
1.35/1.44	------------
1.35/1.44	f55_0_main_GE: < < 19 - arg1 >, < 9 - arg1 > >
1.35/1.44	
1.35/1.44	
1.44/1.49	EOF