8.15/8.21	MAYBE
8.15/8.21	
8.15/8.21	
8.15/8.21	Termination: (Ranking Functions Found)
8.15/8.21	------------
8.15/8.21	l4: < < 1 + x_5_0 > >
8.15/8.21	l5: < < x_5_0 > >
8.15/8.21	l3: < < 1 + x_5_0 > >
8.15/8.21	l6: < < x_5_0 > >
8.15/8.21	l1: < < 1 + x_5_0 > >
8.15/8.21	
8.15/8.21	
8.15/8.21	Connected Subgraphs where we couldn't prove Termination:
8.15/8.21	--------------------------------------------------------
8.15/8.21	SCC:
8.15/8.21	+--transitions: t3
8.15/8.21	+--nodes: n_n_n_l1___3___4___4
8.15/8.21	
8.15/8.21	
8.21/8.27	EOF