24.56/24.69	MAYBE
24.56/24.69	
24.56/24.69	
24.56/24.69	Termination: (Ranking Functions Found)
24.56/24.69	------------
24.56/24.69	l2: < < x_0 >, < x_0 > >
24.56/24.69	l3: < < x_0 >, < x_0 > >
24.56/24.69	
24.56/24.69	
24.56/24.69	Connected Subgraphs where we couldn't prove Termination:
24.56/24.69	--------------------------------------------------------
24.56/24.69	SCC:
24.56/24.69	+--transitions: t3,t4,t5,t6,t7
24.56/24.69	+--nodes: n_n_n_l0___1___1___1,n_n_n_l0___4___4___4,n_n_n_l1___2___2___2
24.56/24.69	
24.56/24.69	
24.67/24.75	EOF