7.14/7.17	YES
7.14/7.17	
7.14/7.17	
7.14/7.17	Termination: (Ranking Functions Found)
7.14/7.17	------------
7.14/7.17	l2: < < 9 - il_0 > >
7.14/7.17	l6: < < 8 - x6_0 > >
7.14/7.17	l0: < < 9 - x4_0 > >
7.14/7.17	l8: < < 8 - x6_0 > >
7.14/7.17	l3: < < 9 - il_0 > >
7.14/7.17	l7: < < 9 - il_0 > >
7.14/7.17	l9: < < 9 - il_0 > >
7.14/7.17	
7.14/7.17	
7.22/7.54	EOF