As for func GreatestDivisorUpTo.There are odd numbers(for 8191) that does’t have a divisor, so may be we should call it with input arg “q_mp_sz + 1”?
