1.19/1.23	YES
1.19/1.23	
1.19/1.23	
1.19/1.23	Termination: (Ranking Functions Found)
1.19/1.23	------------
1.19/1.23	f200_0_solve_GE: < < arg1 > >
1.19/1.23	
1.19/1.23	
1.28/1.29	EOF