../../Task/Range-extraction/Seed7