19.43/19.48	MAYBE
19.43/19.48	
19.43/19.48	
19.43/19.48	Termination: (Ranking Functions Found)
19.43/19.48	------------
19.43/19.48	n_l1___5: < < x_0 > >
19.43/19.48	l0: < < x_0 > >
19.43/19.48	n_n_n_l2___3___1___1: < < x_0 > >
19.43/19.48	n_n_n_l1___5___3___3: < < y_0 > >
19.43/19.48	n_n_l2___3___1: < < x_0 > >
19.43/19.48	l3: < < x_0 > >
19.43/19.48	n_l0___1: < < x_0 > >
19.43/19.48	n_l2___3: < < x_0 > >
19.43/19.48	l2: < < x_0 > >
19.43/19.48	n_n_n_l1___4___2___2: < < x_0 > >
19.43/19.48	n_l0___2: < < x_0 > >
19.43/19.48	n_l1___4: < < x_0 > >
19.43/19.48	n_n_l1___5___3: < < y_0 > >
19.43/19.48	n_n_l1___4___2: < < x_0 > >
19.43/19.48	l1: < < x_0 > >
19.43/19.48	
19.43/19.48	
19.43/19.48	Connected Subgraphs where we couldn't prove Termination:
19.43/19.48	--------------------------------------------------------
19.43/19.48	SCC:
19.43/19.48	+--transitions: t1,t2,t3,t5
19.43/19.48	+--nodes: n_n_n_l1___4___2___2,n_n_n_l1___5___3___3,n_n_n_l2___3___1___1
19.43/19.48	
19.43/19.48	
19.43/19.54	EOF