118.86/118.94	MAYBE
118.86/118.94	
118.86/118.94	
118.86/118.94	Termination: (Ranking Functions Found)
118.86/118.94	------------
118.86/118.94	f8014_0_decode_NULL': < < 23 * arg3 -3 * arg6 >, < arg3 >, < arg3 >, < 23 * arg3 -3 * arg6 > >
118.86/118.94	f2555_0_generateUntil_GE: < < 119 - arg2 >, < 119 - arg2 >, < - arg2 + arg3 > >
118.86/118.94	f4698_0_get_InvokeMethod: < < arg3 > >
118.86/118.94	f7458_0_encode_NULL': < < arg3 >, < arg3 >, < arg3 >, < arg3 > >
118.86/118.94	f2954_0_generateNextPrime_GE: < < - arg4 + 2 * arg8 >, < 1 + arg5 >, < 1 + arg5 >, < 1 + arg5 > >
118.86/118.94	f7128_0_power_GT: < < - arg1 + arg2 > >
118.86/118.94	f7458_0_encode_NULL: < < 1 + arg3 >, < arg3 >, < 1 + arg3 >, < arg3 > >
118.86/118.94	f2380_0_generateNextPrime_GE: < < -1 - arg3 + arg5 > >
118.86/118.94	f2954_0_generateNextPrime_GE': < < - arg4 + 2 * arg8 >, < arg5 >, < arg5 >, < arg5 > >
118.86/118.94	f6369_0_main_GE': < < -88 * arg3 + 88 * arg4 - arg8 >, < - arg3 + 5 * arg5 >, < -1 - arg3 + arg4 >, < - arg3 + arg4 >, < -115 * arg3 + 115 * arg4 - arg11 >, < - arg3 + 5 * arg5 >, < -1 - arg3 + 5 * arg5 >, < - arg3 + arg4 >, < -1 - arg3 + 5 * arg5 >, < - arg3 + arg4 >, < -88 * arg3 + 88 * arg4 - arg8 > >
118.86/118.94	f8014_0_decode_NULL: < < 23 * arg3 >, < 3 + arg3 >, < arg3 >, < 23 * arg3 > >
118.86/118.94	f6369_0_main_GE: < < -88 * arg3 + 440 * arg5 >, < - arg3 + arg4 >, < - arg3 + arg4 >, < - arg3 + 5 * arg5 >, < -115 * arg3 + 575 * arg5 >, < - arg3 + 5 * arg5 >, < - arg3 + 5 * arg5 >, < - arg3 + arg4 >, < - arg3 + 5 * arg5 >, < - arg3 + 5 * arg5 >, < -88 * arg3 + 88 * arg4 > >
118.86/118.94	f5336_0_get_GT: < < arg1 > >
118.86/118.94	
118.86/118.94	
118.86/118.94	Connected Subgraphs where we couldn't prove Termination:
118.86/118.94	--------------------------------------------------------
118.86/118.94	SCC:
118.86/118.94	+--transitions: t4
118.86/118.94	+--nodes: n_n_n_f5552_0_inverse_LE___1___2___2
118.86/118.94	
118.86/118.94	
118.95/119.00	EOF