5.46/5.51	YES
5.46/5.51	
5.46/5.51	
5.46/5.51	Termination: (Ranking Functions Found)
5.46/5.51	------------
5.46/5.51	l3: < < 200 * i_0 -100 * j_0, 199 * i_0 > >
5.46/5.51	l7: < < 200 * i_0 -100 * j_0, 199 * i_0 > >
5.46/5.51	l6: < < 200 * i_0 -100 * j_0, 100 * j_0 > >
5.46/5.51	l9: < < 98 - i_0, 98 - i_0 > >
5.46/5.51	l5: < < 99 - i_0, 99 - i_0 > >
5.46/5.51	l0: < < 99 - y4_0, 0 > >
5.46/5.51	l4: < < 200 * i_0 -100 * j_0, 100 * j_0 > >
5.46/5.51	l10: < < 98 - y4_0, 98 - y6_0 > >
5.46/5.51	l1: < < 98 - y4_0, 98 - y4_0 > >
5.46/5.51	l2: < < 99 - i_0, 99 - i_0 > >
5.46/5.51	
5.46/5.51	
5.55/5.57	EOF