../../Task/Empty-string/Seed7