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