5.78/5.84	YES
5.78/5.84	
5.78/5.84	
5.78/5.84	Termination: (Ranking Functions Found)
5.78/5.84	------------
5.78/5.84	l0: < < 1 + i_0, 0 > >
5.78/5.84	l6: < < i_0, 0 >, < 3 - j_0, 3 - j_0 > >
5.78/5.84	l1: < < i_0, i_0 > >
5.78/5.84	l8: < < i_0, 0 >, < 3 - j_0, 0 > >
5.78/5.84	l7: < < i_0, 0 >, < 3 - j_0, 3 - j_0 > >
5.78/5.84	l5: < < i_0, 0 >, < 3 - j_0, 0 > >
5.78/5.84	
5.78/5.84	
5.83/5.90	EOF