7.34/7.64	MAYBE
7.34/7.64	
7.34/7.64	
7.34/7.64	Termination: (Ranking Functions Found)
7.34/7.64	------------
7.34/7.64	n_f121_0_loop_LE___4: < < arg1 > >
7.34/7.64	
7.34/7.64	
7.34/7.64	Connected Subgraphs where we couldn't prove Termination:
7.34/7.64	--------------------------------------------------------
7.34/7.64	SCC:
7.34/7.64	+--transitions: t3,t4,t5
7.34/7.64	+--nodes: n_n_n_f121_0_loop_LE___1___2___2,n_n_n_f121_0_loop_LE___3___1___1
7.34/7.64	
7.34/7.64	
7.42/7.70	EOF