{
  "name": "tezos-benchmark",
  "version": "19.0",
  "files": [
    "doc/tezos-benchmark/Tezos_benchmark/Structure_samplers/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/String/Op/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/String/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/Make/Op/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/Make/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/module-type-S/Op/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/module-type-S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Scikit_matrix/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Registration/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Pytools/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Pyinit/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Pyinference/LinearModel/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Pyinference/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/Bar/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/Histogram/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/Line/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/Scatter/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/Data/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/Tics/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/Style/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/Fill/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/Pointtype/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/Color/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Plot/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Override/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ocamlformat/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Namespace/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Binary_operation/Def/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Binary_operation/Def/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Binary_operation/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Applied/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Applied/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/Instantiate/argument-2-M/Def/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/Instantiate/argument-2-M/Def/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/Instantiate/argument-2-M/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/Instantiate/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/Instantiate/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Instantiated/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Model_impl/Def/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Model_impl/Def/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Model_impl/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Model/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Measure/Time/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Measure/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Maths/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Inference/NMap/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Inference/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Generator/module-type-S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Generator/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Free_variable/Sparse_vec/Op/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Free_variable/Sparse_vec/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Free_variable/Set/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Free_variable/Map/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Free_variable/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Fixed_point_transform/Apply/argument-2-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Fixed_point_transform/Apply/argument-1-P/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Fixed_point_transform/Apply/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Fixed_point_transform/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/Graph/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/Graphviz/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/Solver/Solved/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/Solver/Unsolved/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/Solver/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Csv/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/Make_finite_key_pool/argument-1-Arg/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/Make_finite_key_pool/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/module-type-Finite_key_pool_S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V_latest/Make_finite_key_pool/argument-1-Arg/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V_latest/Make_finite_key_pool/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V_latest/module-type-Finite_key_pool_S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V_latest/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V1/Make_finite_key_pool/argument-1-Arg/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V1/Make_finite_key_pool/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V1/module-type-Finite_key_pool_S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V1/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V0/Make_finite_key_pool/argument-1-Arg/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V0/Make_finite_key_pool/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V0/module-type-Finite_key_pool_S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V0/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/module-type-P_Finite_key_pool_S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/module-type-Param_S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Fold_constants/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Fold_constants/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Eval_to_vector/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Hash_cons_vector/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Let_lift/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Let_lift/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Beta_normalize/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Beta_normalize/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Hash_cons/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Hash_cons/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Subst/argument-2-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Subst/argument-1-P/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Subst/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Identity/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Identity/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/module-type-Transform/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/module-type-Transform/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Eval_linear_combination_impl/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Arg_names/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Type/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Eval/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Free_variables/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Pp/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Void/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/module-type-S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Ty/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/Num/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Costlang/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Config/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Codegen/Parser/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Codegen/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Benchmark_helpers/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Benchmark/module-type-S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Benchmark/module-type-Simple_with_num/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Benchmark/module-type-Simple/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Benchmark/module-type-Benchmark_base/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Benchmark/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Base_samplers/Adversarial/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Base_samplers/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/At_least_10/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/At_least_10/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/Optimize/argument-1-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/Optimize/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/Transform/argument-2-X/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/Transform/argument-1-F/argument-1-Ast/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/Transform/argument-1-F/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/Transform/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/To_ast/argument-1-Ast/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/To_ast/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/Ast/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/Make/argument-1-Size/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/Make/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/module-type-S/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/Ast/index.html",
    "doc/tezos-benchmark/Tezos_benchmark/index.html",
    "doc/tezos-benchmark/index.html",
    "doc/src/tezos-benchmark/tezos_benchmark.ml.html",
    "doc/src/tezos-benchmark/benchmark_helpers.ml.html",
    "doc/src/tezos-benchmark/base_samplers.ml.html",
    "doc/src/tezos-benchmark/benchmark.ml.html",
    "doc/src/tezos-benchmark/crypto_samplers.ml.html",
    "doc/src/tezos-benchmark/config.ml.html",
    "doc/src/tezos-benchmark/csv.ml.html",
    "doc/src/tezos-benchmark/generator.ml.html",
    "doc/src/tezos-benchmark/codegen.ml.html",
    "doc/src/tezos-benchmark/free_variable.ml.html",
    "doc/src/tezos-benchmark/maths.ml.html",
    "doc/src/tezos-benchmark/override.ml.html",
    "doc/src/tezos-benchmark/ocamlformat.ml.html",
    "doc/src/tezos-benchmark/dep_graph.ml.html",
    "doc/src/tezos-benchmark/pytools.ml.html",
    "doc/src/tezos-benchmark/namespace.ml.html",
    "doc/src/tezos-benchmark/pyinit.ml.html",
    "doc/src/tezos-benchmark/pyinference.ml.html",
    "doc/src/tezos-benchmark/fixed_point_transform.ml.html",
    "doc/src/tezos-benchmark/structure_samplers.ml.html",
    "doc/src/tezos-benchmark/sparse_vec.ml.html",
    "doc/src/tezos-benchmark/scikit_matrix.ml.html",
    "doc/src/tezos-benchmark/registration.ml.html",
    "doc/src/tezos-benchmark/inference.ml.html",
    "doc/src/tezos-benchmark/measure.ml.html",
    "doc/src/tezos-benchmark/model.ml.html",
    "doc/src/tezos-benchmark/ast.ml.html",
    "doc/src/tezos-benchmark/costlang.ml.html",
    "doc/src/tezos-benchmark/plot.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Tezos_benchmark/Base_samplers/Adversarial/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Base_samplers/Adversarial/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Identity/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Identity/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/Scatter/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/Scatter/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/Transform/argument-1-F/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/Transform/argument-1-F/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Sparse_vec/String/Op/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/String/Op/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Scikit_matrix/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Scikit_matrix/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Sparse_vec/Make/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/Make/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/Ast/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/Ast/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/module-type-S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/module-type-S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Sparse_vec/String/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/String/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Codegen/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Codegen/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Config/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Config/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Dep_graph/Graph/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/Graph/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Csv/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Csv/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Type/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Type/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/module-type-Param_S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/module-type-Param_S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Let_lift/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Let_lift/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Dep_graph/Solver/Unsolved/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/Solver/Unsolved/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Free_variable/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Free_variable/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Override/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Override/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Free_variable/Map/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Free_variable/Map/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Fixed_point_transform/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Fixed_point_transform/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/At_least_10/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/At_least_10/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Ty/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Ty/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/Instantiate/argument-2-M/Def/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/Instantiate/argument-2-M/Def/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Free_variables/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Free_variables/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V0/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V0/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/module-type-Instantiated/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Instantiated/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Benchmark/module-type-Benchmark_base/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Benchmark/module-type-Benchmark_base/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/module-type-Model_impl/Def/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Model_impl/Def/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Beta_normalize/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Beta_normalize/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/module-type-P_Finite_key_pool_S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/module-type-P_Finite_key_pool_S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Fixed_point_transform/Apply/argument-2-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Fixed_point_transform/Apply/argument-2-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Namespace/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Namespace/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Let_lift/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Let_lift/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/At_least_10/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/At_least_10/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/module-type-Transform/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/module-type-Transform/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V_latest/Make_finite_key_pool/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V_latest/Make_finite_key_pool/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Pytools/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Pytools/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Free_variable/Sparse_vec/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Free_variable/Sparse_vec/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Inference/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Inference/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Base_samplers/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Base_samplers/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/Transform/argument-1-F/argument-1-Ast/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/Transform/argument-1-F/argument-1-Ast/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Generator/module-type-S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Generator/module-type-S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Num/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Num/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/Make_finite_key_pool/argument-1-Arg/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/Make_finite_key_pool/argument-1-Arg/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/Instantiate/argument-2-M/Def/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/Instantiate/argument-2-M/Def/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Structure_samplers/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Structure_samplers/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V_latest/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V_latest/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/Optimize/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/Optimize/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V0/module-type-Finite_key_pool_S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V0/module-type-Finite_key_pool_S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Measure/Time/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Measure/Time/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Sparse_vec/Make/Op/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/Make/Op/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Dep_graph/Solver/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/Solver/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Pyinit/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Pyinit/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/Instantiate/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/Instantiate/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Dep_graph/Solver/Solved/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/Solver/Solved/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Free_variable/Set/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Free_variable/Set/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/Transform/argument-2-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/Transform/argument-2-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Sparse_vec/module-type-S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/module-type-S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/Make_finite_key_pool/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/Make_finite_key_pool/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Arg_names/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Arg_names/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/Bar/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/Bar/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Registration/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Registration/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Hash_cons_vector/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Hash_cons_vector/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V_latest/module-type-Finite_key_pool_S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V_latest/module-type-Finite_key_pool_S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V1/Make_finite_key_pool/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V1/Make_finite_key_pool/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Measure/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Measure/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/Data/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/Data/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Subst/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Subst/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Eval_to_vector/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Eval_to_vector/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/Line/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/Line/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Fixed_point_transform/Apply/argument-1-P/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Fixed_point_transform/Apply/argument-1-P/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/module-type-Finite_key_pool_S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/module-type-Finite_key_pool_S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/Fill/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/Fill/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/Optimize/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/Optimize/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/Transform/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/Transform/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Eval/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Eval/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Inference/NMap/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Inference/NMap/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Hash_cons/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Hash_cons/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Void/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Void/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Subst/argument-1-P/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Subst/argument-1-P/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Dep_graph/Graphviz/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/Graphviz/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Maths/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Maths/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/Pointtype/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/Pointtype/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/module-type-Transform/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/module-type-Transform/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/module-type-Model_impl/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Model_impl/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/Style/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/Style/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Pp/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Pp/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Fixed_point_transform/Apply/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Fixed_point_transform/Apply/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Identity/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Identity/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/Histogram/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/Histogram/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Benchmark/module-type-S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Benchmark/module-type-S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V1/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V1/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/To_ast/argument-1-Ast/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/To_ast/argument-1-Ast/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Hash_cons/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Hash_cons/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Pyinference/LinearModel/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Pyinference/LinearModel/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Eval_linear_combination_impl/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Eval_linear_combination_impl/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/Make/argument-1-Size/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/Make/argument-1-Size/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/Color/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/Color/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Sparse_vec/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V1/Make_finite_key_pool/argument-1-Arg/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V1/Make_finite_key_pool/argument-1-Arg/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/module-type-Applied/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Applied/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/module-type-Applied/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Applied/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/module-type-Binary_operation/Def/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Binary_operation/Def/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Beta_normalize/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Beta_normalize/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Generator/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Generator/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/module-type-Binary_operation/Def/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Binary_operation/Def/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Subst/argument-2-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Subst/argument-2-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Benchmark/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Benchmark/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V0/Make_finite_key_pool/argument-1-Arg/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V0/Make_finite_key_pool/argument-1-Arg/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/module-type-S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/module-type-S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Free_variable/Sparse_vec/Op/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Free_variable/Sparse_vec/Op/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ocamlformat/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ocamlformat/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Pyinference/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Pyinference/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Benchmark/module-type-Simple_with_num/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Benchmark/module-type-Simple_with_num/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Benchmark/module-type-Simple/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Benchmark/module-type-Simple/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Fold_constants/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Fold_constants/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Costlang/Fold_constants/argument-1-X/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Costlang/Fold_constants/argument-1-X/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Dep_graph/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Dep_graph/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Benchmark_helpers/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Benchmark_helpers/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/Instantiate/argument-2-M/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/Instantiate/argument-2-M/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Plot/Tics/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Plot/Tics/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V1/module-type-Finite_key_pool_S/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V1/module-type-Finite_key_pool_S/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/module-type-Model_impl/Def/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Model_impl/Def/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Sparse_vec/module-type-S/Op/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Sparse_vec/module-type-S/Op/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/Make/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/Make/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Codegen/Parser/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Codegen/Parser/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V_latest/Make_finite_key_pool/argument-1-Arg/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V_latest/Make_finite_key_pool/argument-1-Arg/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Ast/To_ast/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Ast/To_ast/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/module-type-Binary_operation/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/module-type-Binary_operation/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Crypto_samplers/V0/Make_finite_key_pool/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Crypto_samplers/V0/Make_finite_key_pool/index.html"
    },
    {
      "old_path": "doc/Tezos_benchmark/Model/Instantiate/index.html",
      "new_path": "doc/tezos-benchmark/Tezos_benchmark/Model/Instantiate/index.html"
    }
  ]
}