1.71/1.76 YES 1.71/1.76 1.71/1.76 1.71/1.76 Termination: (Ranking Functions Found) 1.71/1.76 ------------ 1.71/1.76 l2: < < 9 - i_0 > > 1.71/1.76 l3: < < 9 - i_0 > > 1.71/1.76 1.71/1.76 1.79/1.82 EOF