10.57/10.60	MAYBE
10.57/10.60	
10.57/10.60	
10.57/10.60	Termination: (Ranking Functions Found)
10.57/10.60	------------
10.57/10.60	l1: < < -2 + 3 * __const_10_0 -2 * i_0, 3 * __const_10_0 -3 * i_0 > >
10.57/10.60	l2: < < -2 + 3 * __const_10_0 -2 * i_0, 0 > >
10.57/10.60	l0: < < 3 * __const_10_0 -2 * i_0, 0 > >
10.57/10.60	l3: < < -2 + 3 * __const_10_0 -2 * i_0, 0 > >
10.57/10.60	
10.57/10.60	
10.57/10.60	Connected Subgraphs where we couldn't prove Termination:
10.57/10.60	--------------------------------------------------------
10.57/10.60	SCC:
10.57/10.60	+--transitions: t4,t6
10.57/10.60	+--nodes: n_n_n_l2___2___2___2,n_n_n_l3___1___1___1
10.57/10.60	
10.57/10.60	
10.61/10.67	EOF