@stevenvo780/st-lang 4.14.0 → 4.15.0

package/dist/reasoning/tactic-dsl/tactics.js

@@ -35,6 +35,7 @@ function freshGoalId(prefix = 'g') {
     return `${prefix}${goalCounter}`;
 }
 // Reset para tests deterministas (no exportado en el API público).
+/** Resets the internal goal ID counter to 0. Intended for deterministic tests only. */
 function _resetGoalCounter() {
     goalCounter = 0;
 }
@@ -65,8 +66,12 @@ function recordHistory(before, after, tactic, args) {
     };
 }
 // ---------- intro ----------
-// `intro(name?)` — para goal `P -> Q`, descarga `P` con nombre `name`
-// (o auto) y deja goal `Q`. Soporta también `~P` (≡ `P -> False`).
+/**
+ * `intro(name?)` — For a goal of the form `P → Q`, moves the antecedent `P`
+ * into the hypothesis context under `name` (auto-generated when omitted) and
+ * leaves `Q` as the new goal. Also handles `¬P` (≡ `P → False`).
+ * @throws {@link TacticError} When the goal is not an implication or negation.
+ */
 function intro(name) {
     return (state) => {
         const goal = activeGoal(state, 'intro');
@@ -104,9 +109,12 @@ function autoFreshHypName(hyps) {
     return `H${i}`;
 }
 // ---------- exact ----------
-// `exact(term)` — cierra el goal si `term` (interpretado como nombre
-// de una hipótesis O como string igual al goal) coincide con la
-// conclusión.
+/**
+ * `exact(term)` — Closes the current goal when `term` is either the name of
+ * a hypothesis whose type matches the conclusion, or a string syntactically
+ * equal to the conclusion.
+ * @throws {@link TacticError} When `term` does not match the goal.
+ */
 function exact(term) {
     return (state) => {
         const goal = activeGoal(state, 'exact');
@@ -123,7 +131,11 @@ function exact(term) {
     };
 }
 // ---------- assumption ----------
-// Cierra el goal si alguna hipótesis tiene el mismo tipo que la conclusión.
+/**
+ * Closes the goal by finding a hypothesis whose type is syntactically equal
+ * to the conclusion. Equivalent to `exact` over the full hypothesis map.
+ * @throws {@link TacticError} When no hypothesis matches the conclusion.
+ */
 function assumption() {
     return (state) => {
         const goal = activeGoal(state, 'assumption');
@@ -143,11 +155,13 @@ function formatHypList(hyps) {
     return entries.map(([n, t]) => `${n}:${t}`).join(', ');
 }
 // ---------- apply ----------
-// `apply(thm)` — backward chaining sobre una hipótesis `thm`.
-// Si `thm : A -> B` y goal es `B`, deja goal `A`.
-// Si `thm : A -> B -> C` y goal es `C`, deja goals `A`, `B`.
-// args opcional: lista de hipótesis/strings que satisfacen las premisas
-// inmediatamente.
+/**
+ * `apply(thm, args?)` — Backward chaining on hypothesis `thm`.
+ * If `thm : A → B` and the goal is `B`, leaves sub-goal `A`.
+ * Multi-premise: `thm : A → B → C` with goal `C` leaves goals `A` and `B`.
+ * `args` allows immediately discharging leading premises with matching hypotheses.
+ * @throws {@link TacticError} When `thm` is not in scope, its conclusion does not unify with the goal, or args are mismatched.
+ */
 function apply(thm, args) {
     return (state) => {
         const goal = activeGoal(state, 'apply');
@@ -196,8 +210,12 @@ function apply(thm, args) {
     };
 }
 // ---------- rewrite ----------
-// `rewrite(eqName, dir?)` — usa la hipótesis `eqName: lhs = rhs` para
-// reemplazar ocurrencias de lhs por rhs en la conclusión (o al revés).
+/**
+ * `rewrite(eq, dir?)` — Uses hypothesis `eq : lhs = rhs` to replace
+ * occurrences of `lhs` with `rhs` in the conclusion (left-to-right by default),
+ * or `rhs` with `lhs` when `dir = 'right-to-left'`.
+ * @throws {@link TacticError} When `eq` is not an equality or the pattern is absent from the conclusion.
+ */
 function rewrite(eq, dir = 'left-to-right') {
     return (state) => {
         const goal = activeGoal(state, 'rewrite');
@@ -227,7 +245,10 @@ function rewrite(eq, dir = 'left-to-right') {
     };
 }
 // ---------- rfl ----------
-// Cierra goals de la forma `a = a` (reflexividad sintáctica tras normalizar).
+/**
+ * Closes goals of the form `a = a` (syntactic reflexivity after normalization).
+ * @throws {@link TacticError} When the goal is not an equality or the two sides differ.
+ */
 function rfl() {
     return (state) => {
         const goal = activeGoal(state, 'rfl');
@@ -243,7 +264,11 @@ function rfl() {
     };
 }
 // ---------- trivial ----------
-// Cierra goals obvios: True, o conclusión equivalente a una hipótesis True.
+/**
+ * Closes trivially true goals: `True`, or any goal when `False` is in the hypotheses
+ * (ex falso quodlibet).
+ * @throws {@link TacticError} When the goal is not trivially provable.
+ */
 function trivial() {
     return (state) => {
         const goal = activeGoal(state, 'trivial');
@@ -264,7 +289,10 @@ function trivial() {
     };
 }
 // ---------- split ----------
-// ∧-intro: goal `P /\ Q` produce dos sub-goals `P` y `Q`.
+/**
+ * ∧-introduction: splits a conjunction goal `P ∧ Q` into two sub-goals `P` and `Q`.
+ * @throws {@link TacticError} When the goal is not a conjunction.
+ */
 function split() {
     return (state) => {
         const goal = activeGoal(state, 'split');
@@ -281,7 +309,10 @@ function split() {
     };
 }
 // ---------- left / right ----------
-// ∨-intro: goal `P \/ Q` deja sub-goal `P` (left) o `Q` (right).
+/**
+ * ∨-introduction (left): for a disjunction goal `P ∨ Q`, reduces to proving `P`.
+ * @throws {@link TacticError} When the goal is not a disjunction.
+ */
 function left() {
     return (state) => {
         const goal = activeGoal(state, 'left');
@@ -294,6 +325,10 @@ function left() {
         return recordHistory(state, after, 'left', []);
     };
 }
+/**
+ * ∨-introduction (right): for a disjunction goal `P ∨ Q`, reduces to proving `Q`.
+ * @throws {@link TacticError} When the goal is not a disjunction.
+ */
 function right() {
     return (state) => {
         const goal = activeGoal(state, 'right');
@@ -307,9 +342,13 @@ function right() {
     };
 }
 // ---------- destruct ----------
-// Caso por hipótesis. Para `H: P /\ Q` desglosa en dos hipótesis `H_L:P`,
-// `H_R:Q` en el mismo goal. Para `H: P \/ Q` produce dos sub-goals
-// (cada uno con la hipótesis correspondiente). Para `H: P -> Q` no aplica.
+/**
+ * Case analysis on hypothesis `name`.
+ * - `H: P ∧ Q` → splits into hypotheses `H_L: P` and `H_R: Q` in the same goal.
+ * - `H: P ∨ Q` → produces two sub-goals, each with the respective disjunct.
+ * - `H: ⊥` → closes the goal (ex falso).
+ * @throws {@link TacticError} When `name` is not in scope or its type cannot be destructured.
+ */
 function destruct(name) {
     return (state) => {
         const goal = activeGoal(state, 'destruct');
@@ -351,11 +390,15 @@ function destruct(name) {
     };
 }
 // ---------- induction ----------
-// Esquema mínimo sobre Nat. Para una hipótesis `n: Nat`, produce dos goals:
-//   zero-case: concl[n := zero]
-//   succ-case: hyps ∪ { IH: concl[n := k] }, concl[n := succ(k)]
-// El user puede declarar otros tipos de inducción registrándolos antes,
-// pero la versión base sólo cubre Nat.
+/**
+ * Structural induction on hypothesis `name: Nat`.
+ * Produces two sub-goals:
+ * - **zero case**: conclusion with `name` substituted by `zero`.
+ * - **succ case**: adds `IH: P(k)` and `k: Nat`; conclusion is `P(succ(k))`.
+ *
+ * Only Nat induction is supported in this base implementation.
+ * @throws {@link TacticError} When `name` is not a `Nat` hypothesis.
+ */
 function induction(name) {
     return (state) => {
         const goal = activeGoal(state, 'induction');
@@ -399,13 +442,19 @@ function pickFreshVar(hyps, hint) {
     return `${hint}${i}`;
 }
 // ---------- case ----------
-// Alias de `destruct` con semántica explícita de "análisis por casos".
-// Mantenemos el nombre `case` por afinidad con Coq pero el constructor
-// JS reservado nos obliga a usar `caseAnalysis`/`caseT`. Exportamos
-// como `case` desde index via re-export con alias.
+/**
+ * Alias of {@link destruct} with the semantics of "case analysis".
+ * Exported as `case` from `index.ts` via re-export alias (JS keyword conflict).
+ */
 function caseAnalysis(name) {
     return destruct(name);
 }
+/**
+ * `unfold(def, dict)` — Replaces the identifier `def` by its body from `dict`
+ * in the current conclusion. The definition dictionary is caller-supplied;
+ * no global state is maintained.
+ * @throws {@link TacticError} When `def` is not in `dict` or does not appear in the goal.
+ */
 function unfold(def, dict = {}) {
     return (state) => {
         const goal = activeGoal(state, 'unfold');
@@ -427,13 +476,14 @@ function unfold(def, dict = {}) {
     };
 }
 // ---------- simp ----------
-// Simplificación rudimentaria:
-//   True /\ X  →  X
-//   X /\ True  →  X
-//   False \/ X →  X
-//   X \/ False →  X
-//   ~~X        →  X
-// Se aplica recursivamente hasta punto fijo. Si no cambia nada, falla.
+/**
+ * Applies the following rewrite rules recursively to a fixed point:
+ * - `True ∧ X → X`, `X ∧ True → X`, `False ∧ X → False`
+ * - `False ∨ X → X`, `X ∨ False → X`, `True ∨ X → True`
+ * - `True → X → X`, `X → True → True`, `False → X → True`
+ * - `¬¬X → X`
+ * @throws {@link TacticError} When the goal is unchanged after all rules.
+ */
 function simp() {
     return (state) => {
         const goal = activeGoal(state, 'simp');

package/dist/reasoning/tactic-dsl/tactics.js.map

@@ -1 +1 @@
-{"version":3,"file":"tactics.js","sourceRoot":"","sources":["../../../src/reasoning/tactic-dsl/tactics.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAC/D,EAAE;AACF,kEAAkE;AAClE,4DAA4D;AAC5D,kEAAkE;AAClE,oBAAoB;AACpB,EAAE;AACF,gEAAgE;AAChE,mEAAmE;AACnE,oDAAoD;;AAmBpD,8CAEC;AAwCD,sBA2BC;AAaD,sBAiBC;AAKD,gCAcC;AAeD,sBAoDC;AAMD,0BA8BC;AAKD,kBAaC;AAKD,0BAkBC;AAKD,sBAcC;AAKD,oBAWC;AAED,sBAWC;AAOD,4BA0CC;AASD,8BAsCC;AAeD,oCAEC;AAYD,wBAmBC;AAWD,oBAyBC;AA3fD,mCAOiB;AAGjB,IAAI,WAAW,GAAG,CAAC,CAAC;AACpB,SAAS,WAAW,CAAC,MAAM,GAAG,GAAG;IAC/B,WAAW,EAAE,CAAC;IACd,OAAO,GAAG,MAAM,GAAG,WAAW,EAAE,CAAC;AACnC,CAAC;AAED,mEAAmE;AACnE,SAAgB,iBAAiB;IAC/B,WAAW,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,KAAiB,EAAE,MAAc;IACnD,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB,EAAE,OAAe;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IACnC,OAAO;QACL,KAAK,EAAE,IAAI;QACX,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAkB,EAClB,KAAiB,EACjB,MAAc,EACd,IAAe;IAEf,MAAM,UAAU,GAAqB,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACrE,OAAO;QACL,GAAG,KAAK;QACR,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,8BAA8B;AAC9B,sEAAsE;AACtE,mEAAmE;AAEnE,SAAgB,KAAK,CAAC,IAAa;IACjC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,OAAgB,CAAC;QACrB,IAAI,QAAiB,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;YACjB,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC;QACrB,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;YACjB,QAAQ,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,+BAA+B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,wBAAwB,OAAO,aAAa,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,IAAA,uBAAe,EAAC,OAAO,CAAC,EAAE;YAC3D,KAAK,EAAE,IAAA,uBAAe,EAAC,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAA4B;IACpD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,SAAS;QAAE,CAAC,EAAE,CAAC;IACxC,OAAO,IAAI,CAAC,EAAE,CAAC;AACjB,CAAC;AAED,8BAA8B;AAC9B,qEAAqE;AACrE,gEAAgE;AAChE,cAAc;AAEd,SAAgB,KAAK,CAAC,IAAY;IAChC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,IAAI,IAAA,iBAAS,EAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,IAAA,iBAAS,EAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,IAAI,IAAI,2BAA2B,IAAI,CAAC,KAAK,YAAY,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9F,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,mCAAmC;AACnC,4EAA4E;AAE5E,SAAgB,UAAU;IACxB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,IAAI,IAAA,iBAAS,EAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,YAAY,EACZ,6BAA6B,IAAI,CAAC,KAAK,aAAa,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChF,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAA4B;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACrC,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,8BAA8B;AAC9B,8DAA8D;AAC9D,kDAAkD;AAClD,6DAA6D;AAC7D,wEAAwE;AACxE,kBAAkB;AAElB,SAAgB,KAAK,CAAC,GAAW,EAAE,IAAe;IAChD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,IAAI,GAAG,wBAAwB,CAAC,CAAC;QAClE,CAAC;QACD,iDAAiD;QACjD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,OAAO,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,IAAI,GAAG,GAAY,CAAC,CAAC;QACrB,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxB,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,IAAA,iBAAS,EAAC,IAAA,uBAAe,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,kBAAkB,GAAG,MAAM,IAAA,uBAAe,EAAC,GAAG,CAAC,0BAA0B,IAAI,CAAC,KAAK,GAAG,CACvF,CAAC;QACJ,CAAC;QACD,qEAAqE;QACrE,2CAA2C;QAC3C,IAAI,SAAS,GAAG,QAAQ,CAAC;QACzB,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAClC,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,oBAAoB,IAAI,CAAC,MAAM,MAAM,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC1F,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACpD,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,QAAQ,OAAO,0BAA0B,CAAC,CAAC;gBAC5E,CAAC;gBACD,IAAI,CAAC,IAAA,iBAAS,EAAC,OAAO,EAAE,IAAA,uBAAe,EAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;oBACnD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,QAAQ,OAAO,IAAI,OAAO,2BAA2B,CAAC,GAAG,CAAC,KAAK,IAAA,uBAAe,EAAC,QAAQ,CAAC,GAAG,CAC5F,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,QAAQ,GAAW,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7C,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC;YAC9B,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC;SAC1B,CAAC,CAAC,CAAC;QACJ,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC5C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC;AACJ,CAAC;AAED,gCAAgC;AAChC,sEAAsE;AACtE,uEAAuE;AAEvE,SAAgB,OAAO,CACrB,EAAU,EACV,MAAyC,eAAe;IAExD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,IAAI,EAAE,wBAAwB,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,MAAM,sBAAsB,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,MAAM,EAAE,GAAG,GAAG,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACrD,MAAM,QAAQ,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,QAAQ,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,mBAAmB,IAAI,uBAAuB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAChG,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,wBAAgB,EAAC,QAAQ,CAAC;SAClC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC;AACJ,CAAC;AAED,4BAA4B;AAC5B,8EAA8E;AAE9E,SAAgB,GAAG;IACjB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,KAAK,EAAE,4BAA4B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,mBAAW,CAAC,KAAK,EAAE,oBAAoB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC;AACJ,CAAC;AAED,gCAAgC;AAChC,4EAA4E;AAE5E,SAAgB,OAAO;IACrB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,0EAA0E;QAC1E,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,IAAA,oBAAY,EAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,SAAS,IAAI,CAAC,KAAK,6BAA6B,CAAC,CAAC;IACrF,CAAC,CAAC;AACJ,CAAC;AAED,8BAA8B;AAC9B,0DAA0D;AAE1D,SAAgB,KAAK;IACnB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,IAAI,GAAW;YACnB,EAAE,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE;YAC3F,EAAE,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE;SAC7F,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC;AACJ,CAAC;AAED,qCAAqC;AACrC,iEAAiE;AAEjE,SAAgB,IAAI;IAClB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,GAAG,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1F,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC;AACJ,CAAC;AAED,SAAgB,KAAK;IACnB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,GAAG,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3F,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC;AACJ,CAAC;AAED,iCAAiC;AACjC,0EAA0E;AAC1E,mEAAmE;AACnE,2EAA2E;AAE3E,SAAgB,QAAQ,CAAC,IAAY;IACnC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,UAAU,EAAE,IAAI,IAAI,wBAAwB,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,OAAO,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,GAA2B,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YACrE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAClC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM,IAAI,GAAS;gBACjB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;gBAC/B,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE;gBAC7D,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;YACF,MAAM,KAAK,GAAS;gBAClB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;gBAC/B,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE;gBAC9D,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;YACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACjD,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,UAAU,EACV,IAAI,IAAI,IAAI,OAAO,+CAA+C,CACnE,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,kCAAkC;AAClC,4EAA4E;AAC5E,gCAAgC;AAChC,iEAAiE;AACjE,wEAAwE;AACxE,uCAAuC;AAEvC,SAAgB,SAAS,CAAC,IAAY;IACpC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,WAAW,EAAE,IAAI,IAAI,wBAAwB,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;YAC9D,MAAM,IAAI,mBAAW,CACnB,WAAW,EACX,gDAAgD,IAAI,IAAI,OAAO,IAAI,CACpE,CAAC;QACJ,CAAC;QACD,wCAAwC;QACxC,MAAM,QAAQ,GAA2B,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;QAEtB,oEAAoE;QACpE,sEAAsE;QACtE,sDAAsD;QACtD,MAAM,SAAS,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,OAAO,GAAG,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAEtD,MAAM,QAAQ,GAAS;YACrB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC;YAClC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE;YACrB,KAAK,EAAE,IAAA,wBAAgB,EAAC,SAAS,CAAC;SACnC,CAAC;QACF,MAAM,QAAQ,GAAS;YACrB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC;YAClC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAA,wBAAgB,EAAC,OAAO,CAAC,EAAE;YACtE,KAAK,EAAE,IAAA,wBAAgB,EAAC,SAAS,CAAC;SACnC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxD,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAA4B,EAAE,IAAY;IAC9D,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,SAAS;QAAE,CAAC,EAAE,CAAC;IAC9C,OAAO,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC;AACvB,CAAC;AAED,6BAA6B;AAC7B,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,mDAAmD;AAEnD,SAAgB,YAAY,CAAC,IAAY;IACvC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAYD,SAAgB,MAAM,CAAC,GAAW,EAAE,OAAsB,EAAE;IAC1D,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,mBAAW,CAAC,QAAQ,EAAE,eAAe,GAAG,iBAAiB,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,QAAQ,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACnD,IAAI,QAAQ,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,mBAAW,CAAC,QAAQ,EAAE,IAAI,GAAG,sBAAsB,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,wBAAgB,EAAC,QAAQ,CAAC;SAClC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC;AACJ,CAAC;AAED,6BAA6B;AAC7B,+BAA+B;AAC/B,oBAAoB;AACpB,oBAAoB;AACpB,oBAAoB;AACpB,oBAAoB;AACpB,oBAAoB;AACpB,uEAAuE;AAEvE,SAAgB,IAAI;IAClB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAA,wBAAgB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,GAAG,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,OAAO,OAAO,EAAE,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,MAAM,EAAE,CAAC;YACT,IAAI,MAAM,GAAG,GAAG;gBAAE,MAAM;YACxB,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,GAAG,CAAC,CAAC;YACpC,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE;gBACvB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC,CAAC,CAAC;YACH,IAAI,IAAA,uBAAe,EAAC,GAAG,CAAC,KAAK,MAAM;gBAAE,OAAO,GAAG,IAAI,CAAC;QACtD,CAAC;QACD,MAAM,IAAI,GAAG,IAAA,uBAAe,EAAC,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,4BAA4B,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,OAAO,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC3E,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAgB;IAC5C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,CAAC,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACzB,IAAI,EAAE,CAAC;gBACP,OAAO,KAAK,CAAC,IAAI,CAAC;YACpB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACtC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC7C,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC3B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3C,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC3C,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,qEAAqE;YACrE,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"tactics.js","sourceRoot":"","sources":["../../../src/reasoning/tactic-dsl/tactics.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAC/D,EAAE;AACF,kEAAkE;AAClE,4DAA4D;AAC5D,kEAAkE;AAClE,oBAAoB;AACpB,EAAE;AACF,gEAAgE;AAChE,mEAAmE;AACnE,oDAAoD;;AAoBpD,8CAEC;AA4CD,sBA2BC;AAgBD,sBAiBC;AASD,gCAcC;AAiBD,sBAoDC;AAUD,0BA8BC;AAQD,kBAaC;AASD,0BAkBC;AAQD,sBAcC;AAQD,oBAWC;AAMD,sBAWC;AAWD,4BA0CC;AAaD,8BAsCC;AAeD,oCAEC;AAmBD,wBAmBC;AAYD,oBAyBC;AA9iBD,mCAOiB;AAGjB,IAAI,WAAW,GAAG,CAAC,CAAC;AACpB,SAAS,WAAW,CAAC,MAAM,GAAG,GAAG;IAC/B,WAAW,EAAE,CAAC;IACd,OAAO,GAAG,MAAM,GAAG,WAAW,EAAE,CAAC;AACnC,CAAC;AAED,mEAAmE;AACnE,uFAAuF;AACvF,SAAgB,iBAAiB;IAC/B,WAAW,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,KAAiB,EAAE,MAAc;IACnD,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB,EAAE,OAAe;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IACnC,OAAO;QACL,KAAK,EAAE,IAAI;QACX,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAkB,EAClB,KAAiB,EACjB,MAAc,EACd,IAAe;IAEf,MAAM,UAAU,GAAqB,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACrE,OAAO;QACL,GAAG,KAAK;QACR,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,8BAA8B;AAE9B;;;;;GAKG;AACH,SAAgB,KAAK,CAAC,IAAa;IACjC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,OAAgB,CAAC;QACrB,IAAI,QAAiB,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;YACjB,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC;QACrB,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC;YACjB,QAAQ,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,+BAA+B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,wBAAwB,OAAO,aAAa,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,IAAA,uBAAe,EAAC,OAAO,CAAC,EAAE;YAC3D,KAAK,EAAE,IAAA,uBAAe,EAAC,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAA4B;IACpD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,SAAS;QAAE,CAAC,EAAE,CAAC;IACxC,OAAO,IAAI,CAAC,EAAE,CAAC;AACjB,CAAC;AAED,8BAA8B;AAE9B;;;;;GAKG;AACH,SAAgB,KAAK,CAAC,IAAY;IAChC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,IAAI,IAAA,iBAAS,EAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,IAAA,iBAAS,EAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,IAAI,IAAI,2BAA2B,IAAI,CAAC,KAAK,YAAY,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9F,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,mCAAmC;AAEnC;;;;GAIG;AACH,SAAgB,UAAU;IACxB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,IAAI,IAAA,iBAAS,EAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,YAAY,EACZ,6BAA6B,IAAI,CAAC,KAAK,aAAa,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChF,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAA4B;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACrC,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,8BAA8B;AAE9B;;;;;;GAMG;AACH,SAAgB,KAAK,CAAC,GAAW,EAAE,IAAe;IAChD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,IAAI,GAAG,wBAAwB,CAAC,CAAC;QAClE,CAAC;QACD,iDAAiD;QACjD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,OAAO,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,IAAI,GAAG,GAAY,CAAC,CAAC;QACrB,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxB,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,IAAA,iBAAS,EAAC,IAAA,uBAAe,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,kBAAkB,GAAG,MAAM,IAAA,uBAAe,EAAC,GAAG,CAAC,0BAA0B,IAAI,CAAC,KAAK,GAAG,CACvF,CAAC;QACJ,CAAC;QACD,qEAAqE;QACrE,2CAA2C;QAC3C,IAAI,SAAS,GAAG,QAAQ,CAAC;QACzB,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAClC,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,oBAAoB,IAAI,CAAC,MAAM,MAAM,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC1F,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACpD,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,QAAQ,OAAO,0BAA0B,CAAC,CAAC;gBAC5E,CAAC;gBACD,IAAI,CAAC,IAAA,iBAAS,EAAC,OAAO,EAAE,IAAA,uBAAe,EAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;oBACnD,MAAM,IAAI,mBAAW,CACnB,OAAO,EACP,QAAQ,OAAO,IAAI,OAAO,2BAA2B,CAAC,GAAG,CAAC,KAAK,IAAA,uBAAe,EAAC,QAAQ,CAAC,GAAG,CAC5F,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,QAAQ,GAAW,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7C,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC;YAC9B,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC;SAC1B,CAAC,CAAC,CAAC;QACJ,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC5C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC;AACJ,CAAC;AAED,gCAAgC;AAEhC;;;;;GAKG;AACH,SAAgB,OAAO,CACrB,EAAU,EACV,MAAyC,eAAe;IAExD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,IAAI,EAAE,wBAAwB,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,MAAM,sBAAsB,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,MAAM,EAAE,GAAG,GAAG,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACrD,MAAM,QAAQ,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,QAAQ,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,mBAAmB,IAAI,uBAAuB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAChG,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,wBAAgB,EAAC,QAAQ,CAAC;SAClC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC;AACJ,CAAC;AAED,4BAA4B;AAE5B;;;GAGG;AACH,SAAgB,GAAG;IACjB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,KAAK,EAAE,4BAA4B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,mBAAW,CAAC,KAAK,EAAE,oBAAoB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC;AACJ,CAAC;AAED,gCAAgC;AAEhC;;;;GAIG;AACH,SAAgB,OAAO;IACrB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,0EAA0E;QAC1E,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,IAAA,oBAAY,EAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,MAAM,IAAI,mBAAW,CAAC,SAAS,EAAE,SAAS,IAAI,CAAC,KAAK,6BAA6B,CAAC,CAAC;IACrF,CAAC,CAAC;AACJ,CAAC;AAED,8BAA8B;AAE9B;;;GAGG;AACH,SAAgB,KAAK;IACnB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,IAAI,GAAW;YACnB,EAAE,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE;YAC3F,EAAE,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE;SAC7F,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC;AACJ,CAAC;AAED,qCAAqC;AAErC;;;GAGG;AACH,SAAgB,IAAI;IAClB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,GAAG,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1F,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,KAAK;IACnB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,mBAAW,CAAC,OAAO,EAAE,0BAA0B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,GAAG,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3F,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC;AACJ,CAAC;AAED,iCAAiC;AAEjC;;;;;;GAMG;AACH,SAAgB,QAAQ,CAAC,IAAY;IACnC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,UAAU,EAAE,IAAI,IAAI,wBAAwB,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,oBAAY,EAAC,OAAO,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,GAA2B,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YACrE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAClC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM,IAAI,GAAS;gBACjB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;gBAC/B,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE;gBAC7D,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;YACF,MAAM,KAAK,GAAS;gBAClB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;gBAC/B,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,IAAA,uBAAe,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE;gBAC9D,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;YACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACjD,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,IAAI,mBAAW,CACnB,UAAU,EACV,IAAI,IAAI,IAAI,OAAO,+CAA+C,CACnE,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,kCAAkC;AAElC;;;;;;;;GAQG;AACH,SAAgB,SAAS,CAAC,IAAY;IACpC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,mBAAW,CAAC,WAAW,EAAE,IAAI,IAAI,wBAAwB,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;YAC9D,MAAM,IAAI,mBAAW,CACnB,WAAW,EACX,gDAAgD,IAAI,IAAI,OAAO,IAAI,CACpE,CAAC;QACJ,CAAC;QACD,wCAAwC;QACxC,MAAM,QAAQ,GAA2B,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;QAEtB,oEAAoE;QACpE,sEAAsE;QACtE,sDAAsD;QACtD,MAAM,SAAS,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,OAAO,GAAG,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAEtD,MAAM,QAAQ,GAAS;YACrB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC;YAClC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE;YACrB,KAAK,EAAE,IAAA,wBAAgB,EAAC,SAAS,CAAC;SACnC,CAAC;QACF,MAAM,QAAQ,GAAS;YACrB,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC;YAClC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAA,wBAAgB,EAAC,OAAO,CAAC,EAAE;YACtE,KAAK,EAAE,IAAA,wBAAgB,EAAC,SAAS,CAAC;SACnC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxD,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAA4B,EAAE,IAAY;IAC9D,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,SAAS;QAAE,CAAC,EAAE,CAAC;IAC9C,OAAO,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC;AACvB,CAAC;AAED,6BAA6B;AAE7B;;;GAGG;AACH,SAAgB,YAAY,CAAC,IAAY;IACvC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAaD;;;;;GAKG;AACH,SAAgB,MAAM,CAAC,GAAW,EAAE,OAAsB,EAAE;IAC1D,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,mBAAW,CAAC,QAAQ,EAAE,eAAe,GAAG,iBAAiB,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,QAAQ,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACnD,IAAI,QAAQ,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,mBAAW,CAAC,QAAQ,EAAE,IAAI,GAAG,sBAAsB,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,OAAO,GAAS;YACpB,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,IAAA,wBAAgB,EAAC,QAAQ,CAAC;SAClC,CAAC;QACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC;AACJ,CAAC;AAED,6BAA6B;AAE7B;;;;;;;GAOG;AACH,SAAgB,IAAI;IAClB,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAA,wBAAgB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,GAAG,GAAG,IAAA,oBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,OAAO,OAAO,EAAE,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,MAAM,EAAE,CAAC;YACT,IAAI,MAAM,GAAG,GAAG;gBAAE,MAAM;YACxB,MAAM,MAAM,GAAG,IAAA,uBAAe,EAAC,GAAG,CAAC,CAAC;YACpC,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE;gBACvB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC,CAAC,CAAC;YACH,IAAI,IAAA,uBAAe,EAAC,GAAG,CAAC,KAAK,MAAM;gBAAE,OAAO,GAAG,IAAI,CAAC;QACtD,CAAC;QACD,MAAM,IAAI,GAAG,IAAA,uBAAe,EAAC,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,MAAM,IAAI,mBAAW,CAAC,MAAM,EAAE,4BAA4B,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,OAAO,GAAS,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC3E,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,OAAO,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAgB;IAC5C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,CAAC,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACzB,IAAI,EAAE,CAAC;gBACP,OAAO,KAAK,CAAC,IAAI,CAAC;YACpB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACtC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC7C,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC3B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3C,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC3C,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,qEAAqE;YACrE,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/reasoning/topology/index.d.ts

@@ -1,41 +1,122 @@
+/** Simplex abstracto: lista ordenada ascendente de vértices (enteros). */
 export type Simplex = number[];
+/** Simplex con signo orientado, usado por el operador borde ∂ sobre Z. */
 export interface SignedSimplex {
     sign: 1 | -1;
     simplex: Simplex;
 }
+/**
+ * Complejo simplicial abstracto.
+ * Internamente los simplices se indexan por dimensión (`k = |s|-1`) y se
+ * almacenan por su clave canónica `v0,v1,...,vk`.
+ */
 export interface SimplicialComplex {
     vertices: number[];
     simplices: Map<number, Set<string>>;
     dim: number;
 }
+/**
+ * Resultado de un cómputo de homología sobre un complejo simplicial.
+ * Incluye números de Betti, característica de Euler y, cuando se trabaja
+ * sobre Z, la torsión por dimensión.
+ */
 export interface HomologyResult {
     dim: number;
     bettiNumbers: number[];
     eulerChar: number;
     torsion?: Record<number, number[]>;
 }
+/** Crea un complejo simplicial vacío (sin vértices ni simplices). */
 export declare function makeComplex(): SimplicialComplex;
+/**
+ * Añade un simplex `s` y todas sus caras al complejo `K` (cierre hacia abajo).
+ * El simplex se normaliza a orden creciente antes de insertarse.
+ * @throws si `s` contiene vértices repetidos.
+ */
 export declare function addSimplex(K: SimplicialComplex, s: Simplex): void;
+/**
+ * Devuelve las caras directas (codimensión 1) del k-simplex `s`.
+ * Un k-simplex tiene exactamente k+1 caras. Devuelve `[]` para 0-simplices.
+ */
 export declare function faces(s: Simplex): Simplex[];
+/** Operador borde ∂ sobre Z/2 (coeficientes en F₂): lista de caras sin signos. */
 export declare function boundaryZ2(simplex: Simplex): Simplex[];
+/**
+ * Operador borde ∂ sobre Z: devuelve cada cara con signo `(-1)^i`, donde `i`
+ * es el índice del vértice omitido en el orden canónico del simplex.
+ */
 export declare function boundaryZ(simplex: Simplex): SignedSimplex[];
+/** Dimensión del complejo simplicial (el mayor k tal que K contiene un k-simplex, o -1 si está vacío). */
 export declare function dimension(K: SimplicialComplex): number;
+/**
+ * f-vector del complejo: `f[i]` = número de i-simplices, para i = 0..dim.
+ * @example fVector(nSimplex(2)) // [3, 3, 1] (triángulo lleno)
+ */
 export declare function fVector(K: SimplicialComplex): number[];
+/**
+ * Característica de Euler: χ = ∑ (-1)^i f_i.
+ * Invariante topológico (S² → 2, T² → 0, RP² → 1).
+ */
 export declare function eulerCharacteristic(K: SimplicialComplex): number;
+/** Rango del operador borde ∂_d : C_d → C_{d-1} sobre F₂. */
 export declare function rankBoundaryZ2(K: SimplicialComplex, dim: number): number;
+/**
+ * Número de Betti β_d sobre Z/2 (F₂).
+ * β_d = dim ker ∂_d − dim im ∂_{d+1} = n_d − rank ∂_d − rank ∂_{d+1}.
+ */
 export declare function bettiNumberZ2(K: SimplicialComplex, dim: number): number;
+/**
+ * Forma Normal de Smith sobre Z para una matriz entera.
+ * Devuelve la SNF (diagonal con factores invariantes d₁ | d₂ | … | dᵣ, resto ceros),
+ * el rango (número de pivotes no nulos) y la dimensión del kernel (cols − rankIm).
+ * Algoritmo: reducción iterativa estilo Bareiss/Euclídea sobre filas y columnas.
+ */
 export declare function smithNormalForm(matrix: number[][]): {
     snf: number[][];
     rankIm: number;
     rankKer: number;
     invariants: number[];
 };
+/**
+ * Número de Betti β_d sobre Z (parte libre de la homología H_d).
+ * β_d = rank ker ∂_d − rank im ∂_{d+1}, equivalente a contar copias de Z en H_d.
+ */
 export declare function bettiNumberZ(K: SimplicialComplex, dim: number): number;
+/**
+ * Factores invariantes (> 1) de la torsión de H_d sobre Z.
+ * H_d = Z^{β_d} ⊕ ⊕ᵢ Z/dᵢ, con d₁ | d₂ | … | dₖ, dᵢ > 1.
+ * Ejemplo: RP² tiene torsión [2] en dimensión 1.
+ */
 export declare function torsionZ(K: SimplicialComplex, dim: number): number[];
+/**
+ * Complejo del n-simplex completo: todos los subconjuntos no vacíos de {0,…,n}.
+ * `nSimplex(2)` da un triángulo relleno (2-cara incluida), no solo su borde.
+ */
 export declare function nSimplex(n: number): SimplicialComplex;
+/**
+ * Triangulación canónica de la esfera S^n (frontera del (n+1)-simplex).
+ * `spheres(2)` = borde del tetraedro: 4 vértices, 6 aristas, 4 triángulos; χ = 2.
+ */
 export declare function spheres(n: number): SimplicialComplex;
+/**
+ * Triangulación del toro T² (cuadrado 3×3 con identificaciones a b a⁻¹ b⁻¹).
+ * 9 vértices, 27 aristas, 18 triángulos. χ = 0, β_{Z/2} = [1,2,1].
+ */
 export declare function torus2(): SimplicialComplex;
+/**
+ * Triangulación mínima del plano proyectivo real RP² (6 vértices, 15 aristas, 10 triángulos).
+ * β_Z = [1,0,0] con torsión Z/2 en dimensión 1; β_{Z/2} = [1,1,1]; χ = 1.
+ */
 export declare function projectivePlane(): SimplicialComplex;
+/**
+ * Triangulación de la botella de Klein (cuadrado 3×3 con identificaciones a b a b⁻¹).
+ * 9 vértices; χ = 0; β_Z = [1,1,0]; torsión Z/2 en dim 1.
+ */
 export declare function kleinBottle(): SimplicialComplex;
+/**
+ * Cómputo completo de homología de `K` con coeficientes en Z/2 o Z.
+ * Devuelve números de Betti, característica de Euler y (si Z) la torsión por dimensión.
+ * @param coefficients `'Z2'` para F₂ (defecto) o `'Z'` para coeficientes enteros.
+ */
 export declare function computeHomology(K: SimplicialComplex, coefficients?: 'Z2' | 'Z'): HomologyResult;
 //# sourceMappingURL=index.d.ts.map

package/dist/reasoning/topology/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/reasoning/topology/index.ts"],"names":[],"mappings":"AAiCA,MAAM,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;AAG/B,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAKD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACpC,GAAG,EAAE,MAAM,CAAC;CACb;AAGD,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACpC;AAkCD,wBAAgB,WAAW,IAAI,iBAAiB,CAM/C;AAGD,wBAAgB,UAAU,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,OAAO,GAAG,IAAI,CAgCjE;AAOD,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,EAAE,CAc3C;AAGD,wBAAgB,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE,CAEtD;AAID,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,aAAa,EAAE,CAe3D;AAMD,wBAAgB,SAAS,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAEtD;AAGD,wBAAgB,OAAO,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,EAAE,CAMtD;AAGD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAShE;AA+FD,wBAAgB,cAAc,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAIxE;AAKD,wBAAgB,aAAa,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAMvE;AAmDD,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG;IACnD,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAwMA;AAQD,wBAAgB,YAAY,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAStE;AAKD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAMpE;AAQD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAOrD;AAID,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAgBpD;AASD,wBAAgB,MAAM,IAAI,iBAAiB,CAgB1C;AAKD,wBAAgB,eAAe,IAAI,iBAAiB,CAgBnD;AAUD,wBAAgB,WAAW,IAAI,iBAAiB,CA+B/C;AAMD,wBAAgB,eAAe,CAC7B,CAAC,EAAE,iBAAiB,EACpB,YAAY,GAAE,IAAI,GAAG,GAAU,GAC9B,cAAc,CAwBhB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/reasoning/topology/index.ts"],"names":[],"mappings":"AAgCA,0EAA0E;AAC1E,MAAM,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;AAE/B,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACpC,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACpC;AAkCD,qEAAqE;AACrE,wBAAgB,WAAW,IAAI,iBAAiB,CAM/C;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,OAAO,GAAG,IAAI,CAgCjE;AAMD;;;GAGG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,EAAE,CAc3C;AAED,kFAAkF;AAClF,wBAAgB,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE,CAEtD;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,aAAa,EAAE,CAe3D;AAMD,0GAA0G;AAC1G,wBAAgB,SAAS,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAEtD;AAED;;;GAGG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,EAAE,CAMtD;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAShE;AA8FD,6DAA6D;AAC7D,wBAAgB,cAAc,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAIxE;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAMvE;AA4CD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG;IACnD,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAwMA;AAMD;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAStE;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAMpE;AAMD;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAOrD;AAED;;;GAGG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAgBpD;AAED;;;GAGG;AACH,wBAAgB,MAAM,IAAI,iBAAiB,CAgB1C;AAED;;;GAGG;AACH,wBAAgB,eAAe,IAAI,iBAAiB,CAgBnD;AAED;;;GAGG;AACH,wBAAgB,WAAW,IAAI,iBAAiB,CA+B/C;AAMD;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,CAAC,EAAE,iBAAiB,EACpB,YAAY,GAAE,IAAI,GAAG,GAAU,GAC9B,cAAc,CAwBhB"}