[math-fun] First known AP25