7.40/7.46	MAYBE
7.40/7.46	
7.40/7.46	
7.40/7.46	Termination: (Ranking Functions Found)
7.40/7.46	------------
7.40/7.46	l2: < < - x_5_0 + y_6_0 > >
7.40/7.46	l3: < < - x_5_0 + y_6_0 > >
7.40/7.46	n_l0___2: < < - x_5_0 + y_6_0 >, < - x_5_0 + y_6_0 > >
7.40/7.46	l4: < < - x_5_0 + y_6_0 > >
7.40/7.46	l0: < < - x_5_0 + y_6_0 > >
7.40/7.46	n_l0___1: < < - x_5_0 + y_6_0 >, < -1 - x_5_0 + y_6_0 > >
7.40/7.46	
7.40/7.46	
7.40/7.46	Connected Subgraphs where we couldn't prove Termination:
7.40/7.46	--------------------------------------------------------
7.40/7.46	SCC:
7.40/7.46	+--transitions: t3
7.40/7.46	+--nodes: n_n_n_l0___1___2___2
7.40/7.46	
7.40/7.46	
7.49/7.52	EOF