@stevenvo780/st-lang 4.5.2 → 4.7.0

package/dist/tooling/educational/checker.js

@@ -0,0 +1,244 @@
+"use strict";
+// ============================================================
+// checkAnswer — evaluación de respuestas del estudiante
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkAnswer = checkAnswer;
+const api_1 = require("../../api");
+const normalize_1 = require("./normalize");
+function toAnswerObject(raw) {
+    if (typeof raw === 'string')
+        return { answer: raw };
+    return raw;
+}
+function pickHint(ex, attemptScore) {
+    if (ex.hints.length === 0)
+        return undefined;
+    if (attemptScore >= 50)
+        return ex.hints[0];
+    if (attemptScore >= 25 && ex.hints.length >= 2)
+        return ex.hints[1];
+    return ex.hints[ex.hints.length - 1];
+}
+function evaluateValidity(ex) {
+    if (!ex.formula)
+        return null;
+    const source = `logic ${ex.profile}\ncheck valid ${ex.formula}`;
+    const result = (0, api_1.evaluate)(source, '<educational>');
+    const first = result.results[0];
+    if (!first)
+        return null;
+    if (first.status === 'valid')
+        return 'valid';
+    if (first.status === 'invalid')
+        return 'invalid';
+    return null;
+}
+function evaluateSatisfiability(ex) {
+    if (!ex.formula)
+        return null;
+    const source = `logic ${ex.profile}\ncheck satisfiable ${ex.formula}`;
+    const result = (0, api_1.evaluate)(source, '<educational>');
+    const first = result.results[0];
+    if (!first)
+        return null;
+    if (first.status === 'satisfiable')
+        return 'satisfiable';
+    if (first.status === 'unsatisfiable')
+        return 'unsatisfiable';
+    return null;
+}
+function substituteAtoms(formula, valuation) {
+    let out = formula;
+    // Sustituir átomos por true/false. Match identifier word boundaries.
+    for (const [atom, val] of Object.entries(valuation)) {
+        const re = new RegExp(`\\b${atom}\\b`, 'g');
+        out = out.replace(re, val ? 'true' : 'false');
+    }
+    return out;
+}
+function evaluateCountermodel(ex, valuation) {
+    if (!ex.formula)
+        return false;
+    const substituted = substituteAtoms(ex.formula, valuation);
+    const source = `logic ${ex.profile}\ncheck satisfiable ${substituted}`;
+    const result = (0, api_1.evaluate)(source, '<educational>');
+    const first = result.results[0];
+    if (!first)
+        return false;
+    // Si tras sustituir la fórmula queda insatisfacible/inválida, la valuación
+    // hace falsa la fórmula original → es un contramodelo.
+    return first.status === 'unsatisfiable' || first.status === 'invalid';
+}
+function checkValidityAnswer(ex, raw) {
+    const truth = evaluateValidity(ex) ?? ex.solution.kind;
+    const expected = truth === 'valid' ? 'valid' : 'invalid';
+    const ok = (0, normalize_1.matchesStatus)(raw, expected);
+    if (ok) {
+        return {
+            correct: true,
+            score: 100,
+            feedback: `Correcto. ${ex.solution.explanation}`,
+        };
+    }
+    return {
+        correct: false,
+        score: 0,
+        feedback: `Incorrecto. La fórmula es ${expected === 'valid' ? 'válida' : 'inválida'} en ${ex.profile}. ${ex.solution.explanation}`,
+        nextHint: pickHint(ex, 0),
+    };
+}
+function checkSatisfiabilityAnswer(ex, raw) {
+    const truth = evaluateSatisfiability(ex) ?? ex.solution.kind;
+    const expected = truth === 'satisfiable' ? 'satisfiable' : 'unsatisfiable';
+    const ok = (0, normalize_1.matchesStatus)(raw, expected);
+    if (ok) {
+        return {
+            correct: true,
+            score: 100,
+            feedback: `Correcto. ${ex.solution.explanation}`,
+        };
+    }
+    return {
+        correct: false,
+        score: 0,
+        feedback: `Incorrecto. La fórmula es ${expected === 'satisfiable' ? 'satisfacible' : 'insatisfacible'}. ${ex.solution.explanation}`,
+        nextHint: pickHint(ex, 0),
+    };
+}
+function checkDeriveAnswer(ex, raw) {
+    const trimmed = raw.trim().toLowerCase();
+    const expectedGoal = ex.goal ?? ex.solution.canonicalFormula ?? '';
+    if (expectedGoal && (0, normalize_1.formulasEqualText)(raw, expectedGoal)) {
+        return {
+            correct: true,
+            score: 100,
+            feedback: `Correcto. ${ex.solution.explanation}`,
+        };
+    }
+    if (trimmed === 'sí' ||
+        trimmed === 'si' ||
+        trimmed === 'yes' ||
+        trimmed === 'provable' ||
+        trimmed === 'derivable' ||
+        trimmed === 'true') {
+        if (ex.solution.kind === 'provable') {
+            return {
+                correct: true,
+                score: 80,
+                feedback: `Correcto en intuición, pero se esperaba que escribieras la fórmula derivada: \`${expectedGoal}\`. ${ex.solution.explanation}`,
+            };
+        }
+    }
+    return {
+        correct: false,
+        score: 0,
+        feedback: `Incorrecto. La fórmula derivable a partir de las premisas es \`${expectedGoal}\`. ${ex.solution.explanation}`,
+        nextHint: pickHint(ex, 0),
+    };
+}
+function checkCountermodelAnswer(ex, rawText, parsedValuation) {
+    let valuation = parsedValuation;
+    if (!valuation) {
+        const parsed = (0, normalize_1.parseValuation)(rawText);
+        if (parsed)
+            valuation = parsed;
+    }
+    if (!valuation) {
+        return {
+            correct: false,
+            score: 0,
+            feedback: 'No pude interpretar tu respuesta como una asignación de valores. Usá formato como "P=V, Q=F" o un objeto JSON {"P": true, "Q": false}.',
+            nextHint: pickHint(ex, 0),
+        };
+    }
+    const isCountermodel = evaluateCountermodel(ex, valuation);
+    if (isCountermodel) {
+        return {
+            correct: true,
+            score: 100,
+            feedback: `Correcto. La asignación ${JSON.stringify(valuation)} hace falsa la fórmula. ${ex.solution.explanation}`,
+        };
+    }
+    return {
+        correct: false,
+        score: 0,
+        feedback: `La asignación ${JSON.stringify(valuation)} no es un contramodelo: la fórmula sigue siendo verdadera bajo esa interpretación. ${ex.solution.explanation}`,
+        nextHint: pickHint(ex, 0),
+    };
+}
+function checkTranslateAnswer(ex, raw) {
+    const expected = ex.solution.canonicalFormula ?? '';
+    if (!expected) {
+        return {
+            correct: false,
+            score: 0,
+            feedback: 'No hay traducción canónica registrada para este ejercicio.',
+        };
+    }
+    if ((0, normalize_1.formulasEqualText)(raw, expected)) {
+        return {
+            correct: true,
+            score: 100,
+            feedback: `Correcto. ${ex.solution.explanation}`,
+        };
+    }
+    // Acepta variantes sin paréntesis externos
+    const stripped = expected.replace(/^\(/, '').replace(/\)$/, '');
+    if ((0, normalize_1.formulasEqualText)(raw, stripped)) {
+        return {
+            correct: true,
+            score: 95,
+            feedback: `Correcto (los paréntesis externos son opcionales). ${ex.solution.explanation}`,
+        };
+    }
+    return {
+        correct: false,
+        score: scoreFormulaSimilarity(raw, expected),
+        feedback: `La traducción esperada es \`${expected}\`. ${ex.solution.explanation}`,
+        nextHint: pickHint(ex, scoreFormulaSimilarity(raw, expected)),
+    };
+}
+function scoreFormulaSimilarity(a, b) {
+    const na = (0, normalize_1.normalizeFormula)(a);
+    const nb = (0, normalize_1.normalizeFormula)(b);
+    if (na === nb)
+        return 100;
+    if (na.length === 0 || nb.length === 0)
+        return 0;
+    let common = 0;
+    for (const ch of nb) {
+        if (na.includes(ch))
+            common++;
+    }
+    return Math.min(50, Math.round((common / nb.length) * 50));
+}
+const CHECKERS = {
+    validity: (ex, raw) => checkValidityAnswer(ex, raw),
+    satisfiability: (ex, raw) => checkSatisfiabilityAnswer(ex, raw),
+    derive: (ex, raw) => checkDeriveAnswer(ex, raw),
+    countermodel: (ex, raw, obj) => checkCountermodelAnswer(ex, raw, obj.valuation),
+    translate: (ex, raw) => checkTranslateAnswer(ex, raw),
+};
+function checkAnswer(exercise, studentAnswer) {
+    const obj = toAnswerObject(studentAnswer);
+    const raw = (obj.answer ?? obj.formula ?? '').toString();
+    const checker = CHECKERS[exercise.kind];
+    if (!checker) {
+        return {
+            correct: false,
+            score: 0,
+            feedback: `Tipo de ejercicio no soportado: ${exercise.kind}`,
+        };
+    }
+    if (!raw && !obj.valuation) {
+        return {
+            correct: false,
+            score: 0,
+            feedback: 'No proporcionaste una respuesta.',
+            nextHint: exercise.hints[0],
+        };
+    }
+    return checker(exercise, raw, obj);
+}
+//# sourceMappingURL=checker.js.map

package/dist/tooling/educational/checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/tooling/educational/checker.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;;AAiO/D,kCAoBC;AAnPD,mCAAqC;AAErC,2CAAiG;AAEjG,SAAS,cAAc,CAAC,GAAkB;IACxC,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACpD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,EAAY,EAAE,YAAoB;IAClD,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,YAAY,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,YAAY,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAY;IACpC,IAAI,CAAC,EAAE,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC,OAAO,iBAAiB,EAAE,CAAC,OAAO,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IAC7C,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACjD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAAC,EAAY;IAC1C,IAAI,CAAC,EAAE,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC,OAAO,uBAAuB,EAAE,CAAC,OAAO,EAAE,CAAC;IACtE,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IACzD,IAAI,KAAK,CAAC,MAAM,KAAK,eAAe;QAAE,OAAO,eAAe,CAAC;IAC7D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,OAAe,EAAE,SAAkC;IAC1E,IAAI,GAAG,GAAG,OAAO,CAAC;IAClB,qEAAqE;IACrE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,MAAM,IAAI,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,oBAAoB,CAAC,EAAY,EAAE,SAAkC;IAC5E,IAAI,CAAC,EAAE,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,WAAW,GAAG,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC,OAAO,uBAAuB,WAAW,EAAE,CAAC;IACvE,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,2EAA2E;IAC3E,uDAAuD;IACvD,OAAO,KAAK,CAAC,MAAM,KAAK,eAAe,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;AACxE,CAAC;AAED,SAAS,mBAAmB,CAAC,EAAY,EAAE,GAAW;IACpD,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;IACvD,MAAM,QAAQ,GAAG,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACzD,MAAM,EAAE,GAAG,IAAA,yBAAa,EAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACxC,IAAI,EAAE,EAAE,CAAC;QACP,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,GAAG;YACV,QAAQ,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SACjD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,6BAA6B,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,OAAO,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;QAClI,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,EAAY,EAAE,GAAW;IAC1D,MAAM,KAAK,GAAG,sBAAsB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC7D,MAAM,QAAQ,GAAG,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC;IAC3E,MAAM,EAAE,GAAG,IAAA,yBAAa,EAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACxC,IAAI,EAAE,EAAE,CAAC;QACP,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,GAAG;YACV,QAAQ,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SACjD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,6BAA6B,QAAQ,KAAK,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,KAAK,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;QACnI,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAY,EAAE,GAAW;IAClD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,QAAQ,CAAC,gBAAgB,IAAI,EAAE,CAAC;IACnE,IAAI,YAAY,IAAI,IAAA,6BAAiB,EAAC,GAAG,EAAE,YAAY,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,GAAG;YACV,QAAQ,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SACjD,CAAC;IACJ,CAAC;IACD,IACE,OAAO,KAAK,IAAI;QAChB,OAAO,KAAK,IAAI;QAChB,OAAO,KAAK,KAAK;QACjB,OAAO,KAAK,UAAU;QACtB,OAAO,KAAK,WAAW;QACvB,OAAO,KAAK,MAAM,EAClB,CAAC;QACD,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACpC,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,kFAAkF,YAAY,OAAO,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;aACzI,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,kEAAkE,YAAY,OAAO,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;QACxH,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,EAAY,EACZ,OAAe,EACf,eAAoD;IAEpD,IAAI,SAAS,GAAG,eAAe,CAAC;IAChC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,IAAA,0BAAc,EAAC,OAAO,CAAC,CAAC;QACvC,IAAI,MAAM;YAAE,SAAS,GAAG,MAAM,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC;YACR,QAAQ,EACN,wIAAwI;YAC1I,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;SAC1B,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,oBAAoB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IAC3D,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,GAAG;YACV,QAAQ,EAAE,2BAA2B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,2BAA2B,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SACnH,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,iBAAiB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,sFAAsF,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;QACnK,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,EAAY,EAAE,GAAW;IACrD,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,gBAAgB,IAAI,EAAE,CAAC;IACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC;YACR,QAAQ,EAAE,4DAA4D;SACvE,CAAC;IACJ,CAAC;IACD,IAAI,IAAA,6BAAiB,EAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,GAAG;YACV,QAAQ,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SACjD,CAAC;IACJ,CAAC;IACD,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAChE,IAAI,IAAA,6BAAiB,EAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,EAAE;YACT,QAAQ,EAAE,sDAAsD,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SAC1F,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,sBAAsB,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC5C,QAAQ,EAAE,+BAA+B,QAAQ,OAAO,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;QACjF,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,sBAAsB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,CAAS,EAAE,CAAS;IAClD,MAAM,EAAE,GAAG,IAAA,4BAAgB,EAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,EAAE,GAAG,IAAA,4BAAgB,EAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,GAAG,CAAC;IAC1B,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACjD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACpB,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,MAAM,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,QAAQ,GAGV;IACF,QAAQ,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,EAAE,GAAG,CAAC;IACnD,cAAc,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,EAAE,GAAG,CAAC;IAC/D,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,EAAE,GAAG,CAAC;IAC/C,YAAY,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC;IAC/E,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,EAAE,EAAE,GAAG,CAAC;CACtD,CAAC;AAEF,SAAgB,WAAW,CAAC,QAAkB,EAAE,aAA4B;IAC1E,MAAM,GAAG,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzD,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC;YACR,QAAQ,EAAE,mCAAmC,QAAQ,CAAC,IAAI,EAAE;SAC7D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;QAC3B,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC;YACR,QAAQ,EAAE,kCAAkC;YAC5C,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;SAC5B,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AACrC,CAAC"}

package/dist/tooling/educational/generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.d.ts","sourceRoot":"","sources":["../../../src/tooling/educational/generator.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,aAAa,EAEb,eAAe,EACf,WAAW,EAEZ,MAAM,SAAS,CAAC;AAkGjB,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,YAAY,EAClB,OAAO,GAAE,eAAoB,GAC5B,QAAQ,CA4CV;AASD,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,WAAW,EACpB,WAAW,EAAE,aAAa,EAC1B,OAAO,GAAE,eAAoB,GAC5B,QAAQ,EAAE,CA2BZ"}

package/dist/tooling/educational/generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../../../src/tooling/educational/generator.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;;AA4G/D,4CAiDC;AASD,gDA+BC;AA1LD,+BAA4C;AAC5C,2CAA6F;AAE7F,SAAS,oBAAoB,CAC3B,MAAwF;IAExF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAkB,EAClB,MAAwF,EACxF,gBAAoC,EACpC,gBAAqD;IAErD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU;YACb,OAAO,MAAM,KAAK,OAAO;gBACvB,CAAC,CAAC;oBACE,QAAQ,EAAE,OAAO;oBACjB,UAAU,EAAE;wBACV,OAAO;wBACP,IAAI;wBACJ,IAAI;wBACJ,KAAK;wBACL,WAAW;wBACX,YAAY;wBACZ,YAAY;wBACZ,QAAQ;wBACR,QAAQ;qBACT;iBACF;gBACH,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QAC9F,KAAK,gBAAgB;YACnB,OAAO,MAAM,KAAK,aAAa;gBAC7B,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,aAAa,CAAC,EAAE;gBAChF,CAAC,CAAC;oBACE,QAAQ,EAAE,eAAe;oBACzB,UAAU,EAAE;wBACV,eAAe;wBACf,OAAO;wBACP,eAAe;wBACf,eAAe;wBACf,eAAe;qBAChB;iBACF,CAAC;QACR,KAAK,QAAQ;YACX,OAAO;gBACL,QAAQ,EAAE,gBAAgB,IAAI,UAAU;gBACxC,UAAU,EACR,MAAM,KAAK,UAAU;oBACnB,CAAC,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,IAAI,EAAE,CAAC;oBAC9E,CAAC,CAAC,CAAC,WAAW,EAAE,cAAc,EAAE,IAAI,CAAC;aAC1C,CAAC;QACJ,KAAK,cAAc;YACjB,IAAI,gBAAgB,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;qBAC1C,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;qBACxC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACd,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC;YAClF,CAAC;YACD,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;QACtD,KAAK,WAAW;YACd,OAAO;gBACL,QAAQ,EAAE,gBAAgB,IAAI,EAAE;gBAChC,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE;aACvD,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,QAA0B,EAC1B,WAAkD;IAElD,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAChD,QAAQ,CAAC,IAAI,EACb,WAAW,CAAC,cAAc,EAC1B,WAAW,CAAC,gBAAgB,EAC5B,WAAW,CAAC,gBAAgB,CAC7B,CAAC;IACF,OAAO;QACL,IAAI,EAAE,oBAAoB,CAAC,WAAW,CAAC,cAAc,CAAC;QACtD,cAAc,EAAE,QAAQ;QACxB,iBAAiB,EAAE,UAAU;QAC7B,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;QAC9C,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;KAC/C,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,QAA0B,EAAE,GAAc;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC;SACxC,QAAQ,CAAC,EAAE,CAAC;SACZ,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACpB,OAAO,GAAG,QAAQ,CAAC,EAAE,IAAI,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,SAAgB,gBAAgB,CAC9B,KAAoB,EACpB,OAAoB,EACpB,IAAkB,EAClB,UAA2B,EAAE;IAE7B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,IAAA,cAAQ,GAAE,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,eAAS,CAAC,IAAI,CAAC,CAAC;IAEhC,IAAI,UAA8B,CAAC;IACnC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,IAAA,4BAAgB,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,CAAC,UAAU,iBAAiB,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,CAAC,UAAU,2BAA2B,OAAO,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,CAAC,UAAU,iBAAiB,CAAC,CAAC,IAAI,UAAU,IAAI,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,CAAC,UAAU,iBAAiB,CAAC,CAAC,KAAK,QAAQ,KAAK,EAAE,CAAC,CAAC;QAC1F,CAAC;QACD,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,IAAA,4BAAgB,EAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,gCAAgC,KAAK,aAAa,OAAO,UAAU,IAAI,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,IAAA,oBAAQ,EAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAE5C,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC;QACzB,KAAK;QACL,OAAO;QACP,IAAI;QACJ,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC;KACxC,CAAC;AACJ,CAAC;AAED,MAAM,yBAAyB,GAA0C;IACvE,CAAC,EAAE,CAAC,UAAU,EAAE,gBAAgB,EAAE,WAAW,CAAC;IAC9C,CAAC,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC;IACzC,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;IACzB,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;CAC1B,CAAC;AAEF,SAAgB,kBAAkB,CAChC,OAAoB,EACpB,WAA0B,EAC1B,UAA2B,EAAE;IAE7B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,IAAA,cAAQ,GAAE,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,eAAS,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,IAAI,GAAe,EAAE,CAAC;IAE5B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,IAAI,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,GAAoB,CAAC;QACnC,MAAM,KAAK,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,IAAA,4BAAgB,EAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAC1D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACtC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YACxD,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;gBACrE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,CAAC;YAAC,MAAM,CAAC;gBACP,sCAAsC;YACxC,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,kDAAkD,OAAO,iBAAiB,WAAW,EAAE,CACxF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/tooling/educational/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tooling/educational/index.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,WAAW,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAChF,OAAO,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC"}

package/dist/tooling/educational/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tooling/educational/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,sDAAsD;AACtD,+DAA+D;;;AAE/D,iCAaiB;AADf,yGAAA,gBAAgB,OAAA;AAGlB,yCAAmE;AAA1D,6GAAA,gBAAgB,OAAA;AAAE,+GAAA,kBAAkB,OAAA;AAC7C,qCAAwC;AAA/B,sGAAA,WAAW,OAAA;AACpB,yCAAgF;AAAvE,0GAAA,aAAa,OAAA;AAAE,6GAAA,gBAAgB,OAAA;AAAE,6GAAA,gBAAgB,OAAA;AAC1D,6BAAkC;AAAzB,gGAAA,SAAS,OAAA"}

package/dist/tooling/educational/normalize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.d.ts","sourceRoot":"","sources":["../../../src/tooling/educational/normalize.ts"],"names":[],"mappings":"AAIA,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE/C;AAuCD,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAKvE;AAYD,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAalD;AAED,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAE/D;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAmC1E"}

package/dist/tooling/educational/normalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.js","sourceRoot":"","sources":["../../../src/tooling/educational/normalize.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,+DAA+D;;AAE/D,sCAEC;AAuCD,sCAKC;AAYD,4CAaC;AAED,8CAEC;AAED,wCAmCC;AAhHD,SAAgB,aAAa,CAAC,CAAS;IACrC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5F,CAAC;AAED,MAAM,eAAe,GAA6B;IAChD,KAAK,EAAE;QACL,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,YAAY;QACZ,YAAY;QACZ,MAAM;QACN,WAAW;QACX,IAAI;QACJ,IAAI;QACJ,KAAK;KACN;IACD,OAAO,EAAE;QACP,SAAS;QACT,UAAU;QACV,UAAU;QACV,IAAI;QACJ,OAAO;QACP,OAAO;QACP,WAAW;QACX,WAAW;QACX,WAAW;KACZ;IACD,WAAW,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE,cAAc,CAAC;IAClE,aAAa,EAAE;QACb,eAAe;QACf,OAAO;QACP,eAAe;QACf,eAAe;QACf,eAAe;QACf,gBAAgB;KACjB;IACD,QAAQ,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC;IAC3E,SAAS,EAAE,CAAC,WAAW,EAAE,cAAc,EAAE,cAAc,CAAC;CACzD,CAAC;AAEF,SAAgB,aAAa,CAAC,MAAc,EAAE,QAAgB;IAC5D,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,CAAC,QAAQ;QAAE,OAAO,UAAU,KAAK,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC7D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,qBAAqB,GAA4B;IACrD,CAAC,OAAO,EAAE,IAAI,CAAC;IACf,CAAC,QAAQ,EAAE,KAAK,CAAC;IACjB,CAAC,QAAQ,EAAE,GAAG,CAAC;IACf,CAAC,MAAM,EAAE,GAAG,CAAC;IACb,CAAC,MAAM,EAAE,GAAG,CAAC;IACb,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,SAAgB,gBAAgB,CAAC,CAAS;IACxC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,qBAAqB,EAAE,CAAC;QAC9C,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,GAAG,GAAG,GAAG;SACN,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;SACnB,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;SACzB,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;SACxB,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;SACzB,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC;SAC9B,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC3B,CAAC;AAED,SAAgB,iBAAiB,CAAC,CAAS,EAAE,CAAS;IACpD,OAAO,gBAAgB,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAgB,cAAc,CAAC,GAAW;IACxC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA4B,CAAC;YAC9D,MAAM,GAAG,GAA4B,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5C,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;oBAC3B,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC;gBAC3B,CAAC;qBAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;oBACjC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACjC,CAAC;qBAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;oBACjC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC9E,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACvC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACvE,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,CAAC;QACvF,MAAM,KAAK,GAAG,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,GAAG,CAAC;QACrE,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK;YAAE,SAAS;QAChC,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QACnB,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/B,CAAC"}

package/dist/tooling/educational/rng.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rng.d.ts","sourceRoot":"","sources":["../../../src/tooling/educational/rng.ts"],"names":[],"mappings":"AAIA,qBAAa,SAAS;IACpB,OAAO,CAAC,KAAK,CAAS;gBAEV,IAAI,EAAE,MAAM;IAIxB,IAAI,IAAI,MAAM;IAOd,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAIrC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC;IAQ7B,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE;CAUnC;AAID,wBAAgB,QAAQ,IAAI,MAAM,CAIjC"}

package/dist/tooling/educational/rng.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rng.js","sourceRoot":"","sources":["../../../src/tooling/educational/rng.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,0DAA0D;AAC1D,+DAA+D;;;AA0C/D,4BAIC;AA5CD,MAAa,SAAS;IACZ,KAAK,CAAS;IAEtB,YAAY,IAAY;QACtB,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI;QACF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,UAAU,CAAC,CAAC;QACnC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC;IAED,GAAG,CAAC,GAAW,EAAE,GAAW;QAC1B,OAAO,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,CAAI,GAAiB;QACvB,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACjD,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAI,GAAiB;QAC1B,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5C,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACZ,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QACb,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;CACF;AApCD,8BAoCC;AAED,IAAI,aAAa,GAAG,CAAC,CAAC;AAEtB,SAAgB,QAAQ;IACtB,aAAa,GAAG,CAAC,aAAa,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC;IAClC,OAAO,CAAC,CAAC,GAAG,CAAC,aAAa,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC;AAChD,CAAC"}

package/dist/tooling/educational/templates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.d.ts","sourceRoot":"","sources":["../../../src/tooling/educational/templates.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC;AAElC,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,GAAG,EAAE,SAAS,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,OAAO,GAAG,SAAS,GAAG,aAAa,GAAG,eAAe,GAAG,UAAU,GAAG,WAAW,CAAC;IACjG,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,aAAa,CAAC;IACrB,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,GAAG,EAAE,eAAe,GAAG,WAAW,CAAC;CAC1C;AAID,wBAAgB,QAAQ,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAGhE;AAikBD,wBAAgB,aAAa,IAAI,gBAAgB,EAAE,CAElD;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,YAAY,GACjB,gBAAgB,EAAE,CAIpB;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAEzE"}

package/dist/tooling/educational/templates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.js","sourceRoot":"","sources":["../../../src/tooling/educational/templates.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qCAAqC;AACrC,+DAA+D;;AAiC/D,4BAGC;AAikBD,sCAEC;AAED,4CAQC;AAED,4CAEC;AAtlBD,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEpD,SAAgB,QAAQ,CAAC,GAAc,EAAE,KAAa;IACpD,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC3C,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAClC,CAAC;AAED,iEAAiE;AAEjE,MAAM,aAAa,GAAuB;IACxC;QACE,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YACzB,OAAO;gBACL,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBACzB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBAClC,cAAc,EAAE,OAAO;gBACvB,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,8CAA8C;gBAChF,KAAK,EAAE;oBACL,+DAA+D;oBAC/D,4BAA4B,CAAC,QAAQ,CAAC,qBAAqB,CAAC,OAAO,CAAC,eAAe;oBACnF,6EAA6E;iBAC9E;gBACD,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,iNAAiN;aAC3O,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YACzB,OAAO;gBACL,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG;gBAC3B,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG;gBACpC,cAAc,EAAE,OAAO;gBACvB,MAAM,EAAE,mBAAmB,CAAC,OAAO,CAAC,iCAAiC;gBACrE,KAAK,EAAE;oBACL,6BAA6B;oBAC7B,0CAA0C;oBAC1C,8CAA8C;iBAC/C;gBACD,WAAW,EACT,4JAA4J;aAC/J,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG;gBAClC,gBAAgB,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG;gBAC3C,cAAc,EAAE,OAAO;gBACvB,MAAM,EAAE,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe;gBAC1D,KAAK,EAAE;oBACL,yEAAyE;oBACzE,MAAM,CAAC,MAAM,CAAC,mCAAmC,CAAC,sBAAsB;oBACxE,yDAAyD;iBAC1D;gBACD,WAAW,EACT,4GAA4G;aAC/G,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI;gBAClC,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI;gBAC3C,cAAc,EAAE,OAAO;gBACvB,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,gBAAgB;gBAC1D,KAAK,EAAE;oBACL,2DAA2D;oBAC3D,oEAAoE;oBACpE,iDAAiD;iBAClD;gBACD,WAAW,EACT,iIAAiI;aACpI,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YACzB,OAAO;gBACL,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBACzB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBAClC,cAAc,EAAE,OAAO;gBACvB,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,iCAAiC;gBACnE,KAAK,EAAE;oBACL,kEAAkE;oBAClE,6DAA6D;oBAC7D,6EAA6E;iBAC9E;gBACD,WAAW,EACT,gKAAgK;aACnK,CAAC;QACJ,CAAC;KACF;CACF,CAAC;AAEF,2CAA2C;AAE3C,MAAM,QAAQ,GAAuB;IACnC;QACE,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,gBAAgB;QACtB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YACzB,OAAO;gBACL,OAAO,EAAE,GAAG,CAAC,EAAE;gBACf,gBAAgB,EAAE,GAAG,CAAC,EAAE;gBACxB,cAAc,EAAE,aAAa;gBAC7B,MAAM,EAAE,iBAAiB,CAAC,qBAAqB;gBAC/C,KAAK,EAAE;oBACL,gFAAgF;oBAChF,gBAAgB,CAAC,KAAK;oBACtB,cAAc,CAAC,wCAAwC;iBACxD;gBACD,WAAW,EAAE,oDAAoD,CAAC,KAAK;aACxE,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,gBAAgB;QACtB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YACzB,OAAO;gBACL,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBACzB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBAClC,cAAc,EAAE,eAAe;gBAC/B,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,qBAAqB;gBACvD,KAAK,EAAE;oBACL,mDAAmD;oBACnD,gCAAgC;oBAChC,oFAAoF;iBACrF;gBACD,WAAW,EACT,iIAAiI;aACpI,CAAC;QACJ,CAAC;KACF;CACF,CAAC;AAEF,8CAA8C;AAE9C,MAAM,IAAI,GAAuB;IAC/B;QACE,EAAE,EAAE,iBAAiB;QACrB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBACpC,IAAI,EAAE,GAAG,CAAC,EAAE;gBACZ,gBAAgB,EAAE,GAAG,CAAC,EAAE;gBACxB,cAAc,EAAE,UAAU;gBAC1B,MAAM,EAAE,YAAY,CAAC,kCAAkC,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK;gBAChF,KAAK,EAAE;oBACL,2CAA2C;oBAC3C,gBAAgB,CAAC,aAAa,CAAC,aAAa,CAAC,wBAAwB;oBACrE,sCAAsC;iBACvC;gBACD,WAAW,EACT,oGAAoG;aACvG,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;gBACrC,IAAI,EAAE,IAAI,CAAC,EAAE;gBACb,gBAAgB,EAAE,IAAI,CAAC,EAAE;gBACzB,cAAc,EAAE,UAAU;gBAC1B,MAAM,EAAE,aAAa,CAAC,qBAAqB,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK;gBACrE,KAAK,EAAE;oBACL,4FAA4F;oBAC5F,MAAM,CAAC,qBAAqB,CAAC,wBAAwB,CAAC,YAAY;oBAClE,yCAAyC;iBAC1C;gBACD,WAAW,EACT,uHAAuH;aAC1H,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YACnE,OAAO;gBACL,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;gBAC9C,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBACtB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBAClC,cAAc,EAAE,UAAU;gBAC1B,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,oBAAoB,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK;gBAClF,KAAK,EAAE;oBACL,+BAA+B;oBAC/B,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,6BAA6B,CAAC,MAAM,CAAC,GAAG;oBAChF,kDAAkD;iBACnD;gBACD,WAAW,EACT,sFAAsF;aACzF,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;gBACpC,IAAI,EAAE,GAAG,CAAC,EAAE;gBACZ,gBAAgB,EAAE,GAAG,CAAC,EAAE;gBACxB,cAAc,EAAE,UAAU;gBAC1B,MAAM,EAAE,YAAY,CAAC,oBAAoB,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK;gBAClE,KAAK,EAAE;oBACL,uEAAuE;oBACvE,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,iCAAiC,CAAC,GAAG;oBACvE,+CAA+C;iBAChD;gBACD,WAAW,EAAE,mEAAmE;aACjF,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,8BAA8B;QAClC,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG;gBAC5C,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG;gBACrD,cAAc,EAAE,SAAS;gBACzB,MAAM,EAAE,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe;gBACpE,KAAK,EAAE;oBACL,8DAA8D;oBAC9D,aAAa,CAAC,OAAO,CAAC,mDAAmD;oBACzE,yEAAyE;iBAC1E;gBACD,WAAW,EACT,mHAAmH;gBACrH,gBAAgB,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;aAC5C,CAAC;QACJ,CAAC;KACF;CACF,CAAC;AAEF,yCAAyC;AAEzC,MAAM,iBAAiB,GAAuB;IAC5C;QACE,EAAE,EAAE,UAAU;QACd,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,cAAc;QACpB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBACzB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBAClC,cAAc,EAAE,SAAS;gBACzB,MAAM,EAAE,8CAA8C,CAAC,OAAO,CAAC,6CAA6C,CAAC,MAAM,CAAC,8CAA8C,CAAC,OAAO,CAAC,qBAAqB;gBAChM,KAAK,EAAE;oBACL,kDAAkD;oBAClD,uEAAuE;oBACvE,GAAG,CAAC,OAAO,CAAC,uCAAuC;iBACpD;gBACD,WAAW,EAAE,kBAAkB,CAAC,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,6CAA6C;gBACrH,gBAAgB,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE;aAC5C,CAAC;QACJ,CAAC;KACF;CACF,CAAC;AAEF,sEAAsE;AAEtE,MAAM,IAAI,GAAuB;IAC/B;QACE,EAAE,EAAE,eAAe;QACnB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,8BAA8B,CAAC;QAC1C,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YACzB,OAAO;gBACL,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBACzB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBAClC,cAAc,EAAE,SAAS;gBACzB,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,uCAAuC;gBACzE,KAAK,EAAE;oBACL,sFAAsF;oBACtF,qEAAqE;oBACrE,iFAAiF;iBAClF;gBACD,WAAW,EACT,6KAA6K;aAChL,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,eAAe;QACnB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,8BAA8B,CAAC;QAC1C,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YACzB,OAAO;gBACL,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG;gBAC3B,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG;gBACpC,cAAc,EAAE,SAAS;gBACzB,MAAM,EAAE,mBAAmB,CAAC,OAAO,CAAC,uEAAuE;gBAC3G,KAAK,EAAE;oBACL,gDAAgD;oBAChD,2EAA2E;oBAC3E,mEAAmE;iBACpE;gBACD,WAAW,EACT,4HAA4H;aAC/H,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI;gBAC/C,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI;gBACxD,cAAc,EAAE,OAAO;gBACvB,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,kCAAkC;gBACzF,KAAK,EAAE;oBACL,wCAAwC;oBACxC,kEAAkE;oBAClE,kDAAkD;iBACnD;gBACD,WAAW,EACT,4GAA4G;aAC/G,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;gBAC5B,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG;gBACxB,gBAAgB,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG;gBACpC,cAAc,EAAE,UAAU;gBAC1B,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,oBAAoB,CAAC,OAAO,CAAC,KAAK;gBACjE,KAAK,EAAE;oBACL,+CAA+C;oBAC/C,yBAAyB;oBACzB,oEAAoE;iBACrE;gBACD,WAAW,EACT,2FAA2F;aAC9F,CAAC;QACJ,CAAC;KACF;CACF,CAAC;AAEF,2DAA2D;AAE3D,MAAM,IAAI,GAAuB;IAC/B;QACE,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YACtF,OAAO;gBACL,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBACxE,IAAI,EAAE,GAAG,CAAC,EAAE;gBACZ,gBAAgB,EAAE,GAAG,CAAC,EAAE;gBACxB,cAAc,EAAE,UAAU;gBAC1B,MAAM,EAAE,YAAY,CAAC,oBAAoB,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK;gBACtG,KAAK,EAAE;oBACL,sCAAsC;oBACtC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa;oBAChD,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG;iBACrC;gBACD,WAAW,EACT,6GAA6G;aAChH,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,WAAW;QACf,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG;gBAC7C,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG;gBACtD,cAAc,EAAE,OAAO;gBACvB,MAAM,EAAE,6BAA6B,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,iCAAiC;gBACjG,KAAK,EAAE;oBACL,sFAAsF;oBACtF,4EAA4E;oBAC5E,sDAAsD;iBACvD;gBACD,WAAW,EACT,oIAAoI;aACvI,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,CAAC,8BAA8B,CAAC;QAC1C,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG;gBAC7C,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG;gBACtD,cAAc,EAAE,SAAS;gBACzB,MAAM,EAAE,6BAA6B,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,uCAAuC;gBACvG,KAAK,EAAE;oBACL,4CAA4C;oBAC5C,oEAAoE;oBACpE,iEAAiE;iBAClE;gBACD,WAAW,EACT,+GAA+G;aAClH,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YACnE,OAAO;gBACL,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;gBAC/D,IAAI,EAAE,GAAG,CAAC,EAAE;gBACZ,gBAAgB,EAAE,GAAG,CAAC,EAAE;gBACxB,cAAc,EAAE,UAAU;gBAC1B,MAAM,EAAE,YAAY,CAAC,oBAAoB,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK;gBAC3F,KAAK,EAAE;oBACL,oEAAoE;oBACpE,uDAAuD;oBACvD,wDAAwD;iBACzD;gBACD,WAAW,EACT,yIAAyI;aAC5I,CAAC;QACJ,CAAC;KACF;CACF,CAAC;AAEF,kDAAkD;AAElD,MAAM,cAAc,GAAuB;IACzC;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG;gBACjC,cAAc,EAAE,OAAO;gBACvB,MAAM,EAAE,gCAAgC,CAAC,MAAM,CAAC,8CAA8C;gBAC9F,KAAK,EAAE;oBACL,iCAAiC;oBACjC,qBAAqB,CAAC,MAAM,CAAC,GAAG;oBAChC,cAAc,CAAC,MAAM,CAAC,GAAG;iBAC1B;gBACD,WAAW,EAAE,8DAA8D;aAC5E,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAClB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAChD,OAAO;gBACL,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG;gBAClC,cAAc,EAAE,OAAO;gBACvB,MAAM,EAAE,mCAAmC,CAAC,aAAa,CAAC,gCAAgC;gBAC1F,KAAK,EAAE;oBACL,yCAAyC;oBACzC,6BAA6B;oBAC7B,cAAc,CAAC,OAAO,CAAC,GAAG;iBAC3B;gBACD,WAAW,EAAE,gEAAgE;aAC9E,CAAC;QACJ,CAAC;KACF;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,GAAG,aAAa;IAChB,GAAG,QAAQ;IACX,GAAG,cAAc;IACjB,GAAG,IAAI;IACP,GAAG,iBAAiB;IACpB,GAAG,IAAI;IACP,GAAG,IAAI;CACR,CAAC;AAEF,SAAgB,aAAa;IAC3B,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC;AAC3B,CAAC;AAED,SAAgB,gBAAgB,CAC9B,KAAoB,EACpB,OAAoB,EACpB,IAAkB;IAElB,OAAO,SAAS,CAAC,MAAM,CACrB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAC5E,CAAC;AACJ,CAAC;AAED,SAAgB,gBAAgB,CAAC,EAAU;IACzC,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5C,CAAC"}

package/dist/tooling/educational/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/tooling/educational/types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,aAAa,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE1C,MAAM,MAAM,YAAY,GAAG,gBAAgB,GAAG,UAAU,GAAG,QAAQ,GAAG,cAAc,GAAG,WAAW,CAAC;AAEnG,MAAM,MAAM,WAAW,GACnB,yBAAyB,GACzB,uBAAuB,GACvB,8BAA8B,GAC9B,uBAAuB,GACvB,SAAS,GACT,cAAc,GACd,kBAAkB,GAClB,cAAc,GACd,0BAA0B,GAC1B,qBAAqB,GACrB,YAAY,CAAC;AAEjB,MAAM,MAAM,YAAY,GACpB,OAAO,GACP,SAAS,GACT,aAAa,GACb,eAAe,GACf,UAAU,GACV,WAAW,GACX,WAAW,CAAC;AAEhB,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,YAAY,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,aAAa,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,gBAAgB,CAAC;CAC5B;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,mBAAmB,CAAC;AAEzD,MAAM,WAAW,mBAAmB;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAExD,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,QAAQ,GAAG,cAAc,CAY7D"}

package/dist/tooling/educational/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/tooling/educational/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;;AAyE/D,4CAYC;AAZD,SAAgB,gBAAgB,CAAC,EAAY;IAC3C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,KAAK,EAAE,EAAE,CAAC,KAAK;QACf,OAAO,EAAE,EAAE,CAAC,OAAO;QACnB,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,MAAM,EAAE,EAAE,CAAC,MAAM;QACjB,OAAO,EAAE,EAAE,CAAC,OAAO;QACnB,QAAQ,EAAE,EAAE,CAAC,QAAQ;QACrB,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,KAAK,EAAE,EAAE,CAAC,KAAK;KAChB,CAAC;AACJ,CAAC"}

package/dist/tooling/exporters/coq/index.d.ts

@@ -0,0 +1,35 @@
+import { Formula, Proof } from '../../../types';
+export interface CoqExportOptions {
+    /** Default: 'STExport' */
+    moduleName?: string;
+    /** Default: true — emits `Require Import Classical.` header */
+    includeImports?: boolean;
+    /** Default: true — emits a Theorem + Proof skeleton (Admitted. if not derivable) */
+    emitProof?: boolean;
+}
+/**
+ * Converts an ST Formula AST node into a Coq Prop expression string.
+ * Only classical connectives and quantifiers are handled; other kinds
+ * produce a `(* unsupported: <kind> *)` placeholder so callers can
+ * inspect what was dropped.
+ */
+export declare function formulaToCoqTerm(formula: Formula): string;
+/**
+ * Exports a single ST Formula as a Coq module with a `Definition`
+ * and an optional `Theorem` skeleton.
+ *
+ * @param formula - The ST Formula AST node.
+ * @param opts    - Export options (moduleName, includeImports, emitProof).
+ * @returns       Valid Coq source code as a string.
+ */
+export declare function exportToCoq(formula: Formula, opts?: CoqExportOptions): string;
+/**
+ * Exports an ST Proof object as a Coq module with a `Definition`
+ * and a `Theorem` block whose body is derived from the proof steps.
+ *
+ * @param proof - The ST Proof object.
+ * @param opts  - Export options.
+ * @returns     Valid Coq source code as a string.
+ */
+export declare function exportProofToCoq(proof: Proof, opts?: CoqExportOptions): string;
+//# sourceMappingURL=index.d.ts.map

package/dist/tooling/exporters/coq/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/tooling/exporters/coq/index.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,OAAO,EAAE,KAAK,EAAa,MAAM,gBAAgB,CAAC;AAM3D,MAAM,WAAW,gBAAgB;IAC/B,0BAA0B;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,oFAAoF;IACpF,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAMD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAsEzD;AAqKD;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,gBAAgB,GAAG,MAAM,CA0B7E;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,gBAAgB,GAAG,MAAM,CA0B9E"}

package/dist/tooling/exporters/coq/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/tooling/exporters/coq/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,6DAA6D;AAC7D,+DAA+D;AAC/D,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;;AA2B/D,4CAsEC;AA6KD,kCA0BC;AAUD,4CA0BC;AA3TD,mEAAmE;AACnE,qBAAqB;AACrB,mEAAmE;AAEnE;;;;;GAKG;AACH,SAAgB,gBAAgB,CAAC,OAAgB;IAC/C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,IAAI,IAAI,aAAa,CAAC;QAEvC,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAEhB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QAEjB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,2BAA2B,CAAC;YAC/C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;YACzC,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM,QAAQ,GAAG,CAAC;QACtE,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,4BAA4B,CAAC;YACzD,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC;QACtE,CAAC;QAED,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,2BAA2B,CAAC;YACxD,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC;QACtE,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU;gBAAE,OAAO,gCAAgC,CAAC;YACxE,OAAO,IAAI,gBAAgB,CAAC,UAAU,CAAC,OAAO,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC;QAChF,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,sCAAsC,CAAC;YACnE,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC;QACtE,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,GAAG,CAAC;YACzC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI;gBAAE,OAAO,8BAA8B,QAAQ,KAAK,CAAC;YAC9D,OAAO,WAAW,QAAQ,YAAY,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC;QAClE,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,GAAG,CAAC;YACzC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI;gBAAE,OAAO,8BAA8B,QAAQ,KAAK,CAAC;YAC9D,OAAO,WAAW,QAAQ,YAAY,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC;QAClE,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC;YACjC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;YACrD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrC,OAAO,IAAI,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACzC,CAAC;QAED;YACE,OAAO,gCAAgC,OAAO,CAAC,IAAI,KAAK,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,uEAAuE;AACvE,SAAS,WAAW,CAAC,CAAU;IAC7B,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,IAAI;QACf,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,IAAI,KAAK,QAAQ,CACpB,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,6BAA6B;AAC7B,mEAAmE;AAEnE;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,IAAe;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC;IAE9C,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1D,OAAO,eAAe,IAAI,CAAC,UAAU,mCAAmC,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAChE,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,OAAO,sEAAsE,CAAC;IAChF,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACpF,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC5F,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC1F,OAAO,4BAA4B,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5D,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,OAAO,8BAA8B,CAAC;IACxC,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACvF,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,OAAO,qDAAqD,CAAC;IAC/D,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,OAAO,2BAA2B,CAAC;IACrC,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACrD,OAAO,qDAAqD,CAAC;IAC/D,CAAC;IAED,OAAO,wCAAwC,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,aAAa,KAAK,CAAC;AAC7F,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,KAAY;IACpC,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,OAAO,uDAAuD,CAAC;IACjE,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,mEAAmE;AACnE,kCAAkC;AAClC,mEAAmE;AAEnE;;;GAGG;AACH,SAAS,gBAAgB,CAAC,OAAgB;IACxC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;QACxE,OAAO,cAAc,GAAG,CAAC,IAAI,cAAc,CAAC;IAC9C,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,OAAgB;IAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,OAAO,EAAE,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;YAC1D,OAAO,+CAA+C,CAAC;QACzD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,OAAgB;IACxC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAE9B,MAAM,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAE5B,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,GAAG,EAAE,IAAI,KAAK,WAAW,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxD,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC;gBAClC,OAAO,gCAAgC,KAAK,YAAY,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,OAAO,aAAa,OAAO,CAAC,QAAQ,IAAI,GAAG,GAAG,CAAC;IACjD,CAAC;IAED,OAAO,kCAAkC,CAAC;AAC5C,CAAC;AAED,mEAAmE;AACnE,wBAAwB;AACxB,mEAAmE;AAEnE;;;;;;;GAOG;AACH,SAAgB,WAAW,CAAC,OAAgB,EAAE,IAAuB;IACnE,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,IAAI,UAAU,CAAC;IAClD,MAAM,cAAc,GAAG,IAAI,EAAE,cAAc,IAAI,IAAI,CAAC;IACpD,MAAM,SAAS,GAAG,IAAI,EAAE,SAAS,IAAI,IAAI,CAAC;IAE1C,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,cAAc,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,UAAU,UAAU,GAAG,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,+BAA+B,OAAO,GAAG,CAAC,CAAC;IAEtD,IAAI,SAAS,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAO,UAAU,GAAG,CAAC,CAAC;IAEjC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,gBAAgB,CAAC,KAAY,EAAE,IAAuB;IACpE,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,IAAI,UAAU,CAAC;IAClD,MAAM,cAAc,GAAG,IAAI,EAAE,cAAc,IAAI,IAAI,CAAC;IACpD,MAAM,SAAS,GAAG,IAAI,EAAE,SAAS,IAAI,IAAI,CAAC;IAE1C,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,cAAc,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,UAAU,UAAU,GAAG,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,+BAA+B,OAAO,GAAG,CAAC,CAAC;IAEtD,IAAI,SAAS,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAO,UAAU,GAAG,CAAC,CAAC;IAEjC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/tooling/lsp/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tooling/lsp/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC5C,YAAY,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACnF,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAClD,cAAc,SAAS,CAAC"}

package/dist/tooling/lsp/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tooling/lsp/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;;;;;;;;;;;;;;;;;AAE/D,mCAA4C;AAAnC,0GAAA,gBAAgB,OAAA;AAEzB,uCAAmF;AAA1E,yGAAA,aAAa,OAAA;AAAE,uGAAA,WAAW,OAAA;AAAE,qGAAA,SAAS,OAAA;AAAE,0GAAA,cAAc,OAAA;AAE9D,0CAAwB"}

package/dist/tooling/lsp/protocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../../../src/tooling/lsp/protocol.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAK/E,MAAM,MAAM,eAAe,GAAG,cAAc,GAAG,mBAAmB,GAAG,eAAe,CAAC;AAErF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,eAAe,GAAG,mBAAmB,GAAG,MAAM,CAKpF;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAiC7D;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,IAAI,cAAc,CAE7E;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,IAAI,mBAAmB,CAEvF"}

package/dist/tooling/lsp/protocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../../../src/tooling/lsp/protocol.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iCAAiC;AACjC,+DAA+D;;AAkB/D,sCAKC;AAOD,kCAiCC;AAED,8BAEC;AAED,wCAEC;AAnED,MAAM,iBAAiB,GAAG,0BAA0B,CAAC;AACrD,MAAM,iBAAiB,GAAG,UAAU,CAAC;AASrC;;;GAGG;AACH,SAAgB,aAAa,CAAC,OAA8C;IAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,MAAM,UAAU,EAAE,MAAM,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,SAAgB,WAAW,CAAC,MAAc;IACxC,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,OAAO,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACpE,IAAI,SAAS,KAAK,CAAC,CAAC;YAAE,MAAM;QAE5B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,GAAG,SAAS,GAAG,iBAAiB,CAAC,MAAM,CAAC;YAC9C,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,SAAS,GAAG,iBAAiB,CAAC,MAAM,CAAC;QACvD,MAAM,OAAO,GAAG,SAAS,GAAG,aAAa,CAAC;QAC1C,IAAI,OAAO,GAAG,MAAM,CAAC,MAAM;YAAE,MAAM;QAEnC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/D,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAoB,CAAC;YACnD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;QAAC,MAAM,CAAC;YACP,uEAAuE;YACvE,wDAAwD;QAC1D,CAAC;QAED,MAAM,GAAG,OAAO,CAAC;IACnB,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,SAAgB,SAAS,CAAC,OAAwB;IAChD,OAAO,QAAQ,IAAI,OAAO,IAAI,IAAI,IAAI,OAAO,IAAI,OAAO,CAAC,EAAE,KAAK,SAAS,CAAC;AAC5E,CAAC;AAED,SAAgB,cAAc,CAAC,OAAwB;IACrD,OAAO,QAAQ,IAAI,OAAO,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC;AACnD,CAAC"}

package/dist/tooling/lsp/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../../src/tooling/lsp/server.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAW5C,OAAO,EAKL,KAAK,eAAe,EACrB,MAAM,YAAY,CAAC;AACpB,OAAO,EASL,KAAK,mBAAmB,EAExB,KAAK,eAAe,EAWrB,MAAM,SAAS,CAAC;AAQjB,MAAM,MAAM,eAAe,GAAG,eAAe,GAAG,mBAAmB,CAAC;AAMpE;;;;;;GAMG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAmC;IAC7D,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,iBAAiB,CAAS;IAClC,OAAO,CAAC,IAAI,CAAqC;gBAErC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,eAAe,KAAK,IAAI;IAIrD,gFAAgF;IAChF,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,IAAI;IAsB/C;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,eAAe,GAAG,eAAe,GAAG,IAAI;IAa1D,OAAO,CAAC,aAAa;IAmCrB,OAAO,CAAC,gBAAgB;IAexB,OAAO,CAAC,WAAW;IAyBnB,OAAO,CAAC,gBAAgB;IAsBxB,OAAO,CAAC,gBAAgB;IAoBxB,OAAO,CAAC,oBAAoB;IAyB5B,OAAO,CAAC,kBAAkB;IA2B1B,OAAO,CAAC,SAAS;IAQjB,OAAO,CAAC,WAAW;IAgBnB,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,UAAU;IAgBlB,OAAO,CAAC,kBAAkB;IAiC1B,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,KAAK;IAIb,iEAAiE;IACjE,aAAa,IAAI,OAAO;IAIxB,yCAAyC;IACzC,mBAAmB,IAAI,OAAO;CAG/B"}