@stevenvo780/st-lang 4.9.0 → 4.11.0

package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.js

@@ -0,0 +1,328 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const distributed_exchange_1 = require("../../../proof-systems/distributed-exchange");
+function makeProof(name = 'p') {
+    return {
+        goal: { kind: 'atom', name },
+        steps: [
+            {
+                stepNumber: 1,
+                formula: { kind: 'atom', name },
+                justification: 'premise',
+                premises: [],
+                source: 'premise',
+            },
+        ],
+        status: 'complete',
+        method: 'natural_deduction',
+    };
+}
+function makePackage(overrides) {
+    return {
+        version: '1.0',
+        formula: 'p -> p',
+        profile: 'classical.propositional',
+        proof: makeProof(),
+        metadata: {
+            author: 'alice',
+            timestamp: '2026-01-01T00:00:00.000Z',
+            tags: ['logic'],
+        },
+        ...overrides,
+    };
+}
+function setupTriangle() {
+    const net = new distributed_exchange_1.GossipNetwork();
+    const a = (0, distributed_exchange_1.createPeerNode)({ id: 'A', publicKey: 'pkA' });
+    const b = (0, distributed_exchange_1.createPeerNode)({ id: 'B', publicKey: 'pkB' });
+    const c = (0, distributed_exchange_1.createPeerNode)({ id: 'C', publicKey: 'pkC' });
+    net.addNode(a);
+    net.addNode(b);
+    net.addNode(c);
+    net.connect('A', 'B');
+    net.connect('B', 'C');
+    net.connect('A', 'C');
+    return { net, a, b, c };
+}
+(0, vitest_1.describe)('GossipNetwork.publish + tick', () => {
+    (0, vitest_1.it)('3 nodos triangulares: A publica y B y C reciben tras drain()', () => {
+        const { net, a } = setupTriangle();
+        const pkg = makePackage();
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        net.publish('A', pkg, 'sig-A');
+        (0, vitest_1.expect)(a.knownProofs.has(hash)).toBe(true);
+        const result = net.drain();
+        (0, vitest_1.expect)(result.delivered).toBeGreaterThan(0);
+        const prop = net.proofPropagation(hash);
+        (0, vitest_1.expect)(prop.receivedBy.has('A')).toBe(true);
+        (0, vitest_1.expect)(prop.receivedBy.has('B')).toBe(true);
+        (0, vitest_1.expect)(prop.receivedBy.has('C')).toBe(true);
+        (0, vitest_1.expect)(prop.coverage).toBe(1);
+    });
+    (0, vitest_1.it)('un único tick entrega a peers directos; segundo tick propaga el gossip', () => {
+        const { net } = setupTriangle();
+        // Para verificar propagación multi-hop, desconectamos A-C: C sólo
+        // puede recibir vía B.
+        net.disconnect('A', 'C');
+        const pkg = makePackage({ formula: 'q -> q' });
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        net.publish('A', pkg, 'sig-A');
+        net.tick();
+        let prop = net.proofPropagation(hash);
+        (0, vitest_1.expect)(prop.receivedBy.has('B')).toBe(true);
+        (0, vitest_1.expect)(prop.receivedBy.has('C')).toBe(false);
+        net.tick();
+        prop = net.proofPropagation(hash);
+        (0, vitest_1.expect)(prop.receivedBy.has('C')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('GossipNetwork.disconnect', () => {
+    (0, vitest_1.it)('disconnect interrumpe gossip entre 2 nodos', () => {
+        const net = new distributed_exchange_1.GossipNetwork();
+        net.addNode((0, distributed_exchange_1.createPeerNode)({ id: 'A', publicKey: 'pkA' }));
+        net.addNode((0, distributed_exchange_1.createPeerNode)({ id: 'B', publicKey: 'pkB' }));
+        net.connect('A', 'B');
+        net.disconnect('A', 'B');
+        const pkg = makePackage();
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        net.publish('A', pkg, 'sig-A');
+        net.drain();
+        const prop = net.proofPropagation(hash);
+        (0, vitest_1.expect)(prop.receivedBy.has('B')).toBe(false);
+        (0, vitest_1.expect)(prop.coverage).toBe(0.5);
+    });
+    (0, vitest_1.it)('drop counter aumenta cuando se publica a una arista cortada', () => {
+        const net = new distributed_exchange_1.GossipNetwork();
+        net.addNode((0, distributed_exchange_1.createPeerNode)({ id: 'A', publicKey: 'pkA' }));
+        net.addNode((0, distributed_exchange_1.createPeerNode)({ id: 'B', publicKey: 'pkB' }));
+        net.connect('A', 'B');
+        const pkg = makePackage();
+        net.publish('A', pkg, 'sig-A');
+        // El mensaje está en cola: si desconectamos antes del tick, debería caer.
+        net.disconnect('A', 'B');
+        const { delivered, dropped } = net.tick();
+        (0, vitest_1.expect)(delivered).toBe(0);
+        (0, vitest_1.expect)(dropped).toBe(1);
+    });
+});
+(0, vitest_1.describe)('GossipNetwork.request', () => {
+    (0, vitest_1.it)('request explícito devuelve la proof desde un peer que la tiene', () => {
+        const { net, b } = setupTriangle();
+        const pkg = makePackage({ formula: 'request-test' });
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        // B ya tiene la proof; A no.
+        b.knownProofs.set(hash, {
+            proof: pkg,
+            signature: 'sig-orig',
+            sourceId: 'B',
+            receivedAt: '2026-01-01T00:00:00.000Z',
+        });
+        net.request('A', hash);
+        net.drain();
+        const prop = net.proofPropagation(hash);
+        (0, vitest_1.expect)(prop.receivedBy.has('A')).toBe(true);
+    });
+    (0, vitest_1.it)('request que no encuentra la proof no propaga nada nuevo', () => {
+        const { net } = setupTriangle();
+        const ghostHash = 'no-such-hash';
+        net.request('A', ghostHash);
+        net.drain();
+        const prop = net.proofPropagation(ghostHash);
+        (0, vitest_1.expect)(prop.receivedBy.size).toBe(0);
+    });
+});
+(0, vitest_1.describe)('GossipNetwork.revokeProof', () => {
+    (0, vitest_1.it)('revoke propaga rechazo y elimina la proof de todos los nodos', () => {
+        const { net } = setupTriangle();
+        const pkg = makePackage({ formula: 'revoke-target' });
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        net.publish('A', pkg, 'sig-A');
+        net.drain();
+        (0, vitest_1.expect)(net.proofPropagation(hash).coverage).toBe(1);
+        net.revokeProof('A', hash, 'bug en la derivación');
+        net.drain();
+        const after = net.proofPropagation(hash);
+        (0, vitest_1.expect)(after.coverage).toBe(0);
+        (0, vitest_1.expect)(net.getNode('B')?.revoked.get(hash)).toBe('bug en la derivación');
+        (0, vitest_1.expect)(net.getNode('C')?.revoked.get(hash)).toBe('bug en la derivación');
+    });
+    (0, vitest_1.it)('una proof revocada no se vuelve a aceptar si alguien la re-anuncia', () => {
+        const { net } = setupTriangle();
+        const pkg = makePackage({ formula: 'persistent-revoke' });
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        net.publish('A', pkg, 'sig-A');
+        net.drain();
+        net.revokeProof('A', hash, 'razón');
+        net.drain();
+        // Forzamos que B intente reanunciar (estado simulando un fork).
+        net.publish('B', pkg, 'sig-A');
+        net.drain();
+        // B había revocado, así que su propio publish lo re-introduce localmente
+        // pero los demás nodos siguen con la revocación activa.
+        (0, vitest_1.expect)(net.getNode('A')?.revoked.has(hash)).toBe(true);
+        (0, vitest_1.expect)(net.getNode('C')?.revoked.has(hash)).toBe(true);
+        (0, vitest_1.expect)(net.getNode('A')?.knownProofs.has(hash)).toBe(false);
+        (0, vitest_1.expect)(net.getNode('C')?.knownProofs.has(hash)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('GossipNetwork.blacklistKey', () => {
+    (0, vitest_1.it)('blacklist bloquea proofs futuras firmadas con esa key', () => {
+        const { net, b } = setupTriangle();
+        b.blacklist.add('pkA');
+        const pkg = makePackage({ formula: 'blocked' });
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        net.publish('A', pkg, 'sig-A');
+        net.drain();
+        (0, vitest_1.expect)(net.getNode('B')?.knownProofs.has(hash)).toBe(false);
+        // C sigue recibiendo (no tiene a A en blacklist).
+        (0, vitest_1.expect)(net.getNode('C')?.knownProofs.has(hash)).toBe(true);
+    });
+    (0, vitest_1.it)('blacklistKey() también evicta proofs ya conocidas de esa key', () => {
+        const { net } = setupTriangle();
+        const pkg = makePackage({ formula: 'evict-me' });
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        net.publish('A', pkg, 'sig-A');
+        net.drain();
+        (0, vitest_1.expect)(net.getNode('B')?.knownProofs.has(hash)).toBe(true);
+        net.blacklistKey('B', 'pkA');
+        (0, vitest_1.expect)(net.getNode('B')?.knownProofs.has(hash)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('detectConflicts', () => {
+    (0, vitest_1.it)('detecta conflicto cuando 2 nodos tienen distintas versiones para mismo (profile, formula)', () => {
+        const { net, a, b } = setupTriangle();
+        const pkgV1 = makePackage({
+            formula: 'p',
+            metadata: { author: 'alice', timestamp: '2026-01-01T00:00:00.000Z' },
+        });
+        const pkgV2 = makePackage({
+            formula: 'p',
+            metadata: { author: 'bob', timestamp: '2026-02-02T00:00:00.000Z' },
+        });
+        a.knownProofs.set((0, distributed_exchange_1.proofHash)(pkgV1), {
+            proof: pkgV1,
+            signature: 'sigA',
+            sourceId: 'A',
+            receivedAt: '2026-01-01T00:00:00.000Z',
+        });
+        b.knownProofs.set((0, distributed_exchange_1.proofHash)(pkgV2), {
+            proof: pkgV2,
+            signature: 'sigB',
+            sourceId: 'B',
+            receivedAt: '2026-02-02T00:00:00.000Z',
+        });
+        const conflicts = (0, distributed_exchange_1.detectConflicts)(net);
+        (0, vitest_1.expect)(conflicts.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)(conflicts[0]?.statementsMatch).toBe(true);
+    });
+    (0, vitest_1.it)('no reporta conflicto cuando todos los nodos tienen la misma versión', () => {
+        const { net } = setupTriangle();
+        const pkg = makePackage({ formula: 'consensus' });
+        net.publish('A', pkg, 'sig-A');
+        net.drain();
+        const conflicts = (0, distributed_exchange_1.detectConflicts)(net);
+        (0, vitest_1.expect)(conflicts).toEqual([]);
+    });
+});
+(0, vitest_1.describe)('syncPeers (anti-entropy)', () => {
+    (0, vitest_1.it)('anti-entropy iguala estado entre 2 nodos desconectados', () => {
+        const net = new distributed_exchange_1.GossipNetwork();
+        net.addNode((0, distributed_exchange_1.createPeerNode)({ id: 'A', publicKey: 'pkA' }));
+        net.addNode((0, distributed_exchange_1.createPeerNode)({ id: 'B', publicKey: 'pkB' }));
+        // No los conectamos. Mismo problema, conocimiento divergente.
+        const pkgA = makePackage({ formula: 'only-in-A' });
+        const pkgB = makePackage({ formula: 'only-in-B' });
+        net.publish('A', pkgA, 'sigA');
+        net.publish('B', pkgB, 'sigB');
+        net.drain();
+        (0, vitest_1.expect)(net.getNode('A')?.knownProofs.size).toBe(1);
+        (0, vitest_1.expect)(net.getNode('B')?.knownProofs.size).toBe(1);
+        const result = (0, distributed_exchange_1.syncPeers)(net, 'A', 'B');
+        (0, vitest_1.expect)(result.sentAtoB).toBe(1);
+        (0, vitest_1.expect)(result.sentBtoA).toBe(1);
+        (0, vitest_1.expect)(net.getNode('A')?.knownProofs.size).toBe(2);
+        (0, vitest_1.expect)(net.getNode('B')?.knownProofs.size).toBe(2);
+    });
+    (0, vitest_1.it)('syncPeers respeta blacklist: no copia proofs de keys vetadas', () => {
+        const net = new distributed_exchange_1.GossipNetwork();
+        const a = (0, distributed_exchange_1.createPeerNode)({ id: 'A', publicKey: 'pkA' });
+        const b = (0, distributed_exchange_1.createPeerNode)({ id: 'B', publicKey: 'pkB' });
+        net.addNode(a);
+        net.addNode(b);
+        b.blacklist.add('pkA');
+        const pkg = makePackage({ formula: 'sync-blocked' });
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        a.knownProofs.set(hash, {
+            proof: pkg,
+            signature: 'sig',
+            sourceId: 'A',
+            receivedAt: '2026-01-01T00:00:00.000Z',
+        });
+        const result = (0, distributed_exchange_1.syncPeers)(net, 'A', 'B');
+        (0, vitest_1.expect)(result.sentAtoB).toBe(0);
+        (0, vitest_1.expect)(b.knownProofs.has(hash)).toBe(false);
+    });
+    (0, vitest_1.it)('syncPeers respeta revoked: no copia proofs revocadas', () => {
+        const net = new distributed_exchange_1.GossipNetwork();
+        const a = (0, distributed_exchange_1.createPeerNode)({ id: 'A', publicKey: 'pkA' });
+        const b = (0, distributed_exchange_1.createPeerNode)({ id: 'B', publicKey: 'pkB' });
+        net.addNode(a);
+        net.addNode(b);
+        const pkg = makePackage({ formula: 'revoked-in-B' });
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        a.knownProofs.set(hash, {
+            proof: pkg,
+            signature: 'sig',
+            sourceId: 'A',
+            receivedAt: '2026-01-01T00:00:00.000Z',
+        });
+        b.revoked.set(hash, 'B no la quiere');
+        const result = (0, distributed_exchange_1.syncPeers)(net, 'A', 'B');
+        (0, vitest_1.expect)(result.sentAtoB).toBe(0);
+        (0, vitest_1.expect)(b.knownProofs.has(hash)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('proofPropagation (coverage stat)', () => {
+    (0, vitest_1.it)('coverage es proporcional a nodos que conocen la proof', () => {
+        const net = new distributed_exchange_1.GossipNetwork();
+        for (const id of ['A', 'B', 'C', 'D']) {
+            net.addNode((0, distributed_exchange_1.createPeerNode)({ id, publicKey: `pk${id}` }));
+        }
+        // Sólo A-B conectados; C y D aislados.
+        net.connect('A', 'B');
+        const pkg = makePackage({ formula: 'partial-coverage' });
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        net.publish('A', pkg, 'sig');
+        net.drain();
+        const prop = net.proofPropagation(hash);
+        (0, vitest_1.expect)(prop.receivedBy.size).toBe(2);
+        (0, vitest_1.expect)(prop.coverage).toBe(0.5);
+    });
+    (0, vitest_1.it)('coverage 1.0 cuando todos los nodos están conectados y vivos', () => {
+        const { net } = setupTriangle();
+        const pkg = makePackage({ formula: 'full-coverage' });
+        const hash = (0, distributed_exchange_1.proofHash)(pkg);
+        net.publish('A', pkg, 'sig');
+        net.drain();
+        const prop = net.proofPropagation(hash);
+        (0, vitest_1.expect)(prop.coverage).toBe(1);
+    });
+});
+(0, vitest_1.describe)('GossipNetwork sanity', () => {
+    (0, vitest_1.it)('addNode dos veces con el mismo id falla', () => {
+        const net = new distributed_exchange_1.GossipNetwork();
+        net.addNode((0, distributed_exchange_1.createPeerNode)({ id: 'A', publicKey: 'pkA' }));
+        (0, vitest_1.expect)(() => net.addNode((0, distributed_exchange_1.createPeerNode)({ id: 'A', publicKey: 'pkX' }))).toThrow();
+    });
+    (0, vitest_1.it)('totals() refleja delivered/dropped acumulados', () => {
+        const { net } = setupTriangle();
+        const pkg = makePackage({ formula: 'totals-test' });
+        net.publish('A', pkg, 'sig');
+        net.drain();
+        const totals = net.totals();
+        (0, vitest_1.expect)(totals.delivered).toBeGreaterThan(0);
+        (0, vitest_1.expect)(totals.pending).toBe(0);
+    });
+});
+//# sourceMappingURL=distributed-exchange.test.js.map

package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"distributed-exchange.test.js","sourceRoot":"","sources":["../../../../src/tests/proof-systems/distributed-exchange/distributed-exchange.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,sFAOqD;AAIrD,SAAS,SAAS,CAAC,IAAI,GAAG,GAAG;IAC3B,OAAO;QACL,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;QAC5B,KAAK,EAAE;YACL;gBACE,UAAU,EAAE,CAAC;gBACb,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;gBAC/B,aAAa,EAAE,SAAS;gBACxB,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,SAAS;aAClB;SACF;QACD,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,mBAAmB;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,SAAiC;IACpD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,QAAQ;QACjB,OAAO,EAAE,yBAAyB;QAClC,KAAK,EAAE,SAAS,EAAE;QAClB,QAAQ,EAAE;YACR,MAAM,EAAE,OAAO;YACf,SAAS,EAAE,0BAA0B;YACrC,IAAI,EAAE,CAAC,OAAO,CAAC;SAChB;QACD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,aAAa;IACpB,MAAM,GAAG,GAAG,IAAI,oCAAa,EAAE,CAAC;IAChC,MAAM,CAAC,GAAG,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IACxD,MAAM,CAAC,GAAG,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IACxD,MAAM,CAAC,GAAG,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IACxD,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACf,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACf,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACf,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtB,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtB,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtB,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,aAAa,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,CAAC;QAChC,kEAAkE;QAClE,uBAAuB;QACvB,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/B,GAAG,CAAC,IAAI,EAAE,CAAC;QACX,IAAI,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,GAAG,CAAC,IAAI,EAAE,CAAC;QACX,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAI,oCAAa,EAAE,CAAC;QAChC,GAAG,CAAC,OAAO,CAAC,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3D,GAAG,CAAC,OAAO,CAAC,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3D,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACtB,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,IAAI,oCAAa,EAAE,CAAC;QAChC,GAAG,CAAC,OAAO,CAAC,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3D,GAAG,CAAC,OAAO,CAAC,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3D,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACtB,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/B,0EAA0E;QAC1E,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,aAAa,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,6BAA6B;QAC7B,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,UAAU;YACrB,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,0BAA0B;SACvC,CAAC,CAAC;QACH,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvB,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC;QACjC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC5B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,IAAA,eAAM,EAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEpD,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,sBAAsB,CAAC,CAAC;QACnD,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACpC,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,gEAAgE;QAChE,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,yEAAyE;QACzE,wDAAwD;QACxD,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,aAAa,EAAE,CAAC;QACnC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,kDAAkD;QAClD,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,aAAa,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,WAAW,CAAC;YACxB,OAAO,EAAE,GAAG;YACZ,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,0BAA0B,EAAE;SACrE,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,WAAW,CAAC;YACxB,OAAO,EAAE,GAAG;YACZ,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,0BAA0B,EAAE;SACnE,CAAC,CAAC;QACH,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAA,gCAAS,EAAC,KAAK,CAAC,EAAE;YAClC,KAAK,EAAE,KAAK;YACZ,SAAS,EAAE,MAAM;YACjB,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,0BAA0B;SACvC,CAAC,CAAC;QACH,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAA,gCAAS,EAAC,KAAK,CAAC,EAAE;YAClC,KAAK,EAAE,KAAK;YACZ,SAAS,EAAE,MAAM;YACjB,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,0BAA0B;SACvC,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,IAAA,sCAAe,EAAC,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QAClD,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,IAAA,sCAAe,EAAC,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,IAAI,oCAAa,EAAE,CAAC;QAChC,GAAG,CAAC,OAAO,CAAC,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3D,GAAG,CAAC,OAAO,CAAC,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3D,8DAA8D;QAC9D,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QACnD,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEnD,MAAM,MAAM,GAAG,IAAA,gCAAS,EAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,GAAG,GAAG,IAAI,oCAAa,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACf,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACf,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,KAAK;YAChB,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,0BAA0B;SACvC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,gCAAS,EAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,IAAI,oCAAa,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACf,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACf,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE;YACtB,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,KAAK;YAChB,QAAQ,EAAE,GAAG;YACb,UAAU,EAAE,0BAA0B;SACvC,CAAC,CAAC;QACH,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,IAAA,gCAAS,EAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAI,oCAAa,EAAE,CAAC;QAChC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YACtC,GAAG,CAAC,OAAO,CAAC,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,uCAAuC;QACvC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACtB,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,IAAI,oCAAa,EAAE,CAAC;QAChC,GAAG,CAAC,OAAO,CAAC,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAA,qCAAc,EAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;QACpD,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7B,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/automata/automata.test.d.ts

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

package/dist/tests/reasoning/automata/automata.test.d.ts.map

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