3.61/3.68	MAYBE
3.61/3.68	
3.61/3.68	
3.61/3.68	Connected Subgraphs where we couldn't prove Termination:
3.61/3.68	--------------------------------------------------------
3.61/3.68	SCC:
3.61/3.68	+--transitions: t1
3.61/3.68	+--nodes: n_n_n_f200_0_gcd_LE___1___1___1
3.61/3.68	
3.61/3.68	
3.69/3.74	EOF