{
  "name": "alt-ergo-lib",
  "version": "2.4.3",
  "files": [
    "doc/alt-ergo-lib/AltErgoLib/ZarithNumbers/Q/index.html",
    "doc/alt-ergo-lib/AltErgoLib/ZarithNumbers/Z/index.html",
    "doc/alt-ergo-lib/AltErgoLib/ZarithNumbers/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Xliteral/Make/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Xliteral/Make/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Xliteral/Make/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Xliteral/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Xliteral/module-type-S/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Xliteral/module-type-S/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Xliteral/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Xliteral/module-type-OrderedType/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Xliteral/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Version/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Vec/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Var/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Var/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Var/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Util/SS/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Util/SI/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Util/MI/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Util/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Use/SA/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Use/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uf/LX/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uf/LX/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uf/LX/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uf/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Typed/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Typechecker/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ty/M/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ty/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ty/Svty/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ty/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Timers/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Theory/Main_Empty/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Theory/Main_Default/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Theory/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Theory/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Th_util/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Symbols/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Symbols/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Symbols/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Steps/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sig_rel/module-type-RELATION/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sig_rel/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sig/module-type-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sig/module-type-SHOSTAK/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sig/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/SXS/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/MXS/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/SXH/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/MXH/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Ac/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Ite/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Adt/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Enum/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Arrays/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Bitv/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Records/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Arith/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Polynome/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Combine/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/Proxy_formula/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/Flat_Formula/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/Flat_Formula/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/Flat_Formula/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-FLAT_FORMULA/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-FLAT_FORMULA/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-FLAT_FORMULA/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/Atom/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/Atom/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/Atom/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-ATOM/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-ATOM/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-ATOM/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_types/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_frontend_hybrid/Make/argument-1-Th/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_frontend_hybrid/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_frontend_hybrid/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_frontend/Make/argument-1-Th/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_frontend/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml_frontend/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml/Make/argument-1-Th/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml/module-type-SAT_ML/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Satml/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/module-type-SatContainer/Make/argument-1-Th/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/module-type-SatContainer/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/module-type-SatContainer/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Sat_solver/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Relation/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Records_rel/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Records/Shostak/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Records/Shostak/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Records/module-type-ALIEN/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Records/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Profiling/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Printer/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/Make/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-EXTENDED_Polynome/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-T/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Parsed_interface/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Parsed/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Options/Time/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Options/index.html",
    "doc/alt-ergo-lib/AltErgoLib/NumsNumbers/Q/index.html",
    "doc/alt-ergo-lib/AltErgoLib/NumsNumbers/Z/index.html",
    "doc/alt-ergo-lib/AltErgoLib/NumsNumbers/index.html",
    "doc/alt-ergo-lib/AltErgoLib/NumbersInterface/module-type-QSig/Z/index.html",
    "doc/alt-ergo-lib/AltErgoLib/NumbersInterface/module-type-QSig/index.html",
    "doc/alt-ergo-lib/AltErgoLib/NumbersInterface/module-type-ZSig/index.html",
    "doc/alt-ergo-lib/AltErgoLib/NumbersInterface/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Numbers/Q/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Numbers/Z/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Numbers/index.html",
    "doc/alt-ergo-lib/AltErgoLib/MyUnix/index.html",
    "doc/alt-ergo-lib/AltErgoLib/MyDynlink/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Matching_types/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Matching/Make/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Matching/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Matching/module-type-Arg/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Matching/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Matching/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Loc/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Lists/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ite_rel/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ite/Shostak/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ite/Shostak/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ite/module-type-ALIEN/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ite/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals/index.html",
    "doc/alt-ergo-lib/AltErgoLib/IntervalCalculus/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Instances/Make/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Instances/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Instances/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Instances/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Input/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Input/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/MINEQS/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/MP/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/MINEQS/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/MP/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/argument-1-P/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/MINEQS/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/MP/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/P/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Iheap/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Hstring/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Hstring/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Hstring/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Hconsing/Make/argument-1-H/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Hconsing/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Hconsing/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Hconsing/module-type-HASHED/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Hconsing/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Gc_debug/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Fun_sat/Make/argument-1-Th/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Fun_sat/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Fun_sat/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Frontend/Make/argument-1-SAT/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Frontend/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Frontend/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Frontend/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Fpa_rounding/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Format_shims/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Expr/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Expr/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Expr/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Explanation/MI/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Explanation/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Errors/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Enum_rel/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Enum/Shostak/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Enum/Shostak/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Enum/module-type-ALIEN/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Enum/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Emap/Make/argument-1-Ord/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Emap/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Emap/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Emap/module-type-OrderedType/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Emap/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Config/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Commands/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Cnf/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ccx/Main/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ccx/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ccx/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Bitv_rel/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Bitv/Shostak/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Bitv/Shostak/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Bitv/module-type-ALIEN/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Bitv/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arrays_rel/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arrays/Shostak/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arrays/Shostak/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arrays/module-type-ALIEN/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arrays/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/argument-2-P/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/Type/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/Type/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Adt_rel/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Adt/Shostak/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Adt/Shostak/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Adt/module-type-ALIEN/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Adt/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ac/Make/argument-1-X/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ac/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ac/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ac/index.html",
    "doc/alt-ergo-lib/AltErgoLib/index.html", "doc/alt-ergo-lib/index.html",
    "doc/src/alt-ergo-lib/format_shims.ml.html",
    "doc/src/alt-ergo-lib/altErgoLib.ml.html", "doc/src/index.html",
    "doc/CHANGES.html", "doc/README.html", "doc/index.html",
    "doc/LICENSE.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/AltErgoLib/Enum/Shostak/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Enum/Shostak/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Config/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Config/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Enum/Shostak/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Enum/Shostak/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Loc/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Loc/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Theory/Main_Empty/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Theory/Main_Empty/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Frontend/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Frontend/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Frontend/Make/argument-1-SAT/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Frontend/Make/argument-1-SAT/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Theory/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Theory/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/NumbersInterface/module-type-ZSig/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/NumbersInterface/module-type-ZSig/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Fun_sat/Make/argument-1-Th/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Fun_sat/Make/argument-1-Th/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/NumbersInterface/module-type-QSig/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/NumbersInterface/module-type-QSig/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/Shostak/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Hstring/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Hstring/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/MXH/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/MXH/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ccx/Main/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ccx/Main/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Instances/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Instances/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Relation/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Relation/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Var/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Var/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Records/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Records/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Xliteral/Make/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Xliteral/Make/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Frontend/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Frontend/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_frontend_hybrid/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_frontend_hybrid/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Expr/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Hconsing/module-type-HASHED/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Hconsing/module-type-HASHED/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Options/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Options/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Arith/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Arith/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Enum/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Enum/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/ZarithNumbers/Z/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/ZarithNumbers/Z/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Errors/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Errors/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Fpa_rounding/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Fpa_rounding/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Hstring/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Hstring/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/FM/MP/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/MP/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Matching/module-type-Arg/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Matching/module-type-Arg/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Ac/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Ac/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Util/MI/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Util/MI/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Ite/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Ite/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ac/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ac/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Emap/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Emap/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Matching/Make/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Matching/Make/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ty/Svty/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ty/Svty/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Instances/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Instances/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sig/module-type-SHOSTAK/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sig/module-type-SHOSTAK/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ccx/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ccx/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Records/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Records/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sig_rel/module-type-RELATION/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sig_rel/module-type-RELATION/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Records/module-type-ALIEN/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Records/module-type-ALIEN/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sat_solver_sig/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ac/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ac/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ite/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ite/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Records/Shostak/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Records/Shostak/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Symbols/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Symbols/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ite_rel/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ite_rel/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/Make/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/Make/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Xliteral/module-type-S/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Xliteral/module-type-S/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_frontend_hybrid/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_frontend_hybrid/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sig/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sig/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Xliteral/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Xliteral/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/module-type-T/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-T/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ite/Shostak/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ite/Shostak/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Version/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Version/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arrays/Shostak/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arrays/Shostak/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Bitv/module-type-ALIEN/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Bitv/module-type-ALIEN/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Cnf/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Cnf/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Records_rel/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Records_rel/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/ZarithNumbers/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/ZarithNumbers/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/NumsNumbers/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/NumsNumbers/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Adt/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Adt/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Th_util/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Th_util/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ac/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ac/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-S/MINEQS/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/MINEQS/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Xliteral/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Xliteral/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Xliteral/Make/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Xliteral/Make/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sat_solver_sig/module-type-SatContainer/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/module-type-SatContainer/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Enum/module-type-ALIEN/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Enum/module-type-ALIEN/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Instances/Make/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Instances/Make/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Emap/module-type-OrderedType/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Emap/module-type-OrderedType/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_frontend/Make/argument-1-Th/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_frontend/Make/argument-1-Th/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Xliteral/module-type-S/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Xliteral/module-type-S/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/FM/argument-1-P/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/argument-1-P/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Commands/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Commands/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/NumsNumbers/Z/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/NumsNumbers/Z/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/NumsNumbers/Q/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/NumsNumbers/Q/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Options/Time/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Options/Time/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/module-type-ATOM/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-ATOM/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Uf/LX/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uf/LX/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Var/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Var/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Iheap/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Iheap/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/Flat_Formula/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/Flat_Formula/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/Shostak/argument-2-P/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/argument-2-P/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Input/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Input/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sat_solver/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sat_solver/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Bitv/Shostak/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Bitv/Shostak/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ccx/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ccx/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Adt/Shostak/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Adt/Shostak/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Frontend/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Frontend/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/NumbersInterface/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/NumbersInterface/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Xliteral/module-type-OrderedType/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Xliteral/module-type-OrderedType/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_frontend_hybrid/Make/argument-1-Th/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_frontend_hybrid/Make/argument-1-Th/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Explanation/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Explanation/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ac/Make/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ac/Make/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Adt_rel/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Adt_rel/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/MyDynlink/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/MyDynlink/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-Container_SIG/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arrays/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arrays/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/ZarithNumbers/Q/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/ZarithNumbers/Q/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Hstring/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Hstring/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_frontend/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_frontend/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/Atom/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/Atom/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Xliteral/Make/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Xliteral/Make/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/module-type-ATOM/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-ATOM/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sat_solver_sig/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Adt/module-type-ALIEN/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Adt/module-type-ALIEN/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/MXS/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/MXS/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Matching/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Matching/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Symbols/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Symbols/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Vec/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Vec/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/Type/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Type/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Expr/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Bitv/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Bitv/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/SXH/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/SXH/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ty/M/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ty/M/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-Container_SIG/Make/MINEQS/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/MINEQS/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Matching/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Matching/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Theory/Main_Default/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Theory/Main_Default/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Util/SS/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Util/SS/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arrays/module-type-ALIEN/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arrays/module-type-ALIEN/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-S/P/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/P/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sat_solver_sig/module-type-SatContainer/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/module-type-SatContainer/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Hconsing/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Hconsing/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Matching_types/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Matching_types/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Uf/LX/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uf/LX/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ty/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ty/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Bitv_rel/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Bitv_rel/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/module-type-ATOM/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-ATOM/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Enum/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Enum/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Records/Shostak/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Records/Shostak/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Typechecker/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Typechecker/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Bitv/Shostak/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Bitv/Shostak/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml/module-type-SAT_ML/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml/module-type-SAT_ML/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml/Make/argument-1-Th/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml/Make/argument-1-Th/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Arrays/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Arrays/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Theory/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Theory/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_frontend/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_frontend/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-S/MP/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/MP/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/module-type-EXTENDED_Polynome/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-EXTENDED_Polynome/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/Type/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Type/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Xliteral/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Xliteral/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/module-type-FLAT_FORMULA/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-FLAT_FORMULA/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Steps/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Steps/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/IntervalCalculus/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/IntervalCalculus/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Numbers/Q/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Numbers/Q/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arrays_rel/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arrays_rel/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Emap/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Emap/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Polynome/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Polynome/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Use/SA/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Use/SA/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Lists/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Lists/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/module-type-FLAT_FORMULA/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-FLAT_FORMULA/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Input/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Input/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Uf/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uf/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/module-type-FLAT_FORMULA/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/module-type-FLAT_FORMULA/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Util/SI/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Util/SI/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Bitv/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Bitv/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ite/module-type-ALIEN/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ite/module-type-ALIEN/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Symbols/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Symbols/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Adt/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Adt/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-Container_SIG/Make/MP/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/MP/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ite/Shostak/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ite/Shostak/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Emap/Make/argument-1-Ord/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Emap/Make/argument-1-Ord/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Matching/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Matching/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/Atom/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/Atom/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/NumbersInterface/module-type-QSig/Z/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/NumbersInterface/module-type-QSig/Z/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Numbers/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Numbers/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Profiling/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Profiling/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Parsed/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Parsed/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Format_shims/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Format_shims/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/SXS/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/SXS/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sat_solver_sig/module-type-SatContainer/Make/argument-1-Th/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/module-type-SatContainer/Make/argument-1-Th/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/Proxy_formula/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/Proxy_formula/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Var/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Var/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/MyUnix/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/MyUnix/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Util/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Util/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Emap/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Emap/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Hconsing/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Hconsing/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/Flat_Formula/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/Flat_Formula/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sig/module-type-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sig/module-type-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/FM/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Expr/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Combine/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Combine/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Numbers/Z/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Numbers/Z/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Timers/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Timers/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Gc_debug/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Gc_debug/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Explanation/MI/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Explanation/MI/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/Shostak/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ty/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ty/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Use/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Use/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Enum_rel/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Enum_rel/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/Flat_Formula/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/Flat_Formula/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Uf/LX/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uf/LX/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Hconsing/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Hconsing/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Hconsing/Make/argument-1-H/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Hconsing/Make/argument-1-H/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Printer/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Printer/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_types/Atom/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/Atom/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Adt/Shostak/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Adt/Shostak/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Instances/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Instances/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arrays/Shostak/argument-1-X/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arrays/Shostak/argument-1-X/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sig_rel/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sig_rel/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Fun_sat/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Fun_sat/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Fun_sat/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Fun_sat/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/FM/MINEQS/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/MINEQS/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-Container_SIG/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Parsed_interface/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Parsed_interface/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Typed/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Typed/index.html"
    }
  ]
}