114.45/114.54	MAYBE
114.45/114.54	
114.45/114.54	
114.45/114.54	Termination: (Ranking Functions Found)
114.45/114.54	------------
114.45/114.54	l13: < < - i2_0 + nn2_0 > >
114.45/114.54	l10: < < - i1_0 + nn1_0 >, < - i2_0 + isign_0 + nn2_0, 0 > >
114.45/114.54	l16: < < - i2_0 + nn2_0 >, < - i1_0 + nn1_0, - i1_0 + nn1_0 > >
114.45/114.54	l4: < < - i1_0 + nn1_0 > >
114.45/114.54	l22: < < - i2_0 + nn2_0 >, < - i1_0 + nn1_0, 0 > >
114.45/114.54	l17: < < - i2_0 + nn2_0 > >
114.45/114.54	l9: < < - i2_0 + nn2_0 >, < - i1_0 + nn1_0, 0 > >
114.45/114.54	l6: < < - i2_0 + nn2_0 > >
114.45/114.54	l23: < < - i2_0 + nn2_0 >, < - i1_0 + nn1_0, 0 > >
114.45/114.54	l19: < < - i2_0 + nn2_0 >, < - i1_0 + nn1_0, 0 > >
114.45/114.54	l11: < < - i1_0 + nn1_0 >, < - i2_0 + nn2_0, - i2_0 + nn2_0 > >
114.45/114.54	l21: < < - i2_0 + nn2_0 >, < - i1_0 + nn1_0, 0 > >
114.45/114.54	l7: < < - i2_0 + nn2_0 > >
114.45/114.54	l5: < < - i2_0 + nn2_0 > >
114.45/114.54	l3: < < - i1_0 + nn1_0 > >
114.45/114.54	l18: < < - i2_0 + nn2_0 >, < - i1_0 + nn1_0, 0 > >
114.45/114.54	l12: < < - i2_0 + nn2_0 > >
114.45/114.54	l20: < < - i2_0 + nn2_0 >, < - i1_0 + nn1_0, 0 > >
114.45/114.54	l15: < < - i2_0 + nn2_0 >, < 1 - i1_0 + nn1_0, 0 > >
114.45/114.54	l8: < < - i2_0 + nn2_0 > >
114.45/114.54	l14: < < - i2_0 + nn2_0 > >
114.45/114.54	
114.45/114.54	
114.45/114.54	Connected Subgraphs where we couldn't prove Termination:
114.45/114.54	--------------------------------------------------------
114.45/114.54	SCC:
114.45/114.54	+--transitions: t10,t12,t62
114.45/114.54	+--nodes: n_n_n_l18___12___27___27,n_n_n_l20___4___25___25,n_n_n_l9___13___28___28
114.45/114.54	
114.45/114.54	
114.54/114.60	EOF