117.28/117.39	MAYBE
117.28/117.39	
117.28/117.39	
117.28/117.39	Connected Subgraphs where we couldn't prove Termination:
117.28/117.39	--------------------------------------------------------
117.28/117.39	SCC:
117.28/117.39	+--transitions: t1,t10,t11,t12,t13,t14,t15,t16,t17,t18,t19,t2,t20,t21,t3,t4,t5,t6,t7,t8,t9
117.28/117.39	+--nodes: n_n_n_l0___1___6___7,n_n_n_l0___1___7___6,n_n_n_l0___9___10___10,n_n_n_l2___7___9___9,n_n_n_l4___10___11___11,n_n_n_l5___4___3___3,n_n_n_l6___3___2___2,n_n_n_l6___6___1___4,n_n_n_l6___6___4___1,n_n_n_l6___6___5___5,n_n_n_l6___6___8___8
117.28/117.39	
117.28/117.39	
117.37/117.45	EOF