1.21/1.23	YES
1.21/1.23	
1.21/1.23	
1.21/1.23	Termination: (Ranking Functions Found)
1.21/1.23	------------
1.21/1.23	f51_0_test_LE: < < arg1 > >
1.21/1.23	
1.21/1.23	
1.27/1.29	EOF