2.16/2.21 YES 2.16/2.21 2.16/2.21 2.16/2.21 Termination: (Ranking Functions Found) 2.16/2.21 ------------ 2.16/2.21 l2: < < 100 - i_5_0 > > 2.16/2.21 l0: < < 100 - i_5_0 > > 2.16/2.21 2.16/2.21 2.25/2.28 EOF