[math-fun] The UUDDUUD sequence, or the 3/7th sequence