14.97/15.07	MAYBE
14.97/15.07	
14.97/15.07	
14.97/15.07	Termination: (Ranking Functions Found)
14.97/15.07	------------
14.97/15.07	n_n_n_l1___2___2___2: < < x_0 > >
14.97/15.07	l0: < < -1 + x_0 > >
14.97/15.07	l2: < < i_0 - j_0 + y_0 > >
14.97/15.07	n_n_l2___1___1: < < i_0 - j_0 + y_0 > >
14.97/15.07	n_n_l1___2___2: < < x_0 > >
14.97/15.07	n_l2___1: < < i_0 - j_0 + y_0 > >
14.97/15.07	n_l1___2: < < x_0 > >
14.97/15.07	l1: < < x_0 > >
14.97/15.07	n_n_n_l2___1___1___1: < < i_0 - j_0 + y_0 > >
14.97/15.07	
14.97/15.07	
14.97/15.07	Connected Subgraphs where we couldn't prove Termination:
14.97/15.07	--------------------------------------------------------
14.97/15.07	SCC:
14.97/15.07	+--transitions: t3,t5
14.97/15.07	+--nodes: n_n_n_l1___2___2___2,n_n_n_l2___1___1___1
14.97/15.07	
14.97/15.07	
15.05/15.13	EOF