5.65/5.75	MAYBE
5.65/5.75	
5.65/5.75	
5.65/5.75	Termination: (Ranking Functions Found)
5.65/5.75	------------
5.65/5.75	f50_0_increase_GE: < < 9 - arg1 > >
5.65/5.75	f79_0_increase_LE: < < 8 - arg1 > >
5.65/5.75	
5.65/5.75	
5.65/5.75	Connected Subgraphs where we couldn't prove Termination:
5.65/5.75	--------------------------------------------------------
5.65/5.75	SCC:
5.65/5.75	+--transitions: t4
5.65/5.75	+--nodes: n_n_n_f79_0_increase_LE___1___1___1
5.65/5.75	
5.65/5.75	
5.78/5.81	EOF