42.58/42.66	MAYBE
42.58/42.66	
42.58/42.66	
42.58/42.66	Connected Subgraphs where we couldn't prove Termination:
42.58/42.66	--------------------------------------------------------
42.58/42.66	SCC:
42.58/42.66	+--transitions: t10,t11,t12,t13,t14,t3,t4,t5,t6,t7,t8,t9
42.58/42.66	+--nodes: n_n_n_l0___10___7___7,n_n_n_l0___2___1___2,n_n_n_l0___5___4___5,n_n_n_l0___9___6___6,n_n_n_l1___4___2___3,n_n_n_l1___7___5___4,n_n_n_l3___1___3___1
42.58/42.66	
42.58/42.66	
42.68/42.72	EOF