52.09/52.17	MAYBE
52.09/52.17	
52.09/52.17	
52.09/52.17	Termination: (Ranking Functions Found)
52.09/52.17	------------
52.09/52.17	n_f887_0_loop_aux_GT___20: < < -2 + arg1 > >
52.09/52.17	f962_0_loop_aux_NE: < < arg2 >, < arg2 >, < arg2 > >
52.09/52.17	f887_0_loop_aux_GT: < < arg1 >, < arg1 >, < arg1 > >
52.09/52.17	n_f887_0_loop_aux_GT___8: < < 17 - arg3 > >
52.09/52.17	n_f962_0_loop_aux_NE___10: < < 20 * arg1 - arg2 > >
52.09/52.17	n_f961_0_loop_aux_NE___7: < < - arg1 + 16 * arg3 > >
52.09/52.17	n_f887_0_loop_aux_GT___12: < < 20 * arg3 > >
52.09/52.17	f970_0_loop_aux_NE: < < 1 + arg2 >, < 1 + arg2 >, < arg1 > >
52.09/52.17	f961_0_loop_aux_NE: < < 2 + arg5 >, < arg2 >, < arg2 > >
52.09/52.17	n_f962_0_loop_aux_NE___21: < < arg4 > >
52.09/52.17	
52.09/52.17	
52.09/52.17	Connected Subgraphs where we couldn't prove Termination:
52.09/52.17	--------------------------------------------------------
52.09/52.17	SCC:
52.09/52.17	+--transitions: t6
52.09/52.17	+--nodes: n_n_n_f887_0_loop_aux_GT___19___4___4
52.09/52.17	
52.09/52.17	
52.16/52.23	EOF