[math-fun] Exhaustive garage door opener using De Bruijn sequences