YES


Termination: (Ranking Functions Found)
------------
l11: < < -i20_0 + n19_0 > >
l12: < < -i20_0 + n19_0 > >
l17: < < -i6_0 + n5_0 > >
l18: < < -i6_0 + n5_0 > >
l24: < < -i34_0 + n33_0 > >
l25: < < -i34_0 + n33_0 > >
l26: < < -i48_0 + n47_0 > >
l27: < < -i48_0 + n47_0 > >
l34: < < -i62_0 + n61_0 > >
l35: < < -i62_0 + n61_0 > >


method 1