{
  "name": "kappa-library",
  "version": "4.1.3",
  "files": [
    "doc/kappa-library.utils/Kappa_utils/Utils/index.html",
    "doc/kappa-library.utils/Kappa_utils/index.html",
    "doc/kappa-library.utils/index.html",
    "doc/kappa-library.terms/Kappa_terms/Raw_mixture/index.html",
    "doc/kappa-library.terms/Kappa_terms/Primitives/Transformation/index.html",
    "doc/kappa-library.terms/Kappa_terms/Primitives/index.html",
    "doc/kappa-library.terms/Kappa_terms/Pattern_decompiler/index.html",
    "doc/kappa-library.terms/Kappa_terms/Pattern_compiler/index.html",
    "doc/kappa-library.terms/Kappa_terms/Pattern/Map/index.html",
    "doc/kappa-library.terms/Kappa_terms/Pattern/Set/index.html",
    "doc/kappa-library.terms/Kappa_terms/Pattern/PreEnv/index.html",
    "doc/kappa-library.terms/Kappa_terms/Pattern/Env/index.html",
    "doc/kappa-library.terms/Kappa_terms/Pattern/ObsMap/index.html",
    "doc/kappa-library.terms/Kappa_terms/Pattern/index.html",
    "doc/kappa-library.terms/Kappa_terms/Model/index.html",
    "doc/kappa-library.terms/Kappa_terms/Matching/Agent/index.html",
    "doc/kappa-library.terms/Kappa_terms/Matching/index.html",
    "doc/kappa-library.terms/Kappa_terms/LKappa/index.html",
    "doc/kappa-library.terms/Kappa_terms/Kappa_printer/index.html",
    "doc/kappa-library.terms/Kappa_terms/Instantiation/index.html",
    "doc/kappa-library.terms/Kappa_terms/Contact_map/index.html",
    "doc/kappa-library.terms/Kappa_terms/Configuration/index.html",
    "doc/kappa-library.terms/Kappa_terms/Alg_expr_extra/index.html",
    "doc/kappa-library.terms/Kappa_terms/Alg_expr/index.html",
    "doc/kappa-library.terms/Kappa_terms/index.html",
    "doc/kappa-library.terms/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Trace/Simulation_info/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Trace/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/State_interpreter/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Rule_interpreter/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Roots/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Resource_strings/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Replay/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Instances_sig/module-type-S/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Instances_sig/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Instances/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Generic_rule_interpreter/Make/argument-1-Instances/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Generic_rule_interpreter/Make/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Generic_rule_interpreter/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Fluxmap/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Expr_interpreter/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Data/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Counter/Efficiency/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/Counter/index.html",
    "doc/kappa-library.runtime/Kappa_runtime/index.html",
    "doc/kappa-library.runtime/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/User_graph/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/Snapshot/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/Signature/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/Navigation/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/Edges/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/Counters_info/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/Agent/SetMap/Map/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/Agent/SetMap/Set/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/Agent/SetMap/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/Agent/index.html",
    "doc/kappa-library.mixtures/Kappa_site_graphs/index.html",
    "doc/kappa-library.mixtures/index.html",
    "doc/src/kappa-library.utils/kappa_utils.ml.html",
    "doc/src/kappa-library.utils/utils.ml.html",
    "doc/src/kappa-library.terms/kappa_terms.ml.html",
    "doc/src/kappa-library.terms/contact_map.ml.html",
    "doc/src/kappa-library.terms/configuration.ml.html",
    "doc/src/kappa-library.terms/kappa_printer.ml.html",
    "doc/src/kappa-library.terms/lKappa.ml.html",
    "doc/src/kappa-library.terms/matching.ml.html",
    "doc/src/kappa-library.terms/pattern_decompiler.ml.html",
    "doc/src/kappa-library.terms/alg_expr_extra.ml.html",
    "doc/src/kappa-library.terms/instantiation.ml.html",
    "doc/src/kappa-library.terms/alg_expr.ml.html",
    "doc/src/kappa-library.terms/model.ml.html",
    "doc/src/kappa-library.terms/raw_mixture.ml.html",
    "doc/src/kappa-library.terms/primitives.ml.html",
    "doc/src/kappa-library.terms/pattern_compiler.ml.html",
    "doc/src/kappa-library.terms/pattern.ml.html",
    "doc/src/kappa-library.runtime/kappa_runtime.ml.html",
    "doc/src/kappa-library.runtime/counter.ml.html",
    "doc/src/kappa-library.runtime/instances_sig.ml.html",
    "doc/src/kappa-library.runtime/fluxmap.ml.html",
    "doc/src/kappa-library.runtime/resource_strings.ml.html",
    "doc/src/kappa-library.runtime/expr_interpreter.ml.html",
    "doc/src/kappa-library.runtime/instances.ml.html",
    "doc/src/kappa-library.runtime/rule_interpreter.ml.html",
    "doc/src/kappa-library.runtime/roots.ml.html",
    "doc/src/kappa-library.runtime/replay.ml.html",
    "doc/src/kappa-library.runtime/data.ml.html",
    "doc/src/kappa-library.runtime/trace.ml.html",
    "doc/src/kappa-library.runtime/generic_rule_interpreter.ml.html",
    "doc/src/kappa-library.runtime/state_interpreter.ml.html",
    "doc/src/kappa-library.mixtures/kappa_site_graphs.ml.html",
    "doc/src/kappa-library.mixtures/agent.ml.html",
    "doc/src/kappa-library.mixtures/counters_info.ml.html",
    "doc/src/kappa-library.mixtures/signature.ml.html",
    "doc/src/kappa-library.mixtures/snapshot.ml.html",
    "doc/src/kappa-library.mixtures/edges.ml.html",
    "doc/src/kappa-library.mixtures/user_graph.ml.html",
    "doc/src/kappa-library.mixtures/navigation.ml.html",
    "doc/src/kappa-library.generic/kappa_data_structures.ml.html",
    "doc/src/kappa-library.generic/buffers.ml.html",
    "doc/src/kappa-library.generic/cache.ml.html",
    "doc/src/kappa-library.generic/base64.ml.html",
    "doc/src/kappa-library.generic/circular_buffers.ml.html",
    "doc/src/kappa-library.generic/color.ml.html",
    "doc/src/kappa-library.generic/bigbuffer.ml.html",
    "doc/src/kappa-library.generic/crc32.ml.html",
    "doc/src/kappa-library.generic/genArray.ml.html",
    "doc/src/kappa-library.generic/ExceptionDefn.ml.html",
    "doc/src/kappa-library.generic/fifo.ml.html",
    "doc/src/kappa-library.generic/dynamicArray.ml.html",
    "doc/src/kappa-library.generic/hashed_list.ml.html",
    "doc/src/kappa-library.generic/fractions.ml.html",
    "doc/src/kappa-library.generic/infinite_buffers.ml.html",
    "doc/src/kappa-library.generic/intCollection.ml.html",
    "doc/src/kappa-library.generic/mods.ml.html",
    "doc/src/kappa-library.generic/list_util.ml.html",
    "doc/src/kappa-library.generic/loc.ml.html",
    "doc/src/kappa-library.generic/option_util.ml.html",
    "doc/src/kappa-library.generic/namedDecls.ml.html",
    "doc/src/kappa-library.generic/largeArray.ml.html",
    "doc/src/kappa-library.generic/pp.ml.html",
    "doc/src/kappa-library.generic/pp_html.ml.html",
    "doc/src/kappa-library.generic/operator.ml.html",
    "doc/src/kappa-library.generic/nbr.ml.html",
    "doc/src/kappa-library.generic/jsonUtil.ml.html",
    "doc/src/kappa-library.generic/renaming.ml.html",
    "doc/src/kappa-library.generic/stop.ml.html",
    "doc/src/kappa-library.generic/random_tree.ml.html",
    "doc/src/kappa-library.generic/result_util.ml.html",
    "doc/src/kappa-library.generic/valMap.ml.html",
    "doc/src/kappa-library.generic/tools.ml.html",
    "doc/src/kappa-library.generic/setMap.ml.html", "doc/src/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/ValMap/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Tools/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Stop/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-3-C/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-3-C/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-3-C/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-2-B/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-2-B/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-2-B/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-1-A/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-1-A/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-1-A/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-Projection2/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-2-B/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-2-B/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-2-B/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-1-A/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-1-A/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-1-A/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-Projection/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Make/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Make/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Make/argument-1-Ord/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/Make/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-S/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-S/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-S/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-OrderedType/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/SetMap/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Result_util/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Renaming/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Random_tree/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Pp_html/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Pp/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Option_util/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Operator/DepSet/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Operator/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Nbr/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/NamedDecls/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/DynArray/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/CharSetMap/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/CharSetMap/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/CharSetMap/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/Int2SetMap/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/Int2SetMap/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/Int2SetMap/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/IntSetMap/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/IntSetMap/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/IntSetMap/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/String2SetMap/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/String2SetMap/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/String2SetMap/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/StringSetMap/Map/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/StringSetMap/Set/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/StringSetMap/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Mods/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Loc/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/List_util/Infix/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/List_util/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/LargeArray/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/JsonUtil/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/IntCollection/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Infinite_buffers/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Hashed_list/Make/argument-1-A/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Hashed_list/Make/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Hashed_list/module-type-Hash/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Hashed_list/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/GenArray/module-type-GenArray/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/GenArray/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Fractions/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Fifo/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/ExceptionDefn/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/DynamicArray/DynArray/argument-1-_/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/DynamicArray/DynArray/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/DynamicArray/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Crc32/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Color/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Circular_buffers/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Cache/Cache/O/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Cache/Cache/argument-1-OO/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Cache/Cache/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Cache/module-type-Cache/O/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Cache/module-type-Cache/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Cache/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Buffers/module-type-Buffers/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Buffers/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Bigbuffer/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/Base64/index.html",
    "doc/kappa-library.generic/Kappa_data_structures/index.html",
    "doc/kappa-library.generic/index.html", "doc/index.html",
    "doc/README.html", "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Kappa_terms/Instantiation/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Instantiation/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Fifo/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Fifo/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/Int2SetMap/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/Int2SetMap/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/IntSetMap/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/IntSetMap/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj/argument-2-B/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-2-B/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj2/argument-2-B/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-2-B/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Cache/module-type-Cache/O/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Cache/module-type-Cache/O/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/IntSetMap/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/IntSetMap/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Renaming/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Renaming/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Pattern/Map/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Pattern/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Pattern_compiler/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Pattern_compiler/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Model/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Model/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Nbr/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Nbr/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/Agent/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/Agent/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/module-type-Projection2/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-Projection2/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Cache/module-type-Cache/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Cache/module-type-Cache/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Matching/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Matching/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Alg_expr_extra/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Alg_expr_extra/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/IntSetMap/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/IntSetMap/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Pattern/Env/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Pattern/Env/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj/argument-1-A/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-1-A/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj2/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj2/argument-2-B/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-2-B/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Instances_sig/module-type-S/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Instances_sig/module-type-S/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/Navigation/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/Navigation/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Contact_map/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Contact_map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/module-type-Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-Set/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/module-type-S/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-S/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/ValMap/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/ValMap/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/DynamicArray/DynArray/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/DynamicArray/DynArray/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/module-type-S/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-S/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Stop/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Stop/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Pattern/Set/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Pattern/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Crc32/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Crc32/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/module-type-OrderedType/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-OrderedType/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/LargeArray/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/LargeArray/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Roots/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Roots/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/StringSetMap/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/StringSetMap/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Pattern_decompiler/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Pattern_decompiler/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Expr_interpreter/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Expr_interpreter/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/Int2SetMap/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/Int2SetMap/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/Edges/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/Edges/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Cache/Cache/argument-1-OO/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Cache/Cache/argument-1-OO/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Trace/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Trace/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Fluxmap/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Fluxmap/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/Signature/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/Signature/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Operator/DepSet/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Operator/DepSet/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Random_tree/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Random_tree/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/User_graph/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/User_graph/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Pattern/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Pattern/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Base64/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Base64/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/DynamicArray/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/DynamicArray/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Make/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Make/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/Snapshot/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/Snapshot/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Primitives/Transformation/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Primitives/Transformation/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Loc/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Loc/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/IntCollection/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/IntCollection/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/module-type-S/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-S/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj2/argument-3-C/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-3-C/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/Agent/SetMap/Map/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/Agent/SetMap/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/NamedDecls/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/NamedDecls/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Make/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Make/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj2/argument-3-C/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-3-C/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj2/argument-1-A/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-1-A/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Alg_expr/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Alg_expr/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Matching/Agent/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Matching/Agent/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/module-type-Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-Map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Hashed_list/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Hashed_list/index.html"
    },
    {
      "old_path": "doc/Kappa_utils/Utils/index.html",
      "new_path": "doc/kappa-library.utils/Kappa_utils/Utils/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Instances_sig/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Instances_sig/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/List_util/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/List_util/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Configuration/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Configuration/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Buffers/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Buffers/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/GenArray/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/GenArray/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Generic_rule_interpreter/Make/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Generic_rule_interpreter/Make/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Color/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Color/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj/argument-2-B/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-2-B/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Trace/Simulation_info/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Trace/Simulation_info/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Raw_mixture/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Raw_mixture/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/String2SetMap/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/String2SetMap/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Pp_html/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Pp_html/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Infinite_buffers/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Infinite_buffers/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/CharSetMap/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/CharSetMap/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Operator/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Operator/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/JsonUtil/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/JsonUtil/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Cache/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Cache/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/StringSetMap/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/StringSetMap/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Circular_buffers/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Circular_buffers/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj2/argument-1-A/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-1-A/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/CharSetMap/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/CharSetMap/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Hashed_list/Make/argument-1-A/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Hashed_list/Make/argument-1-A/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Generic_rule_interpreter/Make/argument-1-Instances/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Generic_rule_interpreter/Make/argument-1-Instances/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Instances/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Instances/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/DynamicArray/DynArray/argument-1-_/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/DynamicArray/DynArray/argument-1-_/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/Agent/SetMap/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/Agent/SetMap/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Data/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Data/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Cache/Cache/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Cache/Cache/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Generic_rule_interpreter/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Generic_rule_interpreter/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Pattern/ObsMap/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Pattern/ObsMap/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj/argument-2-B/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-2-B/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Make/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Make/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/GenArray/module-type-GenArray/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/GenArray/module-type-GenArray/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/Counters_info/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/Counters_info/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/String2SetMap/Set/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/String2SetMap/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Fractions/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Fractions/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Counter/Efficiency/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Counter/Efficiency/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj/argument-1-A/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-1-A/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/ExceptionDefn/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/ExceptionDefn/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/String2SetMap/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/String2SetMap/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Rule_interpreter/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Rule_interpreter/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Primitives/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Primitives/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj2/argument-1-A/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-1-A/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_site_graphs/Agent/SetMap/Set/index.html",
      "new_path": "doc/kappa-library.mixtures/Kappa_site_graphs/Agent/SetMap/Set/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/StringSetMap/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/StringSetMap/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Counter/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Counter/index.html"
    },
    {
      "old_path": "doc/Kappa_utils/index.html",
      "new_path": "doc/kappa-library.utils/Kappa_utils/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj2/argument-3-C/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-3-C/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Replay/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Replay/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Kappa_printer/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Kappa_printer/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Tools/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Tools/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Bigbuffer/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Bigbuffer/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Hashed_list/Make/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Hashed_list/Make/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/State_interpreter/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/State_interpreter/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Buffers/module-type-Buffers/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Buffers/module-type-Buffers/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Pp/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Pp/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Option_util/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Option_util/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Make/argument-1-Ord/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Make/argument-1-Ord/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/CharSetMap/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/CharSetMap/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Result_util/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Result_util/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/Pattern/PreEnv/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/Pattern/PreEnv/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/List_util/Infix/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/List_util/Infix/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj2/argument-2-B/Map/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj2/argument-2-B/Map/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/module-type-Projection/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/module-type-Projection/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/SetMap/Proj/argument-1-A/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/SetMap/Proj/argument-1-A/index.html"
    },
    {
      "old_path": "doc/Kappa_runtime/Resource_strings/index.html",
      "new_path": "doc/kappa-library.runtime/Kappa_runtime/Resource_strings/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Cache/Cache/O/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Cache/Cache/O/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/Int2SetMap/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/Int2SetMap/index.html"
    },
    {
      "old_path": "doc/Kappa_terms/LKappa/index.html",
      "new_path": "doc/kappa-library.terms/Kappa_terms/LKappa/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Hashed_list/module-type-Hash/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Hashed_list/module-type-Hash/index.html"
    },
    {
      "old_path": "doc/Kappa_data_structures/Mods/DynArray/index.html",
      "new_path": "doc/kappa-library.generic/Kappa_data_structures/Mods/DynArray/index.html"
    }
  ]
}