26.19/26.25	MAYBE
26.19/26.25	
26.19/26.25	
26.19/26.25	Termination: (Ranking Functions Found)
26.19/26.25	------------
26.19/26.25	l14: < < - w_5_0 + x_6_0 >, < 0 >, < 0 >, < -2 > >
26.19/26.25	l7: < < 2 - w_5_0 >, < 1 - x_6_0 > >
26.19/26.25	n_l0___19: < < - x_6_0 > >
26.19/26.25	l13: < < 2 - w_5_0 >, < 0 >, < 0 >, < - x_6_0 > >
26.19/26.25	l11: < < 3 - w_5_0 >, < 1 - x_6_0 >, < 1 - x_6_0 > >
26.19/26.25	l6: < < 3 - w_5_0 >, < 1 - x_6_0 >, < 1 - x_6_0 >, < 2 -2 * x_6_0 >, < w_5_0 -2 * x_6_0 >, < 0 > >
26.19/26.25	l8: < < 2 - w_5_0 >, < 1 - x_6_0 > >
26.19/26.25	l9: < < 2 - w_5_0 >, < 1 - x_6_0 > >
26.19/26.25	l12: < < 3 - w_5_0 >, < 1 - x_6_0 >, < 1 - x_6_0 > >
26.19/26.25	l10: < < w_5_0 >, < w_5_0 - x_6_0 >, < w_5_0 - x_6_0 > >
26.19/26.25	l4: < < w_5_0 >, < w_5_0 - x_6_0 >, < 1 - x_6_0 >, < 2 * w_5_0 -2 * x_6_0 >, < 2 -2 * x_6_0 >, < 0 > >
26.19/26.25	l2: < < 2 - w_5_0 > >
26.19/26.25	l0: < < 2 - w_5_0 >, < 1 - x_6_0 >, < 1 - x_6_0 >, < 2 -2 * x_6_0 >, < 1 + w_5_0 -2 * x_6_0 >, < 0 > >
26.19/26.25	l3: < < 2 - w_5_0 > >
26.19/26.25	l5: < < 3 - w_5_0 >, < 1 - x_6_0 >, < 1 - x_6_0 >, < 2 -2 * x_6_0 >, < w_5_0 -2 * x_6_0 >, < 0 > >
26.19/26.25	l1: < < 2 - w_5_0 > >
26.19/26.25	l15: < < w_5_0 >, < 0 >, < 0 >, < 0 >, < -2 >, < w_5_0 > >
26.19/26.25	
26.19/26.25	
26.19/26.25	Connected Subgraphs where we couldn't prove Termination:
26.19/26.25	--------------------------------------------------------
26.19/26.25	SCC:
26.19/26.25	+--transitions: t7
26.19/26.25	+--nodes: n_n_n_l0___15___13___8
26.19/26.25	
26.19/26.25	
26.27/26.31	EOF