11.22/11.25	MAYBE
11.22/11.25	
11.22/11.25	
11.22/11.25	Termination: (Ranking Functions Found)
11.22/11.25	------------
11.22/11.25	n_f325_0_loop_GT___3: < < arg3 > >
11.22/11.25	
11.22/11.25	
11.22/11.25	Connected Subgraphs where we couldn't prove Termination:
11.22/11.25	--------------------------------------------------------
11.22/11.25	SCC:
11.22/11.25	+--transitions: t3
11.22/11.25	+--nodes: n_n_n_f325_0_loop_GT___4___2___2
11.22/11.25	
11.22/11.25	
11.25/11.31	EOF