User blog comment:Nedherman1/My Factorial vs HAN!!/@comment-35811215-20180703173610/@comment-25601061-20180707030826

Well, I'd say that the really high-levelled computable notations land somewhere between 260 and 400, as some really high-levelled notations (like BMS) outgrow by a really long shot other really high-levelled notations (like SAN).