1.20/1.22	YES
1.20/1.22	
1.20/1.22	
1.20/1.22	Termination: (Ranking Functions Found)
1.20/1.22	------------
1.20/1.22	f80_0_test_LT: < < arg1 > >
1.20/1.22	
1.20/1.22	
1.23/1.28	EOF