65.22/65.29	YES
65.22/65.29	
65.22/65.29	
65.22/65.29	Termination: (Ranking Functions Found)
65.22/65.29	------------
65.22/65.29	l2: < < - Outer9_0 + __const_10_0, 0 >, < - Inner10_0 + OuterIndex6_0 > >
65.22/65.29	l0: < < 1 - OuterIndex6_0 + __const_10_0, 1 > >
65.22/65.29	l9: < < - Outer9_0 + __const_10_0, - Outer9_0 + __const_10_0 > >
65.22/65.29	l7: < < - Outer9_0 + __const_10_0, 0 >, < - Inner10_0 + OuterIndex6_0 > >
65.22/65.29	l6: < < - Outer9_0 + __const_10_0, 0 >, < - Inner10_0 + OuterIndex6_0 > >
65.22/65.29	l8: < < - Outer9_0 + __const_10_0, - Outer9_0 + __const_10_0 > >
65.22/65.29	l4: < < - OuterIndex6_0 + __const_10_0, - OuterIndex6_0 + __const_10_0 >, < - InnerIndex7_0 + __const_10_0 > >
65.22/65.29	l1: < < - OuterIndex6_0 + __const_10_0, 1 - OuterIndex6_0 + __const_10_0 > >
65.22/65.29	l3: < < - Outer9_0 + __const_10_0, 0 >, < - Inner10_0 + OuterIndex6_0 > >
65.22/65.29	l5: < < - OuterIndex6_0 + __const_10_0, - OuterIndex6_0 + __const_10_0 >, < - InnerIndex7_0 + __const_10_0 > >
65.22/65.29	
65.22/65.29	
65.31/65.35	EOF