7.28/7.30	MAYBE
7.28/7.30	
7.28/7.30	
7.28/7.30	Termination: (Ranking Functions Found)
7.28/7.30	------------
7.28/7.30	n_l1___1: < < x_5_0 >, < x_5_0 > >
7.28/7.30	l3: < < x_5_0 > >
7.28/7.30	n_l1___2: < < x_5_0 > >
7.28/7.30	l6: < < -1 + x_5_0 > >
7.28/7.30	l5: < < -1 + x_5_0 > >
7.28/7.30	l4: < < x_5_0 > >
7.28/7.30	l1: < < x_5_0 > >
7.28/7.30	
7.28/7.30	
7.28/7.30	Connected Subgraphs where we couldn't prove Termination:
7.28/7.30	--------------------------------------------------------
7.28/7.30	SCC:
7.28/7.30	+--transitions: t6
7.28/7.30	+--nodes: n_n_n_l1___2___1___1
7.28/7.30	
7.28/7.30	
7.28/7.36	EOF