@stevenvo780/st-lang 4.5.2 → 4.6.0

package/dist/tptp/emitter.js

@@ -0,0 +1,103 @@
+"use strict";
+// ============================================================
+// TPTP — Emitter
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emitTerm = emitTerm;
+exports.emitFormula = emitFormula;
+exports.emitTptp = emitTptp;
+function emitTerm(term) {
+    if (term.kind === 'var' || term.kind === 'const')
+        return term.name;
+    if (term.args.length === 0)
+        return term.name;
+    return `${term.name}(${term.args.map(emitTerm).join(',')})`;
+}
+// Precedencias para parentizar al emitir.
+const PREC = {
+    iff: 1,
+    xor: 1,
+    implies: 2,
+    or: 3,
+    and: 4,
+    not: 5,
+    quant: 5,
+    atomic: 9,
+};
+function formulaPrec(f) {
+    switch (f.kind) {
+        case 'iff':
+        case 'xor':
+            return PREC.iff;
+        case 'implies':
+            return PREC.implies;
+        case 'or':
+            return PREC.or;
+        case 'and':
+            return PREC.and;
+        case 'not':
+        case 'forall':
+        case 'exists':
+            return PREC.not;
+        default:
+            return PREC.atomic;
+    }
+}
+function parenIfBelow(child, parent) {
+    const childPrec = formulaPrec(child);
+    const s = emitFormula(child);
+    if (childPrec < parent)
+        return `(${s})`;
+    return s;
+}
+function emitFormula(f) {
+    switch (f.kind) {
+        case 'true':
+            return '$true';
+        case 'false':
+            return '$false';
+        case 'atom': {
+            if (f.args.length === 0)
+                return f.predicate;
+            return `${f.predicate}(${f.args.map(emitTerm).join(',')})`;
+        }
+        case 'eq':
+            return `${emitTerm(f.left)} = ${emitTerm(f.right)}`;
+        case 'neq':
+            return `${emitTerm(f.left)} != ${emitTerm(f.right)}`;
+        case 'not':
+            return `~${parenIfBelow(f.arg, PREC.not)}`;
+        case 'and':
+            return f.args.map((a) => parenIfBelow(a, PREC.and)).join(' & ');
+        case 'or':
+            return f.args.map((a) => parenIfBelow(a, PREC.or)).join(' | ');
+        case 'implies':
+            // implies asocia derecha; el lado izquierdo necesita paren si su
+            // precedencia ≤ implies (excepto a sí mismo? por claridad, sí).
+            return `${parenIfBelow(f.left, PREC.implies + 1)} => ${parenIfBelow(f.right, PREC.implies)}`;
+        case 'iff':
+            return `${parenIfBelow(f.left, PREC.iff + 1)} <=> ${parenIfBelow(f.right, PREC.iff + 1)}`;
+        case 'xor':
+            return `${parenIfBelow(f.left, PREC.iff + 1)} <~> ${parenIfBelow(f.right, PREC.iff + 1)}`;
+        case 'forall':
+            return `! [${f.vars.join(',')}] : ${parenIfBelow(f.body, PREC.not)}`;
+        case 'exists':
+            return `? [${f.vars.join(',')}] : ${parenIfBelow(f.body, PREC.not)}`;
+    }
+}
+function emitTptp(problem) {
+    const out = [];
+    for (const inc of problem.includes) {
+        out.push(`include('${inc}').`);
+    }
+    for (const a of problem.annotated) {
+        if (a.comment) {
+            for (const line of a.comment.split('\n')) {
+                out.push(`% ${line}`);
+            }
+        }
+        out.push(`${a.language}(${a.name}, ${a.role}, ${emitFormula(a.formula)}).`);
+    }
+    return out.join('\n');
+}
+//# sourceMappingURL=emitter.js.map

package/dist/tptp/emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emitter.js","sourceRoot":"","sources":["../../src/tptp/emitter.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iBAAiB;AACjB,+DAA+D;;AAI/D,4BAIC;AAyCD,kCAiCC;AAED,4BAcC;AA9FD,SAAgB,QAAQ,CAAC,IAAc;IACrC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACnE,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC7C,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC9D,CAAC;AAED,0CAA0C;AAC1C,MAAM,IAAI,GAAG;IACX,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,OAAO,EAAE,CAAC;IACV,EAAE,EAAE,CAAC;IACL,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,KAAK,EAAE,CAAC;IACR,MAAM,EAAE,CAAC;CACD,CAAC;AAEX,SAAS,WAAW,CAAC,CAAc;IACjC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,EAAE,CAAC;QACjB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB;YACE,OAAO,IAAI,CAAC,MAAM,CAAC;IACvB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAkB,EAAE,MAAc;IACtD,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,SAAS,GAAG,MAAM;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC;IACxC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAgB,WAAW,CAAC,CAAc;IACxC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,OAAO,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC,SAAS,CAAC;YAC5C,OAAO,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC7D,CAAC;QACD,KAAK,IAAI;YACP,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,KAAK,KAAK;YACR,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,KAAK,KAAK;YACR,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,KAAK,IAAI;YACP,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,KAAK,SAAS;YACZ,iEAAiE;YACjE,gEAAgE;YAChE,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/F,KAAK,KAAK;YACR,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,QAAQ,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5F,KAAK,KAAK;YACR,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,QAAQ,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5F,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACvE,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACzE,CAAC;AACH,CAAC;AAED,SAAgB,QAAQ,CAAC,OAAoB;IAC3C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC"}

package/dist/tptp/index.d.ts

@@ -0,0 +1,7 @@
+export type { TptpFormula, TptpProblem, TptpAnnotated, TptpTerm, TptpLanguage, TptpRole, } from './ast';
+export { TPTP_LANGUAGES, TPTP_ROLES } from './ast';
+export { TptpTokenizerError, tokenize, type TptpToken, type TptpTokenKind } from './tokenizer';
+export { TptpParserError, parseTptp, parseFormula, parseTerm } from './parser';
+export { emitTptp, emitFormula, emitTerm } from './emitter';
+export { toFolProverFormat, tptpFormulaToFol, annotatedToFol, type FolProverBridgeOutput, } from './bridge';
+//# sourceMappingURL=index.d.ts.map

package/dist/tptp/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tptp/index.ts"],"names":[],"mappings":"AASA,YAAY,EACV,WAAW,EACX,WAAW,EACX,aAAa,EACb,QAAQ,EACR,YAAY,EACZ,QAAQ,GACT,MAAM,OAAO,CAAC;AAEf,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAEnD,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAE/F,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAE/E,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE5D,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,KAAK,qBAAqB,GAC3B,MAAM,UAAU,CAAC"}

package/dist/tptp/index.js

@@ -0,0 +1,31 @@
+"use strict";
+// ============================================================
+// TPTP — Barrel
+// ============================================================
+//
+// Parser + emitter para el formato TPTP (Thousands of Problems for
+// Theorem Provers), soporte FOF / CNF / TFF light. Incluye un puente
+// (`toFolProverFormat`) que convierte un `TptpProblem` al tipo `Formula`
+// que entiende `src/fol-prover`.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.annotatedToFol = exports.tptpFormulaToFol = exports.toFolProverFormat = exports.emitTerm = exports.emitFormula = exports.emitTptp = exports.parseTerm = exports.parseFormula = exports.parseTptp = exports.TptpParserError = exports.tokenize = exports.TptpTokenizerError = exports.TPTP_ROLES = exports.TPTP_LANGUAGES = void 0;
+var ast_1 = require("./ast");
+Object.defineProperty(exports, "TPTP_LANGUAGES", { enumerable: true, get: function () { return ast_1.TPTP_LANGUAGES; } });
+Object.defineProperty(exports, "TPTP_ROLES", { enumerable: true, get: function () { return ast_1.TPTP_ROLES; } });
+var tokenizer_1 = require("./tokenizer");
+Object.defineProperty(exports, "TptpTokenizerError", { enumerable: true, get: function () { return tokenizer_1.TptpTokenizerError; } });
+Object.defineProperty(exports, "tokenize", { enumerable: true, get: function () { return tokenizer_1.tokenize; } });
+var parser_1 = require("./parser");
+Object.defineProperty(exports, "TptpParserError", { enumerable: true, get: function () { return parser_1.TptpParserError; } });
+Object.defineProperty(exports, "parseTptp", { enumerable: true, get: function () { return parser_1.parseTptp; } });
+Object.defineProperty(exports, "parseFormula", { enumerable: true, get: function () { return parser_1.parseFormula; } });
+Object.defineProperty(exports, "parseTerm", { enumerable: true, get: function () { return parser_1.parseTerm; } });
+var emitter_1 = require("./emitter");
+Object.defineProperty(exports, "emitTptp", { enumerable: true, get: function () { return emitter_1.emitTptp; } });
+Object.defineProperty(exports, "emitFormula", { enumerable: true, get: function () { return emitter_1.emitFormula; } });
+Object.defineProperty(exports, "emitTerm", { enumerable: true, get: function () { return emitter_1.emitTerm; } });
+var bridge_1 = require("./bridge");
+Object.defineProperty(exports, "toFolProverFormat", { enumerable: true, get: function () { return bridge_1.toFolProverFormat; } });
+Object.defineProperty(exports, "tptpFormulaToFol", { enumerable: true, get: function () { return bridge_1.tptpFormulaToFol; } });
+Object.defineProperty(exports, "annotatedToFol", { enumerable: true, get: function () { return bridge_1.annotatedToFol; } });
+//# sourceMappingURL=index.js.map

package/dist/tptp/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tptp/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gBAAgB;AAChB,+DAA+D;AAC/D,EAAE;AACF,mEAAmE;AACnE,qEAAqE;AACrE,yEAAyE;AACzE,iCAAiC;;;AAWjC,6BAAmD;AAA1C,qGAAA,cAAc,OAAA;AAAE,iGAAA,UAAU,OAAA;AAEnC,yCAA+F;AAAtF,+GAAA,kBAAkB,OAAA;AAAE,qGAAA,QAAQ,OAAA;AAErC,mCAA+E;AAAtE,yGAAA,eAAe,OAAA;AAAE,mGAAA,SAAS,OAAA;AAAE,sGAAA,YAAY,OAAA;AAAE,mGAAA,SAAS,OAAA;AAE5D,qCAA4D;AAAnD,mGAAA,QAAQ,OAAA;AAAE,sGAAA,WAAW,OAAA;AAAE,mGAAA,QAAQ,OAAA;AAExC,mCAKkB;AAJhB,2GAAA,iBAAiB,OAAA;AACjB,0GAAA,gBAAgB,OAAA;AAChB,wGAAA,cAAc,OAAA"}

package/dist/tptp/parser.d.ts

@@ -0,0 +1,23 @@
+import { TptpFormula, TptpLanguage, TptpProblem, TptpTerm } from './ast';
+import { TptpToken, TptpTokenKind } from './tokenizer';
+export declare class TptpParserError extends Error {
+    readonly line: number;
+    readonly col: number;
+    constructor(message: string, line: number, col: number);
+}
+declare class Cursor {
+    private readonly tokens;
+    private idx;
+    constructor(tokens: TptpToken[]);
+    peek(offset?: number): TptpToken | undefined;
+    next(): TptpToken;
+    done(): boolean;
+    expect(kind: TptpTokenKind): TptpToken;
+    matchKind(kind: TptpTokenKind): boolean;
+    consumeKind(kind: TptpTokenKind): TptpToken | undefined;
+}
+export declare function parseTptp(input: string): TptpProblem;
+export declare function parseFormula(input: string, lang: TptpLanguage): TptpFormula;
+export declare function parseTerm(cur: Cursor | string): TptpTerm;
+export {};
+//# sourceMappingURL=parser.d.ts.map

package/dist/tptp/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/tptp/parser.ts"],"names":[],"mappings":"AAwBA,OAAO,EAEL,WAAW,EACX,YAAY,EACZ,WAAW,EAEX,QAAQ,EAGT,MAAM,OAAO,CAAC;AACf,OAAO,EAAE,SAAS,EAAE,aAAa,EAAY,MAAM,aAAa,CAAC;AAEjE,qBAAa,eAAgB,SAAQ,KAAK;aAGtB,IAAI,EAAE,MAAM;aACZ,GAAG,EAAE,MAAM;gBAF3B,OAAO,EAAE,MAAM,EACC,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM;CAK9B;AAED,cAAM,MAAM;IAEE,OAAO,CAAC,QAAQ,CAAC,MAAM;IADnC,OAAO,CAAC,GAAG,CAAK;gBACa,MAAM,EAAE,SAAS,EAAE;IAEhD,IAAI,CAAC,MAAM,SAAI,GAAG,SAAS,GAAG,SAAS;IAIvC,IAAI,IAAI,SAAS;IASjB,IAAI,IAAI,OAAO;IAIf,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS;IAetC,SAAS,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;IAIvC,WAAW,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,GAAG,SAAS;CAIxD;AAWD,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAgCpD;AA2ED,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,GAAG,WAAW,CAW3E;AAoOD,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,QAAQ,CAGxD"}

package/dist/tptp/parser.js

@@ -0,0 +1,440 @@
+"use strict";
+// ============================================================
+// TPTP — Parser
+// ============================================================
+//
+// Parser para FOF / CNF / TFF light. Gramática simplificada:
+//
+//   tptp_input := annotated_formula | include
+//   annotated_formula := language '(' name ',' role ',' formula ')' '.'
+//   include := 'include' '(' single_quoted ')' '.'
+//   formula := iff_expr
+//   iff_expr := imp_expr (('<=>' | '<~>') imp_expr)?
+//   imp_expr := or_expr (('=>' | '<=') imp_expr)?
+//   or_expr := and_expr ('|' and_expr)*
+//   and_expr := unary_expr ('&' unary_expr)*
+//   unary_expr := '~' unary_expr | quantified | atom_or_paren
+//   quantified := ('!' | '?') '[' var (',' var)* ']' ':' unary_expr
+//   atom_or_paren := '(' formula ')' | atom | term_eq
+//   atom := lower_word ('(' term (',' term)* ')')?
+//   term_eq := term ('=' | '!=') term
+//   term := variable | lower_word ('(' term (',' term)* ')')?
+//
+// TFF light: aceptamos type annotations en argumentos (`![X : $i] : ...`)
+// pero las descartamos para construir la fórmula FOL.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TptpParserError = void 0;
+exports.parseTptp = parseTptp;
+exports.parseFormula = parseFormula;
+exports.parseTerm = parseTerm;
+const ast_1 = require("./ast");
+const tokenizer_1 = require("./tokenizer");
+class TptpParserError extends Error {
+    line;
+    col;
+    constructor(message, line, col) {
+        super(`TPTP parser ${line}:${col}: ${message}`);
+        this.line = line;
+        this.col = col;
+        this.name = 'TptpParserError';
+    }
+}
+exports.TptpParserError = TptpParserError;
+class Cursor {
+    tokens;
+    idx = 0;
+    constructor(tokens) {
+        this.tokens = tokens;
+    }
+    peek(offset = 0) {
+        return this.tokens[this.idx + offset];
+    }
+    next() {
+        const t = this.tokens[this.idx];
+        if (!t) {
+            throw new TptpParserError('fin inesperado de entrada', 0, 0);
+        }
+        this.idx++;
+        return t;
+    }
+    done() {
+        return this.idx >= this.tokens.length;
+    }
+    expect(kind) {
+        const t = this.peek();
+        if (!t) {
+            throw new TptpParserError(`se esperaba ${kind} pero llegó EOF`, 0, 0);
+        }
+        if (t.kind !== kind) {
+            throw new TptpParserError(`se esperaba ${kind} pero llegó ${t.kind} (${JSON.stringify(t.value)})`, t.line, t.col);
+        }
+        return this.next();
+    }
+    matchKind(kind) {
+        return this.peek()?.kind === kind;
+    }
+    consumeKind(kind) {
+        if (this.matchKind(kind))
+            return this.next();
+        return undefined;
+    }
+}
+// ── Helpers ─────────────────────────────────────────────────────────────
+function isVariable(name) {
+    const ch = name[0] ?? '';
+    return /[A-Z_]/.test(ch);
+}
+// ── Parser de problema completo ─────────────────────────────────────────
+function parseTptp(input) {
+    const tokens = (0, tokenizer_1.tokenize)(input);
+    const cur = new Cursor(tokens);
+    const annotated = [];
+    const includes = [];
+    while (!cur.done()) {
+        const t = cur.peek();
+        if (!t)
+            break;
+        if (t.kind !== 'lower_word') {
+            throw new TptpParserError(`se esperaba 'fof'/'cnf'/'tff'/'thf'/'include' pero llegó ${t.kind}`, t.line, t.col);
+        }
+        if (t.value === 'include') {
+            includes.push(parseInclude(cur));
+            continue;
+        }
+        if (ast_1.TPTP_LANGUAGES.has(t.value)) {
+            annotated.push(parseAnnotated(cur));
+            continue;
+        }
+        throw new TptpParserError(`palabra de cabecera desconocida: ${JSON.stringify(t.value)}`, t.line, t.col);
+    }
+    return { annotated, includes };
+}
+function parseInclude(cur) {
+    const head = cur.expect('lower_word');
+    if (head.value !== 'include') {
+        throw new TptpParserError(`esperaba 'include' pero llegó ${head.value}`, head.line, head.col);
+    }
+    cur.expect('lparen');
+    const file = cur.expect('single_quoted');
+    // include opcionalmente acepta una lista de "selectors" tras coma
+    // include('file.ax', [a, b]). — la consumimos pero la descartamos.
+    if (cur.consumeKind('comma')) {
+        skipBalanced(cur);
+    }
+    cur.expect('rparen');
+    cur.expect('dot');
+    return file.value;
+}
+function skipBalanced(cur) {
+    // Consume tokens hasta un comma/rparen a nivel 0
+    let depth = 0;
+    while (!cur.done()) {
+        const t = cur.peek();
+        if (!t)
+            break;
+        if ((t.kind === 'rparen' || t.kind === 'rbracket') && depth === 0)
+            return;
+        if (t.kind === 'comma' && depth === 0)
+            return;
+        if (t.kind === 'lparen' || t.kind === 'lbracket')
+            depth++;
+        if (t.kind === 'rparen' || t.kind === 'rbracket')
+            depth--;
+        cur.next();
+    }
+}
+function parseAnnotated(cur) {
+    const langTok = cur.expect('lower_word');
+    const language = langTok.value;
+    if (!ast_1.TPTP_LANGUAGES.has(language)) {
+        throw new TptpParserError(`lenguaje no reconocido: ${langTok.value}`, langTok.line, langTok.col);
+    }
+    cur.expect('lparen');
+    const nameTok = cur.next();
+    let name;
+    if (nameTok.kind === 'lower_word' || nameTok.kind === 'integer') {
+        name = nameTok.value;
+    }
+    else if (nameTok.kind === 'single_quoted') {
+        name = nameTok.value;
+    }
+    else {
+        throw new TptpParserError(`nombre inválido (${nameTok.kind})`, nameTok.line, nameTok.col);
+    }
+    cur.expect('comma');
+    const roleTok = cur.expect('lower_word');
+    const role = roleTok.value;
+    if (!ast_1.TPTP_ROLES.has(role)) {
+        throw new TptpParserError(`role desconocido: ${roleTok.value}`, roleTok.line, roleTok.col);
+    }
+    cur.expect('comma');
+    const formula = parseFormulaFromCursor(cur, language);
+    // anotaciones opcionales: (..., source, useful_info)
+    if (cur.consumeKind('comma')) {
+        skipBalanced(cur);
+        while (cur.consumeKind('comma')) {
+            skipBalanced(cur);
+        }
+    }
+    cur.expect('rparen');
+    cur.expect('dot');
+    return { language, name, role, formula };
+}
+// ── Parser de fórmula ───────────────────────────────────────────────────
+function parseFormula(input, lang) {
+    const tokens = (0, tokenizer_1.tokenize)(input);
+    const cur = new Cursor(tokens);
+    const f = parseFormulaFromCursor(cur, lang);
+    if (!cur.done()) {
+        const t = cur.peek();
+        if (t) {
+            throw new TptpParserError(`tokens sobrantes tras fórmula (${t.kind})`, t.line, t.col);
+        }
+    }
+    return f;
+}
+function parseFormulaFromCursor(cur, lang) {
+    if (lang === 'cnf')
+        return parseCnfClause(cur);
+    return parseIff(cur);
+}
+// CNF: lista de literales separados por `|`. Variables implícitamente
+// cuantificadas universal. Los literales son atom o ~atom o eq/neq.
+function parseCnfClause(cur) {
+    // CNF puede venir envuelto en paréntesis opcionales
+    const parenOpen = cur.consumeKind('lparen');
+    const literals = [parseCnfLiteral(cur)];
+    while (cur.consumeKind('op_or')) {
+        literals.push(parseCnfLiteral(cur));
+    }
+    if (parenOpen)
+        cur.expect('rparen');
+    if (literals.length === 1)
+        return literals[0];
+    return { kind: 'or', args: literals };
+}
+function parseCnfLiteral(cur) {
+    if (cur.consumeKind('op_not')) {
+        const inner = parseCnfAtom(cur);
+        return { kind: 'not', arg: inner };
+    }
+    return parseCnfAtom(cur);
+}
+function parseCnfAtom(cur) {
+    // un atom puede ser una eq/neq entre términos o un atom predicativo
+    return parseAtomOrEquality(cur);
+}
+// FOF: iff a nivel más alto.
+function parseIff(cur) {
+    const left = parseImplies(cur);
+    const op = cur.peek();
+    if (op && (op.kind === 'op_iff' || op.kind === 'op_xor')) {
+        cur.next();
+        const right = parseImplies(cur);
+        if (op.kind === 'op_iff')
+            return { kind: 'iff', left, right };
+        return { kind: 'xor', left, right };
+    }
+    return left;
+}
+function parseImplies(cur) {
+    const left = parseOr(cur);
+    const op = cur.peek();
+    if (op && op.kind === 'op_implies') {
+        cur.next();
+        const right = parseImplies(cur);
+        return { kind: 'implies', left, right };
+    }
+    if (op && op.kind === 'op_nimplies') {
+        // a <= b  ≡  b => a
+        cur.next();
+        const right = parseImplies(cur);
+        return { kind: 'implies', left: right, right: left };
+    }
+    return left;
+}
+function parseOr(cur) {
+    const first = parseAnd(cur);
+    if (!cur.matchKind('op_or'))
+        return first;
+    const args = [first];
+    while (cur.consumeKind('op_or')) {
+        args.push(parseAnd(cur));
+    }
+    return { kind: 'or', args };
+}
+function parseAnd(cur) {
+    const first = parseUnary(cur);
+    if (!cur.matchKind('op_and'))
+        return first;
+    const args = [first];
+    while (cur.consumeKind('op_and')) {
+        args.push(parseUnary(cur));
+    }
+    return { kind: 'and', args };
+}
+function parseUnary(cur) {
+    if (cur.consumeKind('op_not')) {
+        const arg = parseUnary(cur);
+        return { kind: 'not', arg };
+    }
+    if (cur.matchKind('op_forall') || cur.matchKind('op_exists')) {
+        return parseQuantified(cur);
+    }
+    return parsePrimary(cur);
+}
+function parseQuantified(cur) {
+    const qTok = cur.next();
+    const kind = qTok.kind === 'op_forall' ? 'forall' : 'exists';
+    cur.expect('lbracket');
+    const vars = [parseVariableDecl(cur)];
+    while (cur.consumeKind('comma')) {
+        vars.push(parseVariableDecl(cur));
+    }
+    cur.expect('rbracket');
+    cur.expect('colon');
+    const body = parseUnary(cur);
+    return { kind, vars, body };
+}
+function parseVariableDecl(cur) {
+    const t = cur.expect('upper_word');
+    // TFF light: variable opcionalmente seguida de `:` type — descartamos el type
+    if (cur.consumeKind('colon')) {
+        parseTypeExpr(cur);
+    }
+    return t.value;
+}
+function parseTypeExpr(cur) {
+    // type puede ser $i, $o, lower_word, o un constructor; consumimos hasta
+    // un comma/rbracket a nivel 0.
+    let depth = 0;
+    while (!cur.done()) {
+        const t = cur.peek();
+        if (!t)
+            return;
+        if (depth === 0 && (t.kind === 'comma' || t.kind === 'rbracket'))
+            return;
+        if (t.kind === 'lparen' || t.kind === 'lbracket')
+            depth++;
+        if (t.kind === 'rparen' || t.kind === 'rbracket') {
+            if (depth === 0)
+                return;
+            depth--;
+        }
+        cur.next();
+    }
+}
+function parsePrimary(cur) {
+    const t = cur.peek();
+    if (!t) {
+        throw new TptpParserError('fin inesperado en primary', 0, 0);
+    }
+    // Constantes lógicas $true / $false (en TPTP se escriben así, pero
+    // nuestro lexer no las captura como token especial — vienen como '$'
+    // + lower_word. Para mantenerlo simple aceptamos también los símbolos
+    // `true` y `false` como atómicos sin args)
+    if (t.kind === 'lower_word' && (t.value === '$true' || t.value === 'true')) {
+        cur.next();
+        return { kind: 'true' };
+    }
+    if (t.kind === 'lower_word' && (t.value === '$false' || t.value === 'false')) {
+        cur.next();
+        return { kind: 'false' };
+    }
+    if (t.kind === 'lparen') {
+        cur.next();
+        const inner = parseIff(cur);
+        cur.expect('rparen');
+        return inner;
+    }
+    return parseAtomOrEquality(cur);
+}
+// Maneja: <term> = <term> | <term> != <term> | <predicate>(args) | <prop>
+function parseAtomOrEquality(cur) {
+    const startToken = cur.peek();
+    if (!startToken) {
+        throw new TptpParserError('fin inesperado en atom', 0, 0);
+    }
+    // Si el primer token es variable o un término, podría ser una eq/neq
+    // o (rara vez) un atom-no-predicativo. Probamos parsear un término
+    // y vemos si sigue `=` o `!=`.
+    if (startToken.kind === 'upper_word') {
+        const left = parseTerm(cur);
+        return finishEquality(cur, left);
+    }
+    if (startToken.kind === 'lower_word') {
+        // Podría ser predicado p(...), constante c, o término con `=`.
+        // Lo más simple: parsear como término y mirar el siguiente token.
+        // Si el siguiente es `=` o `!=`, es equality.
+        // Si NO hay siguiente operador de igualdad, lo tratamos como
+        // predicado/atom proposicional.
+        const left = parseTerm(cur);
+        if (cur.matchKind('op_eq') || cur.matchKind('op_neq')) {
+            return finishEquality(cur, left);
+        }
+        // Convertir el término a atom (asumimos lower_word con args = predicado)
+        return termToAtom(left, startToken.line, startToken.col);
+    }
+    throw new TptpParserError(`token inesperado en atom: ${startToken.kind} (${JSON.stringify(startToken.value)})`, startToken.line, startToken.col);
+}
+function termToAtom(t, line, col) {
+    if (t.kind === 'var') {
+        throw new TptpParserError(`variable no puede ser atom proposicional: ${t.name}`, line, col);
+    }
+    if (t.kind === 'const') {
+        return { kind: 'atom', predicate: t.name, args: [] };
+    }
+    return { kind: 'atom', predicate: t.name, args: t.args };
+}
+function finishEquality(cur, left) {
+    if (cur.consumeKind('op_eq')) {
+        const right = parseTerm(cur);
+        return { kind: 'eq', left, right };
+    }
+    if (cur.consumeKind('op_neq')) {
+        const right = parseTerm(cur);
+        return { kind: 'neq', left, right };
+    }
+    // El término solo (sin =/!=) ya fue manejado en parseAtomOrEquality si
+    // venía de lower_word. Si llegamos aquí desde upper_word sin operador,
+    // es un error.
+    const t = cur.peek();
+    throw new TptpParserError(`se esperaba '=' o '!=' tras término`, t?.line ?? 0, t?.col ?? 0);
+}
+// ── Parser de término ───────────────────────────────────────────────────
+function parseTerm(cur) {
+    const c = typeof cur === 'string' ? new Cursor((0, tokenizer_1.tokenize)(cur)) : cur;
+    return parseTermInternal(c);
+}
+function parseTermInternal(cur) {
+    const t = cur.peek();
+    if (!t) {
+        throw new TptpParserError('fin inesperado en término', 0, 0);
+    }
+    if (t.kind === 'upper_word') {
+        cur.next();
+        return { kind: 'var', name: t.value };
+    }
+    if (t.kind === 'lower_word' || t.kind === 'integer' || t.kind === 'single_quoted') {
+        cur.next();
+        const name = t.value;
+        // Opcionalmente: argumentos
+        if (cur.consumeKind('lparen')) {
+            const args = [parseTermInternal(cur)];
+            while (cur.consumeKind('comma')) {
+                args.push(parseTermInternal(cur));
+            }
+            cur.expect('rparen');
+            return { kind: 'func', name, args };
+        }
+        // Decisión de var/const: integer y single_quoted siempre const.
+        // lower_word sin args y empieza con mayúscula → imposible (lexer
+        // lo habría clasificado como upper_word). Es const.
+        if (isVariable(name)) {
+            return { kind: 'var', name };
+        }
+        return { kind: 'const', name };
+    }
+    throw new TptpParserError(`token inesperado en término: ${t.kind}`, t.line, t.col);
+}
+//# sourceMappingURL=parser.js.map

package/dist/tptp/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/tptp/parser.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gBAAgB;AAChB,+DAA+D;AAC/D,EAAE;AACF,6DAA6D;AAC7D,EAAE;AACF,8CAA8C;AAC9C,wEAAwE;AACxE,mDAAmD;AACnD,wBAAwB;AACxB,qDAAqD;AACrD,kDAAkD;AAClD,wCAAwC;AACxC,6CAA6C;AAC7C,8DAA8D;AAC9D,oEAAoE;AACpE,sDAAsD;AACtD,mDAAmD;AACnD,sCAAsC;AACtC,8DAA8D;AAC9D,EAAE;AACF,0EAA0E;AAC1E,sDAAsD;;;AAgFtD,8BAgCC;AA2ED,oCAWC;AAoOD,8BAGC;AA3aD,+BASe;AACf,2CAAiE;AAEjE,MAAa,eAAgB,SAAQ,KAAK;IAGtB;IACA;IAHlB,YACE,OAAe,EACC,IAAY,EACZ,GAAW;QAE3B,KAAK,CAAC,eAAe,IAAI,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC,CAAC;QAHhC,SAAI,GAAJ,IAAI,CAAQ;QACZ,QAAG,GAAH,GAAG,CAAQ;QAG3B,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AATD,0CASC;AAED,MAAM,MAAM;IAEmB;IADrB,GAAG,GAAG,CAAC,CAAC;IAChB,YAA6B,MAAmB;QAAnB,WAAM,GAAN,MAAM,CAAa;IAAG,CAAC;IAEpD,IAAI,CAAC,MAAM,GAAG,CAAC;QACb,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,IAAI;QACF,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,eAAe,CAAC,2BAA2B,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,CAAC;IAED,MAAM,CAAC,IAAmB;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,eAAe,CAAC,eAAe,IAAI,iBAAiB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,eAAe,CACvB,eAAe,IAAI,eAAe,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EACvE,CAAC,CAAC,IAAI,EACN,CAAC,CAAC,GAAG,CACN,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC;IAED,SAAS,CAAC,IAAmB;QAC3B,OAAO,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,KAAK,IAAI,CAAC;IACpC,CAAC;IAED,WAAW,CAAC,IAAmB;QAC7B,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AAED,2EAA2E;AAE3E,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzB,OAAO,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,2EAA2E;AAE3E,SAAgB,SAAS,CAAC,KAAa;IACrC,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC;YAAE,MAAM;QACd,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC5B,MAAM,IAAI,eAAe,CACvB,4DAA4D,CAAC,CAAC,IAAI,EAAE,EACpE,CAAC,CAAC,IAAI,EACN,CAAC,CAAC,GAAG,CACN,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QACD,IAAI,oBAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAqB,CAAC,EAAE,CAAC;YAChD,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;YACpC,SAAS;QACX,CAAC;QACD,MAAM,IAAI,eAAe,CACvB,oCAAoC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAC7D,CAAC,CAAC,IAAI,EACN,CAAC,CAAC,GAAG,CACN,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,eAAe,CAAC,iCAAiC,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAChG,CAAC;IACD,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACrB,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IACzC,kEAAkE;IAClE,mEAAmE;IACnE,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,YAAY,CAAC,GAAG,CAAC,CAAC;IACpB,CAAC;IACD,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACrB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClB,OAAO,IAAI,CAAC,KAAK,CAAC;AACpB,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,iDAAiD;IACjD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC;YAAE,MAAM;QACd,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO;QAC1E,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO;QAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,KAAK,EAAE,CAAC;QAC1D,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,KAAK,EAAE,CAAC;QAC1D,GAAG,CAAC,IAAI,EAAE,CAAC;IACb,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,GAAW;IACjC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAqB,CAAC;IAC/C,IAAI,CAAC,oBAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,eAAe,CACvB,2BAA2B,OAAO,CAAC,KAAK,EAAE,EAC1C,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,GAAG,CACZ,CAAC;IACJ,CAAC;IACD,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACrB,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,IAAY,CAAC;IACjB,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChE,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC;IACvB,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC5C,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,eAAe,CAAC,oBAAoB,OAAO,CAAC,IAAI,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAC5F,CAAC;IACD,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpB,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAiB,CAAC;IACvC,IAAI,CAAC,gBAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,eAAe,CAAC,qBAAqB,OAAO,CAAC,KAAK,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7F,CAAC;IACD,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpB,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACtD,qDAAqD;IACrD,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,YAAY,CAAC,GAAG,CAAC,CAAC;QAClB,OAAO,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,YAAY,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACrB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClB,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3C,CAAC;AAED,2EAA2E;AAE3E,SAAgB,YAAY,CAAC,KAAa,EAAE,IAAkB;IAC5D,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,sBAAsB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QAChB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,EAAE,CAAC;YACN,MAAM,IAAI,eAAe,CAAC,kCAAkC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,sBAAsB,CAAC,GAAW,EAAE,IAAkB;IAC7D,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;IAC/C,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC;AAED,sEAAsE;AACtE,oEAAoE;AACpE,SAAS,cAAc,CAAC,GAAW;IACjC,oDAAoD;IACpD,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAkB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,OAAO,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,SAAS;QAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,eAAe,CAAC,GAAW;IAClC,IAAI,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACrC,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,oEAAoE;IACpE,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAClC,CAAC;AAED,6BAA6B;AAC7B,SAAS,QAAQ,CAAC,GAAW;IAC3B,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,IAAI,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,GAAG,CAAC,IAAI,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IACD,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,oBAAoB;QACpB,GAAG,CAAC,IAAI,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CAAC,GAAW;IAC1B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,IAAI,GAAkB,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW;IAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,MAAM,IAAI,GAAkB,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7D,OAAO,eAAe,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,eAAe,CAAC,GAAW;IAClC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACxB,MAAM,IAAI,GAAwB,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAClF,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACvB,MAAM,IAAI,GAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,OAAO,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACvB,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW;IACpC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACnC,8EAA8E;IAC9E,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,aAAa,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,CAAC,CAAC,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,GAAW;IAChC,wEAAwE;IACxE,+BAA+B;IAC/B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAAE,OAAO;QACzE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,KAAK,EAAE,CAAC;QAC1D,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjD,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO;YACxB,KAAK,EAAE,CAAC;QACV,CAAC;QACD,GAAG,CAAC,IAAI,EAAE,CAAC;IACb,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,eAAe,CAAC,2BAA2B,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,mEAAmE;IACnE,qEAAqE;IACrE,sEAAsE;IACtE,2CAA2C;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,IAAI,EAAE,CAAC;QACX,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,CAAC;QAC7E,GAAG,CAAC,IAAI,EAAE,CAAC;QACX,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC3B,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,GAAG,CAAC,IAAI,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACrB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAClC,CAAC;AAED,0EAA0E;AAC1E,SAAS,mBAAmB,CAAC,GAAW;IACtC,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,eAAe,CAAC,wBAAwB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,qEAAqE;IACrE,mEAAmE;IACnE,+BAA+B;IAC/B,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,+DAA+D;QAC/D,kEAAkE;QAClE,8CAA8C;QAC9C,6DAA6D;QAC7D,gCAAgC;QAChC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtD,OAAO,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,yEAAyE;QACzE,OAAO,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,IAAI,eAAe,CACvB,6BAA6B,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,EACpF,UAAU,CAAC,IAAI,EACf,UAAU,CAAC,GAAG,CACf,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,CAAW,EAAE,IAAY,EAAE,GAAW;IACxD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrB,MAAM,IAAI,eAAe,CAAC,6CAA6C,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,cAAc,CAAC,GAAW,EAAE,IAAc;IACjD,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACrC,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACtC,CAAC;IACD,uEAAuE;IACvE,uEAAuE;IACvE,eAAe;IACf,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,MAAM,IAAI,eAAe,CAAC,qCAAqC,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,2EAA2E;AAE3E,SAAgB,SAAS,CAAC,GAAoB;IAC5C,MAAM,CAAC,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAA,oBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACpE,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW;IACpC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,eAAe,CAAC,2BAA2B,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC5B,GAAG,CAAC,IAAI,EAAE,CAAC;QACX,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IACxC,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClF,GAAG,CAAC,IAAI,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC;QACrB,4BAA4B;QAC5B,IAAI,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAe,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;YAClD,OAAO,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;YACpC,CAAC;YACD,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACrB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACtC,CAAC;QACD,gEAAgE;QAChE,iEAAiE;QACjE,oDAAoD;QACpD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC/B,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACjC,CAAC;IAED,MAAM,IAAI,eAAe,CAAC,gCAAgC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AACrF,CAAC"}