4.66/4.78	MAYBE
4.66/4.78	
4.66/4.78	
4.66/4.78	Termination: (Ranking Functions Found)
4.66/4.78	------------
4.66/4.78	l1: < < x_5_0 > >
4.66/4.78	l2: < < x_5_0 > >
4.66/4.78	l3: < < x_5_0 > >
4.66/4.78	n_l1___2: < < x_5_0 > >
4.66/4.78	
4.66/4.78	
4.66/4.78	Connected Subgraphs where we couldn't prove Termination:
4.66/4.78	--------------------------------------------------------
4.66/4.78	SCC:
4.66/4.78	+--transitions: t3
4.66/4.78	+--nodes: n_n_n_l1___1___2___2
4.66/4.78	
4.66/4.78	
4.78/4.84	EOF