3.50/3.59	MAYBE
3.50/3.59	
3.50/3.59	
3.50/3.59	Connected Subgraphs where we couldn't prove Termination:
3.50/3.59	--------------------------------------------------------
3.50/3.59	SCC:
3.50/3.59	+--transitions: t1
3.50/3.59	+--nodes: n_n_n_f68_0_main_GE___1___1___1
3.50/3.59	
3.50/3.59	
3.61/3.65	EOF