62.49/62.57	MAYBE
62.49/62.57	
62.49/62.57	
62.49/62.57	Termination: (Ranking Functions Found)
62.49/62.57	------------
62.49/62.57	l0: < < - copied_0 >, < - copied_0 > >
62.49/62.57	l4: < < - copied_0 >, < - copied_0 > >
62.49/62.57	l5: < < - copied_0 >, < - copied_0 > >
62.49/62.57	l2: < < -1 > >
62.49/62.57	l3: < < 0 >, < e_0 - olde_0 > >
62.49/62.57	
62.49/62.57	
62.49/62.57	Connected Subgraphs where we couldn't prove Termination:
62.49/62.57	--------------------------------------------------------
62.49/62.57	SCC:
62.49/62.57	+--transitions: t10,t11,t12,t13
62.49/62.57	+--nodes: n_n_n_l0___1___4___4,n_n_n_l0___2___3___3
62.49/62.57	
62.49/62.57	
62.54/62.63	EOF