!function(){"use strict";vare,t,r,o,n,a,i={667:function(e,t){t.q=void0,t.q="3.2.2"},333:function(e,t,r){varo;Object.defineProperty(t,"__esModule",{value:!0}),t.BussproofsConfiguration=void0;varn=r(251),a=r(854),i=r(378);r(116),t.BussproofsConfiguration=n.Configuration.create("bussproofs",{handler:{macro:["Bussproofs-macros"],environment:["Bussproofs-environments"]},items:(o={},o[a.ProofTreeItem.prototype.kind]=a.ProofTreeItem,o),preprocessors:[[i.saveDocument,1]],postprocessors:[[i.clearDocument,3],[i.makeBsprAttributes,2],[i.balanceRules,1]]})},854:function(e,t,r){varo,n=this&&this.__extends||(o=function(e,t){returno=Object.setPrototypeOf||{__proto__:[]}instanceofArray&&function(e,t){e.__proto__=t}||function(e,t){for(varrint)Object.prototype.hasOwnProperty.call(t,r)&&(e[r]=t[r])},o(e,t)},function(e,t){if("function"!=typeoft&&null!==t)thrownewTypeError("Class extends value "+String(t)+" is not a constructor or null");functionr(){this.constructor=e}o(e,t),e.prototype=null===t?Object.create(t):(r.prototype=t.prototype,newr)}),a=this&&this.__createBinding||(Object.create?function(e,t,r,o){void0===o&&(o=r);varn=Object.getOwnPropertyDescriptor(t,r);n&&!("get"inn?!t.__esModule:n.writable||n.configurable)||(n={enumerable:!0,get:function(){returnt[r]}}),Object.defineProperty(e,o,n)}:function(e,t,r,o){void0===o&&(o=r),e[o]=t[r]}),i=this&&this.__setModuleDefault||(Object.create?function(e,t){Object.defineProperty(e,"default",{enumerable:!0,value:t})}:function(e,t){e.default=t}),l=this&&this.__importStar||function(e){if(e&&e.__esModule)returne;vart={};if(null!=e)for(varrine)"default"!==r&&Object.prototype.hasOwnProperty.call(e,r)&&a(t,e,r);returni(t,e),t},u=this&&this.__importDefault||function(e){returne&&e.__esModule?e:{default:e}};Object.defineProperty(t,"__esModule",{value:!0}),t.ProofTreeItem=void0;varf=u(r(402)),s=r(76),d=u(r(935)),c=l(r(378)),p=function(e){functiont(){vart=null!==e&&e.apply(this,arguments)||this;returnt.leftLabel=null,t.rigthLabel=null,t.innerStack=newd.default(t.factory,{},!0),t}returnn(t,e),Object.defineProperty(t.prototype,"kind",{get:function(){return"proofTree"},enumerable:!1,configurable:!0}),t.prototype.checkItem=function(e){if(e.isKind("end")&&"prooftree"===e.getName()){vart=this.toMml();returnc.setProperty(t,"proof",!0),[[this.factory.create("mml",t),e],!0]}if(e.isKind("stop"))thrownewf.default("EnvMissingEnd","Missing \\end{%1}",this.getName());returnthis.innerStack.Push(e),s.BaseItem.fail},t.prototype.toMml=function(){vart=e.prototype.toMml.call(this),r=this.innerStack.Top();if(r.isKind("start")&&!r.Size())returnt;this.innerStack.Push(this.factory.create("stop"));varo=this.innerStack.Top().toMml();returnthis.create("node","mrow",[o,t],{})},t}(s.BaseItem);t.ProofTreeItem=p},116:function(e,t,r){varo=this&&this.__importDefault||function(e){returne&&e.__esModule?e:{default:e}};Object.defineProperty(t,"__esModule",{value:!0});varn=o(r(827)),a=o(r(945)),i=r(871);newi.CommandMap("Bussproofs-macros",{AxiomC:"Axiom",UnaryInfC:["Inference",1],BinaryInfC:["Inference",2],TrinaryInfC:["Inference",3],QuaternaryInfC:["Inference",4],QuinaryInfC:["Inference",5],RightLabel:["Label","right"],LeftLabel:["Label","left"],AXC:"Axiom",UIC:["Inference",1],BIC:["Inference",2],TIC:["Inference",3],RL:["Label","right"],LL:["Label","left"],noLine:["SetLine","none",!1],singleLine:["SetLine","solid",!1],solidLine:["SetLine","solid",!1],dashedLine:["SetLine","dashed",!1],alwaysNoLine:["SetLine","none",!0],alwaysSingleLine:["SetLine","solid",!0],alwaysSolidLine:["SetLine","solid",!0],alwaysDashedLine:["SetLine","dashed",!0],rootAtTop:["RootAtTop",!0],alwaysRootAtTop:["RootAtTop",!0],rootAtBottom:["RootAtTop",!1],alwaysRootAtBottom:["RootAtTop",!1],fCenter:"FCenter",Axiom:"AxiomF",UnaryInf:["InferenceF",1],BinaryInf:["InferenceF",2],TrinaryInf:["InferenceF",3],QuaternaryInf:["InferenceF",4],QuinaryInf:["InferenceF",5]},n.default),newi.EnvironmentMap("Bussproofs-environments",a.default.environment,{prooftree:["Prooftree",null,!1]},n.default)},827:function(e,t,r){varo=this&&this.__cre
