@stevenvo780/st-lang 4.13.0 → 4.14.1

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

@@ -40,7 +40,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const A = [
             [1, 2, 3],
             [4, 5, 6],
-            [7, 8, 10]
+            [7, 8, 10],
         ];
         const I = (0, linear_algebra_1.identity)(3);
         expectMatrixClose((0, linear_algebra_1.multiply)(I, A), A);
@@ -50,36 +50,57 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const Z = (0, linear_algebra_1.zeros)(2, 3);
         (0, vitest_1.expect)(Z).toEqual([
             [0, 0, 0],
-            [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, 0, 3],
         ]);
     });
     (0, vitest_1.it)('transpose(transpose(A)) = A', () => {
         const A = [
             [1, 2, 3],
-            [4, 5, 6]
+            [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]]);
+        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]]);
+        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]];
+        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);
@@ -94,13 +115,16 @@ function expectVectorClose(actual, expected, eps = 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.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]
+            [2, 8, 7],
         ];
         (0, vitest_1.expect)((0, linear_algebra_1.determinant)(A)).toBeCloseTo(-306);
         const I = (0, linear_algebra_1.identity)(3);
@@ -110,7 +134,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const S = [
             [1, 2, 3],
             [2, 4, 6],
-            [7, 8, 9]
+            [7, 8, 9],
         ];
         (0, vitest_1.expect)(Math.abs((0, linear_algebra_1.determinant)(S))).toBeLessThan(EPS);
     });
@@ -122,7 +146,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
             [0, 3, 0, 1, 0],
             [1, 0, 4, 0, 1],
             [0, 1, 0, 5, 0],
-            [0, 0, 1, 0, 6]
+            [0, 0, 1, 0, 6],
         ];
         const Ainv = (0, linear_algebra_1.inverse)(A);
         (0, vitest_1.expect)(Ainv).not.toBeNull();
@@ -135,7 +159,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const S = [
             [1, 2, 3],
             [2, 4, 6],
-            [7, 8, 9]
+            [7, 8, 9],
         ];
         (0, vitest_1.expect)((0, linear_algebra_1.inverse)(S)).toBeNull();
     });
@@ -143,7 +167,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const A = [
             [3, 2, -1],
             [2, -2, 4],
-            [-1, 0.5, -1]
+            [-1, 0.5, -1],
         ];
         const b = [1, -2, 0];
         const x = (0, linear_algebra_1.solve)(A, b);
@@ -156,7 +180,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
     (0, vitest_1.it)('solve returns null for inconsistent system', () => {
         const A = [
             [1, 1],
-            [2, 2]
+            [2, 2],
         ];
         (0, vitest_1.expect)((0, linear_algebra_1.solve)(A, [1, 3])).toBeNull();
     });
@@ -165,7 +189,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
             [0, 1],
             [1, 1],
             [2, 1],
-            [3, 1]
+            [3, 1],
         ];
         const b = [1, 3, 5, 7];
         const x = (0, linear_algebra_1.leastSquares)(A, b);
@@ -177,7 +201,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const S = [
             [1, 2, 3],
             [2, 4, 6],
-            [3, 6, 9]
+            [3, 6, 9],
         ];
         const { rank: r } = (0, linear_algebra_1.rref)(S);
         (0, vitest_1.expect)(r).toBe(1);
@@ -187,7 +211,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const A = [
             [1, 0, 2],
             [0, 1, 3],
-            [4, 5, 0]
+            [4, 5, 0],
         ];
         (0, vitest_1.expect)((0, linear_algebra_1.rank)(A)).toBe(3);
     });
@@ -197,7 +221,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const A = [
             [2, 1, 1],
             [4, 3, 3],
-            [8, 7, 9]
+            [8, 7, 9],
         ];
         const lu = (0, linear_algebra_1.decomposeLU)(A);
         (0, vitest_1.expect)(lu).not.toBeNull();
@@ -222,7 +246,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const A = [
             [12, -51, 4],
             [6, 167, -68],
-            [-4, 24, -41]
+            [-4, 24, -41],
         ];
         const { Q, R } = (0, linear_algebra_1.decomposeQR)(A);
         expectMatrixClose((0, linear_algebra_1.multiply)(Q, R), A);
@@ -233,7 +257,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const A = [
             [1, 1],
             [1, 0],
-            [0, 1]
+            [0, 1],
         ];
         const { Q, R } = (0, linear_algebra_1.decomposeQR)(A);
         expectMatrixClose((0, linear_algebra_1.multiply)(Q, R), A);
@@ -244,7 +268,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
     (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]
+            [-1, 3, 1],
         ];
         const { U, S, V } = (0, linear_algebra_1.decomposeSVD)(A, 500);
         const Sigma = (0, linear_algebra_1.diagonal)(S);
@@ -264,20 +288,24 @@ function expectVectorClose(actual, expected, eps = EPS) {
     (0, vitest_1.it)('eigenvalues of 2x2 known matrix', () => {
         const A = [
             [4, 1],
-            [2, 3]
+            [2, 3],
         ];
-        const vals = (0, linear_algebra_1.eigenvalues)(A).slice().sort((a, b) => b - a);
+        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);
+        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]
+            [1, 2],
         ];
         const { values, vectors } = (0, linear_algebra_1.eigenvectors)(S);
         (0, vitest_1.expect)(values.length).toBe(2);
@@ -294,7 +322,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
     (0, vitest_1.it)('powerIteration converges to dominant eigenvalue', () => {
         const A = [
             [4, 1],
-            [2, 3]
+            [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);
@@ -307,7 +335,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const vecs = [
             [1, 1, 0],
             [1, 0, 1],
-            [0, 1, 1]
+            [0, 1, 1],
         ];
         const ortho = (0, linear_algebra_1.gramSchmidt)(vecs);
         (0, vitest_1.expect)(ortho.length).toBe(3);
@@ -325,13 +353,17 @@ function expectVectorClose(actual, expected, eps = EPS) {
         }
     });
     (0, vitest_1.it)('gramSchmidt drops dependent vectors', () => {
-        const ortho = (0, linear_algebra_1.gramSchmidt)([[1, 0], [2, 0], [0, 1]]);
+        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]
+            [2, 4, 6],
         ];
         const basis = (0, linear_algebra_1.nullSpace)(M);
         (0, vitest_1.expect)(basis.length).toBeGreaterThanOrEqual(2);
@@ -346,7 +378,7 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const A = [
             [1, 0, 0],
             [0, 1, 0],
-            [0, 0, 1]
+            [0, 0, 1],
         ];
         (0, vitest_1.expect)((0, linear_algebra_1.nullSpace)(A).length).toBe(0);
     });
@@ -354,16 +386,26 @@ function expectVectorClose(actual, expected, eps = EPS) {
         const M = [
             [1, 2, 0],
             [2, 4, 1],
-            [3, 6, 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);
+        (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

@@ -1 +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"}
+{"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;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,iBAAiB,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAC3B,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,EAAE,EAAE,EAAE,CAAC;SACT,CAAC,CAAC;QACH,iBAAiB,CAAC,IAAA,oBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAC3B,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,iBAAiB,CAAC,IAAA,0BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACjC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAW;YAChB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,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,EACJ,IAAA,4BAAW,EAAC;YACV,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC,CACH,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IACpB,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;aACxB,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,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;aACxB,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,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,CACf,EAAE,EACF,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,EACtC,IAAI,CACL,CAAC;IACJ,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;YACxB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC,CAAC;QACH,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,EACJ,IAAA,sCAAqB,EAAC;YACpB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC,CACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,IAAA,eAAM,EACJ,IAAA,sCAAqB,EAAC;YACpB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC,CACH,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,IAAA,eAAM,EACJ,IAAA,sCAAqB,EAAC;YACpB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC,CACH,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/model-checking/model-checking.test.d.ts

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

package/dist/tests/reasoning/model-checking/model-checking.test.d.ts.map

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

package/dist/tests/reasoning/model-checking/model-checking.test.js

@@ -0,0 +1,222 @@
+"use strict";
+// ============================================================
+// ST Model Checking — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const model_checking_1 = require("../../../reasoning/model-checking");
+// ── Helpers de fixtures ──────────────────────────────────────
+/** Cadena lineal 0 → 1 → 2 → ... → n-1 (sin sucesores en n-1). */
+function chainSpace(n) {
+    return {
+        initial: [0],
+        successors: (s) => (s + 1 < n ? [s + 1] : []),
+        labels: (s) => new Set([`s${s}`]),
+        equals: (a, b) => a === b,
+        hash: (s) => `${s}`,
+    };
+}
+/** Contador cíclico mod n: 0 → 1 → ... → n-1 → 0 → ... */
+function cyclicCounterSpace(n) {
+    return {
+        initial: [0],
+        successors: (s) => [(s + 1) % n],
+        labels: (s) => new Set([`s${s}`]),
+        equals: (a, b) => a === b,
+        hash: (s) => `${s}`,
+    };
+}
+/** Doble bucle disjunto: 0 → 1 → 0  y  0 → 2 → 3 → 2 (uno con p, otro sin p). */
+function branchedLoopSpace() {
+    return {
+        initial: [0],
+        successors: (s) => {
+            if (s === 0)
+                return [1, 2];
+            if (s === 1)
+                return [0];
+            if (s === 2)
+                return [3];
+            if (s === 3)
+                return [2];
+            return [];
+        },
+        labels: () => new Set(),
+        equals: (a, b) => a === b,
+        hash: (s) => `${s}`,
+    };
+}
+// ── Reachability ─────────────────────────────────────────────
+(0, vitest_1.describe)('model-checking — reachability', () => {
+    (0, vitest_1.it)('cadena lineal n=10 alcanza 10 estados', () => {
+        const r = (0, model_checking_1.reachableStates)(chainSpace(10));
+        (0, vitest_1.expect)(r.explored).toBe(10);
+        (0, vitest_1.expect)(r.states.length).toBe(10);
+        (0, vitest_1.expect)(r.truncated).toBe(false);
+    });
+    (0, vitest_1.it)('respeta maxStates y marca truncated', () => {
+        const r = (0, model_checking_1.reachableStates)(chainSpace(1000), { maxStates: 50 });
+        (0, vitest_1.expect)(r.explored).toBeLessThanOrEqual(50);
+        (0, vitest_1.expect)(r.truncated).toBe(true);
+    });
+    (0, vitest_1.it)('contador cíclico n=7 alcanza exactamente 7 estados', () => {
+        const r = (0, model_checking_1.reachableStates)(cyclicCounterSpace(7));
+        (0, vitest_1.expect)(r.explored).toBe(7);
+        (0, vitest_1.expect)(r.truncated).toBe(false);
+    });
+});
+// ── Safety / Invariantes ─────────────────────────────────────
+(0, vitest_1.describe)('model-checking — safety', () => {
+    (0, vitest_1.it)('safety holds: cadena n=10, predicado s<10', () => {
+        const r = (0, model_checking_1.checkSafety)(chainSpace(10), (s) => s < 10);
+        (0, vitest_1.expect)(r.safe).toBe(true);
+        (0, vitest_1.expect)(r.trace).toBeUndefined();
+    });
+    (0, vitest_1.it)('safety violation detected con traza completa', () => {
+        const r = (0, model_checking_1.checkSafety)(chainSpace(10), (s) => s < 5);
+        (0, vitest_1.expect)(r.safe).toBe(false);
+        (0, vitest_1.expect)(r.violatingState).toBe(5);
+        (0, vitest_1.expect)(r.trace).toBeDefined();
+        const trace = r.trace;
+        (0, vitest_1.expect)(trace[0]).toBe(0);
+        (0, vitest_1.expect)(trace[trace.length - 1]).toBe(5);
+        // La traza debe ser un camino real: pasos sucesivos +1.
+        for (let i = 1; i < trace.length; i += 1) {
+            (0, vitest_1.expect)(trace[i]).toBe(trace[i - 1] + 1);
+        }
+    });
+    (0, vitest_1.it)('invariant holds en chain cuando es trivialmente verdadero', () => {
+        const r = (0, model_checking_1.checkInvariant)(chainSpace(20), () => true);
+        (0, vitest_1.expect)(r.safe).toBe(true);
+    });
+    (0, vitest_1.it)('safety detecta violación en estado inicial', () => {
+        const r = (0, model_checking_1.checkSafety)(chainSpace(3), (s) => s !== 0);
+        (0, vitest_1.expect)(r.safe).toBe(false);
+        (0, vitest_1.expect)(r.violatingState).toBe(0);
+        (0, vitest_1.expect)(r.trace).toEqual([0]);
+    });
+});
+// ── BMC ──────────────────────────────────────────────────────
+(0, vitest_1.describe)('model-checking — bounded model checking', () => {
+    (0, vitest_1.it)('bmc depth=5 encuentra contraejemplo en chain con p:s<3', () => {
+        const r = (0, model_checking_1.bmc)(chainSpace(100), (s) => s < 3, 5);
+        (0, vitest_1.expect)(r.safe).toBe(false);
+        (0, vitest_1.expect)(r.violatingState).toBe(3);
+        const trace = r.trace;
+        (0, vitest_1.expect)(trace[0]).toBe(0);
+        (0, vitest_1.expect)(trace[trace.length - 1]).toBe(3);
+    });
+    (0, vitest_1.it)('bmc depth=2 NO encuentra contraejemplo más profundo', () => {
+        // El primer s con s>=5 es 5, profundidad 5; con depth=2 no lo ve.
+        const r = (0, model_checking_1.bmc)(chainSpace(100), (s) => s < 5, 2);
+        (0, vitest_1.expect)(r.safe).toBe(true);
+    });
+    (0, vitest_1.it)('bmc depth=0 solo evalúa estados iniciales', () => {
+        const r = (0, model_checking_1.bmc)(chainSpace(10), (s) => s !== 0, 0);
+        (0, vitest_1.expect)(r.safe).toBe(false);
+        (0, vitest_1.expect)(r.violatingState).toBe(0);
+    });
+});
+// ── Liveness: GF p (always eventually) ──────────────────────
+(0, vitest_1.describe)('model-checking — GF p (always eventually)', () => {
+    (0, vitest_1.it)('GF p holds en contador cíclico donde p={s==3}', () => {
+        const r = (0, model_checking_1.checkAlwaysEventually)(cyclicCounterSpace(5), (s) => s === 3);
+        (0, vitest_1.expect)(r.holds).toBe(true);
+    });
+    (0, vitest_1.it)('GF p falla cuando hay SCC accesible sin p', () => {
+        // branchedLoop: SCC {2,3} no contiene p; SCC {0,1} sí contiene p.
+        // GF p exige que toda SCC accesible contenga p.
+        const r = (0, model_checking_1.checkAlwaysEventually)(branchedLoopSpace(), (s) => s === 0 || s === 1);
+        (0, vitest_1.expect)(r.holds).toBe(false);
+        (0, vitest_1.expect)(r.lasso).toBeDefined();
+        const lasso = r.lasso;
+        // El loop debe estar en {2,3}, sin estados con p.
+        for (const s of lasso.loop) {
+            (0, vitest_1.expect)(s === 2 || s === 3).toBe(true);
+        }
+    });
+});
+// ── Liveness: FG p (eventually always) ──────────────────────
+(0, vitest_1.describe)('model-checking — FG p (eventually always)', () => {
+    (0, vitest_1.it)('FG p holds si hay ciclo donde p siempre vale', () => {
+        // En cyclicCounter(5), tomamos p=true en TODOS los estados.
+        const r = (0, model_checking_1.checkEventuallyAlways)(cyclicCounterSpace(5), () => true);
+        (0, vitest_1.expect)(r.holds).toBe(true);
+        (0, vitest_1.expect)(r.lasso).toBeDefined();
+    });
+    (0, vitest_1.it)('FG p NO holds si no hay ciclo enteramente en p', () => {
+        // branchedLoop: p={s==0}; no hay ciclo enteramente en {0} (el ciclo es 0↔1).
+        const r = (0, model_checking_1.checkEventuallyAlways)(branchedLoopSpace(), (s) => s === 0);
+        (0, vitest_1.expect)(r.holds).toBe(false);
+    });
+});
+// ── Deadlock ────────────────────────────────────────────────
+(0, vitest_1.describe)('model-checking — deadlock', () => {
+    (0, vitest_1.it)('chain tiene deadlock en el último estado', () => {
+        const r = (0, model_checking_1.hasDeadlock)(chainSpace(5));
+        (0, vitest_1.expect)(r.deadlocked).toBe(true);
+        (0, vitest_1.expect)(r.state).toBe(4);
+        const trace = r.trace;
+        (0, vitest_1.expect)(trace[0]).toBe(0);
+        (0, vitest_1.expect)(trace[trace.length - 1]).toBe(4);
+    });
+    (0, vitest_1.it)('contador cíclico no tiene deadlock', () => {
+        const r = (0, model_checking_1.hasDeadlock)(cyclicCounterSpace(5));
+        (0, vitest_1.expect)(r.deadlocked).toBe(false);
+    });
+});
+// ── Ejemplos clásicos ───────────────────────────────────────
+(0, vitest_1.describe)('model-checking — mutex Peterson-like', () => {
+    (0, vitest_1.it)('reachable states es finito y razonable', () => {
+        const space = (0, model_checking_1.mutualExclusionSpace)();
+        const r = (0, model_checking_1.reachableStates)(space);
+        (0, vitest_1.expect)(r.explored).toBeGreaterThan(0);
+        (0, vitest_1.expect)(r.truncated).toBe(false);
+    });
+    (0, vitest_1.it)('mutex: NUNCA ambos procesos en critical simultáneamente', () => {
+        const space = (0, model_checking_1.mutualExclusionSpace)();
+        const r = (0, model_checking_1.checkSafety)(space, (s) => !(s.p1 === 'critical' && s.p2 === 'critical'));
+        (0, vitest_1.expect)(r.safe).toBe(true);
+    });
+    (0, vitest_1.it)('mutex: detecta violación con predicado inverso (control)', () => {
+        // Como control, comprobamos que SÍ existe algún estado con p1==critical.
+        // Si invertimos el invariant (p1 nunca critical), debe fallar.
+        const space = (0, model_checking_1.mutualExclusionSpace)();
+        const r = (0, model_checking_1.checkSafety)(space, (s) => s.p1 !== 'critical');
+        (0, vitest_1.expect)(r.safe).toBe(false);
+        (0, vitest_1.expect)(r.violatingState?.p1).toBe('critical');
+    });
+});
+(0, vitest_1.describe)('model-checking — dining philosophers', () => {
+    (0, vitest_1.it)('n=2 alcanza un conjunto finito y no se cuelga', () => {
+        const space = (0, model_checking_1.diningPhilosophersSpace)(2);
+        const r = (0, model_checking_1.reachableStates)(space, { maxStates: 1000 });
+        (0, vitest_1.expect)(r.explored).toBeGreaterThan(0);
+        (0, vitest_1.expect)(r.truncated).toBe(false);
+    });
+    (0, vitest_1.it)('n=2: dos filósofos pueden comer pero no ambos a la vez (comparten ambos tenedores)', () => {
+        // Con n=2: hay solo 2 tenedores. left(0)=0,right(0)=1; left(1)=1,right(1)=0.
+        // Ambos comparten todos los tenedores → no pueden comer simultáneamente.
+        const space = (0, model_checking_1.diningPhilosophersSpace)(2);
+        const r = (0, model_checking_1.checkSafety)(space, (s) => !(s.phils[0] === 'eating' && s.phils[1] === 'eating'));
+        (0, vitest_1.expect)(r.safe).toBe(true);
+    });
+});
+(0, vitest_1.describe)('model-checking — reader-writer', () => {
+    (0, vitest_1.it)('nunca hay readers y writer simultáneamente', () => {
+        const space = (0, model_checking_1.readerWriterSpace)(3);
+        const r = (0, model_checking_1.checkSafety)(space, (s) => !(s.writer && s.readers > 0));
+        (0, vitest_1.expect)(r.safe).toBe(true);
+    });
+    (0, vitest_1.it)('writer no coexiste con otro writer (mutex de escritor)', () => {
+        // El modelo solo tiene un flag writer boolean, así que estructural.
+        const space = (0, model_checking_1.readerWriterSpace)(2);
+        const r = (0, model_checking_1.reachableStates)(space);
+        for (const s of r.states) {
+            // Con writer=true, readers debe ser 0.
+            if (s.writer)
+                (0, vitest_1.expect)(s.readers).toBe(0);
+        }
+    });
+});
+//# sourceMappingURL=model-checking.test.js.map

package/dist/tests/reasoning/model-checking/model-checking.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-checking.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/model-checking/model-checking.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;;AAE/D,mCAA8C;AAC9C,sEAY2C;AAE3C,gEAAgE;AAEhE,kEAAkE;AAClE,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO;QACL,OAAO,EAAE,CAAC,CAAC,CAAC;QACZ,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;QACzB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,0DAA0D;AAC1D,SAAS,kBAAkB,CAAC,CAAS;IACnC,OAAO;QACL,OAAO,EAAE,CAAC,CAAC,CAAC;QACZ,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;QACzB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,SAAS,iBAAiB;IACxB,OAAO;QACL,OAAO,EAAE,CAAC,CAAC,CAAC;QACZ,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE;YAChB,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,CAAC;YACxB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAU;QAC/B,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;QACzB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,4BAAW,EAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,4BAAW,EAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAiB,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,wDAAwD;QACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,+BAAc,EAAC,UAAU,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,4BAAW,EAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,oBAAG,EAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAiB,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,kEAAkE;QAClE,MAAM,CAAC,GAAG,IAAA,oBAAG,EAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,oBAAG,EAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,sCAAqB,EAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,kEAAkE;QAClE,gDAAgD;QAChD,MAAM,CAAC,GAAG,IAAA,sCAAqB,EAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,CAAC,CAAC,KAA2C,CAAC;QAC5D,kDAAkD;QAClD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,4DAA4D;QAC5D,MAAM,CAAC,GAAG,IAAA,sCAAqB,EAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,6EAA6E;QAC7E,MAAM,CAAC,GAAG,IAAA,sCAAqB,EAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,4BAAW,EAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAiB,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,4BAAW,EAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,IAAA,qCAAoB,GAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,IAAA,qCAAoB,GAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,IAAI,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC;QACnF,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,yEAAyE;QACzE,+DAA+D;QAC/D,MAAM,KAAK,GAAG,IAAA,qCAAoB,GAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,IAAA,wCAAuB,EAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,6EAA6E;QAC7E,yEAAyE;QACzE,MAAM,KAAK,GAAG,IAAA,wCAAuB,EAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC;QAC3F,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,kCAAiB,EAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,oEAAoE;QACpE,MAAM,KAAK,GAAG,IAAA,kCAAiB,EAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,KAAK,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,uCAAuC;YACvC,IAAI,CAAC,CAAC,MAAM;gBAAE,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/order-theory/order-theory.test.d.ts

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

package/dist/tests/reasoning/order-theory/order-theory.test.d.ts.map

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