Package g0701_0800.s0793_preimage_size_of_factorial_zeroes_function