1.36/1.45	YES
1.36/1.45	
1.36/1.45	
1.36/1.45	Termination: (Ranking Functions Found)
1.36/1.45	------------
1.36/1.45	f134_0_test_GT: < < arg1 > >
1.36/1.45	
1.36/1.45	
1.48/1.50	EOF