32.75/32.84	YES
32.75/32.84	
32.75/32.84	
32.75/32.84	Termination: (Ranking Functions Found)
32.75/32.84	------------
32.75/32.84	l8: < < x0_0 - x2_0, 0 > >
32.75/32.84	l10: < < -1 + x0_0 - x1_0 > >
32.75/32.84	l7: < < x0_0 - x3_0, 0 > >
32.75/32.84	l3: < < x0_0 - x2_0, 0 >, < x0_0 - x3_0, x0_0 - x3_0 > >
32.75/32.84	l4: < < x0_0 - x2_0, 0 > >
32.75/32.84	l11: < < x0_0 - x1_0 > >
32.75/32.84	l0: < < x0_0 - x2_0, 0 >, < x0_0 - x3_0, 0 > >
32.75/32.84	l9: < < x0_0 - x2_0, x0_0 - x2_0 > >
32.75/32.84	l1: < < x0_0 - x2_0, 0 >, < x0_0 - x3_0, 0 > >
32.75/32.84	l5: < < x0_0 - x3_0, x0_0 - x3_0 > >
32.75/32.84	l2: < < x0_0 - x2_0, 0 >, < x0_0 - x3_0, 0 > >
32.75/32.84	
32.75/32.84	
32.86/32.90	EOF