25.63/26.08	MAYBE
25.63/26.08	
25.63/26.08	
25.63/26.08	Connected Subgraphs where we couldn't prove Termination:
25.63/26.08	--------------------------------------------------------
25.63/26.08	SCC:
25.63/26.08	+--transitions: t9
25.63/26.08	+--nodes: n_n_n_l6___6___4___4
25.63/26.08	
25.63/26.08	
25.68/26.14	EOF