7866c0dc5fce600f4f1880e147029173deb2caebfcfd8be3b7447871d039cf80.json 37 KB

1
  1. {"ast":null,"code":"\"use strict\";\n\nvar __createBinding = this && this.__createBinding || (Object.create ? function (o, m, k, k2) {\n if (k2 === undefined) k2 = k;\n var desc = Object.getOwnPropertyDescriptor(m, k);\n if (!desc || (\"get\" in desc ? !m.__esModule : desc.writable || desc.configurable)) {\n desc = {\n enumerable: true,\n get: function () {\n return m[k];\n }\n };\n }\n Object.defineProperty(o, k2, desc);\n} : function (o, m, k, k2) {\n if (k2 === undefined) k2 = k;\n o[k2] = m[k];\n});\nvar __setModuleDefault = this && this.__setModuleDefault || (Object.create ? function (o, v) {\n Object.defineProperty(o, \"default\", {\n enumerable: true,\n value: v\n });\n} : function (o, v) {\n o[\"default\"] = v;\n});\nvar __importStar = this && this.__importStar || function (mod) {\n if (mod && mod.__esModule) return mod;\n var result = {};\n if (mod != null) for (var k in mod) if (k !== \"default\" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);\n __setModuleDefault(result, mod);\n return result;\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 __spreadArray = this && this.__spreadArray || function (to, from, pack) {\n if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {\n if (ar || !(i in from)) {\n if (!ar) ar = Array.prototype.slice.call(from, 0, i);\n ar[i] = from[i];\n }\n }\n return to.concat(ar || Array.prototype.slice.call(from));\n};\nvar __importDefault = this && this.__importDefault || function (mod) {\n return mod && mod.__esModule ? mod : {\n \"default\": mod\n };\n};\nObject.defineProperty(exports, \"__esModule\", {\n value: true\n});\nvar TexError_js_1 = __importDefault(require(\"../TexError.js\"));\nvar TexParser_js_1 = __importDefault(require(\"../TexParser.js\"));\nvar ParseUtil_js_1 = __importDefault(require(\"../ParseUtil.js\"));\nvar BussproofsUtil = __importStar(require(\"./BussproofsUtil.js\"));\nvar BussproofsMethods = {};\nBussproofsMethods.Prooftree = function (parser, begin) {\n parser.Push(begin);\n var newItem = parser.itemFactory.create('proofTree').setProperties({\n name: begin.getName(),\n line: 'solid',\n currentLine: 'solid',\n rootAtTop: false\n });\n return newItem;\n};\nBussproofsMethods.Axiom = function (parser, name) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n var content = paddedContent(parser, parser.GetArgument(name));\n BussproofsUtil.setProperty(content, 'axiom', true);\n top.Push(content);\n};\nvar paddedContent = function (parser, content) {\n var nodes = ParseUtil_js_1.default.internalMath(parser, ParseUtil_js_1.default.trimSpaces(content), 0);\n if (!nodes[0].childNodes[0].childNodes.length) {\n return parser.create('node', 'mrow', []);\n }\n var lpad = parser.create('node', 'mspace', [], {\n width: '.5ex'\n });\n var rpad = parser.create('node', 'mspace', [], {\n width: '.5ex'\n });\n return parser.create('node', 'mrow', __spreadArray(__spreadArray([lpad], __read(nodes), false), [rpad], false));\n};\nBussproofsMethods.Inference = function (parser, name, n) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n if (top.Size() < n) {\n throw new TexError_js_1.default('BadProofTree', 'Proof tree badly specified.');\n }\n var rootAtTop = top.getProperty('rootAtTop');\n var childCount = n === 1 && !top.Peek()[0].childNodes.length ? 0 : n;\n var children = [];\n do {\n if (children.length) {\n children.unshift(parser.create('node', 'mtd', [], {}));\n }\n children.unshift(parser.create('node', 'mtd', [top.Pop()], {\n 'rowalign': rootAtTop ? 'top' : 'bottom'\n }));\n n--;\n } while (n > 0);\n var row = parser.create('node', 'mtr', children, {});\n var table = parser.create('node', 'mtable', [row], {\n framespacing: '0 0'\n });\n var conclusion = paddedContent(parser, parser.GetArgument(name));\n var style = top.getProperty('currentLine');\n if (style !== top.getProperty('line')) {\n top.setProperty('currentLine', top.getProperty('line'));\n }\n var rule = createRule(parser, table, [conclusion], top.getProperty('left'), top.getProperty('right'), style, rootAtTop);\n top.setProperty('left', null);\n top.setProperty('right', null);\n BussproofsUtil.setProperty(rule, 'inference', childCount);\n parser.configuration.addNode('inference', rule);\n top.Push(rule);\n};\nfunction createRule(parser, premise, conclusions, left, right, style, rootAtTop) {\n var upper = parser.create('node', 'mtr', [parser.create('node', 'mtd', [premise], {})], {});\n var lower = parser.create('node', 'mtr', [parser.create('node', 'mtd', conclusions, {})], {});\n var rule = parser.create('node', 'mtable', rootAtTop ? [lower, upper] : [upper, lower], {\n align: 'top 2',\n rowlines: style,\n framespacing: '0 0'\n });\n BussproofsUtil.setProperty(rule, 'inferenceRule', rootAtTop ? 'up' : 'down');\n var leftLabel, rightLabel;\n if (left) {\n leftLabel = parser.create('node', 'mpadded', [left], {\n height: '+.5em',\n width: '+.5em',\n voffset: '-.15em'\n });\n BussproofsUtil.setProperty(leftLabel, 'prooflabel', 'left');\n }\n if (right) {\n rightLabel = parser.create('node', 'mpadded', [right], {\n height: '+.5em',\n width: '+.5em',\n voffset: '-.15em'\n });\n BussproofsUtil.setProperty(rightLabel, 'prooflabel', 'right');\n }\n var children, label;\n if (left && right) {\n children = [leftLabel, rule, rightLabel];\n label = 'both';\n } else if (left) {\n children = [leftLabel, rule];\n label = 'left';\n } else if (right) {\n children = [rule, rightLabel];\n label = 'right';\n } else {\n return rule;\n }\n rule = parser.create('node', 'mrow', children);\n BussproofsUtil.setProperty(rule, 'labelledRule', label);\n return rule;\n}\nBussproofsMethods.Label = function (parser, name, side) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n var content = ParseUtil_js_1.default.internalMath(parser, parser.GetArgument(name), 0);\n var label = content.length > 1 ? parser.create('node', 'mrow', content, {}) : content[0];\n top.setProperty(side, label);\n};\nBussproofsMethods.SetLine = function (parser, _name, style, always) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n top.setProperty('currentLine', style);\n if (always) {\n top.setProperty('line', style);\n }\n};\nBussproofsMethods.RootAtTop = function (parser, _name, where) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n top.setProperty('rootAtTop', where);\n};\nBussproofsMethods.AxiomF = function (parser, name) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n var line = parseFCenterLine(parser, name);\n BussproofsUtil.setProperty(line, 'axiom', true);\n top.Push(line);\n};\nfunction parseFCenterLine(parser, name) {\n var dollar = parser.GetNext();\n if (dollar !== '$') {\n throw new TexError_js_1.default('IllegalUseOfCommand', 'Use of %1 does not match it\\'s definition.', name);\n }\n parser.i++;\n var axiom = parser.GetUpTo(name, '$');\n if (axiom.indexOf('\\\\fCenter') === -1) {\n throw new TexError_js_1.default('IllegalUseOfCommand', 'Missing \\\\fCenter in %1.', name);\n }\n var _a = __read(axiom.split('\\\\fCenter'), 2),\n prem = _a[0],\n conc = _a[1];\n var premise = new TexParser_js_1.default(prem, parser.stack.env, parser.configuration).mml();\n var conclusion = new TexParser_js_1.default(conc, parser.stack.env, parser.configuration).mml();\n var fcenter = new TexParser_js_1.default('\\\\fCenter', parser.stack.env, parser.configuration).mml();\n var left = parser.create('node', 'mtd', [premise], {});\n var middle = parser.create('node', 'mtd', [fcenter], {});\n var right = parser.create('node', 'mtd', [conclusion], {});\n var row = parser.create('node', 'mtr', [left, middle, right], {});\n var table = parser.create('node', 'mtable', [row], {\n columnspacing: '.5ex',\n columnalign: 'center 2'\n });\n BussproofsUtil.setProperty(table, 'sequent', true);\n parser.configuration.addNode('sequent', row);\n return table;\n}\nBussproofsMethods.FCenter = function (_parser, _name) {};\nBussproofsMethods.InferenceF = function (parser, name, n) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n if (top.Size() < n) {\n throw new TexError_js_1.default('BadProofTree', 'Proof tree badly specified.');\n }\n var rootAtTop = top.getProperty('rootAtTop');\n var childCount = n === 1 && !top.Peek()[0].childNodes.length ? 0 : n;\n var children = [];\n do {\n if (children.length) {\n children.unshift(parser.create('node', 'mtd', [], {}));\n }\n children.unshift(parser.create('node', 'mtd', [top.Pop()], {\n 'rowalign': rootAtTop ? 'top' : 'bottom'\n }));\n n--;\n } while (n > 0);\n var row = parser.create('node', 'mtr', children, {});\n var table = parser.create('node', 'mtable', [row], {\n framespacing: '0 0'\n });\n var conclusion = parseFCenterLine(parser, name);\n var style = top.getProperty('currentLine');\n if (style !== top.getProperty('line')) {\n top.setProperty('currentLine', top.getProperty('line'));\n }\n var rule = createRule(parser, table, [conclusion], top.getProperty('left'), top.getProperty('right'), style, rootAtTop);\n top.setProperty('left', null);\n top.setProperty('right', null);\n BussproofsUtil.setProperty(rule, 'inference', childCount);\n parser.configuration.addNode('inference', rule);\n top.Push(rule);\n};\nexports.default = BussproofsMethods;","map":{"version":3,"names":["__createBinding","Object","create","o","m","k","k2","undefined","desc","getOwnPropertyDescriptor","__esModule","writable","configurable","enumerable","get","defineProperty","__setModuleDefault","v","value","__importStar","mod","result","prototype","hasOwnProperty","call","__read","n","Symbol","iterator","i","r","ar","e","next","done","push","error","__spreadArray","to","from","pack","arguments","length","l","Array","slice","concat","__importDefault","exports","TexError_js_1","require","TexParser_js_1","ParseUtil_js_1","BussproofsUtil","BussproofsMethods","Prooftree","parser","begin","Push","newItem","itemFactory","setProperties","name","getName","line","currentLine","rootAtTop","Axiom","top","stack","Top","kind","default","content","paddedContent","GetArgument","setProperty","nodes","internalMath","trimSpaces","childNodes","lpad","width","rpad","Inference","Size","getProperty","childCount","Peek","children","unshift","Pop","row","table","framespacing","conclusion","style","rule","createRule","configuration","addNode","premise","conclusions","left","right","upper","lower","align","rowlines","leftLabel","rightLabel","height","voffset","label","Label","side","SetLine","_name","always","RootAtTop","where","AxiomF","parseFCenterLine","dollar","GetNext","axiom","GetUpTo","indexOf","_a","split","prem","conc","env","mml","fcenter","middle","columnspacing","columnalign","FCenter","_parser","InferenceF"],"sources":["F:/workspace/202226701027/huinongbao-app/node_modules/mathjax-full/js/input/tex/bussproofs/BussproofsMethods.js"],"sourcesContent":["\"use strict\";\nvar __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {\n if (k2 === undefined) k2 = k;\n var desc = Object.getOwnPropertyDescriptor(m, k);\n if (!desc || (\"get\" in desc ? !m.__esModule : desc.writable || desc.configurable)) {\n desc = { enumerable: true, get: function() { return m[k]; } };\n }\n Object.defineProperty(o, k2, desc);\n}) : (function(o, m, k, k2) {\n if (k2 === undefined) k2 = k;\n o[k2] = m[k];\n}));\nvar __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {\n Object.defineProperty(o, \"default\", { enumerable: true, value: v });\n}) : function(o, v) {\n o[\"default\"] = v;\n});\nvar __importStar = (this && this.__importStar) || function (mod) {\n if (mod && mod.__esModule) return mod;\n var result = {};\n if (mod != null) for (var k in mod) if (k !== \"default\" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);\n __setModuleDefault(result, mod);\n return result;\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), 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 __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {\n if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {\n if (ar || !(i in from)) {\n if (!ar) ar = Array.prototype.slice.call(from, 0, i);\n ar[i] = from[i];\n }\n }\n return to.concat(ar || Array.prototype.slice.call(from));\n};\nvar __importDefault = (this && this.__importDefault) || function (mod) {\n return (mod && mod.__esModule) ? mod : { \"default\": mod };\n};\nObject.defineProperty(exports, \"__esModule\", { value: true });\nvar TexError_js_1 = __importDefault(require(\"../TexError.js\"));\nvar TexParser_js_1 = __importDefault(require(\"../TexParser.js\"));\nvar ParseUtil_js_1 = __importDefault(require(\"../ParseUtil.js\"));\nvar BussproofsUtil = __importStar(require(\"./BussproofsUtil.js\"));\nvar BussproofsMethods = {};\nBussproofsMethods.Prooftree = function (parser, begin) {\n parser.Push(begin);\n var newItem = parser.itemFactory.create('proofTree').\n setProperties({ name: begin.getName(),\n line: 'solid', currentLine: 'solid', rootAtTop: false });\n return newItem;\n};\nBussproofsMethods.Axiom = function (parser, name) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n var content = paddedContent(parser, parser.GetArgument(name));\n BussproofsUtil.setProperty(content, 'axiom', true);\n top.Push(content);\n};\nvar paddedContent = function (parser, content) {\n var nodes = ParseUtil_js_1.default.internalMath(parser, ParseUtil_js_1.default.trimSpaces(content), 0);\n if (!nodes[0].childNodes[0].childNodes.length) {\n return parser.create('node', 'mrow', []);\n }\n var lpad = parser.create('node', 'mspace', [], { width: '.5ex' });\n var rpad = parser.create('node', 'mspace', [], { width: '.5ex' });\n return parser.create('node', 'mrow', __spreadArray(__spreadArray([lpad], __read(nodes), false), [rpad], false));\n};\nBussproofsMethods.Inference = function (parser, name, n) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n if (top.Size() < n) {\n throw new TexError_js_1.default('BadProofTree', 'Proof tree badly specified.');\n }\n var rootAtTop = top.getProperty('rootAtTop');\n var childCount = (n === 1 && !top.Peek()[0].childNodes.length) ? 0 : n;\n var children = [];\n do {\n if (children.length) {\n children.unshift(parser.create('node', 'mtd', [], {}));\n }\n children.unshift(parser.create('node', 'mtd', [top.Pop()], { 'rowalign': (rootAtTop ? 'top' : 'bottom') }));\n n--;\n } while (n > 0);\n var row = parser.create('node', 'mtr', children, {});\n var table = parser.create('node', 'mtable', [row], { framespacing: '0 0' });\n var conclusion = paddedContent(parser, parser.GetArgument(name));\n var style = top.getProperty('currentLine');\n if (style !== top.getProperty('line')) {\n top.setProperty('currentLine', top.getProperty('line'));\n }\n var rule = createRule(parser, table, [conclusion], top.getProperty('left'), top.getProperty('right'), style, rootAtTop);\n top.setProperty('left', null);\n top.setProperty('right', null);\n BussproofsUtil.setProperty(rule, 'inference', childCount);\n parser.configuration.addNode('inference', rule);\n top.Push(rule);\n};\nfunction createRule(parser, premise, conclusions, left, right, style, rootAtTop) {\n var upper = parser.create('node', 'mtr', [parser.create('node', 'mtd', [premise], {})], {});\n var lower = parser.create('node', 'mtr', [parser.create('node', 'mtd', conclusions, {})], {});\n var rule = parser.create('node', 'mtable', rootAtTop ? [lower, upper] : [upper, lower], { align: 'top 2', rowlines: style, framespacing: '0 0' });\n BussproofsUtil.setProperty(rule, 'inferenceRule', rootAtTop ? 'up' : 'down');\n var leftLabel, rightLabel;\n if (left) {\n leftLabel = parser.create('node', 'mpadded', [left], { height: '+.5em', width: '+.5em', voffset: '-.15em' });\n BussproofsUtil.setProperty(leftLabel, 'prooflabel', 'left');\n }\n if (right) {\n rightLabel = parser.create('node', 'mpadded', [right], { height: '+.5em', width: '+.5em', voffset: '-.15em' });\n BussproofsUtil.setProperty(rightLabel, 'prooflabel', 'right');\n }\n var children, label;\n if (left && right) {\n children = [leftLabel, rule, rightLabel];\n label = 'both';\n }\n else if (left) {\n children = [leftLabel, rule];\n label = 'left';\n }\n else if (right) {\n children = [rule, rightLabel];\n label = 'right';\n }\n else {\n return rule;\n }\n rule = parser.create('node', 'mrow', children);\n BussproofsUtil.setProperty(rule, 'labelledRule', label);\n return rule;\n}\nBussproofsMethods.Label = function (parser, name, side) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n var content = ParseUtil_js_1.default.internalMath(parser, parser.GetArgument(name), 0);\n var label = (content.length > 1) ?\n parser.create('node', 'mrow', content, {}) : content[0];\n top.setProperty(side, label);\n};\nBussproofsMethods.SetLine = function (parser, _name, style, always) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n top.setProperty('currentLine', style);\n if (always) {\n top.setProperty('line', style);\n }\n};\nBussproofsMethods.RootAtTop = function (parser, _name, where) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n top.setProperty('rootAtTop', where);\n};\nBussproofsMethods.AxiomF = function (parser, name) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n var line = parseFCenterLine(parser, name);\n BussproofsUtil.setProperty(line, 'axiom', true);\n top.Push(line);\n};\nfunction parseFCenterLine(parser, name) {\n var dollar = parser.GetNext();\n if (dollar !== '$') {\n throw new TexError_js_1.default('IllegalUseOfCommand', 'Use of %1 does not match it\\'s definition.', name);\n }\n parser.i++;\n var axiom = parser.GetUpTo(name, '$');\n if (axiom.indexOf('\\\\fCenter') === -1) {\n throw new TexError_js_1.default('IllegalUseOfCommand', 'Missing \\\\fCenter in %1.', name);\n }\n var _a = __read(axiom.split('\\\\fCenter'), 2), prem = _a[0], conc = _a[1];\n var premise = (new TexParser_js_1.default(prem, parser.stack.env, parser.configuration)).mml();\n var conclusion = (new TexParser_js_1.default(conc, parser.stack.env, parser.configuration)).mml();\n var fcenter = (new TexParser_js_1.default('\\\\fCenter', parser.stack.env, parser.configuration)).mml();\n var left = parser.create('node', 'mtd', [premise], {});\n var middle = parser.create('node', 'mtd', [fcenter], {});\n var right = parser.create('node', 'mtd', [conclusion], {});\n var row = parser.create('node', 'mtr', [left, middle, right], {});\n var table = parser.create('node', 'mtable', [row], { columnspacing: '.5ex', columnalign: 'center 2' });\n BussproofsUtil.setProperty(table, 'sequent', true);\n parser.configuration.addNode('sequent', row);\n return table;\n}\nBussproofsMethods.FCenter = function (_parser, _name) { };\nBussproofsMethods.InferenceF = function (parser, name, n) {\n var top = parser.stack.Top();\n if (top.kind !== 'proofTree') {\n throw new TexError_js_1.default('IllegalProofCommand', 'Proof commands only allowed in prooftree environment.');\n }\n if (top.Size() < n) {\n throw new TexError_js_1.default('BadProofTree', 'Proof tree badly specified.');\n }\n var rootAtTop = top.getProperty('rootAtTop');\n var childCount = (n === 1 && !top.Peek()[0].childNodes.length) ? 0 : n;\n var children = [];\n do {\n if (children.length) {\n children.unshift(parser.create('node', 'mtd', [], {}));\n }\n children.unshift(parser.create('node', 'mtd', [top.Pop()], { 'rowalign': (rootAtTop ? 'top' : 'bottom') }));\n n--;\n } while (n > 0);\n var row = parser.create('node', 'mtr', children, {});\n var table = parser.create('node', 'mtable', [row], { framespacing: '0 0' });\n var conclusion = parseFCenterLine(parser, name);\n var style = top.getProperty('currentLine');\n if (style !== top.getProperty('line')) {\n top.setProperty('currentLine', top.getProperty('line'));\n }\n var rule = createRule(parser, table, [conclusion], top.getProperty('left'), top.getProperty('right'), style, rootAtTop);\n top.setProperty('left', null);\n top.setProperty('right', null);\n BussproofsUtil.setProperty(rule, 'inference', childCount);\n parser.configuration.addNode('inference', rule);\n top.Push(rule);\n};\nexports.default = BussproofsMethods;\n"],"mappings":"AAAA,YAAY;;AACZ,IAAIA,eAAe,GAAI,IAAI,IAAI,IAAI,CAACA,eAAe,KAAMC,MAAM,CAACC,MAAM,GAAI,UAASC,CAAC,EAAEC,CAAC,EAAEC,CAAC,EAAEC,EAAE,EAAE;EAC5F,IAAIA,EAAE,KAAKC,SAAS,EAAED,EAAE,GAAGD,CAAC;EAC5B,IAAIG,IAAI,GAAGP,MAAM,CAACQ,wBAAwB,CAACL,CAAC,EAAEC,CAAC,CAAC;EAChD,IAAI,CAACG,IAAI,KAAK,KAAK,IAAIA,IAAI,GAAG,CAACJ,CAAC,CAACM,UAAU,GAAGF,IAAI,CAACG,QAAQ,IAAIH,IAAI,CAACI,YAAY,CAAC,EAAE;IACjFJ,IAAI,GAAG;MAAEK,UAAU,EAAE,IAAI;MAAEC,GAAG,EAAE,SAAAA,CAAA,EAAW;QAAE,OAAOV,CAAC,CAACC,CAAC,CAAC;MAAE;IAAE,CAAC;EAC/D;EACAJ,MAAM,CAACc,cAAc,CAACZ,CAAC,EAAEG,EAAE,EAAEE,IAAI,CAAC;AACtC,CAAC,GAAK,UAASL,CAAC,EAAEC,CAAC,EAAEC,CAAC,EAAEC,EAAE,EAAE;EACxB,IAAIA,EAAE,KAAKC,SAAS,EAAED,EAAE,GAAGD,CAAC;EAC5BF,CAAC,CAACG,EAAE,CAAC,GAAGF,CAAC,CAACC,CAAC,CAAC;AAChB,CAAE,CAAC;AACH,IAAIW,kBAAkB,GAAI,IAAI,IAAI,IAAI,CAACA,kBAAkB,KAAMf,MAAM,CAACC,MAAM,GAAI,UAASC,CAAC,EAAEc,CAAC,EAAE;EAC3FhB,MAAM,CAACc,cAAc,CAACZ,CAAC,EAAE,SAAS,EAAE;IAAEU,UAAU,EAAE,IAAI;IAAEK,KAAK,EAAED;EAAE,CAAC,CAAC;AACvE,CAAC,GAAI,UAASd,CAAC,EAAEc,CAAC,EAAE;EAChBd,CAAC,CAAC,SAAS,CAAC,GAAGc,CAAC;AACpB,CAAC,CAAC;AACF,IAAIE,YAAY,GAAI,IAAI,IAAI,IAAI,CAACA,YAAY,IAAK,UAAUC,GAAG,EAAE;EAC7D,IAAIA,GAAG,IAAIA,GAAG,CAACV,UAAU,EAAE,OAAOU,GAAG;EACrC,IAAIC,MAAM,GAAG,CAAC,CAAC;EACf,IAAID,GAAG,IAAI,IAAI,EAAE,KAAK,IAAIf,CAAC,IAAIe,GAAG,EAAE,IAAIf,CAAC,KAAK,SAAS,IAAIJ,MAAM,CAACqB,SAAS,CAACC,cAAc,CAACC,IAAI,CAACJ,GAAG,EAAEf,CAAC,CAAC,EAAEL,eAAe,CAACqB,MAAM,EAAED,GAAG,EAAEf,CAAC,CAAC;EACxIW,kBAAkB,CAACK,MAAM,EAAED,GAAG,CAAC;EAC/B,OAAOC,MAAM;AACjB,CAAC;AACD,IAAII,MAAM,GAAI,IAAI,IAAI,IAAI,CAACA,MAAM,IAAK,UAAUtB,CAAC,EAAEuB,CAAC,EAAE;EAClD,IAAItB,CAAC,GAAG,OAAOuB,MAAM,KAAK,UAAU,IAAIxB,CAAC,CAACwB,MAAM,CAACC,QAAQ,CAAC;EAC1D,IAAI,CAACxB,CAAC,EAAE,OAAOD,CAAC;EAChB,IAAI0B,CAAC,GAAGzB,CAAC,CAACoB,IAAI,CAACrB,CAAC,CAAC;IAAE2B,CAAC;IAAEC,EAAE,GAAG,EAAE;IAAEC,CAAC;EAChC,IAAI;IACA,OAAO,CAACN,CAAC,KAAK,KAAK,CAAC,IAAIA,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAACI,CAAC,GAAGD,CAAC,CAACI,IAAI,CAAC,CAAC,EAAEC,IAAI,EAAEH,EAAE,CAACI,IAAI,CAACL,CAAC,CAACZ,KAAK,CAAC;EAC9E,CAAC,CACD,OAAOkB,KAAK,EAAE;IAAEJ,CAAC,GAAG;MAAEI,KAAK,EAAEA;IAAM,CAAC;EAAE,CAAC,SAC/B;IACJ,IAAI;MACA,IAAIN,CAAC,IAAI,CAACA,CAAC,CAACI,IAAI,KAAK9B,CAAC,GAAGyB,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAEzB,CAAC,CAACoB,IAAI,CAACK,CAAC,CAAC;IACpD,CAAC,SACO;MAAE,IAAIG,CAAC,EAAE,MAAMA,CAAC,CAACI,KAAK;IAAE;EACpC;EACA,OAAOL,EAAE;AACb,CAAC;AACD,IAAIM,aAAa,GAAI,IAAI,IAAI,IAAI,CAACA,aAAa,IAAK,UAAUC,EAAE,EAAEC,IAAI,EAAEC,IAAI,EAAE;EAC1E,IAAIA,IAAI,IAAIC,SAAS,CAACC,MAAM,KAAK,CAAC,EAAE,KAAK,IAAIb,CAAC,GAAG,CAAC,EAAEc,CAAC,GAAGJ,IAAI,CAACG,MAAM,EAAEX,EAAE,EAAEF,CAAC,GAAGc,CAAC,EAAEd,CAAC,EAAE,EAAE;IACjF,IAAIE,EAAE,IAAI,EAAEF,CAAC,IAAIU,IAAI,CAAC,EAAE;MACpB,IAAI,CAACR,EAAE,EAAEA,EAAE,GAAGa,KAAK,CAACtB,SAAS,CAACuB,KAAK,CAACrB,IAAI,CAACe,IAAI,EAAE,CAAC,EAAEV,CAAC,CAAC;MACpDE,EAAE,CAACF,CAAC,CAAC,GAAGU,IAAI,CAACV,CAAC,CAAC;IACnB;EACJ;EACA,OAAOS,EAAE,CAACQ,MAAM,CAACf,EAAE,IAAIa,KAAK,CAACtB,SAAS,CAACuB,KAAK,CAACrB,IAAI,CAACe,IAAI,CAAC,CAAC;AAC5D,CAAC;AACD,IAAIQ,eAAe,GAAI,IAAI,IAAI,IAAI,CAACA,eAAe,IAAK,UAAU3B,GAAG,EAAE;EACnE,OAAQA,GAAG,IAAIA,GAAG,CAACV,UAAU,GAAIU,GAAG,GAAG;IAAE,SAAS,EAAEA;EAAI,CAAC;AAC7D,CAAC;AACDnB,MAAM,CAACc,cAAc,CAACiC,OAAO,EAAE,YAAY,EAAE;EAAE9B,KAAK,EAAE;AAAK,CAAC,CAAC;AAC7D,IAAI+B,aAAa,GAAGF,eAAe,CAACG,OAAO,CAAC,gBAAgB,CAAC,CAAC;AAC9D,IAAIC,cAAc,GAAGJ,eAAe,CAACG,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAChE,IAAIE,cAAc,GAAGL,eAAe,CAACG,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAChE,IAAIG,cAAc,GAAGlC,YAAY,CAAC+B,OAAO,CAAC,qBAAqB,CAAC,CAAC;AACjE,IAAII,iBAAiB,GAAG,CAAC,CAAC;AAC1BA,iBAAiB,CAACC,SAAS,GAAG,UAAUC,MAAM,EAAEC,KAAK,EAAE;EACnDD,MAAM,CAACE,IAAI,CAACD,KAAK,CAAC;EAClB,IAAIE,OAAO,GAAGH,MAAM,CAACI,WAAW,CAAC1D,MAAM,CAAC,WAAW,CAAC,CAChD2D,aAAa,CAAC;IAAEC,IAAI,EAAEL,KAAK,CAACM,OAAO,CAAC,CAAC;IACrCC,IAAI,EAAE,OAAO;IAAEC,WAAW,EAAE,OAAO;IAAEC,SAAS,EAAE;EAAM,CAAC,CAAC;EAC5D,OAAOP,OAAO;AAClB,CAAC;AACDL,iBAAiB,CAACa,KAAK,GAAG,UAAUX,MAAM,EAAEM,IAAI,EAAE;EAC9C,IAAIM,GAAG,GAAGZ,MAAM,CAACa,KAAK,CAACC,GAAG,CAAC,CAAC;EAC5B,IAAIF,GAAG,CAACG,IAAI,KAAK,WAAW,EAAE;IAC1B,MAAM,IAAItB,aAAa,CAACuB,OAAO,CAAC,qBAAqB,EAAE,uDAAuD,CAAC;EACnH;EACA,IAAIC,OAAO,GAAGC,aAAa,CAAClB,MAAM,EAAEA,MAAM,CAACmB,WAAW,CAACb,IAAI,CAAC,CAAC;EAC7DT,cAAc,CAACuB,WAAW,CAACH,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC;EAClDL,GAAG,CAACV,IAAI,CAACe,OAAO,CAAC;AACrB,CAAC;AACD,IAAIC,aAAa,GAAG,SAAAA,CAAUlB,MAAM,EAAEiB,OAAO,EAAE;EAC3C,IAAII,KAAK,GAAGzB,cAAc,CAACoB,OAAO,CAACM,YAAY,CAACtB,MAAM,EAAEJ,cAAc,CAACoB,OAAO,CAACO,UAAU,CAACN,OAAO,CAAC,EAAE,CAAC,CAAC;EACtG,IAAI,CAACI,KAAK,CAAC,CAAC,CAAC,CAACG,UAAU,CAAC,CAAC,CAAC,CAACA,UAAU,CAACtC,MAAM,EAAE;IAC3C,OAAOc,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;EAC5C;EACA,IAAI+E,IAAI,GAAGzB,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE;IAAEgF,KAAK,EAAE;EAAO,CAAC,CAAC;EACjE,IAAIC,IAAI,GAAG3B,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE;IAAEgF,KAAK,EAAE;EAAO,CAAC,CAAC;EACjE,OAAO1B,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,MAAM,EAAEmC,aAAa,CAACA,aAAa,CAAC,CAAC4C,IAAI,CAAC,EAAExD,MAAM,CAACoD,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,CAACM,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;AACnH,CAAC;AACD7B,iBAAiB,CAAC8B,SAAS,GAAG,UAAU5B,MAAM,EAAEM,IAAI,EAAEpC,CAAC,EAAE;EACrD,IAAI0C,GAAG,GAAGZ,MAAM,CAACa,KAAK,CAACC,GAAG,CAAC,CAAC;EAC5B,IAAIF,GAAG,CAACG,IAAI,KAAK,WAAW,EAAE;IAC1B,MAAM,IAAItB,aAAa,CAACuB,OAAO,CAAC,qBAAqB,EAAE,uDAAuD,CAAC;EACnH;EACA,IAAIJ,GAAG,CAACiB,IAAI,CAAC,CAAC,GAAG3D,CAAC,EAAE;IAChB,MAAM,IAAIuB,aAAa,CAACuB,OAAO,CAAC,cAAc,EAAE,6BAA6B,CAAC;EAClF;EACA,IAAIN,SAAS,GAAGE,GAAG,CAACkB,WAAW,CAAC,WAAW,CAAC;EAC5C,IAAIC,UAAU,GAAI7D,CAAC,KAAK,CAAC,IAAI,CAAC0C,GAAG,CAACoB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAACR,UAAU,CAACtC,MAAM,GAAI,CAAC,GAAGhB,CAAC;EACtE,IAAI+D,QAAQ,GAAG,EAAE;EACjB,GAAG;IACC,IAAIA,QAAQ,CAAC/C,MAAM,EAAE;MACjB+C,QAAQ,CAACC,OAAO,CAAClC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1D;IACAuF,QAAQ,CAACC,OAAO,CAAClC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAACkE,GAAG,CAACuB,GAAG,CAAC,CAAC,CAAC,EAAE;MAAE,UAAU,EAAGzB,SAAS,GAAG,KAAK,GAAG;IAAU,CAAC,CAAC,CAAC;IAC3GxC,CAAC,EAAE;EACP,CAAC,QAAQA,CAAC,GAAG,CAAC;EACd,IAAIkE,GAAG,GAAGpC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAEuF,QAAQ,EAAE,CAAC,CAAC,CAAC;EACpD,IAAII,KAAK,GAAGrC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC0F,GAAG,CAAC,EAAE;IAAEE,YAAY,EAAE;EAAM,CAAC,CAAC;EAC3E,IAAIC,UAAU,GAAGrB,aAAa,CAAClB,MAAM,EAAEA,MAAM,CAACmB,WAAW,CAACb,IAAI,CAAC,CAAC;EAChE,IAAIkC,KAAK,GAAG5B,GAAG,CAACkB,WAAW,CAAC,aAAa,CAAC;EAC1C,IAAIU,KAAK,KAAK5B,GAAG,CAACkB,WAAW,CAAC,MAAM,CAAC,EAAE;IACnClB,GAAG,CAACQ,WAAW,CAAC,aAAa,EAAER,GAAG,CAACkB,WAAW,CAAC,MAAM,CAAC,CAAC;EAC3D;EACA,IAAIW,IAAI,GAAGC,UAAU,CAAC1C,MAAM,EAAEqC,KAAK,EAAE,CAACE,UAAU,CAAC,EAAE3B,GAAG,CAACkB,WAAW,CAAC,MAAM,CAAC,EAAElB,GAAG,CAACkB,WAAW,CAAC,OAAO,CAAC,EAAEU,KAAK,EAAE9B,SAAS,CAAC;EACvHE,GAAG,CAACQ,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC;EAC7BR,GAAG,CAACQ,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC;EAC9BvB,cAAc,CAACuB,WAAW,CAACqB,IAAI,EAAE,WAAW,EAAEV,UAAU,CAAC;EACzD/B,MAAM,CAAC2C,aAAa,CAACC,OAAO,CAAC,WAAW,EAAEH,IAAI,CAAC;EAC/C7B,GAAG,CAACV,IAAI,CAACuC,IAAI,CAAC;AAClB,CAAC;AACD,SAASC,UAAUA,CAAC1C,MAAM,EAAE6C,OAAO,EAAEC,WAAW,EAAEC,IAAI,EAAEC,KAAK,EAAER,KAAK,EAAE9B,SAAS,EAAE;EAC7E,IAAIuC,KAAK,GAAGjD,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAACsD,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAACmG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;EAC3F,IAAIK,KAAK,GAAGlD,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAACsD,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAEoG,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;EAC7F,IAAIL,IAAI,GAAGzC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAEgE,SAAS,GAAG,CAACwC,KAAK,EAAED,KAAK,CAAC,GAAG,CAACA,KAAK,EAAEC,KAAK,CAAC,EAAE;IAAEC,KAAK,EAAE,OAAO;IAAEC,QAAQ,EAAEZ,KAAK;IAAEF,YAAY,EAAE;EAAM,CAAC,CAAC;EACjJzC,cAAc,CAACuB,WAAW,CAACqB,IAAI,EAAE,eAAe,EAAE/B,SAAS,GAAG,IAAI,GAAG,MAAM,CAAC;EAC5E,IAAI2C,SAAS,EAAEC,UAAU;EACzB,IAAIP,IAAI,EAAE;IACNM,SAAS,GAAGrD,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,CAACqG,IAAI,CAAC,EAAE;MAAEQ,MAAM,EAAE,OAAO;MAAE7B,KAAK,EAAE,OAAO;MAAE8B,OAAO,EAAE;IAAS,CAAC,CAAC;IAC5G3D,cAAc,CAACuB,WAAW,CAACiC,SAAS,EAAE,YAAY,EAAE,MAAM,CAAC;EAC/D;EACA,IAAIL,KAAK,EAAE;IACPM,UAAU,GAAGtD,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,CAACsG,KAAK,CAAC,EAAE;MAAEO,MAAM,EAAE,OAAO;MAAE7B,KAAK,EAAE,OAAO;MAAE8B,OAAO,EAAE;IAAS,CAAC,CAAC;IAC9G3D,cAAc,CAACuB,WAAW,CAACkC,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC;EACjE;EACA,IAAIrB,QAAQ,EAAEwB,KAAK;EACnB,IAAIV,IAAI,IAAIC,KAAK,EAAE;IACff,QAAQ,GAAG,CAACoB,SAAS,EAAEZ,IAAI,EAAEa,UAAU,CAAC;IACxCG,KAAK,GAAG,MAAM;EAClB,CAAC,MACI,IAAIV,IAAI,EAAE;IACXd,QAAQ,GAAG,CAACoB,SAAS,EAAEZ,IAAI,CAAC;IAC5BgB,KAAK,GAAG,MAAM;EAClB,CAAC,MACI,IAAIT,KAAK,EAAE;IACZf,QAAQ,GAAG,CAACQ,IAAI,EAAEa,UAAU,CAAC;IAC7BG,KAAK,GAAG,OAAO;EACnB,CAAC,MACI;IACD,OAAOhB,IAAI;EACf;EACAA,IAAI,GAAGzC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,MAAM,EAAEuF,QAAQ,CAAC;EAC9CpC,cAAc,CAACuB,WAAW,CAACqB,IAAI,EAAE,cAAc,EAAEgB,KAAK,CAAC;EACvD,OAAOhB,IAAI;AACf;AACA3C,iBAAiB,CAAC4D,KAAK,GAAG,UAAU1D,MAAM,EAAEM,IAAI,EAAEqD,IAAI,EAAE;EACpD,IAAI/C,GAAG,GAAGZ,MAAM,CAACa,KAAK,CAACC,GAAG,CAAC,CAAC;EAC5B,IAAIF,GAAG,CAACG,IAAI,KAAK,WAAW,EAAE;IAC1B,MAAM,IAAItB,aAAa,CAACuB,OAAO,CAAC,qBAAqB,EAAE,uDAAuD,CAAC;EACnH;EACA,IAAIC,OAAO,GAAGrB,cAAc,CAACoB,OAAO,CAACM,YAAY,CAACtB,MAAM,EAAEA,MAAM,CAACmB,WAAW,CAACb,IAAI,CAAC,EAAE,CAAC,CAAC;EACtF,IAAImD,KAAK,GAAIxC,OAAO,CAAC/B,MAAM,GAAG,CAAC,GAC3Bc,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,MAAM,EAAEuE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAGA,OAAO,CAAC,CAAC,CAAC;EAC3DL,GAAG,CAACQ,WAAW,CAACuC,IAAI,EAAEF,KAAK,CAAC;AAChC,CAAC;AACD3D,iBAAiB,CAAC8D,OAAO,GAAG,UAAU5D,MAAM,EAAE6D,KAAK,EAAErB,KAAK,EAAEsB,MAAM,EAAE;EAChE,IAAIlD,GAAG,GAAGZ,MAAM,CAACa,KAAK,CAACC,GAAG,CAAC,CAAC;EAC5B,IAAIF,GAAG,CAACG,IAAI,KAAK,WAAW,EAAE;IAC1B,MAAM,IAAItB,aAAa,CAACuB,OAAO,CAAC,qBAAqB,EAAE,uDAAuD,CAAC;EACnH;EACAJ,GAAG,CAACQ,WAAW,CAAC,aAAa,EAAEoB,KAAK,CAAC;EACrC,IAAIsB,MAAM,EAAE;IACRlD,GAAG,CAACQ,WAAW,CAAC,MAAM,EAAEoB,KAAK,CAAC;EAClC;AACJ,CAAC;AACD1C,iBAAiB,CAACiE,SAAS,GAAG,UAAU/D,MAAM,EAAE6D,KAAK,EAAEG,KAAK,EAAE;EAC1D,IAAIpD,GAAG,GAAGZ,MAAM,CAACa,KAAK,CAACC,GAAG,CAAC,CAAC;EAC5B,IAAIF,GAAG,CAACG,IAAI,KAAK,WAAW,EAAE;IAC1B,MAAM,IAAItB,aAAa,CAACuB,OAAO,CAAC,qBAAqB,EAAE,uDAAuD,CAAC;EACnH;EACAJ,GAAG,CAACQ,WAAW,CAAC,WAAW,EAAE4C,KAAK,CAAC;AACvC,CAAC;AACDlE,iBAAiB,CAACmE,MAAM,GAAG,UAAUjE,MAAM,EAAEM,IAAI,EAAE;EAC/C,IAAIM,GAAG,GAAGZ,MAAM,CAACa,KAAK,CAACC,GAAG,CAAC,CAAC;EAC5B,IAAIF,GAAG,CAACG,IAAI,KAAK,WAAW,EAAE;IAC1B,MAAM,IAAItB,aAAa,CAACuB,OAAO,CAAC,qBAAqB,EAAE,uDAAuD,CAAC;EACnH;EACA,IAAIR,IAAI,GAAG0D,gBAAgB,CAAClE,MAAM,EAAEM,IAAI,CAAC;EACzCT,cAAc,CAACuB,WAAW,CAACZ,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC;EAC/CI,GAAG,CAACV,IAAI,CAACM,IAAI,CAAC;AAClB,CAAC;AACD,SAAS0D,gBAAgBA,CAAClE,MAAM,EAAEM,IAAI,EAAE;EACpC,IAAI6D,MAAM,GAAGnE,MAAM,CAACoE,OAAO,CAAC,CAAC;EAC7B,IAAID,MAAM,KAAK,GAAG,EAAE;IAChB,MAAM,IAAI1E,aAAa,CAACuB,OAAO,CAAC,qBAAqB,EAAE,4CAA4C,EAAEV,IAAI,CAAC;EAC9G;EACAN,MAAM,CAAC3B,CAAC,EAAE;EACV,IAAIgG,KAAK,GAAGrE,MAAM,CAACsE,OAAO,CAAChE,IAAI,EAAE,GAAG,CAAC;EACrC,IAAI+D,KAAK,CAACE,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE;IACnC,MAAM,IAAI9E,aAAa,CAACuB,OAAO,CAAC,qBAAqB,EAAE,0BAA0B,EAAEV,IAAI,CAAC;EAC5F;EACA,IAAIkE,EAAE,GAAGvG,MAAM,CAACoG,KAAK,CAACI,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IAAEC,IAAI,GAAGF,EAAE,CAAC,CAAC,CAAC;IAAEG,IAAI,GAAGH,EAAE,CAAC,CAAC,CAAC;EACxE,IAAI3B,OAAO,GAAI,IAAIlD,cAAc,CAACqB,OAAO,CAAC0D,IAAI,EAAE1E,MAAM,CAACa,KAAK,CAAC+D,GAAG,EAAE5E,MAAM,CAAC2C,aAAa,CAAC,CAAEkC,GAAG,CAAC,CAAC;EAC9F,IAAItC,UAAU,GAAI,IAAI5C,cAAc,CAACqB,OAAO,CAAC2D,IAAI,EAAE3E,MAAM,CAACa,KAAK,CAAC+D,GAAG,EAAE5E,MAAM,CAAC2C,aAAa,CAAC,CAAEkC,GAAG,CAAC,CAAC;EACjG,IAAIC,OAAO,GAAI,IAAInF,cAAc,CAACqB,OAAO,CAAC,WAAW,EAAEhB,MAAM,CAACa,KAAK,CAAC+D,GAAG,EAAE5E,MAAM,CAAC2C,aAAa,CAAC,CAAEkC,GAAG,CAAC,CAAC;EACrG,IAAI9B,IAAI,GAAG/C,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAACmG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;EACtD,IAAIkC,MAAM,GAAG/E,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAACoI,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;EACxD,IAAI9B,KAAK,GAAGhD,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC6F,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;EAC1D,IAAIH,GAAG,GAAGpC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAACqG,IAAI,EAAEgC,MAAM,EAAE/B,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;EACjE,IAAIX,KAAK,GAAGrC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC0F,GAAG,CAAC,EAAE;IAAE4C,aAAa,EAAE,MAAM;IAAEC,WAAW,EAAE;EAAW,CAAC,CAAC;EACtGpF,cAAc,CAACuB,WAAW,CAACiB,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC;EAClDrC,MAAM,CAAC2C,aAAa,CAACC,OAAO,CAAC,SAAS,EAAER,GAAG,CAAC;EAC5C,OAAOC,KAAK;AAChB;AACAvC,iBAAiB,CAACoF,OAAO,GAAG,UAAUC,OAAO,EAAEtB,KAAK,EAAE,CAAE,CAAC;AACzD/D,iBAAiB,CAACsF,UAAU,GAAG,UAAUpF,MAAM,EAAEM,IAAI,EAAEpC,CAAC,EAAE;EACtD,IAAI0C,GAAG,GAAGZ,MAAM,CAACa,KAAK,CAACC,GAAG,CAAC,CAAC;EAC5B,IAAIF,GAAG,CAACG,IAAI,KAAK,WAAW,EAAE;IAC1B,MAAM,IAAItB,aAAa,CAACuB,OAAO,CAAC,qBAAqB,EAAE,uDAAuD,CAAC;EACnH;EACA,IAAIJ,GAAG,CAACiB,IAAI,CAAC,CAAC,GAAG3D,CAAC,EAAE;IAChB,MAAM,IAAIuB,aAAa,CAACuB,OAAO,CAAC,cAAc,EAAE,6BAA6B,CAAC;EAClF;EACA,IAAIN,SAAS,GAAGE,GAAG,CAACkB,WAAW,CAAC,WAAW,CAAC;EAC5C,IAAIC,UAAU,GAAI7D,CAAC,KAAK,CAAC,IAAI,CAAC0C,GAAG,CAACoB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAACR,UAAU,CAACtC,MAAM,GAAI,CAAC,GAAGhB,CAAC;EACtE,IAAI+D,QAAQ,GAAG,EAAE;EACjB,GAAG;IACC,IAAIA,QAAQ,CAAC/C,MAAM,EAAE;MACjB+C,QAAQ,CAACC,OAAO,CAAClC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1D;IACAuF,QAAQ,CAACC,OAAO,CAAClC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAACkE,GAAG,CAACuB,GAAG,CAAC,CAAC,CAAC,EAAE;MAAE,UAAU,EAAGzB,SAAS,GAAG,KAAK,GAAG;IAAU,CAAC,CAAC,CAAC;IAC3GxC,CAAC,EAAE;EACP,CAAC,QAAQA,CAAC,GAAG,CAAC;EACd,IAAIkE,GAAG,GAAGpC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,KAAK,EAAEuF,QAAQ,EAAE,CAAC,CAAC,CAAC;EACpD,IAAII,KAAK,GAAGrC,MAAM,CAACtD,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC0F,GAAG,CAAC,EAAE;IAAEE,YAAY,EAAE;EAAM,CAAC,CAAC;EAC3E,IAAIC,UAAU,GAAG2B,gBAAgB,CAAClE,MAAM,EAAEM,IAAI,CAAC;EAC/C,IAAIkC,KAAK,GAAG5B,GAAG,CAACkB,WAAW,CAAC,aAAa,CAAC;EAC1C,IAAIU,KAAK,KAAK5B,GAAG,CAACkB,WAAW,CAAC,MAAM,CAAC,EAAE;IACnClB,GAAG,CAACQ,WAAW,CAAC,aAAa,EAAER,GAAG,CAACkB,WAAW,CAAC,MAAM,CAAC,CAAC;EAC3D;EACA,IAAIW,IAAI,GAAGC,UAAU,CAAC1C,MAAM,EAAEqC,KAAK,EAAE,CAACE,UAAU,CAAC,EAAE3B,GAAG,CAACkB,WAAW,CAAC,MAAM,CAAC,EAAElB,GAAG,CAACkB,WAAW,CAAC,OAAO,CAAC,EAAEU,KAAK,EAAE9B,SAAS,CAAC;EACvHE,GAAG,CAACQ,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC;EAC7BR,GAAG,CAACQ,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC;EAC9BvB,cAAc,CAACuB,WAAW,CAACqB,IAAI,EAAE,WAAW,EAAEV,UAAU,CAAC;EACzD/B,MAAM,CAAC2C,aAAa,CAACC,OAAO,CAAC,WAAW,EAAEH,IAAI,CAAC;EAC/C7B,GAAG,CAACV,IAAI,CAACuC,IAAI,CAAC;AAClB,CAAC;AACDjD,OAAO,CAACwB,OAAO,GAAGlB,iBAAiB","ignoreList":[]},"metadata":{},"sourceType":"script","externalDependencies":[]}