\newcommand{\PublisherDomain}{mpabi}
\newcommand{\CardArea}{inf}
\newcommand{\CardSeries}{rv32i-asm}
\newcommand{\CardNumber}{03}
\newcommand{\CardSlug}{blinker}
\newcommand{\CardVersion}{v00.01}
\newcommand{\DocumentUUID}{99190b6d-b15a-5757-8794-edd283c40f93}
