101.71/101.79	MAYBE
101.71/101.79	
101.71/101.79	
101.71/101.79	Termination: (Ranking Functions Found)
101.71/101.79	------------
101.71/101.79	f4377_0_InterpretArray_LT: < < arg3 >, < arg3 >, < arg3 > >
101.71/101.79	n_f3817_0_SolveDP_ArrayAccess___15: < < 6 - arg5 > >
101.71/101.79	n_f4251_0_max_LE___9: < < 7 - arg2 >, < 120 -10 * arg4 >, < 120 -10 * arg4 >, < -11 + 132 * arg2 -11 * arg4 >, < -1 + 12 * arg2 - arg4 > >
101.71/101.79	n_f3537_0_SolveDP_GT___11: < < 7 - arg2 > >
101.71/101.79	n_f2602_0_SolveDP_GE___14: < < 7 - arg2 > >
101.71/101.79	n_f4251_0_max_LE___8: < < 7 - arg2 >, < 120 -10 * arg4 >, < 120 -10 * arg4 >, < -12 + 132 * arg2 -10 * arg4 >, < -1 + 12 * arg2 - arg4 > >
101.71/101.79	n_f3537_0_SolveDP_GT___17: < < 7 - arg2 >, < 132 -11 * arg3 >, < 132 -11 * arg3 >, < 132 * arg2 -11 * arg3 >, < 12 * arg2 - arg3 > >
101.71/101.79	n_f3817_0_SolveDP_ArrayAccess___13: < < 6 * arg1 -7 * arg5 >, < 132 -11 * arg3 >, < 120 * arg1 -10 * arg3 -120 * arg5 >, < -11 + 132 * arg1 -11 * arg3 > >
101.71/101.79	n_f4251_0_max_LE___7: < < 7 - arg2 > >
101.71/101.79	n_f4251_0_max_LE___6: < < 7 - arg2 > >
101.71/101.79	n_f4251_0_max_LE___5: < < 7 - arg2 > >
101.71/101.79	n_f4251_0_max_LE___10: < < 7 - arg2 >, < 120 -10 * arg4 >, < 120 -10 * arg4 >, < -11 + 132 * arg2 -11 * arg4 > >
101.71/101.79	f261_0_SolveDP_GT: < < 1 - arg2 >, < 12 - arg2 > >
101.71/101.79	n_f3817_0_SolveDP_ArrayAccess___16: < < 6 * arg1 -7 * arg5 > >
101.71/101.79	n_f3817_0_SolveDP_ArrayAccess___12: < < 6 - arg5 >, < 120 * arg1 -10 * arg3 -120 * arg5 >, < 120 * arg1 -10 * arg3 -120 * arg5 >, < 120 * arg1 -10 * arg3 + 12 * arg5 >, < -1 + 12 * arg1 - arg3 > >
101.71/101.79	
101.71/101.79	
101.71/101.79	Connected Subgraphs where we couldn't prove Termination:
101.71/101.79	--------------------------------------------------------
101.71/101.79	SCC:
101.71/101.79	+--transitions: t51,t52,t53
101.71/101.79	+--nodes: n_n_n_f3902_0_Display_GT___3___1___1,n_n_n_f3902_0_Display_GT___4___20___20
101.71/101.79	
101.71/101.79	
101.71/101.86	EOF