lean4monaco 1.0.20 → 1.0.22

package/README.md

@@ -42,13 +42,15 @@ useEffect(() => {
 })
 ```
 
-### Current hacks:
+### Configure vite
 
 (Currently, this is all necessary for a functioning setup. However, we hope to remove some of these
 steps in the future and fix them properly.)
 
 For some reason, the file (here `test.lean`) cannot be at the root of the file system, i.e., not `/test.lean` instead of `/project/test.lean`. (TODO: find out why)
 
+#### vite-plugin-node-polyfills
+
 The package uses the Lean 4 VSCode extension, which is intended to run in a nodejs runtime. Therefore, we need to install node polyfills.
 Here is how this can be done if your project uses Vite:
 ```
@@ -72,11 +74,13 @@ export default {
 }
 ```
 
+#### esbuild-import-meta-url-plugin
+
 For Vite dev mode to work properly, the following plugin is necessary:
+
 ```
-npm install 'https://gitpkg.vercel.app/hhu-adam/lean4monaco/esbuild-import-meta-url-plugin?ec9666e' --save-dev
+npm install -D 'https://gitpkg.vercel.app/hhu-adam/lean4monaco/esbuild-import-meta-url-plugin?main'
 ```
-This could be replaced by `@codingame/esbuild-import-meta-url-plugin` when this PR is accepted: https://github.com/CodinGame/esbuild-import-meta-url-plugin/pull/5
 
 ```ts
 // vite.config.ts
@@ -92,6 +96,10 @@ export default {
 }
 ```
 
+This could be replaced by `npm install --save-dev @codingame/esbuild-import-meta-url-plugin` when this PR is accepted: https://github.com/CodinGame/esbuild-import-meta-url-plugin/pull/5
+
+#### infoview
+
 Moreover, the infoview javascript files need to be served:
 
 ```ts
@@ -126,7 +134,9 @@ export default {
 
 ## Demo
 
-You can clone `lean4monaco`, then run the demo located in `lean4monaco/demo/` with
+`lean4monaco` contains a sample project `lean4monaco/demo/` which you can use for comparison.
+
+If you cloned `lean4monaco`, you can run the demo with
 
 ```
 cd lean4monaco
@@ -139,8 +149,10 @@ with 1 (or more) monaco editors and an infoview, showing the Lean infos at the c
 
 ## Troubleshooting
 
-* Make sure that only one version of the npm package `monaco-vscode-api` is installed.
-The error I typically got is:
-```
-this._configurationService.onDidChangeConfiguration is not a function
-```
+Some random errors we encountered. If you have more, please share them.
+
+* Make sure that only one version of the npm package `monaco-vscode-api` is installed. The error I typically got is:
+  
+  ```
+  this._configurationService.onDidChangeConfiguration is not a function
+  ```

package/dist/vscode-lean4/vscode-lean4/src/utils/batch.d.ts

@@ -1,4 +1,3 @@
-/// <reference types="node" />
 import { ChildProcessWithoutNullStreams } from 'child_process';
 import { OutputChannel } from 'vscode';
 export interface ExecutionChannel {

package/dist/vscode-lean4/vscode-lean4/src/utils/envPath.d.ts

@@ -1,4 +1,3 @@
-/// <reference types="node" />
 /** Platform independent interface to work with the PATH variable. */
 export declare class PATH {
     paths: string[];

package/dist/vscode-lean4/vscode-lean4/src/utils/fsHelper.d.ts

@@ -1,4 +1,3 @@
-/// <reference types="node" />
 import { PathLike } from 'fs';
 /**
  * Returns true if `pathFile` exists and is a file

package/dist/webview/webview.js

@@ -1 +1 @@
-(()=>{"use strict";window.esmsInitOptions={shimMode:!0};var e="undefined"!=typeof globalThis?globalThis:"undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof self?self:{};function t(e){if(void 0===e)return"error";if("object"!=typeof e||e instanceof Array)return e;{const t={};for(const r of Object.getOwnPropertyNames(e))t[r]=e[r];return t}}!function(){const t="undefined"!=typeof window,r="undefined"!=typeof document,i=()=>{},n=r?document.querySelector("script[type=esms-options]"):void 0,s=n?JSON.parse(n.innerHTML):{};Object.assign(s,self.esmsInitOptions||{});let a=!r||!!s.shimMode;const o=w(a&&s.onimport),c=w(a&&s.resolve);let l=s.fetch?w(s.fetch):fetch;const f=s.meta?w(a&&s.meta):i,u=s.mapOverrides;let d=s.nonce;if(!d&&r){const e=document.querySelector("script[nonce]");e&&(d=e.nonce||e.getAttribute("nonce"))}const p=w(s.onerror||i),h=s.onpolyfill?w(s.onpolyfill):()=>{console.log("%c^^ Module TypeError above is polyfilled and can be ignored ^^","font-weight:900;color:#391")},{revokeBlobURLs:m,noLoadEventRetriggers:b,enforceIntegrity:k}=s;function w(e){return"string"==typeof e?self[e]:e}const g=Array.isArray(s.polyfillEnable)?s.polyfillEnable:[],y=g.includes("css-modules"),v=g.includes("json-modules"),$=g.includes("wasm-modules"),x=!navigator.userAgentData&&!!navigator.userAgent.match(/Edge\/\d+\.\d+/),E=r?document.baseURI:`${location.protocol}//${location.host}${location.pathname.includes("/")?location.pathname.slice(0,location.pathname.lastIndexOf("/")+1):location.pathname}`,A=(e,t="text/javascript")=>URL.createObjectURL(new Blob([e],{type:t}));let{skip:S}=s;if(Array.isArray(S)){const e=S.map((e=>new URL(e,E).href));S=t=>e.some((e=>"/"===e[e.length-1]&&t.startsWith(e)||t===e))}else if("string"==typeof S){const e=new RegExp(S);S=t=>e.test(t)}else S instanceof RegExp&&(S=e=>S.test(e));const O=e=>setTimeout((()=>{throw e})),j=e=>{(self.reportError||t&&window.safari&&console.error||O)(e),p(e)};function L(e){return e?` imported from ${e}`:""}let C=!1;if(!a)if(document.querySelectorAll("script[type=module-shim],script[type=importmap-shim],link[rel=modulepreload-shim]").length)a=!0;else{let e=!1;for(const t of document.querySelectorAll("script[type=module],script[type=importmap]"))if(e){if("importmap"===t.type&&e){C=!0;break}}else"module"!==t.type||t.ep||(e=!0)}const I=/\\/g;function M(e){try{if(-1!==e.indexOf(":"))return new URL(e).href}catch(e){}}function U(e,t){return P(e,t)||M(e)||P("./"+e,t)}function P(e,t){const r=t.indexOf("#"),i=t.indexOf("?");if(r+i>-2&&(t=t.slice(0,-1===r?i:-1===i||i>r?r:i)),-1!==e.indexOf("\\")&&(e=e.replace(I,"/")),"/"===e[0]&&"/"===e[1])return t.slice(0,t.indexOf(":")+1)+e;if("."===e[0]&&("/"===e[1]||"."===e[1]&&("/"===e[2]||2===e.length&&(e+="/"))||1===e.length&&(e+="/"))||"/"===e[0]){const r=t.slice(0,t.indexOf(":")+1);if("blob:"===r)throw new TypeError(`Failed to resolve module specifier "${e}". Invalid relative url or base scheme isn't hierarchical.`);let i;if("/"===t[r.length+1]?"file:"!==r?(i=t.slice(r.length+2),i=i.slice(i.indexOf("/")+1)):i=t.slice(8):i=t.slice(r.length+("/"===t[r.length])),"/"===e[0])return t.slice(0,t.length-i.length-1)+e;const n=i.slice(0,i.lastIndexOf("/")+1)+e,s=[];let a=-1;for(let e=0;e<n.length;e++)if(-1===a){if("."===n[e]){if("."===n[e+1]&&("/"===n[e+2]||e+2===n.length)){s.pop(),e+=2;continue}if("/"===n[e+1]||e+1===n.length){e+=1;continue}}for(;"/"===n[e];)e++;a=e}else"/"===n[e]&&(s.push(n.slice(a,e+1)),a=-1);return-1!==a&&s.push(n.slice(a)),t.slice(0,t.length-i.length)+s.join("")}}function _(e,t,r){const i={imports:Object.assign({},r.imports),scopes:Object.assign({},r.scopes)};if(e.imports&&T(e.imports,i.imports,t,r),e.scopes)for(let n in e.scopes){const s=U(n,t);T(e.scopes[n],i.scopes[s]||(i.scopes[s]={}),t,r)}return i}function N(e,t){if(t[e])return e;let r=e.length;do{const i=e.slice(0,r+1);if(i in t)return i}while(-1!==(r=e.lastIndexOf("/",r-1)))}function R(e,t){const r=N(e,t);if(r){const i=t[r];if(null===i)return;return i+e.slice(r.length)}}function q(e,t,r){let i=r&&N(r,e.scopes);for(;i;){const r=R(t,e.scopes[i]);if(r)return r;i=N(i.slice(0,i.lastIndexOf("/")),e.scopes)}return R(t,e.imports)||-1!==t.indexOf(":")&&t}function T(e,t,r,i){for(let n in e){const s=P(n,r)||n;if((!a||!u)&&t[s]&&t[s]!==e[s])throw Error(`Rejected map override "${s}" from ${t[s]} to ${e[s]}.`);let o=e[n];if("string"!=typeof o)continue;const c=q(i,P(o,r)||o,r);c?t[s]=c:console.warn(`Mapping "${n}" -> "${e[n]}" does not resolve`)}}let H,z=!r&&(0,eval)("u=>import(u)");const J=r&&new Promise((e=>{const t=Object.assign(document.createElement("script"),{src:A("self._d=u=>import(u)"),ep:!0});t.setAttribute("nonce",d),t.addEventListener("load",(()=>{if(!(H=!!(z=self._d))){let e;window.addEventListener("error",(t=>e=t)),z=(t,r)=>new Promise(((i,n)=>{const s=Object.assign(document.createElement("script"),{type:"module",src:A(`import*as m from'${t}';self._esmsi=m`)});function a(a){document.head.removeChild(s),self._esmsi?(i(self._esmsi,E),self._esmsi=void 0):(n(!(a instanceof Event)&&a||e&&e.error||new Error(`Error loading ${r&&r.errUrl||t} (${s.src}).`)),e=void 0)}e=void 0,s.ep=!0,d&&s.setAttribute("nonce",d),s.addEventListener("error",a),s.addEventListener("load",a),document.head.appendChild(s)}))}document.head.removeChild(t),delete self._d,e()})),document.head.appendChild(t)}));let D=!1,W=!1;const B=r&&HTMLScriptElement.supports;let F=B&&"supports"===B.name&&B("importmap"),K=H,G=!1;const Q="import.meta",V='import"x"',X='assert{type:"css"}',Y='assert{type:"json"}';let Z,ee,te,re=Promise.resolve(J).then((()=>{if(H)return r?new Promise((e=>{const t=document.createElement("iframe");t.style.display="none",t.setAttribute("nonce",d),window.addEventListener("message",(function r({data:i}){Array.isArray(i)&&"esms"===i[0]&&(F=i[1],K=i[2],W=i[3],D=i[4],e(),document.head.removeChild(t),window.removeEventListener("message",r,!1))}),!1);const r=`<script nonce=${d||""}>b=(s,type='text/javascript')=>URL.createObjectURL(new Blob([s],{type}));document.head.appendChild(Object.assign(document.createElement('script'),{type:'importmap',nonce:"${d}",innerText:\`{"imports":{"x":"\${b('')}"}}\`}));Promise.all([${F?"true,true":`'x',b('${Q}')`}, ${y?`b('${X}'.replace('x',b('','text/css')))`:"false"}, ${v?`b('${Y}'.replace('x',b('{}','text/json')))`:"false"}].map(x =>typeof x==='string'?import(x).then(x =>!!x,()=>false):x)).then(a=>parent.postMessage(['esms'].concat(a),'*'))<\/script>`;let i=!1,n=!1;function s(){if(!i)return void(n=!0);const e=t.contentDocument;if(e&&0===e.head.childNodes.length){const t=e.createElement("script");d&&t.setAttribute("nonce",d),t.innerHTML=r.slice(15+(d?d.length:0),-9),e.head.appendChild(t)}}t.onload=s,document.head.appendChild(t),i=!0,"srcdoc"in t?t.srcdoc=r:t.contentDocument.write(r),n&&s()})):Promise.all([F||z(A(Q)).then((()=>K=!0),i),y&&z(A(V.replace("x",A("","text/css"))+X)).then((()=>W=!0),i),v&&z(A(V.replace("x",A("{}","text/json"))+Y)).then((()=>D=!0),i),$&&z(A(V.replace("x",A(new Uint8Array([0,97,115,109,1,0,0,0]),"application/wasm")))).then((()=>G=!0),i)])})),ie=2<<19;const ne=1===new Uint8Array(new Uint16Array([1]).buffer)[0]?function(e,t){const r=e.length;let i=0;for(;i<r;)t[i]=e.charCodeAt(i++)}:function(e,t){const r=e.length;let i=0;for(;i<r;){const r=e.charCodeAt(i);t[i++]=(255&r)<<8|r>>>8}},se="xportmportlassetaromsyncunctionssertvoyiedelecontininstantybreareturdebuggeawaithrwhileforifcatcfinallels";let ae,oe,ce;function le(e,t){ce=e;let r="",i=ce;for(;;){ce>=ae.length&&pe();const e=ae.charCodeAt(ce);if(e===t)break;92===e?(r+=ae.slice(i,ce),r+=fe(),i=ce):(8232===e||8233===e||de(e)&&pe(),++ce)}return r+=ae.slice(i,ce++),r}function fe(){let e=ae.charCodeAt(++ce);switch(++ce,e){case 110:return"\n";case 114:return"\r";case 120:return String.fromCharCode(ue(2));case 117:return function(){let e;return 123===ae.charCodeAt(ce)?(++ce,e=ue(ae.indexOf("}",ce)-ce),++ce,e>1114111&&pe()):e=ue(4),e<=65535?String.fromCharCode(e):(e-=65536,String.fromCharCode(55296+(e>>10),56320+(1023&e)))}();case 116:return"\t";case 98:return"\b";case 118:return"\v";case 102:return"\f";case 13:10===ae.charCodeAt(ce)&&++ce;case 10:return"";case 56:case 57:pe();default:if(e>=48&&e<=55){let t=ae.substr(ce-1,3).match(/^[0-7]+/)[0],r=parseInt(t,8);return r>255&&(t=t.slice(0,-1),r=parseInt(t,8)),ce+=t.length-1,e=ae.charCodeAt(ce),"0"===t&&56!==e&&57!==e||pe(),String.fromCharCode(r)}return de(e)?"":String.fromCharCode(e)}}function ue(e){const t=ce;let r=0,i=0;for(let t=0;t<e;++t,++ce){let e,n=ae.charCodeAt(ce);if(95!==n){if(n>=97)e=n-97+10;else if(n>=65)e=n-65+10;else{if(!(n>=48&&n<=57))break;e=n-48}if(e>=16)break;i=n,r=16*r+e}else 95!==i&&0!==t||pe(),i=n}return 95!==i&&ce-t===e||pe(),r}function de(e){return 13===e||10===e}function pe(){throw Object.assign(Error(`Parse error ${oe}:${ae.slice(0,ce).split("\n").length}:${ce-ae.lastIndexOf("\n",ce-1)}`),{idx:ce})}async function he(e,t){const r=P(e,t)||M(e);return{r:q(Ee,r||e,t)||we(e,t),b:!r&&!M(e)}}const me=c?async(e,t)=>{let r=c(e,t,ke);return r&&r.then&&(r=await r),r?{r,b:!P(e,t)&&!M(e)}:he(e,t)}:he;async function be(e,...t){let i=t[t.length-1];return"string"!=typeof i&&(i=E),await Ae,o&&await o(e,"string"!=typeof t[1]?t[1]:{},i),(Le||a||!xe)&&(r&&Fe(!0),a||(Le=!1)),await Oe,Ce((await me(e,i)).r,{credentials:"same-origin"})}function ke(e,t){return q(Ee,P(e,t)||e,t)||we(e,t)}function we(e,t){throw Error(`Unable to resolve specifier '${e}'${L(t)}`)}self.importShim=be;const ge=(e,t=E)=>{t=`${t}`;const r=c&&c(e,t,ke);return r&&!r.then?r:ke(e,t)};function ye(e,t=this.url){return ge(e,t)}be.resolve=ge,be.getImportMap=()=>JSON.parse(JSON.stringify(Ee)),be.addImportMap=e=>{if(!a)throw new Error("Unsupported in polyfill mode.");Ee=_(e,E,Ee)};const ve=be._r={};async function $e(e,t){e.b||t[e.u]||(t[e.u]=1,await e.L,await Promise.all(e.d.map((e=>$e(e,t)))),e.n||(e.n=e.d.some((e=>e.n))))}be._w={};let xe,Ee={imports:{},scopes:{}};const Ae=re.then((()=>{if(xe=!0!==s.polyfillEnable&&H&&K&&F&&(!v||D)&&(!y||W)&&(!$||G)&&!C,r){if(!F){const e=HTMLScriptElement.supports||(e=>"classic"===e||"module"===e);HTMLScriptElement.supports=t=>"importmap"===t||e(t)}if(a||!xe)if(new MutationObserver((e=>{for(const t of e)if("childList"===t.type)for(const e of t.addedNodes)"SCRIPT"===e.tagName?(e.type===(a?"module-shim":"module")&&rt(e,!0),e.type===(a?"importmap-shim":"importmap")&&tt(e,!0)):"LINK"===e.tagName&&e.rel===(a?"modulepreload-shim":"modulepreload")&&nt(e)})).observe(document,{childList:!0,subtree:!0}),Fe(),"complete"===document.readyState)Ye();else{async function t(){await Ae,Fe(),"complete"===document.readyState&&(Ye(),document.removeEventListener("readystatechange",t))}document.addEventListener("readystatechange",t)}}}));let Se,Oe=Ae,je=!0,Le=!0;async function Ce(e,t,r,i,n){if(a||(Le=!1),await Ae,await Oe,o&&await o(e,"string"!=typeof t?t:{},""),!a&&xe)return i?null:(await n,z(r?A(r):e,{errUrl:e||r}));const s=Be(e,t,null,r),c={};if(await $e(s,c),Se=void 0,Ue(s,c),await n,r&&!a&&!s.n){if(i)return;return m&&Ie(Object.keys(c)),await z(A(r),{errUrl:r})}je&&!a&&s.n&&i&&(h(),je=!1);const l=await z(a||s.n||!i?s.b:s.u,{errUrl:s.u});return s.s&&(await z(s.s)).u$_(l),m&&Ie(Object.keys(c)),l}function Ie(e){let t=0;const r=e.length,i=self.requestIdleCallback?self.requestIdleCallback:self.requestAnimationFrame;i((function n(){const s=100*t;if(!(s>r)){for(const t of e.slice(s,s+100)){const e=ve[t];e&&URL.revokeObjectURL(e.b)}t++,i(n)}}))}function Me(e){return`'${e.replace(/'/g,"\\'")}'`}function Ue(e,t){if(e.b||!t[e.u])return;t[e.u]=0;for(const r of e.d)Ue(r,t);const[r,i]=e.a,n=e.S;let s=x&&Se?`import '${Se}';`:"",a=0,o=0,c=[];function l(t){for(;c[c.length-1]<t;){const t=c.pop();s+=`${n.slice(a,t)}, ${Me(e.r)}`,a=t}s+=n.slice(a,t),a=t}for(const{s:t,ss:i,se:u,d}of r)if(-1===d){let r=e.d[o++],i=r.b,c=!i;c&&((i=r.s)||(i=r.s=A(`export function u$_(m){${r.a[1].map((({s:e,e:t},i)=>{const n='"'===r.S[e]||"'"===r.S[e];return`e$_${i}=m${n?"[":"."}${r.S.slice(e,t)}${n?"]":""}`})).join(",")}}${r.a[1].length?`let ${r.a[1].map(((e,t)=>`e$_${t}`)).join(",")};`:""}export {${r.a[1].map((({s:e,e:t},i)=>`e$_${i} as ${r.S.slice(e,t)}`)).join(",")}}\n//# sourceURL=${r.r}?cycle`))),l(t-1),s+=`/*${n.slice(t-1,u)}*/${Me(i)}`,!c&&r.s&&(s+=`;import*as m$_${o} from'${r.b}';import{u$_ as u$_${o}}from'${r.s}';u$_${o}(m$_${o})`,r.s=void 0),a=u}else-2===d?(e.m={url:e.r,resolve:ye},f(e.m,e.u),l(t),s+=`importShim._r[${Me(e.u)}].m`,a=u):(l(i+6),s+="Shim(",c.push(u-1),a=t);function u(t,r){const i=r+t.length,o=n.indexOf("\n",i),c=-1!==o?o:n.length;l(i),s+=new URL(n.slice(i,c),e.r).href,a=c}e.s&&(s+=`\n;import{u$_}from'${e.s}';try{u$_({${i.filter((e=>e.ln)).map((({s:e,e:t,ln:r})=>`${n.slice(e,t)}:${r}`)).join(",")}})}catch(_){};\n`);let d=n.lastIndexOf(Pe),p=n.lastIndexOf(_e);d<a&&(d=-1),p<a&&(p=-1),-1!==d&&(-1===p||p>d)&&u(Pe,d),-1!==p&&(u(_e,p),-1!==d&&d>p&&u(Pe,d)),l(n.length),-1===d&&(s+=Pe+e.r),e.b=Se=A(s),e.S=void 0}const Pe="\n//# sourceURL=",_e="\n//# sourceMappingURL=",Ne=/^(text|application)\/(x-)?javascript(;|$)/,Re=/^(application)\/wasm(;|$)/,qe=/^(text|application)\/json(;|$)/,Te=/^(text|application)\/css(;|$)/,He=/url\(\s*(?:(["'])((?:\\.|[^\n\\"'])+)\1|((?:\\.|[^\s,"'()\\])+))\s*\)/g;let ze=[],Je=0;async function De(e,t,r){if(k&&!t.integrity)throw Error(`No integrity for ${e}${L(r)}.`);const i=function(){if(++Je>100)return new Promise((e=>ze.push(e)))}();i&&await i;try{var n=await l(e,t)}catch(t){throw t.message=`Unable to fetch ${e}${L(r)} - see network log for details.\n`+t.message,t}finally{Je--,ze.length&&ze.shift()()}if(!n.ok){const e=new TypeError(`${n.status} ${n.statusText} ${n.url}${L(r)}`);throw e.response=n,e}return n}async function We(e,t,r){const i=await De(e,t,r),n=i.headers.get("content-type");if(Ne.test(n))return{r:i.url,s:await i.text(),t:"js"};if(Re.test(n)){const t=be._w[e]=await WebAssembly.compileStreaming(i);let r="",n=0,s="";for(const e of WebAssembly.Module.imports(t))r+=`import * as impt${n} from '${e.module}';\n`,s+=`'${e.module}':impt${n++},`;n=0,r+=`const instance = await WebAssembly.instantiate(importShim._w['${e}'], {${s}});\n`;for(const e of WebAssembly.Module.exports(t))r+=`export const ${e.name} = instance.exports['${e.name}'];\n`;return{r:i.url,s:r,t:"wasm"}}if(qe.test(n))return{r:i.url,s:`export default ${await i.text()}`,t:"json"};if(Te.test(n))return{r:i.url,s:`var s=new CSSStyleSheet();s.replaceSync(${JSON.stringify((await i.text()).replace(He,((t,r="",i,n)=>`url(${r}${U(i||n,e)}${r})`)))});export default s;`,t:"css"};throw Error(`Unsupported Content-Type "${n}" loading ${e}${L(r)}. Modules must be served with a valid MIME type like application/javascript.`)}function Be(t,r,i,n){let s=ve[t];if(s&&!n)return s;if(s={u:t,r:n?t:void 0,f:void 0,S:void 0,L:void 0,a:void 0,d:void 0,b:void 0,s:void 0,n:!1,t:null,m:null},ve[t]){let e=0;for(;ve[s.u+ ++e];);s.u+=e}return ve[s.u]=s,s.f=(async()=>{if(!n){let e;if(({r:s.r,s:n,t:e}=await(it[t]||We(t,r,i))),e&&!a){if("css"===e&&!y||"json"===e&&!v||"wasm"===e&&!$)throw Error(`${e}-modules require <script type="esms-options">{ "polyfillEnable": ["${e}-modules"] }<\/script>`);("css"===e&&!W||"json"===e&&!D||"wasm"===e&&!G)&&(s.n=!0)}}try{s.a=function(t,r="@"){ae=t,oe=r;const i=2*ae.length+(2<<18);if(i>ie||!Z){for(;i>ie;)ie*=2;ee=new ArrayBuffer(ie),ne(se,new Uint16Array(ee,16,105)),Z=function(e,t,r){"use asm";var i=new e.Int8Array(r),n=new e.Int16Array(r),s=new e.Int32Array(r),a=new e.Uint8Array(r),o=new e.Uint16Array(r),c=1024;function l(){var e=0,t=0,r=0,a=0,l=0,d=0;d=c;c=c+10240|0;i[796]=1;i[795]=0;n[395]=0;n[396]=0;s[67]=s[2];i[797]=0;s[66]=0;i[794]=0;s[68]=d+2048;s[69]=d;i[798]=0;e=(s[3]|0)+-2|0;s[70]=e;t=e+(s[64]<<1)|0;s[71]=t;e:while(1){r=e+2|0;s[70]=r;if(e>>>0>=t>>>0){l=18;break}t:do{switch(n[r>>1]|0){case 9:case 10:case 11:case 12:case 13:case 32:break;case 101:{if((((n[396]|0)==0?T(r)|0:0)?(x(e+4|0,16,10)|0)==0:0)?(f(),(i[796]|0)==0):0){l=9;break e}else l=17;break}case 105:{if(T(r)|0?(x(e+4|0,26,10)|0)==0:0){u();l=17}else l=17;break}case 59:{l=17;break}case 47:switch(n[e+4>>1]|0){case 47:{U();break t}case 42:{$(1);break t}default:{l=16;break e}}default:{l=16;break e}}}while(0);if((l|0)==17){l=0;s[67]=s[70]}e=s[70]|0;t=s[71]|0}if((l|0)==9){e=s[70]|0;s[67]=e;l=19}else if((l|0)==16){i[796]=0;s[70]=e;l=19}else if((l|0)==18)if(!(i[794]|0)){e=r;l=19}else e=0;do{if((l|0)==19){e:while(1){t=e+2|0;s[70]=t;if(e>>>0>=(s[71]|0)>>>0){l=82;break}t:do{switch(n[t>>1]|0){case 9:case 10:case 11:case 12:case 13:case 32:break;case 101:{if(((n[396]|0)==0?T(t)|0:0)?(x(e+4|0,16,10)|0)==0:0){f();l=81}else l=81;break}case 105:{if(T(t)|0?(x(e+4|0,26,10)|0)==0:0){u();l=81}else l=81;break}case 99:{if((T(t)|0?(x(e+4|0,36,8)|0)==0:0)?G(n[e+12>>1]|0)|0:0){i[798]=1;l=81}else l=81;break}case 40:{a=s[68]|0;t=n[396]|0;l=t&65535;s[a+(l<<3)>>2]=1;r=s[67]|0;n[396]=t+1<<16>>16;s[a+(l<<3)+4>>2]=r;l=81;break}case 41:{t=n[396]|0;if(!(t<<16>>16)){l=36;break e}l=t+-1<<16>>16;n[396]=l;a=n[395]|0;t=a&65535;if(a<<16>>16!=0?(s[(s[68]|0)+((l&65535)<<3)>>2]|0)==5:0){t=s[(s[69]|0)+(t+-1<<2)>>2]|0;r=t+4|0;if(!(s[r>>2]|0))s[r>>2]=(s[67]|0)+2;s[t+12>>2]=e+4;n[395]=a+-1<<16>>16;l=81}else l=81;break}case 123:{l=s[67]|0;a=s[61]|0;e=l;do{if((n[l>>1]|0)==41&(a|0)!=0?(s[a+4>>2]|0)==(l|0):0){t=s[62]|0;s[61]=t;if(!t){s[57]=0;break}else{s[t+28>>2]=0;break}}}while(0);a=s[68]|0;r=n[396]|0;l=r&65535;s[a+(l<<3)>>2]=(i[798]|0)==0?2:6;n[396]=r+1<<16>>16;s[a+(l<<3)+4>>2]=e;i[798]=0;l=81;break}case 125:{e=n[396]|0;if(!(e<<16>>16)){l=49;break e}a=s[68]|0;l=e+-1<<16>>16;n[396]=l;if((s[a+((l&65535)<<3)>>2]|0)==4){h();l=81}else l=81;break}case 39:{b(39);l=81;break}case 34:{b(34);l=81;break}case 47:switch(n[e+4>>1]|0){case 47:{U();break t}case 42:{$(1);break t}default:{e=s[67]|0;a=n[e>>1]|0;r:do{if(!(A(a)|0)){switch(a<<16>>16){case 41:if(N(s[(s[68]|0)+(o[396]<<3)+4>>2]|0)|0){l=69;break r}else{l=66;break r}case 125:break;default:{l=66;break r}}t=s[68]|0;r=o[396]|0;if(!(v(s[t+(r<<3)+4>>2]|0)|0)?(s[t+(r<<3)>>2]|0)!=6:0)l=66;else l=69}else switch(a<<16>>16){case 46:if(((n[e+-2>>1]|0)+-48&65535)<10){l=66;break r}else{l=69;break r}case 43:if((n[e+-2>>1]|0)==43){l=66;break r}else{l=69;break r}case 45:if((n[e+-2>>1]|0)==45){l=66;break r}else{l=69;break r}default:{l=69;break r}}}while(0);r:do{if((l|0)==66){l=0;if(!(p(e)|0)){switch(a<<16>>16){case 0:{l=69;break r}case 47:{if(i[797]|0){l=69;break r}break}default:{}}r=s[3]|0;t=a;do{if(e>>>0<=r>>>0)break;e=e+-2|0;s[67]=e;t=n[e>>1]|0}while(!(M(t)|0));if(R(t)|0){do{if(e>>>0<=r>>>0)break;e=e+-2|0;s[67]=e}while(R(n[e>>1]|0)|0);if(C(e)|0){y();i[797]=0;l=81;break t}else e=1}else e=1}else l=69}}while(0);if((l|0)==69){y();e=0}i[797]=e;l=81;break t}}case 96:{a=s[68]|0;r=n[396]|0;l=r&65535;s[a+(l<<3)+4>>2]=s[67];n[396]=r+1<<16>>16;s[a+(l<<3)>>2]=3;h();l=81;break}default:l=81}}while(0);if((l|0)==81){l=0;s[67]=s[70]}e=s[70]|0}if((l|0)==36){K();e=0;break}else if((l|0)==49){K();e=0;break}else if((l|0)==82){e=(i[794]|0)==0?(n[395]|n[396])<<16>>16==0:0;break}}}while(0);c=d;return e|0}function f(){var e=0,t=0,r=0,a=0,o=0,c=0,l=0,f=0,u=0,p=0,h=0,k=0,g=0,y=0;f=s[70]|0;u=s[63]|0;y=f+12|0;s[70]=y;r=m(1)|0;e=s[70]|0;if(!((e|0)==(y|0)?!(E(r)|0):0))g=3;e:do{if((g|0)==3){t:do{switch(r<<16>>16){case 123:{s[70]=e+2;e=m(1)|0;t=s[70]|0;while(1){if(Q(e)|0){b(e);e=(s[70]|0)+2|0;s[70]=e}else{P(e)|0;e=s[70]|0}m(1)|0;e=w(t,e)|0;if(e<<16>>16==44){s[70]=(s[70]|0)+2;e=m(1)|0}if(e<<16>>16==125){g=15;break}y=t;t=s[70]|0;if((t|0)==(y|0)){g=12;break}if(t>>>0>(s[71]|0)>>>0){g=14;break}}if((g|0)==12){K();break e}else if((g|0)==14){K();break e}else if((g|0)==15){i[795]=1;s[70]=(s[70]|0)+2;break t}break}case 42:{s[70]=e+2;m(1)|0;y=s[70]|0;w(y,y)|0;break}default:{i[796]=0;switch(r<<16>>16){case 100:{f=e+14|0;s[70]=f;switch((m(1)|0)<<16>>16){case 97:{t=s[70]|0;if((x(t+2|0,56,8)|0)==0?(o=t+10|0,R(n[o>>1]|0)|0):0){s[70]=o;m(0)|0;g=22}break}case 102:{g=22;break}case 99:{t=s[70]|0;if(((x(t+2|0,36,8)|0)==0?(a=t+10|0,y=n[a>>1]|0,G(y)|0|y<<16>>16==123):0)?(s[70]=a,c=m(1)|0,c<<16>>16!=123):0){k=c;g=31}break}default:{}}r:do{if((g|0)==22?(l=s[70]|0,(x(l+2|0,64,14)|0)==0):0){r=l+16|0;t=n[r>>1]|0;if(!(G(t)|0))switch(t<<16>>16){case 40:case 42:break;default:break r}s[70]=r;t=m(1)|0;if(t<<16>>16==42){s[70]=(s[70]|0)+2;t=m(1)|0}if(t<<16>>16!=40){k=t;g=31}}}while(0);if((g|0)==31?(p=s[70]|0,P(k)|0,h=s[70]|0,h>>>0>p>>>0):0){j(e,f,p,h);s[70]=(s[70]|0)+-2;break e}j(e,f,0,0);s[70]=e+12;break e}case 97:{s[70]=e+10;m(0)|0;e=s[70]|0;g=35;break}case 102:{g=35;break}case 99:{if((x(e+2|0,36,8)|0)==0?(t=e+10|0,M(n[t>>1]|0)|0):0){s[70]=t;y=m(1)|0;g=s[70]|0;P(y)|0;y=s[70]|0;j(g,y,g,y);s[70]=(s[70]|0)+-2;break e}e=e+4|0;s[70]=e;break}case 108:case 118:break;default:break e}if((g|0)==35){s[70]=e+16;e=m(1)|0;if(e<<16>>16==42){s[70]=(s[70]|0)+2;e=m(1)|0}g=s[70]|0;P(e)|0;y=s[70]|0;j(g,y,g,y);s[70]=(s[70]|0)+-2;break e}s[70]=e+6;i[796]=0;r=m(1)|0;e=s[70]|0;r=(P(r)|0|32)<<16>>16==123;a=s[70]|0;if(r){s[70]=a+2;y=m(1)|0;e=s[70]|0;P(y)|0}r:while(1){t=s[70]|0;if((t|0)==(e|0))break;j(e,t,e,t);t=m(1)|0;if(r)switch(t<<16>>16){case 93:case 125:break e;default:{}}e=s[70]|0;if(t<<16>>16!=44){g=51;break}s[70]=e+2;t=m(1)|0;e=s[70]|0;switch(t<<16>>16){case 91:case 123:{g=51;break r}default:{}}P(t)|0}if((g|0)==51)s[70]=e+-2;if(!r)break e;s[70]=a+-2;break e}}}while(0);y=(m(1)|0)<<16>>16==102;e=s[70]|0;if(y?(x(e+2|0,50,6)|0)==0:0){s[70]=e+8;d(f,m(1)|0);e=(u|0)==0?232:u+16|0;while(1){e=s[e>>2]|0;if(!e)break e;s[e+12>>2]=0;s[e+8>>2]=0;e=e+16|0}}s[70]=e+-2}}while(0);return}function u(){var e=0,t=0,r=0,a=0,o=0,c=0;o=s[70]|0;e=o+12|0;s[70]=e;e:do{switch((m(1)|0)<<16>>16){case 40:{t=s[68]|0;c=n[396]|0;r=c&65535;s[t+(r<<3)>>2]=5;e=s[70]|0;n[396]=c+1<<16>>16;s[t+(r<<3)+4>>2]=e;if((n[s[67]>>1]|0)!=46){s[70]=e+2;c=m(1)|0;k(o,s[70]|0,0,e);t=s[61]|0;r=s[69]|0;o=n[395]|0;n[395]=o+1<<16>>16;s[r+((o&65535)<<2)>>2]=t;switch(c<<16>>16){case 39:{b(39);break}case 34:{b(34);break}default:{s[70]=(s[70]|0)+-2;break e}}e=(s[70]|0)+2|0;s[70]=e;switch((m(1)|0)<<16>>16){case 44:{s[70]=(s[70]|0)+2;m(1)|0;o=s[61]|0;s[o+4>>2]=e;c=s[70]|0;s[o+16>>2]=c;i[o+24>>0]=1;s[70]=c+-2;break e}case 41:{n[396]=(n[396]|0)+-1<<16>>16;c=s[61]|0;s[c+4>>2]=e;s[c+12>>2]=(s[70]|0)+2;i[c+24>>0]=1;n[395]=(n[395]|0)+-1<<16>>16;break e}default:{s[70]=(s[70]|0)+-2;break e}}}break}case 46:{s[70]=(s[70]|0)+2;if((m(1)|0)<<16>>16==109?(t=s[70]|0,(x(t+2|0,44,6)|0)==0):0){e=s[67]|0;if(!(q(e)|0)?(n[e>>1]|0)==46:0)break e;k(o,o,t+8|0,2)}break}case 42:case 39:case 34:{a=18;break}case 123:{e=s[70]|0;if(n[396]|0){s[70]=e+-2;break e}while(1){if(e>>>0>=(s[71]|0)>>>0)break;e=m(1)|0;if(!(Q(e)|0)){if(e<<16>>16==125){a=33;break}}else b(e);e=(s[70]|0)+2|0;s[70]=e}if((a|0)==33)s[70]=(s[70]|0)+2;c=(m(1)|0)<<16>>16==102;e=s[70]|0;if(c?x(e+2|0,50,6)|0:0){K();break e}s[70]=e+8;e=m(1)|0;if(Q(e)|0){d(o,e);break e}else{K();break e}}default:if((s[70]|0)==(e|0))s[70]=o+10;else a=18}}while(0);do{if((a|0)==18){if(n[396]|0){s[70]=(s[70]|0)+-2;break}e=s[71]|0;t=s[70]|0;while(1){if(t>>>0>=e>>>0){a=25;break}r=n[t>>1]|0;if(Q(r)|0){a=23;break}c=t+2|0;s[70]=c;t=c}if((a|0)==23){d(o,r);break}else if((a|0)==25){K();break}}}while(0);return}function d(e,t){e=e|0;t=t|0;var r=0,i=0;r=(s[70]|0)+2|0;switch(t<<16>>16){case 39:{b(39);i=5;break}case 34:{b(34);i=5;break}default:K()}do{if((i|0)==5){k(e,r,s[70]|0,1);s[70]=(s[70]|0)+2;t=m(0)|0;e=t<<16>>16==97;if(e){r=s[70]|0;if(x(r+2|0,78,10)|0)i=11}else{r=s[70]|0;if(!(((t<<16>>16==119?(n[r+2>>1]|0)==105:0)?(n[r+4>>1]|0)==116:0)?(n[r+6>>1]|0)==104:0))i=11}if((i|0)==11){s[70]=r+-2;break}s[70]=r+((e?6:4)<<1);if((m(1)|0)<<16>>16!=123){s[70]=r;break}e=s[70]|0;t=e;e:while(1){s[70]=t+2;t=m(1)|0;switch(t<<16>>16){case 39:{b(39);s[70]=(s[70]|0)+2;t=m(1)|0;break}case 34:{b(34);s[70]=(s[70]|0)+2;t=m(1)|0;break}default:t=P(t)|0}if(t<<16>>16!=58){i=20;break}s[70]=(s[70]|0)+2;switch((m(1)|0)<<16>>16){case 39:{b(39);break}case 34:{b(34);break}default:{i=24;break e}}s[70]=(s[70]|0)+2;switch((m(1)|0)<<16>>16){case 125:{i=29;break e}case 44:break;default:{i=28;break e}}s[70]=(s[70]|0)+2;if((m(1)|0)<<16>>16==125){i=29;break}t=s[70]|0}if((i|0)==20){s[70]=r;break}else if((i|0)==24){s[70]=r;break}else if((i|0)==28){s[70]=r;break}else if((i|0)==29){i=s[61]|0;s[i+16>>2]=e;s[i+12>>2]=(s[70]|0)+2;break}}}while(0);return}function p(e){e=e|0;e:do{switch(n[e>>1]|0){case 100:switch(n[e+-2>>1]|0){case 105:{e=L(e+-4|0,88,2)|0;break e}case 108:{e=L(e+-4|0,92,3)|0;break e}default:{e=0;break e}}case 101:switch(n[e+-2>>1]|0){case 115:switch(n[e+-4>>1]|0){case 108:{e=I(e+-6|0,101)|0;break e}case 97:{e=I(e+-6|0,99)|0;break e}default:{e=0;break e}}case 116:{e=L(e+-4|0,98,4)|0;break e}case 117:{e=L(e+-4|0,106,6)|0;break e}default:{e=0;break e}}case 102:{if((n[e+-2>>1]|0)==111?(n[e+-4>>1]|0)==101:0)switch(n[e+-6>>1]|0){case 99:{e=L(e+-8|0,118,6)|0;break e}case 112:{e=L(e+-8|0,130,2)|0;break e}default:{e=0;break e}}else e=0;break}case 107:{e=L(e+-2|0,134,4)|0;break}case 110:{e=e+-2|0;if(I(e,105)|0)e=1;else e=L(e,142,5)|0;break}case 111:{e=I(e+-2|0,100)|0;break}case 114:{e=L(e+-2|0,152,7)|0;break}case 116:{e=L(e+-2|0,166,4)|0;break}case 119:switch(n[e+-2>>1]|0){case 101:{e=I(e+-4|0,110)|0;break e}case 111:{e=L(e+-4|0,174,3)|0;break e}default:{e=0;break e}}default:e=0}}while(0);return e|0}function h(){var e=0,t=0,r=0,i=0;t=s[71]|0;r=s[70]|0;e:while(1){e=r+2|0;if(r>>>0>=t>>>0){t=10;break}switch(n[e>>1]|0){case 96:{t=7;break e}case 36:{if((n[r+4>>1]|0)==123){t=6;break e}break}case 92:{e=r+4|0;break}default:{}}r=e}if((t|0)==6){e=r+4|0;s[70]=e;t=s[68]|0;i=n[396]|0;r=i&65535;s[t+(r<<3)>>2]=4;n[396]=i+1<<16>>16;s[t+(r<<3)+4>>2]=e}else if((t|0)==7){s[70]=e;r=s[68]|0;i=(n[396]|0)+-1<<16>>16;n[396]=i;if((s[r+((i&65535)<<3)>>2]|0)!=3)K()}else if((t|0)==10){s[70]=e;K()}return}function m(e){e=e|0;var t=0,r=0,i=0;r=s[70]|0;e:do{t=n[r>>1]|0;t:do{if(t<<16>>16!=47)if(e)if(G(t)|0)break;else break e;else if(R(t)|0)break;else break e;else switch(n[r+2>>1]|0){case 47:{U();break t}case 42:{$(e);break t}default:{t=47;break e}}}while(0);i=s[70]|0;r=i+2|0;s[70]=r}while(i>>>0<(s[71]|0)>>>0);return t|0}function b(e){e=e|0;var t=0,r=0,i=0,a=0;a=s[71]|0;t=s[70]|0;while(1){i=t+2|0;if(t>>>0>=a>>>0){t=9;break}r=n[i>>1]|0;if(r<<16>>16==e<<16>>16){t=10;break}if(r<<16>>16==92){r=t+4|0;if((n[r>>1]|0)==13){t=t+6|0;t=(n[t>>1]|0)==10?t:r}else t=r}else if(Y(r)|0){t=9;break}else t=i}if((t|0)==9){s[70]=i;K()}else if((t|0)==10)s[70]=i;return}function k(e,t,r,n){e=e|0;t=t|0;r=r|0;n=n|0;var a=0,o=0;a=s[65]|0;s[65]=a+32;o=s[61]|0;s[((o|0)==0?228:o+28|0)>>2]=a;s[62]=o;s[61]=a;s[a+8>>2]=e;if(2==(n|0))e=r;else e=1==(n|0)?r+2|0:0;s[a+12>>2]=e;s[a>>2]=t;s[a+4>>2]=r;s[a+16>>2]=0;s[a+20>>2]=n;o=1==(n|0);i[a+24>>0]=o&1;s[a+28>>2]=0;if(o|2==(n|0))i[795]=1;return}function w(e,t){e=e|0;t=t|0;var r=0,i=0,a=0,o=0;r=s[70]|0;i=n[r>>1]|0;o=(e|0)==(t|0);a=o?0:e;o=o?0:t;if(i<<16>>16==97){s[70]=r+4;r=m(1)|0;e=s[70]|0;if(Q(r)|0){b(r);t=(s[70]|0)+2|0;s[70]=t}else{P(r)|0;t=s[70]|0}i=m(1)|0;r=s[70]|0}if((r|0)!=(e|0))j(e,t,a,o);return i|0}function g(){var e=0,t=0,r=0;r=s[71]|0;t=s[70]|0;e:while(1){e=t+2|0;if(t>>>0>=r>>>0){t=6;break}switch(n[e>>1]|0){case 13:case 10:{t=6;break e}case 93:{t=7;break e}case 92:{e=t+4|0;break}default:{}}t=e}if((t|0)==6){s[70]=e;K();e=0}else if((t|0)==7){s[70]=e;e=93}return e|0}function y(){var e=0,t=0,r=0;e:while(1){e=s[70]|0;t=e+2|0;s[70]=t;if(e>>>0>=(s[71]|0)>>>0){r=7;break}switch(n[t>>1]|0){case 13:case 10:{r=7;break e}case 47:break e;case 91:{g()|0;break}case 92:{s[70]=e+4;break}default:{}}}if((r|0)==7)K();return}function v(e){e=e|0;switch(n[e>>1]|0){case 62:{e=(n[e+-2>>1]|0)==61;break}case 41:case 59:{e=1;break}case 104:{e=L(e+-2|0,200,4)|0;break}case 121:{e=L(e+-2|0,208,6)|0;break}case 101:{e=L(e+-2|0,220,3)|0;break}default:e=0}return e|0}function $(e){e=e|0;var t=0,r=0,i=0,a=0,o=0;a=(s[70]|0)+2|0;s[70]=a;r=s[71]|0;while(1){t=a+2|0;if(a>>>0>=r>>>0)break;i=n[t>>1]|0;if(!e?Y(i)|0:0)break;if(i<<16>>16==42?(n[a+4>>1]|0)==47:0){o=8;break}a=t}if((o|0)==8){s[70]=t;t=a+4|0}s[70]=t;return}function x(e,t,r){e=e|0;t=t|0;r=r|0;var n=0,s=0;e:do{if(!r)e=0;else{while(1){n=i[e>>0]|0;s=i[t>>0]|0;if(n<<24>>24!=s<<24>>24)break;r=r+-1|0;if(!r){e=0;break e}else{e=e+1|0;t=t+1|0}}e=(n&255)-(s&255)|0}}while(0);return e|0}function E(e){e=e|0;e:do{switch(e<<16>>16){case 38:case 37:case 33:{e=1;break}default:if((e&-8)<<16>>16==40|(e+-58&65535)<6)e=1;else{switch(e<<16>>16){case 91:case 93:case 94:{e=1;break e}default:{}}e=(e+-123&65535)<4}}}while(0);return e|0}function A(e){e=e|0;e:do{switch(e<<16>>16){case 38:case 37:case 33:break;default:if(!((e+-58&65535)<6|(e+-40&65535)<7&e<<16>>16!=41)){switch(e<<16>>16){case 91:case 94:break e;default:{}}return e<<16>>16!=125&(e+-123&65535)<4|0}}}while(0);return 1}function S(e){e=e|0;var t=0;t=n[e>>1]|0;e:do{if((t+-9&65535)>=5){switch(t<<16>>16){case 160:case 32:{t=1;break e}default:{}}if(E(t)|0)return t<<16>>16!=46|(q(e)|0)|0;else t=0}else t=1}while(0);return t|0}function O(e){e=e|0;var t=0,r=0,i=0,a=0;r=c;c=c+16|0;i=r;s[i>>2]=0;s[64]=e;t=s[3]|0;a=t+(e<<1)|0;e=a+2|0;n[a>>1]=0;s[i>>2]=e;s[65]=e;s[57]=0;s[61]=0;s[59]=0;s[58]=0;s[63]=0;s[60]=0;c=r;return t|0}function j(e,t,r,n){e=e|0;t=t|0;r=r|0;n=n|0;var a=0,o=0;a=s[65]|0;s[65]=a+20;o=s[63]|0;s[((o|0)==0?232:o+16|0)>>2]=a;s[63]=a;s[a>>2]=e;s[a+4>>2]=t;s[a+8>>2]=r;s[a+12>>2]=n;s[a+16>>2]=0;i[795]=1;return}function L(e,t,r){e=e|0;t=t|0;r=r|0;var i=0,n=0;i=e+(0-r<<1)|0;n=i+2|0;e=s[3]|0;if(n>>>0>=e>>>0?(x(n,t,r<<1)|0)==0:0)if((n|0)==(e|0))e=1;else e=S(i)|0;else e=0;return e|0}function C(e){e=e|0;switch(n[e>>1]|0){case 107:{e=L(e+-2|0,134,4)|0;break}case 101:{if((n[e+-2>>1]|0)==117)e=L(e+-4|0,106,6)|0;else e=0;break}default:e=0}return e|0}function I(e,t){e=e|0;t=t|0;var r=0;r=s[3]|0;if(r>>>0<=e>>>0?(n[e>>1]|0)==t<<16>>16:0)if((r|0)==(e|0))r=1;else r=M(n[e+-2>>1]|0)|0;else r=0;return r|0}function M(e){e=e|0;e:do{if((e+-9&65535)<5)e=1;else{switch(e<<16>>16){case 32:case 160:{e=1;break e}default:{}}e=e<<16>>16!=46&(E(e)|0)}}while(0);return e|0}function U(){var e=0,t=0,r=0;e=s[71]|0;r=s[70]|0;e:while(1){t=r+2|0;if(r>>>0>=e>>>0)break;switch(n[t>>1]|0){case 13:case 10:break e;default:r=t}}s[70]=t;return}function P(e){e=e|0;while(1){if(G(e)|0)break;if(E(e)|0)break;e=(s[70]|0)+2|0;s[70]=e;e=n[e>>1]|0;if(!(e<<16>>16)){e=0;break}}return e|0}function _(){var e=0;e=s[(s[59]|0)+20>>2]|0;switch(e|0){case 1:{e=-1;break}case 2:{e=-2;break}default:e=e-(s[3]|0)>>1}return e|0}function N(e){e=e|0;if(!(L(e,180,5)|0)?!(L(e,190,3)|0):0)e=L(e,196,2)|0;else e=1;return e|0}function R(e){e=e|0;switch(e<<16>>16){case 160:case 32:case 12:case 11:case 9:{e=1;break}default:e=0}return e|0}function q(e){e=e|0;if((n[e>>1]|0)==46?(n[e+-2>>1]|0)==46:0)e=(n[e+-4>>1]|0)==46;else e=0;return e|0}function T(e){e=e|0;if((s[3]|0)==(e|0))e=1;else e=S(e+-2|0)|0;return e|0}function H(){var e=0;e=s[(s[60]|0)+12>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function z(){var e=0;e=s[(s[59]|0)+12>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function J(){var e=0;e=s[(s[60]|0)+8>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function D(){var e=0;e=s[(s[59]|0)+16>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function W(){var e=0;e=s[(s[59]|0)+4>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function B(){var e=0;e=s[59]|0;e=s[((e|0)==0?228:e+28|0)>>2]|0;s[59]=e;return(e|0)!=0|0}function F(){var e=0;e=s[60]|0;e=s[((e|0)==0?232:e+16|0)>>2]|0;s[60]=e;return(e|0)!=0|0}function K(){i[794]=1;s[66]=(s[70]|0)-(s[3]|0)>>1;s[70]=(s[71]|0)+2;return}function G(e){e=e|0;return(e|128)<<16>>16==160|(e+-9&65535)<5|0}function Q(e){e=e|0;return e<<16>>16==39|e<<16>>16==34|0}function V(){return(s[(s[59]|0)+8>>2]|0)-(s[3]|0)>>1|0}function X(){return(s[(s[60]|0)+4>>2]|0)-(s[3]|0)>>1|0}function Y(e){e=e|0;return e<<16>>16==13|e<<16>>16==10|0}function Z(){return(s[s[59]>>2]|0)-(s[3]|0)>>1|0}function ee(){return(s[s[60]>>2]|0)-(s[3]|0)>>1|0}function te(){return a[(s[59]|0)+24>>0]|0|0}function re(e){e=e|0;s[3]=e;return}function ie(){return(i[795]|0)!=0|0}function ne(){return(i[796]|0)!=0|0}function se(){return s[66]|0}function ae(e){e=e|0;c=e+992+15&-16;return 992}return{su:ae,ai:D,e:se,ee:X,ele:H,els:J,es:ee,f:ne,id:_,ie:W,ip:te,is:Z,ms:ie,p:l,re:F,ri:B,sa:O,se:z,ses:re,ss:V}}("undefined"!=typeof self?self:e,0,ee),te=Z.su(ie-(2<<17))}const n=ae.length+1;Z.ses(te),Z.sa(n-1),ne(ae,new Uint16Array(ee,te,n)),Z.p()||(ce=Z.e(),pe());const s=[],a=[];for(;Z.ri();){const e=Z.is(),t=Z.ie(),r=Z.ai(),i=Z.id(),n=Z.ss(),a=Z.se();let o;Z.ip()&&(o=le(-1===i?e:e+1,ae.charCodeAt(-1===i?e-1:e))),s.push({n:o,s:e,e:t,ss:n,se:a,d:i,a:r})}for(;Z.re();){const e=Z.es(),t=Z.ee(),r=Z.els(),i=Z.ele(),n=ae.charCodeAt(e),s=r>=0?ae.charCodeAt(r):-1;a.push({s:e,e:t,ls:r,le:i,n:34===n||39===n?le(e+1,n):ae.slice(e,t),ln:r<0?void 0:34===s||39===s?le(r+1,s):ae.slice(r,i)})}return[s,a,!!Z.f(),!!Z.ms()]}(n,s.u)}catch(e){j(e),s.a=[[],[],!1]}return s.S=n,s})(),s.L=s.f.then((async()=>{let e=r;s.d=(await Promise.all(s.a[0].map((async({n:t,d:r})=>{if((r>=0&&!H||-2===r&&!K)&&(s.n=!0),-1!==r||!t)return;const{r:i,b:n}=await me(t,s.r||s.u);return!n||F&&!C||(s.n=!0),-1===r?S&&S(i)?{b:i}:(e.integrity&&(e=Object.assign({},e,{integrity:void 0})),Be(i,e,s.r).f):void 0})))).filter((e=>e))})),s}function Fe(e=!1){if(!e)for(const e of document.querySelectorAll(a?"link[rel=modulepreload-shim]":"link[rel=modulepreload]"))nt(e);for(const e of document.querySelectorAll(a?"script[type=importmap-shim]":"script[type=importmap]"))tt(e);if(!e)for(const e of document.querySelectorAll(a?"script[type=module-shim]":"script[type=module]"))rt(e)}function Ke(e){const t={};return e.integrity&&(t.integrity=e.integrity),e.referrerPolicy&&(t.referrerPolicy=e.referrerPolicy),e.fetchPriority&&(t.priority=e.fetchPriority),"use-credentials"===e.crossOrigin?t.credentials="include":"anonymous"===e.crossOrigin?t.credentials="omit":t.credentials="same-origin",t}let Ge=Promise.resolve(),Qe=1;function Ve(){0!=--Qe||b||!a&&xe||document.dispatchEvent(new Event("DOMContentLoaded"))}r&&document.addEventListener("DOMContentLoaded",(async()=>{await Ae,Ve()}));let Xe=1;function Ye(){0!=--Xe||b||!a&&xe||document.dispatchEvent(new Event("readystatechange"))}const Ze=e=>e.nextSibling||e.parentNode&&Ze(e.parentNode),et=(e,t)=>e.ep||!t&&(!e.src&&!e.innerHTML||!Ze(e))||null!==e.getAttribute("noshim")||!(e.ep=!0);function tt(e,t=Xe>0){if(!et(e,t)){if(e.src){if(!a)return;C=!0}Le&&(Oe=Oe.then((async()=>{Ee=_(e.src?await(await De(e.src,Ke(e))).json():JSON.parse(e.innerHTML),e.src||E,Ee)})).catch((t=>{console.log(t),t instanceof SyntaxError&&(t=new Error(`Unable to parse import map ${t.message} in: ${e.src||e.innerHTML}`)),j(t)})),a||(Le=!1))}}function rt(e,t=Xe>0){if(et(e,t))return;const r=null===e.getAttribute("async")&&Xe>0,i=Qe>0;r&&Xe++,i&&Qe++;const n=Ce(e.src||E,Ke(e),!e.src&&e.innerHTML,!a,r&&Ge).then((()=>{a&&e.dispatchEvent(new Event("load"))})).catch(j);r&&(Ge=n.then(Ye)),i&&n.then(Ve)}const it={};function nt(e){e.ep||(e.ep=!0,it[e.href]||(it[e.href]=We(e.href,Ke(e))))}}();const r=window.parent,i=new class{sendMessage;seqNum=0;methods={};pending={};initPromise;resolveInit;initialized=!1;constructor(e){this.sendMessage=e,this.resolveInit=()=>{},this.initPromise=new Promise((e=>{this.resolveInit=e}))}register(e){if(this.initialized)throw new Error("RPC methods already registered");this.methods={...e};const t=setInterval((()=>{this.sendMessage({kind:"initialize"})}),50),r=this.resolveInit;this.resolveInit=()=>{clearInterval(t),r()},this.initialized=!0}messageReceived(e){if(e.kind)return void("initialize"===e.kind?this.sendMessage({kind:"initialized"}):"initialized"===e.kind&&this.initialized&&this.resolveInit());const{seqNum:r,name:i,args:n,result:s,exception:a}=e;void 0!==r&&(void 0===i?(void 0!==a?this.pending[r].reject(a):this.pending[r].resolve(s),delete this.pending[r]):this.initPromise.then((async()=>{try{const e=this.methods[i];if(void 0===e)throw new Error(`unknown RPC method ${i}`);this.sendMessage({seqNum:r,result:await e(...n)})}catch(e){this.sendMessage({seqNum:r,exception:t(e)})}})))}async invoke(e,t){await this.initPromise,this.seqNum+=1;const r=this.seqNum;return new Promise(((i,n)=>{this.pending[r]={resolve:i,reject:n},this.sendMessage({seqNum:r,name:e,args:t})}))}getApi(){return new Proxy({},{get:(e,t)=>(...e)=>this.invoke(t,e)})}}((e=>r.postMessage(JSON.stringify(e))));window.addEventListener("message",(e=>{i.messageReceived(JSON.parse(e.data))}));const n=i.getApi(),s=document.querySelector("#react_root");if(s){const e={"@leanprover/infoview":"/infoview/index.production.min.js",react:"/infoview/react.production.min.js","react/jsx-runtime":"/infoview/react-jsx-runtime.production.min.js","react-dom":"/infoview/react-dom.production.min.js"};console.log(e),function(e,t){importShim.addImportMap({imports:e}),importShim("@leanprover/infoview").then((e=>{return r=e.renderInfoview(...t),i.register(r);var r})).catch((e=>console.error(`Error importing '@leanprover/infoview': ${JSON.stringify(e)}`)))}(e,[n,s])}})();
+(()=>{"use strict";window.esmsInitOptions={shimMode:!0};var e="undefined"!=typeof globalThis?globalThis:"undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof self?self:{};function t(e){if(void 0===e)return"error";if("object"!=typeof e||e instanceof Array)return e;{const t={};for(const r of Object.getOwnPropertyNames(e))t[r]=e[r];return t}}!function(){const t="undefined"!=typeof document,r=()=>{},i=t?document.querySelector("script[type=esms-options]"):void 0,n=i?JSON.parse(i.innerHTML):{};Object.assign(n,self.esmsInitOptions||{});let s=!t||!!n.shimMode;const a=w(s&&n.onimport),o=w(s&&n.resolve);let c=n.fetch?w(n.fetch):fetch;const l=n.meta?w(s&&n.meta):r,f=n.mapOverrides;let u=n.nonce;if(!u&&t){const e=document.querySelector("script[nonce]");e&&(u=e.nonce||e.getAttribute("nonce"))}const d=w(n.onerror||r),{revokeBlobURLs:p,noLoadEventRetriggers:b,globalLoadEventRetrigger:m,enforceIntegrity:h}=n;function w(e){return"string"==typeof e?self[e]:e}const k=Array.isArray(n.polyfillEnable)?n.polyfillEnable:[],y=k.includes("css-modules"),g=k.includes("json-modules"),v=k.includes("wasm-modules"),$=k.includes("source-phase"),A=n.onpolyfill?w(n.onpolyfill):()=>{console.log("%c^^ Module error above is polyfilled and can be ignored ^^","font-weight:900;color:#391")},O=!navigator.userAgentData&&!!navigator.userAgent.match(/Edge\/\d+\.\d+/),x=t?document.baseURI:`${location.protocol}//${location.host}${location.pathname.includes("/")?location.pathname.slice(0,location.pathname.lastIndexOf("/")+1):location.pathname}`,S=(e,t="text/javascript")=>URL.createObjectURL(new Blob([e],{type:t}));let{skip:E}=n;if(Array.isArray(E)){const e=E.map((e=>new URL(e,x).href));E=t=>e.some((e=>"/"===e[e.length-1]&&t.startsWith(e)||t===e))}else if("string"==typeof E){const e=new RegExp(E);E=t=>e.test(t)}else E instanceof RegExp&&(E=e=>E.test(e));const j=e=>self.dispatchEvent(Object.assign(new Event("error"),{error:e})),L=e=>{(self.reportError||j)(e),d(e)};function M(e){return e?` imported from ${e}`:""}let C=!1;if(!s)if(document.querySelectorAll("script[type=module-shim],script[type=importmap-shim],link[rel=modulepreload-shim]").length)s=!0;else{let e=!1;for(const t of document.querySelectorAll("script[type=module],script[type=importmap]"))if(e){if("importmap"===t.type&&e){C=!0;break}}else"module"!==t.type||t.ep||(e=!0)}const I=/\\/g;function U(e){try{if(-1!==e.indexOf(":"))return new URL(e).href}catch(e){}}function P(e,t){return N(e,t)||U(e)||N("./"+e,t)}function N(e,t){const r=t.indexOf("#"),i=t.indexOf("?");if(r+i>-2&&(t=t.slice(0,-1===r?i:-1===i||i>r?r:i)),-1!==e.indexOf("\\")&&(e=e.replace(I,"/")),"/"===e[0]&&"/"===e[1])return t.slice(0,t.indexOf(":")+1)+e;if("."===e[0]&&("/"===e[1]||"."===e[1]&&("/"===e[2]||2===e.length&&(e+="/"))||1===e.length&&(e+="/"))||"/"===e[0]){const r=t.slice(0,t.indexOf(":")+1);if("blob:"===r)throw new TypeError(`Failed to resolve module specifier "${e}". Invalid relative url or base scheme isn't hierarchical.`);let i;if("/"===t[r.length+1]?"file:"!==r?(i=t.slice(r.length+2),i=i.slice(i.indexOf("/")+1)):i=t.slice(8):i=t.slice(r.length+("/"===t[r.length])),"/"===e[0])return t.slice(0,t.length-i.length-1)+e;const n=i.slice(0,i.lastIndexOf("/")+1)+e,s=[];let a=-1;for(let e=0;e<n.length;e++)if(-1===a){if("."===n[e]){if("."===n[e+1]&&("/"===n[e+2]||e+2===n.length)){s.pop(),e+=2;continue}if("/"===n[e+1]||e+1===n.length){e+=1;continue}}for(;"/"===n[e];)e++;a=e}else"/"===n[e]&&(s.push(n.slice(a,e+1)),a=-1);return-1!==a&&s.push(n.slice(a)),t.slice(0,t.length-i.length)+s.join("")}}function _(e,t,r){const i={imports:Object.assign({},r.imports),scopes:Object.assign({},r.scopes),integrity:Object.assign({},r.integrity)};if(e.imports&&W(e.imports,i.imports,t,r),e.scopes)for(let n in e.scopes){const s=P(n,t);W(e.scopes[n],i.scopes[s]||(i.scopes[s]={}),t,r)}return e.integrity&&function(e,t,r){for(let i in e){const n=N(i,r)||i;if((!s||!f)&&t[n]&&t[n]!==e[n])throw Error(`Rejected map integrity override "${n}" from ${t[n]} to ${e[n]}.`);t[n]=e[i]}}(e.integrity,i.integrity,t),i}function R(e,t){if(t[e])return e;let r=e.length;do{const i=e.slice(0,r+1);if(i in t)return i}while(-1!==(r=e.lastIndexOf("/",r-1)))}function T(e,t){const r=R(e,t);if(r){const i=t[r];if(null===i)return;return i+e.slice(r.length)}}function q(e,t,r){let i=r&&R(r,e.scopes);for(;i;){const r=T(t,e.scopes[i]);if(r)return r;i=R(i.slice(0,i.lastIndexOf("/")),e.scopes)}return T(t,e.imports)||-1!==t.indexOf(":")&&t}function W(e,t,r,i){for(let n in e){const a=N(n,r)||n;if((!s||!f)&&t[a]&&t[a]!==e[a])throw Error(`Rejected map override "${a}" from ${t[a]} to ${e[a]}.`);let o=e[n];if("string"!=typeof o)continue;const c=q(i,N(o,r)||o,r);c?t[a]=c:console.warn(`Mapping "${n}" -> "${e[n]}" does not resolve`)}}let J,H=!t&&(0,eval)("u=>import(u)");const z=t&&new Promise((e=>{const t=Object.assign(document.createElement("script"),{src:S("self._d=u=>import(u)"),ep:!0});t.setAttribute("nonce",u),t.addEventListener("load",(()=>{if(!(J=!!(H=self._d))){let e;window.addEventListener("error",(t=>e=t)),H=(t,r)=>new Promise(((i,n)=>{const s=Object.assign(document.createElement("script"),{type:"module",src:S(`import*as m from'${t}';self._esmsi=m`)});function a(a){document.head.removeChild(s),self._esmsi?(i(self._esmsi,x),self._esmsi=void 0):(n(!(a instanceof Event)&&a||e&&e.error||new Error(`Error loading ${r&&r.errUrl||t} (${s.src}).`)),e=void 0)}e=void 0,s.ep=!0,u&&s.setAttribute("nonce",u),s.addEventListener("error",a),s.addEventListener("load",a),document.head.appendChild(s)}))}document.head.removeChild(t),delete self._d,e()})),document.head.appendChild(t)}));let D=!1,B=!1;const F=t&&HTMLScriptElement.supports;let K=F&&"supports"===F.name&&F("importmap"),G=J,Q=!1,V=!1;const X=[0,97,115,109,1,0,0,0];let Y,Z,ee,te=Promise.resolve(z).then((()=>{if(J)return t?new Promise((e=>{const t=document.createElement("iframe");t.style.display="none",t.setAttribute("nonce",u),window.addEventListener("message",(function r({data:i}){Array.isArray(i)&&"esms"===i[0]&&([,K,G,B,D,Q,V]=i,e(),document.head.removeChild(t),window.removeEventListener("message",r,!1))}),!1);const r=`<script nonce=${u||""}>b=(s,type='text/javascript')=>URL.createObjectURL(new Blob([s],{type}));document.head.appendChild(Object.assign(document.createElement('script'),{type:'importmap',nonce:"${u}",innerText:\`{"imports":{"x":"\${b('')}"}}\`}));Promise.all([${K?"true,true":"'x',b('import.meta')"}, ${y?"b(`import\"${b('','text/css')}\"with{type:\"css\"}`)":"false"}, ${g?"b(`import\"${b('{}','text/json')}\"with{type:\"json\"}`)":"false"}, ${v?`b(\`import"\${b(new Uint8Array(${JSON.stringify(X)}),'application/wasm')}"\`)`:"false"}, ${v&&$?`b(\`import source x from "\${b(new Uint8Array(${JSON.stringify(X)}),'application/wasm')}"\`)`:"false"}].map(x =>typeof x==='string'?import(x).then(()=>true,()=>false):x)).then(a=>parent.postMessage(['esms'].concat(a),'*'))<\/script>`;let i=!1,n=!1;function s(){if(!i)return void(n=!0);const e=t.contentDocument;if(e&&0===e.head.childNodes.length){const t=e.createElement("script");u&&t.setAttribute("nonce",u),t.innerHTML=r.slice(15+(u?u.length:0),-9),e.head.appendChild(t)}}t.onload=s,document.head.appendChild(t),i=!0,"srcdoc"in t?t.srcdoc=r:t.contentDocument.write(r),n&&s()})):Promise.all([K||H(S("import.meta")).then((()=>G=!0),r),y&&H(S(`import"${S("","text/css")}"with{type:"css"}`)).then((()=>B=!0),r),g&&H(S(`import"${S("{}","text/json")}"with{type:"json"}`)).then((()=>D=!0),r),v&&H(S(`import"${S(new Uint8Array(X),"application/wasm")}"`)).then((()=>Q=!0),r),v&&$&&H(S(`import source x from"${S(new Uint8Array(X),"application/wasm")}"`)).then((()=>V=!0),r)])})),re=2<<19;const ie=1===new Uint8Array(new Uint16Array([1]).buffer)[0]?function(e,t){const r=e.length;let i=0;for(;i<r;)t[i]=e.charCodeAt(i++)}:function(e,t){const r=e.length;let i=0;for(;i<r;){const r=e.charCodeAt(i);t[i++]=(255&r)<<8|r>>>8}},ne="xportmportlassetaourceromsyncunctionssertvoyiedelecontininstantybreareturdebuggeawaithrwhileforifcatcfinallels";let se,ae,oe;function ce(e,t){oe=e;let r="",i=oe;for(;;){oe>=se.length&&de();const e=se.charCodeAt(oe);if(e===t)break;92===e?(r+=se.slice(i,oe),r+=le(),i=oe):(8232===e||8233===e||ue(e)&&de(),++oe)}return r+=se.slice(i,oe++),r}function le(){let e=se.charCodeAt(++oe);switch(++oe,e){case 110:return"\n";case 114:return"\r";case 120:return String.fromCharCode(fe(2));case 117:return function(){let e;return 123===se.charCodeAt(oe)?(++oe,e=fe(se.indexOf("}",oe)-oe),++oe,e>1114111&&de()):e=fe(4),e<=65535?String.fromCharCode(e):(e-=65536,String.fromCharCode(55296+(e>>10),56320+(1023&e)))}();case 116:return"\t";case 98:return"\b";case 118:return"\v";case 102:return"\f";case 13:10===se.charCodeAt(oe)&&++oe;case 10:return"";case 56:case 57:de();default:if(e>=48&&e<=55){let t=se.substr(oe-1,3).match(/^[0-7]+/)[0],r=parseInt(t,8);return r>255&&(t=t.slice(0,-1),r=parseInt(t,8)),oe+=t.length-1,e=se.charCodeAt(oe),"0"===t&&56!==e&&57!==e||de(),String.fromCharCode(r)}return ue(e)?"":String.fromCharCode(e)}}function fe(e){const t=oe;let r=0,i=0;for(let t=0;t<e;++t,++oe){let e,n=se.charCodeAt(oe);if(95!==n){if(n>=97)e=n-97+10;else if(n>=65)e=n-65+10;else{if(!(n>=48&&n<=57))break;e=n-48}if(e>=16)break;i=n,r=16*r+e}else 95!==i&&0!==t||de(),i=n}return 95!==i&&oe-t===e||de(),r}function ue(e){return 13===e||10===e}function de(){throw Object.assign(Error(`Parse error ${ae}:${se.slice(0,oe).split("\n").length}:${oe-se.lastIndexOf("\n",oe-1)}`),{idx:oe})}async function pe(e,t){const r=N(e,t)||U(e);return{r:q(xe,r||e,t)||ke(e,t),b:!r&&!U(e)}}const be=o?async(e,t)=>{let r=o(e,t,we);return r&&r.then&&(r=await r),r?{r,b:!N(e,t)&&!U(e)}:pe(e,t)}:pe;async function me(e,...r){let i=r[r.length-1];return"string"!=typeof i&&(i=x),await Se,a&&await a(e,"string"!=typeof r[1]?r[1]:{},i),(Me||s||!Oe)&&(t&&Qe(!0),s||(Me=!1)),await je,(await be(e,i)).r}async function he(...e){return Ce(await me(...e),{credentials:"same-origin"})}function we(e,t){return q(xe,N(e,t)||e,t)||ke(e,t)}function ke(e,t){throw Error(`Unable to resolve specifier '${e}'${M(t)}`)}$&&(he.source=async function(...e){const t=Fe(await me(...e),{credentials:"same-origin"},null,null);return Ee=void 0,Le&&!s&&t.n&&nativelyLoaded&&(A(),Le=!1),await t.f,he._s[t.r]}),self.importShim=he;const ye=(e,t=x)=>{t=`${t}`;const r=o&&o(e,t,we);return r&&!r.then?r:we(e,t)};function ge(e,t=this.url){return ye(e,t)}he.resolve=ye,he.getImportMap=()=>JSON.parse(JSON.stringify(xe)),he.addImportMap=e=>{if(!s)throw new Error("Unsupported in polyfill mode.");xe=_(e,x,xe)};const ve=he._r={},$e=he._s={};async function Ae(e,t){t[e.u]=1,await e.L,await Promise.all(e.d.map((({l:e,s:r})=>{if(!e.b&&!t[e.u])return r?e.f:Ae(e,t)}))),e.n||(e.n=e.d.some((e=>e.l.n)))}let Oe,xe={imports:{},scopes:{},integrity:{}};const Se=te.then((()=>{if(Oe=!0!==n.polyfillEnable&&J&&G&&K&&(!g||D)&&(!y||B)&&(!v||Q)&&(!$||V)&&!C,$&&"undefined"!=typeof WebAssembly&&!Object.getPrototypeOf(WebAssembly.Module).name){const e=Symbol(),r=t=>Object.defineProperty(t,e,{writable:!1,configurable:!1,value:"WebAssembly.Module"});class i{get[Symbol.toStringTag](){if(this[e])return this[e];throw new TypeError("Not an AbstractModuleSource")}}const{Module:a,compile:o,compileStreaming:c}=WebAssembly;WebAssembly.Module=Object.setPrototypeOf(Object.assign((function(...e){return r(new a(...e))}),a),i),WebAssembly.Module.prototype=Object.setPrototypeOf(a.prototype,i.prototype),WebAssembly.compile=function(...e){return o(...e).then(r)},WebAssembly.compileStreaming=function(...e){return c(...e).then(r)}}if(t){if(!K){const l=HTMLScriptElement.supports||(e=>"classic"===e||"module"===e);HTMLScriptElement.supports=e=>"importmap"===e||l(e)}if(s||!Oe)if(new MutationObserver((e=>{for(const t of e)if("childList"===t.type)for(const e of t.addedNodes)"SCRIPT"===e.tagName?(e.type===(s?"module-shim":"module")&&ot(e,!0),e.type===(s?"importmap-shim":"importmap")&&at(e,!0)):"LINK"===e.tagName&&e.rel===(s?"modulepreload-shim":"modulepreload")&&lt(e)})).observe(document,{childList:!0,subtree:!0}),Qe(),"complete"===document.readyState)it();else{async function f(){await Se,Qe(),"complete"===document.readyState&&(it(),document.removeEventListener("readystatechange",f))}document.addEventListener("readystatechange",f)}}}));let Ee,je=Se,Le=!0,Me=!0;async function Ce(e,t,r,i,n){if(s||(Me=!1),await Se,await je,a&&await a(e,"string"!=typeof t?t:{},""),!s&&Oe)return i?null:(await n,H(r?S(r):e,{errUrl:e||r}));const o=Fe(e,t,null,r);Ge(o,t);const c={};if(await Ae(o,c),Ee=void 0,Pe(o,c),await n,r&&!s&&!o.n){if(i)return;return p&&Ie(Object.keys(c)),await H(S(r),{errUrl:r})}Le&&!s&&o.n&&i&&(A(),Le=!1);const l=await H(s||o.n||!i?o.b:o.u,{errUrl:o.u});return o.s&&(await H(o.s)).u$_(l),p&&Ie(Object.keys(c)),l}function Ie(e){let t=0;const r=e.length,i=self.requestIdleCallback?self.requestIdleCallback:self.requestAnimationFrame;i((function n(){const s=100*t;if(!(s>r)){for(const t of e.slice(s,s+100)){const e=ve[t];e&&URL.revokeObjectURL(e.b)}t++,i(n)}}))}function Ue(e){return`'${e.replace(/'/g,"\\'")}'`}function Pe(e,t){if(e.b||!t[e.u])return;t[e.u]=0;for(const{l:r,s:i}of e.d)i||Pe(r,t);const[r,i]=e.a,n=e.S;let s=O&&Ee?`import '${Ee}';`:"",a=0,o=0,c=[];function f(t){for(;c[c.length-1]<t;){const t=c.pop();s+=`${n.slice(a,t)}, ${Ue(e.r)}`,a=t}s+=n.slice(a,t),a=t}for(const{s:t,ss:i,se:u,d,t:p}of r)if(4===p){let{l:r}=e.d[o++];f(i),s+="import ",a=i+14,f(t-1),s+=`/*${n.slice(t-1,u)}*/'${S(`export default importShim._s[${Ue(r.r)}]`)}'`,a=u}else if(-1===d){let{l:r}=e.d[o++],i=r.b,c=!i;c&&((i=r.s)||(i=r.s=S(`export function u$_(m){${r.a[1].map((({s:e,e:t},i)=>{const n='"'===r.S[e]||"'"===r.S[e];return`e$_${i}=m${n?"[":"."}${r.S.slice(e,t)}${n?"]":""}`})).join(",")}}${r.a[1].length?`let ${r.a[1].map(((e,t)=>`e$_${t}`)).join(",")};`:""}export {${r.a[1].map((({s:e,e:t},i)=>`e$_${i} as ${r.S.slice(e,t)}`)).join(",")}}\n//# sourceURL=${r.r}?cycle`))),f(t-1),s+=`/*${n.slice(t-1,u)}*/'${i}'`,!c&&r.s&&(s+=`;import*as m$_${o} from'${r.b}';import{u$_ as u$_${o}}from'${r.s}';u$_${o}(m$_${o})`,r.s=void 0),a=u}else-2===d?(e.m={url:e.r,resolve:ge},l(e.m,e.u),f(t),s+=`importShim._r[${Ue(e.u)}].m`,a=u):(f(i+6),s+=`Shim${5===p?".source":""}(`,c.push(u-1),a=t);function u(t,r){const i=r+t.length,o=n.indexOf("\n",i),c=-1!==o?o:n.length;f(i),s+=new URL(n.slice(i,c),e.r).href,a=c}!e.s||0!==r.length&&-1!==r[r.length-1].d||(s+=`\n;import{u$_}from'${e.s}';try{u$_({${i.filter((e=>e.ln)).map((({s:e,e:t,ln:r})=>`${n.slice(e,t)}:${r}`)).join(",")}})}catch(_){};\n`);let d=n.lastIndexOf(Ne),p=n.lastIndexOf(_e);d<a&&(d=-1),p<a&&(p=-1),-1!==d&&(-1===p||p>d)&&u(Ne,d),-1!==p&&(u(_e,p),-1!==d&&d>p&&u(Ne,d)),f(n.length),-1===d&&(s+=Ne+e.r),e.b=Ee=S(s),e.S=void 0}const Ne="\n//# sourceURL=",_e="\n//# sourceMappingURL=",Re=/^(text|application)\/(x-)?javascript(;|$)/,Te=/^(application)\/wasm(;|$)/,qe=/^(text|application)\/json(;|$)/,We=/^(text|application)\/css(;|$)/,Je=/url\(\s*(?:(["'])((?:\\.|[^\n\\"'])+)\1|((?:\\.|[^\s,"'()\\])+))\s*\)/g;let He=[],ze=0;async function De(e,t,r){if(h&&!t.integrity)throw Error(`No integrity for ${e}${M(r)}.`);const i=function(){if(++ze>100)return new Promise((e=>He.push(e)))}();i&&await i;try{var n=await c(e,t)}catch(t){throw t.message=`Unable to fetch ${e}${M(r)} - see network log for details.\n`+t.message,t}finally{ze--,He.length&&He.shift()()}if(!n.ok){const e=new TypeError(`${n.status} ${n.statusText} ${n.url}${M(r)}`);throw e.response=n,e}return n}async function Be(e,t,r){const i=xe.integrity[e],n=await De(e,i&&!t.integrity?Object.assign({},t,{integrity:i}):t,r),s=n.url,a=n.headers.get("content-type");if(Re.test(a))return{r:s,s:await n.text(),sp:null,t:"js"};if(Te.test(a)){const e=await($e[s]||($e[s]=WebAssembly.compileStreaming(n)));$e[s]=e;let t="",r=0,i="";for(const n of WebAssembly.Module.imports(e)){const e=Ue(n.module);t+=`import * as impt${r} from ${e};\n`,i+=`${e}:impt${r++},`}r=0,t+=`const instance = await WebAssembly.instantiate(importShim._s[${Ue(s)}], {${i}});\n`;for(const r of WebAssembly.Module.exports(e))t+=`export const ${r.name} = instance.exports['${r.name}'];\n`;return{r:s,s:t,t:"wasm"}}if(qe.test(a))return{r:s,s:`export default ${await n.text()}`,sp:null,t:"json"};if(We.test(a))return{r:s,s:`var s=new CSSStyleSheet();s.replaceSync(${JSON.stringify((await n.text()).replace(Je,((t,r="",i,n)=>`url(${r}${P(i||n,e)}${r})`)))});export default s;`,ss:null,t:"css"};throw Error(`Unsupported Content-Type "${a}" loading ${e}${M(r)}. Modules must be served with a valid MIME type like application/javascript.`)}function Fe(t,r,i,n){if(n&&ve[t]){let e=0;for(;ve[t+ ++e];);t+=e}let a=ve[t];return a||(ve[t]=a={u:t,r:n?t:void 0,f:void 0,S:n,L:void 0,a:void 0,d:void 0,b:void 0,s:void 0,n:!1,t:null,m:null},a.f=(async()=>{if(!a.S){let e;if(({r:a.r,s:a.S,t:e}=await(ct[t]||Be(t,r,i))),e&&!s){if("css"===e&&!y||"json"===e&&!g||"wasm"===e&&!v)throw Ke(`${e}-modules`);("css"===e&&!B||"json"===e&&!D||"wasm"===e&&!Q)&&(a.n=!0)}}try{a.a=function(t,r="@"){se=t,ae=r;const i=2*se.length+(2<<18);if(i>re||!Y){for(;i>re;)re*=2;Z=new ArrayBuffer(re),ie(ne,new Uint16Array(Z,16,110)),Y=function(e,t,r){"use asm";var i=new e.Int8Array(r),n=new e.Int16Array(r),s=new e.Int32Array(r),a=new e.Uint8Array(r),o=new e.Uint16Array(r),c=1040;function l(){var e=0,t=0,r=0,a=0,l=0,p=0;p=c;c=c+10240|0;i[804]=1;i[803]=0;n[399]=0;n[400]=0;s[69]=s[2];i[805]=0;s[68]=0;i[802]=0;s[70]=p+2048;s[71]=p;i[806]=0;e=(s[3]|0)+-2|0;s[72]=e;t=e+(s[66]<<1)|0;s[73]=t;e:while(1){r=e+2|0;s[72]=r;if(e>>>0>=t>>>0){l=18;break}t:do{switch(n[r>>1]|0){case 9:case 10:case 11:case 12:case 13:case 32:break;case 101:{if((((n[400]|0)==0?q(r)|0:0)?(A(e+4|0,16,10)|0)==0:0)?(f(),(i[804]|0)==0):0){l=9;break e}else l=17;break}case 105:{if(q(r)|0?(A(e+4|0,26,10)|0)==0:0){u();l=17}else l=17;break}case 59:{l=17;break}case 47:switch(n[e+4>>1]|0){case 47:{U();break t}case 42:{$(1);break t}default:{l=16;break e}}default:{l=16;break e}}}while(0);if((l|0)==17){l=0;s[69]=s[72]}e=s[72]|0;t=s[73]|0}if((l|0)==9){e=s[72]|0;s[69]=e;l=19}else if((l|0)==16){i[804]=0;s[72]=e;l=19}else if((l|0)==18)if(!(i[802]|0)){e=r;l=19}else e=0;do{if((l|0)==19){e:while(1){t=e+2|0;s[72]=t;if(e>>>0>=(s[73]|0)>>>0){l=86;break}t:do{switch(n[t>>1]|0){case 9:case 10:case 11:case 12:case 13:case 32:break;case 101:{if(((n[400]|0)==0?q(t)|0:0)?(A(e+4|0,16,10)|0)==0:0){f();l=85}else l=85;break}case 105:{if(q(t)|0?(A(e+4|0,26,10)|0)==0:0){u();l=85}else l=85;break}case 99:{if((q(t)|0?(A(e+4|0,36,8)|0)==0:0)?G(n[e+12>>1]|0)|0:0){i[806]=1;l=85}else l=85;break}case 40:{a=s[70]|0;t=n[400]|0;l=t&65535;s[a+(l<<3)>>2]=1;r=s[69]|0;n[400]=t+1<<16>>16;s[a+(l<<3)+4>>2]=r;l=85;break}case 41:{t=n[400]|0;if(!(t<<16>>16)){l=36;break e}l=t+-1<<16>>16;n[400]=l;a=n[399]|0;t=a&65535;if(a<<16>>16!=0?(s[(s[70]|0)+((l&65535)<<3)>>2]|0)==5:0){t=s[(s[71]|0)+(t+-1<<2)>>2]|0;r=t+4|0;if(!(s[r>>2]|0))s[r>>2]=(s[69]|0)+2;s[t+12>>2]=e+4;n[399]=a+-1<<16>>16;l=85}else l=85;break}case 123:{l=s[69]|0;a=s[63]|0;e=l;do{if((n[l>>1]|0)==41&(a|0)!=0?(s[a+4>>2]|0)==(l|0):0){t=s[64]|0;s[63]=t;if(!t){s[59]=0;break}else{s[t+32>>2]=0;break}}}while(0);a=s[70]|0;r=n[400]|0;l=r&65535;s[a+(l<<3)>>2]=(i[806]|0)==0?2:6;n[400]=r+1<<16>>16;s[a+(l<<3)+4>>2]=e;i[806]=0;l=85;break}case 125:{e=n[400]|0;if(!(e<<16>>16)){l=49;break e}a=s[70]|0;l=e+-1<<16>>16;n[400]=l;if((s[a+((l&65535)<<3)>>2]|0)==4){b();l=85}else l=85;break}case 39:{w(39);l=85;break}case 34:{w(34);l=85;break}case 47:switch(n[e+4>>1]|0){case 47:{U();break t}case 42:{$(1);break t}default:{e=s[69]|0;t=n[e>>1]|0;r:do{if(!(x(t)|0)){switch(t<<16>>16){case 41:if(_(s[(s[70]|0)+(o[400]<<3)+4>>2]|0)|0)break r;else{l=66;break r}case 125:break;default:{l=66;break r}}r=s[70]|0;a=o[400]|0;if(!(v(s[r+(a<<3)+4>>2]|0)|0)?(s[r+(a<<3)>>2]|0)!=6:0)l=66}else switch(t<<16>>16){case 46:if(((n[e+-2>>1]|0)+-48&65535)<10){l=66;break r}else break r;case 43:if((n[e+-2>>1]|0)==43){l=66;break r}else break r;case 45:if((n[e+-2>>1]|0)==45){l=66;break r}else break r;default:break r}}while(0);r:do{if((l|0)==66?(0,!(d(e)|0)):0){switch(t<<16>>16){case 0:break r;case 47:{if(i[805]|0)break r;break}default:{}}l=s[65]|0;if((l|0?e>>>0>=(s[l>>2]|0)>>>0:0)?e>>>0<=(s[l+4>>2]|0)>>>0:0){g();i[805]=0;l=85;break t}r=s[3]|0;do{if(e>>>0<=r>>>0)break;e=e+-2|0;s[69]=e;t=n[e>>1]|0}while(!(I(t)|0));if(R(t)|0){do{if(e>>>0<=r>>>0)break;e=e+-2|0;s[69]=e}while(R(n[e>>1]|0)|0);if(M(e)|0){g();i[805]=0;l=85;break t}}i[805]=1;l=85;break t}}while(0);g();i[805]=0;l=85;break t}}case 96:{a=s[70]|0;r=n[400]|0;l=r&65535;s[a+(l<<3)+4>>2]=s[69];n[400]=r+1<<16>>16;s[a+(l<<3)>>2]=3;b();l=85;break}default:l=85}}while(0);if((l|0)==85){l=0;s[69]=s[72]}e=s[72]|0}if((l|0)==36){K();e=0;break}else if((l|0)==49){K();e=0;break}else if((l|0)==86){e=(i[802]|0)==0?(n[399]|n[400])<<16>>16==0:0;break}}}while(0);c=p;return e|0}function f(){var e=0,t=0,r=0,a=0,o=0,c=0,l=0,f=0,u=0,d=0,b=0,h=0,y=0,g=0;f=s[72]|0;u=s[65]|0;g=f+12|0;s[72]=g;r=m(1)|0;e=s[72]|0;if(!((e|0)==(g|0)?!(O(r)|0):0))y=3;e:do{if((y|0)==3){t:do{switch(r<<16>>16){case 123:{s[72]=e+2;e=m(1)|0;t=s[72]|0;while(1){if(Q(e)|0){w(e);e=(s[72]|0)+2|0;s[72]=e}else{P(e)|0;e=s[72]|0}m(1)|0;e=k(t,e)|0;if(e<<16>>16==44){s[72]=(s[72]|0)+2;e=m(1)|0}if(e<<16>>16==125){y=15;break}g=t;t=s[72]|0;if((t|0)==(g|0)){y=12;break}if(t>>>0>(s[73]|0)>>>0){y=14;break}}if((y|0)==12){K();break e}else if((y|0)==14){K();break e}else if((y|0)==15){i[803]=1;s[72]=(s[72]|0)+2;break t}break}case 42:{s[72]=e+2;m(1)|0;g=s[72]|0;k(g,g)|0;break}default:{i[804]=0;switch(r<<16>>16){case 100:{f=e+14|0;s[72]=f;switch((m(1)|0)<<16>>16){case 97:{t=s[72]|0;if((A(t+2|0,66,8)|0)==0?(o=t+10|0,R(n[o>>1]|0)|0):0){s[72]=o;m(0)|0;y=22}break}case 102:{y=22;break}case 99:{t=s[72]|0;if(((A(t+2|0,36,8)|0)==0?(a=t+10|0,g=n[a>>1]|0,G(g)|0|g<<16>>16==123):0)?(s[72]=a,c=m(1)|0,c<<16>>16!=123):0){h=c;y=31}break}default:{}}r:do{if((y|0)==22?(l=s[72]|0,(A(l+2|0,74,14)|0)==0):0){r=l+16|0;t=n[r>>1]|0;if(!(G(t)|0))switch(t<<16>>16){case 40:case 42:break;default:break r}s[72]=r;t=m(1)|0;if(t<<16>>16==42){s[72]=(s[72]|0)+2;t=m(1)|0}if(t<<16>>16!=40){h=t;y=31}}}while(0);if((y|0)==31?(d=s[72]|0,P(h)|0,b=s[72]|0,b>>>0>d>>>0):0){j(e,f,d,b);s[72]=(s[72]|0)+-2;break e}j(e,f,0,0);s[72]=e+12;break e}case 97:{s[72]=e+10;m(0)|0;e=s[72]|0;y=35;break}case 102:{y=35;break}case 99:{if((A(e+2|0,36,8)|0)==0?(t=e+10|0,I(n[t>>1]|0)|0):0){s[72]=t;g=m(1)|0;y=s[72]|0;P(g)|0;g=s[72]|0;j(y,g,y,g);s[72]=(s[72]|0)+-2;break e}e=e+4|0;s[72]=e;break}case 108:case 118:break;default:break e}if((y|0)==35){s[72]=e+16;e=m(1)|0;if(e<<16>>16==42){s[72]=(s[72]|0)+2;e=m(1)|0}y=s[72]|0;P(e)|0;g=s[72]|0;j(y,g,y,g);s[72]=(s[72]|0)+-2;break e}s[72]=e+6;i[804]=0;r=m(1)|0;e=s[72]|0;r=(P(r)|0|32)<<16>>16==123;a=s[72]|0;if(r){s[72]=a+2;g=m(1)|0;e=s[72]|0;P(g)|0}r:while(1){t=s[72]|0;if((t|0)==(e|0))break;j(e,t,e,t);t=m(1)|0;if(r)switch(t<<16>>16){case 93:case 125:break e;default:{}}e=s[72]|0;if(t<<16>>16!=44){y=51;break}s[72]=e+2;t=m(1)|0;e=s[72]|0;switch(t<<16>>16){case 91:case 123:{y=51;break r}default:{}}P(t)|0}if((y|0)==51)s[72]=e+-2;if(!r)break e;s[72]=a+-2;break e}}}while(0);g=(m(1)|0)<<16>>16==102;e=s[72]|0;if(g?(A(e+2|0,60,6)|0)==0:0){s[72]=e+8;p(f,m(1)|0,0);e=(u|0)==0?240:u+16|0;while(1){e=s[e>>2]|0;if(!e)break e;s[e+12>>2]=0;s[e+8>>2]=0;e=e+16|0}}s[72]=e+-2}}while(0);return}function u(){var e=0,t=0,r=0,a=0,o=0,c=0,l=0;o=s[72]|0;r=o+12|0;s[72]=r;a=m(1)|0;t=s[72]|0;e:do{if(a<<16>>16!=46)if(a<<16>>16==115&t>>>0>r>>>0)if((A(t+2|0,50,10)|0)==0?(e=t+12|0,G(n[e>>1]|0)|0):0)c=14;else{t=6;r=0;c=46}else{e=a;r=0;c=15}else{s[72]=t+2;switch((m(1)|0)<<16>>16){case 109:{e=s[72]|0;if(A(e+2|0,44,6)|0)break e;t=s[69]|0;if(!(T(t)|0)?(n[t>>1]|0)==46:0)break e;h(o,o,e+8|0,2);break e}case 115:{e=s[72]|0;if(A(e+2|0,50,10)|0)break e;t=s[69]|0;if(!(T(t)|0)?(n[t>>1]|0)==46:0)break e;e=e+12|0;c=14;break e}default:break e}}}while(0);if((c|0)==14){s[72]=e;e=m(1)|0;r=1;c=15}e:do{if((c|0)==15)switch(e<<16>>16){case 40:{t=s[70]|0;l=n[400]|0;a=l&65535;s[t+(a<<3)>>2]=5;e=s[72]|0;n[400]=l+1<<16>>16;s[t+(a<<3)+4>>2]=e;if((n[s[69]>>1]|0)==46)break e;s[72]=e+2;t=m(1)|0;h(o,s[72]|0,0,e);if(r){e=s[63]|0;s[e+28>>2]=5}else e=s[63]|0;o=s[71]|0;l=n[399]|0;n[399]=l+1<<16>>16;s[o+((l&65535)<<2)>>2]=e;switch(t<<16>>16){case 39:{w(39);break}case 34:{w(34);break}default:{s[72]=(s[72]|0)+-2;break e}}e=(s[72]|0)+2|0;s[72]=e;switch((m(1)|0)<<16>>16){case 44:{s[72]=(s[72]|0)+2;m(1)|0;o=s[63]|0;s[o+4>>2]=e;l=s[72]|0;s[o+16>>2]=l;i[o+24>>0]=1;s[72]=l+-2;break e}case 41:{n[400]=(n[400]|0)+-1<<16>>16;l=s[63]|0;s[l+4>>2]=e;s[l+12>>2]=(s[72]|0)+2;i[l+24>>0]=1;n[399]=(n[399]|0)+-1<<16>>16;break e}default:{s[72]=(s[72]|0)+-2;break e}}}case 123:{if(r){t=12;r=1;c=46;break e}e=s[72]|0;if(n[400]|0){s[72]=e+-2;break e}while(1){if(e>>>0>=(s[73]|0)>>>0)break;e=m(1)|0;if(!(Q(e)|0)){if(e<<16>>16==125){c=36;break}}else w(e);e=(s[72]|0)+2|0;s[72]=e}if((c|0)==36)s[72]=(s[72]|0)+2;l=(m(1)|0)<<16>>16==102;e=s[72]|0;if(l?A(e+2|0,60,6)|0:0){K();break e}s[72]=e+8;e=m(1)|0;if(Q(e)|0){p(o,e,0);break e}else{K();break e}}default:{if(r){t=12;r=1;c=46;break e}switch(e<<16>>16){case 42:case 39:case 34:{r=0;c=48;break e}default:{t=6;r=0;c=46;break e}}}}}while(0);if((c|0)==46){e=s[72]|0;if((e|0)==(o+(t<<1)|0))s[72]=e+-2;else c=48}do{if((c|0)==48){if(n[400]|0){s[72]=(s[72]|0)+-2;break}e=s[73]|0;t=s[72]|0;while(1){if(t>>>0>=e>>>0){c=55;break}a=n[t>>1]|0;if(Q(a)|0){c=53;break}l=t+2|0;s[72]=l;t=l}if((c|0)==53){p(o,a,r);break}else if((c|0)==55){K();break}}}while(0);return}function d(e){e=e|0;var t=0,r=0;e:do{switch(n[e>>1]|0){case 100:switch(n[e+-2>>1]|0){case 105:{t=L(e+-4|0,98,2)|0;break e}case 108:{t=L(e+-4|0,102,3)|0;break e}default:{t=0;break e}}case 101:switch(n[e+-2>>1]|0){case 115:switch(n[e+-4>>1]|0){case 108:{t=C(e+-6|0,101)|0;break e}case 97:{t=C(e+-6|0,99)|0;break e}default:{t=0;break e}}case 116:{t=L(e+-4|0,108,4)|0;break e}case 117:{t=L(e+-4|0,116,6)|0;break e}default:{t=0;break e}}case 102:{if((n[e+-2>>1]|0)==111){r=e+-4|0;if((r|0)!=(s[3]|0)?(t=n[r>>1]|0,!(I(t)|0)):0)if(t<<16>>16==101)switch(n[e+-6>>1]|0){case 99:{t=L(e+-8|0,128,6)|0;break e}case 112:{t=L(e+-8|0,140,2)|0;break e}default:{t=0;break e}}else t=0;else t=1}else t=0;break}case 107:{t=L(e+-2|0,144,4)|0;break}case 110:{t=e+-2|0;if(C(t,105)|0)t=1;else t=L(t,152,5)|0;break}case 111:{t=C(e+-2|0,100)|0;break}case 114:{t=L(e+-2|0,162,7)|0;break}case 116:{t=L(e+-2|0,176,4)|0;break}case 119:switch(n[e+-2>>1]|0){case 101:{t=C(e+-4|0,110)|0;break e}case 111:{t=L(e+-4|0,184,3)|0;break e}default:{t=0;break e}}default:t=0}}while(0);return t|0}function p(e,t,r){e=e|0;t=t|0;r=r|0;var i=0,a=0;i=(s[72]|0)+2|0;switch(t<<16>>16){case 39:{w(39);a=5;break}case 34:{w(34);a=5;break}default:K()}do{if((a|0)==5){h(e,i,s[72]|0,1);if(r)s[(s[63]|0)+28>>2]=4;s[72]=(s[72]|0)+2;t=m(0)|0;r=t<<16>>16==97;if(r){i=s[72]|0;if(A(i+2|0,88,10)|0)a=13}else{i=s[72]|0;if(!(((t<<16>>16==119?(n[i+2>>1]|0)==105:0)?(n[i+4>>1]|0)==116:0)?(n[i+6>>1]|0)==104:0))a=13}if((a|0)==13){s[72]=i+-2;break}s[72]=i+((r?6:4)<<1);if((m(1)|0)<<16>>16!=123){s[72]=i;break}r=s[72]|0;t=r;e:while(1){s[72]=t+2;t=m(1)|0;switch(t<<16>>16){case 39:{w(39);s[72]=(s[72]|0)+2;t=m(1)|0;break}case 34:{w(34);s[72]=(s[72]|0)+2;t=m(1)|0;break}default:t=P(t)|0}if(t<<16>>16!=58){a=22;break}s[72]=(s[72]|0)+2;switch((m(1)|0)<<16>>16){case 39:{w(39);break}case 34:{w(34);break}default:{a=26;break e}}s[72]=(s[72]|0)+2;switch((m(1)|0)<<16>>16){case 125:{a=31;break e}case 44:break;default:{a=30;break e}}s[72]=(s[72]|0)+2;if((m(1)|0)<<16>>16==125){a=31;break}t=s[72]|0}if((a|0)==22){s[72]=i;break}else if((a|0)==26){s[72]=i;break}else if((a|0)==30){s[72]=i;break}else if((a|0)==31){a=s[63]|0;s[a+16>>2]=r;s[a+12>>2]=(s[72]|0)+2;break}}}while(0);return}function b(){var e=0,t=0,r=0,i=0;t=s[73]|0;r=s[72]|0;e:while(1){e=r+2|0;if(r>>>0>=t>>>0){t=10;break}switch(n[e>>1]|0){case 96:{t=7;break e}case 36:{if((n[r+4>>1]|0)==123){t=6;break e}break}case 92:{e=r+4|0;break}default:{}}r=e}if((t|0)==6){e=r+4|0;s[72]=e;t=s[70]|0;i=n[400]|0;r=i&65535;s[t+(r<<3)>>2]=4;n[400]=i+1<<16>>16;s[t+(r<<3)+4>>2]=e}else if((t|0)==7){s[72]=e;r=s[70]|0;i=(n[400]|0)+-1<<16>>16;n[400]=i;if((s[r+((i&65535)<<3)>>2]|0)!=3)K()}else if((t|0)==10){s[72]=e;K()}return}function m(e){e=e|0;var t=0,r=0,i=0;r=s[72]|0;e:do{t=n[r>>1]|0;t:do{if(t<<16>>16!=47)if(e)if(G(t)|0)break;else break e;else if(R(t)|0)break;else break e;else switch(n[r+2>>1]|0){case 47:{U();break t}case 42:{$(e);break t}default:{t=47;break e}}}while(0);i=s[72]|0;r=i+2|0;s[72]=r}while(i>>>0<(s[73]|0)>>>0);return t|0}function h(e,t,r,n){e=e|0;t=t|0;r=r|0;n=n|0;var a=0,o=0;o=s[67]|0;s[67]=o+36;a=s[63]|0;s[((a|0)==0?236:a+32|0)>>2]=o;s[64]=a;s[63]=o;s[o+8>>2]=e;if(2==(n|0)){e=3;a=r}else{a=1==(n|0);e=a?1:2;a=a?r+2|0:0}s[o+12>>2]=a;s[o+28>>2]=e;s[o>>2]=t;s[o+4>>2]=r;s[o+16>>2]=0;s[o+20>>2]=n;t=1==(n|0);i[o+24>>0]=t&1;s[o+32>>2]=0;if(t|2==(n|0))i[803]=1;return}function w(e){e=e|0;var t=0,r=0,i=0,a=0;a=s[73]|0;t=s[72]|0;while(1){i=t+2|0;if(t>>>0>=a>>>0){t=9;break}r=n[i>>1]|0;if(r<<16>>16==e<<16>>16){t=10;break}if(r<<16>>16==92){r=t+4|0;if((n[r>>1]|0)==13){t=t+6|0;t=(n[t>>1]|0)==10?t:r}else t=r}else if(Y(r)|0){t=9;break}else t=i}if((t|0)==9){s[72]=i;K()}else if((t|0)==10)s[72]=i;return}function k(e,t){e=e|0;t=t|0;var r=0,i=0,a=0,o=0;r=s[72]|0;i=n[r>>1]|0;o=(e|0)==(t|0);a=o?0:e;o=o?0:t;if(i<<16>>16==97){s[72]=r+4;r=m(1)|0;e=s[72]|0;if(Q(r)|0){w(r);t=(s[72]|0)+2|0;s[72]=t}else{P(r)|0;t=s[72]|0}i=m(1)|0;r=s[72]|0}if((r|0)!=(e|0))j(e,t,a,o);return i|0}function y(){var e=0,t=0,r=0;r=s[73]|0;t=s[72]|0;e:while(1){e=t+2|0;if(t>>>0>=r>>>0){t=6;break}switch(n[e>>1]|0){case 13:case 10:{t=6;break e}case 93:{t=7;break e}case 92:{e=t+4|0;break}default:{}}t=e}if((t|0)==6){s[72]=e;K();e=0}else if((t|0)==7){s[72]=e;e=93}return e|0}function g(){var e=0,t=0,r=0;e:while(1){e=s[72]|0;t=e+2|0;s[72]=t;if(e>>>0>=(s[73]|0)>>>0){r=7;break}switch(n[t>>1]|0){case 13:case 10:{r=7;break e}case 47:break e;case 91:{y()|0;break}case 92:{s[72]=e+4;break}default:{}}}if((r|0)==7)K();return}function v(e){e=e|0;switch(n[e>>1]|0){case 62:{e=(n[e+-2>>1]|0)==61;break}case 41:case 59:{e=1;break}case 104:{e=L(e+-2|0,210,4)|0;break}case 121:{e=L(e+-2|0,218,6)|0;break}case 101:{e=L(e+-2|0,230,3)|0;break}default:e=0}return e|0}function $(e){e=e|0;var t=0,r=0,i=0,a=0,o=0;a=(s[72]|0)+2|0;s[72]=a;r=s[73]|0;while(1){t=a+2|0;if(a>>>0>=r>>>0)break;i=n[t>>1]|0;if(!e?Y(i)|0:0)break;if(i<<16>>16==42?(n[a+4>>1]|0)==47:0){o=8;break}a=t}if((o|0)==8){s[72]=t;t=a+4|0}s[72]=t;return}function A(e,t,r){e=e|0;t=t|0;r=r|0;var n=0,s=0;e:do{if(!r)e=0;else{while(1){n=i[e>>0]|0;s=i[t>>0]|0;if(n<<24>>24!=s<<24>>24)break;r=r+-1|0;if(!r){e=0;break e}else{e=e+1|0;t=t+1|0}}e=(n&255)-(s&255)|0}}while(0);return e|0}function O(e){e=e|0;e:do{switch(e<<16>>16){case 38:case 37:case 33:{e=1;break}default:if((e&-8)<<16>>16==40|(e+-58&65535)<6)e=1;else{switch(e<<16>>16){case 91:case 93:case 94:{e=1;break e}default:{}}e=(e+-123&65535)<4}}}while(0);return e|0}function x(e){e=e|0;e:do{switch(e<<16>>16){case 38:case 37:case 33:break;default:if(!((e+-58&65535)<6|(e+-40&65535)<7&e<<16>>16!=41)){switch(e<<16>>16){case 91:case 94:break e;default:{}}return e<<16>>16!=125&(e+-123&65535)<4|0}}}while(0);return 1}function S(e){e=e|0;var t=0;t=n[e>>1]|0;e:do{if((t+-9&65535)>=5){switch(t<<16>>16){case 160:case 32:{t=1;break e}default:{}}if(O(t)|0)return t<<16>>16!=46|(T(e)|0)|0;else t=0}else t=1}while(0);return t|0}function E(e){e=e|0;var t=0,r=0,i=0,a=0;r=c;c=c+16|0;i=r;s[i>>2]=0;s[66]=e;t=s[3]|0;a=t+(e<<1)|0;e=a+2|0;n[a>>1]=0;s[i>>2]=e;s[67]=e;s[59]=0;s[63]=0;s[61]=0;s[60]=0;s[65]=0;s[62]=0;c=r;return t|0}function j(e,t,r,n){e=e|0;t=t|0;r=r|0;n=n|0;var a=0,o=0;a=s[67]|0;s[67]=a+20;o=s[65]|0;s[((o|0)==0?240:o+16|0)>>2]=a;s[65]=a;s[a>>2]=e;s[a+4>>2]=t;s[a+8>>2]=r;s[a+12>>2]=n;s[a+16>>2]=0;i[803]=1;return}function L(e,t,r){e=e|0;t=t|0;r=r|0;var i=0,n=0;i=e+(0-r<<1)|0;n=i+2|0;e=s[3]|0;if(n>>>0>=e>>>0?(A(n,t,r<<1)|0)==0:0)if((n|0)==(e|0))e=1;else e=S(i)|0;else e=0;return e|0}function M(e){e=e|0;switch(n[e>>1]|0){case 107:{e=L(e+-2|0,144,4)|0;break}case 101:{if((n[e+-2>>1]|0)==117)e=L(e+-4|0,116,6)|0;else e=0;break}default:e=0}return e|0}function C(e,t){e=e|0;t=t|0;var r=0;r=s[3]|0;if(r>>>0<=e>>>0?(n[e>>1]|0)==t<<16>>16:0)if((r|0)==(e|0))r=1;else r=I(n[e+-2>>1]|0)|0;else r=0;return r|0}function I(e){e=e|0;e:do{if((e+-9&65535)<5)e=1;else{switch(e<<16>>16){case 32:case 160:{e=1;break e}default:{}}e=e<<16>>16!=46&(O(e)|0)}}while(0);return e|0}function U(){var e=0,t=0,r=0;e=s[73]|0;r=s[72]|0;e:while(1){t=r+2|0;if(r>>>0>=e>>>0)break;switch(n[t>>1]|0){case 13:case 10:break e;default:r=t}}s[72]=t;return}function P(e){e=e|0;while(1){if(G(e)|0)break;if(O(e)|0)break;e=(s[72]|0)+2|0;s[72]=e;e=n[e>>1]|0;if(!(e<<16>>16)){e=0;break}}return e|0}function N(){var e=0;e=s[(s[61]|0)+20>>2]|0;switch(e|0){case 1:{e=-1;break}case 2:{e=-2;break}default:e=e-(s[3]|0)>>1}return e|0}function _(e){e=e|0;if(!(L(e,190,5)|0)?!(L(e,200,3)|0):0)e=L(e,206,2)|0;else e=1;return e|0}function R(e){e=e|0;switch(e<<16>>16){case 160:case 32:case 12:case 11:case 9:{e=1;break}default:e=0}return e|0}function T(e){e=e|0;if((n[e>>1]|0)==46?(n[e+-2>>1]|0)==46:0)e=(n[e+-4>>1]|0)==46;else e=0;return e|0}function q(e){e=e|0;if((s[3]|0)==(e|0))e=1;else e=S(e+-2|0)|0;return e|0}function W(){var e=0;e=s[(s[62]|0)+12>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function J(){var e=0;e=s[(s[61]|0)+12>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function H(){var e=0;e=s[(s[62]|0)+8>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function z(){var e=0;e=s[(s[61]|0)+16>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function D(){var e=0;e=s[(s[61]|0)+4>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function B(){var e=0;e=s[61]|0;e=s[((e|0)==0?236:e+32|0)>>2]|0;s[61]=e;return(e|0)!=0|0}function F(){var e=0;e=s[62]|0;e=s[((e|0)==0?240:e+16|0)>>2]|0;s[62]=e;return(e|0)!=0|0}function K(){i[802]=1;s[68]=(s[72]|0)-(s[3]|0)>>1;s[72]=(s[73]|0)+2;return}function G(e){e=e|0;return(e|128)<<16>>16==160|(e+-9&65535)<5|0}function Q(e){e=e|0;return e<<16>>16==39|e<<16>>16==34|0}function V(){return(s[(s[61]|0)+8>>2]|0)-(s[3]|0)>>1|0}function X(){return(s[(s[62]|0)+4>>2]|0)-(s[3]|0)>>1|0}function Y(e){e=e|0;return e<<16>>16==13|e<<16>>16==10|0}function Z(){return(s[s[61]>>2]|0)-(s[3]|0)>>1|0}function ee(){return(s[s[62]>>2]|0)-(s[3]|0)>>1|0}function te(){return a[(s[61]|0)+24>>0]|0|0}function re(e){e=e|0;s[3]=e;return}function ie(){return s[(s[61]|0)+28>>2]|0}function ne(){return(i[803]|0)!=0|0}function se(){return(i[804]|0)!=0|0}function ae(){return s[68]|0}function oe(e){e=e|0;c=e+992+15&-16;return 992}return{su:oe,ai:z,e:ae,ee:X,ele:W,els:H,es:ee,f:se,id:N,ie:D,ip:te,is:Z,it:ie,ms:ne,p:l,re:F,ri:B,sa:E,se:J,ses:re,ss:V}}("undefined"!=typeof self?self:e,0,Z),ee=Y.su(re-(2<<17))}const n=se.length+1;Y.ses(ee),Y.sa(n-1),ie(se,new Uint16Array(Z,ee,n)),Y.p()||(oe=Y.e(),de());const s=[],a=[];for(;Y.ri();){const e=Y.is(),t=Y.ie(),r=Y.ai(),i=Y.id(),n=Y.ss(),a=Y.se(),o=Y.it();let c;Y.ip()&&(c=ce(-1===i?e:e+1,se.charCodeAt(-1===i?e-1:e))),s.push({t:o,n:c,s:e,e:t,ss:n,se:a,d:i,a:r})}for(;Y.re();){const e=Y.es(),t=Y.ee(),r=Y.els(),i=Y.ele(),n=se.charCodeAt(e),s=r>=0?se.charCodeAt(r):-1;a.push({s:e,e:t,ls:r,le:i,n:34===n||39===n?ce(e+1,n):se.slice(e,t),ln:r<0?void 0:34===s||39===s?ce(r+1,s):se.slice(r,i)})}return[s,a,!!Y.f(),!!Y.ms()]}(a.S,a.u)}catch(e){L(e),a.a=[[],[],!1]}return a})(),a)}const Ke=e=>Error(`${e} feature must be enabled via <script type="esms-options">{ "polyfillEnable": ["${e}"] }<\/script>`);function Ge(e,t){e.L||(e.L=e.f.then((async()=>{let r=t;e.d=(await Promise.all(e.a[0].map((async({n:i,d:n,t:s})=>{const a=s>=4;if(a&&!$)throw Ke("source-phase");if((n>=0&&!J||-2===n&&!G||a&&!V)&&(e.n=!0),-1!==n||!i)return;const{r:o,b:c}=await be(i,e.r||e.u);if(!c||K&&!C||(e.n=!0),-1!==n)return;if(E&&E(o)&&!a)return{l:{b:o},s:!1};r.integrity&&(r=Object.assign({},r,{integrity:void 0}));const l={l:Fe(o,r,e.r,null),s:a};return l.s||Ge(l.l,t),l})))).filter((e=>e))})))}function Qe(e=!1){if(!e)for(const e of document.querySelectorAll(s?"link[rel=modulepreload-shim]":"link[rel=modulepreload]"))lt(e);for(const e of document.querySelectorAll(s?"script[type=importmap-shim]":"script[type=importmap]"))at(e);if(!e)for(const e of document.querySelectorAll(s?"script[type=module-shim]":"script[type=module]"))ot(e)}function Ve(e){const t={};return e.integrity&&(t.integrity=e.integrity),e.referrerPolicy&&(t.referrerPolicy=e.referrerPolicy),e.fetchPriority&&(t.priority=e.fetchPriority),"use-credentials"===e.crossOrigin?t.credentials="include":"anonymous"===e.crossOrigin?t.credentials="omit":t.credentials="same-origin",t}let Xe=Promise.resolve(),Ye=1;function Ze(){0!=--Ye||b||!s&&Oe||document.dispatchEvent(new Event("DOMContentLoaded"))}let et=1;function tt(){0!=--et||!m||b||!s&&Oe||window.dispatchEvent(new Event("load"))}t&&(document.addEventListener("DOMContentLoaded",(async()=>{await Se,Ze()})),window.addEventListener("load",(async()=>{await Se,tt()})));let rt=1;function it(){0!=--rt||b||!s&&Oe||document.dispatchEvent(new Event("readystatechange"))}const nt=e=>e.nextSibling||e.parentNode&&nt(e.parentNode),st=(e,t)=>e.ep||!t&&(!e.src&&!e.innerHTML||!nt(e))||null!==e.getAttribute("noshim")||!(e.ep=!0);function at(e,t=rt>0){if(!st(e,t)){if(e.src){if(!s)return;C=!0}Me&&(je=je.then((async()=>{xe=_(e.src?await(await De(e.src,Ve(e))).json():JSON.parse(e.innerHTML),e.src||x,xe)})).catch((t=>{console.log(t),t instanceof SyntaxError&&(t=new Error(`Unable to parse import map ${t.message} in: ${e.src||e.innerHTML}`)),L(t)})),s||(Me=!1))}}function ot(e,t=rt>0){if(st(e,t))return;const r=null===e.getAttribute("async")&&rt>0,i=Ye>0,n=et>0;n&&et++,r&&rt++,i&&Ye++;const a=Ce(e.src||x,Ve(e),!e.src&&e.innerHTML,!s,r&&Xe).catch(L);b||a.then((()=>e.dispatchEvent(new Event("load")))),r&&(Xe=a.then(it)),i&&a.then(Ze),n&&a.then(tt)}const ct={};function lt(e){e.ep||(e.ep=!0,ct[e.href]||(ct[e.href]=Be(e.href,Ve(e))))}}();const r=window.parent,i=new class{sendMessage;seqNum=0;methods={};pending={};initPromise;resolveInit;initialized=!1;constructor(e){this.sendMessage=e,this.resolveInit=()=>{},this.initPromise=new Promise((e=>{this.resolveInit=e}))}register(e){if(this.initialized)throw new Error("RPC methods already registered");this.methods={...e};const t=setInterval((()=>{this.sendMessage({kind:"initialize"})}),50),r=this.resolveInit;this.resolveInit=()=>{clearInterval(t),r()},this.initialized=!0}messageReceived(e){if(e.kind)return void("initialize"===e.kind?this.sendMessage({kind:"initialized"}):"initialized"===e.kind&&this.initialized&&this.resolveInit());const{seqNum:r,name:i,args:n,result:s,exception:a}=e;void 0!==r&&(void 0===i?(void 0!==a?this.pending[r].reject(a):this.pending[r].resolve(s),delete this.pending[r]):this.initPromise.then((async()=>{try{const e=this.methods[i];if(void 0===e)throw new Error(`unknown RPC method ${i}`);this.sendMessage({seqNum:r,result:await e(...n)})}catch(e){this.sendMessage({seqNum:r,exception:t(e)})}})))}async invoke(e,t){await this.initPromise,this.seqNum+=1;const r=this.seqNum;return new Promise(((i,n)=>{this.pending[r]={resolve:i,reject:n},this.sendMessage({seqNum:r,name:e,args:t})}))}getApi(){return new Proxy({},{get:(e,t)=>(...e)=>this.invoke(t,e)})}}((e=>r.postMessage(JSON.stringify(e))));window.addEventListener("message",(e=>{i.messageReceived(JSON.parse(e.data))}));const n=i.getApi(),s=document.querySelector("#react_root");if(s){const e={"@leanprover/infoview":"/infoview/index.production.min.js",react:"/infoview/react.production.min.js","react/jsx-runtime":"/infoview/react-jsx-runtime.production.min.js","react-dom":"/infoview/react-dom.production.min.js"};console.log(e),function(e,t){importShim.addImportMap({imports:e}),importShim("@leanprover/infoview").then((e=>{return r=e.renderInfoview(...t),i.register(r);var r})).catch((e=>console.error(`Error importing '@leanprover/infoview': ${JSON.stringify(e)}`)))}(e,[n,s])}})();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.20",
+  "version": "1.0.22",
   "description": "Monaco Editor support for the Lean 4 theorem prover.",
   "keywords": [
     "lean",
@@ -40,23 +40,17 @@
     "test": "(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress"
   },
   "dependencies": {
-    "@leanprover/infoview": "=0.7.0",
+    "@leanprover/infoview": "^0.7.0",
     "@leanprover/infoview-api": "^0.4.0",
     "@leanprover/unicode-input": "^0.1.0",
-    "axios": "^1.7.2",
-    "cheerio": "^1.0.0-rc.12",
     "concurrently": "^8.2.2",
+    "import-meta-resolve": "^4.1.0",
     "memfs": "^4.9.3",
-    "mobx": "5.15.7",
     "monaco-editor-wrapper": "^5.3.1",
-    "react-dom": "^18.3.1",
-    "semver": "^7.6.2",
-    "zod": "^3.23.8"
+    "semver": "^7.6.2"
   },
   "devDependencies": {
-    "@chialab/esbuild-plugin-meta-url": "^0.18.2",
-    "@codingame/esbuild-import-meta-url-plugin": "https://gitpkg.vercel.app/abentkamp/monacotest2/esbuild-import-meta-url-plugin?ec9666e",
-    "@types/node": "^20.14.2",
+    "@types/node": "^22.1.0",
     "@types/semver": "^7.5.8",
     "@types/vscode": "^1.89.0",
     "copyfiles": "^2.4.1",