YES


Termination: (Ranking Functions Found)
------------
l3: < < -400 * i2_0 + 4 * x1_0 > >
l2: < < -400 * i2_0 + 3 * x1_0 >, < 2000 -400 * j3_0, 4 * x1_0 > >
l10: < < -400 * i2_0 + 3 * x1_0 >, < -400 * j3_0 + 5 * x1_0, 400 * j3_0 >, < -100 * k4_0 + x1_0 >, < -400 * l5_0 + 4 * x1_0 > >
l6: < < -400 * i2_0 + 3 * x1_0 >, < 2000 -400 * j3_0, 400 * j3_0 >, < 400 -100 * k4_0 > >
l8: < < -400 * i2_0 + 3 * x1_0 >, < -400 * j3_0 + 5 * x1_0, 400 * j3_0 >, < -100 * k4_0 + x1_0 >, < -400 * l5_0 + 3 * x1_0 > >
l11: < < -400 * i2_0 + 3 * x1_0 >, < -400 * j3_0 + 5 * x1_0, 400 * j3_0 >, < -100 * k4_0 + x1_0 >, < -400 * l5_0 + 3 * x1_0 > >
l9: < < -400 * i2_0 + 3 * x1_0 >, < -400 * j3_0 + 5 * x1_0, 400 * j3_0 >, < -100 * k4_0 + x1_0 >, < 1600 -400 * l5_0 > >
l4: < < -400 * i2_0 + 3 * x1_0 >, < 2000 -400 * j3_0, 1600 > >
l0: < < -400 * i2_0 + 4 * x1_0 > >
l7: < < -400 * i2_0 + 3 * x1_0 >, < -400 * j3_0 + 5 * x1_0, 400 * j3_0 >, < 400 -100 * k4_0 > >