8.77/8.86	MAYBE
8.77/8.86	
8.77/8.86	
8.77/8.86	Termination: (Ranking Functions Found)
8.77/8.86	------------
8.77/8.86	l2: < < 10 - i_0, 0 > >
8.77/8.86	l1: < < 10 - i_0, 10 - i_0 > >
8.77/8.86	l0: < < 11 - i_0, 0 > >
8.77/8.86	l3: < < 10 - i_0, 0 > >
8.77/8.86	
8.77/8.86	
8.77/8.86	Connected Subgraphs where we couldn't prove Termination:
8.77/8.86	--------------------------------------------------------
8.77/8.86	SCC:
8.77/8.86	+--transitions: t4,t6
8.77/8.86	+--nodes: n_n_n_l2___2___2___2,n_n_n_l3___1___1___1
8.77/8.86	
8.77/8.86	
8.87/8.92	EOF