@pie-framework/math-validation 1.4.3 → 2.0.0-next.20261110063142

package/lib/symbolic/index.js

@@ -1,340 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.isMathEqual = exports.simplify = void 0;
-const log_1 = require("../log");
-const mathjs_1 = require("../mathjs");
-const mathjs_2 = require("mathjs");
-const node_sort_1 = require("../node-sort");
-const compare_equations_1 = require("./compare-equations");
-const compare_compound_inequations_1 = require("./compare-compound-inequations");
-const m = mathjs_1.mathjs;
-const log = (0, log_1.logger)("mv:symbolic");
-// an angle counts as k quarter turns (90°, 180°, ...) only when it is one up to floating-point error,
-// which keeps angles that are only close, like 89.9999°, 1.5708 or 9090.001°, from being matched
-const ANGLE_TOLERANCE = 1e-9;
-// angles are evaluated as plain numbers, the Fraction config used elsewhere cannot represent pi
-const numeric = (0, mathjs_2.create)(mathjs_2.all);
-// tolerances for floating-point noise from trig functions, pi and angle conversions (PIE-905);
-// the noise grows with the angle, e.g. sin(2pi) = -2.4e-16, sin(200pi) = 3.9e-15, tan(36045°) - 1 = -5.4e-14,
-// so a value is accepted only when it agrees with the target to about 13 significant digits
-const RELATIVE_EPSILON = 1e-13;
-// floor for comparisons with 0, where a relative tolerance alone would require an exact match;
-// it covers residues such as sin(200pi) and cos(100.5pi) while still rejecting 0 vs 0.0000000000001
-const ABSOLUTE_EPSILON = 1e-14;
-const { simplify: ms, rationalize } = mathjs_1.mathjs;
-const SIMPLIFY_RULES = [
-    { l: "n1^(1/n2)", r: "nthRoot(n1, n2)" },
-    { l: "sqrt(n1)", r: "nthRoot(n1, 2)" },
-    { l: "nthRoot(-1, 2)", r: "i" },
-    { l: "(v1-v2)/n", r: "v1/n-v2/n" },
-    { l: "(v1-n)/n", r: "v1/n-1" },
-    { l: "n/n1-c1", r: "(n-c1*n1)/n1" },
-    { l: "i^2", r: "-1" },
-    { l: "pi", r: "3.141592653589793" },
-    { l: "n/(n*n1)", r: "1/n1" },
-    { l: "c1/(c2*(n3))", r: "(c1/c2)*(1/n3)" },
-    { l: "n1/(n(n+1)+1(n+1))", r: "n1/((n+1)^2)" },
-    // perfect square formula
-    { l: "(n1 + n2) ^ 2", r: "(n1 ^ 2) + 2*n1*n2 + (n2 ^ 2)" },
-    { l: "tzn(n1, n2)", r: "n1" },
-    { l: "n1/(-n2)", r: "-(n1/n2)" },
-    { l: "sin(n*pi)", r: "0" },
-    // logarithm rules
-    { l: "log(n1*n2, n3)", r: "log(n1, n3)+log(n2,n3)" },
-    { l: "log(n1/n2, n3)", r: "log(n1, n3)-log(n2,n3)" },
-    { l: "log(n1^n2, n3)", r: "n2*log(n1,n3)" },
-    // trigonometry: defining relations for tangent, cotangent, secant, and cosecant in terms of sine and cosine
-    { l: "sin(n)/cos(n)", r: "tan(n)" },
-    { l: "csc(n)", r: "1/sin(n)" },
-    { l: "sec(n)", r: "1/cos(n)" },
-    { l: "cot(n)", r: "1/tan(n)", r1: "cos(n)/sin(n)" },
-    { l: "1/tan(n)", r: "cos(n)/sin(n)" },
-    // TO DO: the Pythagorean formula for sines and cosines.
-    // inverse trigonometric functions relations
-    { l: "n1 == asin(n)", r: "n == sin(n1)" },
-    { l: "n1 == acos(n)", r: "n == cos(n1)" },
-    { l: "n1 == atan(n)", r: "n == tan(n1)" },
-    { l: "n1 == acot(n)", r: "n == cot(n1)" },
-    { l: "n1 == asec(n)", r: "n == sec(n1)" },
-    { l: "n1 == acsc(n)", r: "n == csc(n1)" },
-    // relationships between trigonometric functions and inverse trigonometric functions
-    { l: "sin(asin(n))", r: "n" },
-    { l: "cos(acos(n))", r: "n" },
-    { l: "tan(atan(n))", r: "n" },
-    { l: "sin(acsc(n))", r: "1/n" },
-    { l: "cos(asec(n))", r: "1/n" },
-    { l: "tan(acot(n))", r: "1/n" },
-];
-const simplify = (v) => {
-    const rules = SIMPLIFY_RULES.concat(ms.rules);
-    return ms(v, rules); //.concat(SIMPLIFY_RULES));
-};
-exports.simplify = simplify;
-const hasSymbol = (node, matches) => {
-    let found = false;
-    // the name of a function such as sqrt is a symbol too, under the path "fn"
-    node.traverse((n, path) => {
-        found = found || (n.isSymbolNode && path !== "fn" && matches(n.name));
-    });
-    return found;
-};
-// evaluates a constant expression as a plain number, undefined if it has variables;
-// any symbol other than pi and Infinity is a variable, even names mathjs knows as constants such as e, E or phi
-const evaluateNumber = (node) => {
-    if (hasSymbol(node, (name) => name !== "pi" && name !== "Infinity")) {
-        return undefined;
-    }
-    try {
-        const value = numeric.evaluate(node.toString());
-        return typeof value === "number" ? value : undefined;
-    }
-    catch (e) {
-        return undefined;
-    }
-};
-// returns k when the constant angle is (within tolerance) a multiple k of pi/2
-const quarterTurns = (angle) => {
-    const value = evaluateNumber(angle);
-    if (value === undefined || !isFinite(value)) {
-        return undefined;
-    }
-    const turns = value / (Math.PI / 2);
-    const k = Math.round(turns);
-    return Math.abs(turns - k) <= ANGLE_TOLERANCE * Math.max(1, Math.abs(k))
-        ? k
-        : undefined;
-};
-// replace trigonometric functions evaluated at an angle where they are zero or undefined
-// with their exact value, so that tan(90°) becomes Infinity instead of a large finite number
-const snapTrigonometricValues = (node) => {
-    let changed = false;
-    const r = node.transform((n) => {
-        var _a;
-        if (!n.isFunctionNode || ((_a = n.args) === null || _a === void 0 ? void 0 : _a.length) !== 1) {
-            return n;
-        }
-        const k = quarterTurns(n.args[0]);
-        if (k === undefined) {
-            return n;
-        }
-        const odd = Math.abs(k) % 2 === 1;
-        let snapped = n;
-        switch (n.fn.name) {
-            case "sin":
-                snapped = odd ? n : new m.ConstantNode(0);
-                break;
-            case "cos":
-                snapped = odd ? new m.ConstantNode(0) : n;
-                break;
-            case "tan":
-                snapped = odd ? new m.SymbolNode("Infinity") : new m.ConstantNode(0);
-                break;
-            case "cot":
-                snapped = odd ? new m.ConstantNode(0) : new m.SymbolNode("Infinity");
-                break;
-            case "sec":
-                snapped = odd ? new m.SymbolNode("Infinity") : n;
-                break;
-            case "csc":
-                snapped = odd ? n : new m.SymbolNode("Infinity");
-                break;
-        }
-        changed = changed || snapped !== n;
-        return snapped;
-    });
-    // keep the original node when nothing was replaced, later steps rely on its identity
-    return { r: changed ? r : node, changed };
-};
-const normalize = (a) => {
-    const snapped = snapTrigonometricValues(a);
-    let r = snapped.r;
-    // simplify and rationalize treat Infinity as a variable (1 / Infinity + 3 becomes (1 + 3 * Infinity) / Infinity)
-    // and keep the sign of a division by zero, so a constant expression with an Infinity or a division by zero is evaluated before it is normalized;
-    // other constant expressions keep their exact value, such as 1/3 in sin(0) + 1/3
-    const snappedValue = snapped.changed ? evaluateNumber(r) : undefined;
-    const valueWithSnappedTrigonometry = snappedValue !== undefined &&
-        (!isFinite(snappedValue) || hasSymbol(r, (name) => name === "Infinity"))
-        ? snappedValue
-        : undefined;
-    let onlyConstant = true;
-    let containsFunctionNode = false;
-    let containsArrayNode = false;
-    let pi = false;
-    let containsInverseFlag = false;
-    r.traverse(function (node, path, parent) {
-        if (node.isArrayNode) {
-            containsArrayNode = true;
-            node.items = node.items.map((item) => (0, exports.simplify)(item));
-        }
-        if (node.isSymbolNode) {
-            pi = pi || node.name === "pi";
-            containsInverseFlag = containsInverseFlag || node.name === "f^{-1}";
-        }
-    });
-    if (r.args) {
-        r.args = r.args.map((arg) => {
-            if (!arg.isFunctionNode &&
-                !arg.isArrayNode &&
-                !containsInverseFlag &&
-                !pi) {
-                try {
-                    arg = (0, exports.simplify)(arg);
-                }
-                catch (e) {
-                    // ok;
-                }
-            }
-            containsFunctionNode = containsFunctionNode || arg.isFunctionNode;
-            onlyConstant = onlyConstant && !!arg.isConstantNode;
-            return arg;
-        });
-        if (containsFunctionNode || containsInverseFlag) {
-            r.args = r.args.map((arg) => {
-                if (!arg.isFunctionNode && !arg.isArrayNode) {
-                    try {
-                        arg = rationalize((0, exports.simplify)(arg), {}, true).expression;
-                    }
-                    catch (e) {
-                        // ok;
-                    }
-                }
-                return arg;
-            });
-        }
-    }
-    if (r.fn !== "equal") {
-        try {
-            onlyConstant = false;
-            r = rationalize(r, {}, true).expression;
-        }
-        catch (_a) { }
-    }
-    if (r.conditionals && r.params) {
-        r.params = r.params.map((param) => (0, node_sort_1.sort)((0, exports.simplify)(param)));
-    }
-    if (!containsArrayNode && !onlyConstant) {
-        // overcome TypeError
-        try {
-            r = (0, exports.simplify)(r);
-        }
-        catch (e) { }
-    }
-    log("[normalize] input: ", a.toString(), "output: ", r.toString());
-    // an undefined value has no sign, so -tan(90°) and -1/cos(90°) are Infinity as well;
-    // an indeterminate result such as tan(90°) - tan(90°) or 0 * tan(90°) is NaN and must not simplify to a number
-    if (valueWithSnappedTrigonometry !== undefined) {
-        r = isNaN(valueWithSnappedTrigonometry)
-            ? new m.SymbolNode("NaN")
-            : isFinite(valueWithSnappedTrigonometry)
-                ? new m.ConstantNode(valueWithSnappedTrigonometry)
-                : new m.SymbolNode("Infinity");
-    }
-    if (r.toString() === "Infinity") {
-        r = new m.SymbolNode("Infinity");
-    }
-    return r;
-};
-// numeric value of an expression without variables, such as 5, -5 or -1/2; undefined for anything else
-const constantValue = (node) => {
-    if (node.filter((n) => n.isSymbolNode).length > 0) {
-        return undefined;
-    }
-    try {
-        const result = node.evaluate();
-        // equations and inequalities without variables evaluate to booleans
-        if (typeof result === "boolean") {
-            return undefined;
-        }
-        const value = +result;
-        return Number.isFinite(value) ? value : undefined;
-    }
-    catch (e) {
-        return undefined;
-    }
-};
-const areNearlyEqual = (a, b) => Math.abs(a - b) <
-    ABSOLUTE_EPSILON + RELATIVE_EPSILON * Math.max(Math.abs(a), Math.abs(b));
-const isIndeterminate = (node) => (node === null || node === void 0 ? void 0 : node.isSymbolNode) && node.name === "NaN";
-const isMathEqual = (a, b) => {
-    var _a, _b, _c, _d, _e, _f, _g, _h, _j;
-    let as;
-    let bs;
-    if ((a === null || a === void 0 ? void 0 : a.isUnit) && (b === null || b === void 0 ? void 0 : b.isUnit)) {
-        try {
-            return m.equal(a, b);
-        }
-        catch (e) {
-            log("[isMathEqual] Error comparing units:", (_a = a === null || a === void 0 ? void 0 : a.toString) === null || _a === void 0 ? void 0 : _a.call(a), (_b = b === null || b === void 0 ? void 0 : b.toString) === null || _b === void 0 ? void 0 : _b.call(b), e);
-            return false;
-        }
-    }
-    if ((a === null || a === void 0 ? void 0 : a.isUnit) || (b === null || b === void 0 ? void 0 : b.isUnit)) {
-        log("[isMathEqual] Mismatched unit comparison:", (_c = a === null || a === void 0 ? void 0 : a.toString) === null || _c === void 0 ? void 0 : _c.call(a), (_d = b === null || b === void 0 ? void 0 : b.toString) === null || _d === void 0 ? void 0 : _d.call(b));
-        return false;
-    }
-    // apply sort if we are not in a relationalNode
-    as = a.conditionals ? normalize(a) : (0, node_sort_1.sort)(normalize(a));
-    bs = b.conditionals ? normalize(b) : (0, node_sort_1.sort)(normalize(b));
-    log("[isMathEqual]", as.toString(), "==?", bs.toString());
-    // an indeterminate result such as tan(90°) - tan(90°) is not equal to anything, not even another indeterminate result
-    if (isIndeterminate(as) || isIndeterminate(bs)) {
-        return false;
-    }
-    const isSortingEnough = (0, node_sort_1.sort)(a).equals((0, node_sort_1.sort)(b));
-    const isTexEnough = as.toTex().trim() === bs.toTex().trim();
-    let equality = isTexEnough || as.equals(bs) || isSortingEnough;
-    if (equality) {
-        return true;
-    }
-    // compare constant results numerically, allowing only for floating-point noise
-    const aValue = constantValue(as);
-    const bValue = constantValue(bs);
-    if (aValue !== undefined && bValue !== undefined) {
-        return areNearlyEqual(aValue, bValue);
-    }
-    // if both expressions are equations
-    if (as.fn === "equal" && bs.fn === "equal") {
-        return (0, compare_equations_1.compareEquations)(as, bs, false);
-    }
-    // if both expressions are inequalities treat greater sign as equal sign
-    if ((as.fn === "larger" && bs.fn === "larger") ||
-        (as.fn === "largerEq" && bs.fn === "largerEq")) {
-        // solving a 2 way inequality is the same as solving an equation, we can treat the greater sign as an equal sign
-        // the difference is that solution should be plotted on a number line (or interval)
-        // if we have the same signs and the same direction, the interval will always be the same, starting with the solution
-        as.fn = "equal";
-        bs.fn = "equal";
-        as.op = "=";
-        bs.op = "=";
-        return (0, compare_equations_1.compareEquations)(as, bs, true);
-    }
-    // check for compound inequalities/3-way inequalities
-    if (
-    //@ts-ignore
-    ((_e = as === null || as === void 0 ? void 0 : as.conditionals) === null || _e === void 0 ? void 0 : _e.length) === ((_f = bs === null || bs === void 0 ? void 0 : bs.conditionals) === null || _f === void 0 ? void 0 : _f.length) &&
-        //@ts-ignore
-        ((_g = as === null || as === void 0 ? void 0 : as.conditionals) === null || _g === void 0 ? void 0 : _g.length) === 2 &&
-        //@ts-ignore
-        ((_h = as === null || as === void 0 ? void 0 : as.conditionals) === null || _h === void 0 ? void 0 : _h.toString()) === ((_j = bs === null || bs === void 0 ? void 0 : bs.conditionals) === null || _j === void 0 ? void 0 : _j.toString())) {
-        const params = [
-            "smaller",
-            "smallerEq",
-            "larger",
-            "largerEq",
-            "equal",
-            "unequal",
-        ];
-        const paramsIncludedA = params.some((param) => 
-        //@ts-ignore
-        as.conditionals.includes(param));
-        const paramsIncludedB = params.some((param) => 
-        //@ts-ignore
-        bs.conditionals.includes(param));
-        if (paramsIncludedA && paramsIncludedB) {
-            return (0, compare_compound_inequations_1.compareCompoundInequations)(as, bs);
-        }
-    }
-    return equality;
-};
-exports.isMathEqual = isMathEqual;
-//# sourceMappingURL=index.js.map

package/lib/symbolic/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/symbolic/index.ts"],"names":[],"mappings":";;;AAAA,gCAAgC;AAChC,sCAAmC;AACnC,mCAA+C;AAC/C,4CAAoC;AACpC,2DAAuD;AACvD,iFAA4E;AAE5E,MAAM,CAAC,GAAQ,eAAM,CAAC;AACtB,MAAM,GAAG,GAAG,IAAA,YAAM,EAAC,aAAa,CAAC,CAAC;AAElC,sGAAsG;AACtG,iGAAiG;AACjG,MAAM,eAAe,GAAG,IAAI,CAAC;AAE7B,gGAAgG;AAChG,MAAM,OAAO,GAAQ,IAAA,eAAM,EAAC,YAAG,CAAC,CAAC;AAEjC,+FAA+F;AAC/F,8GAA8G;AAC9G,4FAA4F;AAC5F,MAAM,gBAAgB,GAAG,KAAK,CAAC;AAC/B,+FAA+F;AAC/F,oGAAoG;AACpG,MAAM,gBAAgB,GAAG,KAAK,CAAC;AAI/B,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,eAAM,CAAC;AAE7C,MAAM,cAAc,GAAG;IACrB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,iBAAiB,EAAE;IACxC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,gBAAgB,EAAE;IACtC,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE;IAClC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE;IAC9B,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,cAAc,EAAE;IACnC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE;IACrB,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE;IACnC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE;IAC5B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,gBAAgB,EAAE;IAC1C,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,EAAE,cAAc,EAAE;IAE9C,yBAAyB;IACzB,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,+BAA+B,EAAE;IAE1D,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE;IAC7B,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE;IAChC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,GAAG,EAAE;IAE1B,kBAAkB;IAClB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,wBAAwB,EAAE;IACpD,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,wBAAwB,EAAE;IACpD,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,eAAe,EAAE;IAE3C,4GAA4G;IAC5G,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE;IACnC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE;IAC9B,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE;IAC9B,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,eAAe,EAAE;IACnD,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,eAAe,EAAE;IAErC,wDAAwD;IAExD,4CAA4C;IAC5C,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IACzC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IACzC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IACzC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IACzC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IACzC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,cAAc,EAAE;IAEzC,oFAAoF;IACpF,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE;IAC/B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE;IAC/B,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,KAAK,EAAE;CAChC,CAAC;AAEK,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,EAAE;IAC5B,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAE,EAAU,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,2BAA2B;AAClD,CAAC,CAAC;AAHW,QAAA,QAAQ,YAGnB;AAEF,MAAM,SAAS,GAAG,CAAC,IAAc,EAAE,OAAkC,EAAE,EAAE;IACvE,IAAI,KAAK,GAAG,KAAK,CAAC;IAElB,2EAA2E;IAC3E,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAM,EAAE,IAAY,EAAE,EAAE;QACrC,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,oFAAoF;AACpF,gHAAgH;AAChH,MAAM,cAAc,GAAG,CAAC,IAAc,EAAsB,EAAE;IAC5D,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,UAAU,CAAC,EAAE;QACnE,OAAO,SAAS,CAAC;KAClB;IAED,IAAI;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAChD,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;KACtD;IAAC,OAAO,CAAC,EAAE;QACV,OAAO,SAAS,CAAC;KAClB;AACH,CAAC,CAAC;AAEF,+EAA+E;AAC/E,MAAM,YAAY,GAAG,CAAC,KAAe,EAAsB,EAAE;IAC3D,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAEpC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;QAC3C,OAAO,SAAS,CAAC;KAClB;IAED,MAAM,KAAK,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACpC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAE5B,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,yFAAyF;AACzF,6FAA6F;AAC7F,MAAM,uBAAuB,GAAG,CAAC,IAAc,EAAE,EAAE;IACjD,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,MAAM,CAAC,GAAmB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAM,EAAE,EAAE;;QAClD,IAAI,CAAC,CAAC,CAAC,cAAc,IAAI,CAAA,MAAA,CAAC,CAAC,IAAI,0CAAE,MAAM,MAAK,CAAC,EAAE;YAC7C,OAAO,CAAC,CAAC;SACV;QAED,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAElC,IAAI,CAAC,KAAK,SAAS,EAAE;YACnB,OAAO,CAAC,CAAC;SACV;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,OAAO,GAAG,CAAC,CAAC;QAEhB,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE;YACjB,KAAK,KAAK;gBACR,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC1C,MAAM;YACR,KAAK,KAAK;gBACR,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1C,MAAM;YACR,KAAK,KAAK;gBACR,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBACrE,MAAM;YACR,KAAK,KAAK;gBACR,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;gBACrE,MAAM;YACR,KAAK,KAAK;gBACR,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,MAAM;YACR,KAAK,KAAK;gBACR,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;gBACjD,MAAM;SACT;QAED,OAAO,GAAG,OAAO,IAAI,OAAO,KAAK,CAAC,CAAC;QAEnC,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;IAEH,qFAAqF;IACrF,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,CAA0B,EAAE,EAAE;IAC/C,MAAM,OAAO,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,CAAC,GAA4B,OAAO,CAAC,CAAC,CAAC;IAE3C,iHAAiH;IACjH,iJAAiJ;IACjJ,iFAAiF;IACjF,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,MAAM,4BAA4B,GAChC,YAAY,KAAK,SAAS;QAC1B,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QACtE,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,YAAY,GAAG,IAAI,CAAC;IACxB,IAAI,oBAAoB,GAAG,KAAK,CAAC;IACjC,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,IAAI,EAAE,GAAG,KAAK,CAAC;IACf,IAAI,mBAAmB,GAAG,KAAK,CAAC;IAEhC,CAAC,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,MAAM;QACrC,IAAI,IAAI,CAAC,WAAW,EAAE;YACpB,iBAAiB,GAAG,IAAI,CAAC;YACzB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,gBAAQ,EAAC,IAAI,CAAC,CAAC,CAAC;SACvD;QAED,IAAI,IAAI,CAAC,YAAY,EAAE;YACrB,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;YAC9B,mBAAmB,GAAG,mBAAmB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;SACrE;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,CAAC,IAAI,EAAE;QACV,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YAC1B,IACE,CAAC,GAAG,CAAC,cAAc;gBACnB,CAAC,GAAG,CAAC,WAAW;gBAChB,CAAC,mBAAmB;gBACpB,CAAC,EAAE,EACH;gBACA,IAAI;oBACF,GAAG,GAAG,IAAA,gBAAQ,EAAC,GAAG,CAAC,CAAC;iBACrB;gBAAC,OAAO,CAAC,EAAE;oBACV,MAAM;iBACP;aACF;YAED,oBAAoB,GAAG,oBAAoB,IAAI,GAAG,CAAC,cAAc,CAAC;YAElE,YAAY,GAAG,YAAY,IAAI,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC;YAEpD,OAAO,GAAG,CAAC;QACb,CAAC,CAAC,CAAC;QAEH,IAAI,oBAAoB,IAAI,mBAAmB,EAAE;YAC/C,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC1B,IAAI,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE;oBAC3C,IAAI;wBACF,GAAG,GAAG,WAAW,CAAC,IAAA,gBAAQ,EAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC;qBACvD;oBAAC,OAAO,CAAC,EAAE;wBACV,MAAM;qBACP;iBACF;gBAED,OAAO,GAAG,CAAC;YACb,CAAC,CAAC,CAAC;SACJ;KACF;IAED,IAAI,CAAC,CAAC,EAAE,KAAK,OAAO,EAAE;QACpB,IAAI;YACF,YAAY,GAAG,KAAK,CAAC;YACrB,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC;SACzC;QAAC,WAAM,GAAE;KACX;IAED,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,MAAM,EAAE;QAC9B,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,gBAAI,EAAC,IAAA,gBAAQ,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KAC3D;IAED,IAAI,CAAC,iBAAiB,IAAI,CAAC,YAAY,EAAE;QACvC,qBAAqB;QACrB,IAAI;YACF,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,CAAC,CAAC;SACjB;QAAC,OAAO,CAAC,EAAE,GAAE;KACf;IAED,GAAG,CAAC,qBAAqB,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAEnE,qFAAqF;IACrF,+GAA+G;IAC/G,IAAI,4BAA4B,KAAK,SAAS,EAAE;QAC9C,CAAC,GAAG,KAAK,CAAC,4BAA4B,CAAC;YACrC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC;YACzB,CAAC,CAAC,QAAQ,CAAC,4BAA4B,CAAC;gBACxC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,4BAA4B,CAAC;gBAClD,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;KAClC;IAED,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,UAAU,EAAE;QAC/B,CAAC,GAAG,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;KAClC;IAED,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,uGAAuG;AACvG,MAAM,aAAa,GAAG,CAAC,IAAS,EAAsB,EAAE;IACtD,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE;QACjD,OAAO,SAAS,CAAC;KAClB;IAED,IAAI;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAE/B,oEAAoE;QACpE,IAAI,OAAO,MAAM,KAAK,SAAS,EAAE;YAC/B,OAAO,SAAS,CAAC;SAClB;QAED,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC;QACtB,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;KACnD;IAAC,OAAO,CAAC,EAAE;QACV,OAAO,SAAS,CAAC;KAClB;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAC9C,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACf,gBAAgB,GAAG,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3E,MAAM,eAAe,GAAG,CAAC,IAAS,EAAE,EAAE,CAAC,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,YAAY,KAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;AAE1E,MAAM,WAAW,GAAG,CAAC,CAAM,EAAE,CAAM,EAAE,EAAE;;IAC5C,IAAI,EAAY,CAAC;IACjB,IAAI,EAAY,CAAC;IAEjB,IAAI,CAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,MAAM,MAAI,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,MAAM,CAAA,EAAE;QAC1B,IAAI;YACF,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SACtB;QAAC,OAAO,CAAC,EAAE;YACV,GAAG,CACD,sCAAsC,EACtC,MAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,QAAQ,iDAAI,EACf,MAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,QAAQ,iDAAI,EACf,CAAC,CACF,CAAC;YACF,OAAO,KAAK,CAAC;SACd;KACF;IAED,IAAI,CAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,MAAM,MAAI,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,MAAM,CAAA,EAAE;QAC1B,GAAG,CACD,2CAA2C,EAC3C,MAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,QAAQ,iDAAI,EACf,MAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,QAAQ,iDAAI,CAChB,CAAC;QACF,OAAO,KAAK,CAAC;KACd;IAED,+CAA+C;IAC/C,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAA,gBAAI,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAExD,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAA,gBAAI,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAExD,GAAG,CAAC,eAAe,EAAE,EAAE,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IAE1D,sHAAsH;IACtH,IAAI,eAAe,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,CAAC,EAAE;QAC9C,OAAO,KAAK,CAAC;KACd;IAED,MAAM,eAAe,GAAG,IAAA,gBAAI,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAA,gBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;IAE5D,IAAI,QAAQ,GAAG,WAAW,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC;IAE/D,IAAI,QAAQ,EAAE;QACZ,OAAO,IAAI,CAAC;KACb;IAED,+EAA+E;IAC/E,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAEjC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE;QAChD,OAAO,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KACvC;IAED,oCAAoC;IACpC,IAAI,EAAE,CAAC,EAAE,KAAK,OAAO,IAAI,EAAE,CAAC,EAAE,KAAK,OAAO,EAAE;QAC1C,OAAO,IAAA,oCAAgB,EAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;KACxC;IAED,wEAAwE;IACxE,IACE,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC;QAC1C,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,IAAI,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,EAC9C;QACA,gHAAgH;QAChH,mFAAmF;QACnF,qHAAqH;QACrH,EAAE,CAAC,EAAE,GAAG,OAAO,CAAC;QAChB,EAAE,CAAC,EAAE,GAAG,OAAO,CAAC;QAChB,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC;QACZ,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC;QAEZ,OAAO,IAAA,oCAAgB,EAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;KACvC;IAED,qDAAqD;IACrD;IACE,YAAY;IACZ,CAAA,MAAA,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,YAAY,0CAAE,MAAM,OAAK,MAAA,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,YAAY,0CAAE,MAAM,CAAA;QACrD,YAAY;QACZ,CAAA,MAAA,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,YAAY,0CAAE,MAAM,MAAK,CAAC;QAC9B,YAAY;QACZ,CAAA,MAAA,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,YAAY,0CAAE,QAAQ,EAAE,OAAK,MAAA,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,YAAY,0CAAE,QAAQ,EAAE,CAAA,EAC7D;QACA,MAAM,MAAM,GAAG;YACb,SAAS;YACT,WAAW;YACX,QAAQ;YACR,UAAU;YACV,OAAO;YACP,SAAS;SACV,CAAC;QAEF,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5C,YAAY;QACZ,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,CAChC,CAAC;QAEF,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5C,YAAY;QACZ,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,CAChC,CAAC;QAEF,IAAI,eAAe,IAAI,eAAe,EAAE;YACtC,OAAO,IAAA,yDAA0B,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;SAC3C;KACF;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AA/GW,QAAA,WAAW,eA+GtB"}