../../Task/Binary-digits/Seed7