lean4monaco 1.1.4 → 1.1.6

package/README.md

@@ -229,7 +229,7 @@ If there are merge conflicts, resolve them.
 
 Make sure that the `@leanprover` packages (and possibly others?)
 listed under `dependencies` in `package.json` point to the same versions as the packages
-listed under `dependencies` in `src/vscode-lean4/package.json`. 
+listed under `dependencies` in `src/vscode-lean4/package.json`.
 
 Verify that the everything still works:
 ```
@@ -269,6 +269,7 @@ npm test
 
 Publish:
 ```
+npm version patch
 npm publish
 ```
 

package/dist/leanmonaco.d.ts

@@ -7,6 +7,7 @@ import { LeanTaskGutter } from './vscode-lean4/vscode-lean4/src/taskgutter';
 import { IFrameInfoWebviewFactory } from './infowebview';
 import { IExtensionManifest } from 'vscode/extensions';
 import { DisposableStore } from 'vscode/monaco';
+import type { LanguageClientOptions } from 'vscode-languageclient/node';
 /** Options for LeanMonaco.
  *
  * The URL is where the server listens. You might want to use something like
@@ -24,6 +25,8 @@ export type LeanMonacoOptions = {
     vscode?: {
         [id: string]: any;
     };
+    /** Options passed to the Lean language client */
+    clientOptions?: LanguageClientOptions;
 };
 export declare class LeanMonaco {
     private ready;

package/dist/leanmonaco.js

@@ -107,9 +107,9 @@ export class LeanMonaco {
             installChanged: () => { return { dispose: () => { } }; },
             testLeanVersion: () => { return "lean4/stable"; },
             getElanDefaultToolchain: () => { return "lean4/stable"; }
-        }, { appendLine: () => { }
-        }, setupMonacoClient(this.getWebSocketOptions(options)) // TODO: `as any` hack
-        );
+        }, {
+            appendLine: () => { }
+        }, setupMonacoClient(this.getWebSocketOptions(options), options.clientOptions));
         const asAbsolutePath = (path) => {
             switch (path) {
                 // url.pathToFileURL

package/dist/monacoleanclient.d.ts

@@ -1,3 +1,3 @@
 import { WorkerConfigDirect, WebSocketConfigOptions, WebSocketConfigOptionsUrl, WorkerConfigOptions } from 'monaco-editor-wrapper';
 import { LanguageClientOptions } from 'vscode-languageclient/node';
-export declare const setupMonacoClient: (options: WebSocketConfigOptions | WebSocketConfigOptionsUrl | WorkerConfigOptions | WorkerConfigDirect) => (clientOptions: LanguageClientOptions) => Promise<import("monaco-languageclient").MonacoLanguageClient>;
+export declare const setupMonacoClient: (options: WebSocketConfigOptions | WebSocketConfigOptionsUrl | WorkerConfigOptions | WorkerConfigDirect, moreClientOptions?: LanguageClientOptions) => (clientOptions: LanguageClientOptions) => Promise<import("monaco-languageclient").MonacoLanguageClient>;

package/dist/monacoleanclient.js

@@ -1,6 +1,7 @@
 import { LanguageClientWrapper } from 'monaco-editor-wrapper';
 import { displayNotification } from './vscode-lean4/vscode-lean4/src/utils/notifs';
-export const setupMonacoClient = (options) => {
+import merge from 'lodash/merge';
+export const setupMonacoClient = (options, moreClientOptions) => {
     return async (clientOptions) => {
         const languageClientWrapper = new LanguageClientWrapper();
         await languageClientWrapper.init({
@@ -8,7 +9,7 @@ export const setupMonacoClient = (options) => {
                 languageId: 'lean4',
                 options,
                 clientOptions: {
-                    ...clientOptions,
+                    ...merge({}, clientOptions, moreClientOptions),
                     connectionOptions: {
                         ...clientOptions.connectionOptions,
                         messageStrategy: {

package/dist/webview/webview.js

@@ -1 +1 @@
-(()=>{"use strict";window.esmsInitOptions={shimMode:!0};var e,t="undefined"!=typeof globalThis?globalThis:"undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof self?self:{};function r(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}}e||(e=1,function(){const e="undefined"!=typeof document,r=()=>{},i=e?document.querySelector("script[type=esms-options]"):void 0,n=i?JSON.parse(i.innerHTML):{};Object.assign(n,self.esmsInitOptions||{});let s=!e||!!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&&e){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"),O=n.onpolyfill?w(n.onpolyfill):()=>{console.log("%c^^ Module error above is polyfilled and can be ignored ^^","font-weight:900;color:#391")},A=!navigator.userAgentData&&!!navigator.userAgent.match(/Edge\/\d+\.\d+/),S=e?document.baseURI:`${location.protocol}//${location.host}${location.pathname.includes("/")?location.pathname.slice(0,location.pathname.lastIndexOf("/")+1):location.pathname}`,x=(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,S).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=!e&&(0,eval)("u=>import(u)");const z=e&&new Promise((e=>{const t=Object.assign(document.createElement("script"),{src:x("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:x(`import*as m from'${t}';self._esmsi=m`)});function a(a){document.head.removeChild(s),self._esmsi?(i(self._esmsi,S),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=e&&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 e?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(x("import.meta")).then((()=>G=!0),r),y&&H(x(`import"${x("","text/css")}"with{type:"css"}`)).then((()=>B=!0),r),g&&H(x(`import"${x("{}","text/json")}"with{type:"json"}`)).then((()=>D=!0),r),v&&H(x(`import"${x(new Uint8Array(X),"application/wasm")}"`)).then((()=>Q=!0),r),v&&$&&H(x(`import source x from"${x(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}};let ne,se,ae;function oe(e,t){ae=e;let r="",i=ae;for(;;){ae>=ne.length&&ue();const e=ne.charCodeAt(ae);if(e===t)break;92===e?(r+=ne.slice(i,ae),r+=ce(),i=ae):(8232===e||8233===e||fe(e)&&ue(),++ae)}return r+=ne.slice(i,ae++),r}function ce(){let e=ne.charCodeAt(++ae);switch(++ae,e){case 110:return"\n";case 114:return"\r";case 120:return String.fromCharCode(le(2));case 117:return function(){let e;return 123===ne.charCodeAt(ae)?(++ae,e=le(ne.indexOf("}",ae)-ae),++ae,e>1114111&&ue()):e=le(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===ne.charCodeAt(ae)&&++ae;case 10:return"";case 56:case 57:ue();default:if(e>=48&&e<=55){let t=ne.substr(ae-1,3).match(/^[0-7]+/)[0],r=parseInt(t,8);return r>255&&(t=t.slice(0,-1),r=parseInt(t,8)),ae+=t.length-1,e=ne.charCodeAt(ae),"0"===t&&56!==e&&57!==e||ue(),String.fromCharCode(r)}return fe(e)?"":String.fromCharCode(e)}}function le(e){const t=ae;let r=0,i=0;for(let t=0;t<e;++t,++ae){let e,n=ne.charCodeAt(ae);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||ue(),i=n}return 95!==i&&ae-t===e||ue(),r}function fe(e){return 13===e||10===e}function ue(){throw Object.assign(Error(`Parse error ${se}:${ne.slice(0,ae).split("\n").length}:${ae-ne.lastIndexOf("\n",ae-1)}`),{idx:ae})}async function de(e,t){const r=N(e,t)||U(e);return{r:q(Ae,r||e,t)||we(e,t),b:!r&&!U(e)}}const pe=o?async(e,t)=>{let r=o(e,t,he);return r&&r.then&&(r=await r),r?{r,b:!N(e,t)&&!U(e)}:de(e,t)}:de;async function be(t,...r){let i=r[r.length-1];return"string"!=typeof i&&(i=S),await Se,a&&await a(t,"string"!=typeof r[1]?r[1]:{},i),(Le||s||!Oe)&&(e&&Ge(!0),s||(Le=!1)),await Ee,(await pe(t,i)).r}async function me(...e){return Me(await be(...e),{credentials:"same-origin"})}function he(e,t){return q(Ae,N(e,t)||e,t)||we(e,t)}function we(e,t){throw Error(`Unable to resolve specifier '${e}'${M(t)}`)}$&&(me.source=async function(...e){const t=Be(await be(...e),{credentials:"same-origin"},null,null);return xe=void 0,je&&!s&&t.n&&nativelyLoaded&&(O(),je=!1),await t.f,me._s[t.r]}),self.importShim=me;const ke=(e,t=S)=>{t=`${t}`;const r=o&&o(e,t,he);return r&&!r.then?r:he(e,t)};function ye(e,t=this.url){return ke(e,t)}me.resolve=ke,me.getImportMap=()=>JSON.parse(JSON.stringify(Ae)),me.addImportMap=e=>{if(!s)throw new Error("Unsupported in polyfill mode.");Ae=_(e,S,Ae)};const ge=me._r={},ve=me._s={};async function $e(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:$e(e,t)}))),e.n||(e.n=e.d.some((e=>e.l.n)))}let Oe,Ae={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 t=Symbol(),r=e=>Object.defineProperty(e,t,{writable:!1,configurable:!1,value:"WebAssembly.Module"});class i{get[Symbol.toStringTag](){if(this[t])return this[t];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(e){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")&&at(e,!0),e.type===(s?"importmap-shim":"importmap")&&st(e,!0)):"LINK"===e.tagName&&e.rel===(s?"modulepreload-shim":"modulepreload")&&ct(e)})).observe(document,{childList:!0,subtree:!0}),Ge(),"complete"===document.readyState)rt();else{async function f(){await Se,Ge(),"complete"===document.readyState&&(rt(),document.removeEventListener("readystatechange",f))}document.addEventListener("readystatechange",f)}}}));let xe,Ee=Se,je=!0,Le=!0;async function Me(e,t,r,i,n){if(s||(Le=!1),await Se,await Ee,a&&await a(e,"string"!=typeof t?t:{},""),!s&&Oe)return i?null:(await n,H(r?x(r):e,{errUrl:e||r}));const o=Be(e,t,null,r);Ke(o,t);const c={};if(await $e(o,c),xe=void 0,Ue(o,c),await n,r&&!s&&!o.n){if(i)return;return p&&Ce(Object.keys(c)),await H(x(r),{errUrl:r})}je&&!s&&o.n&&i&&(O(),je=!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&&Ce(Object.keys(c)),l}function Ce(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=ge[t];e&&URL.revokeObjectURL(e.b)}t++,i(n)}}))}function Ie(e){return`'${e.replace(/'/g,"\\'")}'`}function Ue(e,t){if(e.b||!t[e.u])return;t[e.u]=0;for(const{l:r,s:i}of e.d)i||Ue(r,t);const[r,i]=e.a,n=e.S;let s=A&&xe?`import '${xe}';`:"",a=0,o=0,c=[];function f(t){for(;c[c.length-1]<t;){const t=c.pop();s+=`${n.slice(a,t)}, ${Ie(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)}*/'${x(`export default importShim._s[${Ie(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=x(`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:ye},l(e.m,e.u),f(t),s+=`importShim._r[${Ie(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(Pe),p=n.lastIndexOf(Ne);d<a&&(d=-1),p<a&&(p=-1),-1!==d&&(-1===p||p>d)&&u(Pe,d),-1!==p&&(u(Ne,p),-1!==d&&d>p&&u(Pe,d)),f(n.length),-1===d&&(s+=Pe+e.r),e.b=xe=x(s),e.S=void 0}const Pe="\n//# sourceURL=",Ne="\n//# sourceMappingURL=",_e=/^(text|application)\/(x-)?javascript(;|$)/,Re=/^(application)\/wasm(;|$)/,Te=/^(text|application)\/json(;|$)/,qe=/^(text|application)\/css(;|$)/,We=/url\(\s*(?:(["'])((?:\\.|[^\n\\"'])+)\1|((?:\\.|[^\s,"'()\\])+))\s*\)/g;let Je=[],He=0;async function ze(e,t,r){if(h&&!t.integrity)throw Error(`No integrity for ${e}${M(r)}.`);const i=function(){if(++He>100)return new Promise((e=>Je.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{He--,Je.length&&Je.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 De(e,t,r){const i=Ae.integrity[e],n=await ze(e,i&&!t.integrity?Object.assign({},t,{integrity:i}):t,r),s=n.url,a=n.headers.get("content-type");if(_e.test(a))return{r:s,s:await n.text(),sp:null,t:"js"};if(Re.test(a)){const e=await(ve[s]||(ve[s]=WebAssembly.compileStreaming(n)));ve[s]=e;let t="",r=0,i="";for(const n of WebAssembly.Module.imports(e)){const e=Ie(n.module);t+=`import * as impt${r} from ${e};\n`,i+=`${e}:impt${r++},`}r=0,t+=`const instance = await WebAssembly.instantiate(importShim._s[${Ie(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(Te.test(a))return{r:s,s:`export default ${await n.text()}`,sp:null,t:"json"};if(qe.test(a))return{r:s,s:`var s=new CSSStyleSheet();s.replaceSync(${JSON.stringify((await n.text()).replace(We,((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 Be(e,r,i,n){if(n&&ge[e]){let t=0;for(;ge[e+ ++t];);e+=t}let a=ge[e];return a||(ge[e]=a={u:e,r:n?e: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 t;if(({r:a.r,s:a.S,t}=await(ot[e]||De(e,r,i))),t&&!s){if("css"===t&&!y||"json"===t&&!g||"wasm"===t&&!v)throw Fe(`${t}-modules`);("css"===t&&!B||"json"===t&&!D||"wasm"===t&&!Q)&&(a.n=!0)}}try{a.a=function(e,r="@"){ne=e,se=r;const i=2*ne.length+(2<<18);if(i>re||!Y){for(;i>re;)re*=2;Z=new ArrayBuffer(re),ie("xportmportlassetaourceromsyncunctionssertvoyiedelecontininstantybreareturdebuggeawaithrwhileforifcatcfinallels",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)?(O(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?(O(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)?(O(e+4|0,16,10)|0)==0:0){f();l=85}else l=85;break}case 105:{if(q(t)|0?(O(e+4|0,26,10)|0)==0:0){u();l=85}else l=85;break}case 99:{if((q(t)|0?(O(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(!(S(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)?!(A(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((O(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(((O(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,(O(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((O(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?(O(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((O(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(O(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(O(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?O(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(O(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 O(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 A(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 S(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 x(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(A(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?(O(n,t,r<<1)|0)==0:0)if((n|0)==(e|0))e=1;else e=x(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&(A(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(A(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=x(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:t,0,Z),ee=Y.su(re-(2<<17))}const n=ne.length+1;Y.ses(ee),Y.sa(n-1),ie(ne,new Uint16Array(Z,ee,n)),Y.p()||(ae=Y.e(),ue());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=oe(-1===i?e:e+1,ne.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=ne.charCodeAt(e),s=r>=0?ne.charCodeAt(r):-1;a.push({s:e,e:t,ls:r,le:i,n:34===n||39===n?oe(e+1,n):ne.slice(e,t),ln:r<0?void 0:34===s||39===s?oe(r+1,s):ne.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 Fe=e=>Error(`${e} feature must be enabled via <script type="esms-options">{ "polyfillEnable": ["${e}"] }<\/script>`);function Ke(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 Fe("source-phase");if((n>=0&&!J||-2===n&&!G||a&&!V)&&(e.n=!0),-1!==n||!i)return;const{r:o,b:c}=await pe(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:Be(o,r,e.r,null),s:a};return l.s||Ke(l.l,t),l})))).filter((e=>e))})))}function Ge(e=!1){if(!e)for(const e of document.querySelectorAll(s?"link[rel=modulepreload-shim]":"link[rel=modulepreload]"))ct(e);for(const e of document.querySelectorAll(s?"script[type=importmap-shim]":"script[type=importmap]"))st(e);if(!e)for(const e of document.querySelectorAll(s?"script[type=module-shim]":"script[type=module]"))at(e)}function Qe(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 Ve=Promise.resolve(),Xe=1;function Ye(){0!=--Xe||b||!s&&Oe||document.dispatchEvent(new Event("DOMContentLoaded"))}let Ze=1;function et(){0!=--Ze||!m||b||!s&&Oe||window.dispatchEvent(new Event("load"))}e&&(document.addEventListener("DOMContentLoaded",(async()=>{await Se,Ye()})),window.addEventListener("load",(async()=>{await Se,et()})));let tt=1;function rt(){0!=--tt||b||!s&&Oe||document.dispatchEvent(new Event("readystatechange"))}const it=e=>e.nextSibling||e.parentNode&&it(e.parentNode),nt=(e,t)=>e.ep||!t&&(!e.src&&!e.innerHTML||!it(e))||null!==e.getAttribute("noshim")||!(e.ep=!0);function st(e,t=tt>0){if(!nt(e,t)){if(e.src){if(!s)return;C=!0}Le&&(Ee=Ee.then((async()=>{Ae=_(e.src?await(await ze(e.src,Qe(e))).json():JSON.parse(e.innerHTML),e.src||S,Ae)})).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||(Le=!1))}}function at(e,t=tt>0){if(nt(e,t))return;const r=null===e.getAttribute("async")&&tt>0,i=Xe>0,n=Ze>0;n&&Ze++,r&&tt++,i&&Xe++;const a=Me(e.src||S,Qe(e),!e.src&&e.innerHTML,!s,r&&Ve).catch(L);b||a.then((()=>e.dispatchEvent(new Event("load")))),r&&(Ve=a.then(rt)),i&&a.then(Ye),n&&a.then(et)}const ot={};function ct(e){e.ep||(e.ep=!0,ot[e.href]||(ot[e.href]=De(e.href,Qe(e))))}}());const i=window.parent,n=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:t,name:i,args:n,result:s,exception:a}=e;void 0!==t&&(void 0===i?(void 0!==a?this.pending[t].reject(a):this.pending[t].resolve(s),delete this.pending[t]):this.initPromise.then((async()=>{try{const e=this.methods[i];if(void 0===e)throw new Error(`unknown RPC method ${i}`);this.sendMessage({seqNum:t,result:await e(...n)})}catch(e){this.sendMessage({seqNum:t,exception:r(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=>i.postMessage(JSON.stringify(e))));window.addEventListener("message",(e=>{try{n.messageReceived(JSON.parse(e.data))}catch(t){console.warn("TODO: catch JSON.parse failure: ",t),console.debug("TODO: data which is not JSON: ",e.data)}}));const s=n.getApi(),a=document.querySelector("#react_root");if(a){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),n.register(r);var r})).catch((e=>console.error(`Error importing '@leanprover/infoview': ${JSON.stringify(e)}`)))}(e,[s,a])}})();
+(()=>{"use strict";var e={};e.g=function(){if("object"==typeof globalThis)return globalThis;try{return this||new Function("return this")()}catch(e){if("object"==typeof window)return window}}(),window.esmsInitOptions={shimMode:!0};var t,r="undefined"!=typeof globalThis?globalThis:"undefined"!=typeof window?window:void 0!==e.g?e.g:"undefined"!=typeof self?self:{};function i(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}}t||(t=1,function(){const e="undefined"!=typeof document,t=()=>{},i=e?document.querySelector("script[type=esms-options]"):void 0,n=i?JSON.parse(i.innerHTML):{};Object.assign(n,self.esmsInitOptions||{});let s=!e||!!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):t,f=n.mapOverrides;let u=n.nonce;if(!u&&e){const e=document.querySelector("script[nonce]");e&&(u=e.nonce||e.getAttribute("nonce"))}const d=w(n.onerror||t),{revokeBlobURLs:p,noLoadEventRetriggers:b,globalLoadEventRetrigger:h,enforceIntegrity:m}=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"),O=n.onpolyfill?w(n.onpolyfill):()=>{console.log("%c^^ Module error above is polyfilled and can be ignored ^^","font-weight:900;color:#391")},A=!navigator.userAgentData&&!!navigator.userAgent.match(/Edge\/\d+\.\d+/),S=e?document.baseURI:`${location.protocol}//${location.host}${location.pathname.includes("/")?location.pathname.slice(0,location.pathname.lastIndexOf("/")+1):location.pathname}`,x=(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,S).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=!e&&(0,eval)("u=>import(u)");const z=e&&new Promise(e=>{const t=Object.assign(document.createElement("script"),{src:x("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:x(`import*as m from'${t}';self._esmsi=m`)});function a(a){document.head.removeChild(s),self._esmsi?(i(self._esmsi,S),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=e&&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 e?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(x("import.meta")).then(()=>G=!0,t),y&&H(x(`import"${x("","text/css")}"with{type:"css"}`)).then(()=>B=!0,t),g&&H(x(`import"${x("{}","text/json")}"with{type:"json"}`)).then(()=>D=!0,t),v&&H(x(`import"${x(new Uint8Array(X),"application/wasm")}"`)).then(()=>Q=!0,t),v&&$&&H(x(`import source x from"${x(new Uint8Array(X),"application/wasm")}"`)).then(()=>V=!0,t)])}),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}};let ne,se,ae;function oe(e,t){ae=e;let r="",i=ae;for(;;){ae>=ne.length&&ue();const e=ne.charCodeAt(ae);if(e===t)break;92===e?(r+=ne.slice(i,ae),r+=ce(),i=ae):(8232===e||8233===e||fe(e)&&ue(),++ae)}return r+=ne.slice(i,ae++),r}function ce(){let e=ne.charCodeAt(++ae);switch(++ae,e){case 110:return"\n";case 114:return"\r";case 120:return String.fromCharCode(le(2));case 117:return function(){let e;return 123===ne.charCodeAt(ae)?(++ae,e=le(ne.indexOf("}",ae)-ae),++ae,e>1114111&&ue()):e=le(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===ne.charCodeAt(ae)&&++ae;case 10:return"";case 56:case 57:ue();default:if(e>=48&&e<=55){let t=ne.substr(ae-1,3).match(/^[0-7]+/)[0],r=parseInt(t,8);return r>255&&(t=t.slice(0,-1),r=parseInt(t,8)),ae+=t.length-1,e=ne.charCodeAt(ae),"0"===t&&56!==e&&57!==e||ue(),String.fromCharCode(r)}return fe(e)?"":String.fromCharCode(e)}}function le(e){const t=ae;let r=0,i=0;for(let t=0;t<e;++t,++ae){let e,n=ne.charCodeAt(ae);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||ue(),i=n}return 95!==i&&ae-t===e||ue(),r}function fe(e){return 13===e||10===e}function ue(){throw Object.assign(Error(`Parse error ${se}:${ne.slice(0,ae).split("\n").length}:${ae-ne.lastIndexOf("\n",ae-1)}`),{idx:ae})}async function de(e,t){const r=N(e,t)||U(e);return{r:q(Ae,r||e,t)||we(e,t),b:!r&&!U(e)}}const pe=o?async(e,t)=>{let r=o(e,t,me);return r&&r.then&&(r=await r),r?{r,b:!N(e,t)&&!U(e)}:de(e,t)}:de;async function be(t,...r){let i=r[r.length-1];return"string"!=typeof i&&(i=S),await Se,a&&await a(t,"string"!=typeof r[1]?r[1]:{},i),(Le||s||!Oe)&&(e&&Ge(!0),s||(Le=!1)),await Ee,(await pe(t,i)).r}async function he(...e){return Me(await be(...e),{credentials:"same-origin"})}function me(e,t){return q(Ae,N(e,t)||e,t)||we(e,t)}function we(e,t){throw Error(`Unable to resolve specifier '${e}'${M(t)}`)}$&&(he.source=async function(...e){const t=Be(await be(...e),{credentials:"same-origin"},null,null);return xe=void 0,je&&!s&&t.n&&nativelyLoaded&&(O(),je=!1),await t.f,he._s[t.r]}),self.importShim=he;const ke=(e,t=S)=>{t=`${t}`;const r=o&&o(e,t,me);return r&&!r.then?r:me(e,t)};function ye(e,t=this.url){return ke(e,t)}he.resolve=ke,he.getImportMap=()=>JSON.parse(JSON.stringify(Ae)),he.addImportMap=e=>{if(!s)throw new Error("Unsupported in polyfill mode.");Ae=_(e,S,Ae)};const ge=he._r={},ve=he._s={};async function $e(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:$e(e,t)})),e.n||(e.n=e.d.some(e=>e.l.n))}let Oe,Ae={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 t=Symbol(),r=e=>Object.defineProperty(e,t,{writable:!1,configurable:!1,value:"WebAssembly.Module"});class i{get[Symbol.toStringTag](){if(this[t])return this[t];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(e){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")&&at(e,!0),e.type===(s?"importmap-shim":"importmap")&&st(e,!0)):"LINK"===e.tagName&&e.rel===(s?"modulepreload-shim":"modulepreload")&&ct(e)}).observe(document,{childList:!0,subtree:!0}),Ge(),"complete"===document.readyState)rt();else{async function f(){await Se,Ge(),"complete"===document.readyState&&(rt(),document.removeEventListener("readystatechange",f))}document.addEventListener("readystatechange",f)}}});let xe,Ee=Se,je=!0,Le=!0;async function Me(e,t,r,i,n){if(s||(Le=!1),await Se,await Ee,a&&await a(e,"string"!=typeof t?t:{},""),!s&&Oe)return i?null:(await n,H(r?x(r):e,{errUrl:e||r}));const o=Be(e,t,null,r);Ke(o,t);const c={};if(await $e(o,c),xe=void 0,Ue(o,c),await n,r&&!s&&!o.n){if(i)return;return p&&Ce(Object.keys(c)),await H(x(r),{errUrl:r})}je&&!s&&o.n&&i&&(O(),je=!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&&Ce(Object.keys(c)),l}function Ce(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=ge[t];e&&URL.revokeObjectURL(e.b)}t++,i(n)}})}function Ie(e){return`'${e.replace(/'/g,"\\'")}'`}function Ue(e,t){if(e.b||!t[e.u])return;t[e.u]=0;for(const{l:r,s:i}of e.d)i||Ue(r,t);const[r,i]=e.a,n=e.S;let s=A&&xe?`import '${xe}';`:"",a=0,o=0,c=[];function f(t){for(;c[c.length-1]<t;){const t=c.pop();s+=`${n.slice(a,t)}, ${Ie(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)}*/'${x(`export default importShim._s[${Ie(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=x(`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:ye},l(e.m,e.u),f(t),s+=`importShim._r[${Ie(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(Pe),p=n.lastIndexOf(Ne);d<a&&(d=-1),p<a&&(p=-1),-1!==d&&(-1===p||p>d)&&u(Pe,d),-1!==p&&(u(Ne,p),-1!==d&&d>p&&u(Pe,d)),f(n.length),-1===d&&(s+=Pe+e.r),e.b=xe=x(s),e.S=void 0}const Pe="\n//# sourceURL=",Ne="\n//# sourceMappingURL=",_e=/^(text|application)\/(x-)?javascript(;|$)/,Re=/^(application)\/wasm(;|$)/,Te=/^(text|application)\/json(;|$)/,qe=/^(text|application)\/css(;|$)/,We=/url\(\s*(?:(["'])((?:\\.|[^\n\\"'])+)\1|((?:\\.|[^\s,"'()\\])+))\s*\)/g;let Je=[],He=0;async function ze(e,t,r){if(m&&!t.integrity)throw Error(`No integrity for ${e}${M(r)}.`);const i=function(){if(++He>100)return new Promise(e=>Je.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{He--,Je.length&&Je.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 De(e,t,r){const i=Ae.integrity[e],n=await ze(e,i&&!t.integrity?Object.assign({},t,{integrity:i}):t,r),s=n.url,a=n.headers.get("content-type");if(_e.test(a))return{r:s,s:await n.text(),sp:null,t:"js"};if(Re.test(a)){const e=await(ve[s]||(ve[s]=WebAssembly.compileStreaming(n)));ve[s]=e;let t="",r=0,i="";for(const n of WebAssembly.Module.imports(e)){const e=Ie(n.module);t+=`import * as impt${r} from ${e};\n`,i+=`${e}:impt${r++},`}r=0,t+=`const instance = await WebAssembly.instantiate(importShim._s[${Ie(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(Te.test(a))return{r:s,s:`export default ${await n.text()}`,sp:null,t:"json"};if(qe.test(a))return{r:s,s:`var s=new CSSStyleSheet();s.replaceSync(${JSON.stringify((await n.text()).replace(We,(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 Be(e,t,i,n){if(n&&ge[e]){let t=0;for(;ge[e+ ++t];);e+=t}let a=ge[e];return a||(ge[e]=a={u:e,r:n?e: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 r;if(({r:a.r,s:a.S,t:r}=await(ot[e]||De(e,t,i))),r&&!s){if("css"===r&&!y||"json"===r&&!g||"wasm"===r&&!v)throw Fe(`${r}-modules`);("css"===r&&!B||"json"===r&&!D||"wasm"===r&&!Q)&&(a.n=!0)}}try{a.a=function(e,t="@"){ne=e,se=t;const i=2*ne.length+(2<<18);if(i>re||!Y){for(;i>re;)re*=2;Z=new ArrayBuffer(re),ie("xportmportlassetaourceromsyncunctionssertvoyiedelecontininstantybreareturdebuggeawaithrwhileforifcatcfinallels",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)?(O(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?(O(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)?(O(e+4|0,16,10)|0)==0:0){f();l=85}else l=85;break}case 105:{if(q(t)|0?(O(e+4|0,26,10)|0)==0:0){u();l=85}else l=85;break}case 99:{if((q(t)|0?(O(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(!(S(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,m=0,y=0,g=0;f=s[72]|0;u=s[65]|0;g=f+12|0;s[72]=g;r=h(1)|0;e=s[72]|0;if(!((e|0)==(g|0)?!(A(r)|0):0))y=3;e:do{if((y|0)==3){t:do{switch(r<<16>>16){case 123:{s[72]=e+2;e=h(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}h(1)|0;e=k(t,e)|0;if(e<<16>>16==44){s[72]=(s[72]|0)+2;e=h(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;h(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((h(1)|0)<<16>>16){case 97:{t=s[72]|0;if((O(t+2|0,66,8)|0)==0?(o=t+10|0,R(n[o>>1]|0)|0):0){s[72]=o;h(0)|0;y=22}break}case 102:{y=22;break}case 99:{t=s[72]|0;if(((O(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=h(1)|0,c<<16>>16!=123):0){m=c;y=31}break}default:{}}r:do{if((y|0)==22?(l=s[72]|0,(O(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=h(1)|0;if(t<<16>>16==42){s[72]=(s[72]|0)+2;t=h(1)|0}if(t<<16>>16!=40){m=t;y=31}}}while(0);if((y|0)==31?(d=s[72]|0,P(m)|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;h(0)|0;e=s[72]|0;y=35;break}case 102:{y=35;break}case 99:{if((O(e+2|0,36,8)|0)==0?(t=e+10|0,I(n[t>>1]|0)|0):0){s[72]=t;g=h(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=h(1)|0;if(e<<16>>16==42){s[72]=(s[72]|0)+2;e=h(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=h(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=h(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=h(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=h(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=(h(1)|0)<<16>>16==102;e=s[72]|0;if(g?(O(e+2|0,60,6)|0)==0:0){s[72]=e+8;p(f,h(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=h(1)|0;t=s[72]|0;e:do{if(a<<16>>16!=46)if(a<<16>>16==115&t>>>0>r>>>0)if((O(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((h(1)|0)<<16>>16){case 109:{e=s[72]|0;if(O(e+2|0,44,6)|0)break e;t=s[69]|0;if(!(T(t)|0)?(n[t>>1]|0)==46:0)break e;m(o,o,e+8|0,2);break e}case 115:{e=s[72]|0;if(O(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=h(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=h(1)|0;m(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((h(1)|0)<<16>>16){case 44:{s[72]=(s[72]|0)+2;h(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=h(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=(h(1)|0)<<16>>16==102;e=s[72]|0;if(l?O(e+2|0,60,6)|0:0){K();break e}s[72]=e+8;e=h(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){m(e,i,s[72]|0,1);if(r)s[(s[63]|0)+28>>2]=4;s[72]=(s[72]|0)+2;t=h(0)|0;r=t<<16>>16==97;if(r){i=s[72]|0;if(O(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((h(1)|0)<<16>>16!=123){s[72]=i;break}r=s[72]|0;t=r;e:while(1){s[72]=t+2;t=h(1)|0;switch(t<<16>>16){case 39:{w(39);s[72]=(s[72]|0)+2;t=h(1)|0;break}case 34:{w(34);s[72]=(s[72]|0)+2;t=h(1)|0;break}default:t=P(t)|0}if(t<<16>>16!=58){a=22;break}s[72]=(s[72]|0)+2;switch((h(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((h(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((h(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 h(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 m(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=h(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=h(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 O(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 A(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 S(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 x(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(A(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?(O(n,t,r<<1)|0)==0:0)if((n|0)==(e|0))e=1;else e=x(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&(A(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(A(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=x(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:r,0,Z),ee=Y.su(re-(2<<17))}const n=ne.length+1;Y.ses(ee),Y.sa(n-1),ie(ne,new Uint16Array(Z,ee,n)),Y.p()||(ae=Y.e(),ue());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=oe(-1===i?e:e+1,ne.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=ne.charCodeAt(e),s=r>=0?ne.charCodeAt(r):-1;a.push({s:e,e:t,ls:r,le:i,n:34===n||39===n?oe(e+1,n):ne.slice(e,t),ln:r<0?void 0:34===s||39===s?oe(r+1,s):ne.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 Fe=e=>Error(`${e} feature must be enabled via <script type="esms-options">{ "polyfillEnable": ["${e}"] }<\/script>`);function Ke(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 Fe("source-phase");if((n>=0&&!J||-2===n&&!G||a&&!V)&&(e.n=!0),-1!==n||!i)return;const{r:o,b:c}=await pe(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:Be(o,r,e.r,null),s:a};return l.s||Ke(l.l,t),l}))).filter(e=>e)}))}function Ge(e=!1){if(!e)for(const e of document.querySelectorAll(s?"link[rel=modulepreload-shim]":"link[rel=modulepreload]"))ct(e);for(const e of document.querySelectorAll(s?"script[type=importmap-shim]":"script[type=importmap]"))st(e);if(!e)for(const e of document.querySelectorAll(s?"script[type=module-shim]":"script[type=module]"))at(e)}function Qe(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 Ve=Promise.resolve(),Xe=1;function Ye(){0!=--Xe||b||!s&&Oe||document.dispatchEvent(new Event("DOMContentLoaded"))}let Ze=1;function et(){0!=--Ze||!h||b||!s&&Oe||window.dispatchEvent(new Event("load"))}e&&(document.addEventListener("DOMContentLoaded",async()=>{await Se,Ye()}),window.addEventListener("load",async()=>{await Se,et()}));let tt=1;function rt(){0!=--tt||b||!s&&Oe||document.dispatchEvent(new Event("readystatechange"))}const it=e=>e.nextSibling||e.parentNode&&it(e.parentNode),nt=(e,t)=>e.ep||!t&&(!e.src&&!e.innerHTML||!it(e))||null!==e.getAttribute("noshim")||!(e.ep=!0);function st(e,t=tt>0){if(!nt(e,t)){if(e.src){if(!s)return;C=!0}Le&&(Ee=Ee.then(async()=>{Ae=_(e.src?await(await ze(e.src,Qe(e))).json():JSON.parse(e.innerHTML),e.src||S,Ae)}).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||(Le=!1))}}function at(e,t=tt>0){if(nt(e,t))return;const r=null===e.getAttribute("async")&&tt>0,i=Xe>0,n=Ze>0;n&&Ze++,r&&tt++,i&&Xe++;const a=Me(e.src||S,Qe(e),!e.src&&e.innerHTML,!s,r&&Ve).catch(L);b||a.then(()=>e.dispatchEvent(new Event("load"))),r&&(Ve=a.then(rt)),i&&a.then(Ye),n&&a.then(et)}const ot={};function ct(e){e.ep||(e.ep=!0,ot[e.href]||(ot[e.href]=De(e.href,Qe(e))))}}());const n=window.parent,s=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:t,name:r,args:n,result:s,exception:a}=e;void 0!==t&&(void 0===r?(void 0!==a?this.pending[t].reject(a):this.pending[t].resolve(s),delete this.pending[t]):this.initPromise.then(async()=>{try{const e=this.methods[r];if(void 0===e)throw new Error(`unknown RPC method ${r}`);this.sendMessage({seqNum:t,result:await e(...n)})}catch(e){this.sendMessage({seqNum:t,exception:i(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=>n.postMessage(JSON.stringify(e)));window.addEventListener("message",e=>{try{s.messageReceived(JSON.parse(e.data))}catch(t){console.warn("TODO: catch JSON.parse failure: ",t),console.debug("TODO: data which is not JSON: ",e.data)}});const a=s.getApi(),o=document.querySelector("#react_root");if(o){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),s.register(r);var r}).catch(e=>console.error(`Error importing '@leanprover/infoview': ${JSON.stringify(e)}`))}(e,[a,o])}})();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "lean4monaco",
-  "version": "1.1.4",
+  "version": "1.1.6",
   "description": "Monaco Editor support for the Lean 4 theorem prover.",
   "keywords": [
     "lean",
@@ -49,26 +49,30 @@
     "@leanprover/infoview-api": "~0.7.0",
     "@leanprover/unicode-input": "~0.1.4",
     "@leanprover/unicode-input-component": "~0.1.4",
-    "concurrently": "^8.2.2",
     "import-meta-resolve": "^4.1.0",
+    "lodash": "^4.17.21",
     "memfs": "^4.9.3",
     "monaco-editor-wrapper": "^5.3.1",
     "semver": "^7.6.2",
-    "zod": "^3.22.4"
+    "zod": "^4.3.5"
   },
   "devDependencies": {
-    "@types/node": "^22.1.0",
+    "@types/lodash": "^4.17.21",
+    "@types/node": "^25.0.3",
     "@types/semver": "^7.5.8",
     "@types/vscode": "^1.89.0",
+    "concurrently": "^9.2.1",
     "copyfiles": "^2.4.1",
-    "cypress": "^13.13.0",
+    "cypress": "^15.8.2",
     "cypress-iframe": "^1.0.1",
     "nodemon": "^3.1.4",
-    "playwright-webkit": "^1.46.1",
     "ts-loader": "^9.5.1",
     "typescript": "^5.4.5",
-    "wait-on": "^7.2.0",
+    "wait-on": "^9.0.3",
     "webpack": "^5.93.0",
-    "webpack-cli": "^5.1.4"
+    "webpack-cli": "^6.0.1"
+  },
+  "engines": {
+    "node": "25.x"
   }
 }