4.63/4.69	MAYBE
4.63/4.69	
4.63/4.69	
4.63/4.69	Connected Subgraphs where we couldn't prove Termination:
4.63/4.69	--------------------------------------------------------
4.63/4.69	SCC:
4.63/4.69	+--transitions: t1
4.63/4.69	+--nodes: n_n_n_f124_0_main_GT___2___1___1
4.63/4.69	
4.63/4.69	
4.71/4.75	EOF