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