@stevenvo780/st-lang 4.5.1 → 4.6.0

package/dist/tests/categorical/categorical.test.js

@@ -0,0 +1,300 @@
+"use strict";
+// ============================================================
+// ST Categorical — Tests
+// ============================================================
+// Cubre:
+//   • FinSet: identidad, asociatividad, hom-sets.
+//   • Poset: clausura reflexivo-transitiva y categoricidad.
+//   • Free: paths como morfismos, asociatividad.
+//   • Functor: identidad y composición; preservación de leyes.
+//   • NaturalTransformation: naturalidad estricta y trivial (id).
+//   • Limits: product, coproduct, equalizer (FinSet binarios).
+//   • Monoidal: unitores y asociador estructurales.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const categorical_1 = require("../../categorical");
+// Reutilizamos estos objetos en varios tests.
+const A = { name: 'A', elements: ['a0', 'a1'] };
+const B = { name: 'B', elements: ['b0', 'b1', 'b2'] };
+const C = { name: 'C', elements: ['c0'] };
+(0, vitest_1.describe)('FinSet — categoría', () => {
+    (0, vitest_1.it)('FinSet con 2 objetos verifica identity', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        (0, vitest_1.expect)(cat.verifyIdentity()).toBe(true);
+    });
+    (0, vitest_1.it)('FinSet con 2 objetos verifica associativity', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const g = (0, categorical_1.mkFinSetMor)('g', B, C, { b0: 'c0', b1: 'c0', b2: 'c0' });
+        const cat = (0, categorical_1.FinSet)([A, B, C], [f, g]);
+        (0, vitest_1.expect)(cat.verifyAssociativity()).toBe(true);
+    });
+    (0, vitest_1.it)('hom-set hom(A, B) contiene a f', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        const homs = cat.hom(A, B);
+        (0, vitest_1.expect)(homs.some((m) => cat.eqMor(m, f))).toBe(true);
+    });
+    (0, vitest_1.it)('mkFinSetMor rechaza imagen fuera del codominio', () => {
+        (0, vitest_1.expect)(() => (0, categorical_1.mkFinSetMor)('bad', A, B, { a0: 'b0', a1: 'zzz' })).toThrow(/not in target/);
+    });
+    (0, vitest_1.it)('compose en FinSet aplica funciones correctamente', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const g = (0, categorical_1.mkFinSetMor)('g', B, C, { b0: 'c0', b1: 'c0', b2: 'c0' });
+        const cat = (0, categorical_1.FinSet)([A, B, C], [f, g]);
+        const gf = cat.compose(g, f);
+        (0, vitest_1.expect)(gf.fn.get('a0')).toBe('c0');
+        (0, vitest_1.expect)(gf.fn.get('a1')).toBe('c0');
+    });
+});
+(0, vitest_1.describe)('Poset — categoría', () => {
+    (0, vitest_1.it)('Poset [1≤2≤3] forma categoría válida', () => {
+        const cat = (0, categorical_1.Poset)(['1', '2', '3'], [
+            ['1', '2'],
+            ['2', '3'],
+        ]);
+        // Debe haber el morfismo transitivo 1→3
+        (0, vitest_1.expect)(cat.hom('1', '3').length).toBe(1);
+        (0, vitest_1.expect)(cat.verifyIdentity()).toBe(true);
+        (0, vitest_1.expect)(cat.verifyAssociativity()).toBe(true);
+    });
+    (0, vitest_1.it)('Poset reflexividad: cada objeto tiene identidad', () => {
+        const cat = (0, categorical_1.Poset)(['x', 'y'], [['x', 'y']]);
+        (0, vitest_1.expect)(cat.hom('x', 'x').length).toBe(1);
+        (0, vitest_1.expect)(cat.hom('y', 'y').length).toBe(1);
+    });
+    (0, vitest_1.it)('Poset sin relaciones es discreto', () => {
+        const cat = (0, categorical_1.Poset)(['p', 'q'], []);
+        (0, vitest_1.expect)(cat.hom('p', 'q').length).toBe(0);
+        (0, vitest_1.expect)(cat.hom('p', 'p').length).toBe(1);
+    });
+});
+(0, vitest_1.describe)('Free — categoría libre sobre grafo', () => {
+    (0, vitest_1.it)('Free con 1 edge produce path de longitud 1', () => {
+        const cat = (0, categorical_1.Free)(['x', 'y'], [['x', 'y', 'e']]);
+        const homs = cat.hom('x', 'y');
+        (0, vitest_1.expect)(homs.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)(homs.some((m) => m.path.length === 1 && m.path[0] === 'e')).toBe(true);
+    });
+    (0, vitest_1.it)('Free verifica asociatividad', () => {
+        const cat = (0, categorical_1.Free)(['x', 'y', 'z'], [
+            ['x', 'y', 'e1'],
+            ['y', 'z', 'e2'],
+        ]);
+        (0, vitest_1.expect)(cat.verifyAssociativity()).toBe(true);
+    });
+    (0, vitest_1.it)('Free verifica identity laws', () => {
+        const cat = (0, categorical_1.Free)(['x', 'y'], [['x', 'y', 'e']]);
+        (0, vitest_1.expect)(cat.verifyIdentity()).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Functor', () => {
+    (0, vitest_1.it)('Functor identidad pasa preservation e identity laws', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        const Id = (0, categorical_1.identityFunctor)(cat);
+        (0, vitest_1.expect)(Id.verifyIdentityPreservation()).toBe(true);
+        (0, vitest_1.expect)(Id.verifyComposition()).toBe(true);
+    });
+    (0, vitest_1.it)('Functor constante a un objeto verifica leyes', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        const Const = (0, categorical_1.mkFunctor)({
+            name: 'Const_C',
+            source: cat,
+            target: cat,
+            onObjects: () => B,
+            onMorphisms: () => cat.identity(B),
+        });
+        (0, vitest_1.expect)(Const.verifyIdentityPreservation()).toBe(true);
+        (0, vitest_1.expect)(Const.verifyComposition()).toBe(true);
+    });
+    (0, vitest_1.it)('Functor Free → FinSet preserve composition (estructura discreta)', () => {
+        // Free sobre un vertice solo (sólo identidades).
+        const free = (0, categorical_1.Free)(['v'], []);
+        const cat = (0, categorical_1.FinSet)([A], []);
+        const F = (0, categorical_1.mkFunctor)({
+            name: 'F',
+            source: free,
+            target: cat,
+            onObjects: () => A,
+            onMorphisms: () => cat.identity(A),
+        });
+        (0, vitest_1.expect)(F.verifyIdentityPreservation()).toBe(true);
+        (0, vitest_1.expect)(F.verifyComposition()).toBe(true);
+    });
+    (0, vitest_1.it)('Composición de dos functores produce un functor válido', () => {
+        const cat = (0, categorical_1.FinSet)([A, B], [(0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' })]);
+        const Id = (0, categorical_1.identityFunctor)(cat);
+        const IdId = (0, categorical_1.composeFunctors)(Id, Id);
+        (0, vitest_1.expect)(IdId.verifyIdentityPreservation()).toBe(true);
+        (0, vitest_1.expect)(IdId.verifyComposition()).toBe(true);
+    });
+});
+(0, vitest_1.describe)('NaturalTransformation', () => {
+    (0, vitest_1.it)('Identity natural transformation id_F satisfies naturality', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        const Id = (0, categorical_1.identityFunctor)(cat);
+        const idNT = (0, categorical_1.identityNT)(Id);
+        (0, vitest_1.expect)(idNT.verifyNaturality()).toBe(true);
+    });
+    (0, vitest_1.it)('NT entre 2 functores constantes (mismo objeto) es natural trivialmente', () => {
+        const cat = (0, categorical_1.FinSet)([A, B], [(0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' })]);
+        const ConstA = (0, categorical_1.mkFunctor)({
+            name: 'KA',
+            source: cat,
+            target: cat,
+            onObjects: () => A,
+            onMorphisms: () => cat.identity(A),
+        });
+        const ConstB = (0, categorical_1.mkFunctor)({
+            name: 'KB',
+            source: cat,
+            target: cat,
+            onObjects: () => B,
+            onMorphisms: () => cat.identity(B),
+        });
+        const f = cat.hom(A, B)[0];
+        const nt = (0, categorical_1.mkNaturalTransformation)({
+            name: 'k',
+            source: ConstA,
+            target: ConstB,
+            component: () => f,
+        });
+        (0, vitest_1.expect)(nt.verifyNaturality()).toBe(true);
+    });
+    (0, vitest_1.it)('NT mal definida es rechazada por verifyNaturality', () => {
+        // Construimos dos functores: Id y Const_{B}. La transformación
+        // natural "constante a f" no satisface naturalidad cuando hay
+        // varios morfismos f con dom/cod compatibles. Aquí montamos un
+        // contraejemplo concreto.
+        const swapA = { name: 'A', elements: ['a0', 'a1'] };
+        const f = (0, categorical_1.mkFinSetMor)('swap', swapA, swapA, { a0: 'a1', a1: 'a0' });
+        const cat = (0, categorical_1.FinSet)([swapA], [f]);
+        const Id = (0, categorical_1.identityFunctor)(cat);
+        const Const = (0, categorical_1.mkFunctor)({
+            name: 'KA',
+            source: cat,
+            target: cat,
+            onObjects: () => swapA,
+            onMorphisms: () => cat.identity(swapA),
+        });
+        // η_a = swap : Id(a)=a → Const(a)=a. Naturalidad pide
+        // Const(swap) ∘ η_a = η_a ∘ Id(swap), i.e. id ∘ swap = swap ∘ swap,
+        // i.e. swap = id ⇒ FALSO.
+        const bad = (0, categorical_1.mkNaturalTransformation)({
+            name: 'bad',
+            source: Id,
+            target: Const,
+            component: () => f,
+        });
+        (0, vitest_1.expect)(bad.verifyNaturality()).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Limits/Colimits — FinSet', () => {
+    (0, vitest_1.it)('product A×B construible en FinSet', () => {
+        const cat = (0, categorical_1.FinSet)([A, B], []);
+        const p = (0, categorical_1.product)(cat, A, B);
+        (0, vitest_1.expect)(p).not.toBeNull();
+        if (!p)
+            return;
+        (0, vitest_1.expect)(p.obj.elements.length).toBe(A.elements.length * B.elements.length);
+        (0, vitest_1.expect)(p.pi1.src).toBe(p.obj.name);
+        (0, vitest_1.expect)(p.pi1.tgt).toBe(A.name);
+        (0, vitest_1.expect)(p.pi2.tgt).toBe(B.name);
+    });
+    (0, vitest_1.it)('coproduct A⊔B construible en FinSet', () => {
+        const cat = (0, categorical_1.FinSet)([A, B], []);
+        const c = (0, categorical_1.coproduct)(cat, A, B);
+        (0, vitest_1.expect)(c).not.toBeNull();
+        if (!c)
+            return;
+        (0, vitest_1.expect)(c.obj.elements.length).toBe(A.elements.length + B.elements.length);
+        (0, vitest_1.expect)(c.in1.src).toBe(A.name);
+        (0, vitest_1.expect)(c.in1.tgt).toBe(c.obj.name);
+    });
+    (0, vitest_1.it)('equalizer trivial: f = g ⇒ equalizer es el dominio entero', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        const e = (0, categorical_1.equalizer)(cat, f, f);
+        (0, vitest_1.expect)(e).not.toBeNull();
+        if (!e)
+            return;
+        (0, vitest_1.expect)(e.obj.elements.length).toBe(A.elements.length);
+    });
+    (0, vitest_1.it)('equalizer no trivial: solo elementos donde f y g coinciden', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const g = (0, categorical_1.mkFinSetMor)('g', A, B, { a0: 'b0', a1: 'b2' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f, g]);
+        const e = (0, categorical_1.equalizer)(cat, f, g);
+        (0, vitest_1.expect)(e).not.toBeNull();
+        if (!e)
+            return;
+        (0, vitest_1.expect)(e.obj.elements).toEqual(['a0']);
+    });
+    (0, vitest_1.it)('coequalizer colapsa elementos relacionados por f, g', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const g = (0, categorical_1.mkFinSetMor)('g', A, B, { a0: 'b1', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f, g]);
+        const ce = (0, categorical_1.coequalizer)(cat, f, g);
+        (0, vitest_1.expect)(ce).not.toBeNull();
+        if (!ce)
+            return;
+        // b0 y b1 se colapsan (via a0), b2 queda solo.
+        (0, vitest_1.expect)(ce.obj.elements.length).toBe(2);
+    });
+    (0, vitest_1.it)('isCone valida correctamente un cono trivial', () => {
+        const cat = (0, categorical_1.FinSet)([A, B], [(0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' })]);
+        const diagram = {
+            vertices: new Map([['v', A]]),
+            edges: [],
+        };
+        const cone = {
+            apex: A,
+            legs: new Map([['v', cat.identity(A)]]),
+        };
+        (0, vitest_1.expect)((0, categorical_1.isCone)(cat, diagram, cone)).toBe(true);
+    });
+    (0, vitest_1.it)('isLimit verifica límite trivial (1 vértice = ese vértice)', () => {
+        const cat = (0, categorical_1.FinSet)([A], []);
+        const diagram = {
+            vertices: new Map([['v', A]]),
+            edges: [],
+        };
+        const cone = {
+            apex: A,
+            legs: new Map([['v', cat.identity(A)]]),
+        };
+        (0, vitest_1.expect)((0, categorical_1.isLimit)(cat, diagram, cone)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Monoidal (FinSet, ×, 1)', () => {
+    (0, vitest_1.it)('verifica unitor izquierdo: 1⊗A ≅ A', () => {
+        const mc = (0, categorical_1.FinSetMonoidal)([A, B]);
+        (0, vitest_1.expect)(mc.verifyLeftUnitor()).toBe(true);
+    });
+    (0, vitest_1.it)('verifica unitor derecho: A⊗1 ≅ A', () => {
+        const mc = (0, categorical_1.FinSetMonoidal)([A, B]);
+        (0, vitest_1.expect)(mc.verifyRightUnitor()).toBe(true);
+    });
+    (0, vitest_1.it)('verifica asociador: (A⊗B)⊗C ≅ A⊗(B⊗C)', () => {
+        const mc = (0, categorical_1.FinSetMonoidal)([A, B, C]);
+        (0, vitest_1.expect)(mc.verifyAssociator()).toBe(true);
+    });
+    (0, vitest_1.it)('tensor de objetos tiene cardinal producto', () => {
+        const mc = (0, categorical_1.FinSetMonoidal)([A, B]);
+        const AxB = mc.tensor(A, B);
+        (0, vitest_1.expect)(AxB.elements.length).toBe(A.elements.length * B.elements.length);
+    });
+    (0, vitest_1.it)('tensor de morfismos f×g aplica componentes', () => {
+        const mc = (0, categorical_1.FinSetMonoidal)([A, B]);
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const g = (0, categorical_1.mkFinSetMor)('g', B, A, { b0: 'a0', b1: 'a1', b2: 'a0' });
+        const fxg = mc.tensorMor(f, g);
+        (0, vitest_1.expect)(fxg.fn.get('a0∥b0')).toBe('b0∥a0');
+        (0, vitest_1.expect)(fxg.fn.get('a1∥b1')).toBe('b1∥a1');
+    });
+});
+//# sourceMappingURL=categorical.test.js.map

package/dist/tests/categorical/categorical.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"categorical.test.js","sourceRoot":"","sources":["../../../src/tests/categorical/categorical.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAC/D,SAAS;AACT,kDAAkD;AAClD,4DAA4D;AAC5D,iDAAiD;AACjD,+DAA+D;AAC/D,kEAAkE;AAClE,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;;AAE/D,mCAA8C;AAC9C,mDAqB2B;AAE3B,8CAA8C;AAC9C,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;AAC3D,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;AACjE,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AAErD,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAW,EAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,mBAAK,EACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,wCAAwC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,IAAA,mBAAK,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,IAAA,mBAAK,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,kBAAI,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,IAAA,kBAAI,EACd,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC;YAChB,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC;SACjB,CACF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,IAAA,kBAAI,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,SAAS,EAAE,GAAG,EAAE;IACvB,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,6BAAe,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,EAAE,CAAC,0BAA0B,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,IAAA,uBAAS,EAAC;YACtB,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,GAAG;YACX,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;YAClB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,0BAA0B,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,iDAAiD;QACjD,MAAM,IAAI,GAAG,IAAA,kBAAI,EAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,uBAAS,EAAC;YAClB,IAAI,EAAE,GAAG;YACT,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,GAAG;YACX,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;YAClB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,0BAA0B,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,EAAE,GAAG,IAAA,6BAAe,EAAC,GAAG,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAA,6BAAe,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,0BAA0B,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,6BAAe,EAAC,GAAG,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAA,wBAAU,EAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,MAAM,GAAG,IAAA,uBAAS,EAAC;YACvB,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,GAAG;YACX,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;YAClB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,uBAAS,EAAC;YACvB,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,GAAG;YACX,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;YAClB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,qCAAuB,EAAC;YACjC,IAAI,EAAE,GAAG;YACT,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;SACnB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,+DAA+D;QAC/D,8DAA8D;QAC9D,+DAA+D;QAC/D,0BAA0B;QAC1B,MAAM,KAAK,GAAc,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACpE,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,IAAA,6BAAe,EAAC,GAAG,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,IAAA,uBAAS,EAAC;YACtB,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,GAAG;YACX,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK;YACtB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;SACvC,CAAC,CAAC;QACH,sDAAsD;QACtD,oEAAoE;QACpE,0BAA0B;QAC1B,MAAM,GAAG,GAAG,IAAA,qCAAuB,EAAC;YAClC,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,KAAK;YACb,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;SACnB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,qBAAO,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,uBAAS,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,uBAAS,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,uBAAS,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,+CAA+C;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,OAAO,GAAkC;YAC7C,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7B,KAAK,EAAE,EAAE;SACV,CAAC;QACF,MAAM,IAAI,GAA+B;YACvC,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,oBAAM,EAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAkC;YAC7C,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7B,KAAK,EAAE,EAAE;SACV,CAAC;QACF,MAAM,IAAI,GAA+B;YACvC,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,qBAAO,EAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/csp-hoare/csp-hoare.test.d.ts

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

package/dist/tests/csp-hoare/csp-hoare.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"csp-hoare.test.d.ts","sourceRoot":"","sources":["../../../src/tests/csp-hoare/csp-hoare.test.ts"],"names":[],"mappings":""}