@stevenvo780/st-lang 3.2.3 → 4.0.0

package/dist/tests/coverage-fill-fallacies.test.js

@@ -0,0 +1,287 @@
+"use strict";
+/**
+ * Coverage fill — src/runtime/fallacies.ts
+ * Current coverage: ~65% stmts, ~48% branch
+ */
+/* eslint-disable @typescript-eslint/no-unsafe-argument, @typescript-eslint/no-unsafe-assignment, @typescript-eslint/no-unsafe-call, @typescript-eslint/no-unsafe-member-access -- test stubs use partial any casts for brevity */
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const fallacies_1 = require("../runtime/fallacies");
+// ── helpers ──────────────────────────────────────────────────────────────────
+const atom = (name) => ({ kind: 'atom', name });
+const not = (a) => ({ kind: 'not', args: [a] });
+const and = (a, b) => ({ kind: 'and', args: [a, b] });
+const or = (a, b) => ({ kind: 'or', args: [a, b] });
+const implies = (a, b) => ({ kind: 'implies', args: [a, b] });
+const forall = (v, body) => ({
+    kind: 'forall',
+    variable: v,
+    args: [body],
+});
+const exists = (v, body) => ({
+    kind: 'exists',
+    variable: v,
+    args: [body],
+});
+const pred = (name, ...params) => ({ kind: 'predicate', name, params });
+// Stub profile (not used in most checkers)
+const dummyProfile = {};
+// ── No fallacy (valid argument) ───────────────────────────────────────────────
+(0, vitest_1.describe)('detectFallacies — valid argument', () => {
+    (0, vitest_1.it)('modus ponens has no fallacies', () => {
+        const premises = [implies(atom('P'), atom('Q')), atom('P')];
+        const conclusion = atom('Q');
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        // modus ponens is valid — no fallacy expected
+        (0, vitest_1.expect)(fallacies.filter((f) => f.name !== 'Petición de principio (Petitio Principii)')).toHaveLength(0);
+    });
+});
+// ── Affirming the consequent ──────────────────────────────────────────────────
+(0, vitest_1.describe)('Afirmación del consecuente', () => {
+    (0, vitest_1.it)('detects P→Q, Q ⊢ P', () => {
+        const premises = [implies(atom('P'), atom('Q')), atom('Q')];
+        const conclusion = atom('P');
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Afirmación del consecuente')).toBe(true);
+    });
+    (0, vitest_1.it)('no detection when conclusion is the consequent', () => {
+        const premises = [implies(atom('P'), atom('Q')), atom('P')];
+        const conclusion = atom('Q');
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Afirmación del consecuente')).toBe(false);
+    });
+});
+// ── Denying the antecedent ────────────────────────────────────────────────────
+(0, vitest_1.describe)('Negación del antecedente', () => {
+    (0, vitest_1.it)('detects P→Q, ¬P ⊢ ¬Q', () => {
+        const premises = [implies(atom('P'), atom('Q')), not(atom('P'))];
+        const conclusion = not(atom('Q'));
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Negación del antecedente')).toBe(true);
+    });
+    (0, vitest_1.it)('no detection when conclusion is not negated', () => {
+        const premises = [implies(atom('P'), atom('Q')), not(atom('P'))];
+        const conclusion = atom('Q');
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Negación del antecedente')).toBe(false);
+    });
+    (0, vitest_1.it)('no detection when antecedent is not denied', () => {
+        const premises = [implies(atom('P'), atom('Q')), atom('R')];
+        const conclusion = not(atom('Q'));
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Negación del antecedente')).toBe(false);
+    });
+});
+// ── Undistributed middle ──────────────────────────────────────────────────────
+(0, vitest_1.describe)('Medio no distribuido', () => {
+    (0, vitest_1.it)('detects P→M, S→M ⊢ S→P', () => {
+        const M = atom('M');
+        const P = atom('P');
+        const S = atom('S');
+        const premises = [implies(P, M), implies(S, M)];
+        const conclusion = implies(S, P);
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Medio no distribuido')).toBe(true);
+    });
+    (0, vitest_1.it)('no detection when conclusion is not implication', () => {
+        const premises = [implies(atom('A'), atom('M')), implies(atom('B'), atom('M'))];
+        const conclusion = atom('C');
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Medio no distribuido')).toBe(false);
+    });
+});
+// ── Composition fallacy ───────────────────────────────────────────────────────
+(0, vitest_1.describe)('Falacia de composición', () => {
+    (0, vitest_1.it)('detects A→C, B→C ⊢ (A∧B)→C', () => {
+        const A = atom('A');
+        const B = atom('B');
+        const C = atom('C');
+        const premises = [implies(A, C), implies(B, C)];
+        const conclusion = implies(and(A, B), C);
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Falacia de composición')).toBe(true);
+    });
+    (0, vitest_1.it)('no detection when conclusion antecedent is not AND', () => {
+        const A = atom('A');
+        const C = atom('C');
+        const premises = [implies(A, C)];
+        const conclusion = implies(A, C);
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Falacia de composición')).toBe(false);
+    });
+});
+// ── False disjunction ─────────────────────────────────────────────────────────
+(0, vitest_1.describe)('Posible falso dilema', () => {
+    (0, vitest_1.it)('detects P∨Q, ¬P ⊢ Q', () => {
+        const P = atom('P');
+        const Q = atom('Q');
+        const premises = [or(P, Q), not(P)];
+        const conclusion = Q;
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Posible falso dilema')).toBe(true);
+    });
+    (0, vitest_1.it)('no detection when disjunction not in premises', () => {
+        const premises = [atom('P'), not(atom('Q'))];
+        const conclusion = atom('R');
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Posible falso dilema')).toBe(false);
+    });
+    (0, vitest_1.it)('no detection when conclusion matches left of disjunction', () => {
+        const P = atom('P');
+        const Q = atom('Q');
+        const premises = [or(P, Q), not(Q)];
+        const conclusion = atom('X'); // doesn't match right side
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Posible falso dilema')).toBe(false);
+    });
+});
+// ── Begging the question (petitio principii) ──────────────────────────────────
+(0, vitest_1.describe)('Petición de principio', () => {
+    (0, vitest_1.it)('detects when conclusion is in premises', () => {
+        const P = atom('P');
+        const premises = [P, implies(atom('Q'), atom('R'))];
+        const conclusion = P;
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Petición de principio (Petitio Principii)')).toBe(true);
+    });
+    (0, vitest_1.it)('no detection when conclusion not in premises', () => {
+        const premises = [atom('P'), atom('Q')];
+        const conclusion = atom('R');
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Petición de principio (Petitio Principii)')).toBe(false);
+    });
+    (0, vitest_1.it)('detects complex formula in premises', () => {
+        const conclusion = implies(atom('P'), atom('Q'));
+        const premises = [conclusion, atom('R')];
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Petición de principio (Petitio Principii)')).toBe(true);
+    });
+});
+// ── Illicit conversion ────────────────────────────────────────────────────────
+(0, vitest_1.describe)('Conversión ilícita', () => {
+    (0, vitest_1.it)('detects ∀x(A(x)→B(x)) ⊢ ∀x(B(x)→A(x))', () => {
+        const pA = pred('A', 'x');
+        const pB = pred('B', 'x');
+        const premise = forall('x', implies(pA, pB));
+        const conclusion = forall('x', implies(pB, pA));
+        const fallacies = (0, fallacies_1.detectFallacies)([premise], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Conversión ilícita')).toBe(true);
+    });
+    (0, vitest_1.it)('no detection for valid conclusion', () => {
+        const pA = pred('A', 'x');
+        const pB = pred('B', 'x');
+        const premise = forall('x', implies(pA, pB));
+        const conclusion = forall('x', implies(pA, pB)); // same, not converted
+        // Will detect petitio principii but not illicit conversion
+        const fallacies = (0, fallacies_1.detectFallacies)([premise], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Conversión ilícita')).toBe(false);
+    });
+    (0, vitest_1.it)('no detection when conclusion is not forall', () => {
+        const premise = forall('x', implies(pred('A', 'x'), pred('B', 'x')));
+        const conclusion = atom('C');
+        const fallacies = (0, fallacies_1.detectFallacies)([premise], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Conversión ilícita')).toBe(false);
+    });
+});
+// ── Hasty generalization ──────────────────────────────────────────────────────
+(0, vitest_1.describe)('Generalización apresurada', () => {
+    (0, vitest_1.it)('detects ∃x(S(x)∧P(x)) ⊢ ∀x(S(x)→P(x))', () => {
+        const S = pred('S', 'x');
+        const P = pred('P', 'x');
+        const premise = exists('x', and(S, P));
+        const conclusion = forall('x', implies(S, P));
+        const fallacies = (0, fallacies_1.detectFallacies)([premise], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Generalización apresurada')).toBe(true);
+    });
+    (0, vitest_1.it)('no detection when conclusion is existential', () => {
+        const S = pred('S', 'x');
+        const P = pred('P', 'x');
+        const premise = exists('x', and(S, P));
+        const conclusion = exists('x', and(S, P));
+        const fallacies = (0, fallacies_1.detectFallacies)([premise], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Generalización apresurada')).toBe(false);
+    });
+});
+// ── Four terms (Quaternio terminorum) ─────────────────────────────────────────
+(0, vitest_1.describe)('Cuatro términos', () => {
+    (0, vitest_1.it)('detects >3 predicates in categorical syllogism', () => {
+        const A = pred('A', 'x');
+        const B = pred('B', 'x');
+        const C = pred('C', 'x');
+        const D = pred('D', 'x');
+        // Quantified forms with 4 distinct predicates
+        const p1 = forall('x', implies(A, B));
+        const p2 = forall('x', implies(C, D));
+        const conclusion = forall('x', implies(A, D));
+        const fallacies = (0, fallacies_1.detectFallacies)([p1, p2], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Falacia de cuatro términos (Quaternio terminorum)')).toBe(true);
+    });
+    (0, vitest_1.it)('no detection for exactly 3 terms', () => {
+        const A = pred('A', 'x');
+        const B = pred('B', 'x');
+        const C = pred('C', 'x');
+        const p1 = forall('x', implies(A, B));
+        const p2 = forall('x', implies(B, C));
+        const conclusion = forall('x', implies(A, C));
+        const fallacies = (0, fallacies_1.detectFallacies)([p1, p2], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Falacia de cuatro términos (Quaternio terminorum)')).toBe(false);
+    });
+    (0, vitest_1.it)('no detection with only 1 premise', () => {
+        const A = pred('A', 'x');
+        const B = pred('B', 'x');
+        const C = pred('C', 'x');
+        const D = pred('D', 'x');
+        const p1 = forall('x', implies(A, B));
+        const conclusion = forall('x', implies(C, D));
+        const fallacies = (0, fallacies_1.detectFallacies)([p1], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Falacia de cuatro términos (Quaternio terminorum)')).toBe(false);
+    });
+});
+// ── Division fallacy ──────────────────────────────────────────────────────────
+(0, vitest_1.describe)('Falacia de división', () => {
+    (0, vitest_1.it)('detects (A∧B)→C ⊢ A→C', () => {
+        const A = atom('A');
+        const B = atom('B');
+        const C = atom('C');
+        const premise = implies(and(A, B), C);
+        const conclusion = implies(A, C);
+        const fallacies = (0, fallacies_1.detectFallacies)([premise], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Falacia de división')).toBe(true);
+    });
+    (0, vitest_1.it)('no detection when conclusion is not implication', () => {
+        const A = atom('A');
+        const B = atom('B');
+        const C = atom('C');
+        const premise = implies(and(A, B), C);
+        const conclusion = atom('D');
+        const fallacies = (0, fallacies_1.detectFallacies)([premise], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Falacia de división')).toBe(false);
+    });
+    (0, vitest_1.it)('no detection when premise antecedent is not AND', () => {
+        const A = atom('A');
+        const C = atom('C');
+        const premise = implies(A, C);
+        const conclusion = implies(atom('B'), C);
+        const fallacies = (0, fallacies_1.detectFallacies)([premise], conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Falacia de división')).toBe(false);
+    });
+});
+// ── Multiple fallacies at once ────────────────────────────────────────────────
+(0, vitest_1.describe)('Multiple fallacies', () => {
+    (0, vitest_1.it)('can detect multiple fallacies simultaneously', () => {
+        // Affirming consequent + Begging question simultaneously
+        const P = atom('P');
+        const Q = atom('Q');
+        // Affirming consequent: P→Q, Q ⊢ P; also begging question if P is also a premise
+        const premises = [implies(P, Q), Q, P];
+        const conclusion = P;
+        const fallacies = (0, fallacies_1.detectFallacies)(premises, conclusion, dummyProfile);
+        (0, vitest_1.expect)(fallacies.length).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('empty premises returns only possible petitio', () => {
+        const fallacies = (0, fallacies_1.detectFallacies)([], atom('P'), dummyProfile);
+        // No premises means no premises-based fallacies
+        (0, vitest_1.expect)(fallacies.some((f) => f.name === 'Afirmación del consecuente')).toBe(false);
+    });
+});
+//# sourceMappingURL=coverage-fill-fallacies.test.js.map

package/dist/tests/coverage-fill-fallacies.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-fill-fallacies.test.js","sourceRoot":"","sources":["../../src/tests/coverage-fill-fallacies.test.ts"],"names":[],"mappings":";AAAA;;;GAGG;AACH,kOAAkO;;AAElO,mCAA8C;AAC9C,oDAAuD;AAGvD,gFAAgF;AAEhF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC/E,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACzF,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,IAAa,EAAW,EAAE,CAAC,CAAC;IACrD,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,CAAC;IACX,IAAI,EAAE,CAAC,IAAI,CAAC;CACb,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,IAAa,EAAW,EAAE,CAAC,CAAC;IACrD,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,CAAC;IACX,IAAI,EAAE,CAAC,IAAI,CAAC;CACb,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,GAAG,MAAgB,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAEnG,2CAA2C;AAC3C,MAAM,YAAY,GAAQ,EAAE,CAAC;AAE7B,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,8CAA8C;QAC9C,IAAA,eAAM,EACJ,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2CAA2C,CAAC,CAChF,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,4BAA4B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,4BAA4B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,CAAC,CAAC;QACrB,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,2BAA2B;QACzD,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,CAAC,CAAC;QACrB,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2CAA2C,CAAC,CAAC,CAAC,IAAI,CACxF,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2CAA2C,CAAC,CAAC,CAAC,IAAI,CACxF,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2CAA2C,CAAC,CAAC,CAAC,IAAI,CACxF,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB;QACvE,2DAA2D;QAC3D,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2BAA2B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2BAA2B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,8CAA8C;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EACJ,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mDAAmD,CAAC,CACtF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EACJ,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mDAAmD,CAAC,CACtF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAClE,IAAA,eAAM,EACJ,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mDAAmD,CAAC,CACtF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,yDAAyD;QACzD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,iFAAiF;QACjF,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,UAAU,GAAG,CAAC,CAAC;QACrB,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,SAAS,GAAG,IAAA,2BAAe,EAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC;QAC/D,gDAAgD;QAChD,IAAA,eAAM,EAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,4BAA4B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-fill-format.test.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Coverage fill — src/runtime/format.ts
+ * Targets: formulaToUnicode, formulaToLaTeX, proofToLaTeX
+ * Current coverage: ~52% stmts, ~43% branch
+ */
+export {};
+//# sourceMappingURL=coverage-fill-format.test.d.ts.map

package/dist/tests/coverage-fill-format.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-fill-format.test.d.ts","sourceRoot":"","sources":["../../src/tests/coverage-fill-format.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}