1.35/1.42	YES
1.35/1.42	
1.35/1.42	
1.35/1.42	Termination: (Ranking Functions Found)
1.35/1.42	------------
1.35/1.42	f74_0_main_LE': < < -1 + arg1 > >
1.35/1.42	f74_0_main_LE: < < arg1 > >
1.35/1.42	
1.35/1.42	
1.42/1.47	EOF