YES


Termination: (Ranking Functions Found)
------------
l8: < < i8_0 > >
l6: < < i8_0 > >
l4: < < i6_0 > >
l5: < < i6_0 > >