26.42/26.45	MAYBE
26.42/26.45	
26.42/26.45	
26.42/26.45	Termination: (Ranking Functions Found)
26.42/26.45	------------
26.42/26.45	l0: < < - i5_0 + length4_0 > >
26.42/26.45	l2: < < - i5_0 + tmp_0 > >
26.42/26.45	
26.42/26.45	
26.42/26.45	Connected Subgraphs where we couldn't prove Termination:
26.42/26.45	--------------------------------------------------------
26.42/26.45	SCC:
26.42/26.45	+--transitions: t10,t8,t9
26.42/26.45	+--nodes: n_n_n_l4___2___2___2,n_n_n_l5___1___1___1
26.42/26.45	
26.42/26.45	
26.42/26.52	EOF