72.31/72.34	MAYBE
72.31/72.34	
72.31/72.34	
72.31/72.34	Connected Subgraphs where we couldn't prove Termination:
72.31/72.34	--------------------------------------------------------
72.31/72.34	SCC:
72.31/72.34	+--transitions: t10,t11,t12,t13,t14
72.31/72.34	+--nodes: n_n_n_l0___6___2___2,n_n_n_l1___5___1___1,n_n_n_l2___8___5___5
72.31/72.34	
72.31/72.34	
72.31/72.40	EOF