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