38.00/38.03	MAYBE
38.00/38.03	
38.00/38.03	
38.00/38.03	Termination: (Ranking Functions Found)
38.00/38.03	------------
38.00/38.03	n_l2___3: < < Pdolen_0 - i_0 > >
38.00/38.03	l3: < < Pdolen_0 - i_0 > >
38.00/38.03	n_l3___2: < < Pdolen_0 - i_0 > >
38.00/38.03	n_n_n_l2___4___2___2: < < Pdolen_0 - i_0 > >
38.00/38.03	n_l2___1: < < Pdolen_0 - i_0 > >
38.00/38.03	n_n_l3___2___1: < < Pdolen_0 - i_0 > >
38.00/38.03	l5: < < Pdolen_0 - i_0 > >
38.00/38.03	n_n_l2___4___2: < < Pdolen_0 - i_0 > >
38.00/38.03	l2: < < Pdolen_0 - i_0 > >
38.00/38.03	l0: < < Pdolen_0 - i_0 > >
38.00/38.03	n_n_n_l3___2___1___1: < < Pdolen_0 - i_0 > >
38.00/38.03	n_l3___5: < < Pdolen_0 - i_0 > >
38.00/38.03	n_l2___4: < < Pdolen_0 - i_0 > >
38.00/38.03	
38.00/38.03	
38.00/38.03	Connected Subgraphs where we couldn't prove Termination:
38.00/38.03	--------------------------------------------------------
38.00/38.03	SCC:
38.00/38.03	+--transitions: t3,t4
38.00/38.03	+--nodes: n_n_n_l2___4___2___2,n_n_n_l3___2___1___1
38.00/38.03	
38.00/38.03	
38.07/38.09	EOF