25.00/25.09	YES
25.00/25.09	
25.00/25.09	
25.00/25.09	Termination: (Ranking Functions Found)
25.00/25.09	------------
25.00/25.09	l11: < < x0_0 - x1_0, 0 > >
25.00/25.09	l16: < < - x0_0 + x1_0, 0 > >
25.00/25.09	l3: < < - x0_0 + x1_0, - x0_0 + x1_0 > >
25.00/25.09	l29: < < x0_0 - x1_0, x0_0 - x1_0 > >
25.00/25.09	l24: < < - x0_0 + x1_0, - x0_0 + x1_0 > >
25.00/25.09	l2: < < - x0_0 + x1_0, 0 > >
25.00/25.09	l17: < < - x0_0 + x1_0, - x0_0 + x1_0 > >
25.00/25.09	l12: < < x0_0 - x1_0, x0_0 - x1_0 > >
25.00/25.09	l4: < < - x0_0 + x1_0, - x0_0 + x1_0 > >
25.00/25.09	l23: < < - x0_0 + x1_0, - x0_0 + x1_0 > >
25.00/25.09	l18: < < - x0_0 + x1_0, - x0_0 + x1_0 > >
25.00/25.09	l9: < < x0_0 - x1_0 > >
25.00/25.09	l19: < < 1 + x0_0 - x1_0 > >
25.00/25.09	l28: < < x0_0 - x1_0, x0_0 - x1_0 > >
25.00/25.09	l27: < < x0_0 - x1_0, 0 > >
25.00/25.09	l22: < < - x0_0 + x1_0, 0 > >
25.00/25.09	l10: < < 1 + x0_0 - x1_0 > >
25.00/25.09	
25.00/25.09	
25.08/25.16	EOF