@stevenvo780/st-lang 4.9.0 → 4.11.0

package/dist/tests/reasoning/topology/topology.test.js

@@ -0,0 +1,327 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const topology_1 = require("../../../reasoning/topology");
+// Helpers de construcción.
+function complexFrom(simplices) {
+    const K = (0, topology_1.makeComplex)();
+    for (const s of simplices)
+        (0, topology_1.addSimplex)(K, s);
+    return K;
+}
+function sum(arr) {
+    return arr.reduce((a, b) => a + b, 0);
+}
+// ------------------------------------------------------------
+// 1. Construcción y dimensión
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / construcción de simplicial complexes', () => {
+    (0, vitest_1.it)('makeComplex inicia vacío', () => {
+        const K = (0, topology_1.makeComplex)();
+        (0, vitest_1.expect)(K.vertices).toEqual([]);
+        (0, vitest_1.expect)((0, topology_1.dimension)(K)).toBe(-1);
+        (0, vitest_1.expect)((0, topology_1.fVector)(K)).toEqual([]);
+    });
+    (0, vitest_1.it)('addSimplex añade todas las caras', () => {
+        const K = (0, topology_1.makeComplex)();
+        (0, topology_1.addSimplex)(K, [0, 1, 2]);
+        // Debe tener 3 vértices, 3 aristas, 1 triángulo.
+        (0, vitest_1.expect)((0, topology_1.fVector)(K)).toEqual([3, 3, 1]);
+        (0, vitest_1.expect)((0, topology_1.dimension)(K)).toBe(2);
+    });
+    (0, vitest_1.it)('addSimplex normaliza el orden de vértices', () => {
+        const K1 = complexFrom([[2, 0, 1]]);
+        const K2 = complexFrom([[0, 1, 2]]);
+        (0, vitest_1.expect)((0, topology_1.fVector)(K1)).toEqual((0, topology_1.fVector)(K2));
+    });
+    (0, vitest_1.it)('addSimplex es idempotente sobre simplices repetidos', () => {
+        const K = (0, topology_1.makeComplex)();
+        (0, topology_1.addSimplex)(K, [0, 1, 2]);
+        (0, topology_1.addSimplex)(K, [0, 1, 2]);
+        (0, topology_1.addSimplex)(K, [0, 1]);
+        (0, vitest_1.expect)((0, topology_1.fVector)(K)).toEqual([3, 3, 1]);
+    });
+    (0, vitest_1.it)('faces de un triángulo da sus 3 aristas', () => {
+        const fs = (0, topology_1.faces)([0, 1, 2]);
+        (0, vitest_1.expect)(fs).toHaveLength(3);
+        (0, vitest_1.expect)(fs).toContainEqual([1, 2]);
+        (0, vitest_1.expect)(fs).toContainEqual([0, 2]);
+        (0, vitest_1.expect)(fs).toContainEqual([0, 1]);
+    });
+    (0, vitest_1.it)('faces de un punto es vacío', () => {
+        (0, vitest_1.expect)((0, topology_1.faces)([5])).toEqual([]);
+        (0, vitest_1.expect)((0, topology_1.faces)([])).toEqual([]);
+    });
+});
+// ------------------------------------------------------------
+// 2. Operador borde
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / operador borde', () => {
+    (0, vitest_1.it)('boundaryZ2 ignora orientación', () => {
+        const b = (0, topology_1.boundaryZ2)([0, 1, 2]);
+        (0, vitest_1.expect)(b).toHaveLength(3);
+        (0, vitest_1.expect)(b).toContainEqual([0, 1]);
+        (0, vitest_1.expect)(b).toContainEqual([0, 2]);
+        (0, vitest_1.expect)(b).toContainEqual([1, 2]);
+    });
+    (0, vitest_1.it)('boundaryZ asigna signos (-1)^i por vértice omitido', () => {
+        const b = (0, topology_1.boundaryZ)([0, 1, 2]);
+        // ∂[0,1,2] = +[1,2] - [0,2] + [0,1]
+        (0, vitest_1.expect)(b).toEqual([
+            { sign: 1, simplex: [1, 2] },
+            { sign: -1, simplex: [0, 2] },
+            { sign: 1, simplex: [0, 1] },
+        ]);
+    });
+    (0, vitest_1.it)('∂² = 0 sobre Z para un tetraedro', () => {
+        // ∂([0,1,2,3]) en Z, luego aplicar ∂ a cada cara con signo y sumar.
+        const top = (0, topology_1.boundaryZ)([0, 1, 2, 3]);
+        const acc = new Map();
+        for (const { sign, simplex } of top) {
+            for (const { sign: s2, simplex: s } of (0, topology_1.boundaryZ)(simplex)) {
+                const k = s.join(',');
+                acc.set(k, (acc.get(k) ?? 0) + sign * s2);
+            }
+        }
+        for (const v of acc.values()) {
+            (0, vitest_1.expect)(v).toBe(0);
+        }
+    });
+});
+// ------------------------------------------------------------
+// 3. f-vector y característica de Euler
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / f-vector y Euler', () => {
+    (0, vitest_1.it)('triángulo hueco (1-borde): f=(3,3), euler=0', () => {
+        // Frontera de un triángulo: 3 vértices + 3 aristas, sin la 2-cara.
+        const K = (0, topology_1.makeComplex)();
+        (0, topology_1.addSimplex)(K, [0, 1]);
+        (0, topology_1.addSimplex)(K, [1, 2]);
+        (0, topology_1.addSimplex)(K, [0, 2]);
+        (0, vitest_1.expect)((0, topology_1.fVector)(K)).toEqual([3, 3]);
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(K)).toBe(0);
+    });
+    (0, vitest_1.it)('disco triangular: f=(3,3,1), euler=1', () => {
+        const K = complexFrom([[0, 1, 2]]);
+        (0, vitest_1.expect)((0, topology_1.fVector)(K)).toEqual([3, 3, 1]);
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(K)).toBe(1);
+    });
+    (0, vitest_1.it)('borde del tetraedro = S²: euler = 2', () => {
+        const S2 = (0, topology_1.spheres)(2);
+        (0, vitest_1.expect)((0, topology_1.fVector)(S2)).toEqual([4, 6, 4]);
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(S2)).toBe(2);
+    });
+    (0, vitest_1.it)('eulerCharacteristic equivale a ∑(-1)^i f_i', () => {
+        const K = (0, topology_1.spheres)(2);
+        const f = (0, topology_1.fVector)(K);
+        let chi = 0;
+        for (let i = 0; i < f.length; i++) {
+            const fi = f[i] ?? 0;
+            chi += (i % 2 === 0 ? 1 : -1) * fi;
+        }
+        (0, vitest_1.expect)(chi).toBe((0, topology_1.eulerCharacteristic)(K));
+    });
+});
+// ------------------------------------------------------------
+// 4. Smith Normal Form
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / Smith Normal Form', () => {
+    (0, vitest_1.it)('SNF de matriz nula es nula', () => {
+        const M = [
+            [0, 0],
+            [0, 0],
+        ];
+        const { rankIm, invariants } = (0, topology_1.smithNormalForm)(M);
+        (0, vitest_1.expect)(rankIm).toBe(0);
+        (0, vitest_1.expect)(invariants).toEqual([]);
+    });
+    (0, vitest_1.it)('SNF de identidad da factores (1,1,...)', () => {
+        const M = [
+            [1, 0, 0],
+            [0, 1, 0],
+            [0, 0, 1],
+        ];
+        const { rankIm, invariants } = (0, topology_1.smithNormalForm)(M);
+        (0, vitest_1.expect)(rankIm).toBe(3);
+        (0, vitest_1.expect)(invariants).toEqual([1, 1, 1]);
+    });
+    (0, vitest_1.it)('SNF detecta torsión Z/2', () => {
+        // Matriz [[2]] tiene SNF = [[2]], factor invariante 2.
+        const { invariants, rankIm } = (0, topology_1.smithNormalForm)([[2]]);
+        (0, vitest_1.expect)(invariants).toEqual([2]);
+        (0, vitest_1.expect)(rankIm).toBe(1);
+    });
+    (0, vitest_1.it)('SNF respeta divisibilidad d_i | d_{i+1}', () => {
+        // diag(2,3) → SNF (1,6).
+        const M = [
+            [2, 0],
+            [0, 3],
+        ];
+        const { invariants } = (0, topology_1.smithNormalForm)(M);
+        (0, vitest_1.expect)(invariants[0]).toBe(1);
+        (0, vitest_1.expect)(invariants[1]).toBe(6);
+    });
+});
+// ------------------------------------------------------------
+// 5. Homología clásica
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / homología clásica', () => {
+    (0, vitest_1.it)('punto: β_0 = 1, sin más homología', () => {
+        const K = (0, topology_1.makeComplex)();
+        (0, topology_1.addSimplex)(K, [0]);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ2)(K, 0)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ)(K, 0)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(K)).toBe(1);
+    });
+    (0, vitest_1.it)('dos puntos disjuntos: β_0 = 2', () => {
+        const K = (0, topology_1.makeComplex)();
+        (0, topology_1.addSimplex)(K, [0]);
+        (0, topology_1.addSimplex)(K, [1]);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ2)(K, 0)).toBe(2);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ)(K, 0)).toBe(2);
+    });
+    (0, vitest_1.it)('círculo S¹ (frontera del triángulo): β = [1,1], euler=0', () => {
+        const S1 = (0, topology_1.spheres)(1);
+        (0, vitest_1.expect)((0, topology_1.fVector)(S1)).toEqual([3, 3]);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ2)(S1, 0)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ2)(S1, 1)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ)(S1, 0)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ)(S1, 1)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(S1)).toBe(0);
+    });
+    (0, vitest_1.it)('esfera S² (frontera del tetraedro): β_Z2 = [1,0,1], euler=2', () => {
+        const S2 = (0, topology_1.spheres)(2);
+        const H = (0, topology_1.computeHomology)(S2, 'Z2');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 0, 1]);
+        (0, vitest_1.expect)(H.eulerChar).toBe(2);
+    });
+    (0, vitest_1.it)('esfera S² sobre Z: β = [1,0,1], sin torsión', () => {
+        const S2 = (0, topology_1.spheres)(2);
+        const H = (0, topology_1.computeHomology)(S2, 'Z');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 0, 1]);
+        (0, vitest_1.expect)(H.torsion).toEqual({});
+    });
+    (0, vitest_1.it)('esfera S³ (frontera 4-simplex): β = [1,0,0,1], euler = 0', () => {
+        const S3 = (0, topology_1.spheres)(3);
+        const H = (0, topology_1.computeHomology)(S3, 'Z');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 0, 0, 1]);
+        (0, vitest_1.expect)(H.eulerChar).toBe(0);
+    });
+    (0, vitest_1.it)('disco 2D (un triángulo lleno): β = [1,0,0], euler = 1', () => {
+        const K = complexFrom([[0, 1, 2]]);
+        const H = (0, topology_1.computeHomology)(K, 'Z2');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 0, 0]);
+        (0, vitest_1.expect)(H.eulerChar).toBe(1);
+    });
+    (0, vitest_1.it)('n-simplex completo es contráctil: β = [1,0,...,0]', () => {
+        for (const n of [1, 2, 3]) {
+            const K = (0, topology_1.nSimplex)(n);
+            const H = (0, topology_1.computeHomology)(K, 'Z');
+            (0, vitest_1.expect)(H.bettiNumbers[0]).toBe(1);
+            for (let i = 1; i <= n; i++) {
+                (0, vitest_1.expect)(H.bettiNumbers[i]).toBe(0);
+            }
+        }
+    });
+});
+// ------------------------------------------------------------
+// 6. Superficies con identificaciones
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / superficies clásicas', () => {
+    (0, vitest_1.it)('toro T²: euler = 0', () => {
+        const T = (0, topology_1.torus2)();
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(T)).toBe(0);
+    });
+    (0, vitest_1.it)('toro T²: β_Z2 = [1,2,1]', () => {
+        const T = (0, topology_1.torus2)();
+        const H = (0, topology_1.computeHomology)(T, 'Z2');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 2, 1]);
+        (0, vitest_1.expect)(H.eulerChar).toBe(0);
+    });
+    (0, vitest_1.it)('toro T²: β_Z = [1,2,1], sin torsión (orientable)', () => {
+        const T = (0, topology_1.torus2)();
+        const H = (0, topology_1.computeHomology)(T, 'Z');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 2, 1]);
+        (0, vitest_1.expect)(H.torsion).toEqual({});
+    });
+    (0, vitest_1.it)('plano proyectivo RP²: euler = 1', () => {
+        const P = (0, topology_1.projectivePlane)();
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(P)).toBe(1);
+    });
+    (0, vitest_1.it)('plano proyectivo RP²: β_Z2 = [1,1,1]', () => {
+        const P = (0, topology_1.projectivePlane)();
+        const H = (0, topology_1.computeHomology)(P, 'Z2');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 1, 1]);
+    });
+    (0, vitest_1.it)('plano proyectivo RP²: β_Z = [1,0,0] con torsión Z/2 en dim 1', () => {
+        const P = (0, topology_1.projectivePlane)();
+        const H = (0, topology_1.computeHomology)(P, 'Z');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 0, 0]);
+        (0, vitest_1.expect)(H.torsion?.[1]).toEqual([2]);
+    });
+    (0, vitest_1.it)('botella de Klein: euler = 0', () => {
+        const K = (0, topology_1.kleinBottle)();
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(K)).toBe(0);
+    });
+    (0, vitest_1.it)('botella de Klein sobre Z: β = [1,1,0], torsión Z/2 en dim 1', () => {
+        const K = (0, topology_1.kleinBottle)();
+        const H = (0, topology_1.computeHomology)(K, 'Z');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 1, 0]);
+        (0, vitest_1.expect)(H.torsion?.[1]).toEqual([2]);
+    });
+    (0, vitest_1.it)('botella de Klein sobre Z/2: β = [1,2,1]', () => {
+        const K = (0, topology_1.kleinBottle)();
+        const H = (0, topology_1.computeHomology)(K, 'Z2');
+        // Sobre Z/2 la torsión Z/2 se vuelve un sumando libre extra:
+        // H_1(K, Z/2) tiene dimensión 2, H_2(K, Z/2) tiene dimensión 1.
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 2, 1]);
+    });
+});
+// ------------------------------------------------------------
+// 7. Consistencia de invariantes
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / consistencia', () => {
+    (0, vitest_1.it)('χ = ∑ (-1)^i β_i (sobre Z/2) para todos los complejos clásicos', () => {
+        const cases = [
+            { name: 'S^1', K: (0, topology_1.spheres)(1) },
+            { name: 'S^2', K: (0, topology_1.spheres)(2) },
+            { name: 'S^3', K: (0, topology_1.spheres)(3) },
+            { name: 'T²', K: (0, topology_1.torus2)() },
+            { name: 'RP²', K: (0, topology_1.projectivePlane)() },
+            { name: 'Klein', K: (0, topology_1.kleinBottle)() },
+            { name: '3-simplex', K: (0, topology_1.nSimplex)(3) },
+        ];
+        for (const { name, K } of cases) {
+            const H = (0, topology_1.computeHomology)(K, 'Z2');
+            let chi = 0;
+            for (let i = 0; i < H.bettiNumbers.length; i++) {
+                const b = H.bettiNumbers[i] ?? 0;
+                chi += (i % 2 === 0 ? 1 : -1) * b;
+            }
+            (0, vitest_1.expect)(chi, `χ vs ∑(-1)^i β_i para ${name}`).toBe((0, topology_1.eulerCharacteristic)(K));
+        }
+    });
+    (0, vitest_1.it)('rankBoundaryZ2 coherente con dimensiones', () => {
+        const S2 = (0, topology_1.spheres)(2);
+        // rank ∂_1 ≤ #aristas, rank ∂_2 ≤ #triángulos
+        (0, vitest_1.expect)((0, topology_1.rankBoundaryZ2)(S2, 1)).toBeLessThanOrEqual(6);
+        (0, vitest_1.expect)((0, topology_1.rankBoundaryZ2)(S2, 2)).toBeLessThanOrEqual(4);
+    });
+    (0, vitest_1.it)('torsionZ vacía para S² (orientable)', () => {
+        const S2 = (0, topology_1.spheres)(2);
+        (0, vitest_1.expect)((0, topology_1.torsionZ)(S2, 0)).toEqual([]);
+        (0, vitest_1.expect)((0, topology_1.torsionZ)(S2, 1)).toEqual([]);
+        (0, vitest_1.expect)((0, topology_1.torsionZ)(S2, 2)).toEqual([]);
+    });
+    (0, vitest_1.it)('fVector entries no negativas y suma consistente', () => {
+        const T = (0, topology_1.torus2)();
+        const f = (0, topology_1.fVector)(T);
+        for (const fi of f) {
+            (0, vitest_1.expect)(fi).toBeGreaterThanOrEqual(0);
+        }
+        // Triangulación 3×3 del toro: 9 vértices, 27 aristas, 18 triángulos.
+        (0, vitest_1.expect)(f).toEqual([9, 27, 18]);
+        (0, vitest_1.expect)(sum(f)).toBe(54);
+    });
+});
+//# sourceMappingURL=topology.test.js.map

package/dist/tests/reasoning/topology/topology.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"topology.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/topology/topology.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0DAqBqC;AAErC,2BAA2B;AAC3B,SAAS,WAAW,CAAC,SAAqB;IACxC,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;IACxB,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,GAAG,CAAC,GAAa;IACxB,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,+DAA+D;AAC/D,8BAA8B;AAC9B,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,oBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,iDAAiD;QACjD,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,oBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,kBAAO,EAAC,EAAE,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,IAAA,gBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,gBAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,gBAAK,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,oBAAoB;AACpB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,oBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,oCAAoC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAC5B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAC7B,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;SAC7B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,oEAAoE;QACpE,MAAM,GAAG,GAAG,IAAA,oBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;QACtC,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,IAAA,oBAAS,EAAC,OAAO,CAAC,EAAE,CAAC;gBAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACtB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,mEAAmE;QACnE,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACrB,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrB,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACrC,CAAC;QACD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG;YACR,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,0BAAe,EAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG;YACR,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,0BAAe,EAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,uDAAuD;QACvD,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,IAAA,0BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,yBAAyB;QACzB,MAAM,CAAC,GAAG;YACR,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,0BAAe,EAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,IAAA,mBAAQ,EAAC,CAAC,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAClC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,sCAAsC;AACtC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,iBAAM,GAAE,CAAC;QACnB,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,iBAAM,GAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,iBAAM,GAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,0BAAe,GAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,0BAAe,GAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,IAAA,0BAAe,GAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,6DAA6D;QAC7D,gEAAgE;QAChE,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,iCAAiC;AACjC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,KAAK,GAA6C;YACtD,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAA,kBAAO,EAAC,CAAC,CAAC,EAAE;YAC9B,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAA,kBAAO,EAAC,CAAC,CAAC,EAAE;YAC9B,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAA,kBAAO,EAAC,CAAC,CAAC,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAA,iBAAM,GAAE,EAAE;YAC3B,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAA,0BAAe,GAAE,EAAE;YACrC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,IAAA,sBAAW,GAAE,EAAE;YACnC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,IAAA,mBAAQ,EAAC,CAAC,CAAC,EAAE;SACtC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACnC,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACpC,CAAC;YACD,IAAA,eAAM,EAAC,GAAG,EAAE,yBAAyB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,8CAA8C;QAC9C,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,mBAAQ,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,mBAAQ,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,mBAAQ,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,iBAAM,GAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACrB,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,qEAAqE;QACrE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=coq-v2-exporter.test.d.ts.map

package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coq-v2-exporter.test.d.ts","sourceRoot":"","sources":["../../../../../src/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.ts"],"names":[],"mappings":""}