128.18/128.03	MAYBE
128.18/128.03	
128.18/128.03	
128.18/128.03	Termination: (Ranking Functions Found)
128.18/128.03	------------
128.18/128.03	l19: < < - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < - i1_0 + nn1_0 > >
128.18/128.03	l9: < < - i2_0 + nn2_0 > >
128.18/128.03	l23: < < - i1_0 + nn1_0 > >
128.18/128.03	l14: < < - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < - i1_0 + nn1_0 > >
128.18/128.03	l5: < < - i2_0 + nn2_0 >, < - i2_0 + nn2_0 >, < - i2_0 + nn2_0 > >
128.18/128.03	l12: < < - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < - i1_0 + nn1_0 > >
128.18/128.03	l13: < < - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < - i1_0 + nn1_0 > >
128.18/128.03	l22: < < - i1_0 + nn1_0 >, < - i2_0 + nn2_0 > >
128.18/128.03	l16: < < - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < - i1_0 + nn1_0 > >
128.18/128.03	l7: < < - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < - i1_0 + nn1_0 > >
128.18/128.03	l4: < < -1 - i2_0 + nn2_0 >, < - i2_0 + nn2_0 >, < - i2_0 + nn2_0 > >
128.18/128.03	l3: < < - i2_0 + nn2_0 >, < - i2_0 + nn2_0 >, < - i2_0 + nn2_0 > >
128.18/128.03	l11: < < - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 > >
128.18/128.03	l17: < < - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < - i1_0 + nn1_0 > >
128.18/128.03	l8: < < - i2_0 + nn2_0 > >
128.18/128.03	l15: < < - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < - i1_0 + nn1_0 > >
128.18/128.03	l25: < < - i1_0 + nn1_0 > >
128.18/128.03	l6: < < - i2_0 + nn2_0 >, < - i2_0 + nn2_0 >, < - i2_0 + nn2_0 > >
128.18/128.03	l10: < < - i2_0 + nn2_0 > >
128.18/128.03	l18: < < - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < 1 - i2_0 + nn2_0 >, < - i1_0 + nn1_0 > >
128.18/128.03	l24: < < - i1_0 + nn1_0 >, < - i2_0 + nn2_0 > >
128.18/128.03	
128.18/128.03	
128.18/128.03	Connected Subgraphs where we couldn't prove Termination:
128.18/128.03	--------------------------------------------------------
128.18/128.03	SCC:
128.18/128.03	+--transitions: t10,t12,t62
128.18/128.03	+--nodes: n_n_n_l12___12___27___27,n_n_n_l14___4___25___25,n_n_n_l7___13___28___28
128.18/128.03	
128.18/128.03	
128.31/128.09	EOF