@stevenvo780/st-lang 3.2.3 → 4.0.0

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

@@ -0,0 +1,377 @@
+"use strict";
+/**
+ * Coverage fill — src/profiles/aristotelian/syllogistic.ts
+ * Current coverage: ~30% stmts, ~38% branch
+ * Uses: AristotelianSyllogistic directly + evaluate() API
+ */
+/* 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 api_1 = require("../api");
+const syllogistic_1 = require("../profiles/aristotelian/syllogistic");
+const profile = new syllogistic_1.AristotelianSyllogistic();
+// ── Formula constructors ──────────────────────────────────────────────────────
+const atom = (name) => ({ kind: 'atom', name });
+const not = (a) => ({ kind: 'not', args: [a] });
+const and = (a, b) => ({ kind: 'and', 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) => ({ kind: 'predicate', name, params: ['x'] });
+// ── Categorical propositions as quantified formulas ───────────────────────────
+// A: Todo S es P — ∀x(S(x) → P(x))
+const universal_aff = (S, P) => forall('x', implies(pred(S), pred(P)));
+// E: Ningún S es P — ∀x(S(x) → ¬P(x))
+const universal_neg = (S, P) => forall('x', implies(pred(S), not(pred(P))));
+// I: Algún S es P — ∃x(S(x) ∧ P(x))
+const particular_aff = (S, P) => exists('x', and(pred(S), pred(P)));
+// O: Algún S no es P — ∃x(S(x) ∧ ¬P(x))
+const particular_neg = (S, P) => exists('x', and(pred(S), not(pred(P))));
+// Syllogism formula: (P1 ∧ P2) → C
+const syllogism = (p1, p2, c) => implies(and(p1, p2), c);
+const emptyTheory = () => ({
+    axioms: new Map(),
+    theorems: new Map(),
+    claims: new Map(),
+    judgments: [],
+    profile: 'aristotelian.syllogistic',
+});
+// ── checkWellFormed ───────────────────────────────────────────────────────────
+(0, vitest_1.describe)('AristotelianSyllogistic.checkWellFormed', () => {
+    (0, vitest_1.it)('universal affirmative is well-formed (no warning)', () => {
+        const diags = profile.checkWellFormed(universal_aff('S', 'P'));
+        (0, vitest_1.expect)(diags).toHaveLength(0);
+    });
+    (0, vitest_1.it)('plain atom gives warning (not categorical)', () => {
+        const diags = profile.checkWellFormed(atom('P'));
+        (0, vitest_1.expect)(diags.some((d) => d.severity === 'warning')).toBe(true);
+    });
+    (0, vitest_1.it)('particular affirmative is well-formed', () => {
+        const diags = profile.checkWellFormed(particular_aff('S', 'P'));
+        (0, vitest_1.expect)(diags).toHaveLength(0);
+    });
+    (0, vitest_1.it)('simplified propositional A-form: S→P', () => {
+        const f = implies(atom('S'), atom('P'));
+        const diags = profile.checkWellFormed(f);
+        (0, vitest_1.expect)(diags).toHaveLength(0);
+    });
+    (0, vitest_1.it)('simplified propositional I-form: S∧P', () => {
+        const f = and(atom('S'), atom('P'));
+        const diags = profile.checkWellFormed(f);
+        (0, vitest_1.expect)(diags).toHaveLength(0);
+    });
+});
+// ── checkValid — syllogism validation ─────────────────────────────────────────
+(0, vitest_1.describe)('AristotelianSyllogistic.checkValid', () => {
+    (0, vitest_1.it)('Barbara (Fig.1: All M is P, All S is M ⊢ All S is P) is valid', () => {
+        // Barbara: AAA-1: M→P, S→M ⊢ S→P
+        const p1 = universal_aff('M', 'P');
+        const p2 = universal_aff('S', 'M');
+        const conclusion = universal_aff('S', 'P');
+        const f = syllogism(p1, p2, conclusion);
+        const result = profile.checkValid(f);
+        (0, vitest_1.expect)(result.status).toBe('valid');
+        (0, vitest_1.expect)(result.output).toContain('Barbara');
+    });
+    (0, vitest_1.it)('Celarent (Fig.1: No M is P, All S is M ⊢ No S is P) is valid', () => {
+        const p1 = universal_neg('M', 'P');
+        const p2 = universal_aff('S', 'M');
+        const conclusion = universal_neg('S', 'P');
+        const result = profile.checkValid(syllogism(p1, p2, conclusion));
+        (0, vitest_1.expect)(result.status).toBe('valid');
+        (0, vitest_1.expect)(result.output).toContain('Celarent');
+    });
+    (0, vitest_1.it)('Darii (Fig.1: All M is P, Some S is M ⊢ Some S is P) is valid', () => {
+        const p1 = universal_aff('M', 'P');
+        const p2 = particular_aff('S', 'M');
+        const conclusion = particular_aff('S', 'P');
+        const result = profile.checkValid(syllogism(p1, p2, conclusion));
+        (0, vitest_1.expect)(result.status).toBe('valid');
+        (0, vitest_1.expect)(result.output).toContain('Darii');
+    });
+    (0, vitest_1.it)('Ferio (Fig.1: No M is P, Some S is M ⊢ Some S is not P) is valid', () => {
+        const p1 = universal_neg('M', 'P');
+        const p2 = particular_aff('S', 'M');
+        const conclusion = particular_neg('S', 'P');
+        const result = profile.checkValid(syllogism(p1, p2, conclusion));
+        (0, vitest_1.expect)(result.status).toBe('valid');
+        (0, vitest_1.expect)(result.output).toContain('Ferio');
+    });
+    (0, vitest_1.it)('invalid syllogism returns invalid', () => {
+        // AAA-2 is invalid (undistributed middle)
+        const p1 = universal_aff('P', 'M');
+        const p2 = universal_aff('S', 'M');
+        const conclusion = universal_aff('S', 'P');
+        const result = profile.checkValid(syllogism(p1, p2, conclusion));
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('non-syllogism formula returns unknown', () => {
+        const result = profile.checkValid(atom('P'));
+        (0, vitest_1.expect)(result.status).toBe('unknown');
+    });
+    (0, vitest_1.it)('syllogism with incomplete premises returns unknown', () => {
+        const result = profile.checkValid(implies(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result.status).toBe('unknown');
+    });
+    (0, vitest_1.it)('Cesare (Fig.2: No P is M, All S is M ⊢ No S is P) is valid', () => {
+        const p1 = universal_neg('P', 'M');
+        const p2 = universal_aff('S', 'M');
+        const conclusion = universal_neg('S', 'P');
+        const result = profile.checkValid(syllogism(p1, p2, conclusion));
+        (0, vitest_1.expect)(result.status).toBe('valid');
+        (0, vitest_1.expect)(result.output).toContain('Cesare');
+    });
+    (0, vitest_1.it)('Darapti (Fig.3: All M is P, All M is S ⊢ Some S is P) is valid', () => {
+        const p1 = universal_aff('M', 'P');
+        const p2 = universal_aff('M', 'S');
+        const conclusion = particular_aff('S', 'P');
+        const result = profile.checkValid(syllogism(p1, p2, conclusion));
+        (0, vitest_1.expect)(result.status).toBe('valid');
+        (0, vitest_1.expect)(result.output).toContain('Darapti');
+    });
+    (0, vitest_1.it)('Bramantip (Fig.4: All P is M, All M is S ⊢ Some S is P) is valid', () => {
+        const p1 = universal_aff('P', 'M');
+        const p2 = universal_aff('M', 'S');
+        const conclusion = particular_aff('S', 'P');
+        const result = profile.checkValid(syllogism(p1, p2, conclusion));
+        (0, vitest_1.expect)(result.status).toBe('valid');
+        (0, vitest_1.expect)(result.output).toContain('Bramantip');
+    });
+});
+// ── checkSatisfiable ──────────────────────────────────────────────────────────
+(0, vitest_1.describe)('AristotelianSyllogistic.checkSatisfiable', () => {
+    (0, vitest_1.it)('universal affirmative is satisfiable', () => {
+        const result = profile.checkSatisfiable(universal_aff('S', 'P'));
+        (0, vitest_1.expect)(result.status).toBe('satisfiable');
+        (0, vitest_1.expect)(result.output).toContain('satisfacible');
+    });
+    (0, vitest_1.it)('particular affirmative is satisfiable', () => {
+        const result = profile.checkSatisfiable(particular_aff('S', 'P'));
+        (0, vitest_1.expect)(result.status).toBe('satisfiable');
+    });
+    (0, vitest_1.it)('universal negative is satisfiable', () => {
+        const result = profile.checkSatisfiable(universal_neg('S', 'P'));
+        (0, vitest_1.expect)(result.status).toBe('satisfiable');
+    });
+    (0, vitest_1.it)('particular negative is satisfiable', () => {
+        const result = profile.checkSatisfiable(particular_neg('S', 'P'));
+        (0, vitest_1.expect)(result.status).toBe('satisfiable');
+    });
+    (0, vitest_1.it)('non-categorical formula returns unknown', () => {
+        const result = profile.checkSatisfiable(atom('P'));
+        (0, vitest_1.expect)(result.status).toBe('unknown');
+    });
+    (0, vitest_1.it)('simplified A-form S→P is satisfiable', () => {
+        const result = profile.checkSatisfiable(implies(atom('S'), atom('P')));
+        (0, vitest_1.expect)(result.status).toBe('satisfiable');
+    });
+});
+// ── prove ─────────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('AristotelianSyllogistic.prove', () => {
+    (0, vitest_1.it)('proves via Barbara with 2 axioms', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', universal_aff('M', 'P'));
+        theory.axioms.set('a2', universal_aff('S', 'M'));
+        const goal = universal_aff('S', 'P');
+        const result = profile.prove(goal, theory);
+        (0, vitest_1.expect)(result.status).toBe('provable');
+        (0, vitest_1.expect)(result.output).toContain('Barbara');
+    });
+    (0, vitest_1.it)('returns unknown with insufficient axioms', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', universal_aff('M', 'P'));
+        const goal = universal_aff('S', 'P');
+        const result = profile.prove(goal, theory);
+        (0, vitest_1.expect)(result.status).toBe('unknown');
+    });
+    (0, vitest_1.it)('restricted prove with specified premises', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', universal_aff('M', 'P'));
+        theory.axioms.set('a2', universal_aff('S', 'M'));
+        theory.axioms.set('a3', universal_aff('X', 'Y')); // irrelevant
+        const goal = universal_aff('S', 'P');
+        const result = profile.prove(goal, theory, ['a1', 'a2']);
+        (0, vitest_1.expect)(result.status).toBe('provable');
+    });
+    (0, vitest_1.it)('warning for missing premise in restricted prove', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', universal_aff('M', 'P'));
+        const goal = universal_aff('S', 'P');
+        const result = profile.prove(goal, theory, ['a1', 'nonexistent']);
+        (0, vitest_1.expect)(result.diagnostics?.some((d) => d.severity === 'warning')).toBe(true);
+    });
+    (0, vitest_1.it)('non-categorical goal returns unknown', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', universal_aff('M', 'P'));
+        theory.axioms.set('a2', universal_aff('S', 'M'));
+        const goal = atom('Q');
+        const result = profile.prove(goal, theory);
+        (0, vitest_1.expect)(result.status).toBe('unknown');
+    });
+});
+// ── derive ────────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('AristotelianSyllogistic.derive', () => {
+    (0, vitest_1.it)('derives via Barbara syllogism', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', universal_aff('M', 'P'));
+        theory.axioms.set('a2', universal_aff('S', 'M'));
+        const goal = universal_aff('S', 'P');
+        const result = profile.derive(goal, ['a1', 'a2'], theory);
+        (0, vitest_1.expect)(result.status).toBe('provable');
+        (0, vitest_1.expect)(result.output).toContain('Barbara');
+    });
+    (0, vitest_1.it)('returns error for missing premise when another premise exists', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', universal_aff('M', 'P'));
+        const goal = universal_aff('S', 'P');
+        // 'missing' is not found, returns error
+        const result = profile.derive(goal, ['a1', 'missing'], theory);
+        (0, vitest_1.expect)(result.status).toBe('error');
+        (0, vitest_1.expect)(result.output).toContain('no encontrada');
+    });
+    (0, vitest_1.it)('returns unknown with only missing premises', () => {
+        const theory = emptyTheory();
+        const goal = universal_aff('S', 'P');
+        // Only 1 missing premise: triggers entimema or unknown path
+        const result = profile.derive(goal, ['missing'], theory);
+        (0, vitest_1.expect)(result.status).toBe('unknown');
+    });
+    (0, vitest_1.it)('returns unknown with fewer than 2 premises', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', universal_aff('M', 'P'));
+        const goal = universal_aff('S', 'P');
+        const result = profile.derive(goal, ['a1'], theory);
+        // With 1 premise, triggers entimema detection
+        (0, vitest_1.expect)(['unknown', 'error']).toContain(result.status);
+    });
+    (0, vitest_1.it)('entimema: single premise gives suggestions', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', universal_aff('M', 'P'));
+        const goal = universal_aff('S', 'P');
+        const result = profile.derive(goal, ['a1'], theory);
+        (0, vitest_1.expect)(result.output).toContain('entimema');
+    });
+    (0, vitest_1.it)('non-categorical goal with 2 premises returns unknown', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', atom('P'));
+        theory.axioms.set('a2', atom('Q'));
+        const goal = atom('R');
+        const result = profile.derive(goal, ['a1', 'a2'], theory);
+        (0, vitest_1.expect)(result.status).toBe('unknown');
+    });
+});
+// ── countermodel ─────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('AristotelianSyllogistic.countermodel', () => {
+    (0, vitest_1.it)('valid syllogism has no countermodel', () => {
+        const p1 = universal_aff('M', 'P');
+        const p2 = universal_aff('S', 'M');
+        const conclusion = universal_aff('S', 'P');
+        const f = syllogism(p1, p2, conclusion);
+        const result = profile.countermodel(f);
+        (0, vitest_1.expect)(result.status).toBe('valid');
+        (0, vitest_1.expect)(result.output).toContain('No hay contramodelo');
+    });
+    (0, vitest_1.it)('invalid syllogism has countermodel', () => {
+        const result = profile.countermodel(atom('P'));
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+        (0, vitest_1.expect)(result.output).toContain('Contramodelo posible');
+    });
+});
+// ── explain ───────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('AristotelianSyllogistic.explain', () => {
+    (0, vitest_1.it)('explains universal affirmative (type A)', () => {
+        const result = profile.explain(universal_aff('S', 'P'));
+        (0, vitest_1.expect)(result.output).toContain('Cuadro de Oposición');
+        (0, vitest_1.expect)(result.output).toContain('Todo S es P');
+        (0, vitest_1.expect)(result.output).toContain('Distribución');
+    });
+    (0, vitest_1.it)('explains universal negative (type E)', () => {
+        const result = profile.explain(universal_neg('S', 'P'));
+        (0, vitest_1.expect)(result.output).toContain('Ningún S es P');
+    });
+    (0, vitest_1.it)('explains particular affirmative (type I)', () => {
+        const result = profile.explain(particular_aff('S', 'P'));
+        (0, vitest_1.expect)(result.output).toContain('Algún S es P');
+    });
+    (0, vitest_1.it)('explains particular negative (type O)', () => {
+        const result = profile.explain(particular_neg('S', 'P'));
+        (0, vitest_1.expect)(result.output).toContain('Algún S no es P');
+    });
+    (0, vitest_1.it)('explains non-categorical formula', () => {
+        const result = profile.explain(atom('X'));
+        (0, vitest_1.expect)(result.output).toContain('Silogística Aristotélica');
+    });
+    (0, vitest_1.it)('explain A shows contraposition', () => {
+        const result = profile.explain(universal_aff('S', 'P'));
+        (0, vitest_1.expect)(result.output).toContain('Contraposición');
+    });
+    (0, vitest_1.it)('explain E shows subalternation', () => {
+        const result = profile.explain(universal_neg('S', 'P'));
+        (0, vitest_1.expect)(result.output).toContain('Subalterna');
+    });
+    (0, vitest_1.it)('explain I shows subcontrariety', () => {
+        const result = profile.explain(particular_aff('S', 'P'));
+        (0, vitest_1.expect)(result.output).toContain('Subcontraria');
+    });
+    (0, vitest_1.it)('explain O shows contradictory', () => {
+        const result = profile.explain(particular_neg('S', 'P'));
+        (0, vitest_1.expect)(result.output).toContain('Contradictoria');
+    });
+});
+// ── checkEquivalent ───────────────────────────────────────────────────────────
+(0, vitest_1.describe)('AristotelianSyllogistic.checkEquivalent', () => {
+    (0, vitest_1.it)('same categorical propositions are equivalent', () => {
+        const a = universal_aff('S', 'P');
+        const b = universal_aff('S', 'P');
+        const result = profile.checkEquivalent(a, b);
+        (0, vitest_1.expect)(result.status).toBe('valid');
+    });
+    (0, vitest_1.it)('different types are not equivalent', () => {
+        const a = universal_aff('S', 'P');
+        const b = universal_neg('S', 'P');
+        const result = profile.checkEquivalent(a, b);
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('non-categorical returns unknown', () => {
+        const result = profile.checkEquivalent(atom('P'), atom('P'));
+        (0, vitest_1.expect)(result.status).toBe('unknown');
+    });
+});
+// ── Via evaluate() API ────────────────────────────────────────────────────────
+(0, vitest_1.describe)('aristotelian.syllogistic via evaluate()', () => {
+    (0, vitest_1.it)('Barbara via check valid', () => {
+        const r = (0, api_1.evaluate)(`
+logic aristotelian.syllogistic
+check valid (forall x (M(x) -> P(x)) & forall x (S(x) -> M(x))) -> forall x (S(x) -> P(x))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('valid');
+    });
+    (0, vitest_1.it)('derive via axioms', () => {
+        const r = (0, api_1.evaluate)(`
+logic aristotelian.syllogistic
+axiom mayor : forall x (M(x) -> P(x))
+axiom menor : forall x (S(x) -> M(x))
+derive forall x (S(x) -> P(x)) from mayor, menor
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('provable');
+    });
+    (0, vitest_1.it)('checkSatisfiable', () => {
+        const r = (0, api_1.evaluate)(`
+logic aristotelian.syllogistic
+check satisfiable forall x (S(x) -> P(x))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('satisfiable');
+    });
+});
+//# sourceMappingURL=coverage-fill-aristotelian.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-fill-aristotelian.test.js","sourceRoot":"","sources":["../../src/tests/coverage-fill-aristotelian.test.ts"],"names":[],"mappings":";AAAA;;;;GAIG;AACH,kOAAkO;;AAElO,mCAA8C;AAC9C,gCAAkC;AAClC,sEAA+E;AAG/E,MAAM,OAAO,GAAG,IAAI,qCAAuB,EAAE,CAAC;AAE9C,iFAAiF;AAEjF,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,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,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAErF,iFAAiF;AAEjF,mCAAmC;AACnC,MAAM,aAAa,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhG,sCAAsC;AACtC,MAAM,aAAa,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CACtD,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9C,oCAAoC;AACpC,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7F,wCAAwC;AACxC,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAElG,mCAAmC;AACnC,MAAM,SAAS,GAAG,CAAC,EAAW,EAAE,EAAW,EAAE,CAAU,EAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAE7F,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,CAAC;IACzB,MAAM,EAAE,IAAI,GAAG,EAAmB;IAClC,QAAQ,EAAE,IAAI,GAAG,EAAmB;IACpC,MAAM,EAAE,IAAI,GAAG,EAAmB;IAClC,SAAS,EAAE,EAAW;IACtB,OAAO,EAAE,0BAA0B;CACpC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,iCAAiC;QACjC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,0CAA0C;QAC1C,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa;QAC/D,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,wCAAwC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,MAAa,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,4DAA4D;QAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAa,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QAC3D,8CAA8C;QAC9C,IAAA,eAAM,EAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,6 @@
+/**
+ * Coverage fill — src/profiles/paraconsistent/belnap.ts
+ * Current coverage: ~55% stmts, ~46% branch
+ */
+export {};
+//# sourceMappingURL=coverage-fill-belnap.test.d.ts.map

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

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