126.03/126.14	MAYBE
126.03/126.14	
126.03/126.14	
126.03/126.14	Termination: (Ranking Functions Found)
126.03/126.14	------------
126.03/126.14	l16: < < - i_28_0 + l_27_0 > >
126.03/126.14	l34: < < - i_28_0 + rv_13_0 > >
126.03/126.14	
126.03/126.14	
126.03/126.14	Connected Subgraphs where we couldn't prove Termination:
126.03/126.14	--------------------------------------------------------
126.03/126.14	SCC:
126.03/126.14	+--transitions: t3
126.03/126.14	+--nodes: n_n_n_l17___1___1___1
126.03/126.14	
126.03/126.14	
126.17/126.21	EOF