62.60/62.79	MAYBE
62.60/62.79	
62.60/62.79	
62.60/62.79	Termination: (Ranking Functions Found)
62.60/62.79	------------
62.60/62.79	l11: < < Pdolen_0 - i_0 > >
62.60/62.79	l12: < < Pdolen_0 - i_0 > >
62.60/62.79	l10: < < Pdolen_0 - i_0 > >
62.60/62.79	l9: < < Pdolen_0 - i_0 > >
62.60/62.79	
62.60/62.79	
62.60/62.79	Connected Subgraphs where we couldn't prove Termination:
62.60/62.79	--------------------------------------------------------
62.60/62.79	SCC:
62.60/62.79	+--transitions: t8
62.60/62.79	+--nodes: n_n_n_l3___6___5___5
62.60/62.79	
62.60/62.79	
62.60/62.86	EOF