YES


Termination: (Ranking Functions Found)
------------
l11: < < -i20_0 + n19_0 > >
l12: < < -i20_0 + n19_0 > >
l21: < < -i6_0 + n5_0 > >
l22: < < -i6_0 + n5_0 > >
l24: < < -i34_0 + n33_0 > >
l25: < < -i34_0 + n33_0 > >
l30: < < -i48_0 + n47_0 > >
l31: < < -i48_0 + n47_0 > >


method 1