site/node_modules/mathjax-full/js/input/tex/bussproofs/BussproofsMethods.js.map

1 line
10 KiB
Plaintext
Raw Permalink Normal View History

2024-10-14 06:09:33 +00:00
{"version":3,"file":"BussproofsMethods.js","sourceRoot":"","sources":["../../../../ts/input/tex/bussproofs/BussproofsMethods.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BA,+DAAsC;AACtC,iEAAwC;AACxC,iEAAwC;AAGxC,kEAAsD;AAItD,IAAI,iBAAiB,GAAgC,EAAE,CAAC;AAUxD,iBAAiB,CAAC,SAAS,GAAG,UAAS,MAAiB,EAAE,KAAgB;IACxE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAEnB,IAAI,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC;QAClD,aAAa,CAAC,EAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE;QACrB,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAC,CAAC,CAAC;IAEzE,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAQF,iBAAiB,CAAC,KAAK,GAAG,UAAS,MAAiB,EAAE,IAAY;IAChE,IAAI,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IAE7B,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE;QAC5B,MAAM,IAAI,qBAAQ,CAAC,qBAAqB,EACrB,uDAAuD,CAAC,CAAC;KAC7E;IACD,IAAI,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,cAAc,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACnD,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACpB,CAAC,CAAC;AASF,IAAM,aAAa,GAAG,UAAS,MAAiB,EAAE,OAAe;IAE/D,IAAI,KAAK,GAAG,sBAAS,CAAC,YAAY,CAAC,MAAM,EAAE,sBAAS,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7E,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE;QAC7C,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;KAC1C;IACD,IAAI,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAC,KAAK,EAAE,MAAM,EAAC,CAAC,CAAC;IAChE,IAAI,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAC,KAAK,EAAE,MAAM,EAAC,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,+BAAG,IAAI,UAAK,KAAK,YAAE,IAAI,UAAE,CAAC;AAC/D,CAAC,CAAC;AASF,iBAAiB,CAAC,SAAS,GAAG,UAAS,MAAiB,EAAE,IAAY,EAAE,CAAS;IAC/E,IAAI,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE;QAC5B,MAAM,IAAI,qBAAQ,CAAC,qBAAqB,EACrB,uDAAuD,CAAC,CAAC;KAC7E;IACD,IAAI,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE;QAClB,MAAM,IAAI,qBAAQ,CAAC,cAAc,EAAE,6BAA6B,CAAC,CAAC;KACnE;IACD,IAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,WAAW,CAAY,CAAC;IAC1D,IAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,IAAI,QAAQ,GAAc,EAAE,CAAC;IAC7B,GAAG;QACD,IAAI,QAAQ,CAAC,MAAM,EAAE;YACnB,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;SACxD;QACD,QAAQ,CAAC,OAAO,CACd,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAC1B,EAAC,UAAU,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAC,CAAC,CAAC,CAAC;QAC/D,CAAC,EAAE,CAAC;KACL,QAAQ,CAAC,GAAG,CAAC,EAAE;IAChB,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IACrD,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,EAAC,YAAY,EAAE,KAAK,EAAC,CAAC,CAAC;IAC1E,IAAI,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,IAAI,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,aAAa,CAAW,CAAC;IACrD,IAAI,KAAK,KAAK,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE;QACrC,GAAG,CAAC,WAAW,CAAC,aAAa,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;KACzD;IACD,IAAI,IAAI,GAAG,UAAU,CACnB,MAAM,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,CAAY,EAC/D,GAAG,CAAC,WAAW,CAAC,OAAO,CAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACzD,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC9B,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/B,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;IAC1D,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAChD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjB,CAAC,CAAC;AAaF,SAAS,UAAU,CAAC,MAAiB,EAAE,OAAgB,EACnC,WAAsB,EAAE,IAAoB,EAC5C,KAAqB,EAAE,KAAa,EACpC,SAAkB;IACpC,IAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CACzB,MAAM,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpE,IAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CACzB,MAAM,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtE,IAAI,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAC7D,EAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,