79.02/79.12	MAYBE
79.02/79.12	
79.02/79.12	
79.02/79.12	Termination: (Ranking Functions Found)
79.02/79.12	------------
79.02/79.12	l2: < < 4 - ___patmp1_0 >, < 4 - ___patmp1_0 > >
79.02/79.12	l4: < < -2 + k_243_0 >, < - ___patmp1_0 + k_139_0 > >
79.02/79.12	
79.02/79.12	
79.02/79.12	Connected Subgraphs where we couldn't prove Termination:
79.02/79.12	--------------------------------------------------------
79.02/79.12	SCC:
79.02/79.12	+--transitions: t9
79.02/79.12	+--nodes: n_n_n_l7___2___1___1
79.02/79.12	
79.02/79.12	
79.11/79.19	EOF