5.59/5.69	YES
5.59/5.69	
5.59/5.69	
5.59/5.69	Termination: (Ranking Functions Found)
5.59/5.69	------------
5.59/5.69	l0: < < __const_9_0 - x0_0, 0 > >
5.59/5.69	l1: < < __const_9_0 - x0_0, __const_9_0 - x0_0 > >
5.59/5.69	l2: < < __const_9_0 - x0_0, 0 >, < __const_11_0 - x1_0, 0 > >
5.59/5.69	l3: < < __const_9_0 - x0_0, 0 >, < __const_11_0 - x1_0, __const_11_0 - x1_0 > >
5.59/5.69	
5.59/5.69	
5.68/5.76	EOF