39.91/39.98	YES
39.91/39.98	
39.91/39.98	
39.91/39.98	Termination: (Ranking Functions Found)
39.91/39.98	------------
39.91/39.98	f2503_0_isEqual_NONNULL: < < arg1 > >
39.91/39.98	f654_0_generation_NE: < < arg5 >, < -1 + arg2 > >
39.91/39.98	f4689_0_oddDistinctParts_NE: < < 2 + arg1 >, < arg1 > >
39.91/39.98	f2470_0_sublistAutoDual_InvokeMethod: < < 2 + arg1 > >
39.91/39.98	f3187_0_generation_InvokeMethod: < < arg3 >, < arg3 >, < arg2 >, < arg3 >, < arg3 > >
39.91/39.98	f4661_0_sublistOddDistinctParts_InvokeMethod: < < arg1 >, < arg1 >, < arg1 >, < arg1 >, < arg1 >, < 0 >, < 0 >, < arg1 >, < -1 >, < arg1 > >
39.91/39.98	f2440_0_insert_NONNULL: < < arg1 > >
39.91/39.98	f2373_0_generation_InvokeMethod: < < arg2 >, < arg2 >, < arg1 >, < arg5 >, < arg5 > >
39.91/39.98	f2504_0_union_NONNULL: < < arg1 > >
39.91/39.98	f609_0_generation_NONNULL: < < arg2 >, < arg2 >, < arg1 >, < arg2 >, < arg3 > >
39.91/39.98	f4689_0_oddDistinctParts_NE': < < arg1 >, < arg1 -2 * arg2 > >
39.91/39.98	f283_0_partitionOf_GT: < < arg4 - arg5 > >
39.91/39.98	f3192_0_dual_LE: < < arg1 >, < arg4 >, < arg4 >, < arg4 > >
39.91/39.98	f4854_0_sublistOddDistinctParts_EQ: < < -2 + arg1 >, < -2 + arg1 >, < arg1 -2 * arg2 >, < -2 + arg1 >, < -2 + arg1 >, < arg1 >, < arg2 > >
39.91/39.99	f4740_0_sublistOddDistinctParts_NULL: < < arg2 >, < -2 + arg1 >, < arg2 >, < -2 + arg1 >, < -2 + arg1 >, < 0 >, < 0 >, < -2 + arg1 >, < 0 > >
39.91/39.99	f1674_0_number_greater_LT: < < arg1 >, < arg1 - arg2 > >
39.91/39.99	
39.91/39.99	
40.00/40.05	EOF