1.31/1.41	YES
1.31/1.41	
1.31/1.41	
1.31/1.41	Termination: (Ranking Functions Found)
1.31/1.41	------------
1.31/1.41	f126_0_test_LE: < < arg1 > >
1.31/1.41	
1.31/1.41	
1.39/1.46	EOF