1.67/1.75 YES 1.67/1.75 1.67/1.75 1.67/1.75 Termination: (Ranking Functions Found) 1.67/1.75 ------------ 1.67/1.75 l2: < < 1 - j_0 > > 1.67/1.75 l3: < < 1 - j_0 > > 1.67/1.75 1.67/1.75 1.76/1.80 EOF