3.22/3.23 YES 3.22/3.23 3.22/3.23 3.22/3.23 Termination: (Ranking Functions Found) 3.22/3.23 ------------ 3.22/3.23 f754_0_main_LE: < < arg1 > > 3.22/3.23 f704_0_nth_LE: < < arg3 > > 3.22/3.23 f964_0_nth_LE: < < arg1 >, < arg3 > > 3.22/3.23 f673_0_createIntList_LE: < < arg1 > > 3.22/3.23 3.22/3.23 3.22/3.30 EOF