../../Task/Range-expansion/Seed7