5.13/5.16	YES
5.13/5.16	
5.13/5.16	
5.13/5.16	Termination: (Ranking Functions Found)
5.13/5.16	------------
5.13/5.16	l3: < < - copied_0 >, < - copied_0 > >
5.13/5.16	l5: < < - copied_0 >, < - copied_0 >, < 90 + 10 * e_0 - n_0 >, < n_0 > >
5.13/5.16	l2: < < -1 > >
5.13/5.16	l4: < < - copied_0 >, < - copied_0 >, < 90 + 10 * e_0 - n_0 > >
5.13/5.16	l0: < < - copied_0 >, < - copied_0 >, < 90 + 10 * e_0 - n_0 >, < n_0 > >
5.13/5.16	
5.13/5.16	
5.13/5.22	EOF