25.83/25.86	MAYBE
25.83/25.86	
25.83/25.86	
25.83/25.86	Termination: (Ranking Functions Found)
25.83/25.86	------------
25.83/25.86	l4: < < - i_28_0 + l_27_0 > >
25.83/25.86	l7: < < - i_28_0 + rv_13_0 > >
25.83/25.86	
25.83/25.86	
25.83/25.86	Connected Subgraphs where we couldn't prove Termination:
25.83/25.86	--------------------------------------------------------
25.83/25.86	SCC:
25.83/25.86	+--transitions: t3
25.83/25.86	+--nodes: n_n_n_l5___1___1___1
25.83/25.86	
25.83/25.86	
25.90/25.92	EOF