8.33/8.40	MAYBE
8.33/8.40	
8.33/8.40	
8.33/8.40	Termination: (Ranking Functions Found)
8.33/8.40	------------
8.33/8.40	l3: < < y_0 > >
8.33/8.40	l2: < < y_0 > >
8.33/8.40	
8.33/8.40	
8.33/8.40	Connected Subgraphs where we couldn't prove Termination:
8.33/8.40	--------------------------------------------------------
8.33/8.40	SCC:
8.33/8.40	+--transitions: t6
8.33/8.40	+--nodes: n_n_n_l4___1___2___2
8.33/8.40	
8.33/8.40	
8.42/8.47	EOF