38.74/38.76	MAYBE
38.74/38.76	
38.74/38.76	
38.74/38.76	Connected Subgraphs where we couldn't prove Termination:
38.74/38.76	--------------------------------------------------------
38.74/38.76	SCC:
38.74/38.76	+--transitions: t13
38.74/38.76	+--nodes: n_n_n_l2___6___6___6
38.74/38.76	
38.74/38.76	
38.80/38.83	EOF