7.04/7.12	MAYBE
7.04/7.12	
7.04/7.12	
7.04/7.12	Termination: (Ranking Functions Found)
7.04/7.12	------------
7.04/7.12	l8: < < x_5_0 > >
7.04/7.12	n_l1___1: < < x_5_0 >, < x_5_0 > >
7.04/7.12	l6: < < 1 + x_5_0 > >
7.04/7.12	l3: < < x_5_0 > >
7.04/7.12	l7: < < x_5_0 > >
7.04/7.12	n_l1___2: < < x_5_0 > >
7.04/7.12	l1: < < x_5_0 > >
7.04/7.12	
7.04/7.12	
7.04/7.12	Connected Subgraphs where we couldn't prove Termination:
7.04/7.12	--------------------------------------------------------
7.04/7.12	SCC:
7.04/7.12	+--transitions: t6
7.04/7.12	+--nodes: n_n_n_l1___2___1___1
7.04/7.12	
7.04/7.12	
7.14/7.18	EOF