79.20/79.36	MAYBE
79.20/79.36	
79.20/79.36	
79.20/79.36	Termination: (Ranking Functions Found)
79.20/79.36	------------
79.20/79.36	l4: < < 3 - __patmp1_0 >, < 4 * k_139_0 -3 * len_263_0 > >
79.20/79.36	l2: < < 4 - __patmp1_0 >, < 3 * __patmp2_0 > >
79.20/79.36	
79.20/79.36	
79.20/79.36	Connected Subgraphs where we couldn't prove Termination:
79.20/79.36	--------------------------------------------------------
79.20/79.36	SCC:
79.20/79.36	+--transitions: t8
79.20/79.36	+--nodes: n_n_n_l7___1___2___2
79.20/79.36	
79.20/79.36	
79.34/79.42	EOF