Re: [math-fun] 316912650057057350374175801344000001