\newcommand{\PublisherDomain}{mpabi}
\newcommand{\CardArea}{inf}
\newcommand{\CardSeries}{cpp-y2s1}
\newcommand{\CardNumber}{06}
\newcommand{\CardSlug}{invariants}
\newcommand{\CardVersion}{v00.01}
\newcommand{\DocumentUUID}{ff5b018f-132a-5690-9407-5961aa4504f2}