21.46/21.56	MAYBE
21.46/21.56	
21.46/21.56	
21.46/21.56	Termination: (Ranking Functions Found)
21.46/21.56	------------
21.46/21.56	l4: < < - y_6_0 + z_7_0 >, < 0 >, < 0 >, < - y_6_0 + z_7_0 > >
21.46/21.56	l6: < < - y_6_0 + z_7_0 >, < 0 >, < 0 >, < -1 - y_6_0 + z_7_0 > >
21.46/21.56	l11: < < -1 - y_6_0 + z_7_0 >, < 0 >, < 1 > >
21.46/21.56	l5: < < - y_6_0 + z_7_0 >, < 0 >, < 0 >, < -1 - y_6_0 + z_7_0 > >
21.46/21.56	l9: < < - y_6_0 + z_7_0 >, < -1 - y_6_0 + z_7_0 > >
21.46/21.56	l1: < < - y_6_0 + z_7_0 >, < - y_6_0 + z_7_0 >, < - y_6_0 + z_7_0 >, < - x_5_0 + y_6_0 > >
21.46/21.56	l12: < < -1 - y_6_0 + z_7_0 >, < 0 >, < 0 > >
21.46/21.56	l2: < < - y_6_0 + z_7_0 >, < 0 >, < 0 >, < - y_6_0 + z_7_0 > >
21.46/21.56	l3: < < -1 - y_6_0 + z_7_0 >, < 0 >, < 1 > >
21.46/21.56	l13: < < -1 - y_6_0 + z_7_0 >, < 0 >, < 0 > >
21.46/21.56	l10: < < - y_6_0 + z_7_0 >, < -1 - y_6_0 + z_7_0 > >
21.46/21.56	l7: < < - y_6_0 + z_7_0 >, < - y_6_0 + z_7_0 >, < - y_6_0 + z_7_0 >, < - x_5_0 + y_6_0 > >
21.46/21.56	
21.46/21.56	
21.46/21.56	Connected Subgraphs where we couldn't prove Termination:
21.46/21.56	--------------------------------------------------------
21.46/21.56	SCC:
21.46/21.56	+--transitions: t9
21.46/21.56	+--nodes: n_n_n_l3___1___1___1
21.46/21.56	
21.46/21.56	
21.61/21.62	EOF