3.13/3.17	YES
3.13/3.17	
3.13/3.17	
3.13/3.17	Termination: (Ranking Functions Found)
3.13/3.17	------------
3.13/3.17	l2: < < __const_100_0 - i_0 > >
3.13/3.17	l1: < < __const_200_0 - j_0 > >
3.13/3.17	l3: < < __const_200_0 - j_0 > >
3.13/3.17	l0: < < __const_100_0 - i_0 > >
3.13/3.17	
3.13/3.17	
3.20/3.23	EOF