User blog comment:Deedlit11/Bignum Bakeoff appetizer/@comment-2602:306:CD4B:DFF0:3C15:A59C:3CE:CC83-20171106235325/@comment-80.98.179.160-20171116085845

May or may not be $H_{\varphi(8,0)}(81)$.