23.99/24.05	MAYBE
23.99/24.05	
23.99/24.05	
23.99/24.05	Termination: (Ranking Functions Found)
23.99/24.05	------------
23.99/24.05	n_f74_0_loop_aux_LE___7: < < arg3 > >
23.99/24.05	
23.99/24.05	
23.99/24.05	Connected Subgraphs where we couldn't prove Termination:
23.99/24.05	--------------------------------------------------------
23.99/24.05	SCC:
23.99/24.05	+--transitions: t3,t4,t5
23.99/24.05	+--nodes: n_n_n_f74_0_loop_aux_LE___4___2___2
23.99/24.05	
23.99/24.05	
24.04/24.12	EOF