14.06/14.15	MAYBE
14.06/14.15	
14.06/14.15	
14.06/14.15	Termination: (Ranking Functions Found)
14.06/14.15	------------
14.06/14.15	n_l0___3: < < 1 + z_0, x_0 - y_0 > >
14.06/14.15	
14.06/14.15	
14.06/14.15	Connected Subgraphs where we couldn't prove Termination:
14.06/14.15	--------------------------------------------------------
14.06/14.15	SCC:
14.06/14.15	+--transitions: t3,t4,t5,t6
14.06/14.15	+--nodes: n_n_n_l0___1___1___1,n_n_n_l0___2___3___3
14.06/14.15	
14.06/14.15	
14.18/14.21	EOF