../../Task/Hamming-numbers/Seed7