{
  "name": "alt-ergo-lib",
  "version": "2.6.1",
  "files": [
    "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/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Var/Set/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/MS/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/Uqueue/Make/argument-1-H/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uqueue/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uqueue/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uqueue/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uid/Ty_map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uid/Term_set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uid/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uf/GlobalDomains/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Uf/module-type-GlobalDomain/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/Theories/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Theories/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/HX/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Literal/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Literal/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Literal/Table/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Literal/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/L/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/L/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/L/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/Adt/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/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Polynome/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Shostak/Polynome/Set/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-_/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-_/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-_/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/Rel_utils/XComparable/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Rel_utils/Delayed/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Rel_utils/HLR/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Rel_utils/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/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/Make/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/Make/Set/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/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-EXTENDED_Polynome/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-EXTENDED_Polynome/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-EXTENDED_Polynome/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-T/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-T/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-T/Set/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/Sources/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Options/Output/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Options/Time/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Options/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Objective/Model/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Objective/Value/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Objective/Function/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Objective/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/Nest/index.html",
    "doc/alt-ergo-lib/AltErgoLib/My_zip/index.html",
    "doc/alt-ergo-lib/AltErgoLib/My_unix/index.html",
    "doc/alt-ergo-lib/AltErgoLib/My_list/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Models/index.html",
    "doc/alt-ergo-lib/AltErgoLib/ModelMap/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/Literal/Make/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/Make/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/Make/Table/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/Make/argument-1-Sem/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/Make/argument-1-Sem/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/Make/argument-1-Sem/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/module-type-S/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/module-type-S/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/module-type-S/Table/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Literal/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Ite_rel/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-EuclideanRing/Interval/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-EuclideanRing/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-EuclideanType/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-AlgebraicField/Interval/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-AlgebraicField/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-AlgebraicType/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Field/Interval/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Field/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-FieldType/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Ring/Interval/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Ring/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-RingType/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Core/Union/Interval/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Core/Union/argument-1-OT/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Core/Union/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Core/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Union/Interval/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Union/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Interval/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-OrderedType/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Explanations/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_core/Make/Union/Interval/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_core/Make/Union/argument-1-OT/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_core/Make/Union/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_core/Make/argument-1-Ex/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_core/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals_core/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals/Legacy/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals/Int/Interval/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals/Int/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals/Real/Interval/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Intervals/Real/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/P/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/P/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/P/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/P/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/Set/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/P/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/P/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/P/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/P/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/argument-1-P/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/argument-1-P/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/argument-1-P/Set/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/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/P/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/P/Set/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/Id/Namespace/Abstract/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Id/Namespace/Skolem/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Id/Namespace/Internal/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Id/Namespace/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Id/Namespace/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Id/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/Heap/MakeOrdered/argument-1-V/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Heap/MakeOrdered/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Heap/module-type-OrderedTypeDefault/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Heap/MakeRanked/argument-1-Rank/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Heap/MakeRanked/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Heap/module-type-RankedType/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Heap/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_frontend/Make/argument-1-_/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Fun_sat_frontend/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Fun_sat_frontend/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Fun_sat/Make/argument-1-_/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/Expr/ArraysEx/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Expr/BV/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Expr/Reals/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Expr/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Expr/Core/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/Table/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/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/Domains_intf/module-type-S/Ephemeral/Canon/Entry/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/Ephemeral/Canon/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/Ephemeral/Entry/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/Ephemeral/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Composite/Table/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Composite/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Composite/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Composite/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Atom/Table/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Atom/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Atom/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Atom/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Composite/Table/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Composite/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Composite/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Composite/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/Table/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-EntryNotation/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-EphemeralDomainMap/Entry/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-EphemeralDomainMap/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-Domain/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-ComparableType/Table/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-ComparableType/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-ComparableType/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-ComparableType/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-OrderedType/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-OrderedType/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-OrderedType/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains_intf/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/Ephemeral/Canon/Entry/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/Ephemeral/Canon/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/Ephemeral/Entry/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/Ephemeral/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-3-W/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-3-W/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-3-W/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-2-D/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Composite/Table/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Composite/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Composite/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Composite/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Atom/Table/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Atom/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Atom/Set/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Atom/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/Make/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Domains/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_state_option/Steps/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_state_option/SatSolverModule/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_state_option/SatSolver/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_state_option/ProduceAssignment/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_state_option/StrictMode/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_state_option/Mode/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_state_option/module-type-S/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_state_option/module-type-Accessor/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_state_option/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_loop/Typer_Pipe/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_loop/Typer/Ext/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_loop/Typer/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_loop/Header/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_loop/Parser/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_loop/Pipeline/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_loop/State/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_loop/index.html",
    "doc/alt-ergo-lib/AltErgoLib/D_cnf/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Compat/Type/Id/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Compat/Type/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Compat/Seq/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Compat/String/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Compat/List/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Compat/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/Bitlist/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arrays_rel/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/argument-2-P/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/argument-2-P/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/argument-2-P/Set/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/Ints/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/Type/Map/index.html",
    "doc/alt-ergo-lib/AltErgoLib/Arith/Type/Set/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/altErgoLib.ml.html", "doc/src/index.html",
    "doc/README.html", "doc/LICENSE.html", "doc/index.html",
    "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/AltErgoLib/Arith/Shostak/argument-2-P/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/argument-2-P/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_loop/Typer/Ext/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_loop/Typer/Ext/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_core/Make/Union/argument-1-OT/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_core/Make/Union/argument-1-OT/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-Field/Interval/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Field/Interval/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_frontend/Make/argument-1-_/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_frontend/Make/argument-1-_/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-NormalForm/Composite/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Composite/Table/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Heap/MakeOrdered/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Heap/MakeOrdered/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/argument-1-SAT/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Frontend/Make/argument-1-SAT/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_core/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_core/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Expr/Reals/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/Reals/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/Table/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/Polynome/Make/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/Make/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-Core/Union/argument-1-OT/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Core/Union/argument-1-OT/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/Inequalities/FM/P/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/P/Map/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/Arith/Type/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Type/Ints/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_loop/Typer/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_loop/Typer/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/Make/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/Make/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Options/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Options/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Rel_utils/XComparable/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Rel_utils/XComparable/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/My_zip/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/My_zip/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/Emap/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Emap/Make/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/Objective/Value/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Objective/Value/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/Domains/Make/argument-1-NF/Composite/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Composite/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/Ephemeral/Entry/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/Ephemeral/Entry/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Symbols/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Symbols/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-Container_SIG/Make/P/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/P/Map/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/Compat/Type/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Compat/Type/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Sig/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sig/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Uf/GlobalDomains/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uf/GlobalDomains/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/Domains_intf/module-type-S/NF/Composite/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Composite/Map/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/Bitv/module-type-ALIEN/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Bitv/module-type-ALIEN/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/Ac/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ac/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/argument-3-W/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-3-W/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/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/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/Domains/Make/argument-3-W/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-3-W/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/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/Domains_intf/module-type-NormalForm/Composite/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Composite/Set/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/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/Intervals/Real/Interval/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals/Real/Interval/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/Explanation/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Explanation/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Id/Namespace/Abstract/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Id/Namespace/Abstract/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/Intervals/Real/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals/Real/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals/Legacy/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals/Legacy/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/module-type-T/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-T/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Rel_utils/Delayed/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Rel_utils/Delayed/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/argument-2-D/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-2-D/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/L/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/L/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Id/Namespace/Skolem/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Id/Namespace/Skolem/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/Shostak/Literal/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Literal/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/ModelMap/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/ModelMap/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/My_unix/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/My_unix/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/Domains_intf/module-type-ComparableType/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-ComparableType/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_state_option/module-type-Accessor/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_state_option/module-type-Accessor/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/Sat_solver_sig/module-type-SatContainer/Make/argument-1-_/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Sat_solver_sig/module-type-SatContainer/Make/argument-1-_/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-Core/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Core/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/argument-1-NF/Atom/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Atom/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-AlgebraicField/Interval/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-AlgebraicField/Interval/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Polynome/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Polynome/Ints/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals/Int/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals/Int/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/argument-1-NF/Composite/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Composite/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-S/NF/Atom/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Atom/Table/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/Fun_sat/Make/argument-1-_/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Fun_sat/Make/argument-1-_/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/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/Domains_intf/module-type-S/NF/Atom/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Atom/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/module-type-T/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-T/Map/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/Id/Namespace/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Id/Namespace/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Literal/Make/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/Make/Map/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/Expr/BV/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/BV/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Fun_sat_frontend/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Fun_sat_frontend/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/FM/P/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/P/Set/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/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/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/Uqueue/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uqueue/module-type-S/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/D_loop/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_loop/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/HX/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/HX/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/argument-1-NF/Atom/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Atom/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/Ephemeral/Canon/Entry/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/Ephemeral/Canon/Entry/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/IntervalCalculus/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/IntervalCalculus/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Expr/ArraysEx/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/ArraysEx/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Polynome/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Polynome/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/Ephemeral/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/Ephemeral/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/Polynome/module-type-EXTENDED_Polynome/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-EXTENDED_Polynome/Set/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/Intervals_intf/module-type-Union/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Union/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/Make/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/Make/Ints/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/Intervals_intf/module-type-Ring/Interval/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Ring/Interval/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Bitlist/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Bitlist/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/Satml_types/Atom/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/Atom/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-ComparableType/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-ComparableType/Table/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-Ring/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Ring/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-S/Ephemeral/Canon/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/Ephemeral/Canon/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Heap/MakeOrdered/argument-1-V/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Heap/MakeOrdered/argument-1-V/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Options/Sources/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Options/Sources/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Profiling/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Profiling/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_core/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_core/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-NormalForm/Composite/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Composite/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_loop/Header/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_loop/Header/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-EuclideanRing/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-EuclideanRing/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Uid/Ty_map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uid/Ty_map/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/Polynome/module-type-T/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-T/Ints/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Util/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Util/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Fun_sat_frontend/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Fun_sat_frontend/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-S/NF/Composite/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Composite/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Objective/Function/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Objective/Function/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/Id/Namespace/Internal/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Id/Namespace/Internal/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/Polynome/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/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/Use/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Use/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-S/Ephemeral/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/Ephemeral/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-AlgebraicType/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-AlgebraicType/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/Inequalities/module-type-Container_SIG/Make/argument-1-P/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/Ints/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-AlgebraicField/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-AlgebraicField/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Literal/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Literal/Set/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/Polynome/module-type-EXTENDED_Polynome/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-EXTENDED_Polynome/Ints/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/Literal/module-type-S/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/module-type-S/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-ComparableType/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-ComparableType/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-S/Ephemeral/Entry/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/Ephemeral/Entry/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/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"
    },
    {
      "old_path": "doc/AltErgoLib/Loc/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Loc/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Expr/Core/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/Core/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/Theory/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Theory/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-S/Ephemeral/Canon/Entry/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/Ephemeral/Canon/Entry/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-EuclideanType/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-EuclideanType/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Polynome/module-type-EXTENDED_Polynome/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Polynome/module-type-EXTENDED_Polynome/Map/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/Inequalities/FM/argument-1-P/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/argument-1-P/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/Polynome/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Polynome/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/FM/P/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/P/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Shostak/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/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/Literal/Make/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/Make/Set/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/Intervals_intf/module-type-Interval/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Interval/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/Inequalities/module-type-S/P/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/P/Ints/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_state_option/SatSolver/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_state_option/SatSolver/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/Expr/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/My_list/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/My_list/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/argument-3-W/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-3-W/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-EphemeralDomainMap/Entry/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-EphemeralDomainMap/Entry/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/Shostak/Arith/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Arith/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_state_option/StrictMode/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_state_option/StrictMode/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Errors/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Errors/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-Core/Union/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Core/Union/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/Ac/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ac/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/Domains_intf/module-type-NormalForm/Composite/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Composite/Map/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/Heap/MakeRanked/argument-1-Rank/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Heap/MakeRanked/argument-1-Rank/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Models/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Models/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/Intervals/Int/Interval/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals/Int/Interval/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/Uid/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uid/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/D_state_option/Steps/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_state_option/Steps/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/argument-1-NF/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/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/Heap/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Heap/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/Domains_intf/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Version/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Version/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/argument-1-NF/Atom/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Atom/Table/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_core/Make/Union/Interval/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_core/Make/Union/Interval/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Cnf/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Cnf/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Compat/String/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Compat/String/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_core/Make/Union/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_core/Make/Union/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/Th_util/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Th_util/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_loop/Parser/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_loop/Parser/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-Field/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Field/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/Compat/List/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Compat/List/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/Rel_utils/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Rel_utils/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-ComparableType/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-ComparableType/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Commands/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Commands/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-S/NF/Composite/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Composite/Table/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_loop/Typer_Pipe/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_loop/Typer_Pipe/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Literal/Make/argument-1-Sem/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/Make/argument-1-Sem/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/D_state_option/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_state_option/module-type-S/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/Domains_intf/module-type-S/NF/Atom/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Atom/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/FM/argument-1-P/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/argument-1-P/Ints/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-Container_SIG/Make/P/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/P/Ints/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/Intervals_intf/module-type-OrderedType/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-OrderedType/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ccx/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ccx/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_loop/State/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_loop/State/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Expr/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/Ints/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-FieldType/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-FieldType/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/Objective/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Objective/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/Inequalities/module-type-Container_SIG/Make/P/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/P/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/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_types/Atom/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_types/Atom/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Uf/module-type-GlobalDomain/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uf/module-type-GlobalDomain/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Uid/Term_set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uid/Term_set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_core/Make/argument-1-Ex/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_core/Make/argument-1-Ex/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/D_state_option/Mode/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_state_option/Mode/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Expr/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/Table/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/Domains_intf/module-type-NormalForm/Atom/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/Atom/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Options/Output/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Options/Output/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_state_option/ProduceAssignment/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_state_option/ProduceAssignment/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-S/NF/Atom/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Atom/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Heap/module-type-OrderedTypeDefault/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Heap/module-type-OrderedTypeDefault/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/Literal/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_loop/Pipeline/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_loop/Pipeline/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/Literal/module-type-S/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/module-type-S/Table/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/Type/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Type/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Rel_utils/HLR/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Rel_utils/HLR/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Compat/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Compat/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/Inequalities/module-type-S/P/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/P/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Uqueue/Make/argument-1-H/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uqueue/Make/argument-1-H/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml/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/Domains/Make/argument-1-NF/Atom/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Atom/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/FM/argument-1-P/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/argument-1-P/Set/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/Objective/Model/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Objective/Model/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/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/Shostak/Literal/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Literal/Table/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Theories/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Theories/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-OrderedType/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-OrderedType/Set/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/Domains/Make/argument-1-NF/Composite/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Composite/Table/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_state_option/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_state_option/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Xliteral/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Xliteral/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/argument-1-NF/Composite/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/argument-1-NF/Composite/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Literal/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/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/Shostak/Literal/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/Literal/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-Union/Interval/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Union/Interval/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-EuclideanRing/Interval/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-EuclideanRing/Interval/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Satml_frontend_hybrid/Make/argument-1-_/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Satml_frontend_hybrid/Make/argument-1-_/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_cnf/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_cnf/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Literal/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Steps/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Steps/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-S/NF/Composite/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/Composite/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/Domains_intf/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Emap/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Emap/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Fun_sat_frontend/Make/argument-1-_/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Fun_sat_frontend/Make/argument-1-_/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Heap/MakeRanked/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Heap/MakeRanked/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/Domains_intf/module-type-EntryNotation/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-EntryNotation/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Bitv/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Bitv/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/Shostak/L/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/L/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-S/NF/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-S/NF/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Literal/Make/Table/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/Make/Table/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/Literal/Make/argument-1-Sem/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/Make/argument-1-Sem/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-EphemeralDomainMap/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-EphemeralDomainMap/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Numbers/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Numbers/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains/Make/Ephemeral/Canon/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains/Make/Ephemeral/Canon/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Parsed/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Parsed/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Id/Namespace/module-type-S/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Id/Namespace/module-type-S/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Theories/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Theories/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/Type/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Type/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-OrderedType/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-OrderedType/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/FM/P/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/P/Ints/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Var/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Var/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Uqueue/Make/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uqueue/Make/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-Domain/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-Domain/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/Literal/module-type-S/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/module-type-S/Map/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/Domains_intf/module-type-OrderedType/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-OrderedType/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Expr/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Expr/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-Container_SIG/Make/P/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/P/Set/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/Shostak/L/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Shostak/L/Map/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/Id/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Id/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/Intervals_intf/module-type-RingType/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-RingType/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/Intervals_intf/module-type-Explanations/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Explanations/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Ty/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Ty/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/Shostak/argument-2-P/Map/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/argument-2-P/Map/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-Container_SIG/Make/argument-1-P/Set/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/Heap/module-type-RankedType/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Heap/module-type-RankedType/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Arith/Shostak/argument-2-P/Ints/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Arith/Shostak/argument-2-P/Ints/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Compat/Type/Id/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Compat/Type/Id/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/Nest/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Nest/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Compat/Seq/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Compat/Seq/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/D_state_option/SatSolverModule/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/D_state_option/SatSolverModule/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/Uqueue/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Uqueue/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Domains_intf/module-type-NormalForm/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Domains_intf/module-type-NormalForm/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/Inequalities/FM/MINEQS/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/FM/MINEQS/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Inequalities/module-type-S/P/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Inequalities/module-type-S/P/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Intervals_intf/module-type-Core/Union/Interval/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Intervals_intf/module-type-Core/Union/Interval/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Literal/Make/argument-1-Sem/Set/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Literal/Make/argument-1-Sem/Set/index.html"
    },
    {
      "old_path": "doc/AltErgoLib/Util/MS/index.html",
      "new_path": "doc/alt-ergo-lib/AltErgoLib/Util/MS/index.html"
    }
  ]
}