| 1 |
- {"ast":null,"code":"\"use strict\";\n\nvar __read = this && this.__read || function (o, n) {\n var m = typeof Symbol === \"function\" && o[Symbol.iterator];\n if (!m) return o;\n var i = m.call(o),\n r,\n ar = [],\n e;\n try {\n while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);\n } catch (error) {\n e = {\n error: error\n };\n } finally {\n try {\n if (r && !r.done && (m = i[\"return\"])) m.call(i);\n } finally {\n if (e) throw e.error;\n }\n }\n return ar;\n};\nvar __values = this && this.__values || function (o) {\n var s = typeof Symbol === \"function\" && Symbol.iterator,\n m = s && o[s],\n i = 0;\n if (m) return m.call(o);\n if (o && typeof o.length === \"number\") return {\n next: function () {\n if (o && i >= o.length) o = void 0;\n return {\n value: o && o[i++],\n done: !o\n };\n }\n };\n throw new TypeError(s ? \"Object is not iterable.\" : \"Symbol.iterator is not defined.\");\n};\nvar __importDefault = this && this.__importDefault || function (mod) {\n return mod && mod.__esModule ? mod : {\n \"default\": mod\n };\n};\nvar _a;\nObject.defineProperty(exports, \"__esModule\", {\n value: true\n});\nexports.clearDocument = exports.saveDocument = exports.makeBsprAttributes = exports.removeProperty = exports.getProperty = exports.setProperty = exports.balanceRules = void 0;\nvar NodeUtil_js_1 = __importDefault(require(\"../NodeUtil.js\"));\nvar ParseUtil_js_1 = __importDefault(require(\"../ParseUtil.js\"));\nvar doc = null;\nvar item = null;\nvar getBBox = function (node) {\n item.root = node;\n var width = doc.outputJax.getBBox(item, doc).w;\n return width;\n};\nvar getRule = function (node) {\n var i = 0;\n while (node && !NodeUtil_js_1.default.isType(node, 'mtable')) {\n if (NodeUtil_js_1.default.isType(node, 'text')) {\n return null;\n }\n if (NodeUtil_js_1.default.isType(node, 'mrow')) {\n node = node.childNodes[0];\n i = 0;\n continue;\n }\n node = node.parent.childNodes[i];\n i++;\n }\n return node;\n};\nvar getPremises = function (rule, direction) {\n return rule.childNodes[direction === 'up' ? 1 : 0].childNodes[0].childNodes[0].childNodes[0].childNodes[0];\n};\nvar getPremise = function (premises, n) {\n return premises.childNodes[n].childNodes[0].childNodes[0];\n};\nvar firstPremise = function (premises) {\n return getPremise(premises, 0);\n};\nvar lastPremise = function (premises) {\n return getPremise(premises, premises.childNodes.length - 1);\n};\nvar getConclusion = function (rule, direction) {\n return rule.childNodes[direction === 'up' ? 0 : 1].childNodes[0].childNodes[0].childNodes[0];\n};\nvar getColumn = function (inf) {\n while (inf && !NodeUtil_js_1.default.isType(inf, 'mtd')) {\n inf = inf.parent;\n }\n return inf;\n};\nvar nextSibling = function (inf) {\n return inf.parent.childNodes[inf.parent.childNodes.indexOf(inf) + 1];\n};\nvar previousSibling = function (inf) {\n return inf.parent.childNodes[inf.parent.childNodes.indexOf(inf) - 1];\n};\nvar getParentInf = function (inf) {\n while (inf && (0, exports.getProperty)(inf, 'inference') == null) {\n inf = inf.parent;\n }\n return inf;\n};\nvar getSpaces = function (inf, rule, right) {\n if (right === void 0) {\n right = false;\n }\n var result = 0;\n if (inf === rule) {\n return result;\n }\n if (inf !== rule.parent) {\n var children_1 = inf.childNodes;\n var index_1 = right ? children_1.length - 1 : 0;\n if (NodeUtil_js_1.default.isType(children_1[index_1], 'mspace')) {\n result += getBBox(children_1[index_1]);\n }\n inf = rule.parent;\n }\n if (inf === rule) {\n return result;\n }\n var children = inf.childNodes;\n var index = right ? children.length - 1 : 0;\n if (children[index] !== rule) {\n result += getBBox(children[index]);\n }\n return result;\n};\nvar adjustValue = function (inf, right) {\n if (right === void 0) {\n right = false;\n }\n var rule = getRule(inf);\n var conc = getConclusion(rule, (0, exports.getProperty)(rule, 'inferenceRule'));\n var w = getSpaces(inf, rule, right);\n var x = getBBox(rule);\n var y = getBBox(conc);\n return w + (x - y) / 2;\n};\nvar addSpace = function (config, inf, space, right) {\n if (right === void 0) {\n right = false;\n }\n if ((0, exports.getProperty)(inf, 'inferenceRule') || (0, exports.getProperty)(inf, 'labelledRule')) {\n var mrow = config.nodeFactory.create('node', 'mrow');\n inf.parent.replaceChild(mrow, inf);\n mrow.setChildren([inf]);\n moveProperties(inf, mrow);\n inf = mrow;\n }\n var index = right ? inf.childNodes.length - 1 : 0;\n var mspace = inf.childNodes[index];\n if (NodeUtil_js_1.default.isType(mspace, 'mspace')) {\n NodeUtil_js_1.default.setAttribute(mspace, 'width', ParseUtil_js_1.default.Em(ParseUtil_js_1.default.dimen2em(NodeUtil_js_1.default.getAttribute(mspace, 'width')) + space));\n return;\n }\n mspace = config.nodeFactory.create('node', 'mspace', [], {\n width: ParseUtil_js_1.default.Em(space)\n });\n if (right) {\n inf.appendChild(mspace);\n return;\n }\n mspace.parent = inf;\n inf.childNodes.unshift(mspace);\n};\nvar moveProperties = function (src, dest) {\n var props = ['inference', 'proof', 'maxAdjust', 'labelledRule'];\n props.forEach(function (x) {\n var value = (0, exports.getProperty)(src, x);\n if (value != null) {\n (0, exports.setProperty)(dest, x, value);\n (0, exports.removeProperty)(src, x);\n }\n });\n};\nvar adjustSequents = function (config) {\n var sequents = config.nodeLists['sequent'];\n if (!sequents) {\n return;\n }\n for (var i = sequents.length - 1, seq = void 0; seq = sequents[i]; i--) {\n if ((0, exports.getProperty)(seq, 'sequentProcessed')) {\n (0, exports.removeProperty)(seq, 'sequentProcessed');\n continue;\n }\n var collect = [];\n var inf = getParentInf(seq);\n if ((0, exports.getProperty)(inf, 'inference') !== 1) {\n continue;\n }\n collect.push(seq);\n while ((0, exports.getProperty)(inf, 'inference') === 1) {\n inf = getRule(inf);\n var premise = firstPremise(getPremises(inf, (0, exports.getProperty)(inf, 'inferenceRule')));\n var sequent = (0, exports.getProperty)(premise, 'inferenceRule') ? getConclusion(premise, (0, exports.getProperty)(premise, 'inferenceRule')) : premise;\n if ((0, exports.getProperty)(sequent, 'sequent')) {\n seq = sequent.childNodes[0];\n collect.push(seq);\n (0, exports.setProperty)(seq, 'sequentProcessed', true);\n }\n inf = premise;\n }\n adjustSequentPairwise(config, collect);\n }\n};\nvar addSequentSpace = function (config, sequent, position, direction, width) {\n var mspace = config.nodeFactory.create('node', 'mspace', [], {\n width: ParseUtil_js_1.default.Em(width)\n });\n if (direction === 'left') {\n var row = sequent.childNodes[position].childNodes[0];\n mspace.parent = row;\n row.childNodes.unshift(mspace);\n } else {\n sequent.childNodes[position].appendChild(mspace);\n }\n (0, exports.setProperty)(sequent.parent, 'sequentAdjust_' + direction, width);\n};\nvar adjustSequentPairwise = function (config, sequents) {\n var top = sequents.pop();\n while (sequents.length) {\n var bottom = sequents.pop();\n var _a = __read(compareSequents(top, bottom), 2),\n left = _a[0],\n right = _a[1];\n if ((0, exports.getProperty)(top.parent, 'axiom')) {\n addSequentSpace(config, left < 0 ? top : bottom, 0, 'left', Math.abs(left));\n addSequentSpace(config, right < 0 ? top : bottom, 2, 'right', Math.abs(right));\n }\n top = bottom;\n }\n};\nvar compareSequents = function (top, bottom) {\n var tr = getBBox(top.childNodes[2]);\n var br = getBBox(bottom.childNodes[2]);\n var tl = getBBox(top.childNodes[0]);\n var bl = getBBox(bottom.childNodes[0]);\n var dl = tl - bl;\n var dr = tr - br;\n return [dl, dr];\n};\nvar balanceRules = function (arg) {\n var e_1, _a;\n item = new arg.document.options.MathItem('', null, arg.math.display);\n var config = arg.data;\n adjustSequents(config);\n var inferences = config.nodeLists['inference'] || [];\n try {\n for (var inferences_1 = __values(inferences), inferences_1_1 = inferences_1.next(); !inferences_1_1.done; inferences_1_1 = inferences_1.next()) {\n var inf = inferences_1_1.value;\n var isProof = (0, exports.getProperty)(inf, 'proof');\n var rule = getRule(inf);\n var premises = getPremises(rule, (0, exports.getProperty)(rule, 'inferenceRule'));\n var premiseF = firstPremise(premises);\n if ((0, exports.getProperty)(premiseF, 'inference')) {\n var adjust_1 = adjustValue(premiseF);\n if (adjust_1) {\n addSpace(config, premiseF, -adjust_1);\n var w_1 = getSpaces(inf, rule, false);\n addSpace(config, inf, adjust_1 - w_1);\n }\n }\n var premiseL = lastPremise(premises);\n if ((0, exports.getProperty)(premiseL, 'inference') == null) {\n continue;\n }\n var adjust = adjustValue(premiseL, true);\n addSpace(config, premiseL, -adjust, true);\n var w = getSpaces(inf, rule, true);\n var maxAdjust = (0, exports.getProperty)(inf, 'maxAdjust');\n if (maxAdjust != null) {\n adjust = Math.max(adjust, maxAdjust);\n }\n var column = void 0;\n if (isProof || !(column = getColumn(inf))) {\n addSpace(config, (0, exports.getProperty)(inf, 'proof') ? inf : inf.parent, adjust - w, true);\n continue;\n }\n var sibling = nextSibling(column);\n if (sibling) {\n var pos = config.nodeFactory.create('node', 'mspace', [], {\n width: adjust - w + 'em'\n });\n sibling.appendChild(pos);\n inf.removeProperty('maxAdjust');\n continue;\n }\n var parentRule = getParentInf(column);\n if (!parentRule) {\n continue;\n }\n adjust = (0, exports.getProperty)(parentRule, 'maxAdjust') ? Math.max((0, exports.getProperty)(parentRule, 'maxAdjust'), adjust) : adjust;\n (0, exports.setProperty)(parentRule, 'maxAdjust', adjust);\n }\n } catch (e_1_1) {\n e_1 = {\n error: e_1_1\n };\n } finally {\n try {\n if (inferences_1_1 && !inferences_1_1.done && (_a = inferences_1.return)) _a.call(inferences_1);\n } finally {\n if (e_1) throw e_1.error;\n }\n }\n};\nexports.balanceRules = balanceRules;\nvar property_prefix = 'bspr_';\nvar blacklistedProperties = (_a = {}, _a[property_prefix + 'maxAdjust'] = true, _a);\nvar setProperty = function (node, property, value) {\n NodeUtil_js_1.default.setProperty(node, property_prefix + property, value);\n};\nexports.setProperty = setProperty;\nvar getProperty = function (node, property) {\n return NodeUtil_js_1.default.getProperty(node, property_prefix + property);\n};\nexports.getProperty = getProperty;\nvar removeProperty = function (node, property) {\n node.removeProperty(property_prefix + property);\n};\nexports.removeProperty = removeProperty;\nvar makeBsprAttributes = function (arg) {\n arg.data.root.walkTree(function (mml, _data) {\n var attr = [];\n mml.getPropertyNames().forEach(function (x) {\n if (!blacklistedProperties[x] && x.match(RegExp('^' + property_prefix))) {\n attr.push(x + ':' + mml.getProperty(x));\n }\n });\n if (attr.length) {\n NodeUtil_js_1.default.setAttribute(mml, 'semantics', attr.join(';'));\n }\n });\n};\nexports.makeBsprAttributes = makeBsprAttributes;\nvar saveDocument = function (arg) {\n doc = arg.document;\n if (!('getBBox' in doc.outputJax)) {\n throw Error('The bussproofs extension requires an output jax with a getBBox() method');\n }\n};\nexports.saveDocument = saveDocument;\nvar clearDocument = function (_arg) {\n doc = null;\n};\nexports.clearDocument = clearDocument;","map":{"version":3,"names":["__read","o","n","m","Symbol","iterator","i","call","r","ar","e","next","done","push","value","error","__values","s","length","TypeError","__importDefault","mod","__esModule","_a","Object","defineProperty","exports","clearDocument","saveDocument","makeBsprAttributes","removeProperty","getProperty","setProperty","balanceRules","NodeUtil_js_1","require","ParseUtil_js_1","doc","item","getBBox","node","root","width","outputJax","w","getRule","default","isType","childNodes","parent","getPremises","rule","direction","getPremise","premises","firstPremise","lastPremise","getConclusion","getColumn","inf","nextSibling","indexOf","previousSibling","getParentInf","getSpaces","right","result","children_1","index_1","children","index","adjustValue","conc","x","y","addSpace","config","space","mrow","nodeFactory","create","replaceChild","setChildren","moveProperties","mspace","setAttribute","Em","dimen2em","getAttribute","appendChild","unshift","src","dest","props","forEach","adjustSequents","sequents","nodeLists","seq","collect","premise","sequent","adjustSequentPairwise","addSequentSpace","position","row","top","pop","bottom","compareSequents","left","Math","abs","tr","br","tl","bl","dl","dr","arg","e_1","document","options","MathItem","math","display","data","inferences","inferences_1","inferences_1_1","isProof","premiseF","adjust_1","w_1","premiseL","adjust","maxAdjust","max","column","sibling","pos","parentRule","e_1_1","return","property_prefix","blacklistedProperties","property","walkTree","mml","_data","attr","getPropertyNames","match","RegExp","join","Error","_arg"],"sources":["F:/workspace/202226701027/huinongbao-app/node_modules/mathjax-full/js/input/tex/bussproofs/BussproofsUtil.js"],"sourcesContent":["\"use strict\";\nvar __read = (this && this.__read) || function (o, n) {\n var m = typeof Symbol === \"function\" && o[Symbol.iterator];\n if (!m) return o;\n var i = m.call(o), r, ar = [], e;\n try {\n while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);\n }\n catch (error) { e = { error: error }; }\n finally {\n try {\n if (r && !r.done && (m = i[\"return\"])) m.call(i);\n }\n finally { if (e) throw e.error; }\n }\n return ar;\n};\nvar __values = (this && this.__values) || function(o) {\n var s = typeof Symbol === \"function\" && Symbol.iterator, m = s && o[s], i = 0;\n if (m) return m.call(o);\n if (o && typeof o.length === \"number\") return {\n next: function () {\n if (o && i >= o.length) o = void 0;\n return { value: o && o[i++], done: !o };\n }\n };\n throw new TypeError(s ? \"Object is not iterable.\" : \"Symbol.iterator is not defined.\");\n};\nvar __importDefault = (this && this.__importDefault) || function (mod) {\n return (mod && mod.__esModule) ? mod : { \"default\": mod };\n};\nvar _a;\nObject.defineProperty(exports, \"__esModule\", { value: true });\nexports.clearDocument = exports.saveDocument = exports.makeBsprAttributes = exports.removeProperty = exports.getProperty = exports.setProperty = exports.balanceRules = void 0;\nvar NodeUtil_js_1 = __importDefault(require(\"../NodeUtil.js\"));\nvar ParseUtil_js_1 = __importDefault(require(\"../ParseUtil.js\"));\nvar doc = null;\nvar item = null;\nvar getBBox = function (node) {\n item.root = node;\n var width = doc.outputJax.getBBox(item, doc).w;\n return width;\n};\nvar getRule = function (node) {\n var i = 0;\n while (node && !NodeUtil_js_1.default.isType(node, 'mtable')) {\n if (NodeUtil_js_1.default.isType(node, 'text')) {\n return null;\n }\n if (NodeUtil_js_1.default.isType(node, 'mrow')) {\n node = node.childNodes[0];\n i = 0;\n continue;\n }\n node = node.parent.childNodes[i];\n i++;\n }\n return node;\n};\nvar getPremises = function (rule, direction) {\n return rule.childNodes[direction === 'up' ? 1 : 0].childNodes[0].\n childNodes[0].childNodes[0].childNodes[0];\n};\nvar getPremise = function (premises, n) {\n return premises.childNodes[n].childNodes[0].childNodes[0];\n};\nvar firstPremise = function (premises) {\n return getPremise(premises, 0);\n};\nvar lastPremise = function (premises) {\n return getPremise(premises, premises.childNodes.length - 1);\n};\nvar getConclusion = function (rule, direction) {\n return rule.childNodes[direction === 'up' ? 0 : 1].childNodes[0].childNodes[0].childNodes[0];\n};\nvar getColumn = function (inf) {\n while (inf && !NodeUtil_js_1.default.isType(inf, 'mtd')) {\n inf = inf.parent;\n }\n return inf;\n};\nvar nextSibling = function (inf) {\n return inf.parent.childNodes[inf.parent.childNodes.indexOf(inf) + 1];\n};\nvar previousSibling = function (inf) {\n return inf.parent.childNodes[inf.parent.childNodes.indexOf(inf) - 1];\n};\nvar getParentInf = function (inf) {\n while (inf && (0, exports.getProperty)(inf, 'inference') == null) {\n inf = inf.parent;\n }\n return inf;\n};\nvar getSpaces = function (inf, rule, right) {\n if (right === void 0) { right = false; }\n var result = 0;\n if (inf === rule) {\n return result;\n }\n if (inf !== rule.parent) {\n var children_1 = inf.childNodes;\n var index_1 = right ? children_1.length - 1 : 0;\n if (NodeUtil_js_1.default.isType(children_1[index_1], 'mspace')) {\n result += getBBox(children_1[index_1]);\n }\n inf = rule.parent;\n }\n if (inf === rule) {\n return result;\n }\n var children = inf.childNodes;\n var index = right ? children.length - 1 : 0;\n if (children[index] !== rule) {\n result += getBBox(children[index]);\n }\n return result;\n};\nvar adjustValue = function (inf, right) {\n if (right === void 0) { right = false; }\n var rule = getRule(inf);\n var conc = getConclusion(rule, (0, exports.getProperty)(rule, 'inferenceRule'));\n var w = getSpaces(inf, rule, right);\n var x = getBBox(rule);\n var y = getBBox(conc);\n return w + ((x - y) / 2);\n};\nvar addSpace = function (config, inf, space, right) {\n if (right === void 0) { right = false; }\n if ((0, exports.getProperty)(inf, 'inferenceRule') ||\n (0, exports.getProperty)(inf, 'labelledRule')) {\n var mrow = config.nodeFactory.create('node', 'mrow');\n inf.parent.replaceChild(mrow, inf);\n mrow.setChildren([inf]);\n moveProperties(inf, mrow);\n inf = mrow;\n }\n var index = right ? inf.childNodes.length - 1 : 0;\n var mspace = inf.childNodes[index];\n if (NodeUtil_js_1.default.isType(mspace, 'mspace')) {\n NodeUtil_js_1.default.setAttribute(mspace, 'width', ParseUtil_js_1.default.Em(ParseUtil_js_1.default.dimen2em(NodeUtil_js_1.default.getAttribute(mspace, 'width')) + space));\n return;\n }\n mspace = config.nodeFactory.create('node', 'mspace', [], { width: ParseUtil_js_1.default.Em(space) });\n if (right) {\n inf.appendChild(mspace);\n return;\n }\n mspace.parent = inf;\n inf.childNodes.unshift(mspace);\n};\nvar moveProperties = function (src, dest) {\n var props = ['inference', 'proof', 'maxAdjust', 'labelledRule'];\n props.forEach(function (x) {\n var value = (0, exports.getProperty)(src, x);\n if (value != null) {\n (0, exports.setProperty)(dest, x, value);\n (0, exports.removeProperty)(src, x);\n }\n });\n};\nvar adjustSequents = function (config) {\n var sequents = config.nodeLists['sequent'];\n if (!sequents) {\n return;\n }\n for (var i = sequents.length - 1, seq = void 0; seq = sequents[i]; i--) {\n if ((0, exports.getProperty)(seq, 'sequentProcessed')) {\n (0, exports.removeProperty)(seq, 'sequentProcessed');\n continue;\n }\n var collect = [];\n var inf = getParentInf(seq);\n if ((0, exports.getProperty)(inf, 'inference') !== 1) {\n continue;\n }\n collect.push(seq);\n while ((0, exports.getProperty)(inf, 'inference') === 1) {\n inf = getRule(inf);\n var premise = firstPremise(getPremises(inf, (0, exports.getProperty)(inf, 'inferenceRule')));\n var sequent = ((0, exports.getProperty)(premise, 'inferenceRule')) ?\n getConclusion(premise, (0, exports.getProperty)(premise, 'inferenceRule')) :\n premise;\n if ((0, exports.getProperty)(sequent, 'sequent')) {\n seq = sequent.childNodes[0];\n collect.push(seq);\n (0, exports.setProperty)(seq, 'sequentProcessed', true);\n }\n inf = premise;\n }\n adjustSequentPairwise(config, collect);\n }\n};\nvar addSequentSpace = function (config, sequent, position, direction, width) {\n var mspace = config.nodeFactory.create('node', 'mspace', [], { width: ParseUtil_js_1.default.Em(width) });\n if (direction === 'left') {\n var row = sequent.childNodes[position].childNodes[0];\n mspace.parent = row;\n row.childNodes.unshift(mspace);\n }\n else {\n sequent.childNodes[position].appendChild(mspace);\n }\n (0, exports.setProperty)(sequent.parent, 'sequentAdjust_' + direction, width);\n};\nvar adjustSequentPairwise = function (config, sequents) {\n var top = sequents.pop();\n while (sequents.length) {\n var bottom = sequents.pop();\n var _a = __read(compareSequents(top, bottom), 2), left = _a[0], right = _a[1];\n if ((0, exports.getProperty)(top.parent, 'axiom')) {\n addSequentSpace(config, left < 0 ? top : bottom, 0, 'left', Math.abs(left));\n addSequentSpace(config, right < 0 ? top : bottom, 2, 'right', Math.abs(right));\n }\n top = bottom;\n }\n};\nvar compareSequents = function (top, bottom) {\n var tr = getBBox(top.childNodes[2]);\n var br = getBBox(bottom.childNodes[2]);\n var tl = getBBox(top.childNodes[0]);\n var bl = getBBox(bottom.childNodes[0]);\n var dl = tl - bl;\n var dr = tr - br;\n return [dl, dr];\n};\nvar balanceRules = function (arg) {\n var e_1, _a;\n item = new arg.document.options.MathItem('', null, arg.math.display);\n var config = arg.data;\n adjustSequents(config);\n var inferences = config.nodeLists['inference'] || [];\n try {\n for (var inferences_1 = __values(inferences), inferences_1_1 = inferences_1.next(); !inferences_1_1.done; inferences_1_1 = inferences_1.next()) {\n var inf = inferences_1_1.value;\n var isProof = (0, exports.getProperty)(inf, 'proof');\n var rule = getRule(inf);\n var premises = getPremises(rule, (0, exports.getProperty)(rule, 'inferenceRule'));\n var premiseF = firstPremise(premises);\n if ((0, exports.getProperty)(premiseF, 'inference')) {\n var adjust_1 = adjustValue(premiseF);\n if (adjust_1) {\n addSpace(config, premiseF, -adjust_1);\n var w_1 = getSpaces(inf, rule, false);\n addSpace(config, inf, adjust_1 - w_1);\n }\n }\n var premiseL = lastPremise(premises);\n if ((0, exports.getProperty)(premiseL, 'inference') == null) {\n continue;\n }\n var adjust = adjustValue(premiseL, true);\n addSpace(config, premiseL, -adjust, true);\n var w = getSpaces(inf, rule, true);\n var maxAdjust = (0, exports.getProperty)(inf, 'maxAdjust');\n if (maxAdjust != null) {\n adjust = Math.max(adjust, maxAdjust);\n }\n var column = void 0;\n if (isProof || !(column = getColumn(inf))) {\n addSpace(config, (0, exports.getProperty)(inf, 'proof') ? inf : inf.parent, adjust - w, true);\n continue;\n }\n var sibling = nextSibling(column);\n if (sibling) {\n var pos = config.nodeFactory.create('node', 'mspace', [], { width: adjust - w + 'em' });\n sibling.appendChild(pos);\n inf.removeProperty('maxAdjust');\n continue;\n }\n var parentRule = getParentInf(column);\n if (!parentRule) {\n continue;\n }\n adjust = (0, exports.getProperty)(parentRule, 'maxAdjust') ?\n Math.max((0, exports.getProperty)(parentRule, 'maxAdjust'), adjust) : adjust;\n (0, exports.setProperty)(parentRule, 'maxAdjust', adjust);\n }\n }\n catch (e_1_1) { e_1 = { error: e_1_1 }; }\n finally {\n try {\n if (inferences_1_1 && !inferences_1_1.done && (_a = inferences_1.return)) _a.call(inferences_1);\n }\n finally { if (e_1) throw e_1.error; }\n }\n};\nexports.balanceRules = balanceRules;\nvar property_prefix = 'bspr_';\nvar blacklistedProperties = (_a = {},\n _a[property_prefix + 'maxAdjust'] = true,\n _a);\nvar setProperty = function (node, property, value) {\n NodeUtil_js_1.default.setProperty(node, property_prefix + property, value);\n};\nexports.setProperty = setProperty;\nvar getProperty = function (node, property) {\n return NodeUtil_js_1.default.getProperty(node, property_prefix + property);\n};\nexports.getProperty = getProperty;\nvar removeProperty = function (node, property) {\n node.removeProperty(property_prefix + property);\n};\nexports.removeProperty = removeProperty;\nvar makeBsprAttributes = function (arg) {\n arg.data.root.walkTree(function (mml, _data) {\n var attr = [];\n mml.getPropertyNames().forEach(function (x) {\n if (!blacklistedProperties[x] && x.match(RegExp('^' + property_prefix))) {\n attr.push(x + ':' + mml.getProperty(x));\n }\n });\n if (attr.length) {\n NodeUtil_js_1.default.setAttribute(mml, 'semantics', attr.join(';'));\n }\n });\n};\nexports.makeBsprAttributes = makeBsprAttributes;\nvar saveDocument = function (arg) {\n doc = arg.document;\n if (!('getBBox' in doc.outputJax)) {\n throw Error('The bussproofs extension requires an output jax with a getBBox() method');\n }\n};\nexports.saveDocument = saveDocument;\nvar clearDocument = function (_arg) {\n doc = null;\n};\nexports.clearDocument = clearDocument;\n"],"mappings":"AAAA,YAAY;;AACZ,IAAIA,MAAM,GAAI,IAAI,IAAI,IAAI,CAACA,MAAM,IAAK,UAAUC,CAAC,EAAEC,CAAC,EAAE;EAClD,IAAIC,CAAC,GAAG,OAAOC,MAAM,KAAK,UAAU,IAAIH,CAAC,CAACG,MAAM,CAACC,QAAQ,CAAC;EAC1D,IAAI,CAACF,CAAC,EAAE,OAAOF,CAAC;EAChB,IAAIK,CAAC,GAAGH,CAAC,CAACI,IAAI,CAACN,CAAC,CAAC;IAAEO,CAAC;IAAEC,EAAE,GAAG,EAAE;IAAEC,CAAC;EAChC,IAAI;IACA,OAAO,CAACR,CAAC,KAAK,KAAK,CAAC,IAAIA,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAACM,CAAC,GAAGF,CAAC,CAACK,IAAI,CAAC,CAAC,EAAEC,IAAI,EAAEH,EAAE,CAACI,IAAI,CAACL,CAAC,CAACM,KAAK,CAAC;EAC9E,CAAC,CACD,OAAOC,KAAK,EAAE;IAAEL,CAAC,GAAG;MAAEK,KAAK,EAAEA;IAAM,CAAC;EAAE,CAAC,SAC/B;IACJ,IAAI;MACA,IAAIP,CAAC,IAAI,CAACA,CAAC,CAACI,IAAI,KAAKT,CAAC,GAAGG,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAEH,CAAC,CAACI,IAAI,CAACD,CAAC,CAAC;IACpD,CAAC,SACO;MAAE,IAAII,CAAC,EAAE,MAAMA,CAAC,CAACK,KAAK;IAAE;EACpC;EACA,OAAON,EAAE;AACb,CAAC;AACD,IAAIO,QAAQ,GAAI,IAAI,IAAI,IAAI,CAACA,QAAQ,IAAK,UAASf,CAAC,EAAE;EAClD,IAAIgB,CAAC,GAAG,OAAOb,MAAM,KAAK,UAAU,IAAIA,MAAM,CAACC,QAAQ;IAAEF,CAAC,GAAGc,CAAC,IAAIhB,CAAC,CAACgB,CAAC,CAAC;IAAEX,CAAC,GAAG,CAAC;EAC7E,IAAIH,CAAC,EAAE,OAAOA,CAAC,CAACI,IAAI,CAACN,CAAC,CAAC;EACvB,IAAIA,CAAC,IAAI,OAAOA,CAAC,CAACiB,MAAM,KAAK,QAAQ,EAAE,OAAO;IAC1CP,IAAI,EAAE,SAAAA,CAAA,EAAY;MACd,IAAIV,CAAC,IAAIK,CAAC,IAAIL,CAAC,CAACiB,MAAM,EAAEjB,CAAC,GAAG,KAAK,CAAC;MAClC,OAAO;QAAEa,KAAK,EAAEb,CAAC,IAAIA,CAAC,CAACK,CAAC,EAAE,CAAC;QAAEM,IAAI,EAAE,CAACX;MAAE,CAAC;IAC3C;EACJ,CAAC;EACD,MAAM,IAAIkB,SAAS,CAACF,CAAC,GAAG,yBAAyB,GAAG,iCAAiC,CAAC;AAC1F,CAAC;AACD,IAAIG,eAAe,GAAI,IAAI,IAAI,IAAI,CAACA,eAAe,IAAK,UAAUC,GAAG,EAAE;EACnE,OAAQA,GAAG,IAAIA,GAAG,CAACC,UAAU,GAAID,GAAG,GAAG;IAAE,SAAS,EAAEA;EAAI,CAAC;AAC7D,CAAC;AACD,IAAIE,EAAE;AACNC,MAAM,CAACC,cAAc,CAACC,OAAO,EAAE,YAAY,EAAE;EAAEZ,KAAK,EAAE;AAAK,CAAC,CAAC;AAC7DY,OAAO,CAACC,aAAa,GAAGD,OAAO,CAACE,YAAY,GAAGF,OAAO,CAACG,kBAAkB,GAAGH,OAAO,CAACI,cAAc,GAAGJ,OAAO,CAACK,WAAW,GAAGL,OAAO,CAACM,WAAW,GAAGN,OAAO,CAACO,YAAY,GAAG,KAAK,CAAC;AAC9K,IAAIC,aAAa,GAAGd,eAAe,CAACe,OAAO,CAAC,gBAAgB,CAAC,CAAC;AAC9D,IAAIC,cAAc,GAAGhB,eAAe,CAACe,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAChE,IAAIE,GAAG,GAAG,IAAI;AACd,IAAIC,IAAI,GAAG,IAAI;AACf,IAAIC,OAAO,GAAG,SAAAA,CAAUC,IAAI,EAAE;EAC1BF,IAAI,CAACG,IAAI,GAAGD,IAAI;EAChB,IAAIE,KAAK,GAAGL,GAAG,CAACM,SAAS,CAACJ,OAAO,CAACD,IAAI,EAAED,GAAG,CAAC,CAACO,CAAC;EAC9C,OAAOF,KAAK;AAChB,CAAC;AACD,IAAIG,OAAO,GAAG,SAAAA,CAAUL,IAAI,EAAE;EAC1B,IAAIlC,CAAC,GAAG,CAAC;EACT,OAAOkC,IAAI,IAAI,CAACN,aAAa,CAACY,OAAO,CAACC,MAAM,CAACP,IAAI,EAAE,QAAQ,CAAC,EAAE;IAC1D,IAAIN,aAAa,CAACY,OAAO,CAACC,MAAM,CAACP,IAAI,EAAE,MAAM,CAAC,EAAE;MAC5C,OAAO,IAAI;IACf;IACA,IAAIN,aAAa,CAACY,OAAO,CAACC,MAAM,CAACP,IAAI,EAAE,MAAM,CAAC,EAAE;MAC5CA,IAAI,GAAGA,IAAI,CAACQ,UAAU,CAAC,CAAC,CAAC;MACzB1C,CAAC,GAAG,CAAC;MACL;IACJ;IACAkC,IAAI,GAAGA,IAAI,CAACS,MAAM,CAACD,UAAU,CAAC1C,CAAC,CAAC;IAChCA,CAAC,EAAE;EACP;EACA,OAAOkC,IAAI;AACf,CAAC;AACD,IAAIU,WAAW,GAAG,SAAAA,CAAUC,IAAI,EAAEC,SAAS,EAAE;EACzC,OAAOD,IAAI,CAACH,UAAU,CAACI,SAAS,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAACJ,UAAU,CAAC,CAAC,CAAC,CAC5DA,UAAU,CAAC,CAAC,CAAC,CAACA,UAAU,CAAC,CAAC,CAAC,CAACA,UAAU,CAAC,CAAC,CAAC;AACjD,CAAC;AACD,IAAIK,UAAU,GAAG,SAAAA,CAAUC,QAAQ,EAAEpD,CAAC,EAAE;EACpC,OAAOoD,QAAQ,CAACN,UAAU,CAAC9C,CAAC,CAAC,CAAC8C,UAAU,CAAC,CAAC,CAAC,CAACA,UAAU,CAAC,CAAC,CAAC;AAC7D,CAAC;AACD,IAAIO,YAAY,GAAG,SAAAA,CAAUD,QAAQ,EAAE;EACnC,OAAOD,UAAU,CAACC,QAAQ,EAAE,CAAC,CAAC;AAClC,CAAC;AACD,IAAIE,WAAW,GAAG,SAAAA,CAAUF,QAAQ,EAAE;EAClC,OAAOD,UAAU,CAACC,QAAQ,EAAEA,QAAQ,CAACN,UAAU,CAAC9B,MAAM,GAAG,CAAC,CAAC;AAC/D,CAAC;AACD,IAAIuC,aAAa,GAAG,SAAAA,CAAUN,IAAI,EAAEC,SAAS,EAAE;EAC3C,OAAOD,IAAI,CAACH,UAAU,CAACI,SAAS,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAACJ,UAAU,CAAC,CAAC,CAAC,CAACA,UAAU,CAAC,CAAC,CAAC,CAACA,UAAU,CAAC,CAAC,CAAC;AAChG,CAAC;AACD,IAAIU,SAAS,GAAG,SAAAA,CAAUC,GAAG,EAAE;EAC3B,OAAOA,GAAG,IAAI,CAACzB,aAAa,CAACY,OAAO,CAACC,MAAM,CAACY,GAAG,EAAE,KAAK,CAAC,EAAE;IACrDA,GAAG,GAAGA,GAAG,CAACV,MAAM;EACpB;EACA,OAAOU,GAAG;AACd,CAAC;AACD,IAAIC,WAAW,GAAG,SAAAA,CAAUD,GAAG,EAAE;EAC7B,OAAOA,GAAG,CAACV,MAAM,CAACD,UAAU,CAACW,GAAG,CAACV,MAAM,CAACD,UAAU,CAACa,OAAO,CAACF,GAAG,CAAC,GAAG,CAAC,CAAC;AACxE,CAAC;AACD,IAAIG,eAAe,GAAG,SAAAA,CAAUH,GAAG,EAAE;EACjC,OAAOA,GAAG,CAACV,MAAM,CAACD,UAAU,CAACW,GAAG,CAACV,MAAM,CAACD,UAAU,CAACa,OAAO,CAACF,GAAG,CAAC,GAAG,CAAC,CAAC;AACxE,CAAC;AACD,IAAII,YAAY,GAAG,SAAAA,CAAUJ,GAAG,EAAE;EAC9B,OAAOA,GAAG,IAAI,CAAC,CAAC,EAAEjC,OAAO,CAACK,WAAW,EAAE4B,GAAG,EAAE,WAAW,CAAC,IAAI,IAAI,EAAE;IAC9DA,GAAG,GAAGA,GAAG,CAACV,MAAM;EACpB;EACA,OAAOU,GAAG;AACd,CAAC;AACD,IAAIK,SAAS,GAAG,SAAAA,CAAUL,GAAG,EAAER,IAAI,EAAEc,KAAK,EAAE;EACxC,IAAIA,KAAK,KAAK,KAAK,CAAC,EAAE;IAAEA,KAAK,GAAG,KAAK;EAAE;EACvC,IAAIC,MAAM,GAAG,CAAC;EACd,IAAIP,GAAG,KAAKR,IAAI,EAAE;IACd,OAAOe,MAAM;EACjB;EACA,IAAIP,GAAG,KAAKR,IAAI,CAACF,MAAM,EAAE;IACrB,IAAIkB,UAAU,GAAGR,GAAG,CAACX,UAAU;IAC/B,IAAIoB,OAAO,GAAGH,KAAK,GAAGE,UAAU,CAACjD,MAAM,GAAG,CAAC,GAAG,CAAC;IAC/C,IAAIgB,aAAa,CAACY,OAAO,CAACC,MAAM,CAACoB,UAAU,CAACC,OAAO,CAAC,EAAE,QAAQ,CAAC,EAAE;MAC7DF,MAAM,IAAI3B,OAAO,CAAC4B,UAAU,CAACC,OAAO,CAAC,CAAC;IAC1C;IACAT,GAAG,GAAGR,IAAI,CAACF,MAAM;EACrB;EACA,IAAIU,GAAG,KAAKR,IAAI,EAAE;IACd,OAAOe,MAAM;EACjB;EACA,IAAIG,QAAQ,GAAGV,GAAG,CAACX,UAAU;EAC7B,IAAIsB,KAAK,GAAGL,KAAK,GAAGI,QAAQ,CAACnD,MAAM,GAAG,CAAC,GAAG,CAAC;EAC3C,IAAImD,QAAQ,CAACC,KAAK,CAAC,KAAKnB,IAAI,EAAE;IAC1Be,MAAM,IAAI3B,OAAO,CAAC8B,QAAQ,CAACC,KAAK,CAAC,CAAC;EACtC;EACA,OAAOJ,MAAM;AACjB,CAAC;AACD,IAAIK,WAAW,GAAG,SAAAA,CAAUZ,GAAG,EAAEM,KAAK,EAAE;EACpC,IAAIA,KAAK,KAAK,KAAK,CAAC,EAAE;IAAEA,KAAK,GAAG,KAAK;EAAE;EACvC,IAAId,IAAI,GAAGN,OAAO,CAACc,GAAG,CAAC;EACvB,IAAIa,IAAI,GAAGf,aAAa,CAACN,IAAI,EAAE,CAAC,CAAC,EAAEzB,OAAO,CAACK,WAAW,EAAEoB,IAAI,EAAE,eAAe,CAAC,CAAC;EAC/E,IAAIP,CAAC,GAAGoB,SAAS,CAACL,GAAG,EAAER,IAAI,EAAEc,KAAK,CAAC;EACnC,IAAIQ,CAAC,GAAGlC,OAAO,CAACY,IAAI,CAAC;EACrB,IAAIuB,CAAC,GAAGnC,OAAO,CAACiC,IAAI,CAAC;EACrB,OAAO5B,CAAC,GAAI,CAAC6B,CAAC,GAAGC,CAAC,IAAI,CAAE;AAC5B,CAAC;AACD,IAAIC,QAAQ,GAAG,SAAAA,CAAUC,MAAM,EAAEjB,GAAG,EAAEkB,KAAK,EAAEZ,KAAK,EAAE;EAChD,IAAIA,KAAK,KAAK,KAAK,CAAC,EAAE;IAAEA,KAAK,GAAG,KAAK;EAAE;EACvC,IAAI,CAAC,CAAC,EAAEvC,OAAO,CAACK,WAAW,EAAE4B,GAAG,EAAE,eAAe,CAAC,IAC9C,CAAC,CAAC,EAAEjC,OAAO,CAACK,WAAW,EAAE4B,GAAG,EAAE,cAAc,CAAC,EAAE;IAC/C,IAAImB,IAAI,GAAGF,MAAM,CAACG,WAAW,CAACC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IACpDrB,GAAG,CAACV,MAAM,CAACgC,YAAY,CAACH,IAAI,EAAEnB,GAAG,CAAC;IAClCmB,IAAI,CAACI,WAAW,CAAC,CAACvB,GAAG,CAAC,CAAC;IACvBwB,cAAc,CAACxB,GAAG,EAAEmB,IAAI,CAAC;IACzBnB,GAAG,GAAGmB,IAAI;EACd;EACA,IAAIR,KAAK,GAAGL,KAAK,GAAGN,GAAG,CAACX,UAAU,CAAC9B,MAAM,GAAG,CAAC,GAAG,CAAC;EACjD,IAAIkE,MAAM,GAAGzB,GAAG,CAACX,UAAU,CAACsB,KAAK,CAAC;EAClC,IAAIpC,aAAa,CAACY,OAAO,CAACC,MAAM,CAACqC,MAAM,EAAE,QAAQ,CAAC,EAAE;IAChDlD,aAAa,CAACY,OAAO,CAACuC,YAAY,CAACD,MAAM,EAAE,OAAO,EAAEhD,cAAc,CAACU,OAAO,CAACwC,EAAE,CAAClD,cAAc,CAACU,OAAO,CAACyC,QAAQ,CAACrD,aAAa,CAACY,OAAO,CAAC0C,YAAY,CAACJ,MAAM,EAAE,OAAO,CAAC,CAAC,GAAGP,KAAK,CAAC,CAAC;IAC5K;EACJ;EACAO,MAAM,GAAGR,MAAM,CAACG,WAAW,CAACC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE;IAAEtC,KAAK,EAAEN,cAAc,CAACU,OAAO,CAACwC,EAAE,CAACT,KAAK;EAAE,CAAC,CAAC;EACrG,IAAIZ,KAAK,EAAE;IACPN,GAAG,CAAC8B,WAAW,CAACL,MAAM,CAAC;IACvB;EACJ;EACAA,MAAM,CAACnC,MAAM,GAAGU,GAAG;EACnBA,GAAG,CAACX,UAAU,CAAC0C,OAAO,CAACN,MAAM,CAAC;AAClC,CAAC;AACD,IAAID,cAAc,GAAG,SAAAA,CAAUQ,GAAG,EAAEC,IAAI,EAAE;EACtC,IAAIC,KAAK,GAAG,CAAC,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,CAAC;EAC/DA,KAAK,CAACC,OAAO,CAAC,UAAUrB,CAAC,EAAE;IACvB,IAAI3D,KAAK,GAAG,CAAC,CAAC,EAAEY,OAAO,CAACK,WAAW,EAAE4D,GAAG,EAAElB,CAAC,CAAC;IAC5C,IAAI3D,KAAK,IAAI,IAAI,EAAE;MACf,CAAC,CAAC,EAAEY,OAAO,CAACM,WAAW,EAAE4D,IAAI,EAAEnB,CAAC,EAAE3D,KAAK,CAAC;MACxC,CAAC,CAAC,EAAEY,OAAO,CAACI,cAAc,EAAE6D,GAAG,EAAElB,CAAC,CAAC;IACvC;EACJ,CAAC,CAAC;AACN,CAAC;AACD,IAAIsB,cAAc,GAAG,SAAAA,CAAUnB,MAAM,EAAE;EACnC,IAAIoB,QAAQ,GAAGpB,MAAM,CAACqB,SAAS,CAAC,SAAS,CAAC;EAC1C,IAAI,CAACD,QAAQ,EAAE;IACX;EACJ;EACA,KAAK,IAAI1F,CAAC,GAAG0F,QAAQ,CAAC9E,MAAM,GAAG,CAAC,EAAEgF,GAAG,GAAG,KAAK,CAAC,EAAEA,GAAG,GAAGF,QAAQ,CAAC1F,CAAC,CAAC,EAAEA,CAAC,EAAE,EAAE;IACpE,IAAI,CAAC,CAAC,EAAEoB,OAAO,CAACK,WAAW,EAAEmE,GAAG,EAAE,kBAAkB,CAAC,EAAE;MACnD,CAAC,CAAC,EAAExE,OAAO,CAACI,cAAc,EAAEoE,GAAG,EAAE,kBAAkB,CAAC;MACpD;IACJ;IACA,IAAIC,OAAO,GAAG,EAAE;IAChB,IAAIxC,GAAG,GAAGI,YAAY,CAACmC,GAAG,CAAC;IAC3B,IAAI,CAAC,CAAC,EAAExE,OAAO,CAACK,WAAW,EAAE4B,GAAG,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE;MAClD;IACJ;IACAwC,OAAO,CAACtF,IAAI,CAACqF,GAAG,CAAC;IACjB,OAAO,CAAC,CAAC,EAAExE,OAAO,CAACK,WAAW,EAAE4B,GAAG,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE;MACrDA,GAAG,GAAGd,OAAO,CAACc,GAAG,CAAC;MAClB,IAAIyC,OAAO,GAAG7C,YAAY,CAACL,WAAW,CAACS,GAAG,EAAE,CAAC,CAAC,EAAEjC,OAAO,CAACK,WAAW,EAAE4B,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC;MAC5F,IAAI0C,OAAO,GAAI,CAAC,CAAC,EAAE3E,OAAO,CAACK,WAAW,EAAEqE,OAAO,EAAE,eAAe,CAAC,GAC7D3C,aAAa,CAAC2C,OAAO,EAAE,CAAC,CAAC,EAAE1E,OAAO,CAACK,WAAW,EAAEqE,OAAO,EAAE,eAAe,CAAC,CAAC,GAC1EA,OAAO;MACX,IAAI,CAAC,CAAC,EAAE1E,OAAO,CAACK,WAAW,EAAEsE,OAAO,EAAE,SAAS,CAAC,EAAE;QAC9CH,GAAG,GAAGG,OAAO,CAACrD,UAAU,CAAC,CAAC,CAAC;QAC3BmD,OAAO,CAACtF,IAAI,CAACqF,GAAG,CAAC;QACjB,CAAC,CAAC,EAAExE,OAAO,CAACM,WAAW,EAAEkE,GAAG,EAAE,kBAAkB,EAAE,IAAI,CAAC;MAC3D;MACAvC,GAAG,GAAGyC,OAAO;IACjB;IACAE,qBAAqB,CAAC1B,MAAM,EAAEuB,OAAO,CAAC;EAC1C;AACJ,CAAC;AACD,IAAII,eAAe,GAAG,SAAAA,CAAU3B,MAAM,EAAEyB,OAAO,EAAEG,QAAQ,EAAEpD,SAAS,EAAEV,KAAK,EAAE;EACzE,IAAI0C,MAAM,GAAGR,MAAM,CAACG,WAAW,CAACC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE;IAAEtC,KAAK,EAAEN,cAAc,CAACU,OAAO,CAACwC,EAAE,CAAC5C,KAAK;EAAE,CAAC,CAAC;EACzG,IAAIU,SAAS,KAAK,MAAM,EAAE;IACtB,IAAIqD,GAAG,GAAGJ,OAAO,CAACrD,UAAU,CAACwD,QAAQ,CAAC,CAACxD,UAAU,CAAC,CAAC,CAAC;IACpDoC,MAAM,CAACnC,MAAM,GAAGwD,GAAG;IACnBA,GAAG,CAACzD,UAAU,CAAC0C,OAAO,CAACN,MAAM,CAAC;EAClC,CAAC,MACI;IACDiB,OAAO,CAACrD,UAAU,CAACwD,QAAQ,CAAC,CAACf,WAAW,CAACL,MAAM,CAAC;EACpD;EACA,CAAC,CAAC,EAAE1D,OAAO,CAACM,WAAW,EAAEqE,OAAO,CAACpD,MAAM,EAAE,gBAAgB,GAAGG,SAAS,EAAEV,KAAK,CAAC;AACjF,CAAC;AACD,IAAI4D,qBAAqB,GAAG,SAAAA,CAAU1B,MAAM,EAAEoB,QAAQ,EAAE;EACpD,IAAIU,GAAG,GAAGV,QAAQ,CAACW,GAAG,CAAC,CAAC;EACxB,OAAOX,QAAQ,CAAC9E,MAAM,EAAE;IACpB,IAAI0F,MAAM,GAAGZ,QAAQ,CAACW,GAAG,CAAC,CAAC;IAC3B,IAAIpF,EAAE,GAAGvB,MAAM,CAAC6G,eAAe,CAACH,GAAG,EAAEE,MAAM,CAAC,EAAE,CAAC,CAAC;MAAEE,IAAI,GAAGvF,EAAE,CAAC,CAAC,CAAC;MAAE0C,KAAK,GAAG1C,EAAE,CAAC,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,EAAEG,OAAO,CAACK,WAAW,EAAE2E,GAAG,CAACzD,MAAM,EAAE,OAAO,CAAC,EAAE;MAC/CsD,eAAe,CAAC3B,MAAM,EAAEkC,IAAI,GAAG,CAAC,GAAGJ,GAAG,GAAGE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAEG,IAAI,CAACC,GAAG,CAACF,IAAI,CAAC,CAAC;MAC3EP,eAAe,CAAC3B,MAAM,EAAEX,KAAK,GAAG,CAAC,GAAGyC,GAAG,GAAGE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAEG,IAAI,CAACC,GAAG,CAAC/C,KAAK,CAAC,CAAC;IAClF;IACAyC,GAAG,GAAGE,MAAM;EAChB;AACJ,CAAC;AACD,IAAIC,eAAe,GAAG,SAAAA,CAAUH,GAAG,EAAEE,MAAM,EAAE;EACzC,IAAIK,EAAE,GAAG1E,OAAO,CAACmE,GAAG,CAAC1D,UAAU,CAAC,CAAC,CAAC,CAAC;EACnC,IAAIkE,EAAE,GAAG3E,OAAO,CAACqE,MAAM,CAAC5D,UAAU,CAAC,CAAC,CAAC,CAAC;EACtC,IAAImE,EAAE,GAAG5E,OAAO,CAACmE,GAAG,CAAC1D,UAAU,CAAC,CAAC,CAAC,CAAC;EACnC,IAAIoE,EAAE,GAAG7E,OAAO,CAACqE,MAAM,CAAC5D,UAAU,CAAC,CAAC,CAAC,CAAC;EACtC,IAAIqE,EAAE,GAAGF,EAAE,GAAGC,EAAE;EAChB,IAAIE,EAAE,GAAGL,EAAE,GAAGC,EAAE;EAChB,OAAO,CAACG,EAAE,EAAEC,EAAE,CAAC;AACnB,CAAC;AACD,IAAIrF,YAAY,GAAG,SAAAA,CAAUsF,GAAG,EAAE;EAC9B,IAAIC,GAAG,EAAEjG,EAAE;EACXe,IAAI,GAAG,IAAIiF,GAAG,CAACE,QAAQ,CAACC,OAAO,CAACC,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAEJ,GAAG,CAACK,IAAI,CAACC,OAAO,CAAC;EACpE,IAAIjD,MAAM,GAAG2C,GAAG,CAACO,IAAI;EACrB/B,cAAc,CAACnB,MAAM,CAAC;EACtB,IAAImD,UAAU,GAAGnD,MAAM,CAACqB,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE;EACpD,IAAI;IACA,KAAK,IAAI+B,YAAY,GAAGhH,QAAQ,CAAC+G,UAAU,CAAC,EAAEE,cAAc,GAAGD,YAAY,CAACrH,IAAI,CAAC,CAAC,EAAE,CAACsH,cAAc,CAACrH,IAAI,EAAEqH,cAAc,GAAGD,YAAY,CAACrH,IAAI,CAAC,CAAC,EAAE;MAC5I,IAAIgD,GAAG,GAAGsE,cAAc,CAACnH,KAAK;MAC9B,IAAIoH,OAAO,GAAG,CAAC,CAAC,EAAExG,OAAO,CAACK,WAAW,EAAE4B,GAAG,EAAE,OAAO,CAAC;MACpD,IAAIR,IAAI,GAAGN,OAAO,CAACc,GAAG,CAAC;MACvB,IAAIL,QAAQ,GAAGJ,WAAW,CAACC,IAAI,EAAE,CAAC,CAAC,EAAEzB,OAAO,CAACK,WAAW,EAAEoB,IAAI,EAAE,eAAe,CAAC,CAAC;MACjF,IAAIgF,QAAQ,GAAG5E,YAAY,CAACD,QAAQ,CAAC;MACrC,IAAI,CAAC,CAAC,EAAE5B,OAAO,CAACK,WAAW,EAAEoG,QAAQ,EAAE,WAAW,CAAC,EAAE;QACjD,IAAIC,QAAQ,GAAG7D,WAAW,CAAC4D,QAAQ,CAAC;QACpC,IAAIC,QAAQ,EAAE;UACVzD,QAAQ,CAACC,MAAM,EAAEuD,QAAQ,EAAE,CAACC,QAAQ,CAAC;UACrC,IAAIC,GAAG,GAAGrE,SAAS,CAACL,GAAG,EAAER,IAAI,EAAE,KAAK,CAAC;UACrCwB,QAAQ,CAACC,MAAM,EAAEjB,GAAG,EAAEyE,QAAQ,GAAGC,GAAG,CAAC;QACzC;MACJ;MACA,IAAIC,QAAQ,GAAG9E,WAAW,CAACF,QAAQ,CAAC;MACpC,IAAI,CAAC,CAAC,EAAE5B,OAAO,CAACK,WAAW,EAAEuG,QAAQ,EAAE,WAAW,CAAC,IAAI,IAAI,EAAE;QACzD;MACJ;MACA,IAAIC,MAAM,GAAGhE,WAAW,CAAC+D,QAAQ,EAAE,IAAI,CAAC;MACxC3D,QAAQ,CAACC,MAAM,EAAE0D,QAAQ,EAAE,CAACC,MAAM,EAAE,IAAI,CAAC;MACzC,IAAI3F,CAAC,GAAGoB,SAAS,CAACL,GAAG,EAAER,IAAI,EAAE,IAAI,CAAC;MAClC,IAAIqF,SAAS,GAAG,CAAC,CAAC,EAAE9G,OAAO,CAACK,WAAW,EAAE4B,GAAG,EAAE,WAAW,CAAC;MAC1D,IAAI6E,SAAS,IAAI,IAAI,EAAE;QACnBD,MAAM,GAAGxB,IAAI,CAAC0B,GAAG,CAACF,MAAM,EAAEC,SAAS,CAAC;MACxC;MACA,IAAIE,MAAM,GAAG,KAAK,CAAC;MACnB,IAAIR,OAAO,IAAI,EAAEQ,MAAM,GAAGhF,SAAS,CAACC,GAAG,CAAC,CAAC,EAAE;QACvCgB,QAAQ,CAACC,MAAM,EAAE,CAAC,CAAC,EAAElD,OAAO,CAACK,WAAW,EAAE4B,GAAG,EAAE,OAAO,CAAC,GAAGA,GAAG,GAAGA,GAAG,CAACV,MAAM,EAAEsF,MAAM,GAAG3F,CAAC,EAAE,IAAI,CAAC;QAC7F;MACJ;MACA,IAAI+F,OAAO,GAAG/E,WAAW,CAAC8E,MAAM,CAAC;MACjC,IAAIC,OAAO,EAAE;QACT,IAAIC,GAAG,GAAGhE,MAAM,CAACG,WAAW,CAACC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE;UAAEtC,KAAK,EAAE6F,MAAM,GAAG3F,CAAC,GAAG;QAAK,CAAC,CAAC;QACvF+F,OAAO,CAAClD,WAAW,CAACmD,GAAG,CAAC;QACxBjF,GAAG,CAAC7B,cAAc,CAAC,WAAW,CAAC;QAC/B;MACJ;MACA,IAAI+G,UAAU,GAAG9E,YAAY,CAAC2E,MAAM,CAAC;MACrC,IAAI,CAACG,UAAU,EAAE;QACb;MACJ;MACAN,MAAM,GAAG,CAAC,CAAC,EAAE7G,OAAO,CAACK,WAAW,EAAE8G,UAAU,EAAE,WAAW,CAAC,GACtD9B,IAAI,CAAC0B,GAAG,CAAC,CAAC,CAAC,EAAE/G,OAAO,CAACK,WAAW,EAAE8G,UAAU,EAAE,WAAW,CAAC,EAAEN,MAAM,CAAC,GAAGA,MAAM;MAChF,CAAC,CAAC,EAAE7G,OAAO,CAACM,WAAW,EAAE6G,UAAU,EAAE,WAAW,EAAEN,MAAM,CAAC;IAC7D;EACJ,CAAC,CACD,OAAOO,KAAK,EAAE;IAAEtB,GAAG,GAAG;MAAEzG,KAAK,EAAE+H;IAAM,CAAC;EAAE,CAAC,SACjC;IACJ,IAAI;MACA,IAAIb,cAAc,IAAI,CAACA,cAAc,CAACrH,IAAI,KAAKW,EAAE,GAAGyG,YAAY,CAACe,MAAM,CAAC,EAAExH,EAAE,CAAChB,IAAI,CAACyH,YAAY,CAAC;IACnG,CAAC,SACO;MAAE,IAAIR,GAAG,EAAE,MAAMA,GAAG,CAACzG,KAAK;IAAE;EACxC;AACJ,CAAC;AACDW,OAAO,CAACO,YAAY,GAAGA,YAAY;AACnC,IAAI+G,eAAe,GAAG,OAAO;AAC7B,IAAIC,qBAAqB,IAAI1H,EAAE,GAAG,CAAC,CAAC,EAChCA,EAAE,CAACyH,eAAe,GAAG,WAAW,CAAC,GAAG,IAAI,EACxCzH,EAAE,CAAC;AACP,IAAIS,WAAW,GAAG,SAAAA,CAAUQ,IAAI,EAAE0G,QAAQ,EAAEpI,KAAK,EAAE;EAC/CoB,aAAa,CAACY,OAAO,CAACd,WAAW,CAACQ,IAAI,EAAEwG,eAAe,GAAGE,QAAQ,EAAEpI,KAAK,CAAC;AAC9E,CAAC;AACDY,OAAO,CAACM,WAAW,GAAGA,WAAW;AACjC,IAAID,WAAW,GAAG,SAAAA,CAAUS,IAAI,EAAE0G,QAAQ,EAAE;EACxC,OAAOhH,aAAa,CAACY,OAAO,CAACf,WAAW,CAACS,IAAI,EAAEwG,eAAe,GAAGE,QAAQ,CAAC;AAC9E,CAAC;AACDxH,OAAO,CAACK,WAAW,GAAGA,WAAW;AACjC,IAAID,cAAc,GAAG,SAAAA,CAAUU,IAAI,EAAE0G,QAAQ,EAAE;EAC3C1G,IAAI,CAACV,cAAc,CAACkH,eAAe,GAAGE,QAAQ,CAAC;AACnD,CAAC;AACDxH,OAAO,CAACI,cAAc,GAAGA,cAAc;AACvC,IAAID,kBAAkB,GAAG,SAAAA,CAAU0F,GAAG,EAAE;EACpCA,GAAG,CAACO,IAAI,CAACrF,IAAI,CAAC0G,QAAQ,CAAC,UAAUC,GAAG,EAAEC,KAAK,EAAE;IACzC,IAAIC,IAAI,GAAG,EAAE;IACbF,GAAG,CAACG,gBAAgB,CAAC,CAAC,CAACzD,OAAO,CAAC,UAAUrB,CAAC,EAAE;MACxC,IAAI,CAACwE,qBAAqB,CAACxE,CAAC,CAAC,IAAIA,CAAC,CAAC+E,KAAK,CAACC,MAAM,CAAC,GAAG,GAAGT,eAAe,CAAC,CAAC,EAAE;QACrEM,IAAI,CAACzI,IAAI,CAAC4D,CAAC,GAAG,GAAG,GAAG2E,GAAG,CAACrH,WAAW,CAAC0C,CAAC,CAAC,CAAC;MAC3C;IACJ,CAAC,CAAC;IACF,IAAI6E,IAAI,CAACpI,MAAM,EAAE;MACbgB,aAAa,CAACY,OAAO,CAACuC,YAAY,CAAC+D,GAAG,EAAE,WAAW,EAAEE,IAAI,CAACI,IAAI,CAAC,GAAG,CAAC,CAAC;IACxE;EACJ,CAAC,CAAC;AACN,CAAC;AACDhI,OAAO,CAACG,kBAAkB,GAAGA,kBAAkB;AAC/C,IAAID,YAAY,GAAG,SAAAA,CAAU2F,GAAG,EAAE;EAC9BlF,GAAG,GAAGkF,GAAG,CAACE,QAAQ;EAClB,IAAI,EAAE,SAAS,IAAIpF,GAAG,CAACM,SAAS,CAAC,EAAE;IAC/B,MAAMgH,KAAK,CAAC,yEAAyE,CAAC;EAC1F;AACJ,CAAC;AACDjI,OAAO,CAACE,YAAY,GAAGA,YAAY;AACnC,IAAID,aAAa,GAAG,SAAAA,CAAUiI,IAAI,EAAE;EAChCvH,GAAG,GAAG,IAAI;AACd,CAAC;AACDX,OAAO,CAACC,aAAa,GAAGA,aAAa","ignoreList":[]},"metadata":{},"sourceType":"script","externalDependencies":[]}
|
