\newcommand{\aPrograms}{8}             %
\newcommand{\aTheorems}{16}            %
\newcommand{\aAxiomsOk}{47}            %
\newcommand{\aMutants}{100}            %
\newcommand{\aMutantsRust}{50}
\newcommand{\aMutantsJava}{50}
\newcommand{\aMutantsErr}{97}         %
\newcommand{\aMutantsTimeout}{3}      %
\newcommand{\aRustBound}{2^{28}}       %
\newcommand{\aJavaBound}{2^{27}}       %
\newcommand{\aCobolLines}{2,878}       %
\newcommand{\aStatements}{20}         %
\newcommand{\aTranslCalls}{191}        %
\newcommand{\aTranslUsd}{50.57}
\newcommand{\aaRuns}{92}
\newcommand{\aaFirstDiff}{32}          %
\newcommand{\aaFirstDiffPct}{35}       %
\newcommand{\aaPlainDiff}{20}          %
\newcommand{\aaPlainN}{42}
\newcommand{\aaGuideDiff}{10}          %
\newcommand{\aaGuideN}{47}
\newcommand{\aaBuildFail}{12}          %
\newcommand{\aaNotPass}{43}            %
\newcommand{\aaCollating}{31}          %
\newcommand{\aaVerifLang}{12}          %
\newcommand{\aaUninit}{6}              %
\newcommand{\aaTestPassProofFail}{0}   %
\newcommand{\bDefects}{2}
\newcommand{\cCommits}{63}
\newcommand{\cBehav}{9}
\newcommand{\cUnknown}{47}
\newcommand{\cBlocked}{7}
\newcommand{\cFunctions}{69}
\newcommand{\cFnBehav}{11}
\newcommand{\cModelUsd}{2.67}
\newcommand{\cCoreH}{16.5}
\newcommand{\cbUnits}{54}
\newcommand{\cbNewBehav}{0}            %
\newcommand{\cbUnblocked}{7}           %
\newcommand{\cbModelUsd}{2.40}
\newcommand{\ctwoUsd}{150.55}
\newcommand{\jsmnLines}{6,076}         %
\newcommand{\jsmnUsd}{262}             %
\newcommand{\rsProved}{46}             %
\newcommand{\rsRefuted}{86}            %
\newcommand{\rsUsd}{29}                %
\newcommand{\eAllInUsd}{3,130}     %
\newcommand{\eCoreH}{\textbf{??}}        %
\newcommand{\eCoreHMeasured}{52}        %
\newcommand{\eCleanCoreH}{7.9}  %
\newcommand{\eProofLines}{54,413}         %
\newcommand{\dLangArtifact}{2 of the 29}  %
\newcommand{\cirDiffCases}{175}      %
\newcommand{\cirDiffMatch}{174}
\newcommand{\tsCorpus}{180}           %
\newcommand{\tsCorpusProgs}{138}       %
\newcommand{\tsCorpusReject}{40}       %
\newcommand{\jimDiff}{41}            %
\newcommand{\tsFmtChecks}{1{,}854{,}483} %
\newcommand{\trxLines}{7,134}          %
\newcommand{\dIfaceUnits}{2}  %
\newcommand{\tbCobSem}{4,461}    %
\newcommand{\tbCobFe}{3,468}     %
\newcommand{\tbCobLoader}{1,137} %
\newcommand{\tbCobVal}{780}      %
\newcommand{\tbCobValAgree}{766} %
\newcommand{\tbJavaSem}{2,180}   %
\newcommand{\tbJavaLib}{4,961}   %
\newcommand{\tbJavaRows}{449}    %
\newcommand{\tbJavaFe}{1,543}    %
\newcommand{\tbCSem}{2,578}      %
\newcommand{\tbCLib}{1,285}      %
\newcommand{\tbCModels}{102}     %
\newcommand{\tbCFe}{3,150}       %
\newcommand{\tbTsSem}{5,283}     %
\newcommand{\tbTsBuiltins}{98}   %
\newcommand{\tbTsFe}{10,287}     %
\newcommand{\tbRustLib}{14,899}  %
\newcommand{\tThriftLines}{496,747}   %
\newcommand{\tThriftSup}{258,013}     %
\newcommand{\tThriftSupShare}{51.9\%}
\newcommand{\tThriftJs}{22,845}       %
\newcommand{\tThriftFrame}{7,425}     %
\newcommand{\dSlotUnits}{16}   %