58.04/58.06	MAYBE
58.04/58.06	
58.04/58.06	
58.04/58.06	Termination: (Ranking Functions Found)
58.04/58.06	------------
58.04/58.06	l4: < < - i_11_0 + length_10_0 > >
58.04/58.06	l2: < < - i_11_0 + length_10_0 > >
58.04/58.06	
58.04/58.06	
58.04/58.06	Connected Subgraphs where we couldn't prove Termination:
58.04/58.06	--------------------------------------------------------
58.04/58.06	SCC:
58.04/58.06	+--transitions: t7,t8,t9
58.04/58.06	+--nodes: n_n_n_l5___2___2___2,n_n_n_l9___1___1___1
58.04/58.06	
58.04/58.06	
58.10/58.12	EOF