17.24/17.30	MAYBE
17.24/17.30	
17.24/17.30	
17.24/17.30	Termination: (Ranking Functions Found)
17.24/17.30	------------
17.24/17.30	l3: < < -1 + k4_0 >, < k4_0 > >
17.24/17.30	l5: < < -1 + k4_0 > >
17.24/17.30	l4: < < -1 + k4_0 > >
17.24/17.30	l7: < < k4_0 >, < k4_0 > >
17.24/17.30	l2: < < -1 + k4_0 >, < k4_0 > >
17.24/17.30	l8: < < -1 + k4_0 >, < k4_0 > >
17.24/17.30	l6: < < -1 + k4_0 > >
17.24/17.30	
17.24/17.30	
17.24/17.30	Connected Subgraphs where we couldn't prove Termination:
17.24/17.30	--------------------------------------------------------
17.24/17.30	SCC:
17.24/17.30	+--transitions: t4
17.24/17.30	+--nodes: n_n_n_l0___5___5___5
17.24/17.30	
17.24/17.30	
17.32/17.37	EOF