106.62/106.63	MAYBE
106.62/106.63	
106.62/106.63	
106.62/106.63	Termination: (Ranking Functions Found)
106.62/106.63	------------
106.62/106.63	n_l1___10: < < 2 * a_13_0 > >
106.62/106.63	n_n_l1___10___7: < < 2 * a_13_0 > >
106.62/106.63	
106.62/106.63	
106.62/106.63	Connected Subgraphs where we couldn't prove Termination:
106.62/106.63	--------------------------------------------------------
106.62/106.63	SCC:
106.62/106.63	+--transitions: t10,t11,t12,t13,t14,t15,t16,t5,t6,t7,t8,t9
106.62/106.63	+--nodes: n_n_n_l1___1___5___5,n_n_n_l1___5___3___3,n_n_n_l1___6___1___1,n_n_n_l1___6___4___4,n_n_n_l5___4___2___2,n_n_n_l5___9___6___6
106.62/106.63	
106.62/106.63	
106.64/106.70	EOF