8.87/8.91	MAYBE
8.87/8.91	
8.87/8.91	
8.87/8.91	Termination: (Ranking Functions Found)
8.87/8.91	------------
8.87/8.91	l6: < < x_5_0 > >
8.87/8.91	l1: < < x_5_0 > >
8.87/8.91	l8: < < x_5_0 > >
8.87/8.91	l3: < < x_5_0 > >
8.87/8.91	l7: < < x_5_0 > >
8.87/8.91	
8.87/8.91	
8.87/8.91	Connected Subgraphs where we couldn't prove Termination:
8.87/8.91	--------------------------------------------------------
8.87/8.91	SCC:
8.87/8.91	+--transitions: t3
8.87/8.91	+--nodes: n_n_n_l1___4___5___5
8.87/8.91	
8.87/8.91	
8.95/8.98	EOF