3.78/3.80	MAYBE
3.78/3.80	
3.78/3.80	
3.78/3.80	Connected Subgraphs where we couldn't prove Termination:
3.78/3.80	--------------------------------------------------------
3.78/3.80	SCC:
3.78/3.80	+--transitions: t1
3.78/3.80	+--nodes: n_n_n_f61_0_flip_EQ___1___1___1
3.78/3.80	
3.78/3.80	
3.80/3.86	EOF