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

And it should be H_(φ _8(0) )(81). Sorry for poor formatting.