126.14/126.21	MAYBE
126.14/126.21	
126.14/126.21	
126.14/126.21	Termination: (Ranking Functions Found)
126.14/126.21	------------
126.14/126.21	n_f1209_0_checkPrime_GE_P___7: < < arg1 - arg2 > >
126.14/126.21	f1209_0_checkPrime_GE: < < arg1 - arg2 >, < - arg4 > >
126.14/126.21	f731_0_main_GE: < < - arg3 + arg4 > >
126.14/126.21	f1209_0_checkPrime_GE': < < arg1 - arg2 >, < - arg4 > >
126.14/126.21	n_f1029_0_findKthPrime_GE___3: < < - arg2 + arg3 > >
126.14/126.21	n_f1209_0_checkPrime_GE___6: < < arg1 - arg2 > >
126.14/126.21	f1029_0_findKthPrime_GE: < < - arg2 + arg3 >, < - arg1 > >
126.14/126.21	n_n_f1209_0_checkPrime_GE___4___2: < < arg1 - arg2 > >
126.14/126.21	n_n_f1209_0_checkPrime_GE_P___2___1: < < arg1 - arg2 > >
126.14/126.21	n_f1029_0_findKthPrime_GE___5: < < - arg2 + arg3 > >
126.14/126.21	n_f1209_0_checkPrime_GE___4: < < arg1 - arg2 > >
126.14/126.21	n_n_f1209_0_checkPrime_GE___6___5: < < arg1 - arg2 > >
126.14/126.21	n_n_f1209_0_checkPrime_GE_P___7___3: < < arg1 - arg2 > >
126.14/126.21	n_f1209_0_checkPrime_GE_P___2: < < arg1 - arg2 > >
126.14/126.21	
126.14/126.21	
126.14/126.21	Connected Subgraphs where we couldn't prove Termination:
126.14/126.21	--------------------------------------------------------
126.14/126.21	SCC:
126.14/126.21	+--transitions: t15
126.14/126.21	+--nodes: n_n_n_f1280_0_getPowerOfKInSource_IntArithmetic___1___4___4
126.14/126.21	
126.14/126.21	
126.20/126.27	EOF