[math-fun] n = 562576374032409