2.27/2.29 YES 2.27/2.29 2.27/2.29 2.27/2.29 Termination: (Ranking Functions Found) 2.27/2.29 ------------ 2.27/2.29 f274_0_power_LE: < < arg1 >, < arg1 >, < arg1 > > 2.27/2.29 f274_0_power_LE': < < -1 + arg1 >, < arg1 >, < -1 + arg1 > > 2.27/2.29 2.27/2.29 2.33/2.35 EOF