1.52/1.61	YES
1.52/1.61	
1.52/1.61	
1.52/1.61	Termination: (Ranking Functions Found)
1.52/1.61	------------
1.52/1.61	f291_0_solve_GE: < < arg1 >, < arg1 > >
1.52/1.61	
1.52/1.61	
1.61/1.67	EOF