\newcommand{\PublisherDomain}{mpabi}
\newcommand{\CardArea}{inf}
\newcommand{\CardSeries}{rv32i-asm}
\newcommand{\CardNumber}{05}
\newcommand{\CardSlug}{alu}
\newcommand{\CardVersion}{v00.01}
\newcommand{\DocumentUUID}{aabf60d8-9071-5f77-9bbb-2fc500f05358}
