@cogitator-ai/neuro-symbolic 0.1.0

package/dist/logic/builtins.js

@@ -0,0 +1,527 @@
+import { unify, applySubstitution, isAtom, isVariable, isNumber, isCompound, isList, termToString, } from './unification';
+const builtins = new Map();
+function registerBuiltin(name, arity, handler) {
+    builtins.set(`${name}/${arity}`, handler);
+}
+function success(subst = new Map()) {
+    return { success: true, substitutions: [subst] };
+}
+function failure() {
+    return { success: false, substitutions: [] };
+}
+function multiSuccess(substitutions) {
+    return { success: substitutions.length > 0, substitutions };
+}
+registerBuiltin('true', 0, (_goal, subst) => success(subst));
+registerBuiltin('false', 0, () => failure());
+registerBuiltin('fail', 0, () => failure());
+registerBuiltin('!', 0, (_goal, subst) => ({
+    success: true,
+    substitutions: [subst],
+    cut: true,
+}));
+registerBuiltin('=', 2, (goal, subst) => {
+    const [left, right] = goal.args;
+    const result = unify(left, right, subst);
+    return result ? success(result) : failure();
+});
+registerBuiltin('\\=', 2, (goal, subst) => {
+    const [left, right] = goal.args;
+    const result = unify(left, right, subst);
+    return result ? failure() : success(subst);
+});
+registerBuiltin('==', 2, (goal, subst) => {
+    const left = applySubstitution(goal.args[0], subst);
+    const right = applySubstitution(goal.args[1], subst);
+    return termToString(left) === termToString(right) ? success(subst) : failure();
+});
+registerBuiltin('\\==', 2, (goal, subst) => {
+    const left = applySubstitution(goal.args[0], subst);
+    const right = applySubstitution(goal.args[1], subst);
+    return termToString(left) !== termToString(right) ? success(subst) : failure();
+});
+function evaluateArithmetic(term, subst) {
+    const t = applySubstitution(term, subst);
+    if (isNumber(t)) {
+        return t.value;
+    }
+    if (isCompound(t)) {
+        const args = t.args.map((a) => evaluateArithmetic(a, subst));
+        switch (t.functor) {
+            case '+':
+                return args[0] + args[1];
+            case '-':
+                if (args.length === 1)
+                    return -args[0];
+                return args[0] - args[1];
+            case '*':
+                return args[0] * args[1];
+            case '/':
+                return args[0] / args[1];
+            case '//':
+                return Math.floor(args[0] / args[1]);
+            case 'mod':
+                return args[0] % args[1];
+            case '^':
+            case '**':
+                return Math.pow(args[0], args[1]);
+            case 'abs':
+                return Math.abs(args[0]);
+            case 'sign':
+                return Math.sign(args[0]);
+            case 'min':
+                return Math.min(...args);
+            case 'max':
+                return Math.max(...args);
+            case 'sqrt':
+                return Math.sqrt(args[0]);
+            case 'sin':
+                return Math.sin(args[0]);
+            case 'cos':
+                return Math.cos(args[0]);
+            case 'tan':
+                return Math.tan(args[0]);
+            case 'log':
+                return Math.log(args[0]);
+            case 'exp':
+                return Math.exp(args[0]);
+            case 'floor':
+                return Math.floor(args[0]);
+            case 'ceiling':
+                return Math.ceil(args[0]);
+            case 'round':
+                return Math.round(args[0]);
+            case 'truncate':
+                return Math.trunc(args[0]);
+            case 'random':
+                return Math.random();
+            case 'pi':
+                return Math.PI;
+            case 'e':
+                return Math.E;
+            default:
+                throw new Error(`Unknown arithmetic operator: ${t.functor}`);
+        }
+    }
+    throw new Error(`Cannot evaluate arithmetic expression: ${termToString(t)}`);
+}
+registerBuiltin('is', 2, (goal, subst) => {
+    try {
+        const value = evaluateArithmetic(goal.args[1], subst);
+        const result = unify(goal.args[0], { type: 'number', value }, subst);
+        return result ? success(result) : failure();
+    }
+    catch {
+        return failure();
+    }
+});
+function compareNumbers(goal, subst, compare) {
+    try {
+        const left = evaluateArithmetic(goal.args[0], subst);
+        const right = evaluateArithmetic(goal.args[1], subst);
+        return compare(left, right) ? success(subst) : failure();
+    }
+    catch {
+        return failure();
+    }
+}
+registerBuiltin('<', 2, (goal, subst) => compareNumbers(goal, subst, (a, b) => a < b));
+registerBuiltin('>', 2, (goal, subst) => compareNumbers(goal, subst, (a, b) => a > b));
+registerBuiltin('=<', 2, (goal, subst) => compareNumbers(goal, subst, (a, b) => a <= b));
+registerBuiltin('>=', 2, (goal, subst) => compareNumbers(goal, subst, (a, b) => a >= b));
+registerBuiltin('=:=', 2, (goal, subst) => compareNumbers(goal, subst, (a, b) => a === b));
+registerBuiltin('=\\=', 2, (goal, subst) => compareNumbers(goal, subst, (a, b) => a !== b));
+registerBuiltin('atom', 1, (goal, subst) => {
+    const t = applySubstitution(goal.args[0], subst);
+    return isAtom(t) ? success(subst) : failure();
+});
+registerBuiltin('number', 1, (goal, subst) => {
+    const t = applySubstitution(goal.args[0], subst);
+    return isNumber(t) ? success(subst) : failure();
+});
+registerBuiltin('integer', 1, (goal, subst) => {
+    const t = applySubstitution(goal.args[0], subst);
+    return isNumber(t) && Number.isInteger(t.value) ? success(subst) : failure();
+});
+registerBuiltin('float', 1, (goal, subst) => {
+    const t = applySubstitution(goal.args[0], subst);
+    return isNumber(t) && !Number.isInteger(t.value) ? success(subst) : failure();
+});
+registerBuiltin('compound', 1, (goal, subst) => {
+    const t = applySubstitution(goal.args[0], subst);
+    return isCompound(t) && t.args.length > 0 ? success(subst) : failure();
+});
+registerBuiltin('atomic', 1, (goal, subst) => {
+    const t = applySubstitution(goal.args[0], subst);
+    return isAtom(t) || isNumber(t) ? success(subst) : failure();
+});
+registerBuiltin('var', 1, (goal, subst) => {
+    const t = applySubstitution(goal.args[0], subst);
+    return isVariable(t) ? success(subst) : failure();
+});
+registerBuiltin('nonvar', 1, (goal, subst) => {
+    const t = applySubstitution(goal.args[0], subst);
+    return !isVariable(t) ? success(subst) : failure();
+});
+registerBuiltin('is_list', 1, (goal, subst) => {
+    const t = applySubstitution(goal.args[0], subst);
+    return isList(t) ? success(subst) : failure();
+});
+registerBuiltin('ground', 1, (goal, subst) => {
+    function isGround(term) {
+        const t = applySubstitution(term, subst);
+        if (isVariable(t))
+            return false;
+        if (isCompound(t))
+            return t.args.every(isGround);
+        if (isList(t)) {
+            return t.elements.every(isGround) && (!t.tail || isGround(t.tail));
+        }
+        return true;
+    }
+    return isGround(goal.args[0]) ? success(subst) : failure();
+});
+function listToArray(list, subst) {
+    const t = applySubstitution(list, subst);
+    if (!isList(t))
+        return null;
+    const elements = [...t.elements];
+    if (t.tail) {
+        const tailElements = listToArray(t.tail, subst);
+        if (tailElements === null)
+            return null;
+        elements.push(...tailElements);
+    }
+    return elements;
+}
+function arrayToList(elements) {
+    return { type: 'list', elements };
+}
+registerBuiltin('member', 2, (goal, subst) => {
+    const elem = goal.args[0];
+    const list = applySubstitution(goal.args[1], subst);
+    if (!isList(list)) {
+        return failure();
+    }
+    const elements = listToArray(list, subst);
+    if (!elements)
+        return failure();
+    const substitutions = [];
+    for (const item of elements) {
+        const result = unify(elem, item, subst);
+        if (result) {
+            substitutions.push(result);
+        }
+    }
+    return multiSuccess(substitutions);
+});
+registerBuiltin('append', 3, (goal, subst) => {
+    const [list1, list2, result] = goal.args.map((a) => applySubstitution(a, subst));
+    if (isList(list1) && isList(list2)) {
+        const elements1 = listToArray(list1, subst);
+        const elements2 = listToArray(list2, subst);
+        if (!elements1 || !elements2)
+            return failure();
+        const combined = arrayToList([...elements1, ...elements2]);
+        const unifyResult = unify(result, combined, subst);
+        return unifyResult ? success(unifyResult) : failure();
+    }
+    if (isList(result)) {
+        const resultElements = listToArray(result, subst);
+        if (!resultElements)
+            return failure();
+        const substitutions = [];
+        for (let i = 0; i <= resultElements.length; i++) {
+            const prefix = arrayToList(resultElements.slice(0, i));
+            const suffix = arrayToList(resultElements.slice(i));
+            let current = subst;
+            const r1 = unify(list1, prefix, current);
+            if (!r1)
+                continue;
+            current = r1;
+            const r2 = unify(list2, suffix, current);
+            if (!r2)
+                continue;
+            substitutions.push(r2);
+        }
+        return multiSuccess(substitutions);
+    }
+    return failure();
+});
+registerBuiltin('length', 2, (goal, subst) => {
+    const list = applySubstitution(goal.args[0], subst);
+    const len = applySubstitution(goal.args[1], subst);
+    if (isList(list)) {
+        const elements = listToArray(list, subst);
+        if (!elements)
+            return failure();
+        const result = unify(len, { type: 'number', value: elements.length }, subst);
+        return result ? success(result) : failure();
+    }
+    if (isNumber(len) && Number.isInteger(len.value) && len.value >= 0) {
+        const elements = [];
+        for (let i = 0; i < len.value; i++) {
+            elements.push({ type: 'variable', name: `_E${i}` });
+        }
+        const result = unify(list, arrayToList(elements), subst);
+        return result ? success(result) : failure();
+    }
+    return failure();
+});
+registerBuiltin('reverse', 2, (goal, subst) => {
+    const list = applySubstitution(goal.args[0], subst);
+    const reversed = applySubstitution(goal.args[1], subst);
+    if (isList(list)) {
+        const elements = listToArray(list, subst);
+        if (!elements)
+            return failure();
+        const result = unify(reversed, arrayToList([...elements].reverse()), subst);
+        return result ? success(result) : failure();
+    }
+    if (isList(reversed)) {
+        const elements = listToArray(reversed, subst);
+        if (!elements)
+            return failure();
+        const result = unify(list, arrayToList([...elements].reverse()), subst);
+        return result ? success(result) : failure();
+    }
+    return failure();
+});
+registerBuiltin('sort', 2, (goal, subst) => {
+    const list = applySubstitution(goal.args[0], subst);
+    const sorted = goal.args[1];
+    if (!isList(list))
+        return failure();
+    const elements = listToArray(list, subst);
+    if (!elements)
+        return failure();
+    const sortedElements = [...elements].sort((a, b) => {
+        const as = termToString(applySubstitution(a, subst));
+        const bs = termToString(applySubstitution(b, subst));
+        return as.localeCompare(bs);
+    });
+    const unique = sortedElements.filter((el, i, arr) => i === 0 ||
+        termToString(applySubstitution(el, subst)) !==
+            termToString(applySubstitution(arr[i - 1], subst)));
+    const result = unify(sorted, arrayToList(unique), subst);
+    return result ? success(result) : failure();
+});
+registerBuiltin('msort', 2, (goal, subst) => {
+    const list = applySubstitution(goal.args[0], subst);
+    const sorted = goal.args[1];
+    if (!isList(list))
+        return failure();
+    const elements = listToArray(list, subst);
+    if (!elements)
+        return failure();
+    const sortedElements = [...elements].sort((a, b) => {
+        const as = termToString(applySubstitution(a, subst));
+        const bs = termToString(applySubstitution(b, subst));
+        return as.localeCompare(bs);
+    });
+    const result = unify(sorted, arrayToList(sortedElements), subst);
+    return result ? success(result) : failure();
+});
+registerBuiltin('nth0', 3, (goal, subst) => {
+    const index = applySubstitution(goal.args[0], subst);
+    const list = applySubstitution(goal.args[1], subst);
+    const elem = goal.args[2];
+    if (!isNumber(index) || !isList(list))
+        return failure();
+    const elements = listToArray(list, subst);
+    if (!elements)
+        return failure();
+    const i = index.value;
+    if (i < 0 || i >= elements.length)
+        return failure();
+    const result = unify(elem, elements[i], subst);
+    return result ? success(result) : failure();
+});
+registerBuiltin('nth1', 3, (goal, subst) => {
+    const index = applySubstitution(goal.args[0], subst);
+    const list = applySubstitution(goal.args[1], subst);
+    const elem = goal.args[2];
+    if (!isNumber(index) || !isList(list))
+        return failure();
+    const elements = listToArray(list, subst);
+    if (!elements)
+        return failure();
+    const i = index.value - 1;
+    if (i < 0 || i >= elements.length)
+        return failure();
+    const result = unify(elem, elements[i], subst);
+    return result ? success(result) : failure();
+});
+registerBuiltin('last', 2, (goal, subst) => {
+    const list = applySubstitution(goal.args[0], subst);
+    const elem = goal.args[1];
+    if (!isList(list))
+        return failure();
+    const elements = listToArray(list, subst);
+    if (!elements || elements.length === 0)
+        return failure();
+    const result = unify(elem, elements[elements.length - 1], subst);
+    return result ? success(result) : failure();
+});
+registerBuiltin('functor', 3, (goal, subst) => {
+    const term = applySubstitution(goal.args[0], subst);
+    const name = goal.args[1];
+    const arity = goal.args[2];
+    if (isCompound(term)) {
+        let result = unify(name, { type: 'atom', value: term.functor }, subst);
+        if (!result)
+            return failure();
+        result = unify(arity, { type: 'number', value: term.args.length }, result);
+        return result ? success(result) : failure();
+    }
+    if (isAtom(term)) {
+        let result = unify(name, term, subst);
+        if (!result)
+            return failure();
+        result = unify(arity, { type: 'number', value: 0 }, result);
+        return result ? success(result) : failure();
+    }
+    if (isNumber(term)) {
+        let result = unify(name, term, subst);
+        if (!result)
+            return failure();
+        result = unify(arity, { type: 'number', value: 0 }, result);
+        return result ? success(result) : failure();
+    }
+    const n = applySubstitution(name, subst);
+    const a = applySubstitution(arity, subst);
+    if (isAtom(n) && isNumber(a) && Number.isInteger(a.value) && a.value >= 0) {
+        if (a.value === 0) {
+            const result = unify(term, n, subst);
+            return result ? success(result) : failure();
+        }
+        const args = [];
+        for (let i = 0; i < a.value; i++) {
+            args.push({ type: 'variable', name: `_A${i}` });
+        }
+        const compound = {
+            type: 'compound',
+            functor: n.value,
+            args,
+        };
+        const result = unify(term, compound, subst);
+        return result ? success(result) : failure();
+    }
+    return failure();
+});
+registerBuiltin('arg', 3, (goal, subst) => {
+    const n = applySubstitution(goal.args[0], subst);
+    const term = applySubstitution(goal.args[1], subst);
+    const arg = goal.args[2];
+    if (!isNumber(n) || !isCompound(term))
+        return failure();
+    const index = n.value - 1;
+    if (index < 0 || index >= term.args.length)
+        return failure();
+    const result = unify(arg, term.args[index], subst);
+    return result ? success(result) : failure();
+});
+registerBuiltin('copy_term', 2, (goal, subst) => {
+    const original = applySubstitution(goal.args[0], subst);
+    const copy = goal.args[1];
+    function renameCopy(term, mapping) {
+        if (isVariable(term)) {
+            if (!mapping.has(term.name)) {
+                mapping.set(term.name, `_C${mapping.size}`);
+            }
+            return { type: 'variable', name: mapping.get(term.name) };
+        }
+        if (isCompound(term)) {
+            return {
+                type: 'compound',
+                functor: term.functor,
+                args: term.args.map((a) => renameCopy(a, mapping)),
+            };
+        }
+        if (isList(term)) {
+            return {
+                type: 'list',
+                elements: term.elements.map((e) => renameCopy(e, mapping)),
+                tail: term.tail ? renameCopy(term.tail, mapping) : undefined,
+            };
+        }
+        return term;
+    }
+    const copied = renameCopy(original, new Map());
+    const result = unify(copy, copied, subst);
+    return result ? success(result) : failure();
+});
+registerBuiltin('succ', 2, (goal, subst) => {
+    const n = applySubstitution(goal.args[0], subst);
+    const s = applySubstitution(goal.args[1], subst);
+    if (isNumber(n) && Number.isInteger(n.value) && n.value >= 0) {
+        const result = unify(s, { type: 'number', value: n.value + 1 }, subst);
+        return result ? success(result) : failure();
+    }
+    if (isNumber(s) && Number.isInteger(s.value) && s.value > 0) {
+        const result = unify(n, { type: 'number', value: s.value - 1 }, subst);
+        return result ? success(result) : failure();
+    }
+    return failure();
+});
+registerBuiltin('plus', 3, (goal, subst) => {
+    const x = applySubstitution(goal.args[0], subst);
+    const y = applySubstitution(goal.args[1], subst);
+    const z = applySubstitution(goal.args[2], subst);
+    if (isNumber(x) && isNumber(y)) {
+        const result = unify(z, { type: 'number', value: x.value + y.value }, subst);
+        return result ? success(result) : failure();
+    }
+    if (isNumber(x) && isNumber(z)) {
+        const result = unify(y, { type: 'number', value: z.value - x.value }, subst);
+        return result ? success(result) : failure();
+    }
+    if (isNumber(y) && isNumber(z)) {
+        const result = unify(x, { type: 'number', value: z.value - y.value }, subst);
+        return result ? success(result) : failure();
+    }
+    return failure();
+});
+export function isBuiltin(functor, arity) {
+    return builtins.has(`${functor}/${arity}`);
+}
+export function executeBuiltin(goal, subst) {
+    const key = `${goal.functor}/${goal.args.length}`;
+    const handler = builtins.get(key);
+    if (!handler) {
+        return failure();
+    }
+    return handler(goal, subst);
+}
+export function getBuiltinList() {
+    return [
+        'true',
+        'false',
+        'fail',
+        'cut',
+        'is',
+        'unify',
+        'not',
+        'gt',
+        'gte',
+        'lt',
+        'lte',
+        'eq',
+        'neq',
+        'member',
+        'append',
+        'length',
+        'reverse',
+        'sort',
+        'atom',
+        'number',
+        'compound',
+        'var',
+        'nonvar',
+        'is_list',
+        'functor',
+        'arg',
+        'copy_term',
+    ];
+}
+//# sourceMappingURL=builtins.js.map

package/dist/logic/builtins.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtins.js","sourceRoot":"","sources":["../../src/logic/builtins.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,KAAK,EACL,iBAAiB,EACjB,MAAM,EACN,UAAU,EACV,QAAQ,EACR,UAAU,EACV,MAAM,EACN,YAAY,GACb,MAAM,eAAe,CAAC;AAUvB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;AAEnD,SAAS,eAAe,CAAC,IAAY,EAAE,KAAa,EAAE,OAAuB;IAC3E,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,OAAO,CAAC,QAAsB,IAAI,GAAG,EAAE;IAC9C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,OAAO;IACd,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,YAAY,CAAC,aAA6B;IACjD,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,aAAa,EAAE,CAAC;AAC9D,CAAC;AAED,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AAE7D,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;AAE7C,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;AAE5C,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IACzC,OAAO,EAAE,IAAI;IACb,aAAa,EAAE,CAAC,KAAK,CAAC;IACtB,GAAG,EAAE,IAAI;CACV,CAAC,CAAC,CAAC;AAEJ,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACtC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;IAChC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACzC,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACxC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;IAChC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACzC,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACvC,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrD,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACzC,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrD,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,SAAS,kBAAkB,CAAC,IAAU,EAAE,KAAmB;IACzD,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAEzC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAE7D,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC;YAClB,KAAK,GAAG;gBACN,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,GAAG;gBACN,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACvC,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,GAAG;gBACN,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,GAAG;gBACN,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,IAAI;gBACP,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,GAAG,CAAC;YACT,KAAK,IAAI;gBACP,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;YAC3B,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;YAC3B,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7B,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7B,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7B,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;YACvB,KAAK,IAAI;gBACP,OAAO,IAAI,CAAC,EAAE,CAAC;YACjB,KAAK,GAAG;gBACN,OAAO,IAAI,CAAC,CAAC,CAAC;YAChB;gBACE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,0CAA0C,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACvC,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;QACrE,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,EAAE,CAAC;IACnB,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,SAAS,cAAc,CACrB,IAAkB,EAClB,KAAmB,EACnB,OAA0C;IAE1C,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,EAAE,CAAC;IACnB,CAAC;AACH,CAAC;AAED,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACvF,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACvF,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACzF,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACzF,eAAe,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC3F,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAE5F,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACzC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC3C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAClD,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC5C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC/E,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC1C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC7C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACzE,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC3C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACxC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACpD,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC3C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC5C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC3C,SAAS,QAAQ,CAAC,IAAU;QAC1B,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACjD,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACd,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,SAAS,WAAW,CAAC,IAAU,EAAE,KAAmB;IAClD,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAE5B,MAAM,QAAQ,GAAW,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IAEzC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,MAAM,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAChD,IAAI,YAAY,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB;IACnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACpC,CAAC;AAED,eAAe,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEpD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO,OAAO,EAAE,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ;QAAE,OAAO,OAAO,EAAE,CAAC;IAEhC,MAAM,aAAa,GAAmB,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACxC,IAAI,MAAM,EAAE,CAAC;YACX,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,YAAY,CAAC,aAAa,CAAC,CAAC;AACrC,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC3C,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAEjF,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS;YAAE,OAAO,OAAO,EAAE,CAAC;QAE/C,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QACnD,OAAO,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACxD,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACnB,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,cAAc;YAAE,OAAO,OAAO,EAAE,CAAC;QAEtC,MAAM,aAAa,GAAmB,EAAE,CAAC;QAEzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAEpD,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACzC,IAAI,CAAC,EAAE;gBAAE,SAAS;YAClB,OAAO,GAAG,EAAE,CAAC;YAEb,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACzC,IAAI,CAAC,EAAE;gBAAE,SAAS;YAElB,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;QAED,OAAO,YAAY,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,OAAO,EAAE,CAAC;AACnB,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC3C,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEnD,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1C,IAAI,CAAC,QAAQ;YAAE,OAAO,OAAO,EAAE,CAAC;QAEhC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,EAAE,KAAK,CAAC,CAAC;QAC7E,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACnE,MAAM,QAAQ,GAAW,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;QACzD,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,OAAO,OAAO,EAAE,CAAC;AACnB,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC5C,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAExD,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1C,IAAI,CAAC,QAAQ;YAAE,OAAO,OAAO,EAAE,CAAC;QAEhC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5E,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,QAAQ;YAAE,OAAO,OAAO,EAAE,CAAC;QAEhC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACxE,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,OAAO,OAAO,EAAE,CAAC;AACnB,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACzC,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IAEpC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ;QAAE,OAAO,OAAO,EAAE,CAAC;IAEhC,MAAM,cAAc,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjD,MAAM,EAAE,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QACrD,MAAM,EAAE,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QACrD,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAClC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CACb,CAAC,KAAK,CAAC;QACP,YAAY,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACxC,YAAY,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CACvD,CAAC;IAEF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;IACzD,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC1C,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IAEpC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ;QAAE,OAAO,OAAO,EAAE,CAAC;IAEhC,MAAM,cAAc,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjD,MAAM,EAAE,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QACrD,MAAM,EAAE,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QACrD,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC,CAAC;IACjE,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACzC,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE1B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IAExD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ;QAAE,OAAO,OAAO,EAAE,CAAC;IAEhC,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,MAAM;QAAE,OAAO,OAAO,EAAE,CAAC;IAEpD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/C,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACzC,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE1B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IAExD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ;QAAE,OAAO,OAAO,EAAE,CAAC;IAEhC,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,MAAM;QAAE,OAAO,OAAO,EAAE,CAAC;IAEpD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/C,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACzC,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE1B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IAEpC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IAEzD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjE,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC5C,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE3B,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,IAAI,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,CAAC,MAAM;YAAE,OAAO,OAAO,EAAE,CAAC;QAC9B,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC;QAC3E,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,IAAI,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM;YAAE,OAAO,OAAO,EAAE,CAAC;QAC9B,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,IAAI,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM;YAAE,OAAO,OAAO,EAAE,CAAC;QAC9B,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzC,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAE1C,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1E,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YACrC,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC9C,CAAC;QAED,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,CAAC;QAED,MAAM,QAAQ,GAAiB;YAC7B,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,CAAC,CAAC,KAAK;YAChB,IAAI;SACL,CAAC;QAEF,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,OAAO,OAAO,EAAE,CAAC;AACnB,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACxC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEzB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,EAAE,CAAC;IAExD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,OAAO,EAAE,CAAC;IAE7D,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IAC9C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE1B,SAAS,UAAU,CAAC,IAAU,EAAE,OAA4B;QAC1D,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9C,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,EAAE,CAAC;QAC7D,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;aACnD,CAAC;QACJ,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACjB,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC1D,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;aAC7D,CAAC;QACJ,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACzC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACvE,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACvE,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,OAAO,OAAO,EAAE,CAAC;AACnB,CAAC,CAAC,CAAC;AAEH,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;IACzC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;QAC7E,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;QAC7E,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;QAC7E,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,OAAO,OAAO,EAAE,CAAC;AACnB,CAAC,CAAC,CAAC;AAEH,MAAM,UAAU,SAAS,CAAC,OAAe,EAAE,KAAa;IACtD,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAkB,EAAE,KAAmB;IACpE,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAElC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,OAAO,EAAE,CAAC;IACnB,CAAC;IAED,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,cAAc;IAC5B,OAAO;QACL,MAAM;QACN,OAAO;QACP,MAAM;QACN,KAAK;QACL,IAAI;QACJ,OAAO;QACP,KAAK;QACL,IAAI;QACJ,KAAK;QACL,IAAI;QACJ,KAAK;QACL,IAAI;QACJ,KAAK;QACL,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,MAAM;QACN,MAAM;QACN,QAAQ;QACR,UAAU;QACV,KAAK;QACL,QAAQ;QACR,SAAS;QACT,SAAS;QACT,KAAK;QACL,WAAW;KACZ,CAAC;AACJ,CAAC"}

package/dist/logic/index.d.ts

@@ -0,0 +1,8 @@
+export { unify, applySubstitution, composeSubstitutions, getVariables, renameVariables, termsEqual, occursIn, termToString, substitutionToString, isAtom, isVariable, isNumber, isString, isCompound, isList, } from './unification';
+export { parseTerm, parseClause, parseProgram, parseQuery, termFromValue, termToValue, } from './parser';
+export { KnowledgeBase, createKnowledgeBase, type KnowledgeBaseOptions } from './knowledge-base';
+export { isBuiltin, executeBuiltin, getBuiltinList, type BuiltinResult } from './builtins';
+export { SLDResolver, createResolver, queryKnowledgeBase, formatSolutions } from './resolver';
+export { formatProofTree, formatProofPath, extractProofPaths, analyzeProofTree, pruneProofTree, proofTreeToMermaid, proofTreeToJSON, type ProofTreeOptions, type ProofPath, type ProofStats, } from './proof-tree';
+export { createNLToQueryPrompt, createNLToFactsPrompt, createNLToRulesPrompt, createExplainResultPrompt, createGenerateQueriesPrompt, createDebugQueryPrompt, formatQueryForLLM, formatClauseForLLM, formatKnowledgeBaseForLLM, parseLLMQueryResponse, parseLLMFactsResponse, type NLToLogicPromptContext, type NLToFactsPromptContext, type NLToRulesPromptContext, type ExplainResultPromptContext, type GenerateQueriesPromptContext, type DebugQueryPromptContext, type ParseLLMResponseResult, } from './prompts';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/logic/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,eAAe,EACf,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,oBAAoB,EACpB,MAAM,EACN,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,MAAM,GACP,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,SAAS,EACT,WAAW,EACX,YAAY,EACZ,UAAU,EACV,aAAa,EACb,WAAW,GACZ,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEjG,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3F,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE9F,OAAO,EACL,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,UAAU,GAChB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,qBAAqB,EACrB,yBAAyB,EACzB,2BAA2B,EAC3B,sBAAsB,EACtB,iBAAiB,EACjB,kBAAkB,EAClB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAC3B,KAAK,0BAA0B,EAC/B,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC5B,KAAK,sBAAsB,GAC5B,MAAM,WAAW,CAAC"}

package/dist/logic/index.js

@@ -0,0 +1,8 @@
+export { unify, applySubstitution, composeSubstitutions, getVariables, renameVariables, termsEqual, occursIn, termToString, substitutionToString, isAtom, isVariable, isNumber, isString, isCompound, isList, } from './unification';
+export { parseTerm, parseClause, parseProgram, parseQuery, termFromValue, termToValue, } from './parser';
+export { KnowledgeBase, createKnowledgeBase } from './knowledge-base';
+export { isBuiltin, executeBuiltin, getBuiltinList } from './builtins';
+export { SLDResolver, createResolver, queryKnowledgeBase, formatSolutions } from './resolver';
+export { formatProofTree, formatProofPath, extractProofPaths, analyzeProofTree, pruneProofTree, proofTreeToMermaid, proofTreeToJSON, } from './proof-tree';
+export { createNLToQueryPrompt, createNLToFactsPrompt, createNLToRulesPrompt, createExplainResultPrompt, createGenerateQueriesPrompt, createDebugQueryPrompt, formatQueryForLLM, formatClauseForLLM, formatKnowledgeBaseForLLM, parseLLMQueryResponse, parseLLMFactsResponse, } from './prompts';
+//# sourceMappingURL=index.js.map

package/dist/logic/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/logic/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,eAAe,EACf,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,oBAAoB,EACpB,MAAM,EACN,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,MAAM,GACP,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,SAAS,EACT,WAAW,EACX,YAAY,EACZ,UAAU,EACV,aAAa,EACb,WAAW,GACZ,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAA6B,MAAM,kBAAkB,CAAC;AAEjG,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,cAAc,EAAsB,MAAM,YAAY,CAAC;AAE3F,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE9F,OAAO,EACL,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,kBAAkB,EAClB,eAAe,GAIhB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,qBAAqB,EACrB,yBAAyB,EACzB,2BAA2B,EAC3B,sBAAsB,EACtB,iBAAiB,EACjB,kBAAkB,EAClB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,GAQtB,MAAM,WAAW,CAAC"}

package/dist/logic/knowledge-base.d.ts

@@ -0,0 +1,38 @@
+import type { Clause, CompoundTerm, Term, KnowledgeBaseStats } from '@cogitator-ai/types';
+export interface KnowledgeBaseOptions {
+    allowDuplicates?: boolean;
+}
+export declare class KnowledgeBase {
+    private clauses;
+    private factCount;
+    private ruleCount;
+    private options;
+    constructor(options?: KnowledgeBaseOptions);
+    private getKey;
+    private addClause;
+    private clausesEqual;
+    assertFact(predicate: string, args: Term[]): void;
+    assertRule(head: CompoundTerm, body: CompoundTerm[]): void;
+    assert(clauseString: string): boolean;
+    consult(program: string): {
+        success: boolean;
+        errors: string[];
+    };
+    getClauses(predicate: string, arity: number): Clause[];
+    getAllClauses(): Clause[];
+    getPredicates(): string[];
+    hasPredicate(predicate: string, arity: number): boolean;
+    retract(clause: Clause): boolean;
+    retractAll(predicate: string, arity: number): number;
+    abolish(predicate: string, arity: number): void;
+    clear(): void;
+    getStats(): KnowledgeBaseStats;
+    toString(): string;
+    private clauseToString;
+    clone(): KnowledgeBase;
+    merge(other: KnowledgeBase): void;
+    export(): string;
+    static import(json: string): KnowledgeBase;
+}
+export declare function createKnowledgeBase(program?: string): KnowledgeBase;
+//# sourceMappingURL=knowledge-base.d.ts.map

package/dist/logic/knowledge-base.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge-base.d.ts","sourceRoot":"","sources":["../../src/logic/knowledge-base.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAI1F,MAAM,WAAW,oBAAoB;IACnC,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAA+B;IAC9C,OAAO,CAAC,SAAS,CAAK;IACtB,OAAO,CAAC,SAAS,CAAK;IACtB,OAAO,CAAC,OAAO,CAAiC;gBAEpC,OAAO,GAAE,oBAAyB;IAM9C,OAAO,CAAC,MAAM;IAId,OAAO,CAAC,SAAS;IAmBjB,OAAO,CAAC,YAAY;IAQpB,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI;IAQjD,UAAU,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,IAAI;IAK1D,MAAM,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IASrC,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE;IAgBhE,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE;IAKtD,aAAa,IAAI,MAAM,EAAE;IAQzB,aAAa,IAAI,MAAM,EAAE;IAIzB,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO;IAKvD,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAkBhC,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAkBpD,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI;IAI/C,KAAK,IAAI,IAAI;IAMb,QAAQ,IAAI,kBAAkB;IAsB9B,QAAQ,IAAI,MAAM;IAYlB,OAAO,CAAC,cAAc;IAStB,KAAK,IAAI,aAAa;IAUtB,KAAK,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI;IAQjC,MAAM,IAAI,MAAM;IAQhB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa;CAa3C;AAED,wBAAgB,mBAAmB,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa,CAMnE"}