@stevenvo780/st-lang 4.11.0 → 4.12.0

package/dist/tests/reasoning/linear-algebra/linear-algebra.test.js

@@ -0,0 +1,369 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const linear_algebra_1 = require("../../../reasoning/linear-algebra");
+const EPS = 1e-6;
+function expectMatrixClose(actual, expected, eps = EPS) {
+    (0, vitest_1.expect)(actual.length).toBe(expected.length);
+    for (let i = 0; i < expected.length; i++) {
+        const a = actual[i];
+        const e = expected[i];
+        (0, vitest_1.expect)(a, `row ${i}`).toBeDefined();
+        (0, vitest_1.expect)(e, `row ${i}`).toBeDefined();
+        if (!a || !e) {
+            throw new Error(`undefined row at ${i}`);
+        }
+        (0, vitest_1.expect)(a.length).toBe(e.length);
+        for (let j = 0; j < e.length; j++) {
+            const av = a[j];
+            const ev = e[j];
+            if (av === undefined || ev === undefined) {
+                throw new Error(`undefined cell at ${i},${j}`);
+            }
+            (0, vitest_1.expect)(Math.abs(av - ev), `cell ${i},${j} got ${av} want ${ev}`).toBeLessThan(eps);
+        }
+    }
+}
+function expectVectorClose(actual, expected, eps = EPS) {
+    (0, vitest_1.expect)(actual.length).toBe(expected.length);
+    for (let i = 0; i < expected.length; i++) {
+        const av = actual[i];
+        const ev = expected[i];
+        if (av === undefined || ev === undefined) {
+            throw new Error(`undefined value at ${i}`);
+        }
+        (0, vitest_1.expect)(Math.abs(av - ev), `index ${i} got ${av} want ${ev}`).toBeLessThan(eps);
+    }
+}
+(0, vitest_1.describe)('linear-algebra/construction', () => {
+    (0, vitest_1.it)('identity * A = A', () => {
+        const A = [
+            [1, 2, 3],
+            [4, 5, 6],
+            [7, 8, 10]
+        ];
+        const I = (0, linear_algebra_1.identity)(3);
+        expectMatrixClose((0, linear_algebra_1.multiply)(I, A), A);
+        expectMatrixClose((0, linear_algebra_1.multiply)(A, I), A);
+    });
+    (0, vitest_1.it)('zeros and ones produce correct shapes and fill values', () => {
+        const Z = (0, linear_algebra_1.zeros)(2, 3);
+        (0, vitest_1.expect)(Z).toEqual([
+            [0, 0, 0],
+            [0, 0, 0]
+        ]);
+        const O = (0, linear_algebra_1.diagonal)([1, 2, 3]);
+        (0, vitest_1.expect)(O).toEqual([
+            [1, 0, 0],
+            [0, 2, 0],
+            [0, 0, 3]
+        ]);
+    });
+    (0, vitest_1.it)('transpose(transpose(A)) = A', () => {
+        const A = [
+            [1, 2, 3],
+            [4, 5, 6]
+        ];
+        expectMatrixClose((0, linear_algebra_1.transpose)((0, linear_algebra_1.transpose)(A)), A);
+    });
+});
+(0, vitest_1.describe)('linear-algebra/basic-ops', () => {
+    (0, vitest_1.it)('add and sub work on equal-shape matrices', () => {
+        const A = [[1, 2], [3, 4]];
+        const B = [[5, 6], [7, 8]];
+        expectMatrixClose((0, linear_algebra_1.add)(A, B), [[6, 8], [10, 12]]);
+        expectMatrixClose((0, linear_algebra_1.sub)(B, A), [[4, 4], [4, 4]]);
+    });
+    (0, vitest_1.it)('scalarMul scales every entry', () => {
+        const A = [[1, -2], [3, 4]];
+        expectMatrixClose((0, linear_algebra_1.scalarMul)(2, A), [[2, -4], [6, 8]]);
+    });
+    (0, vitest_1.it)('matVec, dot, norm, normalize work', () => {
+        const A = [[1, 2], [3, 4]];
+        expectVectorClose((0, linear_algebra_1.matVec)(A, [1, 1]), [3, 7]);
+        (0, vitest_1.expect)((0, linear_algebra_1.dot)([1, 2, 3], [4, 5, 6])).toBe(32);
+        (0, vitest_1.expect)(Math.abs((0, linear_algebra_1.norm)([3, 4]) - 5)).toBeLessThan(EPS);
+        expectVectorClose((0, linear_algebra_1.normalize)([3, 4]), [0.6, 0.8]);
+    });
+    (0, vitest_1.it)('cross product (R^3) gives orthogonal result', () => {
+        const c = (0, linear_algebra_1.cross)([1, 0, 0], [0, 1, 0]);
+        expectVectorClose(c, [0, 0, 1]);
+        (0, vitest_1.expect)(Math.abs((0, linear_algebra_1.dot)(c, [1, 0, 0]))).toBeLessThan(EPS);
+        (0, vitest_1.expect)(Math.abs((0, linear_algebra_1.dot)(c, [0, 1, 0]))).toBeLessThan(EPS);
+    });
+});
+(0, vitest_1.describe)('linear-algebra/determinant', () => {
+    (0, vitest_1.it)('determinant 2x2', () => {
+        (0, vitest_1.expect)((0, linear_algebra_1.determinant)([[1, 2], [3, 4]])).toBeCloseTo(-2);
+    });
+    (0, vitest_1.it)('determinant 3x3 and product property', () => {
+        const A = [
+            [6, 1, 1],
+            [4, -2, 5],
+            [2, 8, 7]
+        ];
+        (0, vitest_1.expect)((0, linear_algebra_1.determinant)(A)).toBeCloseTo(-306);
+        const I = (0, linear_algebra_1.identity)(3);
+        (0, vitest_1.expect)((0, linear_algebra_1.determinant)(I)).toBeCloseTo(1);
+    });
+    (0, vitest_1.it)('determinant is 0 for singular matrix', () => {
+        const S = [
+            [1, 2, 3],
+            [2, 4, 6],
+            [7, 8, 9]
+        ];
+        (0, vitest_1.expect)(Math.abs((0, linear_algebra_1.determinant)(S))).toBeLessThan(EPS);
+    });
+});
+(0, vitest_1.describe)('linear-algebra/inverse-and-solve', () => {
+    (0, vitest_1.it)('inverse(A) * A = I for 5x5', () => {
+        const A = [
+            [2, 0, 1, 0, 0],
+            [0, 3, 0, 1, 0],
+            [1, 0, 4, 0, 1],
+            [0, 1, 0, 5, 0],
+            [0, 0, 1, 0, 6]
+        ];
+        const Ainv = (0, linear_algebra_1.inverse)(A);
+        (0, vitest_1.expect)(Ainv).not.toBeNull();
+        if (!Ainv)
+            return;
+        expectMatrixClose((0, linear_algebra_1.multiply)(Ainv, A), (0, linear_algebra_1.identity)(5));
+        expectMatrixClose((0, linear_algebra_1.multiply)(A, Ainv), (0, linear_algebra_1.identity)(5));
+    });
+    (0, vitest_1.it)('inverse returns null for singular matrix', () => {
+        const S = [
+            [1, 2, 3],
+            [2, 4, 6],
+            [7, 8, 9]
+        ];
+        (0, vitest_1.expect)((0, linear_algebra_1.inverse)(S)).toBeNull();
+    });
+    (0, vitest_1.it)('solve Ax = b for 3x3 invertible', () => {
+        const A = [
+            [3, 2, -1],
+            [2, -2, 4],
+            [-1, 0.5, -1]
+        ];
+        const b = [1, -2, 0];
+        const x = (0, linear_algebra_1.solve)(A, b);
+        (0, vitest_1.expect)(x).not.toBeNull();
+        if (!x)
+            return;
+        expectVectorClose(x, [1, -2, -2]);
+        expectVectorClose((0, linear_algebra_1.matVec)(A, x), b);
+    });
+    (0, vitest_1.it)('solve returns null for inconsistent system', () => {
+        const A = [
+            [1, 1],
+            [2, 2]
+        ];
+        (0, vitest_1.expect)((0, linear_algebra_1.solve)(A, [1, 3])).toBeNull();
+    });
+    (0, vitest_1.it)('leastSquares fits a line y = 2x + 1', () => {
+        const A = [
+            [0, 1],
+            [1, 1],
+            [2, 1],
+            [3, 1]
+        ];
+        const b = [1, 3, 5, 7];
+        const x = (0, linear_algebra_1.leastSquares)(A, b);
+        expectVectorClose(x, [2, 1]);
+    });
+});
+(0, vitest_1.describe)('linear-algebra/rref-rank', () => {
+    (0, vitest_1.it)('rref of singular matrix yields rank < n', () => {
+        const S = [
+            [1, 2, 3],
+            [2, 4, 6],
+            [3, 6, 9]
+        ];
+        const { rank: r } = (0, linear_algebra_1.rref)(S);
+        (0, vitest_1.expect)(r).toBe(1);
+        (0, vitest_1.expect)((0, linear_algebra_1.rank)(S)).toBe(1);
+    });
+    (0, vitest_1.it)('rank of full-rank matrix equals min(rows, cols)', () => {
+        const A = [
+            [1, 0, 2],
+            [0, 1, 3],
+            [4, 5, 0]
+        ];
+        (0, vitest_1.expect)((0, linear_algebra_1.rank)(A)).toBe(3);
+    });
+});
+(0, vitest_1.describe)('linear-algebra/lu', () => {
+    (0, vitest_1.it)('LU decomp: P*A = L*U', () => {
+        const A = [
+            [2, 1, 1],
+            [4, 3, 3],
+            [8, 7, 9]
+        ];
+        const lu = (0, linear_algebra_1.decomposeLU)(A);
+        (0, vitest_1.expect)(lu).not.toBeNull();
+        if (!lu)
+            return;
+        const P = (0, linear_algebra_1.permutationMatrix)(lu.P);
+        expectMatrixClose((0, linear_algebra_1.multiply)(P, A), (0, linear_algebra_1.multiply)(lu.L, lu.U));
+        for (let i = 0; i < lu.L.length; i++) {
+            for (let j = i + 1; j < (lu.L[i]?.length ?? 0); j++) {
+                const v = lu.L[i]?.[j];
+                if (v === undefined)
+                    throw new Error('L missing entry');
+                (0, vitest_1.expect)(Math.abs(v)).toBeLessThan(EPS);
+            }
+            const diag = lu.L[i]?.[i];
+            (0, vitest_1.expect)(diag).toBeCloseTo(1);
+        }
+    });
+});
+(0, vitest_1.describe)('linear-algebra/qr', () => {
+    (0, vitest_1.it)('QR: Q*R = A and Q has orthonormal columns', () => {
+        const A = [
+            [12, -51, 4],
+            [6, 167, -68],
+            [-4, 24, -41]
+        ];
+        const { Q, R } = (0, linear_algebra_1.decomposeQR)(A);
+        expectMatrixClose((0, linear_algebra_1.multiply)(Q, R), A);
+        const QtQ = (0, linear_algebra_1.multiply)((0, linear_algebra_1.transpose)(Q), Q);
+        expectMatrixClose(QtQ, (0, linear_algebra_1.identity)(3));
+    });
+    (0, vitest_1.it)('QR of rectangular matrix preserves A = Q*R', () => {
+        const A = [
+            [1, 1],
+            [1, 0],
+            [0, 1]
+        ];
+        const { Q, R } = (0, linear_algebra_1.decomposeQR)(A);
+        expectMatrixClose((0, linear_algebra_1.multiply)(Q, R), A);
+        expectMatrixClose((0, linear_algebra_1.multiply)((0, linear_algebra_1.transpose)(Q), Q), (0, linear_algebra_1.identity)(2));
+    });
+});
+(0, vitest_1.describe)('linear-algebra/svd', () => {
+    (0, vitest_1.it)('SVD: U*diag(S)*V^T = A and singular values are non-negative descending', () => {
+        const A = [
+            [3, 1, 1],
+            [-1, 3, 1]
+        ];
+        const { U, S, V } = (0, linear_algebra_1.decomposeSVD)(A, 500);
+        const Sigma = (0, linear_algebra_1.diagonal)(S);
+        const reconstructed = (0, linear_algebra_1.multiply)((0, linear_algebra_1.multiply)(U, Sigma), (0, linear_algebra_1.transpose)(V));
+        expectMatrixClose(reconstructed, A, 1e-4);
+        for (let i = 0; i + 1 < S.length; i++) {
+            const a = S[i];
+            const b = S[i + 1];
+            if (a === undefined || b === undefined)
+                throw new Error('missing S');
+            (0, vitest_1.expect)(a).toBeGreaterThanOrEqual(b - EPS);
+            (0, vitest_1.expect)(a).toBeGreaterThanOrEqual(-EPS);
+        }
+    });
+});
+(0, vitest_1.describe)('linear-algebra/eigenvalues', () => {
+    (0, vitest_1.it)('eigenvalues of 2x2 known matrix', () => {
+        const A = [
+            [4, 1],
+            [2, 3]
+        ];
+        const vals = (0, linear_algebra_1.eigenvalues)(A).slice().sort((a, b) => b - a);
+        expectVectorClose(vals, [5, 2]);
+    });
+    (0, vitest_1.it)('eigenvalues of diagonal matrix are diagonal entries', () => {
+        const D = (0, linear_algebra_1.diagonal)([7, 3, -2]);
+        const vals = (0, linear_algebra_1.eigenvalues)(D).slice().sort((a, b) => b - a);
+        expectVectorClose(vals, [7, 3, -2]);
+    });
+    (0, vitest_1.it)('eigenvectors of symmetric matrix satisfy A*v = lambda*v', () => {
+        const S = [
+            [2, 1],
+            [1, 2]
+        ];
+        const { values, vectors } = (0, linear_algebra_1.eigenvectors)(S);
+        (0, vitest_1.expect)(values.length).toBe(2);
+        for (let j = 0; j < values.length; j++) {
+            const lambda = values[j];
+            if (lambda === undefined)
+                throw new Error('missing eigenvalue');
+            const v = [vectors[0]?.[j] ?? 0, vectors[1]?.[j] ?? 0];
+            const Av = (0, linear_algebra_1.matVec)(S, v);
+            const lv = v.map((x) => x * lambda);
+            expectVectorClose(Av, lv, 1e-4);
+        }
+    });
+    (0, vitest_1.it)('powerIteration converges to dominant eigenvalue', () => {
+        const A = [
+            [4, 1],
+            [2, 3]
+        ];
+        const { eigenvalue, eigenvector } = (0, linear_algebra_1.powerIteration)(A, { maxIter: 2000, eps: 1e-12 });
+        (0, vitest_1.expect)(Math.abs(eigenvalue - 5)).toBeLessThan(1e-4);
+        const Av = (0, linear_algebra_1.matVec)(A, eigenvector);
+        expectVectorClose(Av, eigenvector.map((x) => x * eigenvalue), 1e-3);
+    });
+});
+(0, vitest_1.describe)('linear-algebra/spaces', () => {
+    (0, vitest_1.it)('gramSchmidt produces orthonormal basis', () => {
+        const vecs = [
+            [1, 1, 0],
+            [1, 0, 1],
+            [0, 1, 1]
+        ];
+        const ortho = (0, linear_algebra_1.gramSchmidt)(vecs);
+        (0, vitest_1.expect)(ortho.length).toBe(3);
+        for (let i = 0; i < ortho.length; i++) {
+            const u = ortho[i];
+            if (!u)
+                throw new Error('missing vec');
+            (0, vitest_1.expect)(Math.abs((0, linear_algebra_1.norm)(u) - 1)).toBeLessThan(EPS);
+            for (let j = i + 1; j < ortho.length; j++) {
+                const v = ortho[j];
+                if (!v)
+                    throw new Error('missing vec');
+                (0, vitest_1.expect)(Math.abs((0, linear_algebra_1.dot)(u, v))).toBeLessThan(EPS);
+            }
+        }
+    });
+    (0, vitest_1.it)('gramSchmidt drops dependent vectors', () => {
+        const ortho = (0, linear_algebra_1.gramSchmidt)([[1, 0], [2, 0], [0, 1]]);
+        (0, vitest_1.expect)(ortho.length).toBe(2);
+    });
+    (0, vitest_1.it)('nullSpace contains kernel basis: M*v = 0', () => {
+        const M = [
+            [1, 2, 3],
+            [2, 4, 6]
+        ];
+        const basis = (0, linear_algebra_1.nullSpace)(M);
+        (0, vitest_1.expect)(basis.length).toBeGreaterThanOrEqual(2);
+        for (const v of basis) {
+            const Mv = (0, linear_algebra_1.matVec)(M, v);
+            for (const x of Mv) {
+                (0, vitest_1.expect)(Math.abs(x)).toBeLessThan(EPS);
+            }
+        }
+    });
+    (0, vitest_1.it)('nullSpace is empty for full-rank square matrix', () => {
+        const A = [
+            [1, 0, 0],
+            [0, 1, 0],
+            [0, 0, 1]
+        ];
+        (0, vitest_1.expect)((0, linear_algebra_1.nullSpace)(A).length).toBe(0);
+    });
+    (0, vitest_1.it)('columnSpace returns rank-many independent columns', () => {
+        const M = [
+            [1, 2, 0],
+            [2, 4, 1],
+            [3, 6, 1]
+        ];
+        const basis = (0, linear_algebra_1.columnSpace)(M);
+        (0, vitest_1.expect)(basis.length).toBe((0, linear_algebra_1.rank)(M));
+        (0, vitest_1.expect)((0, linear_algebra_1.isLinearlyIndependent)(basis)).toBe(true);
+    });
+    (0, vitest_1.it)('isLinearlyIndependent detects dependence and independence', () => {
+        (0, vitest_1.expect)((0, linear_algebra_1.isLinearlyIndependent)([[1, 0], [0, 1]])).toBe(true);
+        (0, vitest_1.expect)((0, linear_algebra_1.isLinearlyIndependent)([[1, 2], [2, 4]])).toBe(false);
+        (0, vitest_1.expect)((0, linear_algebra_1.isLinearlyIndependent)([[1, 0], [0, 1], [1, 1]])).toBe(false);
+    });
+});
+//# sourceMappingURL=linear-algebra.test.js.map

package/dist/tests/reasoning/linear-algebra/linear-algebra.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"linear-algebra.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/linear-algebra/linear-algebra.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,sEAiC2C;AAE3C,MAAM,GAAG,GAAG,IAAI,CAAC;AAEjB,SAAS,iBAAiB,CAAC,MAAc,EAAE,QAAgB,EAAE,GAAG,GAAG,GAAG;IACpE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;QAC3C,CAAC;QACD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjD,CAAC;YACD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,QAAgB,EAAE,GAAG,GAAG,GAAG;IACpE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;SACX,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,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,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,iBAAiB,CAAC,IAAA,0BAAS,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,iBAAiB,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,iBAAiB,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,iBAAiB,CAAC,IAAA,0BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,iBAAiB,CAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,oBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACrD,iBAAiB,CAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACV,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAW;YAChB,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,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACf,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SAChB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,wBAAO,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,IAAI,EAAE,CAAC,CAAC,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;QAClD,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAW;YAChB,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,IAAA,eAAM,EAAC,IAAA,wBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACV,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACV,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;SACd,CAAC;QACF,MAAM,CAAC,GAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,iBAAiB,CAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,CAAC,GAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,6BAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAW;YAChB,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,IAAI,EAAE,CAAC,EAAE,GAAG,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAW;YAChB,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,IAAA,eAAM,EAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAW;YAChB,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,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,MAAM,CAAC,GAAG,IAAA,kCAAiB,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,yBAAQ,EAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvB,IAAI,CAAC,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBACxD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACxC,CAAC;YACD,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAW;YAChB,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YACb,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;SACd,CAAC;QACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAChC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAA,yBAAQ,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,iBAAiB,CAAC,GAAG,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAChC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,iBAAiB,CAAC,IAAA,yBAAQ,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACX,CAAC;QACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,6BAAY,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,aAAa,GAAG,IAAA,yBAAQ,EAAC,IAAA,yBAAQ,EAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QACjE,iBAAiB,CAAC,aAAa,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,CAAC;YACrE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;YAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;YAChE,MAAM,CAAC,GAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/D,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACxB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;YACpC,iBAAiB,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,IAAA,+BAAc,EAAC,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QACrF,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QAClC,iBAAiB,CAAC,EAAE,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAa;YACrB,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,KAAK,GAAG,IAAA,4BAAW,EAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;YACvC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;gBACvC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnB,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAW;YAChB,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,IAAA,eAAM,EAAC,IAAA,0BAAS,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAW;YAChB,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,KAAK,GAAG,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAA,qBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,sCAAqB,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts

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

package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts.map

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

package/dist/tests/reasoning/set-theory/hf-functions.test.js

@@ -0,0 +1,122 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const set_theory_1 = require("../../../reasoning/set-theory");
+(0, vitest_1.describe)('HF functions', () => {
+    (0, vitest_1.it)('makeFunction + isValidFunction sobre identidad', () => {
+        const dom = (0, set_theory_1.nat)(3); // {0, 1, 2}
+        const cod = (0, set_theory_1.nat)(3);
+        const id = (0, set_theory_1.makeFunction)(dom, cod, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(id)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(id)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(id)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isBijective)(id)).toBe(true);
+    });
+    (0, vitest_1.it)('applyHF devuelve el valor correcto y null fuera de dominio', () => {
+        const dom = (0, set_theory_1.nat)(3);
+        const cod = (0, set_theory_1.nat)(5);
+        const f = (0, set_theory_1.makeFunction)(dom, cod, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(2)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(4)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(0)]
+        ]);
+        const y = (0, set_theory_1.applyHF)(f, (0, set_theory_1.nat)(1));
+        (0, vitest_1.expect)(y).not.toBeNull();
+        if (y !== null) {
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(y, (0, set_theory_1.nat)(4))).toBe(true);
+        }
+        (0, vitest_1.expect)((0, set_theory_1.applyHF)(f, (0, set_theory_1.nat)(7))).toBeNull();
+    });
+    (0, vitest_1.it)('isInjective falla si dos inputs comparten imagen', () => {
+        const dom = (0, set_theory_1.nat)(3);
+        const cod = (0, set_theory_1.nat)(3);
+        const f = (0, set_theory_1.makeFunction)(dom, cod, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(f)).toBe(false);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(f)).toBe(false);
+    });
+    (0, vitest_1.it)('isSurjective: función cubre el codominio', () => {
+        const dom = (0, set_theory_1.pair)(set_theory_1.EMPTY, (0, set_theory_1.singleton)(set_theory_1.EMPTY));
+        const cod = (0, set_theory_1.singleton)((0, set_theory_1.nat)(7));
+        const f = (0, set_theory_1.makeFunction)(dom, cod, [
+            [set_theory_1.EMPTY, (0, set_theory_1.nat)(7)],
+            [(0, set_theory_1.singleton)(set_theory_1.EMPTY), (0, set_theory_1.nat)(7)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(f)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(f)).toBe(false);
+    });
+    (0, vitest_1.it)('composeHF: composición de inyectivas es inyectiva', () => {
+        const a = (0, set_theory_1.nat)(3);
+        const b = (0, set_theory_1.nat)(4);
+        const c = (0, set_theory_1.nat)(5);
+        const g = (0, set_theory_1.makeFunction)(a, b, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(2)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(3)]
+        ]);
+        const f = (0, set_theory_1.makeFunction)(b, c, [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(2)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(3)],
+            [(0, set_theory_1.nat)(3), (0, set_theory_1.nat)(4)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(g)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(f)).toBe(true);
+        const fg = (0, set_theory_1.composeHF)(f, g);
+        (0, vitest_1.expect)(fg).not.toBeNull();
+        if (fg !== null) {
+            (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(fg)).toBe(true);
+            (0, vitest_1.expect)((0, set_theory_1.isInjective)(fg)).toBe(true);
+            // (f ∘ g)(0) = f(1) = 2
+            const out = (0, set_theory_1.applyHF)(fg, (0, set_theory_1.nat)(0));
+            (0, vitest_1.expect)(out).not.toBeNull();
+            if (out !== null) {
+                (0, vitest_1.expect)((0, set_theory_1.setEquals)(out, (0, set_theory_1.nat)(2))).toBe(true);
+            }
+        }
+    });
+    (0, vitest_1.it)('composeHF retorna null si codominio(g) ≠ dominio(f)', () => {
+        const g = (0, set_theory_1.makeFunction)((0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2), [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)]
+        ]);
+        const f = (0, set_theory_1.makeFunction)((0, set_theory_1.nat)(3), (0, set_theory_1.nat)(3), [
+            [(0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)],
+            [(0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1)],
+            [(0, set_theory_1.nat)(2), (0, set_theory_1.nat)(2)]
+        ]);
+        (0, vitest_1.expect)((0, set_theory_1.composeHF)(f, g)).toBeNull();
+    });
+    (0, vitest_1.it)('isValidFunction rechaza relaciones no funcionales', () => {
+        // 0 ↦ 0 y 0 ↦ 1: dos imágenes para el mismo input.
+        const badGraph = {
+            kind: 'set',
+            elements: [
+                (0, set_theory_1.orderedPair)((0, set_theory_1.nat)(0), (0, set_theory_1.nat)(0)),
+                (0, set_theory_1.orderedPair)((0, set_theory_1.nat)(0), (0, set_theory_1.nat)(1)),
+                (0, set_theory_1.orderedPair)((0, set_theory_1.nat)(1), (0, set_theory_1.nat)(1))
+            ]
+        };
+        const f = {
+            graph: badGraph,
+            domain: (0, set_theory_1.nat)(2),
+            codomain: (0, set_theory_1.nat)(2)
+        };
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(f)).toBe(false);
+    });
+    (0, vitest_1.it)('función vacía: dominio y codominio vacíos, válida y vacía', () => {
+        const empty = (0, set_theory_1.makeFunction)(set_theory_1.EMPTY, set_theory_1.EMPTY, []);
+        (0, vitest_1.expect)((0, set_theory_1.isValidFunction)(empty)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(empty.graph)).toBe(0);
+        (0, vitest_1.expect)((0, set_theory_1.isInjective)(empty)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isSurjective)(empty)).toBe(true);
+    });
+});
+//# sourceMappingURL=hf-functions.test.js.map

package/dist/tests/reasoning/set-theory/hf-functions.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hf-functions.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/set-theory/hf-functions.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8DAgBuC;AAEvC,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,YAAY;QAChC,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAChC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAC/B,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,oBAAO,EAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAC/B,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,iBAAI,EAAC,kBAAK,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,GAAG,EAAE,GAAG,EAAE;YAC/B,CAAC,kBAAK,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YACf,CAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SAC3B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAe,IAAA,yBAAY,EAAC,CAAC,EAAE,CAAC,EAAE;YACvC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,GAAe,IAAA,yBAAY,EAAC,CAAC,EAAE,CAAC,EAAE;YACvC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,wBAAwB;YACxB,MAAM,GAAG,GAAG,IAAA,oBAAO,EAAC,EAAE,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACjB,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,GAAG,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE;YACrC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE;YACrC,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;YAChB,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;SACjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,mDAAmD;QACnD,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,KAAc;YACpB,QAAQ,EAAE;gBACR,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;gBAC3B,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;gBAC3B,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;aAC5B;SACF,CAAC;QACF,MAAM,CAAC,GAAe;YACpB,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC;YACd,QAAQ,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC;SACjB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAG,IAAA,yBAAY,EAAC,kBAAK,EAAE,kBAAK,EAAE,EAAE,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,4BAAe,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts

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

package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts.map

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