YES


Termination: (Ranking Functions Found)
------------
l31: < < -1 + __const_20_0 - i48_0 > >
l11: < < __const_200_0 - i20_0 > >
l12: < < - i20_0 + n19_0 > >
l30: < < __const_20_0 - i48_0 > >
l22: < < - i6_0 + n5_0, __const_100_0 - i6_0 > >
l21: < < 1 + __const_100_0 - i6_0, 0 > >
l24: < < __const_50_0 - i34_0 > >
l25: < < -1 + __const_50_0 - i34_0 > >