9.53/9.59	MAYBE
9.53/9.59	
9.53/9.59	
9.53/9.59	Connected Subgraphs where we couldn't prove Termination:
9.53/9.59	--------------------------------------------------------
9.53/9.59	SCC:
9.53/9.59	+--transitions: t3
9.53/9.59	+--nodes: n_n_n_f104_0_factorial_EQ___1___2___2
9.53/9.59	
9.53/9.59	
9.61/9.65	EOF