YES


Termination: (Ranking Functions Found)
------------
l7: < < i_0, 0 >, < 3 - j_0, 3 - j_0 > >
l5: < < i_0, 0 >, < 3 - j_0, 0 > >
l8: < < i_0, 0 >, < 3 - j_0, 0 > >
l6: < < i_0, 0 >, < 3 - j_0, 3 - j_0 > >
l0: < < 1 + i_0, 0 > >
l1: < < i_0, i_0 > >