50.12/50.14	MAYBE
50.12/50.14	
50.12/50.14	
50.12/50.14	Termination: (Ranking Functions Found)
50.12/50.14	------------
50.12/50.14	l10: < < -1 + Pdolen_0 - i_0, Pdolen_0 - i_0 > >
50.12/50.14	l8: < < Pdolen_0 - i_0, 1 > >
50.12/50.14	l9: < < -1 + Pdolen_0 - i_0, Pdolen_0 - i_0 > >
50.12/50.14	l7: < < -1 + Pdolen_0 - i_0, Pdolen_0 - i_0 > >
50.12/50.14	
50.12/50.14	
50.12/50.14	Connected Subgraphs where we couldn't prove Termination:
50.12/50.14	--------------------------------------------------------
50.12/50.14	SCC:
50.12/50.14	+--transitions: t11
50.12/50.14	+--nodes: n_n_n_l3___4___3___3
50.12/50.14	
50.12/50.14	
50.12/50.20	EOF