5.28/5.32	YES
5.28/5.32	
5.28/5.32	
5.28/5.32	Termination: (Ranking Functions Found)
5.28/5.32	------------
5.28/5.32	l4: < < __const_99_0 - x0_0, 0 > >
5.28/5.32	l2: < < __const_20_0 - x1_0, 0 > >
5.28/5.32	l3: < < __const_20_0 - x1_0, __const_20_0 - x1_0 > >
5.28/5.32	l5: < < __const_99_0 - x0_0, __const_99_0 - x0_0 > >
5.28/5.32	
5.28/5.32	
5.31/5.38	EOF