Re: [math-fun] First known AP25