160.69/160.77	MAYBE
160.69/160.77	
160.69/160.77	
160.69/160.77	Termination: (Ranking Functions Found)
160.69/160.77	------------
160.69/160.77	f5514_0_sum_GE: < < - arg2 + arg4 >, < - arg3 + arg4 > >
160.69/160.77	f5494_0_product_GE: < < 1 - arg2 + arg3 > >
160.69/160.77	f810_0__init__GE: < < arg1 -2 * arg3 + 2 * arg4 > >
160.69/160.77	f401_0_main_GE: < < 1 - arg2 + arg3 > >
160.69/160.77	f6926_0_transpose_GT: < < - arg3 + arg4 >, < - arg2 + arg3 > >
160.69/160.77	f930_0_main_GE': < < - arg2 + arg4 >, < -1 - arg3 + arg4 >, < - arg3 + arg4 >, < - arg3 + arg4 > >
160.69/160.77	f1782_0__init__GE: < < - arg2 + arg3 > >
160.69/160.77	f8902_0_product_GE: < < - arg2 + arg5 >, < -1 - arg3 + arg5 >, < - arg4 + arg5 > >
160.69/160.77	f2825_0_main_GE: < < - arg3 + arg6 >, < - arg4 + arg6 >, < - arg4 + arg6 >, < - arg4 + arg6 > >
160.69/160.77	f9424_0_submatrix_GE: < < - arg4 >, < -1 - arg4 + arg8 >, < - arg7 + arg9 >, < - arg7 + arg9 >, < - arg7 + arg9 > >
160.69/160.77	f2647_0__init__GE: < < -1 - arg2 + arg4 >, < - arg3 + arg4 > >
160.69/160.77	f4961_0_transpose_GE: < < 1 - arg2 + arg3 > >
160.69/160.77	f3834_0_sum_GE: < < 1 - arg2 + arg3 > >
160.69/160.77	f7999_0_product_GE: < < - arg2 + arg4 >, < - arg3 + arg4 > >
160.69/160.77	f1738_0__init__GE: < < arg2 -2 * arg3 + 2 * arg5 >, < - arg4 + arg5 > >
160.69/160.77	f2825_0_main_GE': < < - arg3 + arg6 >, < -1 - arg4 + arg6 >, < - arg4 + arg6 >, < -1 - arg4 + arg6 > >
160.69/160.77	f1594_0_main_GE: < < 1 - arg3 + arg5 > >
160.69/160.77	f8521_0_submatrix_GE: < < - arg5 >, < - arg5 + arg6 > >
160.69/160.77	f930_0_main_GE: < < - arg2 + arg4 >, < - arg3 + arg4 >, < - arg3 + arg4 >, < 1 - arg3 + arg4 > >
160.69/160.77	
160.69/160.77	
160.69/160.77	Connected Subgraphs where we couldn't prove Termination:
160.69/160.77	--------------------------------------------------------
160.69/160.77	SCC:
160.69/160.77	+--transitions: t10,t11,t12,t13,t14,t15,t16,t17,t18,t19,t8,t9
160.69/160.77	+--nodes: n_n_n_f6845_0_determinant_GE_P___4___4___4,n_n_n_f6845_0_determinant_GE_P___8___7___7,n_n_n_f6845_0_determinant_GE___5___5___5,n_n_n_f6845_0_determinant_GE___9___8___8,n_n_n_f7078_0_determinant_ArrayAccess___3___3___3,n_n_n_f7078_0_determinant_ArrayAccess___7___6___6
160.69/160.77	
160.69/160.77	
160.75/160.83	EOF