64.17/64.25	MAYBE
64.17/64.25	
64.17/64.25	
64.17/64.25	Connected Subgraphs where we couldn't prove Termination:
64.17/64.25	--------------------------------------------------------
64.17/64.25	SCC:
64.17/64.25	+--transitions: t10,t11,t12,t13,t14
64.17/64.25	+--nodes: n_n_n_l0___5___4___4,n_n_n_l1___4___3___3,n_n_n_l2___3___5___5
64.17/64.25	
64.17/64.25	
64.28/64.31	EOF