79.44/79.49	MAYBE
79.44/79.49	
79.44/79.49	
79.44/79.49	Termination: (Ranking Functions Found)
79.44/79.49	------------
79.44/79.49	l4: < < 4 -2 * len_165_0 > >
79.44/79.49	l12: < < 2 -2 * len_165_0 > >
79.44/79.49	l11: < < -2 * ___patmp1_0 + 2 * k_110_0 > >
79.44/79.49	l13: < < k_110_0 -2 * len_165_0 > >
79.44/79.49	
79.44/79.49	
79.44/79.49	Connected Subgraphs where we couldn't prove Termination:
79.44/79.49	--------------------------------------------------------
79.44/79.49	SCC:
79.44/79.49	+--transitions: t10,t9
79.44/79.49	+--nodes: n_n_n_l0___1___1___1
79.44/79.49	
79.44/79.49	
79.49/79.55	EOF