3.71/3.75 YES 3.71/3.75 3.71/3.75 3.71/3.75 Termination: (Ranking Functions Found) 3.71/3.75 ------------ 3.71/3.75 l2: < < - i_0 + n_0 > > 3.71/3.75 l0: < < - i_0 + n_0 > > 3.71/3.75 3.71/3.75 3.75/3.82 EOF