@cogitator-ai/neuro-symbolic 0.1.0

package/dist/logic/knowledge-base.js

@@ -0,0 +1,205 @@
+import { parseProgram, parseClause } from './parser';
+import { termToString } from './unification';
+export class KnowledgeBase {
+    clauses = new Map();
+    factCount = 0;
+    ruleCount = 0;
+    options;
+    constructor(options = {}) {
+        this.options = {
+            allowDuplicates: options.allowDuplicates ?? false,
+        };
+    }
+    getKey(functor, arity) {
+        return `${functor}/${arity}`;
+    }
+    addClause(clause) {
+        const key = this.getKey(clause.head.functor, clause.head.args.length);
+        const existing = this.clauses.get(key) || [];
+        if (!this.options.allowDuplicates) {
+            const duplicate = existing.find((c) => this.clausesEqual(c, clause));
+            if (duplicate)
+                return;
+        }
+        existing.push(clause);
+        this.clauses.set(key, existing);
+        if (clause.body.length === 0) {
+            this.factCount++;
+        }
+        else {
+            this.ruleCount++;
+        }
+    }
+    clausesEqual(c1, c2) {
+        return (termToString(c1.head) === termToString(c2.head) &&
+            c1.body.length === c2.body.length &&
+            c1.body.every((g, i) => termToString(g) === termToString(c2.body[i])));
+    }
+    assertFact(predicate, args) {
+        const clause = {
+            head: { type: 'compound', functor: predicate, args },
+            body: [],
+        };
+        this.addClause(clause);
+    }
+    assertRule(head, body) {
+        const clause = { head, body };
+        this.addClause(clause);
+    }
+    assert(clauseString) {
+        const result = parseClause(clauseString);
+        if (!result.success || !result.value) {
+            return false;
+        }
+        this.addClause(result.value);
+        return true;
+    }
+    consult(program) {
+        const result = parseProgram(program);
+        if (!result.success || !result.value) {
+            return {
+                success: false,
+                errors: [result.error?.message || 'Parse error'],
+            };
+        }
+        for (const clause of result.value) {
+            this.addClause(clause);
+        }
+        return { success: true, errors: [] };
+    }
+    getClauses(predicate, arity) {
+        const key = this.getKey(predicate, arity);
+        return this.clauses.get(key) || [];
+    }
+    getAllClauses() {
+        const all = [];
+        for (const clauses of this.clauses.values()) {
+            all.push(...clauses);
+        }
+        return all;
+    }
+    getPredicates() {
+        return Array.from(this.clauses.keys());
+    }
+    hasPredicate(predicate, arity) {
+        const key = this.getKey(predicate, arity);
+        return this.clauses.has(key) && (this.clauses.get(key)?.length || 0) > 0;
+    }
+    retract(clause) {
+        const key = this.getKey(clause.head.functor, clause.head.args.length);
+        const existing = this.clauses.get(key);
+        if (!existing)
+            return false;
+        const index = existing.findIndex((c) => this.clausesEqual(c, clause));
+        if (index === -1)
+            return false;
+        const removed = existing.splice(index, 1)[0];
+        if (removed.body.length === 0) {
+            this.factCount--;
+        }
+        else {
+            this.ruleCount--;
+        }
+        return true;
+    }
+    retractAll(predicate, arity) {
+        const key = this.getKey(predicate, arity);
+        const existing = this.clauses.get(key);
+        if (!existing)
+            return 0;
+        const count = existing.length;
+        for (const clause of existing) {
+            if (clause.body.length === 0) {
+                this.factCount--;
+            }
+            else {
+                this.ruleCount--;
+            }
+        }
+        this.clauses.delete(key);
+        return count;
+    }
+    abolish(predicate, arity) {
+        this.retractAll(predicate, arity);
+    }
+    clear() {
+        this.clauses.clear();
+        this.factCount = 0;
+        this.ruleCount = 0;
+    }
+    getStats() {
+        const predicates = this.getPredicates();
+        let totalBodyLength = 0;
+        let ruleCount = 0;
+        for (const clauses of this.clauses.values()) {
+            for (const clause of clauses) {
+                if (clause.body.length > 0) {
+                    ruleCount++;
+                    totalBodyLength += clause.body.length;
+                }
+            }
+        }
+        return {
+            factCount: this.factCount,
+            ruleCount: this.ruleCount,
+            predicates,
+            avgRuleBodyLength: ruleCount > 0 ? totalBodyLength / ruleCount : 0,
+        };
+    }
+    toString() {
+        const lines = [];
+        for (const clauses of this.clauses.values()) {
+            for (const clause of clauses) {
+                lines.push(this.clauseToString(clause));
+            }
+        }
+        return lines.join('\n');
+    }
+    clauseToString(clause) {
+        const head = termToString(clause.head);
+        if (clause.body.length === 0) {
+            return `${head}.`;
+        }
+        const body = clause.body.map(termToString).join(', ');
+        return `${head} :- ${body}.`;
+    }
+    clone() {
+        const kb = new KnowledgeBase(this.options);
+        for (const [key, clauses] of this.clauses) {
+            kb.clauses.set(key, [...clauses]);
+        }
+        kb.factCount = this.factCount;
+        kb.ruleCount = this.ruleCount;
+        return kb;
+    }
+    merge(other) {
+        for (const clauses of other.clauses.values()) {
+            for (const clause of clauses) {
+                this.addClause(clause);
+            }
+        }
+    }
+    export() {
+        return JSON.stringify({
+            clauses: this.getAllClauses(),
+            factCount: this.factCount,
+            ruleCount: this.ruleCount,
+        });
+    }
+    static import(json) {
+        const data = JSON.parse(json);
+        const kb = new KnowledgeBase();
+        for (const clause of data.clauses) {
+            kb.addClause(clause);
+        }
+        return kb;
+    }
+}
+export function createKnowledgeBase(program) {
+    const kb = new KnowledgeBase();
+    if (program) {
+        kb.consult(program);
+    }
+    return kb;
+}
+//# sourceMappingURL=knowledge-base.js.map

package/dist/logic/knowledge-base.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge-base.js","sourceRoot":"","sources":["../../src/logic/knowledge-base.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAM7C,MAAM,OAAO,aAAa;IAChB,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IACtC,SAAS,GAAG,CAAC,CAAC;IACd,SAAS,GAAG,CAAC,CAAC;IACd,OAAO,CAAiC;IAEhD,YAAY,UAAgC,EAAE;QAC5C,IAAI,CAAC,OAAO,GAAG;YACb,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,KAAK;SAClD,CAAC;IACJ,CAAC;IAEO,MAAM,CAAC,OAAe,EAAE,KAAa;QAC3C,OAAO,GAAG,OAAO,IAAI,KAAK,EAAE,CAAC;IAC/B,CAAC;IAEO,SAAS,CAAC,MAAc;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAE7C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACrE,IAAI,SAAS;gBAAE,OAAO;QACxB,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAEhC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,EAAU,EAAE,EAAU;QACzC,OAAO,CACL,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC;YAC/C,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM;YACjC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CACtE,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,SAAiB,EAAE,IAAY;QACxC,MAAM,MAAM,GAAW;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE;YACpD,IAAI,EAAE,EAAE;SACT,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IAED,UAAU,CAAC,IAAkB,EAAE,IAAoB;QACjD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACtC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,CAAC,YAAoB;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,OAAe;QACrB,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YACrC,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,IAAI,aAAa,CAAC;aACjD,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACvC,CAAC;IAED,UAAU,CAAC,SAAiB,EAAE,KAAa;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACrC,CAAC;IAED,aAAa;QACX,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,aAAa;QACX,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,YAAY,CAAC,SAAiB,EAAE,KAAa;QAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3E,CAAC;IAED,OAAO,CAAC,MAAc;QACpB,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAE5B,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACtE,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAE/B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,UAAU,CAAC,SAAiB,EAAE,KAAa;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ;YAAE,OAAO,CAAC,CAAC;QAExB,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC9B,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,CAAC;QACH,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,SAAiB,EAAE,KAAa;QACtC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IAED,KAAK;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC;QACnB,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,QAAQ;QACN,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,IAAI,SAAS,GAAG,CAAC,CAAC;QAElB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC3B,SAAS,EAAE,CAAC;oBACZ,eAAe,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;gBACxC,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,UAAU;YACV,iBAAiB,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;SACnE,CAAC;IACJ,CAAC;IAED,QAAQ;QACN,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAEO,cAAc,CAAC,MAAc;QACnC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,GAAG,IAAI,GAAG,CAAC;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,OAAO,GAAG,IAAI,OAAO,IAAI,GAAG,CAAC;IAC/B,CAAC;IAED,KAAK;QACH,MAAM,EAAE,GAAG,IAAI,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC1C,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;QACpC,CAAC;QACD,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC9B,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,KAAK,CAAC,KAAoB;QACxB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,SAAS,CAAC;YACpB,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE;YAC7B,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAY;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAI3B,CAAC;QAEF,MAAM,EAAE,GAAG,IAAI,aAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;CACF;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAgB;IAClD,MAAM,EAAE,GAAG,IAAI,aAAa,EAAE,CAAC;IAC/B,IAAI,OAAO,EAAE,CAAC;QACZ,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/logic/parser.d.ts

@@ -0,0 +1,19 @@
+import type { Term, CompoundTerm, Clause } from '@cogitator-ai/types';
+export interface ParseError {
+    message: string;
+    position: number;
+    line: number;
+    column: number;
+}
+export interface ParseResult<T> {
+    success: boolean;
+    value?: T;
+    error?: ParseError;
+}
+export declare function parseTerm(input: string): ParseResult<Term>;
+export declare function parseClause(input: string): ParseResult<Clause>;
+export declare function parseProgram(input: string): ParseResult<Clause[]>;
+export declare function parseQuery(input: string): ParseResult<CompoundTerm[]>;
+export declare function termFromValue(value: unknown): Term;
+export declare function termToValue(term: Term): unknown;
+//# sourceMappingURL=parser.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/logic/parser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAY,MAAM,qBAAqB,CAAC;AAEhF,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW,CAAC,CAAC;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,KAAK,CAAC,EAAE,UAAU,CAAC;CACpB;AAyZD,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAgB1D;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAgB9D;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAgBjE;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,YAAY,EAAE,CAAC,CAgBrE;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAwClD;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CA0B/C"}