\newcommand{\PublisherDomain}{mpabi}
\newcommand{\CardArea}{inf}
\newcommand{\CardSeries}{rv32i-asm}
\newcommand{\CardNumber}{01}
\newcommand{\CardSlug}{number-systems}
\newcommand{\CardVersion}{v00.01}
\newcommand{\DocumentUUID}{d132962b-7deb-5605-8567-d5d35f688230}