62.95/63.04	MAYBE
62.95/63.04	
62.95/63.04	
62.95/63.04	Connected Subgraphs where we couldn't prove Termination:
62.95/63.04	--------------------------------------------------------
62.95/63.04	SCC:
62.95/63.04	+--transitions: t13
62.95/63.04	+--nodes: n_n_n_l1___12___6___5
62.95/63.04	
62.95/63.04	
63.04/63.10	EOF