https://123dok.com/document/yn4jr9pz-restricted-growth-functions-gray-codes-exhaustive-generations.html