../../Task/Character-codes/Seed7