1.35/1.38	YES
1.35/1.38	
1.35/1.38	
1.35/1.38	Termination: (Ranking Functions Found)
1.35/1.38	------------
1.35/1.38	f66_0_main_GE: < < - arg2 + arg3 > >
1.35/1.38	
1.35/1.38	
1.35/1.43	EOF