27.06/27.12	MAYBE
27.06/27.12	
27.06/27.12	
27.06/27.12	Termination: (Ranking Functions Found)
27.06/27.12	------------
27.06/27.12	l2: < < - i_11_0 + length_10_0 > >
27.06/27.12	l4: < < - i_11_0 + length_10_0 > >
27.06/27.12	
27.06/27.12	
27.06/27.12	Connected Subgraphs where we couldn't prove Termination:
27.06/27.12	--------------------------------------------------------
27.06/27.12	SCC:
27.06/27.12	+--transitions: t3
27.06/27.12	+--nodes: n_n_n_l5___1___1___1
27.06/27.12	
27.06/27.12	
27.08/27.18	EOF