19.16/19.25	YES
19.16/19.25	
19.16/19.25	
19.16/19.25	Termination: (Ranking Functions Found)
19.16/19.25	------------
19.16/19.25	l2: < < a_0 >, < a_0 >, < -1 + b_0 > >
19.16/19.25	l8: < < a_0 >, < a_0 > >
19.16/19.25	l7: < < a_0 >, < a_0 >, < b_0 >, < i_0 > >
19.16/19.25	l4: < < a_0 >, < a_0 >, < -1 + b_0 > >
19.16/19.25	l0: < < a_0 > >
19.16/19.25	l3: < < a_0 > >
19.16/19.25	l9: < < a_0 >, < a_0 >, < b_0 >, < -1 + i_0 > >
19.16/19.25	l6: < < a_0 >, < a_0 >, < b_0 >, < i_0 > >
19.16/19.25	l5: < < a_0 >, < a_0 >, < b_0 >, < -1 + i_0 > >
19.16/19.25	
19.16/19.25	
19.27/19.31	EOF