lean4monaco 1.0.10 → 1.0.12

package/README.md

@@ -2,8 +2,8 @@
 
 Provides browser support for running Lean in a Monaco editor.
 
-This package is based on the VSCode extension
-[Lean 4](https://marketplace.visualstudio.com/items?itemName=leanprover.lean4) and the
+This package uses the [VSCode extension
+"Lean 4"](https://marketplace.visualstudio.com/items?itemName=leanprover.lean4) and the
 [Lean Infoview](https://www.npmjs.com/package/@leanprover/infoview).
 
 ## Usage
@@ -47,8 +47,10 @@ For some reason, the file (here `test.lean`) cannot be at the root of the file s
 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:
 ```
-npm install vite-plugin-node-polyfills memfs 
+npm install vite-plugin-node-polyfills@0.17.0 --save-exact
+npm install memfs
 ```
+(We use version 0.17.0 due to this bug: https://github.com/davidmyersdev/vite-plugin-node-polyfills/issues/81)
 
 ```ts
 // vite.config.ts
@@ -67,7 +69,7 @@ export default {
 
 For Vite dev mode to work properly, the following plugin is necessary:
 ```
-npm install 'https://gitpkg.vercel.app/abentkamp/monacotest2/esbuild-import-meta-url-plugin?ec9666e' --save-dev
+npm install 'https://gitpkg.vercel.app/hhu-adam/lean4monaco/esbuild-import-meta-url-plugin?ec9666e' --save-dev
 ```
 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
 
@@ -83,21 +85,29 @@ export default {
   },
   [...]
 }
-```
-
-Moreover, the infoview javascript files need to be served:
-```ts
-// vite.config.ts
-import { viteStaticCopy } from 'vite-plugin-static-copy'
-import { normalizePath } from 'vite'
-import path from 'node:path'
-
-export default {
+```  "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/semver": "^7.5.8",
+    "@types/vscode": "^1.89.0",
+    "copyfiles": "^2.4.1",
+    "cypress": "^13.13.0",
+    "cypress-iframe": "^1.0.1",
+    "ts-loader": "^9.5.1",
+    "typescript": "^5.4.5",
+    "wait-on": "^7.2.0",
+    "webpack": "^5.93.0",
+    "webpack-cli": "^5.1.4"
+  },
   plugins: [
     viteStaticCopy({
       targets: [
         {
-          src: normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*.production.min.js')),
+          src: [
+            normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*')),
+            normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/dist/webview/webview.js')),
+          ],
           dest: 'infoview'
         }
       ]
@@ -106,10 +116,23 @@ export default {
 }
 ```
 
+## Demo
+
+You can clone `lean4monaco`, then run the demo located in `lean4monaco/demo/` with
+
+```
+cd lean4monaco
+npm install
+npm start
+```
+
+and open [http://localhost:5173](http://localhost:5173). This should open a rudimentary webpage
+with 1 (or more) monaco editors and an infoview, showing the Lean infos at the cursor.
+
 ## 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
-```
+```

package/dist/infowebview.d.ts

@@ -2,6 +2,7 @@ import { EditorApi, InfoviewApi } from "@leanprover/infoview-api";
 import { InfoWebviewFactory, InfoWebview } from "./vscode-lean4/vscode-lean4/src/infoview";
 import { Rpc } from "./vscode-lean4/vscode-lean4/src/rpc";
 import { ViewColumn } from "vscode";
+import { IConfigurationService, IThemeService } from "vscode/services";
 export declare class IFrameInfoWebview implements InfoWebview {
     private iframe;
     rpc: Rpc;
@@ -14,8 +15,15 @@ export declare class IFrameInfoWebview implements InfoWebview {
     reveal(viewColumn?: ViewColumn, preserveFocus?: boolean): void;
 }
 export declare class IFrameInfoWebviewFactory implements InfoWebviewFactory {
+    private themeService;
+    private configurationService;
+    private fontFile;
     private infoviewElement;
+    private iframe;
+    constructor(themeService: IThemeService, configurationService: IConfigurationService, fontFile: FontFace);
     setInfoviewElement(infoviewElement: HTMLElement): void;
     make(editorApi: EditorApi, stylesheet: string, column: number): IFrameInfoWebview;
+    private updateCssVars;
+    private apiThemeClassName;
     private initialHtml;
 }

package/dist/infowebview.js

@@ -1,5 +1,8 @@
 import { Rpc } from "./vscode-lean4/vscode-lean4/src/rpc";
 import { EventEmitter } from "vscode";
+import * as colorUtils from 'vscode/vscode/vs/platform/theme/common/colorUtils';
+import { ColorScheme } from 'vscode/vscode/vs/platform/theme/common/theme';
+import * as editorOptions from 'vscode/vscode/vs/editor/common/config/editorOptions';
 export class IFrameInfoWebview {
     iframe;
     rpc;
@@ -20,16 +23,27 @@ export class IFrameInfoWebview {
     }
 }
 export class IFrameInfoWebviewFactory {
+    themeService;
+    configurationService;
+    fontFile;
     infoviewElement;
+    iframe;
+    constructor(themeService, configurationService, fontFile) {
+        this.themeService = themeService;
+        this.configurationService = configurationService;
+        this.fontFile = fontFile;
+    }
     setInfoviewElement(infoviewElement) {
         this.infoviewElement = infoviewElement;
     }
     make(editorApi, stylesheet, column) {
-        const iframe = document.createElement("iframe");
-        this.infoviewElement.append(iframe);
-        iframe.contentWindow.document.open();
-        iframe.contentWindow.document.write(this.initialHtml(stylesheet));
-        iframe.contentWindow.document.close();
+        this.iframe = document.createElement("iframe");
+        this.infoviewElement.append(this.iframe);
+        this.iframe.contentWindow.document.open();
+        this.iframe.contentWindow.document.write(this.initialHtml(stylesheet));
+        this.iframe.contentWindow.document.close();
+        this.updateCssVars();
+        this.themeService.onDidColorThemeChange(() => { this.updateCssVars(); });
         // Note that an extension can send data to its webviews using webview.postMessage().
         // This method sends any JSON serializable data to the webview. The message is received
         // inside the webview through the standard message event.
@@ -38,7 +52,7 @@ export class IFrameInfoWebviewFactory {
         const rpc = new Rpc(m => {
             try {
                 // JSON.stringify is needed here to serialize getters such as `Position.line` and `Position.character`
-                void iframe.contentWindow.postMessage(JSON.stringify(m));
+                void this.iframe.contentWindow.postMessage(JSON.stringify(m));
             }
             catch (e) {
                 // ignore any disposed object exceptions
@@ -47,7 +61,7 @@ export class IFrameInfoWebviewFactory {
         rpc.register(editorApi);
         // Similarly, we can received data from the webview by listening to onDidReceiveMessage.
         document.defaultView.addEventListener('message', m => {
-            if (m.source != iframe.contentWindow) {
+            if (m.source != this.iframe.contentWindow) {
                 return;
             }
             try {
@@ -57,24 +71,72 @@ export class IFrameInfoWebviewFactory {
                 // ignore any disposed object exceptions
             }
         });
-        return new IFrameInfoWebview(iframe, rpc);
+        return new IFrameInfoWebview(this.iframe, rpc);
+    }
+    updateCssVars() {
+        const theme = this.themeService.getColorTheme();
+        const documentStyle = this.iframe.contentDocument?.documentElement.style;
+        const colors = colorUtils.getColorRegistry().getColors();
+        const exportedColors = colors.reduce((colors, entry) => {
+            const color = theme.getColor(entry.id);
+            if (color) {
+                colors['vscode-' + entry.id.replace('.', '-')] = color.toString();
+            }
+            return colors;
+        }, {});
+        const EDITOR_FONT_DEFAULTS = editorOptions.EDITOR_FONT_DEFAULTS;
+        const configuration = this.configurationService.getValue('editor');
+        const editorFontFamily = configuration.fontFamily || EDITOR_FONT_DEFAULTS.fontFamily;
+        const editorFontWeight = configuration.fontWeight || EDITOR_FONT_DEFAULTS.fontWeight;
+        const editorFontSize = configuration.fontSize || EDITOR_FONT_DEFAULTS.fontSize;
+        const linkUnderlines = this.configurationService.getValue('accessibility.underlineLinks');
+        const styles = {
+            'vscode-font-family': '\'Droid Sans Mono\', Consolas, Menlo, Monaco, \'Courier New\', monospace',
+            'vscode-font-weight': 'normal',
+            'vscode-font-size': '13px',
+            'vscode-editor-font-family': editorFontFamily,
+            'vscode-editor-font-weight': editorFontWeight,
+            'vscode-editor-font-size': editorFontSize + 'px',
+            'text-link-decoration': linkUnderlines ? 'underline' : 'none',
+            ...exportedColors
+        };
+        console.log(styles);
+        for (const id in styles) {
+            documentStyle?.setProperty(`--${id}`, styles[id]);
+        }
+        documentStyle?.setProperty('font-family', '-apple-system,BlinkMacSystemFont,Segoe WPC,Segoe UI,HelveticaNeue-Light,system-ui,Ubuntu,Droid Sans,sans-serif');
+        this.iframe.contentDocument?.documentElement.setAttribute('class', `${this.apiThemeClassName(theme)}`);
+        this.iframe.contentDocument?.fonts.add(this.fontFile);
+    }
+    apiThemeClassName(theme) {
+        switch (theme.type) {
+            case ColorScheme.LIGHT: return 'vscode-light';
+            case ColorScheme.DARK: return 'vscode-dark';
+            case ColorScheme.HIGH_CONTRAST_DARK: return 'vscode-high-contrast';
+            case ColorScheme.HIGH_CONTRAST_LIGHT: return 'vscode-high-contrast-light';
+        }
     }
     initialHtml(stylesheet) {
         return `
-            <!DOCTYPE html>
-            <html>
-            <head>
-                <meta charset="UTF-8" />
-                <meta http-equiv="Content-type" content="text/html;charset=utf-8">
-                <title>Infoview</title>
-                <style>${stylesheet}</style>
-                <link rel="stylesheet" href="${new URL('./vscode.css', import.meta.url)}">
-                <link rel="stylesheet" href="${new URL('./vscode-lean4/lean4-infoview/src/infoview/index.css', import.meta.url)}">
-            </head>
-            <body>
-                <div id="react_root"></div>
-                <script type="module" src="${new URL('./webview.js', import.meta.url)}"></script>
-            </body>
-            </html>`;
+      <!DOCTYPE html>
+      <html>
+      <head>
+        <meta charset="UTF-8" />
+        <meta http-equiv="Content-type" content="text/html;charset=utf-8">
+        <title>Infoview</title>
+        <style>${stylesheet}</style>
+        <style>
+          body {
+            background-color: var(--vscode-editor-background);
+            color: var(--vscode-editor-foreground);
+          }
+        </style>
+        <link rel="stylesheet" href="${new URL('../node_modules/@leanprover/infoview/dist/index.css', import.meta.url)}">
+      </head>
+      <body>
+        <div id="react_root"></div>
+        <script type="module" src="/infoview/webview.js"></script>
+      </body>
+      </html>`;
     }
 }

package/dist/leanmonaco.d.ts

@@ -7,6 +7,15 @@ import { LeanTaskGutter } from './vscode-lean4/vscode-lean4/src/taskgutter';
 import { IFrameInfoWebviewFactory } from './infowebview';
 import { IExtensionManifest } from 'vscode/extensions';
 import { DisposableStore } from 'vscode/monaco';
+/** Options for LeanMonaco.
+ *
+ * The URL is where the server listens. You might want to use something like
+ * `"ws://" + window.location.host`
+ *
+ * To add settings in `vscode`, you can open your settings in VSCode (Ctrl+,), search
+ * for the desired setting, select "Copy Setting as JSON" from the "More Actions"
+ * menu next to the selected setting, and paste the copied string here.
+ */
 export type LeanMonacoOptions = {
     websocket: {
         url: string;
@@ -16,7 +25,7 @@ export type LeanMonacoOptions = {
     };
 };
 export declare class LeanMonaco {
-    ready: (value: void | PromiseLike<void>) => void;
+    private ready;
     whenReady: Promise<void>;
     static activeInstance: LeanMonaco | null;
     registerFileUrlResults: DisposableStore;
@@ -26,11 +35,15 @@ export declare class LeanMonaco {
     iframeWebviewFactory: IFrameInfoWebviewFactory | undefined;
     abbreviationFeature: AbbreviationFeature | undefined;
     taskGutter: LeanTaskGutter | undefined;
+    infoviewEl: HTMLElement | undefined;
     disposed: boolean;
     start(options: LeanMonacoOptions): Promise<void>;
+    updateVSCodeOptions(vsCodeOptions: {
+        [id: string]: any;
+    }): void;
     setInfoviewElement(infoviewEl: HTMLElement): void;
     protected getExtensionFiles(): Map<string, URL>;
-    protected getExtensionManifest(options: LeanMonacoOptions): IExtensionManifest;
+    protected getExtensionManifest(): IExtensionManifest;
     protected getWebSocketOptions(options: LeanMonacoOptions): WebSocketConfigOptionsUrl;
     dispose(): void;
 }

package/dist/leanmonaco.js

@@ -1,13 +1,13 @@
 import 'vscode/localExtensionHost';
 import { LeanClientProvider } from './vscode-lean4/vscode-lean4/src/utils/clientProvider';
-import { Uri } from 'vscode';
+import { Uri, workspace } from 'vscode';
 import { InfoProvider } from './vscode-lean4/vscode-lean4/src/infoview';
 import { AbbreviationFeature } from './vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature';
 import { LeanTaskGutter } from './vscode-lean4/vscode-lean4/src/taskgutter';
 import { IFrameInfoWebviewFactory } from './infowebview';
 import { setupMonacoClient } from './monacoleanclient';
 import { checkLean4ProjectPreconditions } from './preconditions';
-import { initialize } from 'vscode/services';
+import { initialize, getService, IThemeService, IConfigurationService } from 'vscode/services';
 import getConfigurationServiceOverride from '@codingame/monaco-vscode-configuration-service-override';
 import getTextmateServiceOverride from '@codingame/monaco-vscode-textmate-service-override';
 import getThemeServiceOverride from '@codingame/monaco-vscode-theme-service-override';
@@ -29,6 +29,7 @@ export class LeanMonaco {
     iframeWebviewFactory;
     abbreviationFeature;
     taskGutter;
+    infoviewEl;
     disposed = false;
     async start(options) {
         if (LeanMonaco.activeInstance == this) {
@@ -75,7 +76,7 @@ export class LeanMonaco {
         await (await import('@codingame/monaco-vscode-theme-defaults-default-extension')).whenReady;
         if (this.disposed)
             return;
-        this.extensionRegisterResult = registerExtension(this.getExtensionManifest(options), 1 /* ExtensionHostKind.LocalProcess */);
+        this.extensionRegisterResult = registerExtension(this.getExtensionManifest(), 1 /* ExtensionHostKind.LocalProcess */);
         for (const entry of this.getExtensionFiles()) {
             const registerFileUrlResult = this.extensionRegisterResult.registerFileUrl(entry[0], entry[1].href);
             this.registerFileUrlResults.add(registerFileUrlResult);
@@ -83,6 +84,11 @@ export class LeanMonaco {
         await this.extensionRegisterResult.whenReady();
         if (this.disposed)
             return;
+        const themeService = await getService(IThemeService);
+        const configurationService = await getService(IConfigurationService);
+        if (this.disposed)
+            return;
+        this.updateVSCodeOptions(options.vscode ?? {});
         this.abbreviationFeature = new AbbreviationFeature({}, { kind: 'MoveAllSelections' });
         this.clientProvider = new LeanClientProvider({
             installChanged: () => { return { dispose: () => { } }; },
@@ -91,20 +97,27 @@ export class LeanMonaco {
         }, { appendLine: () => { }
         }, setupMonacoClient(this.getWebSocketOptions(options)), checkLean4ProjectPreconditions);
         this.taskGutter = new LeanTaskGutter(this.clientProvider, { asAbsolutePath: (path) => Uri.parse(`${new URL('vscode-lean4/vscode-lean4/' + path, import.meta.url)}`), });
-        if (!this.iframeWebviewFactory)
-            this.iframeWebviewFactory = new IFrameInfoWebviewFactory();
-        this.infoProvider = new InfoProvider(this.clientProvider, { language: 'lean4' }, {}, this.iframeWebviewFactory);
         const fontFile = new FontFace("JuliaMono", `url(${new URL("./JuliaMono-Regular.ttf", import.meta.url)})`);
         document.fonts.add(fontFile);
+        this.iframeWebviewFactory = new IFrameInfoWebviewFactory(themeService, configurationService, fontFile);
+        if (this.infoviewEl)
+            this.iframeWebviewFactory.setInfoviewElement(this.infoviewEl);
+        this.infoProvider = new InfoProvider(this.clientProvider, { language: 'lean4' }, {}, this.iframeWebviewFactory);
         await fontFile.load();
+        this.updateVSCodeOptions(options.vscode ?? {});
         if (this.disposed)
             return;
         this.ready();
     }
+    updateVSCodeOptions(vsCodeOptions) {
+        for (const key in vsCodeOptions) {
+            workspace.getConfiguration().update(key, vsCodeOptions[key]);
+        }
+    }
     setInfoviewElement(infoviewEl) {
-        if (!this.iframeWebviewFactory)
-            this.iframeWebviewFactory = new IFrameInfoWebviewFactory();
-        this.iframeWebviewFactory.setInfoviewElement(infoviewEl);
+        if (this.iframeWebviewFactory)
+            this.iframeWebviewFactory.setInfoviewElement(infoviewEl);
+        this.infoviewEl = infoviewEl;
     }
     getExtensionFiles() {
         const extensionFiles = new Map();
@@ -115,12 +128,7 @@ export class LeanMonaco {
         extensionFiles.set('/themes/cobalt2.json', new URL('./themes/cobalt2.json', import.meta.url));
         return extensionFiles;
     }
-    getExtensionManifest(options) {
-        for (let o in options.vscode) {
-            if (packageJson.contributes.configuration.properties[o]) {
-                packageJson.contributes.configuration.properties[o].default = options.vscode[o];
-            }
-        }
+    getExtensionManifest() {
         return {
             name: 'lean4web',
             publisher: 'leanprover-community',
@@ -147,6 +155,7 @@ export class LeanMonaco {
                         "configuration": "./language-configuration.json"
                     }
                 ],
+                colors: packageJson.contributes.colors,
                 "grammars": [
                     {
                         "language": "lean4",
@@ -171,26 +180,22 @@ export class LeanMonaco {
                     }
                 ],
                 "configurationDefaults": {
-                    "[lean4]": {
-                        "editor.folding": false,
-                        "editor.wordSeparators": "`~@$%^&*()-=+[{]}⟨⟩⦃⦄⟦⟧⟮⟯‹›\\|;:\",.<>/",
-                        "editor.lineNumbers": 'on',
-                        "editor.lineNumbersMinChars": 1,
-                        "editor.glyphMargin": true,
-                        "editor.lineDecorationsWidth": 5,
-                        "editor.tabSize": 2,
-                        "editor.detectIndentation": false,
-                        "editor.lightbulb.enabled": "on",
-                        "editor.unicodeHighlight.ambiguousCharacters": false,
-                        "editor.minimap.enabled": false,
-                        "editor.semanticHighlighting.enabled": true,
-                        "editor.wordWrap": "off",
-                        "editor.acceptSuggestionOnEnter": "off",
-                        "editor.fontFamily": "JuliaMono",
-                        "editor.wrappingStrategy": "advanced",
-                        "editor.theme": "Visual Studio Light", //"Cobalt" // "Visual Studio Light" //"Visual Studio Dark" //"Default Light Modern" //"Default Light+" //"Default Dark+" //"Default High Contrast"
-                        ...options.vscode
-                    }
+                    "editor.folding": false,
+                    "editor.wordSeparators": "`~@$%^&*()-=+[{]}⟨⟩⦃⦄⟦⟧⟮⟯‹›\\|;:\",.<>/",
+                    "editor.lineNumbers": 'on',
+                    "editor.lineNumbersMinChars": 1,
+                    "editor.glyphMargin": true,
+                    "editor.lineDecorationsWidth": 5,
+                    "editor.tabSize": 2,
+                    "editor.detectIndentation": false,
+                    "editor.lightbulb.enabled": "on",
+                    "editor.unicodeHighlight.ambiguousCharacters": false,
+                    "editor.minimap.enabled": false,
+                    "editor.semanticHighlighting.enabled": true,
+                    "editor.wordWrap": "off",
+                    "editor.acceptSuggestionOnEnter": "off",
+                    "editor.fontFamily": "JuliaMono",
+                    "editor.wrappingStrategy": "advanced",
                 },
                 "themes": [
                     {

package/dist/vscode-lean4/vscode-lean4/src/infoview.js

@@ -393,6 +393,7 @@ export class InfoProvider {
         // active client is changing.
         this.clearNotificationHandlers();
         this.clearRpcSessions(null);
+        this.webviewPanel?.dispose();
         for (const s of this.clientSubscriptions) {
             s.dispose();
         }

package/dist/webview/webview.js

@@ -0,0 +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])}})();