268.44/268.53	YES
268.44/268.53	
268.44/268.53	
268.44/268.53	Termination: (Ranking Functions Found)
268.44/268.53	------------
268.44/268.53	l13: < < x0_0 - x4_0, 0 >, < x0_0 - x4_0 - x5_0, 0 >, < x4_0 + x5_0 - x6_0, x4_0 + x5_0 - x6_0 > >
268.44/268.53	l7: < < x0_0 - x1_0, 0 > >
268.44/268.53	l14: < < x0_0 - x4_0, 0 >, < x0_0 - x4_0 - x5_0, 0 >, < x4_0 + x5_0 - x6_0, 0 > >
268.44/268.53	l5: < < x0_0 - x1_0, 0 >, < 1 + x0_0 - x2_0, 1 + x0_0 - x2_0 > >
268.44/268.53	l2: < < x0_0 - x1_0, 0 > >
268.44/268.53	l11: < < x0_0 - x4_0, 0 >, < x0_0 - x4_0 - x5_0, 0 >, < x4_0 + x5_0 - x7_0, x4_0 + x5_0 - x7_0 > >
268.44/268.53	l12: < < x0_0 - x4_0, 0 >, < x0_0 - x4_0 - x5_0, 0 >, < x4_0 + x5_0 - x6_0, 0 > >
268.44/268.53	l0: < < x0_0 - x2_0, 0 > >
268.44/268.53	l16: < < x0_0 - x4_0, 0 >, < x0_0 - x4_0 - x5_0, 0 > >
268.44/268.53	l9: < < x0_0 - x4_0, 0 >, < x0_0 - x4_0 - x5_0, x0_0 - x4_0 - x5_0 > >
268.44/268.53	l8: < < x0_0 - x4_0, 0 >, < x0_0 - x4_0 - x5_0, 0 > >
268.44/268.53	l1: < < x0_0 - x2_0, x0_0 - x2_0 > >
268.44/268.53	l10: < < x0_0 - x4_0, 0 >, < x0_0 - x4_0 - x5_0, 0 >, < x4_0 + x5_0 - x7_0, 0 > >
268.44/268.53	l20: < < x0_0 - x4_0, 0 >, < x0_0 - x4_0 - x5_0, 0 > >
268.44/268.53	l23: < < 1 + x0_0 - x3_0, 0 > >
268.44/268.53	l6: < < 1 + x0_0 - x3_0, 1 + x0_0 - x3_0 > >
268.44/268.53	l4: < < x0_0 - x1_0, 0 >, < 1 + x0_0 - x2_0, 0 > >
268.44/268.53	l3: < < x0_0 - x1_0, x0_0 - x1_0 > >
268.44/268.53	l18: < < x0_0 - x4_0, 0 > >
268.44/268.53	l19: < < x0_0 - x4_0, x0_0 - x4_0 > >
268.44/268.53	l17: < < x0_0 - x4_0, 0 >, < x0_0 - x4_0 - x5_0, 0 >, < x4_0 + x5_0 - x6_0, 0 > >
268.44/268.53	
268.44/268.53	
268.51/268.60	EOF