30.28/30.31	YES
30.28/30.31	
30.28/30.31	
30.28/30.31	Termination: (Ranking Functions Found)
30.28/30.31	------------
30.28/30.31	l39: < < - ip_0 + n_0 >, < - iq_0 + n_0 > >
30.28/30.31	l40: < < - ip_0 + n_0 > >
30.28/30.31	l37: < < - ip_0 + n_0 >, < - iq_0 + n_0 > >
30.28/30.31	l38: < < - ip_0 + n_0 > >
30.28/30.31	
30.28/30.31	
30.29/30.37	EOF