% generated by make_results.py
\newcommand{\NfiveGen}{980}
\newcommand{\EpsHfloat}{0.06525}
\newcommand{\WonePattern}{$(1.96,1.96,1.11,1.00,1.00)$ for species $1,\dots,5$}
\newcommand{\CpredMinus}{3.509}
\newcommand{\CpredPlus}{8.809}
\newcommand{\CmeasMinus}{3.511}
\newcommand{\CmeasPlus}{8.815}
\newcommand{\WfourCerts}{the 60 D-stable verdicts are certified by 39 exact diagonal Lyapunov certificates and 21 rigorous exclusions, the 60 others by exact Routh counts}
\newcommand{\CheckCount}{75/75 checks passed}