3.16/3.19	YES
3.16/3.19	
3.16/3.19	
3.16/3.19	Termination: (Ranking Functions Found)
3.16/3.19	------------
3.16/3.19	f1543_0_clear_EQ: < < arg3 > >
3.16/3.19	
3.16/3.19	
3.20/3.25	EOF