@stevenvo780/st-lang 4.5.1 → 4.5.2

package/dist/smt-lib/parser.js

@@ -0,0 +1,614 @@
+"use strict";
+// ============================================================
+// SMT-LIB v2 — Parser (recursive-descent sobre S-expressions)
+// ============================================================
+//
+// Convierte el stream de tokens (tokenizer.ts) en árboles `SmtCommand`,
+// `SmtTerm` y `SmtSort`. Estrictamente sintáctico: no valida sorts, aridad
+// de funciones ni que las lógicas sean conocidas — se queda con el árbol y
+// deja la validación semántica al consumidor (backend, traductor, etc.).
+//
+// Filosofía: si la entrada está fuera del subset privilegiado (let, forall,
+// exists, match, !), igualmente colapsa a `{ kind: 'app', fn, args }` con
+// la cabeza preservada como string. Eso garantiza que `parse → emit` no
+// pierde información en programas reales.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SmtParserError = void 0;
+exports.parseSmtLib = parseSmtLib;
+exports.parseTerm = parseTerm;
+exports.parseSort = parseSort;
+const tokenizer_1 = require("./tokenizer");
+class SmtParserError extends Error {
+    line;
+    col;
+    constructor(message, line, col) {
+        super(`SMT-LIB parser ${line}:${col}: ${message}`);
+        this.line = line;
+        this.col = col;
+        this.name = 'SmtParserError';
+    }
+}
+exports.SmtParserError = SmtParserError;
+class TokenStream {
+    tokens;
+    pos = 0;
+    constructor(tokens) {
+        this.tokens = tokens;
+    }
+    peek(off = 0) {
+        return this.tokens[this.pos + off];
+    }
+    next() {
+        const t = this.tokens[this.pos];
+        if (!t) {
+            const last = this.tokens[this.tokens.length - 1];
+            throw new SmtParserError('fin de input inesperado', last?.line ?? 1, last?.col ?? 1);
+        }
+        this.pos++;
+        return t;
+    }
+    eof() {
+        return this.pos >= this.tokens.length;
+    }
+    expect(kind) {
+        const t = this.next();
+        if (t.kind !== kind) {
+            throw new SmtParserError(`se esperaba ${kind} y se obtuvo ${t.kind} (${JSON.stringify(t.value)})`, t.line, t.col);
+        }
+        return t;
+    }
+    expectSymbol(name) {
+        const t = this.next();
+        if (t.kind !== 'symbol') {
+            throw new SmtParserError(`se esperaba símbolo y se obtuvo ${t.kind} (${JSON.stringify(t.value)})`, t.line, t.col);
+        }
+        if (name !== undefined && t.value !== name) {
+            throw new SmtParserError(`se esperaba símbolo "${name}" y vino "${t.value}"`, t.line, t.col);
+        }
+        return t;
+    }
+}
+/** Reads a numeral token as an integer (≥ 0). */
+function readNumeral(ts) {
+    const t = ts.next();
+    if (t.kind !== 'numeral') {
+        throw new SmtParserError(`se esperaba numeral, vino ${t.kind}`, t.line, t.col);
+    }
+    return Number.parseInt(t.value, 10);
+}
+function readSymbolName(ts) {
+    const t = ts.next();
+    if (t.kind !== 'symbol') {
+        throw new SmtParserError(`se esperaba símbolo, vino ${t.kind}`, t.line, t.col);
+    }
+    return t.value;
+}
+function readAttrValue(ts) {
+    // En set-info / set-option / annotated, los valores pueden ser
+    // string, symbol, numeral, decimal, hex, binary, keyword, o una
+    // s-expr completa. Para nuestros usos materializamos la s-expr a
+    // string canónico (re-emisión simple) o el literal directo.
+    const t = ts.peek();
+    if (!t)
+        throw new SmtParserError('attr-value faltante', 1, 1);
+    if (t.kind === 'string') {
+        ts.next();
+        return JSON.stringify(t.value);
+    }
+    if (t.kind === 'lparen') {
+        return sexprToString(ts);
+    }
+    ts.next();
+    return t.value;
+}
+/** Re-serialize an arbitrary s-expression as plain text (lossy for whitespace). */
+function sexprToString(ts) {
+    const open = ts.next();
+    if (open.kind !== 'lparen') {
+        return open.value;
+    }
+    const parts = [];
+    while (true) {
+        const t = ts.peek();
+        if (!t)
+            throw new SmtParserError('s-expr sin cerrar', open.line, open.col);
+        if (t.kind === 'rparen') {
+            ts.next();
+            break;
+        }
+        if (t.kind === 'lparen') {
+            parts.push(sexprToString(ts));
+        }
+        else {
+            ts.next();
+            if (t.kind === 'string')
+                parts.push(JSON.stringify(t.value));
+            else if (t.kind === 'keyword')
+                parts.push(`:${t.value}`);
+            else if (t.kind === 'hex')
+                parts.push(`#x${t.value}`);
+            else if (t.kind === 'binary')
+                parts.push(`#b${t.value}`);
+            else
+                parts.push(t.value);
+        }
+    }
+    return `(${parts.join(' ')})`;
+}
+// --------------------------------------------------------------------
+// Sort
+// --------------------------------------------------------------------
+function parseSortInternal(ts) {
+    const t = ts.peek();
+    if (!t)
+        throw new SmtParserError('sort esperado', 1, 1);
+    if (t.kind === 'symbol') {
+        ts.next();
+        return { kind: 'symbol', name: t.value };
+    }
+    if (t.kind === 'lparen') {
+        ts.next();
+        // (_ BitVec 32) → indexed identifier; lo emitimos como name "_" args [BitVec, 32]
+        // o (Array Int Int) → name "Array" args [Int, Int]
+        const head = ts.peek();
+        if (!head)
+            throw new SmtParserError('sort con paréntesis vacío', t.line, t.col);
+        if (head.kind === 'symbol' && head.value === '_') {
+            ts.next(); // consume `_`
+            const nameTok = ts.next();
+            if (nameTok.kind !== 'symbol') {
+                throw new SmtParserError(`identificador indexado: se esperaba símbolo y vino ${nameTok.kind}`, nameTok.line, nameTok.col);
+            }
+            const indexArgs = [];
+            while (true) {
+                const nx = ts.peek();
+                if (!nx)
+                    throw new SmtParserError('sort indexado sin cerrar', nameTok.line, nameTok.col);
+                if (nx.kind === 'rparen')
+                    break;
+                if (nx.kind === 'numeral') {
+                    ts.next();
+                    indexArgs.push({ kind: 'symbol', name: nx.value });
+                }
+                else if (nx.kind === 'symbol') {
+                    ts.next();
+                    indexArgs.push({ kind: 'symbol', name: nx.value });
+                }
+                else {
+                    throw new SmtParserError(`índice inesperado ${nx.kind} en sort`, nx.line, nx.col);
+                }
+            }
+            ts.expect('rparen');
+            return { kind: 'app', name: `_ ${nameTok.value}`, args: indexArgs };
+        }
+        if (head.kind !== 'symbol') {
+            throw new SmtParserError(`cabeza de sort debe ser símbolo y vino ${head.kind}`, head.line, head.col);
+        }
+        ts.next();
+        const args = [];
+        while (true) {
+            const nx = ts.peek();
+            if (!nx)
+                throw new SmtParserError('sort sin cerrar', head.line, head.col);
+            if (nx.kind === 'rparen')
+                break;
+            args.push(parseSortInternal(ts));
+        }
+        ts.expect('rparen');
+        return { kind: 'app', name: head.value, args };
+    }
+    throw new SmtParserError(`sort inesperado: ${t.kind}`, t.line, t.col);
+}
+// --------------------------------------------------------------------
+// Term
+// --------------------------------------------------------------------
+const SPEC_CONSTANT_KIND = {
+    numeral: 'numeral',
+    decimal: 'decimal',
+    string: 'string',
+    hex: 'hex',
+    binary: 'binary',
+};
+function parseTermInternal(ts) {
+    const t = ts.peek();
+    if (!t)
+        throw new SmtParserError('término esperado', 1, 1);
+    const specType = SPEC_CONSTANT_KIND[t.kind];
+    if (specType) {
+        ts.next();
+        return { kind: 'spec-constant', type: specType, value: t.value };
+    }
+    if (t.kind === 'symbol') {
+        ts.next();
+        return { kind: 'symbol', name: t.value };
+    }
+    if (t.kind === 'keyword') {
+        throw new SmtParserError(`keyword :${t.value} no es un término válido`, t.line, t.col);
+    }
+    if (t.kind === 'lparen') {
+        ts.next();
+        const head = ts.peek();
+        if (!head)
+            throw new SmtParserError('aplicación vacía', t.line, t.col);
+        // Casos especiales (let, forall, exists, match, !)
+        if (head.kind === 'symbol') {
+            switch (head.value) {
+                case 'let':
+                    ts.next();
+                    return parseLet(ts, t);
+                case 'forall':
+                    ts.next();
+                    return parseQuantifier(ts, 'forall', t);
+                case 'exists':
+                    ts.next();
+                    return parseQuantifier(ts, 'exists', t);
+                case 'match':
+                    ts.next();
+                    return parseMatch(ts, t);
+                case '!':
+                    ts.next();
+                    return parseAnnotated(ts, t);
+                case '_': {
+                    // identificador indexado en posición de cabeza: (_ name idx ...)
+                    ts.next();
+                    const nameTok = ts.next();
+                    if (nameTok.kind !== 'symbol') {
+                        throw new SmtParserError(`identificador indexado: símbolo esperado y vino ${nameTok.kind}`, nameTok.line, nameTok.col);
+                    }
+                    const idxs = [];
+                    while (true) {
+                        const nx = ts.peek();
+                        if (!nx)
+                            throw new SmtParserError('indexed identifier sin cerrar', t.line, t.col);
+                        if (nx.kind === 'rparen')
+                            break;
+                        if (nx.kind === 'numeral' || nx.kind === 'symbol') {
+                            ts.next();
+                            idxs.push(nx.value);
+                        }
+                        else {
+                            throw new SmtParserError(`índice inesperado ${nx.kind}`, nx.line, nx.col);
+                        }
+                    }
+                    ts.expect('rparen');
+                    return {
+                        kind: 'symbol',
+                        name: `(_ ${nameTok.value}${idxs.length ? ' ' + idxs.join(' ') : ''})`,
+                    };
+                }
+            }
+        }
+        // aplicación genérica
+        let fnName;
+        if (head.kind === 'lparen') {
+            // qualified-identifier `(as foo Sort)` o indexed
+            fnName = sexprToString(ts);
+        }
+        else {
+            ts.next();
+            fnName = head.value;
+        }
+        const args = [];
+        while (true) {
+            const nx = ts.peek();
+            if (!nx)
+                throw new SmtParserError(`aplicación ${fnName} sin cerrar`, t.line, t.col);
+            if (nx.kind === 'rparen')
+                break;
+            args.push(parseTermInternal(ts));
+        }
+        ts.expect('rparen');
+        return { kind: 'app', fn: fnName, args };
+    }
+    throw new SmtParserError(`token inesperado en término: ${t.kind}`, t.line, t.col);
+}
+function parseLet(ts, open) {
+    ts.expect('lparen'); // bindings list
+    const bindings = [];
+    while (true) {
+        const nx = ts.peek();
+        if (!nx)
+            throw new SmtParserError('let sin cerrar bindings', open.line, open.col);
+        if (nx.kind === 'rparen') {
+            ts.next();
+            break;
+        }
+        ts.expect('lparen');
+        const name = readSymbolName(ts);
+        const value = parseTermInternal(ts);
+        ts.expect('rparen');
+        bindings.push({ name, value });
+    }
+    const body = parseTermInternal(ts);
+    ts.expect('rparen'); // close let
+    return { kind: 'let', bindings, body };
+}
+function parseQuantifier(ts, kind, open) {
+    ts.expect('lparen'); // vars list
+    const vars = [];
+    while (true) {
+        const nx = ts.peek();
+        if (!nx)
+            throw new SmtParserError(`${kind} sin cerrar vars`, open.line, open.col);
+        if (nx.kind === 'rparen') {
+            ts.next();
+            break;
+        }
+        ts.expect('lparen');
+        const name = readSymbolName(ts);
+        const sort = parseSortInternal(ts);
+        ts.expect('rparen');
+        vars.push({ name, sort });
+    }
+    const body = parseTermInternal(ts);
+    ts.expect('rparen'); // close quantifier
+    if (kind === 'forall')
+        return { kind: 'forall', vars, body };
+    return { kind: 'exists', vars, body };
+}
+function parseMatch(ts, open) {
+    const scrutinee = parseTermInternal(ts);
+    ts.expect('lparen'); // cases list
+    const cases = [];
+    while (true) {
+        const nx = ts.peek();
+        if (!nx)
+            throw new SmtParserError('match sin cerrar', open.line, open.col);
+        if (nx.kind === 'rparen') {
+            ts.next();
+            break;
+        }
+        ts.expect('lparen');
+        const pattern = parseTermInternal(ts);
+        const body = parseTermInternal(ts);
+        ts.expect('rparen');
+        cases.push({ pattern, body });
+    }
+    ts.expect('rparen');
+    return { kind: 'match', scrutinee, cases };
+}
+function parseAnnotated(ts, open) {
+    const term = parseTermInternal(ts);
+    const attrs = [];
+    while (true) {
+        const nx = ts.peek();
+        if (!nx)
+            throw new SmtParserError('annotation sin cerrar', open.line, open.col);
+        if (nx.kind === 'rparen') {
+            ts.next();
+            break;
+        }
+        if (nx.kind !== 'keyword') {
+            throw new SmtParserError(`attribute key debe empezar con ":" y vino ${nx.kind}`, nx.line, nx.col);
+        }
+        ts.next();
+        const key = nx.value;
+        const follow = ts.peek();
+        if (!follow || follow.kind === 'keyword' || follow.kind === 'rparen') {
+            attrs.push({ key });
+        }
+        else {
+            const value = readAttrValue(ts);
+            attrs.push({ key, value });
+        }
+    }
+    return { kind: 'annotated', term, attrs };
+}
+// --------------------------------------------------------------------
+// Command
+// --------------------------------------------------------------------
+function parseCommand(ts) {
+    const open = ts.expect('lparen');
+    const head = ts.expectSymbol();
+    switch (head.value) {
+        case 'set-logic': {
+            const logic = readSymbolName(ts);
+            ts.expect('rparen');
+            return { kind: 'set-logic', logic };
+        }
+        case 'set-option': {
+            const keyTok = ts.next();
+            if (keyTok.kind !== 'keyword') {
+                throw new SmtParserError(`set-option requiere :keyword`, keyTok.line, keyTok.col);
+            }
+            const value = readAttrValue(ts);
+            ts.expect('rparen');
+            return { kind: 'set-option', key: keyTok.value, value };
+        }
+        case 'set-info': {
+            const keyTok = ts.next();
+            if (keyTok.kind !== 'keyword') {
+                throw new SmtParserError(`set-info requiere :keyword`, keyTok.line, keyTok.col);
+            }
+            const value = readAttrValue(ts);
+            ts.expect('rparen');
+            return { kind: 'set-info', key: keyTok.value, value };
+        }
+        case 'declare-sort': {
+            const name = readSymbolName(ts);
+            const arity = readNumeral(ts);
+            ts.expect('rparen');
+            return { kind: 'declare-sort', name, arity };
+        }
+        case 'define-sort': {
+            const name = readSymbolName(ts);
+            ts.expect('lparen');
+            const params = [];
+            while (true) {
+                const nx = ts.peek();
+                if (!nx)
+                    throw new SmtParserError('define-sort sin cerrar', open.line, open.col);
+                if (nx.kind === 'rparen') {
+                    ts.next();
+                    break;
+                }
+                params.push(readSymbolName(ts));
+            }
+            const body = parseSortInternal(ts);
+            ts.expect('rparen');
+            return { kind: 'define-sort', name, params, body };
+        }
+        case 'declare-fun': {
+            const name = readSymbolName(ts);
+            ts.expect('lparen');
+            const paramSorts = [];
+            while (true) {
+                const nx = ts.peek();
+                if (!nx)
+                    throw new SmtParserError('declare-fun sin cerrar', open.line, open.col);
+                if (nx.kind === 'rparen') {
+                    ts.next();
+                    break;
+                }
+                paramSorts.push(parseSortInternal(ts));
+            }
+            const resultSort = parseSortInternal(ts);
+            ts.expect('rparen');
+            return { kind: 'declare-fun', name, paramSorts, resultSort };
+        }
+        case 'define-fun': {
+            const name = readSymbolName(ts);
+            ts.expect('lparen');
+            const params = [];
+            while (true) {
+                const nx = ts.peek();
+                if (!nx)
+                    throw new SmtParserError('define-fun sin cerrar', open.line, open.col);
+                if (nx.kind === 'rparen') {
+                    ts.next();
+                    break;
+                }
+                ts.expect('lparen');
+                const pname = readSymbolName(ts);
+                const psort = parseSortInternal(ts);
+                ts.expect('rparen');
+                params.push({ name: pname, sort: psort });
+            }
+            const resultSort = parseSortInternal(ts);
+            const body = parseTermInternal(ts);
+            ts.expect('rparen');
+            return { kind: 'define-fun', name, params, resultSort, body };
+        }
+        case 'declare-const': {
+            const name = readSymbolName(ts);
+            const sort = parseSortInternal(ts);
+            ts.expect('rparen');
+            return { kind: 'declare-const', name, sort };
+        }
+        case 'assert': {
+            const formula = parseTermInternal(ts);
+            ts.expect('rparen');
+            return { kind: 'assert', formula };
+        }
+        case 'check-sat': {
+            ts.expect('rparen');
+            return { kind: 'check-sat' };
+        }
+        case 'check-sat-assuming': {
+            ts.expect('lparen');
+            const assumptions = [];
+            while (true) {
+                const nx = ts.peek();
+                if (!nx)
+                    throw new SmtParserError('check-sat-assuming sin cerrar', open.line, open.col);
+                if (nx.kind === 'rparen') {
+                    ts.next();
+                    break;
+                }
+                assumptions.push(parseTermInternal(ts));
+            }
+            ts.expect('rparen');
+            return { kind: 'check-sat-assuming', assumptions };
+        }
+        case 'get-assertions':
+            ts.expect('rparen');
+            return { kind: 'get-assertions' };
+        case 'get-model':
+            ts.expect('rparen');
+            return { kind: 'get-model' };
+        case 'get-proof':
+            ts.expect('rparen');
+            return { kind: 'get-proof' };
+        case 'get-unsat-core':
+            ts.expect('rparen');
+            return { kind: 'get-unsat-core' };
+        case 'get-value': {
+            ts.expect('lparen');
+            const terms = [];
+            while (true) {
+                const nx = ts.peek();
+                if (!nx)
+                    throw new SmtParserError('get-value sin cerrar', open.line, open.col);
+                if (nx.kind === 'rparen') {
+                    ts.next();
+                    break;
+                }
+                terms.push(parseTermInternal(ts));
+            }
+            ts.expect('rparen');
+            return { kind: 'get-value', terms };
+        }
+        case 'push': {
+            const levels = readNumeral(ts);
+            ts.expect('rparen');
+            return { kind: 'push', levels };
+        }
+        case 'pop': {
+            const levels = readNumeral(ts);
+            ts.expect('rparen');
+            return { kind: 'pop', levels };
+        }
+        case 'reset':
+            ts.expect('rparen');
+            return { kind: 'reset' };
+        case 'reset-assertions':
+            ts.expect('rparen');
+            return { kind: 'reset-assertions' };
+        case 'exit':
+            ts.expect('rparen');
+            return { kind: 'exit' };
+        case 'echo': {
+            const msgTok = ts.next();
+            if (msgTok.kind !== 'string') {
+                throw new SmtParserError(`echo requiere string literal`, msgTok.line, msgTok.col);
+            }
+            ts.expect('rparen');
+            return { kind: 'echo', message: msgTok.value };
+        }
+        default:
+            throw new SmtParserError(`comando no reconocido: ${head.value}`, head.line, head.col);
+    }
+}
+/** Parse de un script SMT-LIB completo. */
+function parseSmtLib(input) {
+    const tokens = (0, tokenizer_1.tokenize)(input);
+    const ts = new TokenStream(tokens);
+    const commands = [];
+    while (!ts.eof()) {
+        commands.push(parseCommand(ts));
+    }
+    return commands;
+}
+/** Parse de un único término. Útil para tests y bridges. */
+function parseTerm(input) {
+    const tokens = (0, tokenizer_1.tokenize)(input);
+    const ts = new TokenStream(tokens);
+    const term = parseTermInternal(ts);
+    if (!ts.eof()) {
+        const t = ts.peek();
+        throw new SmtParserError(`tokens sobrantes tras término`, t?.line ?? 1, t?.col ?? 1);
+    }
+    return term;
+}
+/** Parse de un único sort. */
+function parseSort(input) {
+    const tokens = (0, tokenizer_1.tokenize)(input);
+    const ts = new TokenStream(tokens);
+    const sort = parseSortInternal(ts);
+    if (!ts.eof()) {
+        const t = ts.peek();
+        throw new SmtParserError(`tokens sobrantes tras sort`, t?.line ?? 1, t?.col ?? 1);
+    }
+    return sort;
+}
+//# sourceMappingURL=parser.js.map

package/dist/smt-lib/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/smt-lib/parser.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;AAC/D,EAAE;AACF,wEAAwE;AACxE,2EAA2E;AAC3E,2EAA2E;AAC3E,yEAAyE;AACzE,EAAE;AACF,4EAA4E;AAC5E,0EAA0E;AAC1E,wEAAwE;AACxE,0CAA0C;;;AA2jB1C,kCAQC;AAGD,8BASC;AAGD,8BASC;AAxlBD,2CAAsD;AAEtD,MAAa,cAAe,SAAQ,KAAK;IAGrB;IACA;IAHlB,YACE,OAAe,EACC,IAAY,EACZ,GAAW;QAE3B,KAAK,CAAC,kBAAkB,IAAI,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC,CAAC;QAHnC,SAAI,GAAJ,IAAI,CAAQ;QACZ,QAAG,GAAH,GAAG,CAAQ;QAG3B,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAC/B,CAAC;CACF;AATD,wCASC;AAED,MAAM,WAAW;IAEc;IADrB,GAAG,GAAG,CAAC,CAAC;IAChB,YAA6B,MAAkB;QAAlB,WAAM,GAAN,MAAM,CAAY;IAAG,CAAC;IAEnD,IAAI,CAAC,GAAG,GAAG,CAAC;QACV,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACrC,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,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACjD,MAAM,IAAI,cAAc,CAAC,yBAAyB,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,CAAC;IAED,MAAM,CAAC,IAAsB;QAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,cAAc,CACtB,eAAe,IAAI,gBAAgB,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EACxE,CAAC,CAAC,IAAI,EACN,CAAC,CAAC,GAAG,CACN,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,YAAY,CAAC,IAAa;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,MAAM,IAAI,cAAc,CACtB,mCAAmC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EACxE,CAAC,CAAC,IAAI,EACN,CAAC,CAAC,GAAG,CACN,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAC3C,MAAM,IAAI,cAAc,CAAC,wBAAwB,IAAI,aAAa,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/F,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;CACF;AAED,iDAAiD;AACjD,SAAS,WAAW,CAAC,EAAe;IAClC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IACpB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,cAAc,CAAC,6BAA6B,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,cAAc,CAAC,EAAe;IACrC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IACpB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,cAAc,CAAC,6BAA6B,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,CAAC,CAAC,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,EAAe;IACpC,+DAA+D;IAC/D,gEAAgE;IAChE,iEAAiE;IACjE,4DAA4D;IAC5D,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IACpB,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,qBAAqB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,EAAE,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,OAAO,aAAa,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,EAAE,CAAC,IAAI,EAAE,CAAC;IACV,OAAO,CAAC,CAAC,KAAK,CAAC;AACjB,CAAC;AAED,mFAAmF;AACnF,SAAS,aAAa,CAAC,EAAe;IACpC,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3E,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,EAAE,CAAC,IAAI,EAAE,CAAC;YACV,MAAM;QACR,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;aAAM,CAAC;YACN,EAAE,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;iBACxD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;iBACpD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;iBACjD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;;gBACpD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAChC,CAAC;AAED,uEAAuE;AACvE,OAAO;AACP,uEAAuE;AACvE,SAAS,iBAAiB,CAAC,EAAe;IACxC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IACpB,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,EAAE,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IAC3C,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,EAAE,CAAC,IAAI,EAAE,CAAC;QACV,kFAAkF;QAClF,mDAAmD;QACnD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,cAAc,CAAC,2BAA2B,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAChF,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YACjD,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,cAAc;YACzB,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,cAAc,CACtB,sDAAsD,OAAO,CAAC,IAAI,EAAE,EACpE,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,GAAG,CACZ,CAAC;YACJ,CAAC;YACD,MAAM,SAAS,GAAc,EAAE,CAAC;YAChC,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,EAAE;oBAAE,MAAM,IAAI,cAAc,CAAC,0BAA0B,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;gBACzF,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;oBAAE,MAAM;gBAChC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC1B,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;gBACrD,CAAC;qBAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAChC,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;gBACrD,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,cAAc,CAAC,qBAAqB,EAAE,CAAC,IAAI,UAAU,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;gBACpF,CAAC;YACH,CAAC;YACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACtE,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,IAAI,cAAc,CACtB,0CAA0C,IAAI,CAAC,IAAI,EAAE,EACrD,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,GAAG,CACT,CAAC;QACJ,CAAC;QACD,EAAE,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,GAAc,EAAE,CAAC;QAC3B,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,EAAE;gBAAE,MAAM,IAAI,cAAc,CAAC,iBAAiB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1E,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM;YAChC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IACjD,CAAC;IACD,MAAM,IAAI,cAAc,CAAC,oBAAoB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AACxE,CAAC;AAED,uEAAuE;AACvE,OAAO;AACP,uEAAuE;AACvE,MAAM,kBAAkB,GAA2D;IACjF,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,KAAK;IACV,MAAM,EAAE,QAAQ;CACjB,CAAC;AAEF,SAAS,iBAAiB,CAAC,EAAe;IACxC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IACpB,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,kBAAkB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,QAAQ,EAAE,CAAC;QACb,EAAE,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,EAAE,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IAC3C,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,cAAc,CAAC,YAAY,CAAC,CAAC,KAAK,0BAA0B,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,EAAE,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,cAAc,CAAC,kBAAkB,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACvE,mDAAmD;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;gBACnB,KAAK,KAAK;oBACR,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,OAAO,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBACzB,KAAK,QAAQ;oBACX,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,OAAO,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;gBAC1C,KAAK,QAAQ;oBACX,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,OAAO,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;gBAC1C,KAAK,OAAO;oBACV,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,OAAO,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC3B,KAAK,GAAG;oBACN,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,OAAO,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC/B,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,iEAAiE;oBACjE,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;oBAC1B,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC9B,MAAM,IAAI,cAAc,CACtB,mDAAmD,OAAO,CAAC,IAAI,EAAE,EACjE,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,GAAG,CACZ,CAAC;oBACJ,CAAC;oBACD,MAAM,IAAI,GAAa,EAAE,CAAC;oBAC1B,OAAO,IAAI,EAAE,CAAC;wBACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;wBACrB,IAAI,CAAC,EAAE;4BAAE,MAAM,IAAI,cAAc,CAAC,+BAA+B,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;wBAClF,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;4BAAE,MAAM;wBAChC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;4BAClD,EAAE,CAAC,IAAI,EAAE,CAAC;4BACV,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;wBACtB,CAAC;6BAAM,CAAC;4BACN,MAAM,IAAI,cAAc,CAAC,qBAAqB,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;wBAC5E,CAAC;oBACH,CAAC;oBACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;oBACpB,OAAO;wBACL,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,MAAM,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG;qBACvE,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,sBAAsB;QACtB,IAAI,MAAc,CAAC;QACnB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,iDAAiD;YACjD,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,EAAE,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACtB,CAAC;QACD,MAAM,IAAI,GAAc,EAAE,CAAC;QAC3B,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,EAAE;gBAAE,MAAM,IAAI,cAAc,CAAC,cAAc,MAAM,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACpF,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM;YAChC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC3C,CAAC;IACD,MAAM,IAAI,cAAc,CAAC,gCAAgC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,QAAQ,CAAC,EAAe,EAAE,IAAc;IAC/C,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB;IACrC,MAAM,QAAQ,GAA4C,EAAE,CAAC;IAC7D,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,cAAc,CAAC,yBAAyB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAClF,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzB,EAAE,CAAC,IAAI,EAAE,CAAC;YACV,MAAM;QACR,CAAC;QACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACpC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;IACnC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY;IACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,eAAe,CAAC,EAAe,EAAE,IAAyB,EAAE,IAAc;IACjF,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY;IACjC,MAAM,IAAI,GAA2C,EAAE,CAAC;IACxD,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,cAAc,CAAC,GAAG,IAAI,kBAAkB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAClF,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzB,EAAE,CAAC,IAAI,EAAE,CAAC;YACV,MAAM;QACR,CAAC;QACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACnC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;IACnC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,mBAAmB;IACxC,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,UAAU,CAAC,EAAe,EAAE,IAAc;IACjD,MAAM,SAAS,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;IACxC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa;IAClC,MAAM,KAAK,GAA+C,EAAE,CAAC;IAC7D,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,cAAc,CAAC,kBAAkB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3E,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzB,EAAE,CAAC,IAAI,EAAE,CAAC;YACV,MAAM;QACR,CAAC;QACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpB,MAAM,OAAO,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACnC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAChC,CAAC;IACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACpB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,cAAc,CAAC,EAAe,EAAE,IAAc;IACrD,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;IACnC,MAAM,KAAK,GAA2C,EAAE,CAAC;IACzD,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,cAAc,CAAC,uBAAuB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAChF,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzB,EAAE,CAAC,IAAI,EAAE,CAAC;YACV,MAAM;QACR,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,cAAc,CACtB,6CAA6C,EAAE,CAAC,IAAI,EAAE,EACtD,EAAE,CAAC,IAAI,EACP,EAAE,CAAC,GAAG,CACP,CAAC;QACJ,CAAC;QACD,EAAE,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC;QACrB,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC5C,CAAC;AAED,uEAAuE;AACvE,UAAU;AACV,uEAAuE;AACvE,SAAS,YAAY,CAAC,EAAe;IACnC,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC;IAC/B,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YACjC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QACtC,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,IAAI,cAAc,CAAC,8BAA8B,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;YACpF,CAAC;YACD,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;YAChC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC;QAC1D,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,IAAI,cAAc,CAAC,4BAA4B,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;YAClF,CAAC;YACD,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;YAChC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC;QACxD,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YAC9B,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YAChC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,EAAE;oBAAE,MAAM,IAAI,cAAc,CAAC,wBAAwB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;gBACjF,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACzB,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM;gBACR,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,CAAC;YACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;YACnC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACrD,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YAChC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,MAAM,UAAU,GAAc,EAAE,CAAC;YACjC,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,EAAE;oBAAE,MAAM,IAAI,cAAc,CAAC,wBAAwB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;gBACjF,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACzB,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM;gBACR,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;YACzC,CAAC;YACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;YACzC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;QAC/D,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YAChC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,MAAM,MAAM,GAA2C,EAAE,CAAC;YAC1D,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,EAAE;oBAAE,MAAM,IAAI,cAAc,CAAC,uBAAuB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChF,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACzB,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM;gBACR,CAAC;gBACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACpB,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;gBACjC,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;gBACpC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACpB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;YACzC,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;YACnC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAChE,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;YACnC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC/C,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;YACtC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;QACrC,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,CAAC;QACD,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,MAAM,WAAW,GAAc,EAAE,CAAC;YAClC,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,EAAE;oBAAE,MAAM,IAAI,cAAc,CAAC,+BAA+B,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;gBACxF,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACzB,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM;gBACR,CAAC;gBACD,WAAW,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1C,CAAC;YACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC;QACrD,CAAC;QACD,KAAK,gBAAgB;YACnB,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;QACpC,KAAK,WAAW;YACd,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,WAAW;YACd,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,gBAAgB;YACnB,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;QACpC,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,MAAM,KAAK,GAAc,EAAE,CAAC;YAC5B,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,EAAE;oBAAE,MAAM,IAAI,cAAc,CAAC,sBAAsB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC/E,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACzB,EAAE,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM;gBACR,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;YACpC,CAAC;YACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QACtC,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YAC/B,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAClC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YAC/B,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACjC,CAAC;QACD,KAAK,OAAO;YACV,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC3B,KAAK,kBAAkB;YACrB,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;QACtC,KAAK,MAAM;YACT,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,MAAM,IAAI,cAAc,CAAC,8BAA8B,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;YACpF,CAAC;YACD,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QACjD,CAAC;QACD;YACE,MAAM,IAAI,cAAc,CAAC,0BAA0B,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1F,CAAC;AACH,CAAC;AAED,2CAA2C;AAC3C,SAAgB,WAAW,CAAC,KAAa;IACvC,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,EAAE,GAAG,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAClC,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC;QACjB,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4DAA4D;AAC5D,SAAgB,SAAS,CAAC,KAAa;IACrC,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,EAAE,GAAG,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC;QACd,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACpB,MAAM,IAAI,cAAc,CAAC,+BAA+B,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8BAA8B;AAC9B,SAAgB,SAAS,CAAC,KAAa;IACrC,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,EAAE,GAAG,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC;QACd,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACpB,MAAM,IAAI,cAAc,CAAC,4BAA4B,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/smt-lib/tokenizer.d.ts

@@ -0,0 +1,16 @@
+export type SmtTokenKind = 'lparen' | 'rparen' | 'symbol' | 'keyword' | 'numeral' | 'decimal' | 'hex' | 'binary' | 'string';
+export interface SmtToken {
+    kind: SmtTokenKind;
+    value: string;
+    /** Línea 1-based donde inicia el token. */
+    line: number;
+    /** Columna 1-based donde inicia el token. */
+    col: number;
+}
+export declare class SmtTokenizerError extends Error {
+    readonly line: number;
+    readonly col: number;
+    constructor(message: string, line: number, col: number);
+}
+export declare function tokenize(input: string): SmtToken[];
+//# sourceMappingURL=tokenizer.d.ts.map

package/dist/smt-lib/tokenizer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokenizer.d.ts","sourceRoot":"","sources":["../../src/smt-lib/tokenizer.ts"],"names":[],"mappings":"AAoBA,MAAM,MAAM,YAAY,GACpB,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,SAAS,GACT,SAAS,GACT,KAAK,GACL,QAAQ,GACR,QAAQ,CAAC;AAEb,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,GAAG,EAAE,MAAM,CAAC;CACb;AAED,qBAAa,iBAAkB,SAAQ,KAAK;aAGxB,IAAI,EAAE,MAAM;aACZ,GAAG,EAAE,MAAM;gBAF3B,OAAO,EAAE,MAAM,EACC,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM;CAK9B;AAQD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,EAAE,CA4LlD"}