226.60/226.68	YES
226.60/226.68	
226.60/226.68	
226.60/226.68	Termination: (Ranking Functions Found)
226.60/226.68	------------
226.60/226.68	l13: < < a_330_0 > >
226.60/226.68	l14: < < a_330_0 > >
226.60/226.68	l90: < < - a_147_0 + i_30_0 - len_226_0 > >
226.60/226.68	l4: < < a_241_0 > >
226.60/226.68	l44: < < a_147_0 > >
226.60/226.68	l15: < < a_330_0 > >
226.60/226.68	l43: < < a_147_0 > >
226.60/226.68	l12: < < 1 + a_353_0 > >
226.60/226.68	l92: < < - a_147_0 + i_30_0 - len_226_0 > >
226.60/226.68	l88: < < a_241_0 > >
226.60/226.68	l84: < < -1 - i_94_0 + length_29_0 > >
226.60/226.68	l18: < < a_330_0 > >
226.60/226.68	l89: < < a_241_0 > >
226.60/226.68	l87: < < 1 + a_277_0 > >
226.60/226.68	l17: < < a_330_0 > >
226.60/226.68	l81: < < - i_30_0 + length_29_0 > >
226.60/226.68	l40: < < a_147_0 > >
226.60/226.68	l39: < < 1 + i_30_0 - len_132_0 > >
226.60/226.68	l10: < < 1 + a_330_0 > >
226.60/226.68	l91: < < a_241_0 > >
226.60/226.68	l41: < < a_147_0 > >
226.60/226.68	l42: < < a_147_0 > >
226.60/226.68	l36: < < 1 + a_147_0 > >
226.60/226.68	l16: < < a_330_0 > >
226.60/226.68	
226.60/226.68	
226.67/226.77	EOF