104.41/104.48	MAYBE
104.41/104.48	
104.41/104.48	
104.41/104.48	Termination: (Ranking Functions Found)
104.41/104.48	------------
104.41/104.48	l19: < < x3_0, x3_0 > >
104.41/104.48	l6: < < 1 + x2_0 > >
104.41/104.48	l26: < < x5_0 > >
104.41/104.48	l18: < < x3_0, 0 > >
104.41/104.48	l5: < < x2_0 > >
104.41/104.48	l0: < < x4_0 > >
104.41/104.48	l7: < < x2_0 > >
104.41/104.48	l12: < < -1 + oldX6_0 > >
104.41/104.48	l21: < < x3_0, 0 > >
104.41/104.48	l14: < < x5_0, 0 > >
104.41/104.48	l15: < < x5_0, x5_0 > >
104.41/104.48	l27: < < -1 + oldX5_0 > >
104.41/104.48	l11: < < x6_0 > >
104.41/104.48	l2: < < -4 + x4_0 > >
104.41/104.48	
104.41/104.48	
104.41/104.48	Connected Subgraphs where we couldn't prove Termination:
104.41/104.48	--------------------------------------------------------
104.41/104.48	SCC:
104.41/104.48	+--transitions: t17
104.41/104.48	+--nodes: n_n_n_l16___15___13___13
104.41/104.48	
104.41/104.48	
104.49/104.55	EOF