56.16/56.48	MAYBE
56.16/56.48	
56.16/56.48	
56.16/56.48	Termination: (Ranking Functions Found)
56.16/56.48	------------
56.16/56.48	n_f565_0_loop_NE___9: < < -1 + arg1 > >
56.16/56.48	n_f490_0_loop_GT___3: < < arg3 > >
56.16/56.48	n_f490_0_loop_GT___20: < < 340 -20 * arg3 > >
56.16/56.48	n_f564_0_loop_NE___19: < < 17 * arg1 -20 * arg3 > >
56.16/56.48	n_f490_0_loop_GT___11: < < arg1 > >
56.16/56.48	f565_0_loop_NE: < < arg1 >, < arg1 > >
56.16/56.48	f573_0_loop_NE: < < arg1 >, < arg1 > >
56.16/56.48	f490_0_loop_GT: < < arg1 >, < arg1 > >
56.16/56.48	f564_0_loop_NE: < < 2 + arg4 >, < 2 + arg4 > >
56.16/56.48	n_f565_0_loop_NE___2: < < arg2 > >
56.16/56.48	
56.16/56.48	
56.16/56.48	Connected Subgraphs where we couldn't prove Termination:
56.16/56.48	--------------------------------------------------------
56.16/56.48	SCC:
56.16/56.48	+--transitions: t6
56.16/56.48	+--nodes: n_n_n_f490_0_loop_GT___10___3___3
56.16/56.48	
56.16/56.48	
56.26/56.55	EOF