93.25/93.30	YES
93.25/93.30	
93.25/93.30	
93.25/93.30	Termination: (Ranking Functions Found)
93.25/93.30	------------
93.25/93.30	f3403_0__init__LE: < < arg24 >, < arg8 + arg24 >, < arg24 >, < arg24 >, < arg24 > >
93.25/93.30	f6375_0_hasNext_EQ: < < - arg6 + arg12 >, < 0 >, < - arg6 + arg12 > >
93.25/93.30	f6874_0_equals_NE: < < arg16 - arg17 >, < -1 + arg3 >, < - arg8 + arg16 > >
93.25/93.30	f2624_0__init__LE: < < arg24 >, < arg10 + arg18 >, < arg24 >, < arg10 + arg24 >, < arg24 > >
93.25/93.30	f3783_0__init__LE: < < arg27 >, < arg8 + arg27 >, < arg27 >, < arg8 + arg27 >, < arg27 > >
93.25/93.30	
93.25/93.30	
93.30/93.36	EOF