Re: [math-fun] Hall-Senior number