8.97/9.04	MAYBE
8.97/9.04	
8.97/9.04	
8.97/9.04	Termination: (Ranking Functions Found)
8.97/9.04	------------
8.97/9.04	n_l1___2: < < n_0 > >
8.97/9.04	l1: < < n_0 > >
8.97/9.04	l2: < < n_0 > >
8.97/9.04	l0: < < n_0 > >
8.97/9.04	n_l0___1: < < 0 >, < n_0 > >
8.97/9.04	n_l0___3: < < n_0 > >
8.97/9.04	
8.97/9.04	
8.97/9.04	Connected Subgraphs where we couldn't prove Termination:
8.97/9.04	--------------------------------------------------------
8.97/9.04	SCC:
8.97/9.04	+--transitions: t2
8.97/9.04	+--nodes: n_n_n_l0___3___2___2
8.97/9.04	
8.97/9.04	
9.06/9.10	EOF