YES


Termination: (Ranking Functions Found)
------------
l3: < < 200 * i_0 -100 * j_0, 199 * i_0 > >
l7: < < 200 * i_0 -100 * j_0, 199 * i_0 > >
l1: < < 98 - y4_0, 98 - y4_0 > >
l5: < < 99 - i_0, 99 - i_0 > >
l10: < < 98 - y4_0, 98 - y6_0 > >
l6: < < 200 * i_0 -100 * j_0, 100 * j_0 > >
l0: < < 99 - y4_0, 0 > >
l9: < < 98 - i_0, 98 - i_0 > >
l4: < < 200 * i_0 -100 * j_0, 100 * j_0 > >
l2: < < 99 - i_0, 99 - i_0 > >