@stevenvo780/st-lang 4.13.0 → 4.14.1

package/dist/tests/reasoning/hoare-logic/hoare-logic.test.js

@@ -0,0 +1,340 @@
+"use strict";
+// ============================================================
+// ST Hoare Logic — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const hoare_logic_1 = require("../../../reasoning/hoare-logic");
+(0, vitest_1.describe)('hoare-logic — sustitución sintáctica', () => {
+    (0, vitest_1.it)('substitute reemplaza la variable libre objetivo', () => {
+        // (x + 1)[5/x] = 5 + 1
+        const expr = (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(1));
+        const result = (0, hoare_logic_1.substitute)(expr, 'x', (0, hoare_logic_1.num)(5));
+        (0, vitest_1.expect)(result).toEqual((0, hoare_logic_1.binop)('+', (0, hoare_logic_1.num)(5), (0, hoare_logic_1.num)(1)));
+    });
+    (0, vitest_1.it)('substitute no toca constantes ni variables distintas', () => {
+        const expr = (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('y'), (0, hoare_logic_1.num)(7));
+        const result = (0, hoare_logic_1.substitute)(expr, 'x', (0, hoare_logic_1.num)(99));
+        (0, vitest_1.expect)(result).toEqual(expr);
+    });
+    (0, vitest_1.it)('substitute recorre operadores unarios y anidados', () => {
+        // expr: ¬(x < x*2). Sustituyendo x=3 → ¬(3 < 6) = ¬true = false.
+        const expr = (0, hoare_logic_1.not)((0, hoare_logic_1.binop)('<', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.binop)('*', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(2))));
+        const result = (0, hoare_logic_1.substitute)(expr, 'x', (0, hoare_logic_1.num)(3));
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)(result, {})).toBe(false);
+        // Y con x=-1: -1 < -2 es false → ¬false = true.
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)(expr, { x: -1 })).toBe(true);
+    });
+});
+(0, vitest_1.describe)('hoare-logic — wp para statements básicos', () => {
+    (0, vitest_1.it)('wp(skip, Q) = Q', () => {
+        const post = (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5));
+        (0, vitest_1.expect)((0, hoare_logic_1.wp)((0, hoare_logic_1.skip)(), post)).toEqual(post);
+    });
+    (0, vitest_1.it)('wp(x := 5, x == 5) = (5 == 5)', () => {
+        const post = (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5));
+        const result = (0, hoare_logic_1.wp)((0, hoare_logic_1.assign)('x', (0, hoare_logic_1.num)(5)), post);
+        // post[5/x] = (5 == 5)
+        (0, vitest_1.expect)(result).toEqual((0, hoare_logic_1.eq)((0, hoare_logic_1.num)(5), (0, hoare_logic_1.num)(5)));
+        // Y semánticamente: 5 == 5 es true
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)(result, {})).toBe(true);
+    });
+    (0, vitest_1.it)('wp(x := y + 1, x > 0) = (y + 1 > 0)', () => {
+        const post = (0, hoare_logic_1.binop)('>', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(0));
+        const result = (0, hoare_logic_1.wp)((0, hoare_logic_1.assign)('x', (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('y'), (0, hoare_logic_1.num)(1))), post);
+        (0, vitest_1.expect)(result).toEqual((0, hoare_logic_1.binop)('>', (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('y'), (0, hoare_logic_1.num)(1)), (0, hoare_logic_1.num)(0)));
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)(result, { y: 5 })).toBe(true);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)(result, { y: -5 })).toBe(false);
+    });
+    (0, vitest_1.it)('wp seq decompone derecha → izquierda', () => {
+        // {x := 1; y := x + 1} {y == 2}
+        // wp(y := x+1, y == 2) = (x+1 == 2)
+        // wp(x := 1, x+1 == 2) = (1+1 == 2) → true
+        const stmt = (0, hoare_logic_1.seq)((0, hoare_logic_1.assign)('x', (0, hoare_logic_1.num)(1)), (0, hoare_logic_1.assign)('y', (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(1))));
+        const post = (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('y'), (0, hoare_logic_1.num)(2));
+        const result = (0, hoare_logic_1.wp)(stmt, post);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)(result, {})).toBe(true);
+    });
+    (0, vitest_1.it)('wp(if B then c1 else c2) combina ambas ramas', () => {
+        // if x > 0 then y := 1 else y := -1
+        // post: y > -2 (siempre cierto)
+        const stmt = (0, hoare_logic_1.ifS)((0, hoare_logic_1.binop)('>', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(0)), (0, hoare_logic_1.assign)('y', (0, hoare_logic_1.num)(1)), (0, hoare_logic_1.assign)('y', (0, hoare_logic_1.num)(-1)));
+        const post = (0, hoare_logic_1.binop)('>', (0, hoare_logic_1.v)('y'), (0, hoare_logic_1.num)(-2));
+        const result = (0, hoare_logic_1.wp)(stmt, post);
+        // Vale para cualquier estado.
+        for (const xVal of [-5, -1, 0, 1, 5]) {
+            (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)(result, { x: xVal })).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('wp(while sin invariant) = false', () => {
+        const stmt = (0, hoare_logic_1.whileS)((0, hoare_logic_1.binop)('<', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(10)), (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(1))));
+        (0, vitest_1.expect)((0, hoare_logic_1.wp)(stmt, (0, hoare_logic_1.bool)(true))).toEqual((0, hoare_logic_1.bool)(false));
+    });
+    (0, vitest_1.it)('wp(while con invariant) = invariant', () => {
+        const I = (0, hoare_logic_1.le)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(10));
+        const stmt = (0, hoare_logic_1.whileS)((0, hoare_logic_1.binop)('<', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(10)), (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(1))), I);
+        (0, vitest_1.expect)((0, hoare_logic_1.wp)(stmt, (0, hoare_logic_1.bool)(true))).toEqual(I);
+    });
+});
+(0, vitest_1.describe)('hoare-logic — strongest postcondition (sp)', () => {
+    (0, vitest_1.it)('sp(skip, P) = P', () => {
+        const pre = (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(0));
+        (0, vitest_1.expect)((0, hoare_logic_1.spExtension)((0, hoare_logic_1.skip)(), pre)).toEqual(pre);
+    });
+    (0, vitest_1.it)('sp(x := 5, true) implica x == 5', () => {
+        const stmt = (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.num)(5));
+        const result = (0, hoare_logic_1.spExtension)(stmt, (0, hoare_logic_1.bool)(true));
+        // Debería implicar x == 5 al menos para muestreo concreto.
+        const state = { x: 5 };
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)(result, state)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('hoare-logic — execStmt concreto', () => {
+    (0, vitest_1.it)('ejecuta swap correctamente', () => {
+        const swap = (0, hoare_logic_1.programSwap)();
+        const initial = { x: 7, y: 13 };
+        const final = (0, hoare_logic_1.execStmt)(swap, initial);
+        (0, vitest_1.expect)('error' in final).toBe(false);
+        if (!('error' in final)) {
+            (0, vitest_1.expect)(final.x).toBe(13);
+            (0, vitest_1.expect)(final.y).toBe(7);
+        }
+    });
+    (0, vitest_1.it)('ejecuta factorial concretamente para n pequeños', () => {
+        const fact = (0, hoare_logic_1.programFactorial)();
+        for (const n of [0, 1, 2, 3, 5, 6]) {
+            const final = (0, hoare_logic_1.execStmt)(fact, { n });
+            (0, vitest_1.expect)('error' in final).toBe(false);
+            if (!('error' in final)) {
+                (0, vitest_1.expect)(final.r).toBe((0, hoare_logic_1.factorial)(n));
+            }
+        }
+    });
+    (0, vitest_1.it)('ejecuta GCD por restas correctamente', () => {
+        const gcdProg = (0, hoare_logic_1.programGCD)();
+        const cases = [
+            [12, 18, 6],
+            [21, 14, 7],
+            [9, 9, 9],
+            [100, 75, 25],
+            [13, 7, 1],
+        ];
+        for (const [x, y, expected] of cases) {
+            const final = (0, hoare_logic_1.execStmt)(gcdProg, { x, y });
+            (0, vitest_1.expect)('error' in final).toBe(false);
+            if (!('error' in final)) {
+                (0, vitest_1.expect)(final.x).toBe(expected);
+                (0, vitest_1.expect)(final.y).toBe(expected);
+                (0, vitest_1.expect)(final.x).toBe((0, hoare_logic_1.gcd)(x, y));
+            }
+        }
+    });
+    (0, vitest_1.it)('respeta el límite de pasos en loops divergentes', () => {
+        // while true do skip
+        const infinite = (0, hoare_logic_1.whileS)((0, hoare_logic_1.num)(1), (0, hoare_logic_1.skip)());
+        const final = (0, hoare_logic_1.execStmt)(infinite, {}, 50);
+        (0, vitest_1.expect)('error' in final).toBe(true);
+    });
+    (0, vitest_1.it)('if elige rama correcta según condición', () => {
+        const stmt = (0, hoare_logic_1.ifS)((0, hoare_logic_1.binop)('>', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(0)), (0, hoare_logic_1.assign)('y', (0, hoare_logic_1.num)(1)), (0, hoare_logic_1.assign)('y', (0, hoare_logic_1.num)(-1)));
+        const a = (0, hoare_logic_1.execStmt)(stmt, { x: 5 });
+        const b = (0, hoare_logic_1.execStmt)(stmt, { x: -3 });
+        (0, vitest_1.expect)(!('error' in a) && a.y === 1).toBe(true);
+        (0, vitest_1.expect)(!('error' in b) && b.y === -1).toBe(true);
+    });
+});
+(0, vitest_1.describe)('hoare-logic — verifyTriple', () => {
+    (0, vitest_1.it)('verifica {x = 5} skip {x = 5}', () => {
+        const triple = {
+            pre: (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5)),
+            stmt: (0, hoare_logic_1.skip)(),
+            post: (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5)),
+        };
+        const result = (0, hoare_logic_1.verifyTriple)(triple, { samples: 50 });
+        (0, vitest_1.expect)(result.valid).toBe(true);
+    });
+    (0, vitest_1.it)('verifica {true} x := 5 {x = 5}', () => {
+        const triple = {
+            pre: (0, hoare_logic_1.bool)(true),
+            stmt: (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.num)(5)),
+            post: (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5)),
+        };
+        const result = (0, hoare_logic_1.verifyTriple)(triple, { samples: 50 });
+        (0, vitest_1.expect)(result.valid).toBe(true);
+    });
+    (0, vitest_1.it)('verifica {x = a ∧ y = b} swap {x = b ∧ y = a}', () => {
+        // El swap usa la variable temporal `t`, por lo que la pre y post
+        // se expresan sobre x e y; introducimos a y b como variables
+        // matemáticas (ghost vars) que se preservan.
+        const triple = {
+            pre: (0, hoare_logic_1.and)((0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.v)('a')), (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('y'), (0, hoare_logic_1.v)('b'))),
+            stmt: (0, hoare_logic_1.programSwap)(),
+            post: (0, hoare_logic_1.and)((0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.v)('b')), (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('y'), (0, hoare_logic_1.v)('a'))),
+        };
+        const result = (0, hoare_logic_1.verifyTriple)(triple, { samples: 100, range: [-3, 3] });
+        (0, vitest_1.expect)(result.valid).toBe(true);
+    });
+    (0, vitest_1.it)('detecta contraejemplo en tripleta incorrecta', () => {
+        // {x = 0} x := x + 1 {x = 0}  → falso
+        const triple = {
+            pre: (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(0)),
+            stmt: (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(1))),
+            post: (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(0)),
+        };
+        const result = (0, hoare_logic_1.verifyTriple)(triple, { samples: 30, seed: 42 });
+        (0, vitest_1.expect)(result.valid).toBe(false);
+        (0, vitest_1.expect)(result.failures.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('rechaza while sin invariant', () => {
+        const triple = {
+            pre: (0, hoare_logic_1.bool)(true),
+            stmt: (0, hoare_logic_1.whileS)((0, hoare_logic_1.binop)('<', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(10)), (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(1)))),
+            post: (0, hoare_logic_1.bool)(true),
+        };
+        const result = (0, hoare_logic_1.verifyTriple)(triple, { samples: 10 });
+        (0, vitest_1.expect)(result.valid).toBe(false);
+    });
+    (0, vitest_1.it)('verifica {n ≥ 0} factorial(n) {r = n!} para n pequeños via execStmt', () => {
+        // Verificación semántica concreta (complementa los VCs sintácticos).
+        const fact = (0, hoare_logic_1.programFactorial)();
+        for (const n of [0, 1, 2, 4, 6]) {
+            const final = (0, hoare_logic_1.execStmt)(fact, { n });
+            (0, vitest_1.expect)('error' in final).toBe(false);
+            if (!('error' in final)) {
+                (0, vitest_1.expect)(final.r).toBe((0, hoare_logic_1.factorial)(n));
+            }
+        }
+    });
+    (0, vitest_1.it)('verifica invariant válido del while incrementor', () => {
+        // {x ≤ 5} while x < 5 do x := x + 1 {x = 5}
+        // invariant: x ≤ 5
+        const triple = {
+            pre: (0, hoare_logic_1.le)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5)),
+            stmt: (0, hoare_logic_1.whileS)((0, hoare_logic_1.binop)('<', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5)), (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(1))), (0, hoare_logic_1.le)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5))),
+            post: (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5)),
+        };
+        const result = (0, hoare_logic_1.verifyTriple)(triple, { samples: 100, range: [0, 5], seed: 7 });
+        (0, vitest_1.expect)(result.valid).toBe(true);
+    });
+});
+(0, vitest_1.describe)('hoare-logic — generación de VCs', () => {
+    (0, vitest_1.it)('generateVCs incluye 1 VC global para asignación simple', () => {
+        const triple = {
+            pre: (0, hoare_logic_1.bool)(true),
+            stmt: (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.num)(5)),
+            post: (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5)),
+        };
+        const vcs = (0, hoare_logic_1.generateVCs)(triple);
+        (0, vitest_1.expect)(vcs.length).toBe(1);
+    });
+    (0, vitest_1.it)('generateVCs añade 2 VCs por cada while (mantenimiento + salida)', () => {
+        const triple = {
+            pre: (0, hoare_logic_1.bool)(true),
+            stmt: (0, hoare_logic_1.whileS)((0, hoare_logic_1.binop)('<', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5)), (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(1))), (0, hoare_logic_1.bool)(true)),
+            post: (0, hoare_logic_1.bool)(true),
+        };
+        const vcs = (0, hoare_logic_1.generateVCs)(triple);
+        // VC global + mantenimiento + salida = 3
+        (0, vitest_1.expect)(vcs.length).toBe(3);
+    });
+    (0, vitest_1.it)('un while sin invariant produce VC bool(false)', () => {
+        const triple = {
+            pre: (0, hoare_logic_1.bool)(true),
+            stmt: (0, hoare_logic_1.whileS)((0, hoare_logic_1.binop)('<', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(5)), (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.num)(1)))),
+            post: (0, hoare_logic_1.bool)(true),
+        };
+        const vcs = (0, hoare_logic_1.generateVCs)(triple);
+        // Al menos uno es bool(false).
+        (0, vitest_1.expect)(vcs.some((v) => v.kind === 'bool' && v.value === false)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('hoare-logic — variables libres y stmtVars', () => {
+    (0, vitest_1.it)('freeVars colecta variables de una expresión', () => {
+        const expr = (0, hoare_logic_1.and)((0, hoare_logic_1.eq)((0, hoare_logic_1.v)('x'), (0, hoare_logic_1.v)('a')), (0, hoare_logic_1.eq)((0, hoare_logic_1.v)('y'), (0, hoare_logic_1.v)('b')));
+        const vars = (0, hoare_logic_1.freeVars)(expr);
+        (0, vitest_1.expect)(vars.has('x')).toBe(true);
+        (0, vitest_1.expect)(vars.has('a')).toBe(true);
+        (0, vitest_1.expect)(vars.has('y')).toBe(true);
+        (0, vitest_1.expect)(vars.has('b')).toBe(true);
+        (0, vitest_1.expect)(vars.size).toBe(4);
+    });
+});
+(0, vitest_1.describe)('hoare-logic — linear search programa', () => {
+    (0, vitest_1.it)('linear search ejecuta sin error y respeta el invariant i ≤ n', () => {
+        const prog = (0, hoare_logic_1.programLinearSearch)();
+        const final = (0, hoare_logic_1.execStmt)(prog, { a: 3, target: 3, n: 5 });
+        (0, vitest_1.expect)('error' in final).toBe(false);
+        if (!('error' in final)) {
+            // a == target ⇒ found = 1 desde la primera iteración.
+            (0, vitest_1.expect)(final.found).toBe(1);
+            (0, vitest_1.expect)(final.i).toBeLessThanOrEqual(5);
+        }
+    });
+    (0, vitest_1.it)('linear search sale sin encontrar cuando a != target', () => {
+        const prog = (0, hoare_logic_1.programLinearSearch)();
+        const final = (0, hoare_logic_1.execStmt)(prog, { a: 1, target: 99, n: 3 });
+        (0, vitest_1.expect)('error' in final).toBe(false);
+        if (!('error' in final)) {
+            (0, vitest_1.expect)(final.found).toBe(0);
+            (0, vitest_1.expect)(final.i).toBe(3);
+        }
+    });
+});
+(0, vitest_1.describe)('hoare-logic — evaluación de expresiones primitivas', () => {
+    (0, vitest_1.it)('evalExpr maneja operadores aritméticos', () => {
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('+', (0, hoare_logic_1.num)(2), (0, hoare_logic_1.num)(3)), {})).toBe(5);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('-', (0, hoare_logic_1.num)(10), (0, hoare_logic_1.num)(4)), {})).toBe(6);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('*', (0, hoare_logic_1.num)(3), (0, hoare_logic_1.num)(4)), {})).toBe(12);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('/', (0, hoare_logic_1.num)(20), (0, hoare_logic_1.num)(4)), {})).toBe(5);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('/', (0, hoare_logic_1.num)(1), (0, hoare_logic_1.num)(0)), {})).toBe(0); // div por cero → 0
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('%', (0, hoare_logic_1.num)(10), (0, hoare_logic_1.num)(3)), {})).toBe(1);
+    });
+    (0, vitest_1.it)('evalExpr maneja relacionales', () => {
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('<', (0, hoare_logic_1.num)(1), (0, hoare_logic_1.num)(2)), {})).toBe(true);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('<=', (0, hoare_logic_1.num)(2), (0, hoare_logic_1.num)(2)), {})).toBe(true);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('>=', (0, hoare_logic_1.num)(2), (0, hoare_logic_1.num)(2)), {})).toBe(true);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('!=', (0, hoare_logic_1.num)(1), (0, hoare_logic_1.num)(2)), {})).toBe(true);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('==', (0, hoare_logic_1.num)(1), (0, hoare_logic_1.num)(2)), {})).toBe(false);
+    });
+    (0, vitest_1.it)('evalExpr maneja booleanos y not', () => {
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.and)((0, hoare_logic_1.bool)(true), (0, hoare_logic_1.bool)(false)), {})).toBe(false);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.or)((0, hoare_logic_1.bool)(true), (0, hoare_logic_1.bool)(false)), {})).toBe(true);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.not)((0, hoare_logic_1.bool)(false)), {})).toBe(true);
+    });
+    (0, vitest_1.it)('evalExpr trata variables no definidas como 0', () => {
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.v)('zzz'), {})).toBe(0);
+        (0, vitest_1.expect)((0, hoare_logic_1.evalExpr)((0, hoare_logic_1.binop)('+', (0, hoare_logic_1.v)('a'), (0, hoare_logic_1.num)(5)), {})).toBe(5);
+    });
+});
+(0, vitest_1.describe)('hoare-logic — invariants documentados', () => {
+    (0, vitest_1.it)('GCD: gcd(x, y) se mantiene tras una iteración del body', () => {
+        // Verifico el invariant SEMÁNTICAMENTE (no via VC sintáctica)
+        // ejecutando una iteración del body sobre estados varios.
+        for (let x = 2; x <= 8; x++) {
+            for (let y = 2; y <= 8; y++) {
+                if (x === y)
+                    continue;
+                const before = (0, hoare_logic_1.gcd)(x, y);
+                const body = (0, hoare_logic_1.ifS)((0, hoare_logic_1.binop)('>', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.v)('y')), (0, hoare_logic_1.assign)('x', (0, hoare_logic_1.binop)('-', (0, hoare_logic_1.v)('x'), (0, hoare_logic_1.v)('y'))), (0, hoare_logic_1.assign)('y', (0, hoare_logic_1.binop)('-', (0, hoare_logic_1.v)('y'), (0, hoare_logic_1.v)('x'))));
+                const final = (0, hoare_logic_1.execStmt)(body, { x, y });
+                (0, vitest_1.expect)('error' in final).toBe(false);
+                if (!('error' in final)) {
+                    const after = (0, hoare_logic_1.gcd)(final.x ?? 0, final.y ?? 0);
+                    (0, vitest_1.expect)(after).toBe(before);
+                }
+            }
+        }
+    });
+    (0, vitest_1.it)('Factorial invariant r·(k! relativo a n) mantiene r = k! tras body', () => {
+        // Tras j-ésima iteración debe valer r = j! (j = k al fin del body).
+        for (let n = 1; n <= 6; n++) {
+            const final = (0, hoare_logic_1.execStmt)((0, hoare_logic_1.programFactorial)(), { n });
+            (0, vitest_1.expect)('error' in final).toBe(false);
+            if (!('error' in final)) {
+                (0, vitest_1.expect)(final.r).toBe((0, hoare_logic_1.factorial)(n));
+                (0, vitest_1.expect)(final.k).toBe(n);
+            }
+        }
+    });
+});
+//# sourceMappingURL=hoare-logic.test.js.map

package/dist/tests/reasoning/hoare-logic/hoare-logic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hoare-logic.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/hoare-logic/hoare-logic.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;;AAE/D,mCAA8C;AAC9C,gEA+BwC;AAExC,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,uBAAuB;QACvB,MAAM,IAAI,GAAG,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,wBAAU,EAAC,IAAI,EAAE,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,IAAI,GAAG,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,wBAAU,EAAC,IAAI,EAAE,GAAG,EAAE,IAAA,iBAAG,EAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,iEAAiE;QACjE,MAAM,IAAI,GAAG,IAAA,iBAAG,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,IAAA,wBAAU,EAAC,IAAI,EAAE,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,gDAAgD;QAChD,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,IAAI,GAAG,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,gBAAE,EAAC,IAAA,kBAAI,GAAE,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,IAAA,gBAAE,EAAC,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7C,uBAAuB;QACvB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAA,gBAAE,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,mCAAmC;QACnC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,gBAAE,EAAC,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,gCAAgC;QAChC,oCAAoC;QACpC,2CAA2C;QAC3C,MAAM,IAAI,GAAG,IAAA,iBAAG,EAAC,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAG,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,IAAA,gBAAE,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,oCAAoC;QACpC,gCAAgC;QAChC,MAAM,IAAI,GAAG,IAAA,iBAAG,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxF,MAAM,IAAI,GAAG,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAA,gBAAE,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,8BAA8B;QAC9B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACrC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,MAAM,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,EAAE,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,IAAA,eAAM,EAAC,IAAA,gBAAE,EAAC,IAAI,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,kBAAI,EAAC,KAAK,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,EAAE,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7F,IAAA,eAAM,EAAC,IAAA,gBAAE,EAAC,IAAI,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,GAAG,GAAG,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,kBAAI,GAAE,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,IAAI,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC,CAAC,CAAC;QAC7C,2DAA2D;QAC3D,MAAM,KAAK,GAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,IAAI,GAAG,IAAA,yBAAW,GAAE,CAAC;QAC3B,MAAM,OAAO,GAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACzB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAG,IAAA,8BAAgB,GAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACpC,IAAA,eAAM,EAAC,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;gBACxB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,OAAO,GAAG,IAAA,wBAAU,GAAE,CAAC;QAC7B,MAAM,KAAK,GAAoC;YAC7C,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YACX,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YACX,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC;YACb,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;SACX,CAAC;QACF,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1C,IAAA,eAAM,EAAC,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;gBACxB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,qBAAqB;QACrB,MAAM,QAAQ,GAAG,IAAA,oBAAM,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,kBAAI,GAAE,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,IAAA,iBAAG,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxF,MAAM,CAAC,GAAG,IAAA,sBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,sBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAgB;YAC1B,GAAG,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC;YACvB,IAAI,EAAE,IAAA,kBAAI,GAAE;YACZ,IAAI,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC;SACzB,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,0BAAY,EAAC,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAgB;YAC1B,GAAG,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC;YACf,IAAI,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC;YACzB,IAAI,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC;SACzB,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,0BAAY,EAAC,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,iEAAiE;QACjE,6DAA6D;QAC7D,6CAA6C;QAC7C,MAAM,MAAM,GAAgB;YAC1B,GAAG,EAAE,IAAA,iBAAG,EAAC,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,CAAC,CAAC;YAChD,IAAI,EAAE,IAAA,yBAAW,GAAE;YACnB,IAAI,EAAE,IAAA,iBAAG,EAAC,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,CAAC,CAAC;SAClD,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,0BAAY,EAAC,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,sCAAsC;QACtC,MAAM,MAAM,GAAgB;YAC1B,GAAG,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC;YACvB,IAAI,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,IAAI,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC;SACzB,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,0BAAY,EAAC,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAgB;YAC1B,GAAG,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC;YACf,IAAI,EAAE,IAAA,oBAAM,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,EAAE,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClF,IAAI,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC;SACjB,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,0BAAY,EAAC,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,qEAAqE;QACrE,MAAM,IAAI,GAAG,IAAA,8BAAgB,GAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACpC,IAAA,eAAM,EAAC,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;gBACxB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,4CAA4C;QAC5C,mBAAmB;QACnB,MAAM,MAAM,GAAgB;YAC1B,GAAG,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC;YACvB,IAAI,EAAE,IAAA,oBAAM,EACV,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAC1B,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EACvC,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CACnB;YACD,IAAI,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC;SACzB,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,0BAAY,EAAC,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAgB;YAC1B,GAAG,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC;YACf,IAAI,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC;YACzB,IAAI,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC;SACzB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,yBAAW,EAAC,MAAM,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,MAAM,GAAgB;YAC1B,GAAG,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC;YACf,IAAI,EAAE,IAAA,oBAAM,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC,CAAC;YAC7F,IAAI,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC;SACjB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,yBAAW,EAAC,MAAM,CAAC,CAAC;QAChC,yCAAyC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAgB;YAC1B,GAAG,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC;YACf,IAAI,EAAE,IAAA,oBAAM,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjF,IAAI,EAAE,IAAA,kBAAI,EAAC,IAAI,CAAC;SACjB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,yBAAW,EAAC,MAAM,CAAC,CAAC;QAChC,+BAA+B;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,iBAAG,EAAC,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,gBAAE,EAAC,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,IAAI,GAAG,IAAA,iCAAmB,GAAE,CAAC;QACnC,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;YACxB,sDAAsD;YACtD,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,IAAI,GAAG,IAAA,iCAAmB,GAAE,CAAC;QACnC,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,EAAE,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,EAAE,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB;QAC7E,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,EAAE,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,IAAI,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,IAAI,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,IAAI,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,IAAI,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,IAAA,kBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,kBAAI,EAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,gBAAE,EAAC,IAAA,kBAAI,EAAC,IAAI,CAAC,EAAE,IAAA,kBAAI,EAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,IAAA,kBAAI,EAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,eAAC,EAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,8DAA8D;QAC9D,0DAA0D;QAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5B,IAAI,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACtB,MAAM,MAAM,GAAG,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACzB,MAAM,IAAI,GAAG,IAAA,iBAAG,EACd,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,CAAC,EAC1B,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EACvC,IAAA,oBAAM,EAAC,GAAG,EAAE,IAAA,mBAAK,EAAC,GAAG,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,EAAE,IAAA,eAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACxC,CAAC;gBACF,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACvC,IAAA,eAAM,EAAC,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;oBACxB,MAAM,KAAK,GAAG,IAAA,iBAAG,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,oEAAoE;QACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,IAAA,8BAAgB,GAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAClD,IAAA,eAAM,EAAC,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;gBACxB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}