20.12/20.19	YES
20.12/20.19	
20.12/20.19	
20.12/20.19	Termination: (Ranking Functions Found)
20.12/20.19	------------
20.12/20.19	l13: < < 19 - OuterIndex8_0 >, < 19 - InnerIndex9_0 > >
20.12/20.19	l2: < < 19 - OuterIndex5_0, 0 >, < 20 - InnerIndex6_0, 0 > >
20.12/20.19	l7: < < -20 * Outer13_0 + 19 * OuterIndex5_0, 0 >, < -20 * Inner14_0 + 20 * OuterIndex5_0, 0 > >
20.12/20.19	l3: < < 19 - OuterIndex5_0, 0 >, < 19 - InnerIndex6_0, 19 - InnerIndex6_0 > >
20.12/20.19	l8: < < -20 * Outer13_0 + 19 * OuterIndex5_0, 0 >, < -20 -20 * Inner14_0 + 20 * OuterIndex5_0, 0 >, < 20 - Index15_0, 0 > >
20.12/20.19	l4: < < 19 - OuterIndex8_0 > >
20.12/20.19	l0: < < 20 - OuterIndex5_0, 0 > >
20.12/20.19	l11: < < -20 * Outer13_0 + 19 * OuterIndex5_0, -20 * Outer13_0 + 19 * OuterIndex5_0 > >
20.12/20.19	l1: < < 19 - OuterIndex5_0, 19 - OuterIndex5_0 > >
20.12/20.19	l6: < < -20 * Outer13_0 + 19 * OuterIndex5_0, 0 >, < -20 -20 * Inner14_0 + 20 * OuterIndex5_0, 0 >, < 19 - Index15_0, 19 - Index15_0 > >
20.12/20.19	l9: < < -20 * Outer13_0 + 19 * OuterIndex5_0, 0 >, < -20 -20 * Inner14_0 + 20 * OuterIndex5_0, -20 * Inner14_0 + 19 * OuterIndex5_0 > >
20.12/20.19	l14: < < 19 - OuterIndex8_0 >, < 19 - InnerIndex9_0 > >
20.12/20.19	l5: < < 19 - OuterIndex8_0 > >
20.12/20.19	l10: < < 20 -20 * Outer13_0 + 19 * OuterIndex5_0, 0 > >
20.12/20.19	
20.12/20.19	
20.19/20.26	EOF