7.26/7.71	MAYBE
7.26/7.71	
7.26/7.71	
7.26/7.71	Termination: (Ranking Functions Found)
7.26/7.71	------------
7.26/7.71	n_f66_0_loop_LE___4: < < arg1 > >
7.26/7.71	
7.26/7.71	
7.26/7.71	Connected Subgraphs where we couldn't prove Termination:
7.26/7.71	--------------------------------------------------------
7.26/7.71	SCC:
7.26/7.71	+--transitions: t3,t4,t5
7.26/7.71	+--nodes: n_n_n_f66_0_loop_LE___2___2___2,n_n_n_f66_0_loop_LE___3___1___1
7.26/7.71	
7.26/7.71	
7.36/7.78	EOF