1.49/1.57	YES
1.49/1.57	
1.49/1.57	
1.49/1.57	Termination: (Ranking Functions Found)
1.49/1.57	------------
1.49/1.57	f137_0_test_GE: < < arg2 >, < - arg1 + arg2 > >
1.49/1.57	
1.49/1.57	
1.58/1.63	EOF