49.45/49.51	MAYBE
49.45/49.51	
49.45/49.51	
49.45/49.51	Termination: (Ranking Functions Found)
49.45/49.51	------------
49.45/49.51	n_f99_0_loop_aux_LE___4: < < 0 >, < 0 > >
49.45/49.51	n_f128_0_loop_aux_EQ___5: < < 0 >, < 0 > >
49.45/49.51	n_n_n_f99_0_loop_aux_LE___4___2___3: < < 8 > >
49.45/49.51	n_f128_0_loop_aux_EQ___2: < < 0 >, < 0 > >
49.45/49.51	n_f99_0_loop_aux_LE___8: < < 0 >, < 0 > >
49.45/49.51	n_f128_0_loop_aux_EQ___6: < < -8 + arg2 >, < -8 + arg2 > >
49.45/49.51	n_n_f99_0_loop_aux_LE___8___3: < < 8 >, < 8 > >
49.45/49.51	n_n_f99_0_loop_aux_LE___4___2: < < 8 >, < 8 > >
49.45/49.51	n_n_f128_0_loop_aux_EQ___11___4: < < -1 + arg2 > >
49.45/49.51	n_n_n_f99_0_loop_aux_LE___7___1___2: < < arg3 > >
49.45/49.51	n_f128_0_loop_aux_EQ___11: < < -8 + arg2 > >
49.45/49.51	n_f128_0_loop_aux_EQ___3: < < 0 >, < 0 > >
49.45/49.51	n_f128_0_loop_aux_EQ___12: < < 0 >, < 0 > >
49.45/49.51	n_f99_0_loop_aux_LE___10: < < 0 >, < 0 > >
49.45/49.51	n_f128_0_loop_aux_EQ___1: < < 0 >, < 0 > >
49.45/49.51	n_n_f99_0_loop_aux_LE___7___1: < < arg3 >, < arg3 > >
49.45/49.51	n_n_n_f99_0_loop_aux_LE___8___3___1: < < 8 > >
49.45/49.51	n_f99_0_loop_aux_LE___7: < < -8 + arg3 >, < -8 + arg3 > >
49.45/49.51	n_f99_0_loop_aux_LE___9: < < 0 >, < 0 > >
49.45/49.51	
49.45/49.51	
49.45/49.51	Connected Subgraphs where we couldn't prove Termination:
49.45/49.51	--------------------------------------------------------
49.45/49.51	SCC:
49.45/49.51	+--transitions: t11,t12,t13,t6,t7,t8
49.45/49.51	+--nodes: n_n_n_f99_0_loop_aux_LE___4___2___3,n_n_n_f99_0_loop_aux_LE___7___1___2,n_n_n_f99_0_loop_aux_LE___8___3___1
49.45/49.51	
49.45/49.51	
49.51/49.57	EOF