214.06/214.17	MAYBE
214.06/214.17	
214.06/214.17	
214.06/214.17	Connected Subgraphs where we couldn't prove Termination:
214.06/214.17	--------------------------------------------------------
214.06/214.17	SCC:
214.06/214.17	+--transitions: t1,t10,t11,t12,t13,t14,t15,t16,t17,t18,t19,t2,t20,t21,t22,t23,t24,t25,t3,t4,t5,t6,t7,t8,t9
214.06/214.17	+--nodes: n_n_n_l0___20___12___12,n_n_n_l0___4___3___3,n_n_n_l1___12___7___7,n_n_n_l1___19___11___11,n_n_n_l1___3___2___2,n_n_n_l2___18___10___10,n_n_n_l4___14___9___9,n_n_n_l4___21___13___13,n_n_n_l5___7___5___5,n_n_n_l6___6___4___4,n_n_n_l6___9___1___1,n_n_n_l6___9___6___6,n_n_n_l6___9___8___8
214.06/214.17	
214.06/214.17	
214.14/214.23	EOF