87.39/87.43	MAYBE
87.39/87.43	
87.39/87.43	
87.39/87.43	Termination: (Ranking Functions Found)
87.39/87.43	------------
87.39/87.43	l13: < < x_0 > >
87.39/87.43	l23: < < x_0 > >
87.39/87.43	n_l9___1: < < - e_0 >, < - e_0 > >
87.39/87.43	l14: < < x_0 > >
87.39/87.43	l0: < < x_0 > >
87.39/87.43	l5: < < x_0 > >
87.39/87.43	l11: < < x_0 >, < 0 > >
87.39/87.43	l2: < < b_0 > >
87.39/87.43	l8: < < b_0 > >
87.39/87.43	l21: < < x_0 > >
87.39/87.43	l16: < < x_0 >, < 0 > >
87.39/87.43	l12: < < x_0 > >
87.39/87.43	l22: < < x_0 > >
87.39/87.43	n_l11___29: < < 0 >, < 0 > >
87.39/87.43	l6: < < b_0 > >
87.39/87.43	l19: < < x_0 > >
87.39/87.43	l15: < < x_0 >, < - e_0 > >
87.39/87.43	l4: < < x_0 > >
87.39/87.43	n_l16___2: < < 0 >, < 0 > >
87.39/87.43	l7: < < x_0 > >
87.39/87.43	l9: < < x_0 >, < - e_0 > >
87.39/87.43	l17: < < x_0 >, < 0 > >
87.39/87.43	l3: < < b_0 > >
87.39/87.43	l18: < < -1 + x_0 > >
87.39/87.43	l1: < < -1 + b_0 > >
87.39/87.43	n_l16___3: < < 0 >, < 0 > >
87.39/87.43	l10: < < x_0 > >
87.39/87.43	
87.39/87.43	
87.39/87.43	Connected Subgraphs where we couldn't prove Termination:
87.39/87.43	--------------------------------------------------------
87.39/87.43	SCC:
87.39/87.43	+--transitions: t38,t39,t40,t43
87.39/87.43	+--nodes: n_n_n_l11___29___19___23,n_n_n_l16___2___14___10,n_n_n_l16___3___13___9
87.39/87.43	
87.39/87.43	
87.47/87.49	EOF