6.88/6.91 YES 6.88/6.91 6.88/6.91 6.88/6.91 Termination: (Ranking Functions Found) 6.88/6.91 ------------ 6.88/6.91 l2: < < x1_0, 0 > > 6.88/6.91 l3: < < x1_0, x1_0 > > 6.88/6.91 l9: < < __const_63_0 - x0_0 > > 6.88/6.91 l5: < < x0_0, x0_0 > > 6.88/6.91 l4: < < x0_0, 0 > > 6.88/6.91 l10: < < 1 + __const_63_0 - x0_0 > > 6.88/6.91 6.88/6.91 6.88/6.97 EOF