36.44/36.52	MAYBE
36.44/36.52	
36.44/36.52	
36.44/36.52	Termination: (Ranking Functions Found)
36.44/36.52	------------
36.44/36.52	l4: < < - i6_0 + length5_0 > >
36.44/36.52	l5: < < - i6_0 + length5_0 > >
36.44/36.52	
36.44/36.52	
36.44/36.52	Connected Subgraphs where we couldn't prove Termination:
36.44/36.52	--------------------------------------------------------
36.44/36.52	SCC:
36.44/36.52	+--transitions: t12,t13,t14
36.44/36.52	+--nodes: n_n_n_l1___2___2___2,n_n_n_l2___1___1___1
36.44/36.52	
36.44/36.52	
36.56/36.58	EOF