94.74/94.79	MAYBE
94.74/94.79	
94.74/94.79	
94.74/94.79	Termination: (Ranking Functions Found)
94.74/94.79	------------
94.74/94.79	l6: < < -3 * ___patmp1_0 + 4 * k_139_0 > >
94.74/94.79	l8: < < - k_139_0 + 3 * k_243_0 > >
94.74/94.79	l7: < < -3 * ___patmp1_0 + 3 * k_187_0 > >
94.74/94.79	l0: < < -3 * len_263_0 + 6 * len_99_0 > >
94.74/94.79	
94.74/94.79	
94.74/94.79	Connected Subgraphs where we couldn't prove Termination:
94.74/94.79	--------------------------------------------------------
94.74/94.79	SCC:
94.74/94.79	+--transitions: t7,t8
94.74/94.79	+--nodes: n_n_n_l1___1___1___1
94.74/94.79	
94.74/94.79	
94.74/94.85	EOF