23.14/23.19	MAYBE
23.14/23.19	
23.14/23.19	
23.14/23.19	Termination: (Ranking Functions Found)
23.14/23.19	------------
23.14/23.19	l14: < < 2 - w_5_0 >, < 0 >, < 0 >, < -2 > >
23.14/23.19	l8: < < 2 - w_5_0 >, < 4 -2 * x_6_0 > >
23.14/23.19	n_l0___8: < < 0 >, < 1 - x_6_0 > >
23.14/23.19	n_l0___3: < < 1 - w_5_0 >, < 1 - x_6_0 > >
23.14/23.19	l10: < < w_5_0 >, < 2 -2 * x_6_0 >, < 2 * w_5_0 -2 * x_6_0 > >
23.14/23.19	l9: < < 2 - w_5_0 >, < 4 -2 * x_6_0 > >
23.14/23.19	l13: < < - w_5_0 + x_6_0 >, < 0 >, < 0 >, < - x_6_0 > >
23.14/23.19	l6: < < 3 - w_5_0 >, < w_5_0 -2 * x_6_0 >, < w_5_0 -2 * x_6_0 >, < w_5_0 -2 * x_6_0 >, < w_5_0 -2 * x_6_0 >, < 0 > >
23.14/23.19	l1: < < 2 - w_5_0 > >
23.14/23.19	n_l0___5: < < 2 - w_5_0 >, < 1 - w_5_0 > >
23.14/23.19	l7: < < 2 - w_5_0 >, < 2 -2 * x_6_0 > >
23.14/23.19	l0: < < 2 - w_5_0 >, < 2 -2 * x_6_0 >, < 2 -2 * x_6_0 >, < 2 -2 * x_6_0 >, < 2 -2 * x_6_0 >, < 0 > >
23.14/23.19	l11: < < 3 - w_5_0 >, < 2 -2 * x_6_0 >, < 2 -2 * x_6_0 > >
23.14/23.19	l2: < < 2 - w_5_0 > >
23.14/23.19	l15: < < w_5_0 >, < 0 >, < 0 >, < 0 >, < -2 >, < w_5_0 > >
23.14/23.19	l4: < < 1 >, < 2 -2 * x_6_0 >, < 2 * w_5_0 -2 * x_6_0 >, < 2 * w_5_0 -2 * x_6_0 >, < 2 * w_5_0 -2 * x_6_0 >, < 0 > >
23.14/23.19	n_l0___1: < < - w_5_0 > >
23.14/23.19	l12: < < 3 - w_5_0 >, < 2 -2 * x_6_0 >, < 2 -2 * x_6_0 > >
23.14/23.19	n_l0___4: < < 0 >, < -1 > >
23.14/23.19	l3: < < 2 - w_5_0 > >
23.14/23.19	l5: < < 3 - w_5_0 >, < 3 -2 * x_6_0 >, < 3 -2 * x_6_0 >, < 3 -2 * x_6_0 >, < 3 -2 * x_6_0 >, < 0 > >
23.14/23.19	
23.14/23.19	
23.14/23.19	Connected Subgraphs where we couldn't prove Termination:
23.14/23.19	--------------------------------------------------------
23.14/23.19	SCC:
23.14/23.19	+--transitions: t13
23.14/23.19	+--nodes: n_n_n_l0___4___7___6
23.14/23.19	
23.14/23.19	
23.14/23.26	EOF