../../Task/Pick-random-element/Seed7