2.39/2.43 YES 2.39/2.43 2.39/2.43 2.39/2.43 Termination: (Ranking Functions Found) 2.39/2.43 ------------ 2.39/2.43 l2: < < 9 - i4_0 > > 2.39/2.43 l1: < < 10 - i7_0, 0 > > 2.39/2.43 l0: < < 9 - i4_0 > > 2.39/2.43 l3: < < 9 - i7_0, 9 - i7_0 > > 2.39/2.43 2.39/2.43 2.46/2.49 EOF