% generated by paper/tools/stats.py from thesis/shared/generated/stats.json
\newcommand{\stat}[1]{\ifcsname stat:#1\endcsname\csname stat:#1\endcsname\else\errmessage{unknown stat #1}\fi}
\expandafter\def\csname stat:corpus.by_group.00-sanity\endcsname{11}
\expandafter\def\csname stat:corpus.by_group.01-random\endcsname{1}
\expandafter\def\csname stat:corpus.by_group.02-control-flow\endcsname{18}
\expandafter\def\csname stat:corpus.by_group.03-procedures\endcsname{19}
\expandafter\def\csname stat:corpus.by_group.04-globals\endcsname{12}
\expandafter\def\csname stat:corpus.by_group.05-checks\endcsname{4}
\expandafter\def\csname stat:corpus.by_group.06-reachability\endcsname{20}
\expandafter\def\csname stat:corpus.by_group.07-sign-precision\endcsname{25}
\expandafter\def\csname stat:corpus.by_group.08-tooling\endcsname{1}
\expandafter\def\csname stat:corpus.by_group.09-parser\endcsname{3}
\expandafter\def\csname stat:corpus.by_group.10-arithmetic\endcsname{16}
\expandafter\def\csname stat:corpus.by_group.11-graph-snapshot\endcsname{16}
\expandafter\def\csname stat:corpus.by_group.12-widening\endcsname{9}
\expandafter\def\csname stat:corpus.by_group.13-full-state-dot\endcsname{4}
\expandafter\def\csname stat:corpus.by_group.14-min-max\endcsname{4}
\expandafter\def\csname stat:corpus.by_group.15-solver-choice\endcsname{18}
\expandafter\def\csname stat:corpus.by_group.16-composite-domain\endcsname{23}
\expandafter\def\csname stat:corpus.by_group.17-call-string\endcsname{21}
\expandafter\def\csname stat:corpus.by_group.18-parity\endcsname{8}
\expandafter\def\csname stat:corpus.by_group.19-paper-examples\endcsname{7}
\expandafter\def\csname stat:corpus.by_group.20-nested-loops\endcsname{4}
\expandafter\def\csname stat:corpus.by_group.21-context-sensitivity\endcsname{13}
\expandafter\def\csname stat:corpus.by_group.22-congruence\endcsname{19}
\expandafter\def\csname stat:corpus.by_group.23-arithmetic-diagnostics\endcsname{15}
\expandafter\def\csname stat:corpus.by_group.24-site-figures\endcsname{71}
\expandafter\def\csname stat:corpus.by_group.25-cooperation\endcsname{15}
\expandafter\def\csname stat:corpus.by_group.28-flavors\endcsname{9}
\expandafter\def\csname stat:corpus.cases\endcsname{386}
\expandafter\def\csname stat:corpus.groups\endcsname{27}
\expandafter\def\csname stat:corpus.kinds.known-imprecision\endcsname{75}
\expandafter\def\csname stat:corpus.kinds.other\endcsname{37}
\expandafter\def\csname stat:corpus.kinds.precision\endcsname{261}
\expandafter\def\csname stat:corpus.kinds.soundness\endcsname{13}
\expandafter\def\csname stat:corpus.lines\endcsname{16{,}684}
\expandafter\def\csname stat:eval_witnesses\endcsname{164}
\expandafter\def\csname stat:generated_ocaml\endcsname{13{,}109}
\expandafter\def\csname stat:handwritten_ocaml\endcsname{4{,}922}
\expandafter\def\csname stat:isabelle.code\endcsname{39{,}481}
\expandafter\def\csname stat:isabelle.defs\endcsname{1{,}431}
\expandafter\def\csname stat:isabelle.directories.Abstract_Interpreter\endcsname{21{,}228}
\expandafter\def\csname stat:isabelle.directories.Analyses\endcsname{15{,}800}
\expandafter\def\csname stat:isabelle.directories.Examples\endcsname{7{,}231}
\expandafter\def\csname stat:isabelle.directories.Executable_Surface\endcsname{5{,}222}
\expandafter\def\csname stat:isabelle.directories.Program_Model\endcsname{9{,}996}
\expandafter\def\csname stat:isabelle.doc\endcsname{12{,}855}
\expandafter\def\csname stat:isabelle.kinds.declarations.abbreviation\endcsname{126}
\expandafter\def\csname stat:isabelle.kinds.declarations.class\endcsname{5}
\expandafter\def\csname stat:isabelle.kinds.declarations.datatype\endcsname{52}
\expandafter\def\csname stat:isabelle.kinds.declarations.definition\endcsname{904}
\expandafter\def\csname stat:isabelle.kinds.declarations.fun\endcsname{224}
\expandafter\def\csname stat:isabelle.kinds.declarations.inductive\endcsname{7}
\expandafter\def\csname stat:isabelle.kinds.declarations.inductive_set\endcsname{1}
\expandafter\def\csname stat:isabelle.kinds.declarations.locale\endcsname{47}
\expandafter\def\csname stat:isabelle.kinds.declarations.primrec\endcsname{6}
\expandafter\def\csname stat:isabelle.kinds.declarations.record\endcsname{22}
\expandafter\def\csname stat:isabelle.kinds.declarations.type_synonym\endcsname{37}
\expandafter\def\csname stat:isabelle.kinds.statements.corollary\endcsname{24}
\expandafter\def\csname stat:isabelle.kinds.statements.global_interpretation\endcsname{25}
\expandafter\def\csname stat:isabelle.kinds.statements.inductive_cases\endcsname{38}
\expandafter\def\csname stat:isabelle.kinds.statements.instantiation\endcsname{97}
\expandafter\def\csname stat:isabelle.kinds.statements.interpretation\endcsname{28}
\expandafter\def\csname stat:isabelle.kinds.statements.lemma\endcsname{2{,}516}
\expandafter\def\csname stat:isabelle.kinds.statements.lemmas\endcsname{44}
\expandafter\def\csname stat:isabelle.kinds.statements.sublocale\endcsname{11}
\expandafter\def\csname stat:isabelle.kinds.statements.theorem\endcsname{155}
\expandafter\def\csname stat:isabelle.lines\endcsname{59{,}477}
\expandafter\def\csname stat:isabelle.proofs\endcsname{2{,}695}
\expandafter\def\csname stat:isabelle.theories\endcsname{213}
\expandafter\def\csname stat:prof.browser_ratio_median\endcsname{3.32}
\expandafter\def\csname stat:prof.browser_ratio_runs\endcsname{485}
\expandafter\def\csname stat:prof.cases\endcsname{5{,}535}
\expandafter\def\csname stat:prof.cases_solved\endcsname{5{,}514}
\expandafter\def\csname stat:prof.configurations\endcsname{15}
\expandafter\def\csname stat:prof.depth_fits.congruence.contexts_at_max\endcsname{1{,}502}
\expandafter\def\csname stat:prof.depth_fits.congruence.evals\endcsname{0.99}
\expandafter\def\csname stat:prof.depth_fits.congruence.max_n\endcsname{1{,}500}
\expandafter\def\csname stat:prof.depth_fits.congruence.time\endcsname{2.11}
\expandafter\def\csname stat:prof.depth_fits.int.contexts_at_max\endcsname{2{,}002}
\expandafter\def\csname stat:prof.depth_fits.int.evals\endcsname{0.99}
\expandafter\def\csname stat:prof.depth_fits.int.max_n\endcsname{2{,}000}
\expandafter\def\csname stat:prof.depth_fits.int.time\endcsname{2.08}
\expandafter\def\csname stat:prof.depth_fits.interval.contexts_at_max\endcsname{2{,}002}
\expandafter\def\csname stat:prof.depth_fits.interval.evals\endcsname{0.99}
\expandafter\def\csname stat:prof.depth_fits.interval.max_n\endcsname{2{,}000}
\expandafter\def\csname stat:prof.depth_fits.interval.time\endcsname{2.10}
\expandafter\def\csname stat:prof.depth_fits.parity.contexts_at_max\endcsname{3}
\expandafter\def\csname stat:prof.depth_fits.parity.evals\endcsname{0.00}
\expandafter\def\csname stat:prof.depth_fits.parity.max_n\endcsname{2{,}000}
\expandafter\def\csname stat:prof.depth_fits.parity.time\endcsname{-0.01}
\expandafter\def\csname stat:prof.depth_fits.sign.contexts_at_max\endcsname{3}
\expandafter\def\csname stat:prof.depth_fits.sign.evals\endcsname{0.00}
\expandafter\def\csname stat:prof.depth_fits.sign.max_n\endcsname{2{,}000}
\expandafter\def\csname stat:prof.depth_fits.sign.time\endcsname{0.01}
\expandafter\def\csname stat:prof.fixtures\endcsname{369}
\expandafter\def\csname stat:prof.fixtures_ill_formed\endcsname{11}
\expandafter\def\csname stat:prof.fixtures_selected\endcsname{380}
\expandafter\def\csname stat:prof.flame.lookup_self_share\endcsname{0.61}
\expandafter\def\csname stat:prof.flame.membership_share\endcsname{0.37}
\expandafter\def\csname stat:prof.flame.report_share\endcsname{0.42}
\expandafter\def\csname stat:prof.flame.samples\endcsname{5{,}038}
\expandafter\def\csname stat:prof.flame.solver_share\endcsname{0.44}
\expandafter\def\csname stat:prof.meta.memory_gib\endcsname{24}
\expandafter\def\csname stat:prof.meta.reps\endcsname{3}
\expandafter\def\csname stat:prof.meta.timeout_s\endcsname{30}
\expandafter\def\csname stat:prof.scaling.by_family.call-sites-entry.evals\endcsname{0.87}
\expandafter\def\csname stat:prof.scaling.by_family.call-sites-entry.gap\endcsname{1.74}
\expandafter\def\csname stat:prof.scaling.by_family.call-sites-entry.time\endcsname{2.61}
\expandafter\def\csname stat:prof.scaling.by_family.call-sites-k1.evals\endcsname{0.98}
\expandafter\def\csname stat:prof.scaling.by_family.call-sites-k1.gap\endcsname{1.88}
\expandafter\def\csname stat:prof.scaling.by_family.call-sites-k1.time\endcsname{2.86}
\expandafter\def\csname stat:prof.scaling.by_family.globals.evals\endcsname{0.86}
\expandafter\def\csname stat:prof.scaling.by_family.globals.gap\endcsname{1.91}
\expandafter\def\csname stat:prof.scaling.by_family.globals.time\endcsname{2.76}
\expandafter\def\csname stat:prof.scaling.by_family.loops.evals\endcsname{0.99}
\expandafter\def\csname stat:prof.scaling.by_family.loops.gap\endcsname{1.82}
\expandafter\def\csname stat:prof.scaling.by_family.loops.time\endcsname{2.81}
\expandafter\def\csname stat:prof.scaling.by_family.points.evals\endcsname{0.96}
\expandafter\def\csname stat:prof.scaling.by_family.points.gap\endcsname{1.68}
\expandafter\def\csname stat:prof.scaling.by_family.points.time\endcsname{2.63}
\expandafter\def\csname stat:prof.scaling.by_family.procedures.evals\endcsname{0.99}
\expandafter\def\csname stat:prof.scaling.by_family.procedures.gap\endcsname{1.02}
\expandafter\def\csname stat:prof.scaling.by_family.procedures.time\endcsname{2.01}
\expandafter\def\csname stat:prof.scaling.by_family.recursion.evals\endcsname{0.98}
\expandafter\def\csname stat:prof.scaling.by_family.recursion.gap\endcsname{1.10}
\expandafter\def\csname stat:prof.scaling.by_family.recursion.time\endcsname{2.08}
\expandafter\def\csname stat:prof.scaling.by_family.variables.evals\endcsname{0.95}
\expandafter\def\csname stat:prof.scaling.by_family.variables.gap\endcsname{1.72}
\expandafter\def\csname stat:prof.scaling.by_family.variables.time\endcsname{2.67}
\expandafter\def\csname stat:prof.scaling.count\endcsname{8}
\expandafter\def\csname stat:prof.scaling.evals_max\endcsname{0.99}
\expandafter\def\csname stat:prof.scaling.evals_min\endcsname{0.86}
\expandafter\def\csname stat:prof.scaling.time_max\endcsname{2.86}
\expandafter\def\csname stat:prof.scaling.time_min\endcsname{2.01}
\expandafter\def\csname stat:prof.slowest_5pct_share\endcsname{0.89}
\expandafter\def\csname stat:prof.solve_median_ms\endcsname{0.23}
\expandafter\def\csname stat:prof.solve_p95_ms\endcsname{1.48}
\expandafter\def\csname stat:prof.timeouts\endcsname{21}
\expandafter\def\csname stat:semantics.lines\endcsname{998}
\expandafter\def\csname stat:semantics.pstep_rules\endcsname{14}
\expandafter\def\csname stat:semantics.theories\endcsname{6}
\expandafter\def\csname stat:solver.defs\endcsname{336}
\expandafter\def\csname stat:solver.lines\endcsname{30{,}560}
\expandafter\def\csname stat:solver.proofs\endcsname{554}
\expandafter\def\csname stat:solver.theories\endcsname{26}
\expandafter\def\csname stat:solver.used.code\endcsname{8{,}690}
\expandafter\def\csname stat:solver.used.defs\endcsname{92}
\expandafter\def\csname stat:solver.used.doc\endcsname{154}
\expandafter\def\csname stat:solver.used.lines\endcsname{9{,}533}
\expandafter\def\csname stat:solver.used.proofs\endcsname{168}
\expandafter\def\csname stat:solver.used.theories\endcsname{7}