lean4monaco 1.0.23 → 1.0.25

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (16) hide show
  1. package/dist/editor.css +9 -0
  2. package/dist/editor.d.ts +1 -0
  3. package/dist/editor.js +1 -0
  4. package/dist/fonts/LeanWeb/1F389.svg +94 -0
  5. package/dist/fonts/LeanWeb/1F3AD.svg +63 -0
  6. package/dist/fonts/LeanWeb/1F4A5.svg +17 -0
  7. package/dist/fonts/LeanWeb/2705.svg +17 -0
  8. package/dist/fonts/LeanWeb/274C.svg +26 -0
  9. package/dist/fonts/LeanWeb-Regular.otf +0 -0
  10. package/dist/infowebview.d.ts +2 -2
  11. package/dist/infowebview.js +6 -5
  12. package/dist/leanmonaco.js +12 -5
  13. package/dist/monacoleanclient.js +19 -1
  14. package/dist/webview/webview.js +1 -1
  15. package/package.json +2 -2
  16. /package/dist/{JuliaMono-Regular.ttf → fonts/JuliaMono-Regular.ttf} +0 -0
package/dist/editor.css ADDED
@@ -0,0 +1,9 @@
1
+ @font-face {
2
+ font-family: "JuliaMono";
3
+ src: local(".fonts/JuliaMono-Regular.ttf"),
4
+ }
5
+
6
+ @font-face {
7
+ font-family: "LeanWeb";
8
+ src: local(".fonts/LeanWeb-Regular.otf"),
9
+ }
package/dist/editor.d.ts CHANGED
@@ -1,6 +1,7 @@
1
1
  import { ITextFileEditorModel } from 'vscode/monaco';
2
2
  import * as monaco from 'monaco-editor';
3
3
  import { IReference } from '@codingame/monaco-vscode-editor-service-override';
4
+ import './editor.css';
4
5
  export declare class LeanMonacoEditor {
5
6
  editor: monaco.editor.IStandaloneCodeEditor;
6
7
  modelRef: IReference<ITextFileEditorModel>;
package/dist/editor.js CHANGED
@@ -3,6 +3,7 @@ import { fs } from 'memfs';
3
3
  import { createModelReference } from 'vscode/monaco';
4
4
  import * as monaco from 'monaco-editor';
5
5
  import path from 'path';
6
+ import './editor.css';
6
7
  export class LeanMonacoEditor {
7
8
  editor;
8
9
  modelRef;
package/dist/fonts/LeanWeb/1F389.svg ADDED
@@ -0,0 +1,94 @@
1
+ <?xml version="1.0" encoding="utf-8"?>
2
+ <!-- Generator: Adobe Illustrator 24.1.2, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
3
+ <svg version="1.1" id="Layer_5" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
4
+ viewBox="0 0 128 128" style="enable-background:new 0 0 128 128;" xml:space="preserve">
5
+ <g>
6
+ <g>
7
+ <g>
8
+ <path style="fill:#FFC107;" d="M7.45,123.27c2.27,2.46,11.62-1.83,19-5.27c5.53-2.57,27.66-11.65,38.66-16.36
9
+ c2.97-1.27,7.29-2.93,10.4-7.02c2.76-3.64,10.08-19.1-4.66-34.76c-14.96-15.9-30.37-11.51-36.13-7.43
10
+ c-3.39,2.4-6.15,7.81-7.39,10.56c-5.24,11.62-12.71,32.91-15.75,41.28C9.35,110.44,5.2,120.83,7.45,123.27z"/>
11
+ <path style="fill:#FF8F00;" d="M25.85,66.49c0.14,1.74,0.49,4.57,1.69,10.02c0.82,3.74,2.16,7.66,3.25,10.25
12
+ c3.27,7.79,7.86,10.93,12.51,13.45c7.9,4.28,13.27,5.08,13.27,5.08l-6.44,2.63c0,0-3.9-0.81-9.22-3.43
13
+ c-5.07-2.5-10.35-6.73-14.21-15.01c-1.67-3.59-2.64-7.07-3.2-9.83c-0.69-3.42-0.8-5.36-0.8-5.36L25.85,66.49z"/>
14
+ <path style="fill:#FF8F00;" d="M17.94,86.77c0,0,0.8,6.49,6.16,14.68c6.28,9.58,15.05,11.15,15.05,11.15l-5.83,2.4
15
+ c0,0-6.51-1.99-12.7-10.44c-3.86-5.27-4.94-11.57-4.94-11.57L17.94,86.77z"/>
16
+ <path style="fill:#FF8F00;" d="M12.39,102.15c0,0,1.46,5.6,4.66,9.78c3.81,4.99,8.66,6.44,8.66,6.44l-4.47,1.98
17
+ c0,0-3.39-0.71-7.1-5.41c-2.82-3.57-3.62-7.67-3.62-7.67L12.39,102.15z"/>
18
+ <g style="opacity:0.44;">
19
+ <path style="fill:#FFFDE7;" d="M9.96,116.37L9.96,116.37c-0.2-0.45-0.2-0.96,0.01-1.4l25.47-52.82l4.19,15.75l-26.8,38.71
20
+ C12.11,117.69,10.49,117.55,9.96,116.37z"/>
21
+ </g>
22
+ <linearGradient id="SVGID_1_" gradientUnits="userSpaceOnUse" x1="74.3843" y1="61.8385" x2="44.617" y2="79.6989">
23
+ <stop offset="0.0235" style="stop-color:#8F4700"/>
24
+ <stop offset="1" style="stop-color:#703E2D"/>
25
+ </linearGradient>
26
+ <path style="fill:url(#SVGID_1_);" d="M41.65,83.19c11.9,13.92,25.45,12.18,29.96,8.66c4.52-3.53,8.09-15.66-3.76-29.35
27
+ c-12.42-14.34-26.48-10.25-29.73-7.15S30.73,70.42,41.65,83.19z"/>
28
+ <g>
29
+ <path style="fill:#03A9F4;" d="M82.52,88.92c-4.34-3.64-6.65-2.99-9.75-1.7c-4,1.66-10.29,2.89-18.83,0l2.57-6.19
30
+ c5.07,1.71,8.74,0.88,11.91-0.99c4.08-2.4,9.66-5.69,18.34,1.6c3.62,3.04,7.33,5.06,10.05,4.14c1.98-0.66,3.03-3.61,3.56-5.96
31
+ c0.05-0.21,0.13-0.81,0.19-1.34c0.48-3.67,1.28-11.59,7.18-15.64c6.31-4.33,12.94-4.33,12.94-4.33l1.2,11.92
32
+ c-3.05-0.45-5.17,0.17-6.96,1.16c-6.74,3.75-0.87,18.15-11.36,22.99C93.47,99.27,85.22,91.18,82.52,88.92z"/>
33
+ </g>
34
+ <g>
35
+ <path style="fill:#F44336;" d="M45.4,73.72l-4.34-3.89c7.97-8.9,5.87-15.44,4.34-20.2c-0.31-0.96-0.6-1.87-0.79-2.74
36
+ c-0.68-3.08-0.82-5.76-0.61-8.1c-3.06-3.81-4.41-7.8-4.5-8.07c-1.86-5.63-0.46-11.12,2.75-16.27C48.74,4,60.49,4,60.49,4
37
+ l3.92,10.49c-2.98-0.12-12.75,0.03-15.75,4.76c-3.79,5.96-1.3,9.64-1.12,10.06c0.73-0.95,1.47-1.71,2.13-2.3
38
+ c4.79-4.25,8.95-4.86,11.6-4.62c2.98,0.27,5.68,1.77,7.61,4.23c2.11,2.7,2.98,6.21,2.31,9.4c-0.65,3.11-2.72,5.74-5.83,7.41
39
+ c-5.43,2.92-9.95,2.52-12.98,1.51c0.02,0.07,0.03,0.15,0.05,0.22c0.11,0.5,0.33,1.2,0.59,2.01
40
+ C54.79,52.65,58.08,61.35,45.4,73.72z M52.75,36.19c0.58,0.42,1.19,0.77,1.82,1.02c2.1,0.84,4.39,0.56,6.99-0.84
41
+ c1.53-0.82,1.71-1.7,1.77-1.99c0.18-0.87-0.12-1.98-0.77-2.81c-0.57-0.73-1.23-1.11-2.02-1.19c-1.5-0.13-3.53,0.82-5.56,2.63
42
+ C54.01,33.88,53.27,34.95,52.75,36.19z"/>
43
+ </g>
44
+ <g>
45
+ <path style="fill:#F48FB1;" d="M62.77,75.35l-6.21-0.17c0,0,2.95-16.66,12.5-19.46c1.79-0.52,3.75-1.05,5.72-1.34
46
+ c1.17-0.18,3.02-0.45,3.93-0.79c0.21-1.57-0.45-3.57-1.19-5.84c-0.58-1.76-1.18-3.57-1.5-5.55c-0.62-3.86,0.41-7.27,2.9-9.62
47
+ c3.04-2.85,7.95-3.76,13.49-2.5c3.16,0.72,5.49,2.27,7.54,3.63c2.93,1.95,4.64,2.94,8.22,0.53c4.33-2.92-1.33-14.35-4.34-20.95
48
+ l11.23-4.68c1.51,3.3,8.8,20.28,3.99,29.97c-1.62,3.26-4.41,5.42-8.07,6.23c-7.96,1.78-12.62-1.32-16.02-3.58
49
+ c-1.61-1.07-3.02-1.91-4.55-2.35c-10.63-3.03,4.21,12.61-2.74,19.64c-4.17,4.21-14.36,5.32-15.02,5.48
50
+ C66.09,65.58,62.77,75.35,62.77,75.35z"/>
51
+ </g>
52
+ </g>
53
+ <path style="fill:#C92B27;" d="M43.99,38.79c-0.19,2.2-0.28,3.51,0.29,6.37c2.75,2.02,8.74,2.02,8.74,2.02
54
+ c-0.26-0.81-0.49-1.51-0.59-2.01c-0.02-0.07-0.03-0.15-0.05-0.22C46.29,41.91,43.99,38.79,43.99,38.79z"/>
55
+ </g>
56
+ <g>
57
+ <polygon style="fill:#FFC107;" points="31.53,48.64 21.19,43.57 26.34,36.13 34.45,41.5 "/>
58
+ </g>
59
+ <g>
60
+ <path style="fill:#FB8C00;" d="M16.29,34.6c-5.28-0.71-10.66-5.19-11.25-5.7l5.19-6.09c1.57,1.33,4.9,3.56,7.13,3.86L16.29,34.6z"
61
+ />
62
+ </g>
63
+ <g>
64
+ <path style="fill:#03A9F4;" d="M25.61,21.27l-7.6-2.49c0.87-2.66,1.1-5.53,0.65-8.3l7.9-1.27C27.21,13.23,26.88,17.4,25.61,21.27z
65
+ "/>
66
+ </g>
67
+ <g>
68
+
69
+ <rect x="74.11" y="14.35" transform="matrix(0.9769 -0.2137 0.2137 0.9769 -2.3917 17.1437)" style="fill:#FB8C00;" width="8" height="10.56"/>
70
+ </g>
71
+ <g>
72
+ <path style="fill:#FFC107;" d="M92.46,17.77l-5.5-5.81c2.88-2.73,3.54-6.3,3.54-6.34l7.9,1.29C98.3,7.54,97.29,13.2,92.46,17.77z"
73
+ />
74
+ </g>
75
+ <g>
76
+
77
+ <rect x="96.54" y="47.3" transform="matrix(0.9545 -0.2983 0.2983 0.9545 -10.7408 32.2313)" style="fill:#FB8C00;" width="7.32" height="8"/>
78
+ </g>
79
+ <g>
80
+ <path style="fill:#F44336;" d="M97.55,113.03l-7.95-0.94c0.34-2.83-1.77-6.3-2.35-7.07l6.4-4.8
81
+ C94.13,100.85,98.3,106.62,97.55,113.03z"/>
82
+ </g>
83
+ <g>
84
+ <path style="fill:#FB8C00;" d="M120.37,102.89c-2.99-0.45-6.05-0.63-9.07-0.52l-0.27-8c3.51-0.12,7.06,0.08,10.53,0.61
85
+ L120.37,102.89z"/>
86
+ </g>
87
+ <g>
88
+
89
+ <rect x="112.29" y="109.43" transform="matrix(0.7026 -0.7116 0.7116 0.7026 -47.1516 116.922)" style="fill:#F48FB1;" width="8" height="10.87"/>
90
+ </g>
91
+
92
+ <rect x="88.29" y="65.14" transform="matrix(0.6583 0.7527 -0.7527 0.6583 84.0086 -46.0064)" style="fill:#F44336;" width="8.78" height="8.78"/>
93
+ </g>
94
+ </svg>
package/dist/fonts/LeanWeb/1F3AD.svg ADDED
@@ -0,0 +1,63 @@
1
+ <?xml version="1.0" encoding="utf-8"?>
2
+ <!-- Generator: Adobe Illustrator 25.2.3, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
3
+ <svg version="1.1" id="レイヤー_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px"
4
+ y="0px" viewBox="0 0 128 128" style="enable-background:new 0 0 128 128;" xml:space="preserve">
5
+ <g>
6
+ <g>
7
+ <path style="fill:#F45125;" d="M110.28,61.32l2.63,8.84c0,0,7.24-1.6,7.62,3.2c0.38,4.8-6.77,8-6.77,8l2.26,10.63
8
+ c0,0,7.9-6.4,8-15.61c0,0,0.66-11.29-6.11-13.92C113.67,60.85,110.28,61.32,110.28,61.32z"/>
9
+ <path style="fill:#F45125;" d="M68.71,94.99c0,0-11.1-4.7-16.46,1.98c-0.75,0.94-1.41,1.88-2.16,2.82
10
+ c-0.56,0.75-1.13,1.5-1.69,2.16c-0.47,0.56-1.03,1.13-1.69,1.5c-0.66,0.38-1.32,0.66-2.07,0.85c-0.94,0.19-1.88,0.19-2.82,0.09
11
+ c-1.32-0.09-2.63-0.38-3.95-0.66c-0.47-0.09-0.85-0.19-1.22-0.28c-0.09,0-0.19-0.09-0.28-0.09s-0.19-0.09-0.28-0.09
12
+ c-0.38,0.09,0.19,0.75,0.38,0.94c0.28,0.28,0.56,0.66,0.85,0.94c0.85,0.75,1.69,1.5,2.73,1.98c1.32,0.66,2.73,1.03,4.14,1.13
13
+ c0.09,0,0.38,0,0.47,0.09c0.19,0.19-0.28,0.47-0.47,0.56c-0.28,0.19-0.47,0.28-0.75,0.38c-0.85,0.38-1.79,0.56-2.63,0.75
14
+ c-0.85,0.19-1.69,0.28-2.45,0.28c-0.47,0-0.85,0.09-1.22,0.09c-0.28,0-0.56-0.09-0.85,0s0.09,0.47,0.28,0.56
15
+ c0.38,0.19,0.75,0.47,1.13,0.66c1.13,0.56,2.26,1.03,3.39,1.32c1.5,0.38,3.1,0.56,4.61,0.38c1.32-0.19,2.63-0.56,3.86-1.03
16
+ c6.77-3.1,6.21-9.59,12.42-10.16c4.61-0.38,11.1,2.07,11.1,2.07L68.71,94.99z"/>
17
+ <path style="fill:#F45125;" d="M19.79,38.28c0,0-12.13,1.98-15.24,12.79C0.61,64.9,20.26,69.5,20.26,69.5l1.22-9.41
18
+ c0,0-13.07-1.32-12.32-6.3c0.94-6.21,11.85-5.64,11.85-5.64L19.79,38.28z"/>
19
+ <path style="fill:#F45125;" d="M20.73,70.92c0,0-1.88,0.56-4.61,2.54c-1.88,1.32-4.42,3.01-6.87,5.93
20
+ c-1.22,1.41-2.16,3.1-2.82,4.89c-0.47,1.22-0.66,2.45-0.66,3.76c0,0.28,0,0.56,0,0.85c0,0.09,0,0.85,0.28,0.66
21
+ c0.09-0.09,0.19-0.38,0.28-0.47c0.19-0.47,0.47-0.85,0.75-1.22c0.85-1.13,1.88-2.16,3.01-3.01c0.38-0.28,0.75-0.47,1.13-0.66
22
+ c0.28-0.28,0.75-0.66,0.94-0.28c0.09,0.19-0.09,0.47-0.19,0.66c-0.09,0.28-0.19,0.66-0.19,0.94c-0.38,1.5-0.56,3.01-0.75,4.51
23
+ c-0.09,0.85-0.09,1.69,0,2.45c0,0.38,0.09,0.85,0.09,1.22c0,0.19,0.09,0.38,0.09,0.56c0,0.19,0.19,0.47,0.38,0.19
24
+ c0.09-0.09,0.09-0.19,0.19-0.38c0.19-0.28,0.28-0.66,0.47-0.94c0.47-0.85,0.94-1.69,1.5-2.63c0.66-1.13,1.41-2.16,2.16-3.1
25
+ c0.85-1.13,1.88-2.26,2.92-3.2c1.13-1.03,2.35-2.07,3.67-2.92c0.75-0.47,1.6-0.94,2.45-1.32L20.73,70.92z"/>
26
+ <g>
27
+ <path style="fill:#FCC21B;" d="M116.4,79.29c-1.13-5.55-2.73-11.01-4.51-16.46c-1.5-4.61-3.1-9.31-5.83-13.36
28
+ c-1.22-1.79-3.01-3.01-5.27-3.86c-4.33-1.69-9.97-1.98-13.73-1.98c-5.64,0-11.48,1.22-16.74,3.67
29
+ c-1.88,5.64-7.05,19.94-14.86,26.34c0.47,2.63,1.03,5.36,1.79,8c1.32,4.61,3.01,9.22,4.61,13.83c1.5,4.42,3.29,8.84,6.58,12.23
30
+ c0.85,0.94,1.88,1.69,2.82,2.45c2.26,1.88,4.99,3.01,7.71,3.95c2.54,0.85,5.17,1.5,7.81,2.07c4.7,1.03,11.48,2.82,16.08,0.66
31
+ c2.54-1.13,4.61-2.92,6.3-5.08c1.79-2.26,3.2-4.8,4.42-7.43c1.88-3.95,3.86-8.37,4.14-12.89
32
+ C117.99,87.38,117.24,83.24,116.4,79.29z"/>
33
+ <path style="fill:#429ADF;" d="M77.64,33.57c-0.28-1.03-1.03-2.07-1.6-3.01c-6.3-11.01-20.04-16.27-32.26-15.52
34
+ c-3.76,0.28-9.31,0.85-13.54,2.73c-2.07,0.94-3.86,2.35-4.99,4.14c-2.54,4.23-3.76,8.94-5.08,13.64
35
+ C18.67,41,17.35,46.55,16.5,52.2c-0.75,4.89-1.41,10.25-0.09,15.14c1.03,3.86,3.29,9.22,5.74,12.32
36
+ c2.73,3.39,6.58,7.34,10.72,8.84c0.75,0.28,1.6,0.47,2.45,0.66c1.6,0.28,3.29,0.47,4.89,0.19c0.94-0.19,1.98-0.28,2.92-0.56
37
+ c1.88-0.47,3.67-1.13,5.46-1.79c7.52-3.01,13.64-7.43,17.68-14.58c1.69-3.1,3.1-6.4,4.42-9.69c0.09-0.19,0.19-0.38,0.19-0.56
38
+ c1.98-5.46,3.29-11.19,4.61-16.84c0.66-2.73,1.41-5.55,1.79-8.37C77.55,35.92,77.92,34.7,77.64,33.57z"/>
39
+ </g>
40
+ </g>
41
+ <path style="fill:#193D51;" d="M23.09,40.53c1.69-3.1,5.74-5.55,9.31-5.08c0.56,0.09,1.22,0.19,1.79,0.47
42
+ c3.57,1.5,5.74,4.99,4.89,8.56c-0.19,0.75-0.66,0.85-1.22,0.38c-1.98-1.69-3.57-3.01-6.21-3.67c-2.16-0.56-4.61-0.28-6.68,0.28
43
+ c-0.47,0.09-1.22,0.56-1.69,0.38C22.61,41.57,22.9,40.91,23.09,40.53z"/>
44
+ <path style="fill:#193D51;" d="M62.21,64.9c-1.03,1.6-2.45,3.01-3.86,4.33c-0.38,0.28-0.66,0.66-1.03,0.94
45
+ c-5.64,4.7-13.26,7.05-20.51,5.27c-1.98-0.47-4.14-1.5-5.74-2.73c-1.22-0.94-2.45-2.16-3.48-3.39c-1.88-2.26-3.29-4.89-4.23-7.62
46
+ c-0.47-1.41-0.75-2.73-0.94-4.23c0-0.47-0.66-5.46,0.85-4.8c0.38,0.19,0.66,0.47,0.94,0.75c0.28,0.38,0.47,0.75,0.75,1.03
47
+ c0.66,0.85,1.32,1.69,2.07,2.45c2.35,2.73,5.27,4.89,8.56,6.4c2.26,1.03,4.7,1.6,7.15,1.79c1.41,0.09,2.73,0.19,4.14,0.09
48
+ c5.08-0.28,10.25-1.79,14.86-3.76c0.38-0.19,0.85-0.47,1.32-0.47C64.66,61.04,62.5,64.52,62.21,64.9z"/>
49
+ <path style="fill:#193D51;" d="M67.58,51.16c0,0.47-0.19,1.13-0.75,1.03c-0.47-0.09-0.85-0.94-1.13-1.22
50
+ c-1.32-1.69-3.86-3.57-6.4-4.14c-3.01-0.75-5.27,0.56-8.28,0.85c-0.85,0.09-1.32-0.28-0.94-1.03c1.6-3.48,5.83-6.21,10.25-5.46
51
+ c0.75,0.09,1.41,0.28,2.07,0.56C66.26,43.36,67.86,47.59,67.58,51.16z"/>
52
+ <path style="fill:#9B7515;" d="M91.84,63.86c4.23,2.73,9.69,3.48,14.58,3.2c1.41-0.09,2.26,0.09,1.88,1.69
53
+ c-0.75,3.29-3.86,5.17-6.87,5.83c-0.75,0.19-1.5,0.19-2.26,0.19c-1.41-0.09-2.82-0.66-4.04-1.5c-2.63-1.79-4.61-4.89-5.17-8
54
+ C89.68,63.67,90.25,62.83,91.84,63.86z"/>
55
+ <path style="fill:#9B7515;" d="M65.22,80.79C64,79.57,64.66,79,65.98,78.25c4.51-2.35,9.03-5.93,11.38-10.63
56
+ c0.85-1.79,1.79-1.41,2.45,0.28c1.13,3.1,1.03,6.87-0.38,9.88c-0.66,1.41-1.6,2.63-2.82,3.57c-0.66,0.47-1.32,0.75-2.07,1.03
57
+ C71.43,83.33,67.58,83.24,65.22,80.79z"/>
58
+ <path style="fill:#9B7515;" d="M110,96.41c-0.38,0-0.94-0.38-1.41-0.66c-0.47-0.28-0.94-0.66-1.22-0.85
59
+ c-1.13-0.56-2.45-1.13-3.67-1.5c-3.76-1.22-7.9-1.22-11.57,0c-2.63,0.85-5.17,2.45-7.24,4.33c-2.26,2.16-3.95,4.8-6.11,7.05
60
+ c-0.28,0.28-0.56,0.56-0.85,0.75c-0.56,0.28-1.13-0.09-1.32-0.66c-0.94-3.95,1.69-9.5,3.67-12.89c2.26-3.76,5.55-6.77,9.78-8
61
+ c2.07-0.66,4.33-0.66,6.49-0.38c6.3,0.94,12.79,5.93,14.02,11.66C110.56,95.75,110.47,96.5,110,96.41z"/>
62
+ </g>
63
+ </svg>
package/dist/fonts/LeanWeb/1F4A5.svg ADDED
@@ -0,0 +1,17 @@
1
+ <?xml version="1.0" encoding="utf-8"?>
2
+ <!-- Generator: Adobe Illustrator 24.1.2, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
3
+ <svg version="1.1" id="Layer_3" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
4
+ viewBox="0 0 128 128" style="enable-background:new 0 0 128 128;" xml:space="preserve">
5
+ <g>
6
+ <polygon style="fill:#FFA000;stroke:#F44336;stroke-width:3;stroke-miterlimit:10;" points="68.27,8.51 84.11,41.67 119.44,9.79
7
+ 101.38,55.43 121.05,50.12 102.4,76.63 119.43,82.5 102.03,90.77 118.96,119.8 86.77,99.89 79.87,121.43 69.65,98.4 40.65,120.18
8
+ 49.47,95.33 9.5,103.37 39.42,81.1 7.89,58.4 43.85,61.51 10.6,10.52 64,45.51 "/>
9
+ <radialGradient id="SVGID_1_" cx="77.5873" cy="75.7353" r="26.3653" gradientUnits="userSpaceOnUse">
10
+ <stop offset="0" style="stop-color:#FFFDE7"/>
11
+ <stop offset="1" style="stop-color:#FFF176"/>
12
+ </radialGradient>
13
+ <polygon style="fill:url(#SVGID_1_);stroke:#FFEB3B;stroke-width:2;stroke-miterlimit:10;" points="72.63,34.77 82.17,59.48
14
+ 101.05,38.17 86.86,67.91 104.07,62.74 88.12,78.59 101.48,82.98 88.68,84.87 98.87,99.31 82.31,88.73 78.5,101.05 72.63,86.96
15
+ 57.98,98.12 64,84.45 41,89.47 57.95,79.19 35.84,68.56 60.33,70.84 40.22,39.29 71.1,60.17 "/>
16
+ </g>
17
+ </svg>
package/dist/fonts/LeanWeb/2705.svg ADDED
@@ -0,0 +1,17 @@
1
+ <?xml version="1.0" encoding="utf-8"?>
2
+ <!-- Generator: Adobe Illustrator 25.2.3, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
3
+ <svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
4
+ viewBox="0 0 128 128" style="enable-background:new 0 0 128 128;" xml:space="preserve">
5
+ <g>
6
+ <path style="fill:#689F38;" d="M116.46,3.96h-104c-4.42,0-8,3.58-8,8v104c0,4.42,3.58,8,8,8h104c4.42,0,8-3.58,8-8v-104
7
+ C124.46,7.54,120.88,3.96,116.46,3.96z"/>
8
+ <path style="fill:#7CB342;" d="M110.16,3.96h-98.2c-4.13,0.03-7.47,3.37-7.5,7.5v97.9c-0.01,4.14,3.34,7.49,7.48,7.5
9
+ c0.01,0,0.01,0,0.02,0h98.1c4.14,0.01,7.49-3.34,7.5-7.48c0-0.01,0-0.01,0-0.02v-97.9c0.09-4.05-3.13-7.41-7.18-7.5
10
+ C110.31,3.96,110.23,3.96,110.16,3.96z"/>
11
+ <path style="opacity:0.3;fill:#FFFFFF;enable-background:new ;" d="M40.16,12.86c0-2.3-1.6-3-10.8-2.7c-7.7,0.3-11.5,1.2-13.8,4
12
+ s-2.9,8.5-3,15.3c0,4.8,0,9.3,2.5,9.3c3.4,0,3.4-7.9,6.2-12.3C26.66,17.76,40.16,15.86,40.16,12.86z"/>
13
+ <path style="fill:#FBF9F9;" d="M43.26,109.46c-3.96,0.11-7.51-2.42-8.7-6.2l-15.1-45.5c-1.46-4.81,1.26-9.9,6.07-11.36
14
+ c4.65-1.41,9.59,1.08,11.23,5.66l9.8,29.5l47.1-59.6c3.12-3.95,8.85-4.62,12.8-1.5s4.62,8.85,1.5,12.8l-57.6,72.7
15
+ C48.65,108.15,46.04,109.44,43.26,109.46z"/>
16
+ </g>
17
+ </svg>
package/dist/fonts/LeanWeb/274C.svg ADDED
@@ -0,0 +1,26 @@
1
+ <?xml version="1.0" encoding="utf-8"?>
2
+ <!-- Generator: Adobe Illustrator 25.2.3, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
3
+ <svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
4
+ viewBox="0 0 128 128" style="enable-background:new 0 0 128 128;" xml:space="preserve">
5
+ <path style="fill:#CC3333;" d="M58.9,78.6l-41.3,41.9c-1.5,1.5-3.2,2.5-5,3c4.1,1.2,8.6,0.2,11.8-3l38.2-38.1c0.8-0.8,2.1-0.8,2.8,0
6
+ l0,0l-3.7-3.8C61,77.8,59.7,77.8,58.9,78.6z"/>
7
+ <path style="fill:#CC3333;" d="M82.3,65.4c-0.8-0.8-0.8-2,0-2.8l38.2-38.1c4.7-4.7,4.7-12.3,0-17s-12.2-4.7-16.9,0L65.4,45.6
8
+ c-0.8,0.8-2,0.8-2.8,0L24.5,7.5c-4.7-4.7-12.3-4.7-17,0c-0.4,0.4-0.7,0.8-1,1.2C6.7,8.4,6.9,8.2,7.1,8c4.7-4.6,10.1-2.5,14.8,2.2
9
+ l37.6,38.5c0.8,0.8,2,0.8,2.8,0l39.3-39.2c4.7-4.7,9.4-5.1,14.1-0.4s3.9,9.6-0.8,14.3L75.6,62.6c-0.8,0.8-0.8,2,0,2.8
10
+ c0,0,38.1,38.2,38,38.2c4.7,4.7,6.5,10,1.8,14.7s-10.6,3.5-15.3-1.1l3.4,3.4c4.7,4.7,12.3,4.7,17,0s4.7-12.2,0-16.9
11
+ C120.5,103.6,82.3,65.4,82.3,65.4z"/>
12
+ <path style="fill:#F44336;" d="M115.4,118.3c4.7-4.7,2.9-10-1.8-14.7c0.1,0-38-38.2-38-38.2c-0.8-0.8-0.8-2,0-2.8l39.3-39.2
13
+ c4.7-4.7,5.5-9.6,0.8-14.3s-9.4-4.3-14.1,0.4L62.3,48.7c-0.8,0.8-2,0.8-2.8,0L21.9,10.2C17.2,5.5,11.8,3.4,7.1,8
14
+ C6.9,8.2,6.7,8.4,6.5,8.7c-3.7,4.7-3.3,11.4,1,15.7l38.1,38.2c0.8,0.8,0.8,2.1,0,2.8L7.5,103.5c-4.7,4.7-4.7,12.3,0,17
15
+ c1.5,1.5,3.2,2.5,5,3c1.8-0.6,3.6-1.6,5-3l41.3-41.9c0.8-0.8,2.1-0.8,2.8,0l3.7,3.8l34.7,34.8C104.8,121.8,110.7,123,115.4,118.3z"
16
+ />
17
+ <g>
18
+ <path style="opacity:0.2;fill:#FFFFFF;enable-background:new ;" d="M55,56.4c-1.1-1.6-32.3-33.1-32.3-33.1s-2.3-2.6-4.7-0.8
19
+ c-2.2,1.7-1.1,4.3,0.1,5.6s29,29.7,30.4,30.9c1.3,1.2,3.9,1.4,5.5,0.6S55.8,57.5,55,56.4z"/>
20
+ <circle style="opacity:0.2;fill:#FFFFFF;enable-background:new ;" cx="12.2" cy="19" r="3.3"/>
21
+ </g>
22
+ <g>
23
+ <path style="opacity:0.2;fill:#FFFFFF;enable-background:new ;" d="M72.1,81.8c1.1,1.6,32.8,32.6,32.8,32.6s2.3,2.6,4.7,0.7
24
+ c2.2-1.7,1-4.3-0.2-5.6C108.2,108.2,80,80.2,78.6,79c-1.3-1.2-3.9-1.3-5.5-0.5S71.3,80.7,72.1,81.8z"/>
25
+ </g>
26
+ </svg>
package/dist/fonts/LeanWeb-Regular.otf ADDED
Binary file
package/dist/infowebview.d.ts CHANGED
@@ -17,10 +17,10 @@ export declare class IFrameInfoWebview implements InfoWebview {
17
17
  export declare class IFrameInfoWebviewFactory implements InfoWebviewFactory {
18
18
  private themeService;
19
19
  private configurationService;
20
- private fontFile;
20
+ private fontFiles;
21
21
  private infoviewElement;
22
22
  private iframe;
23
- constructor(themeService: IThemeService, configurationService: IConfigurationService, fontFile: FontFace);
23
+ constructor(themeService: IThemeService, configurationService: IConfigurationService, fontFiles: FontFace[]);
24
24
  setInfoviewElement(infoviewElement: HTMLElement): void;
25
25
  make(editorApi: EditorApi, stylesheet: string, column: number): IFrameInfoWebview;
26
26
  private updateCssVars;
package/dist/infowebview.js CHANGED
@@ -25,13 +25,13 @@ export class IFrameInfoWebview {
25
25
  export class IFrameInfoWebviewFactory {
26
26
  themeService;
27
27
  configurationService;
28
- fontFile;
28
+ fontFiles;
29
29
  infoviewElement;
30
30
  iframe;
31
- constructor(themeService, configurationService, fontFile) {
31
+ constructor(themeService, configurationService, fontFiles) {
32
32
  this.themeService = themeService;
33
33
  this.configurationService = configurationService;
34
- this.fontFile = fontFile;
34
+ this.fontFiles = fontFiles;
35
35
  }
36
36
  setInfoviewElement(infoviewElement) {
37
37
  this.infoviewElement = infoviewElement;
@@ -100,13 +100,14 @@ export class IFrameInfoWebviewFactory {
100
100
  'text-link-decoration': linkUnderlines ? 'underline' : 'none',
101
101
  ...exportedColors
102
102
  };
103
- console.log(styles);
104
103
  for (const id in styles) {
105
104
  documentStyle?.setProperty(`--${id}`, styles[id]);
106
105
  }
107
106
  documentStyle?.setProperty('font-family', '-apple-system,BlinkMacSystemFont,Segoe WPC,Segoe UI,HelveticaNeue-Light,system-ui,Ubuntu,Droid Sans,sans-serif');
108
107
  this.iframe.contentDocument?.documentElement.setAttribute('class', `${this.apiThemeClassName(theme)}`);
109
- this.iframe.contentDocument?.fonts.add(this.fontFile);
108
+ this.fontFiles.map(font => {
109
+ this.iframe.contentDocument?.fonts.add(font);
110
+ });
110
111
  }
111
112
  apiThemeClassName(theme) {
112
113
  switch (theme.type) {
package/dist/leanmonaco.js CHANGED
@@ -106,13 +106,20 @@ export class LeanMonaco {
106
106
  }
107
107
  };
108
108
  this.taskGutter = new LeanTaskGutter(this.clientProvider, { asAbsolutePath: asAbsolutePath });
109
- const fontFile = new FontFace("JuliaMono", `url(${new URL("./JuliaMono-Regular.ttf", import.meta.url)})`);
110
- document.fonts.add(fontFile);
111
- this.iframeWebviewFactory = new IFrameInfoWebviewFactory(themeService, configurationService, fontFile);
109
+ // Load fonts
110
+ const fontFiles = [
111
+ new FontFace("JuliaMono", `url(${new URL("./fonts/JuliaMono-Regular.ttf", import.meta.url)})`),
112
+ new FontFace("LeanWeb", `url(${new URL("./fonts/LeanWeb-Regular.otf", import.meta.url)})`)
113
+ ];
114
+ fontFiles.map(font => {
115
+ document.fonts.add(font);
116
+ });
117
+ this.iframeWebviewFactory = new IFrameInfoWebviewFactory(themeService, configurationService, fontFiles);
112
118
  if (this.infoviewEl)
113
119
  this.iframeWebviewFactory.setInfoviewElement(this.infoviewEl);
114
120
  this.infoProvider = new InfoProvider(this.clientProvider, { language: 'lean4' }, {}, this.iframeWebviewFactory);
115
- await fontFile.load();
121
+ // Wait for all fonts to be loaded
122
+ await Promise.all(fontFiles.map(font => font.load()));
116
123
  // Here we provide default options for the editor. They can be overwritten by the user.
117
124
  this.updateVSCodeOptions({
118
125
  // Layout options, trying to maximise the usable space of the code editor
@@ -128,7 +135,7 @@ export class LeanMonaco {
128
135
  "editor.acceptSuggestionOnEnter": "off", // since there are plenty suggestions
129
136
  // other options
130
137
  "editor.renderWhitespace": "trailing",
131
- "editor.fontFamily": "JuliaMono",
138
+ "editor.fontFamily": "'LeanWeb', 'JuliaMono'",
132
139
  "editor.wordWrap": "on",
133
140
  "editor.wrappingStrategy": "advanced",
134
141
  "workbench.colorTheme": "Visual Studio Light",
package/dist/monacoleanclient.js CHANGED
@@ -1,4 +1,5 @@
1
1
  import { LanguageClientWrapper } from 'monaco-editor-wrapper';
2
+ import { displayError } from './vscode-lean4/vscode-lean4/src/utils/notifs';
2
3
  export const setupMonacoClient = (options) => {
3
4
  return async (clientOptions, folderUri, elanDefaultToolchain) => {
4
5
  const languageClientWrapper = new LanguageClientWrapper();
@@ -6,7 +7,24 @@ export const setupMonacoClient = (options) => {
6
7
  languageClientConfig: {
7
8
  languageId: 'lean4',
8
9
  options,
9
- clientOptions
10
+ clientOptions: {
11
+ ...clientOptions,
12
+ connectionOptions: {
13
+ ...clientOptions.connectionOptions,
14
+ messageStrategy: {
15
+ handleMessage: (message, next) => {
16
+ if (message.error) {
17
+ // TODO: Handle Lean errors correctly
18
+ displayError(message.error.message);
19
+ next(message); // remove this to prevent propagating the message
20
+ }
21
+ else {
22
+ next(message);
23
+ }
24
+ }
25
+ }
26
+ }
27
+ }
10
28
  }
11
29
  });
12
30
  await languageClientWrapper?.start();
package/dist/webview/webview.js CHANGED
@@ -1 +1 @@
1
- (()=>{"use strict";window.esmsInitOptions={shimMode:!0};var e="undefined"!=typeof globalThis?globalThis:"undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof self?self:{};function t(e){if(void 0===e)return"error";if("object"!=typeof e||e instanceof Array)return e;{const t={};for(const r of Object.getOwnPropertyNames(e))t[r]=e[r];return t}}!function(){const t="undefined"!=typeof document,r=()=>{},i=t?document.querySelector("script[type=esms-options]"):void 0,n=i?JSON.parse(i.innerHTML):{};Object.assign(n,self.esmsInitOptions||{});let s=!t||!!n.shimMode;const a=w(s&&n.onimport),o=w(s&&n.resolve);let c=n.fetch?w(n.fetch):fetch;const l=n.meta?w(s&&n.meta):r,f=n.mapOverrides;let u=n.nonce;if(!u&&t){const e=document.querySelector("script[nonce]");e&&(u=e.nonce||e.getAttribute("nonce"))}const d=w(n.onerror||r),{revokeBlobURLs:p,noLoadEventRetriggers:b,globalLoadEventRetrigger:m,enforceIntegrity:h}=n;function w(e){return"string"==typeof e?self[e]:e}const k=Array.isArray(n.polyfillEnable)?n.polyfillEnable:[],y=k.includes("css-modules"),g=k.includes("json-modules"),v=k.includes("wasm-modules"),$=k.includes("source-phase"),A=n.onpolyfill?w(n.onpolyfill):()=>{console.log("%c^^ Module error above is polyfilled and can be ignored ^^","font-weight:900;color:#391")},O=!navigator.userAgentData&&!!navigator.userAgent.match(/Edge\/\d+\.\d+/),x=t?document.baseURI:`${location.protocol}//${location.host}${location.pathname.includes("/")?location.pathname.slice(0,location.pathname.lastIndexOf("/")+1):location.pathname}`,S=(e,t="text/javascript")=>URL.createObjectURL(new Blob([e],{type:t}));let{skip:E}=n;if(Array.isArray(E)){const e=E.map((e=>new URL(e,x).href));E=t=>e.some((e=>"/"===e[e.length-1]&&t.startsWith(e)||t===e))}else if("string"==typeof E){const e=new RegExp(E);E=t=>e.test(t)}else E instanceof RegExp&&(E=e=>E.test(e));const j=e=>self.dispatchEvent(Object.assign(new Event("error"),{error:e})),L=e=>{(self.reportError||j)(e),d(e)};function M(e){return e?` imported from ${e}`:""}let C=!1;if(!s)if(document.querySelectorAll("script[type=module-shim],script[type=importmap-shim],link[rel=modulepreload-shim]").length)s=!0;else{let e=!1;for(const t of document.querySelectorAll("script[type=module],script[type=importmap]"))if(e){if("importmap"===t.type&&e){C=!0;break}}else"module"!==t.type||t.ep||(e=!0)}const I=/\\/g;function U(e){try{if(-1!==e.indexOf(":"))return new URL(e).href}catch(e){}}function P(e,t){return N(e,t)||U(e)||N("./"+e,t)}function N(e,t){const r=t.indexOf("#"),i=t.indexOf("?");if(r+i>-2&&(t=t.slice(0,-1===r?i:-1===i||i>r?r:i)),-1!==e.indexOf("\\")&&(e=e.replace(I,"/")),"/"===e[0]&&"/"===e[1])return t.slice(0,t.indexOf(":")+1)+e;if("."===e[0]&&("/"===e[1]||"."===e[1]&&("/"===e[2]||2===e.length&&(e+="/"))||1===e.length&&(e+="/"))||"/"===e[0]){const r=t.slice(0,t.indexOf(":")+1);if("blob:"===r)throw new TypeError(`Failed to resolve module specifier "${e}". Invalid relative url or base scheme isn't hierarchical.`);let i;if("/"===t[r.length+1]?"file:"!==r?(i=t.slice(r.length+2),i=i.slice(i.indexOf("/")+1)):i=t.slice(8):i=t.slice(r.length+("/"===t[r.length])),"/"===e[0])return t.slice(0,t.length-i.length-1)+e;const n=i.slice(0,i.lastIndexOf("/")+1)+e,s=[];let a=-1;for(let e=0;e<n.length;e++)if(-1===a){if("."===n[e]){if("."===n[e+1]&&("/"===n[e+2]||e+2===n.length)){s.pop(),e+=2;continue}if("/"===n[e+1]||e+1===n.length){e+=1;continue}}for(;"/"===n[e];)e++;a=e}else"/"===n[e]&&(s.push(n.slice(a,e+1)),a=-1);return-1!==a&&s.push(n.slice(a)),t.slice(0,t.length-i.length)+s.join("")}}function _(e,t,r){const i={imports:Object.assign({},r.imports),scopes:Object.assign({},r.scopes),integrity:Object.assign({},r.integrity)};if(e.imports&&W(e.imports,i.imports,t,r),e.scopes)for(let n in e.scopes){const s=P(n,t);W(e.scopes[n],i.scopes[s]||(i.scopes[s]={}),t,r)}return e.integrity&&function(e,t,r){for(let i in e){const n=N(i,r)||i;if((!s||!f)&&t[n]&&t[n]!==e[n])throw Error(`Rejected map integrity override "${n}" from ${t[n]} to ${e[n]}.`);t[n]=e[i]}}(e.integrity,i.integrity,t),i}function R(e,t){if(t[e])return e;let r=e.length;do{const i=e.slice(0,r+1);if(i in t)return i}while(-1!==(r=e.lastIndexOf("/",r-1)))}function T(e,t){const r=R(e,t);if(r){const i=t[r];if(null===i)return;return i+e.slice(r.length)}}function q(e,t,r){let i=r&&R(r,e.scopes);for(;i;){const r=T(t,e.scopes[i]);if(r)return r;i=R(i.slice(0,i.lastIndexOf("/")),e.scopes)}return T(t,e.imports)||-1!==t.indexOf(":")&&t}function W(e,t,r,i){for(let n in e){const a=N(n,r)||n;if((!s||!f)&&t[a]&&t[a]!==e[a])throw Error(`Rejected map override "${a}" from ${t[a]} to ${e[a]}.`);let o=e[n];if("string"!=typeof o)continue;const c=q(i,N(o,r)||o,r);c?t[a]=c:console.warn(`Mapping "${n}" -> "${e[n]}" does not resolve`)}}let J,H=!t&&(0,eval)("u=>import(u)");const z=t&&new Promise((e=>{const t=Object.assign(document.createElement("script"),{src:S("self._d=u=>import(u)"),ep:!0});t.setAttribute("nonce",u),t.addEventListener("load",(()=>{if(!(J=!!(H=self._d))){let e;window.addEventListener("error",(t=>e=t)),H=(t,r)=>new Promise(((i,n)=>{const s=Object.assign(document.createElement("script"),{type:"module",src:S(`import*as m from'${t}';self._esmsi=m`)});function a(a){document.head.removeChild(s),self._esmsi?(i(self._esmsi,x),self._esmsi=void 0):(n(!(a instanceof Event)&&a||e&&e.error||new Error(`Error loading ${r&&r.errUrl||t} (${s.src}).`)),e=void 0)}e=void 0,s.ep=!0,u&&s.setAttribute("nonce",u),s.addEventListener("error",a),s.addEventListener("load",a),document.head.appendChild(s)}))}document.head.removeChild(t),delete self._d,e()})),document.head.appendChild(t)}));let D=!1,B=!1;const F=t&&HTMLScriptElement.supports;let K=F&&"supports"===F.name&&F("importmap"),G=J,Q=!1,V=!1;const X=[0,97,115,109,1,0,0,0];let Y,Z,ee,te=Promise.resolve(z).then((()=>{if(J)return t?new Promise((e=>{const t=document.createElement("iframe");t.style.display="none",t.setAttribute("nonce",u),window.addEventListener("message",(function r({data:i}){Array.isArray(i)&&"esms"===i[0]&&([,K,G,B,D,Q,V]=i,e(),document.head.removeChild(t),window.removeEventListener("message",r,!1))}),!1);const r=`<script nonce=${u||""}>b=(s,type='text/javascript')=>URL.createObjectURL(new Blob([s],{type}));document.head.appendChild(Object.assign(document.createElement('script'),{type:'importmap',nonce:"${u}",innerText:\`{"imports":{"x":"\${b('')}"}}\`}));Promise.all([${K?"true,true":"'x',b('import.meta')"}, ${y?"b(`import\"${b('','text/css')}\"with{type:\"css\"}`)":"false"}, ${g?"b(`import\"${b('{}','text/json')}\"with{type:\"json\"}`)":"false"}, ${v?`b(\`import"\${b(new Uint8Array(${JSON.stringify(X)}),'application/wasm')}"\`)`:"false"}, ${v&&$?`b(\`import source x from "\${b(new Uint8Array(${JSON.stringify(X)}),'application/wasm')}"\`)`:"false"}].map(x =>typeof x==='string'?import(x).then(()=>true,()=>false):x)).then(a=>parent.postMessage(['esms'].concat(a),'*'))<\/script>`;let i=!1,n=!1;function s(){if(!i)return void(n=!0);const e=t.contentDocument;if(e&&0===e.head.childNodes.length){const t=e.createElement("script");u&&t.setAttribute("nonce",u),t.innerHTML=r.slice(15+(u?u.length:0),-9),e.head.appendChild(t)}}t.onload=s,document.head.appendChild(t),i=!0,"srcdoc"in t?t.srcdoc=r:t.contentDocument.write(r),n&&s()})):Promise.all([K||H(S("import.meta")).then((()=>G=!0),r),y&&H(S(`import"${S("","text/css")}"with{type:"css"}`)).then((()=>B=!0),r),g&&H(S(`import"${S("{}","text/json")}"with{type:"json"}`)).then((()=>D=!0),r),v&&H(S(`import"${S(new Uint8Array(X),"application/wasm")}"`)).then((()=>Q=!0),r),v&&$&&H(S(`import source x from"${S(new Uint8Array(X),"application/wasm")}"`)).then((()=>V=!0),r)])})),re=2<<19;const ie=1===new Uint8Array(new Uint16Array([1]).buffer)[0]?function(e,t){const r=e.length;let i=0;for(;i<r;)t[i]=e.charCodeAt(i++)}:function(e,t){const r=e.length;let i=0;for(;i<r;){const r=e.charCodeAt(i);t[i++]=(255&r)<<8|r>>>8}},ne="xportmportlassetaourceromsyncunctionssertvoyiedelecontininstantybreareturdebuggeawaithrwhileforifcatcfinallels";let se,ae,oe;function ce(e,t){oe=e;let r="",i=oe;for(;;){oe>=se.length&&de();const e=se.charCodeAt(oe);if(e===t)break;92===e?(r+=se.slice(i,oe),r+=le(),i=oe):(8232===e||8233===e||ue(e)&&de(),++oe)}return r+=se.slice(i,oe++),r}function le(){let e=se.charCodeAt(++oe);switch(++oe,e){case 110:return"\n";case 114:return"\r";case 120:return String.fromCharCode(fe(2));case 117:return function(){let e;return 123===se.charCodeAt(oe)?(++oe,e=fe(se.indexOf("}",oe)-oe),++oe,e>1114111&&de()):e=fe(4),e<=65535?String.fromCharCode(e):(e-=65536,String.fromCharCode(55296+(e>>10),56320+(1023&e)))}();case 116:return"\t";case 98:return"\b";case 118:return"\v";case 102:return"\f";case 13:10===se.charCodeAt(oe)&&++oe;case 10:return"";case 56:case 57:de();default:if(e>=48&&e<=55){let t=se.substr(oe-1,3).match(/^[0-7]+/)[0],r=parseInt(t,8);return r>255&&(t=t.slice(0,-1),r=parseInt(t,8)),oe+=t.length-1,e=se.charCodeAt(oe),"0"===t&&56!==e&&57!==e||de(),String.fromCharCode(r)}return ue(e)?"":String.fromCharCode(e)}}function fe(e){const t=oe;let r=0,i=0;for(let t=0;t<e;++t,++oe){let e,n=se.charCodeAt(oe);if(95!==n){if(n>=97)e=n-97+10;else if(n>=65)e=n-65+10;else{if(!(n>=48&&n<=57))break;e=n-48}if(e>=16)break;i=n,r=16*r+e}else 95!==i&&0!==t||de(),i=n}return 95!==i&&oe-t===e||de(),r}function ue(e){return 13===e||10===e}function de(){throw Object.assign(Error(`Parse error ${ae}:${se.slice(0,oe).split("\n").length}:${oe-se.lastIndexOf("\n",oe-1)}`),{idx:oe})}async function pe(e,t){const r=N(e,t)||U(e);return{r:q(xe,r||e,t)||ke(e,t),b:!r&&!U(e)}}const be=o?async(e,t)=>{let r=o(e,t,we);return r&&r.then&&(r=await r),r?{r,b:!N(e,t)&&!U(e)}:pe(e,t)}:pe;async function me(e,...r){let i=r[r.length-1];return"string"!=typeof i&&(i=x),await Se,a&&await a(e,"string"!=typeof r[1]?r[1]:{},i),(Me||s||!Oe)&&(t&&Qe(!0),s||(Me=!1)),await je,(await be(e,i)).r}async function he(...e){return Ce(await me(...e),{credentials:"same-origin"})}function we(e,t){return q(xe,N(e,t)||e,t)||ke(e,t)}function ke(e,t){throw Error(`Unable to resolve specifier '${e}'${M(t)}`)}$&&(he.source=async function(...e){const t=Fe(await me(...e),{credentials:"same-origin"},null,null);return Ee=void 0,Le&&!s&&t.n&&nativelyLoaded&&(A(),Le=!1),await t.f,he._s[t.r]}),self.importShim=he;const ye=(e,t=x)=>{t=`${t}`;const r=o&&o(e,t,we);return r&&!r.then?r:we(e,t)};function ge(e,t=this.url){return ye(e,t)}he.resolve=ye,he.getImportMap=()=>JSON.parse(JSON.stringify(xe)),he.addImportMap=e=>{if(!s)throw new Error("Unsupported in polyfill mode.");xe=_(e,x,xe)};const ve=he._r={},$e=he._s={};async function Ae(e,t){t[e.u]=1,await e.L,await Promise.all(e.d.map((({l:e,s:r})=>{if(!e.b&&!t[e.u])return r?e.f:Ae(e,t)}))),e.n||(e.n=e.d.some((e=>e.l.n)))}let Oe,xe={imports:{},scopes:{},integrity:{}};const Se=te.then((()=>{if(Oe=!0!==n.polyfillEnable&&J&&G&&K&&(!g||D)&&(!y||B)&&(!v||Q)&&(!$||V)&&!C,$&&"undefined"!=typeof WebAssembly&&!Object.getPrototypeOf(WebAssembly.Module).name){const e=Symbol(),r=t=>Object.defineProperty(t,e,{writable:!1,configurable:!1,value:"WebAssembly.Module"});class i{get[Symbol.toStringTag](){if(this[e])return this[e];throw new TypeError("Not an AbstractModuleSource")}}const{Module:a,compile:o,compileStreaming:c}=WebAssembly;WebAssembly.Module=Object.setPrototypeOf(Object.assign((function(...e){return r(new a(...e))}),a),i),WebAssembly.Module.prototype=Object.setPrototypeOf(a.prototype,i.prototype),WebAssembly.compile=function(...e){return o(...e).then(r)},WebAssembly.compileStreaming=function(...e){return c(...e).then(r)}}if(t){if(!K){const l=HTMLScriptElement.supports||(e=>"classic"===e||"module"===e);HTMLScriptElement.supports=e=>"importmap"===e||l(e)}if(s||!Oe)if(new MutationObserver((e=>{for(const t of e)if("childList"===t.type)for(const e of t.addedNodes)"SCRIPT"===e.tagName?(e.type===(s?"module-shim":"module")&&ot(e,!0),e.type===(s?"importmap-shim":"importmap")&&at(e,!0)):"LINK"===e.tagName&&e.rel===(s?"modulepreload-shim":"modulepreload")&&lt(e)})).observe(document,{childList:!0,subtree:!0}),Qe(),"complete"===document.readyState)it();else{async function f(){await Se,Qe(),"complete"===document.readyState&&(it(),document.removeEventListener("readystatechange",f))}document.addEventListener("readystatechange",f)}}}));let Ee,je=Se,Le=!0,Me=!0;async function Ce(e,t,r,i,n){if(s||(Me=!1),await Se,await je,a&&await a(e,"string"!=typeof t?t:{},""),!s&&Oe)return i?null:(await n,H(r?S(r):e,{errUrl:e||r}));const o=Fe(e,t,null,r);Ge(o,t);const c={};if(await Ae(o,c),Ee=void 0,Pe(o,c),await n,r&&!s&&!o.n){if(i)return;return p&&Ie(Object.keys(c)),await H(S(r),{errUrl:r})}Le&&!s&&o.n&&i&&(A(),Le=!1);const l=await H(s||o.n||!i?o.b:o.u,{errUrl:o.u});return o.s&&(await H(o.s)).u$_(l),p&&Ie(Object.keys(c)),l}function Ie(e){let t=0;const r=e.length,i=self.requestIdleCallback?self.requestIdleCallback:self.requestAnimationFrame;i((function n(){const s=100*t;if(!(s>r)){for(const t of e.slice(s,s+100)){const e=ve[t];e&&URL.revokeObjectURL(e.b)}t++,i(n)}}))}function Ue(e){return`'${e.replace(/'/g,"\\'")}'`}function Pe(e,t){if(e.b||!t[e.u])return;t[e.u]=0;for(const{l:r,s:i}of e.d)i||Pe(r,t);const[r,i]=e.a,n=e.S;let s=O&&Ee?`import '${Ee}';`:"",a=0,o=0,c=[];function f(t){for(;c[c.length-1]<t;){const t=c.pop();s+=`${n.slice(a,t)}, ${Ue(e.r)}`,a=t}s+=n.slice(a,t),a=t}for(const{s:t,ss:i,se:u,d,t:p}of r)if(4===p){let{l:r}=e.d[o++];f(i),s+="import ",a=i+14,f(t-1),s+=`/*${n.slice(t-1,u)}*/'${S(`export default importShim._s[${Ue(r.r)}]`)}'`,a=u}else if(-1===d){let{l:r}=e.d[o++],i=r.b,c=!i;c&&((i=r.s)||(i=r.s=S(`export function u$_(m){${r.a[1].map((({s:e,e:t},i)=>{const n='"'===r.S[e]||"'"===r.S[e];return`e$_${i}=m${n?"[":"."}${r.S.slice(e,t)}${n?"]":""}`})).join(",")}}${r.a[1].length?`let ${r.a[1].map(((e,t)=>`e$_${t}`)).join(",")};`:""}export {${r.a[1].map((({s:e,e:t},i)=>`e$_${i} as ${r.S.slice(e,t)}`)).join(",")}}\n//# sourceURL=${r.r}?cycle`))),f(t-1),s+=`/*${n.slice(t-1,u)}*/'${i}'`,!c&&r.s&&(s+=`;import*as m$_${o} from'${r.b}';import{u$_ as u$_${o}}from'${r.s}';u$_${o}(m$_${o})`,r.s=void 0),a=u}else-2===d?(e.m={url:e.r,resolve:ge},l(e.m,e.u),f(t),s+=`importShim._r[${Ue(e.u)}].m`,a=u):(f(i+6),s+=`Shim${5===p?".source":""}(`,c.push(u-1),a=t);function u(t,r){const i=r+t.length,o=n.indexOf("\n",i),c=-1!==o?o:n.length;f(i),s+=new URL(n.slice(i,c),e.r).href,a=c}!e.s||0!==r.length&&-1!==r[r.length-1].d||(s+=`\n;import{u$_}from'${e.s}';try{u$_({${i.filter((e=>e.ln)).map((({s:e,e:t,ln:r})=>`${n.slice(e,t)}:${r}`)).join(",")}})}catch(_){};\n`);let d=n.lastIndexOf(Ne),p=n.lastIndexOf(_e);d<a&&(d=-1),p<a&&(p=-1),-1!==d&&(-1===p||p>d)&&u(Ne,d),-1!==p&&(u(_e,p),-1!==d&&d>p&&u(Ne,d)),f(n.length),-1===d&&(s+=Ne+e.r),e.b=Ee=S(s),e.S=void 0}const Ne="\n//# sourceURL=",_e="\n//# sourceMappingURL=",Re=/^(text|application)\/(x-)?javascript(;|$)/,Te=/^(application)\/wasm(;|$)/,qe=/^(text|application)\/json(;|$)/,We=/^(text|application)\/css(;|$)/,Je=/url\(\s*(?:(["'])((?:\\.|[^\n\\"'])+)\1|((?:\\.|[^\s,"'()\\])+))\s*\)/g;let He=[],ze=0;async function De(e,t,r){if(h&&!t.integrity)throw Error(`No integrity for ${e}${M(r)}.`);const i=function(){if(++ze>100)return new Promise((e=>He.push(e)))}();i&&await i;try{var n=await c(e,t)}catch(t){throw t.message=`Unable to fetch ${e}${M(r)} - see network log for details.\n`+t.message,t}finally{ze--,He.length&&He.shift()()}if(!n.ok){const e=new TypeError(`${n.status} ${n.statusText} ${n.url}${M(r)}`);throw e.response=n,e}return n}async function Be(e,t,r){const i=xe.integrity[e],n=await De(e,i&&!t.integrity?Object.assign({},t,{integrity:i}):t,r),s=n.url,a=n.headers.get("content-type");if(Re.test(a))return{r:s,s:await n.text(),sp:null,t:"js"};if(Te.test(a)){const e=await($e[s]||($e[s]=WebAssembly.compileStreaming(n)));$e[s]=e;let t="",r=0,i="";for(const n of WebAssembly.Module.imports(e)){const e=Ue(n.module);t+=`import * as impt${r} from ${e};\n`,i+=`${e}:impt${r++},`}r=0,t+=`const instance = await WebAssembly.instantiate(importShim._s[${Ue(s)}], {${i}});\n`;for(const r of WebAssembly.Module.exports(e))t+=`export const ${r.name} = instance.exports['${r.name}'];\n`;return{r:s,s:t,t:"wasm"}}if(qe.test(a))return{r:s,s:`export default ${await n.text()}`,sp:null,t:"json"};if(We.test(a))return{r:s,s:`var s=new CSSStyleSheet();s.replaceSync(${JSON.stringify((await n.text()).replace(Je,((t,r="",i,n)=>`url(${r}${P(i||n,e)}${r})`)))});export default s;`,ss:null,t:"css"};throw Error(`Unsupported Content-Type "${a}" loading ${e}${M(r)}. Modules must be served with a valid MIME type like application/javascript.`)}function Fe(t,r,i,n){if(n&&ve[t]){let e=0;for(;ve[t+ ++e];);t+=e}let a=ve[t];return a||(ve[t]=a={u:t,r:n?t:void 0,f:void 0,S:n,L:void 0,a:void 0,d:void 0,b:void 0,s:void 0,n:!1,t:null,m:null},a.f=(async()=>{if(!a.S){let e;if(({r:a.r,s:a.S,t:e}=await(ct[t]||Be(t,r,i))),e&&!s){if("css"===e&&!y||"json"===e&&!g||"wasm"===e&&!v)throw Ke(`${e}-modules`);("css"===e&&!B||"json"===e&&!D||"wasm"===e&&!Q)&&(a.n=!0)}}try{a.a=function(t,r="@"){se=t,ae=r;const i=2*se.length+(2<<18);if(i>re||!Y){for(;i>re;)re*=2;Z=new ArrayBuffer(re),ie(ne,new Uint16Array(Z,16,110)),Y=function(e,t,r){"use asm";var i=new e.Int8Array(r),n=new e.Int16Array(r),s=new e.Int32Array(r),a=new e.Uint8Array(r),o=new e.Uint16Array(r),c=1040;function l(){var e=0,t=0,r=0,a=0,l=0,p=0;p=c;c=c+10240|0;i[804]=1;i[803]=0;n[399]=0;n[400]=0;s[69]=s[2];i[805]=0;s[68]=0;i[802]=0;s[70]=p+2048;s[71]=p;i[806]=0;e=(s[3]|0)+-2|0;s[72]=e;t=e+(s[66]<<1)|0;s[73]=t;e:while(1){r=e+2|0;s[72]=r;if(e>>>0>=t>>>0){l=18;break}t:do{switch(n[r>>1]|0){case 9:case 10:case 11:case 12:case 13:case 32:break;case 101:{if((((n[400]|0)==0?q(r)|0:0)?(A(e+4|0,16,10)|0)==0:0)?(f(),(i[804]|0)==0):0){l=9;break e}else l=17;break}case 105:{if(q(r)|0?(A(e+4|0,26,10)|0)==0:0){u();l=17}else l=17;break}case 59:{l=17;break}case 47:switch(n[e+4>>1]|0){case 47:{U();break t}case 42:{$(1);break t}default:{l=16;break e}}default:{l=16;break e}}}while(0);if((l|0)==17){l=0;s[69]=s[72]}e=s[72]|0;t=s[73]|0}if((l|0)==9){e=s[72]|0;s[69]=e;l=19}else if((l|0)==16){i[804]=0;s[72]=e;l=19}else if((l|0)==18)if(!(i[802]|0)){e=r;l=19}else e=0;do{if((l|0)==19){e:while(1){t=e+2|0;s[72]=t;if(e>>>0>=(s[73]|0)>>>0){l=86;break}t:do{switch(n[t>>1]|0){case 9:case 10:case 11:case 12:case 13:case 32:break;case 101:{if(((n[400]|0)==0?q(t)|0:0)?(A(e+4|0,16,10)|0)==0:0){f();l=85}else l=85;break}case 105:{if(q(t)|0?(A(e+4|0,26,10)|0)==0:0){u();l=85}else l=85;break}case 99:{if((q(t)|0?(A(e+4|0,36,8)|0)==0:0)?G(n[e+12>>1]|0)|0:0){i[806]=1;l=85}else l=85;break}case 40:{a=s[70]|0;t=n[400]|0;l=t&65535;s[a+(l<<3)>>2]=1;r=s[69]|0;n[400]=t+1<<16>>16;s[a+(l<<3)+4>>2]=r;l=85;break}case 41:{t=n[400]|0;if(!(t<<16>>16)){l=36;break e}l=t+-1<<16>>16;n[400]=l;a=n[399]|0;t=a&65535;if(a<<16>>16!=0?(s[(s[70]|0)+((l&65535)<<3)>>2]|0)==5:0){t=s[(s[71]|0)+(t+-1<<2)>>2]|0;r=t+4|0;if(!(s[r>>2]|0))s[r>>2]=(s[69]|0)+2;s[t+12>>2]=e+4;n[399]=a+-1<<16>>16;l=85}else l=85;break}case 123:{l=s[69]|0;a=s[63]|0;e=l;do{if((n[l>>1]|0)==41&(a|0)!=0?(s[a+4>>2]|0)==(l|0):0){t=s[64]|0;s[63]=t;if(!t){s[59]=0;break}else{s[t+32>>2]=0;break}}}while(0);a=s[70]|0;r=n[400]|0;l=r&65535;s[a+(l<<3)>>2]=(i[806]|0)==0?2:6;n[400]=r+1<<16>>16;s[a+(l<<3)+4>>2]=e;i[806]=0;l=85;break}case 125:{e=n[400]|0;if(!(e<<16>>16)){l=49;break e}a=s[70]|0;l=e+-1<<16>>16;n[400]=l;if((s[a+((l&65535)<<3)>>2]|0)==4){b();l=85}else l=85;break}case 39:{w(39);l=85;break}case 34:{w(34);l=85;break}case 47:switch(n[e+4>>1]|0){case 47:{U();break t}case 42:{$(1);break t}default:{e=s[69]|0;t=n[e>>1]|0;r:do{if(!(x(t)|0)){switch(t<<16>>16){case 41:if(_(s[(s[70]|0)+(o[400]<<3)+4>>2]|0)|0)break r;else{l=66;break r}case 125:break;default:{l=66;break r}}r=s[70]|0;a=o[400]|0;if(!(v(s[r+(a<<3)+4>>2]|0)|0)?(s[r+(a<<3)>>2]|0)!=6:0)l=66}else switch(t<<16>>16){case 46:if(((n[e+-2>>1]|0)+-48&65535)<10){l=66;break r}else break r;case 43:if((n[e+-2>>1]|0)==43){l=66;break r}else break r;case 45:if((n[e+-2>>1]|0)==45){l=66;break r}else break r;default:break r}}while(0);r:do{if((l|0)==66?(0,!(d(e)|0)):0){switch(t<<16>>16){case 0:break r;case 47:{if(i[805]|0)break r;break}default:{}}l=s[65]|0;if((l|0?e>>>0>=(s[l>>2]|0)>>>0:0)?e>>>0<=(s[l+4>>2]|0)>>>0:0){g();i[805]=0;l=85;break t}r=s[3]|0;do{if(e>>>0<=r>>>0)break;e=e+-2|0;s[69]=e;t=n[e>>1]|0}while(!(I(t)|0));if(R(t)|0){do{if(e>>>0<=r>>>0)break;e=e+-2|0;s[69]=e}while(R(n[e>>1]|0)|0);if(M(e)|0){g();i[805]=0;l=85;break t}}i[805]=1;l=85;break t}}while(0);g();i[805]=0;l=85;break t}}case 96:{a=s[70]|0;r=n[400]|0;l=r&65535;s[a+(l<<3)+4>>2]=s[69];n[400]=r+1<<16>>16;s[a+(l<<3)>>2]=3;b();l=85;break}default:l=85}}while(0);if((l|0)==85){l=0;s[69]=s[72]}e=s[72]|0}if((l|0)==36){K();e=0;break}else if((l|0)==49){K();e=0;break}else if((l|0)==86){e=(i[802]|0)==0?(n[399]|n[400])<<16>>16==0:0;break}}}while(0);c=p;return e|0}function f(){var e=0,t=0,r=0,a=0,o=0,c=0,l=0,f=0,u=0,d=0,b=0,h=0,y=0,g=0;f=s[72]|0;u=s[65]|0;g=f+12|0;s[72]=g;r=m(1)|0;e=s[72]|0;if(!((e|0)==(g|0)?!(O(r)|0):0))y=3;e:do{if((y|0)==3){t:do{switch(r<<16>>16){case 123:{s[72]=e+2;e=m(1)|0;t=s[72]|0;while(1){if(Q(e)|0){w(e);e=(s[72]|0)+2|0;s[72]=e}else{P(e)|0;e=s[72]|0}m(1)|0;e=k(t,e)|0;if(e<<16>>16==44){s[72]=(s[72]|0)+2;e=m(1)|0}if(e<<16>>16==125){y=15;break}g=t;t=s[72]|0;if((t|0)==(g|0)){y=12;break}if(t>>>0>(s[73]|0)>>>0){y=14;break}}if((y|0)==12){K();break e}else if((y|0)==14){K();break e}else if((y|0)==15){i[803]=1;s[72]=(s[72]|0)+2;break t}break}case 42:{s[72]=e+2;m(1)|0;g=s[72]|0;k(g,g)|0;break}default:{i[804]=0;switch(r<<16>>16){case 100:{f=e+14|0;s[72]=f;switch((m(1)|0)<<16>>16){case 97:{t=s[72]|0;if((A(t+2|0,66,8)|0)==0?(o=t+10|0,R(n[o>>1]|0)|0):0){s[72]=o;m(0)|0;y=22}break}case 102:{y=22;break}case 99:{t=s[72]|0;if(((A(t+2|0,36,8)|0)==0?(a=t+10|0,g=n[a>>1]|0,G(g)|0|g<<16>>16==123):0)?(s[72]=a,c=m(1)|0,c<<16>>16!=123):0){h=c;y=31}break}default:{}}r:do{if((y|0)==22?(l=s[72]|0,(A(l+2|0,74,14)|0)==0):0){r=l+16|0;t=n[r>>1]|0;if(!(G(t)|0))switch(t<<16>>16){case 40:case 42:break;default:break r}s[72]=r;t=m(1)|0;if(t<<16>>16==42){s[72]=(s[72]|0)+2;t=m(1)|0}if(t<<16>>16!=40){h=t;y=31}}}while(0);if((y|0)==31?(d=s[72]|0,P(h)|0,b=s[72]|0,b>>>0>d>>>0):0){j(e,f,d,b);s[72]=(s[72]|0)+-2;break e}j(e,f,0,0);s[72]=e+12;break e}case 97:{s[72]=e+10;m(0)|0;e=s[72]|0;y=35;break}case 102:{y=35;break}case 99:{if((A(e+2|0,36,8)|0)==0?(t=e+10|0,I(n[t>>1]|0)|0):0){s[72]=t;g=m(1)|0;y=s[72]|0;P(g)|0;g=s[72]|0;j(y,g,y,g);s[72]=(s[72]|0)+-2;break e}e=e+4|0;s[72]=e;break}case 108:case 118:break;default:break e}if((y|0)==35){s[72]=e+16;e=m(1)|0;if(e<<16>>16==42){s[72]=(s[72]|0)+2;e=m(1)|0}y=s[72]|0;P(e)|0;g=s[72]|0;j(y,g,y,g);s[72]=(s[72]|0)+-2;break e}s[72]=e+6;i[804]=0;r=m(1)|0;e=s[72]|0;r=(P(r)|0|32)<<16>>16==123;a=s[72]|0;if(r){s[72]=a+2;g=m(1)|0;e=s[72]|0;P(g)|0}r:while(1){t=s[72]|0;if((t|0)==(e|0))break;j(e,t,e,t);t=m(1)|0;if(r)switch(t<<16>>16){case 93:case 125:break e;default:{}}e=s[72]|0;if(t<<16>>16!=44){y=51;break}s[72]=e+2;t=m(1)|0;e=s[72]|0;switch(t<<16>>16){case 91:case 123:{y=51;break r}default:{}}P(t)|0}if((y|0)==51)s[72]=e+-2;if(!r)break e;s[72]=a+-2;break e}}}while(0);g=(m(1)|0)<<16>>16==102;e=s[72]|0;if(g?(A(e+2|0,60,6)|0)==0:0){s[72]=e+8;p(f,m(1)|0,0);e=(u|0)==0?240:u+16|0;while(1){e=s[e>>2]|0;if(!e)break e;s[e+12>>2]=0;s[e+8>>2]=0;e=e+16|0}}s[72]=e+-2}}while(0);return}function u(){var e=0,t=0,r=0,a=0,o=0,c=0,l=0;o=s[72]|0;r=o+12|0;s[72]=r;a=m(1)|0;t=s[72]|0;e:do{if(a<<16>>16!=46)if(a<<16>>16==115&t>>>0>r>>>0)if((A(t+2|0,50,10)|0)==0?(e=t+12|0,G(n[e>>1]|0)|0):0)c=14;else{t=6;r=0;c=46}else{e=a;r=0;c=15}else{s[72]=t+2;switch((m(1)|0)<<16>>16){case 109:{e=s[72]|0;if(A(e+2|0,44,6)|0)break e;t=s[69]|0;if(!(T(t)|0)?(n[t>>1]|0)==46:0)break e;h(o,o,e+8|0,2);break e}case 115:{e=s[72]|0;if(A(e+2|0,50,10)|0)break e;t=s[69]|0;if(!(T(t)|0)?(n[t>>1]|0)==46:0)break e;e=e+12|0;c=14;break e}default:break e}}}while(0);if((c|0)==14){s[72]=e;e=m(1)|0;r=1;c=15}e:do{if((c|0)==15)switch(e<<16>>16){case 40:{t=s[70]|0;l=n[400]|0;a=l&65535;s[t+(a<<3)>>2]=5;e=s[72]|0;n[400]=l+1<<16>>16;s[t+(a<<3)+4>>2]=e;if((n[s[69]>>1]|0)==46)break e;s[72]=e+2;t=m(1)|0;h(o,s[72]|0,0,e);if(r){e=s[63]|0;s[e+28>>2]=5}else e=s[63]|0;o=s[71]|0;l=n[399]|0;n[399]=l+1<<16>>16;s[o+((l&65535)<<2)>>2]=e;switch(t<<16>>16){case 39:{w(39);break}case 34:{w(34);break}default:{s[72]=(s[72]|0)+-2;break e}}e=(s[72]|0)+2|0;s[72]=e;switch((m(1)|0)<<16>>16){case 44:{s[72]=(s[72]|0)+2;m(1)|0;o=s[63]|0;s[o+4>>2]=e;l=s[72]|0;s[o+16>>2]=l;i[o+24>>0]=1;s[72]=l+-2;break e}case 41:{n[400]=(n[400]|0)+-1<<16>>16;l=s[63]|0;s[l+4>>2]=e;s[l+12>>2]=(s[72]|0)+2;i[l+24>>0]=1;n[399]=(n[399]|0)+-1<<16>>16;break e}default:{s[72]=(s[72]|0)+-2;break e}}}case 123:{if(r){t=12;r=1;c=46;break e}e=s[72]|0;if(n[400]|0){s[72]=e+-2;break e}while(1){if(e>>>0>=(s[73]|0)>>>0)break;e=m(1)|0;if(!(Q(e)|0)){if(e<<16>>16==125){c=36;break}}else w(e);e=(s[72]|0)+2|0;s[72]=e}if((c|0)==36)s[72]=(s[72]|0)+2;l=(m(1)|0)<<16>>16==102;e=s[72]|0;if(l?A(e+2|0,60,6)|0:0){K();break e}s[72]=e+8;e=m(1)|0;if(Q(e)|0){p(o,e,0);break e}else{K();break e}}default:{if(r){t=12;r=1;c=46;break e}switch(e<<16>>16){case 42:case 39:case 34:{r=0;c=48;break e}default:{t=6;r=0;c=46;break e}}}}}while(0);if((c|0)==46){e=s[72]|0;if((e|0)==(o+(t<<1)|0))s[72]=e+-2;else c=48}do{if((c|0)==48){if(n[400]|0){s[72]=(s[72]|0)+-2;break}e=s[73]|0;t=s[72]|0;while(1){if(t>>>0>=e>>>0){c=55;break}a=n[t>>1]|0;if(Q(a)|0){c=53;break}l=t+2|0;s[72]=l;t=l}if((c|0)==53){p(o,a,r);break}else if((c|0)==55){K();break}}}while(0);return}function d(e){e=e|0;var t=0,r=0;e:do{switch(n[e>>1]|0){case 100:switch(n[e+-2>>1]|0){case 105:{t=L(e+-4|0,98,2)|0;break e}case 108:{t=L(e+-4|0,102,3)|0;break e}default:{t=0;break e}}case 101:switch(n[e+-2>>1]|0){case 115:switch(n[e+-4>>1]|0){case 108:{t=C(e+-6|0,101)|0;break e}case 97:{t=C(e+-6|0,99)|0;break e}default:{t=0;break e}}case 116:{t=L(e+-4|0,108,4)|0;break e}case 117:{t=L(e+-4|0,116,6)|0;break e}default:{t=0;break e}}case 102:{if((n[e+-2>>1]|0)==111){r=e+-4|0;if((r|0)!=(s[3]|0)?(t=n[r>>1]|0,!(I(t)|0)):0)if(t<<16>>16==101)switch(n[e+-6>>1]|0){case 99:{t=L(e+-8|0,128,6)|0;break e}case 112:{t=L(e+-8|0,140,2)|0;break e}default:{t=0;break e}}else t=0;else t=1}else t=0;break}case 107:{t=L(e+-2|0,144,4)|0;break}case 110:{t=e+-2|0;if(C(t,105)|0)t=1;else t=L(t,152,5)|0;break}case 111:{t=C(e+-2|0,100)|0;break}case 114:{t=L(e+-2|0,162,7)|0;break}case 116:{t=L(e+-2|0,176,4)|0;break}case 119:switch(n[e+-2>>1]|0){case 101:{t=C(e+-4|0,110)|0;break e}case 111:{t=L(e+-4|0,184,3)|0;break e}default:{t=0;break e}}default:t=0}}while(0);return t|0}function p(e,t,r){e=e|0;t=t|0;r=r|0;var i=0,a=0;i=(s[72]|0)+2|0;switch(t<<16>>16){case 39:{w(39);a=5;break}case 34:{w(34);a=5;break}default:K()}do{if((a|0)==5){h(e,i,s[72]|0,1);if(r)s[(s[63]|0)+28>>2]=4;s[72]=(s[72]|0)+2;t=m(0)|0;r=t<<16>>16==97;if(r){i=s[72]|0;if(A(i+2|0,88,10)|0)a=13}else{i=s[72]|0;if(!(((t<<16>>16==119?(n[i+2>>1]|0)==105:0)?(n[i+4>>1]|0)==116:0)?(n[i+6>>1]|0)==104:0))a=13}if((a|0)==13){s[72]=i+-2;break}s[72]=i+((r?6:4)<<1);if((m(1)|0)<<16>>16!=123){s[72]=i;break}r=s[72]|0;t=r;e:while(1){s[72]=t+2;t=m(1)|0;switch(t<<16>>16){case 39:{w(39);s[72]=(s[72]|0)+2;t=m(1)|0;break}case 34:{w(34);s[72]=(s[72]|0)+2;t=m(1)|0;break}default:t=P(t)|0}if(t<<16>>16!=58){a=22;break}s[72]=(s[72]|0)+2;switch((m(1)|0)<<16>>16){case 39:{w(39);break}case 34:{w(34);break}default:{a=26;break e}}s[72]=(s[72]|0)+2;switch((m(1)|0)<<16>>16){case 125:{a=31;break e}case 44:break;default:{a=30;break e}}s[72]=(s[72]|0)+2;if((m(1)|0)<<16>>16==125){a=31;break}t=s[72]|0}if((a|0)==22){s[72]=i;break}else if((a|0)==26){s[72]=i;break}else if((a|0)==30){s[72]=i;break}else if((a|0)==31){a=s[63]|0;s[a+16>>2]=r;s[a+12>>2]=(s[72]|0)+2;break}}}while(0);return}function b(){var e=0,t=0,r=0,i=0;t=s[73]|0;r=s[72]|0;e:while(1){e=r+2|0;if(r>>>0>=t>>>0){t=10;break}switch(n[e>>1]|0){case 96:{t=7;break e}case 36:{if((n[r+4>>1]|0)==123){t=6;break e}break}case 92:{e=r+4|0;break}default:{}}r=e}if((t|0)==6){e=r+4|0;s[72]=e;t=s[70]|0;i=n[400]|0;r=i&65535;s[t+(r<<3)>>2]=4;n[400]=i+1<<16>>16;s[t+(r<<3)+4>>2]=e}else if((t|0)==7){s[72]=e;r=s[70]|0;i=(n[400]|0)+-1<<16>>16;n[400]=i;if((s[r+((i&65535)<<3)>>2]|0)!=3)K()}else if((t|0)==10){s[72]=e;K()}return}function m(e){e=e|0;var t=0,r=0,i=0;r=s[72]|0;e:do{t=n[r>>1]|0;t:do{if(t<<16>>16!=47)if(e)if(G(t)|0)break;else break e;else if(R(t)|0)break;else break e;else switch(n[r+2>>1]|0){case 47:{U();break t}case 42:{$(e);break t}default:{t=47;break e}}}while(0);i=s[72]|0;r=i+2|0;s[72]=r}while(i>>>0<(s[73]|0)>>>0);return t|0}function h(e,t,r,n){e=e|0;t=t|0;r=r|0;n=n|0;var a=0,o=0;o=s[67]|0;s[67]=o+36;a=s[63]|0;s[((a|0)==0?236:a+32|0)>>2]=o;s[64]=a;s[63]=o;s[o+8>>2]=e;if(2==(n|0)){e=3;a=r}else{a=1==(n|0);e=a?1:2;a=a?r+2|0:0}s[o+12>>2]=a;s[o+28>>2]=e;s[o>>2]=t;s[o+4>>2]=r;s[o+16>>2]=0;s[o+20>>2]=n;t=1==(n|0);i[o+24>>0]=t&1;s[o+32>>2]=0;if(t|2==(n|0))i[803]=1;return}function w(e){e=e|0;var t=0,r=0,i=0,a=0;a=s[73]|0;t=s[72]|0;while(1){i=t+2|0;if(t>>>0>=a>>>0){t=9;break}r=n[i>>1]|0;if(r<<16>>16==e<<16>>16){t=10;break}if(r<<16>>16==92){r=t+4|0;if((n[r>>1]|0)==13){t=t+6|0;t=(n[t>>1]|0)==10?t:r}else t=r}else if(Y(r)|0){t=9;break}else t=i}if((t|0)==9){s[72]=i;K()}else if((t|0)==10)s[72]=i;return}function k(e,t){e=e|0;t=t|0;var r=0,i=0,a=0,o=0;r=s[72]|0;i=n[r>>1]|0;o=(e|0)==(t|0);a=o?0:e;o=o?0:t;if(i<<16>>16==97){s[72]=r+4;r=m(1)|0;e=s[72]|0;if(Q(r)|0){w(r);t=(s[72]|0)+2|0;s[72]=t}else{P(r)|0;t=s[72]|0}i=m(1)|0;r=s[72]|0}if((r|0)!=(e|0))j(e,t,a,o);return i|0}function y(){var e=0,t=0,r=0;r=s[73]|0;t=s[72]|0;e:while(1){e=t+2|0;if(t>>>0>=r>>>0){t=6;break}switch(n[e>>1]|0){case 13:case 10:{t=6;break e}case 93:{t=7;break e}case 92:{e=t+4|0;break}default:{}}t=e}if((t|0)==6){s[72]=e;K();e=0}else if((t|0)==7){s[72]=e;e=93}return e|0}function g(){var e=0,t=0,r=0;e:while(1){e=s[72]|0;t=e+2|0;s[72]=t;if(e>>>0>=(s[73]|0)>>>0){r=7;break}switch(n[t>>1]|0){case 13:case 10:{r=7;break e}case 47:break e;case 91:{y()|0;break}case 92:{s[72]=e+4;break}default:{}}}if((r|0)==7)K();return}function v(e){e=e|0;switch(n[e>>1]|0){case 62:{e=(n[e+-2>>1]|0)==61;break}case 41:case 59:{e=1;break}case 104:{e=L(e+-2|0,210,4)|0;break}case 121:{e=L(e+-2|0,218,6)|0;break}case 101:{e=L(e+-2|0,230,3)|0;break}default:e=0}return e|0}function $(e){e=e|0;var t=0,r=0,i=0,a=0,o=0;a=(s[72]|0)+2|0;s[72]=a;r=s[73]|0;while(1){t=a+2|0;if(a>>>0>=r>>>0)break;i=n[t>>1]|0;if(!e?Y(i)|0:0)break;if(i<<16>>16==42?(n[a+4>>1]|0)==47:0){o=8;break}a=t}if((o|0)==8){s[72]=t;t=a+4|0}s[72]=t;return}function A(e,t,r){e=e|0;t=t|0;r=r|0;var n=0,s=0;e:do{if(!r)e=0;else{while(1){n=i[e>>0]|0;s=i[t>>0]|0;if(n<<24>>24!=s<<24>>24)break;r=r+-1|0;if(!r){e=0;break e}else{e=e+1|0;t=t+1|0}}e=(n&255)-(s&255)|0}}while(0);return e|0}function O(e){e=e|0;e:do{switch(e<<16>>16){case 38:case 37:case 33:{e=1;break}default:if((e&-8)<<16>>16==40|(e+-58&65535)<6)e=1;else{switch(e<<16>>16){case 91:case 93:case 94:{e=1;break e}default:{}}e=(e+-123&65535)<4}}}while(0);return e|0}function x(e){e=e|0;e:do{switch(e<<16>>16){case 38:case 37:case 33:break;default:if(!((e+-58&65535)<6|(e+-40&65535)<7&e<<16>>16!=41)){switch(e<<16>>16){case 91:case 94:break e;default:{}}return e<<16>>16!=125&(e+-123&65535)<4|0}}}while(0);return 1}function S(e){e=e|0;var t=0;t=n[e>>1]|0;e:do{if((t+-9&65535)>=5){switch(t<<16>>16){case 160:case 32:{t=1;break e}default:{}}if(O(t)|0)return t<<16>>16!=46|(T(e)|0)|0;else t=0}else t=1}while(0);return t|0}function E(e){e=e|0;var t=0,r=0,i=0,a=0;r=c;c=c+16|0;i=r;s[i>>2]=0;s[66]=e;t=s[3]|0;a=t+(e<<1)|0;e=a+2|0;n[a>>1]=0;s[i>>2]=e;s[67]=e;s[59]=0;s[63]=0;s[61]=0;s[60]=0;s[65]=0;s[62]=0;c=r;return t|0}function j(e,t,r,n){e=e|0;t=t|0;r=r|0;n=n|0;var a=0,o=0;a=s[67]|0;s[67]=a+20;o=s[65]|0;s[((o|0)==0?240:o+16|0)>>2]=a;s[65]=a;s[a>>2]=e;s[a+4>>2]=t;s[a+8>>2]=r;s[a+12>>2]=n;s[a+16>>2]=0;i[803]=1;return}function L(e,t,r){e=e|0;t=t|0;r=r|0;var i=0,n=0;i=e+(0-r<<1)|0;n=i+2|0;e=s[3]|0;if(n>>>0>=e>>>0?(A(n,t,r<<1)|0)==0:0)if((n|0)==(e|0))e=1;else e=S(i)|0;else e=0;return e|0}function M(e){e=e|0;switch(n[e>>1]|0){case 107:{e=L(e+-2|0,144,4)|0;break}case 101:{if((n[e+-2>>1]|0)==117)e=L(e+-4|0,116,6)|0;else e=0;break}default:e=0}return e|0}function C(e,t){e=e|0;t=t|0;var r=0;r=s[3]|0;if(r>>>0<=e>>>0?(n[e>>1]|0)==t<<16>>16:0)if((r|0)==(e|0))r=1;else r=I(n[e+-2>>1]|0)|0;else r=0;return r|0}function I(e){e=e|0;e:do{if((e+-9&65535)<5)e=1;else{switch(e<<16>>16){case 32:case 160:{e=1;break e}default:{}}e=e<<16>>16!=46&(O(e)|0)}}while(0);return e|0}function U(){var e=0,t=0,r=0;e=s[73]|0;r=s[72]|0;e:while(1){t=r+2|0;if(r>>>0>=e>>>0)break;switch(n[t>>1]|0){case 13:case 10:break e;default:r=t}}s[72]=t;return}function P(e){e=e|0;while(1){if(G(e)|0)break;if(O(e)|0)break;e=(s[72]|0)+2|0;s[72]=e;e=n[e>>1]|0;if(!(e<<16>>16)){e=0;break}}return e|0}function N(){var e=0;e=s[(s[61]|0)+20>>2]|0;switch(e|0){case 1:{e=-1;break}case 2:{e=-2;break}default:e=e-(s[3]|0)>>1}return e|0}function _(e){e=e|0;if(!(L(e,190,5)|0)?!(L(e,200,3)|0):0)e=L(e,206,2)|0;else e=1;return e|0}function R(e){e=e|0;switch(e<<16>>16){case 160:case 32:case 12:case 11:case 9:{e=1;break}default:e=0}return e|0}function T(e){e=e|0;if((n[e>>1]|0)==46?(n[e+-2>>1]|0)==46:0)e=(n[e+-4>>1]|0)==46;else e=0;return e|0}function q(e){e=e|0;if((s[3]|0)==(e|0))e=1;else e=S(e+-2|0)|0;return e|0}function W(){var e=0;e=s[(s[62]|0)+12>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function J(){var e=0;e=s[(s[61]|0)+12>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function H(){var e=0;e=s[(s[62]|0)+8>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function z(){var e=0;e=s[(s[61]|0)+16>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function D(){var e=0;e=s[(s[61]|0)+4>>2]|0;if(!e)e=-1;else e=e-(s[3]|0)>>1;return e|0}function B(){var e=0;e=s[61]|0;e=s[((e|0)==0?236:e+32|0)>>2]|0;s[61]=e;return(e|0)!=0|0}function F(){var e=0;e=s[62]|0;e=s[((e|0)==0?240:e+16|0)>>2]|0;s[62]=e;return(e|0)!=0|0}function K(){i[802]=1;s[68]=(s[72]|0)-(s[3]|0)>>1;s[72]=(s[73]|0)+2;return}function G(e){e=e|0;return(e|128)<<16>>16==160|(e+-9&65535)<5|0}function Q(e){e=e|0;return e<<16>>16==39|e<<16>>16==34|0}function V(){return(s[(s[61]|0)+8>>2]|0)-(s[3]|0)>>1|0}function X(){return(s[(s[62]|0)+4>>2]|0)-(s[3]|0)>>1|0}function Y(e){e=e|0;return e<<16>>16==13|e<<16>>16==10|0}function Z(){return(s[s[61]>>2]|0)-(s[3]|0)>>1|0}function ee(){return(s[s[62]>>2]|0)-(s[3]|0)>>1|0}function te(){return a[(s[61]|0)+24>>0]|0|0}function re(e){e=e|0;s[3]=e;return}function ie(){return s[(s[61]|0)+28>>2]|0}function ne(){return(i[803]|0)!=0|0}function se(){return(i[804]|0)!=0|0}function ae(){return s[68]|0}function oe(e){e=e|0;c=e+992+15&-16;return 992}return{su:oe,ai:z,e:ae,ee:X,ele:W,els:H,es:ee,f:se,id:N,ie:D,ip:te,is:Z,it:ie,ms:ne,p:l,re:F,ri:B,sa:E,se:J,ses:re,ss:V}}("undefined"!=typeof self?self:e,0,Z),ee=Y.su(re-(2<<17))}const n=se.length+1;Y.ses(ee),Y.sa(n-1),ie(se,new Uint16Array(Z,ee,n)),Y.p()||(oe=Y.e(),de());const s=[],a=[];for(;Y.ri();){const e=Y.is(),t=Y.ie(),r=Y.ai(),i=Y.id(),n=Y.ss(),a=Y.se(),o=Y.it();let c;Y.ip()&&(c=ce(-1===i?e:e+1,se.charCodeAt(-1===i?e-1:e))),s.push({t:o,n:c,s:e,e:t,ss:n,se:a,d:i,a:r})}for(;Y.re();){const e=Y.es(),t=Y.ee(),r=Y.els(),i=Y.ele(),n=se.charCodeAt(e),s=r>=0?se.charCodeAt(r):-1;a.push({s:e,e:t,ls:r,le:i,n:34===n||39===n?ce(e+1,n):se.slice(e,t),ln:r<0?void 0:34===s||39===s?ce(r+1,s):se.slice(r,i)})}return[s,a,!!Y.f(),!!Y.ms()]}(a.S,a.u)}catch(e){L(e),a.a=[[],[],!1]}return a})(),a)}const Ke=e=>Error(`${e} feature must be enabled via <script type="esms-options">{ "polyfillEnable": ["${e}"] }<\/script>`);function Ge(e,t){e.L||(e.L=e.f.then((async()=>{let r=t;e.d=(await Promise.all(e.a[0].map((async({n:i,d:n,t:s})=>{const a=s>=4;if(a&&!$)throw Ke("source-phase");if((n>=0&&!J||-2===n&&!G||a&&!V)&&(e.n=!0),-1!==n||!i)return;const{r:o,b:c}=await be(i,e.r||e.u);if(!c||K&&!C||(e.n=!0),-1!==n)return;if(E&&E(o)&&!a)return{l:{b:o},s:!1};r.integrity&&(r=Object.assign({},r,{integrity:void 0}));const l={l:Fe(o,r,e.r,null),s:a};return l.s||Ge(l.l,t),l})))).filter((e=>e))})))}function Qe(e=!1){if(!e)for(const e of document.querySelectorAll(s?"link[rel=modulepreload-shim]":"link[rel=modulepreload]"))lt(e);for(const e of document.querySelectorAll(s?"script[type=importmap-shim]":"script[type=importmap]"))at(e);if(!e)for(const e of document.querySelectorAll(s?"script[type=module-shim]":"script[type=module]"))ot(e)}function Ve(e){const t={};return e.integrity&&(t.integrity=e.integrity),e.referrerPolicy&&(t.referrerPolicy=e.referrerPolicy),e.fetchPriority&&(t.priority=e.fetchPriority),"use-credentials"===e.crossOrigin?t.credentials="include":"anonymous"===e.crossOrigin?t.credentials="omit":t.credentials="same-origin",t}let Xe=Promise.resolve(),Ye=1;function Ze(){0!=--Ye||b||!s&&Oe||document.dispatchEvent(new Event("DOMContentLoaded"))}let et=1;function tt(){0!=--et||!m||b||!s&&Oe||window.dispatchEvent(new Event("load"))}t&&(document.addEventListener("DOMContentLoaded",(async()=>{await Se,Ze()})),window.addEventListener("load",(async()=>{await Se,tt()})));let rt=1;function it(){0!=--rt||b||!s&&Oe||document.dispatchEvent(new Event("readystatechange"))}const nt=e=>e.nextSibling||e.parentNode&&nt(e.parentNode),st=(e,t)=>e.ep||!t&&(!e.src&&!e.innerHTML||!nt(e))||null!==e.getAttribute("noshim")||!(e.ep=!0);function at(e,t=rt>0){if(!st(e,t)){if(e.src){if(!s)return;C=!0}Me&&(je=je.then((async()=>{xe=_(e.src?await(await De(e.src,Ve(e))).json():JSON.parse(e.innerHTML),e.src||x,xe)})).catch((t=>{console.log(t),t instanceof SyntaxError&&(t=new Error(`Unable to parse import map ${t.message} in: ${e.src||e.innerHTML}`)),L(t)})),s||(Me=!1))}}function ot(e,t=rt>0){if(st(e,t))return;const r=null===e.getAttribute("async")&&rt>0,i=Ye>0,n=et>0;n&&et++,r&&rt++,i&&Ye++;const a=Ce(e.src||x,Ve(e),!e.src&&e.innerHTML,!s,r&&Xe).catch(L);b||a.then((()=>e.dispatchEvent(new Event("load")))),r&&(Xe=a.then(it)),i&&a.then(Ze),n&&a.then(tt)}const ct={};function lt(e){e.ep||(e.ep=!0,ct[e.href]||(ct[e.href]=Be(e.href,Ve(e))))}}();const r=window.parent,i=new class{sendMessage;seqNum=0;methods={};pending={};initPromise;resolveInit;initialized=!1;constructor(e){this.sendMessage=e,this.resolveInit=()=>{},this.initPromise=new Promise((e=>{this.resolveInit=e}))}register(e){if(this.initialized)throw new Error("RPC methods already registered");this.methods={...e};const t=setInterval((()=>{this.sendMessage({kind:"initialize"})}),50),r=this.resolveInit;this.resolveInit=()=>{clearInterval(t),r()},this.initialized=!0}messageReceived(e){if(e.kind)return void("initialize"===e.kind?this.sendMessage({kind:"initialized"}):"initialized"===e.kind&&this.initialized&&this.resolveInit());const{seqNum:r,name:i,args:n,result:s,exception:a}=e;void 0!==r&&(void 0===i?(void 0!==a?this.pending[r].reject(a):this.pending[r].resolve(s),delete this.pending[r]):this.initPromise.then((async()=>{try{const e=this.methods[i];if(void 0===e)throw new Error(`unknown RPC method ${i}`);this.sendMessage({seqNum:r,result:await e(...n)})}catch(e){this.sendMessage({seqNum:r,exception:t(e)})}})))}async invoke(e,t){await this.initPromise,this.seqNum+=1;const r=this.seqNum;return new Promise(((i,n)=>{this.pending[r]={resolve:i,reject:n},this.sendMessage({seqNum:r,name:e,args:t})}))}getApi(){return new Proxy({},{get:(e,t)=>(...e)=>this.invoke(t,e)})}}((e=>r.postMessage(JSON.stringify(e))));window.addEventListener("message",(e=>{i.messageReceived(JSON.parse(e.data))}));const n=i.getApi(),s=document.querySelector("#react_root");if(s){const e={"@leanprover/infoview":"/infoview/index.production.min.js",react:"/infoview/react.production.min.js","react/jsx-runtime":"/infoview/react-jsx-runtime.production.min.js","react-dom":"/infoview/react-dom.production.min.js"};console.log(e),function(e,t){importShim.addImportMap({imports:e}),importShim("@leanprover/infoview").then((e=>{return r=e.renderInfoview(...t),i.register(r);var r})).catch((e=>console.error(`Error importing '@leanprover/infoview': ${JSON.stringify(e)}`)))}(e,[n,s])}})();
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 document,r=()=>{},i=t?document.querySelector("script[type=esms-options]"):void 0,n=i?JSON.parse(i.innerHTML):{};Object.assign(n,self.esmsInitOptions||{});let s=!t||!!n.shimMode;const a=w(s&&n.onimport),o=w(s&&n.resolve);let c=n.fetch?w(n.fetch):fetch;const l=n.meta?w(s&&n.meta):r,f=n.mapOverrides;let u=n.nonce;if(!u&&t){const e=document.querySelector("script[nonce]");e&&(u=e.nonce||e.getAttribute("nonce"))}const d=w(n.onerror||r),{revokeBlobURLs:p,noLoadEventRetriggers:b,globalLoadEventRetrigger:m,enforceIntegrity:h}=n;function w(e){return"string"==typeof e?self[e]:e}const k=Array.isArray(n.polyfillEnable)?n.polyfillEnable:[],y=k.includes("css-modules"),g=k.includes("json-modules"),v=k.includes("wasm-modules"),$=k.includes("source-phase"),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=t?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=!t&&(0,eval)("u=>import(u)");const z=t&&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=t&&HTMLScriptElement.supports;let K=F&&"supports"===F.name&&F("importmap"),G=J,Q=!1,V=!1;const X=[0,97,115,109,1,0,0,0];let Y,Z,ee,te=Promise.resolve(z).then((()=>{if(J)return t?new Promise((e=>{const t=document.createElement("iframe");t.style.display="none",t.setAttribute("nonce",u),window.addEventListener("message",(function r({data:i}){Array.isArray(i)&&"esms"===i[0]&&([,K,G,B,D,Q,V]=i,e(),document.head.removeChild(t),window.removeEventListener("message",r,!1))}),!1);const r=`<script nonce=${u||""}>b=(s,type='text/javascript')=>URL.createObjectURL(new Blob([s],{type}));document.head.appendChild(Object.assign(document.createElement('script'),{type:'importmap',nonce:"${u}",innerText:\`{"imports":{"x":"\${b('')}"}}\`}));Promise.all([${K?"true,true":"'x',b('import.meta')"}, ${y?"b(`import\"${b('','text/css')}\"with{type:\"css\"}`)":"false"}, ${g?"b(`import\"${b('{}','text/json')}\"with{type:\"json\"}`)":"false"}, ${v?`b(\`import"\${b(new Uint8Array(${JSON.stringify(X)}),'application/wasm')}"\`)`:"false"}, ${v&&$?`b(\`import source x from "\${b(new Uint8Array(${JSON.stringify(X)}),'application/wasm')}"\`)`:"false"}].map(x =>typeof x==='string'?import(x).then(()=>true,()=>false):x)).then(a=>parent.postMessage(['esms'].concat(a),'*'))<\/script>`;let i=!1,n=!1;function s(){if(!i)return void(n=!0);const e=t.contentDocument;if(e&&0===e.head.childNodes.length){const t=e.createElement("script");u&&t.setAttribute("nonce",u),t.innerHTML=r.slice(15+(u?u.length:0),-9),e.head.appendChild(t)}}t.onload=s,document.head.appendChild(t),i=!0,"srcdoc"in t?t.srcdoc=r:t.contentDocument.write(r),n&&s()})):Promise.all([K||H(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}},ne="xportmportlassetaourceromsyncunctionssertvoyiedelecontininstantybreareturdebuggeawaithrwhileforifcatcfinallels";let se,ae,oe;function ce(e,t){oe=e;let r="",i=oe;for(;;){oe>=se.length&&de();const e=se.charCodeAt(oe);if(e===t)break;92===e?(r+=se.slice(i,oe),r+=le(),i=oe):(8232===e||8233===e||ue(e)&&de(),++oe)}return r+=se.slice(i,oe++),r}function le(){let e=se.charCodeAt(++oe);switch(++oe,e){case 110:return"\n";case 114:return"\r";case 120:return String.fromCharCode(fe(2));case 117:return function(){let e;return 123===se.charCodeAt(oe)?(++oe,e=fe(se.indexOf("}",oe)-oe),++oe,e>1114111&&de()):e=fe(4),e<=65535?String.fromCharCode(e):(e-=65536,String.fromCharCode(55296+(e>>10),56320+(1023&e)))}();case 116:return"\t";case 98:return"\b";case 118:return"\v";case 102:return"\f";case 13:10===se.charCodeAt(oe)&&++oe;case 10:return"";case 56:case 57:de();default:if(e>=48&&e<=55){let t=se.substr(oe-1,3).match(/^[0-7]+/)[0],r=parseInt(t,8);return r>255&&(t=t.slice(0,-1),r=parseInt(t,8)),oe+=t.length-1,e=se.charCodeAt(oe),"0"===t&&56!==e&&57!==e||de(),String.fromCharCode(r)}return ue(e)?"":String.fromCharCode(e)}}function fe(e){const t=oe;let r=0,i=0;for(let t=0;t<e;++t,++oe){let e,n=se.charCodeAt(oe);if(95!==n){if(n>=97)e=n-97+10;else if(n>=65)e=n-65+10;else{if(!(n>=48&&n<=57))break;e=n-48}if(e>=16)break;i=n,r=16*r+e}else 95!==i&&0!==t||de(),i=n}return 95!==i&&oe-t===e||de(),r}function ue(e){return 13===e||10===e}function de(){throw Object.assign(Error(`Parse error ${ae}:${se.slice(0,oe).split("\n").length}:${oe-se.lastIndexOf("\n",oe-1)}`),{idx:oe})}async function pe(e,t){const r=N(e,t)||U(e);return{r:q(Se,r||e,t)||ke(e,t),b:!r&&!U(e)}}const be=o?async(e,t)=>{let r=o(e,t,we);return r&&r.then&&(r=await r),r?{r,b:!N(e,t)&&!U(e)}:pe(e,t)}:pe;async function me(e,...r){let i=r[r.length-1];return"string"!=typeof i&&(i=S),await xe,a&&await a(e,"string"!=typeof r[1]?r[1]:{},i),(Me||s||!Ae)&&(t&&Qe(!0),s||(Me=!1)),await je,(await be(e,i)).r}async function he(...e){return Ce(await me(...e),{credentials:"same-origin"})}function we(e,t){return q(Se,N(e,t)||e,t)||ke(e,t)}function ke(e,t){throw Error(`Unable to resolve specifier '${e}'${M(t)}`)}$&&(he.source=async function(...e){const t=Fe(await me(...e),{credentials:"same-origin"},null,null);return Ee=void 0,Le&&!s&&t.n&&nativelyLoaded&&(O(),Le=!1),await t.f,he._s[t.r]}),self.importShim=he;const ye=(e,t=S)=>{t=`${t}`;const r=o&&o(e,t,we);return r&&!r.then?r:we(e,t)};function ge(e,t=this.url){return ye(e,t)}he.resolve=ye,he.getImportMap=()=>JSON.parse(JSON.stringify(Se)),he.addImportMap=e=>{if(!s)throw new Error("Unsupported in polyfill mode.");Se=_(e,S,Se)};const ve=he._r={},$e=he._s={};async function Oe(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:Oe(e,t)}))),e.n||(e.n=e.d.some((e=>e.l.n)))}let Ae,Se={imports:{},scopes:{},integrity:{}};const xe=te.then((()=>{if(Ae=!0!==n.polyfillEnable&&J&&G&&K&&(!g||D)&&(!y||B)&&(!v||Q)&&(!$||V)&&!C,$&&"undefined"!=typeof WebAssembly&&!Object.getPrototypeOf(WebAssembly.Module).name){const e=Symbol(),r=t=>Object.defineProperty(t,e,{writable:!1,configurable:!1,value:"WebAssembly.Module"});class i{get[Symbol.toStringTag](){if(this[e])return this[e];throw new TypeError("Not an AbstractModuleSource")}}const{Module:a,compile:o,compileStreaming:c}=WebAssembly;WebAssembly.Module=Object.setPrototypeOf(Object.assign((function(...e){return r(new a(...e))}),a),i),WebAssembly.Module.prototype=Object.setPrototypeOf(a.prototype,i.prototype),WebAssembly.compile=function(...e){return o(...e).then(r)},WebAssembly.compileStreaming=function(...e){return c(...e).then(r)}}if(t){if(!K){const l=HTMLScriptElement.supports||(e=>"classic"===e||"module"===e);HTMLScriptElement.supports=e=>"importmap"===e||l(e)}if(s||!Ae)if(new MutationObserver((e=>{for(const t of e)if("childList"===t.type)for(const e of t.addedNodes)"SCRIPT"===e.tagName?(e.type===(s?"module-shim":"module")&&ot(e,!0),e.type===(s?"importmap-shim":"importmap")&&at(e,!0)):"LINK"===e.tagName&&e.rel===(s?"modulepreload-shim":"modulepreload")&&lt(e)})).observe(document,{childList:!0,subtree:!0}),Qe(),"complete"===document.readyState)it();else{async function f(){await xe,Qe(),"complete"===document.readyState&&(it(),document.removeEventListener("readystatechange",f))}document.addEventListener("readystatechange",f)}}}));let Ee,je=xe,Le=!0,Me=!0;async function Ce(e,t,r,i,n){if(s||(Me=!1),await xe,await je,a&&await a(e,"string"!=typeof t?t:{},""),!s&&Ae)return i?null:(await n,H(r?x(r):e,{errUrl:e||r}));const o=Fe(e,t,null,r);Ge(o,t);const c={};if(await Oe(o,c),Ee=void 0,Pe(o,c),await n,r&&!s&&!o.n){if(i)return;return p&&Ie(Object.keys(c)),await H(x(r),{errUrl:r})}Le&&!s&&o.n&&i&&(O(),Le=!1);const l=await H(s||o.n||!i?o.b:o.u,{errUrl:o.u});return o.s&&(await H(o.s)).u$_(l),p&&Ie(Object.keys(c)),l}function Ie(e){let t=0;const r=e.length,i=self.requestIdleCallback?self.requestIdleCallback:self.requestAnimationFrame;i((function n(){const s=100*t;if(!(s>r)){for(const t of e.slice(s,s+100)){const e=ve[t];e&&URL.revokeObjectURL(e.b)}t++,i(n)}}))}function Ue(e){return`'${e.replace(/'/g,"\\'")}'`}function Pe(e,t){if(e.b||!t[e.u])return;t[e.u]=0;for(const{l:r,s:i}of e.d)i||Pe(r,t);const[r,i]=e.a,n=e.S;let s=A&&Ee?`import '${Ee}';`:"",a=0,o=0,c=[];function f(t){for(;c[c.length-1]<t;){const t=c.pop();s+=`${n.slice(a,t)}, ${Ue(e.r)}`,a=t}s+=n.slice(a,t),a=t}for(const{s:t,ss:i,se:u,d,t:p}of r)if(4===p){let{l:r}=e.d[o++];f(i),s+="import ",a=i+14,f(t-1),s+=`/*${n.slice(t-1,u)}*/'${x(`export default importShim._s[${Ue(r.r)}]`)}'`,a=u}else if(-1===d){let{l:r}=e.d[o++],i=r.b,c=!i;c&&((i=r.s)||(i=r.s=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:ge},l(e.m,e.u),f(t),s+=`importShim._r[${Ue(e.u)}].m`,a=u):(f(i+6),s+=`Shim${5===p?".source":""}(`,c.push(u-1),a=t);function u(t,r){const i=r+t.length,o=n.indexOf("\n",i),c=-1!==o?o:n.length;f(i),s+=new URL(n.slice(i,c),e.r).href,a=c}!e.s||0!==r.length&&-1!==r[r.length-1].d||(s+=`\n;import{u$_}from'${e.s}';try{u$_({${i.filter((e=>e.ln)).map((({s:e,e:t,ln:r})=>`${n.slice(e,t)}:${r}`)).join(",")}})}catch(_){};\n`);let d=n.lastIndexOf(Ne),p=n.lastIndexOf(_e);d<a&&(d=-1),p<a&&(p=-1),-1!==d&&(-1===p||p>d)&&u(Ne,d),-1!==p&&(u(_e,p),-1!==d&&d>p&&u(Ne,d)),f(n.length),-1===d&&(s+=Ne+e.r),e.b=Ee=x(s),e.S=void 0}const Ne="\n//# sourceURL=",_e="\n//# sourceMappingURL=",Re=/^(text|application)\/(x-)?javascript(;|$)/,Te=/^(application)\/wasm(;|$)/,qe=/^(text|application)\/json(;|$)/,We=/^(text|application)\/css(;|$)/,Je=/url\(\s*(?:(["'])((?:\\.|[^\n\\"'])+)\1|((?:\\.|[^\s,"'()\\])+))\s*\)/g;let He=[],ze=0;async function De(e,t,r){if(h&&!t.integrity)throw Error(`No integrity for ${e}${M(r)}.`);const i=function(){if(++ze>100)return new Promise((e=>He.push(e)))}();i&&await i;try{var n=await c(e,t)}catch(t){throw t.message=`Unable to fetch ${e}${M(r)} - see network log for details.\n`+t.message,t}finally{ze--,He.length&&He.shift()()}if(!n.ok){const e=new TypeError(`${n.status} ${n.statusText} ${n.url}${M(r)}`);throw e.response=n,e}return n}async function Be(e,t,r){const i=Se.integrity[e],n=await De(e,i&&!t.integrity?Object.assign({},t,{integrity:i}):t,r),s=n.url,a=n.headers.get("content-type");if(Re.test(a))return{r:s,s:await n.text(),sp:null,t:"js"};if(Te.test(a)){const e=await($e[s]||($e[s]=WebAssembly.compileStreaming(n)));$e[s]=e;let t="",r=0,i="";for(const n of WebAssembly.Module.imports(e)){const e=Ue(n.module);t+=`import * as impt${r} from ${e};\n`,i+=`${e}:impt${r++},`}r=0,t+=`const instance = await WebAssembly.instantiate(importShim._s[${Ue(s)}], {${i}});\n`;for(const r of WebAssembly.Module.exports(e))t+=`export const ${r.name} = instance.exports['${r.name}'];\n`;return{r:s,s:t,t:"wasm"}}if(qe.test(a))return{r:s,s:`export default ${await n.text()}`,sp:null,t:"json"};if(We.test(a))return{r:s,s:`var s=new CSSStyleSheet();s.replaceSync(${JSON.stringify((await n.text()).replace(Je,((t,r="",i,n)=>`url(${r}${P(i||n,e)}${r})`)))});export default s;`,ss:null,t:"css"};throw Error(`Unsupported Content-Type "${a}" loading ${e}${M(r)}. Modules must be served with a valid MIME type like application/javascript.`)}function Fe(t,r,i,n){if(n&&ve[t]){let e=0;for(;ve[t+ ++e];);t+=e}let a=ve[t];return a||(ve[t]=a={u:t,r:n?t:void 0,f:void 0,S:n,L:void 0,a:void 0,d:void 0,b:void 0,s:void 0,n:!1,t:null,m:null},a.f=(async()=>{if(!a.S){let e;if(({r:a.r,s:a.S,t:e}=await(ct[t]||Be(t,r,i))),e&&!s){if("css"===e&&!y||"json"===e&&!g||"wasm"===e&&!v)throw Ke(`${e}-modules`);("css"===e&&!B||"json"===e&&!D||"wasm"===e&&!Q)&&(a.n=!0)}}try{a.a=function(t,r="@"){se=t,ae=r;const i=2*se.length+(2<<18);if(i>re||!Y){for(;i>re;)re*=2;Z=new ArrayBuffer(re),ie(ne,new Uint16Array(Z,16,110)),Y=function(e,t,r){"use asm";var i=new e.Int8Array(r),n=new e.Int16Array(r),s=new e.Int32Array(r),a=new e.Uint8Array(r),o=new e.Uint16Array(r),c=1040;function l(){var e=0,t=0,r=0,a=0,l=0,p=0;p=c;c=c+10240|0;i[804]=1;i[803]=0;n[399]=0;n[400]=0;s[69]=s[2];i[805]=0;s[68]=0;i[802]=0;s[70]=p+2048;s[71]=p;i[806]=0;e=(s[3]|0)+-2|0;s[72]=e;t=e+(s[66]<<1)|0;s[73]=t;e:while(1){r=e+2|0;s[72]=r;if(e>>>0>=t>>>0){l=18;break}t:do{switch(n[r>>1]|0){case 9:case 10:case 11:case 12:case 13:case 32:break;case 101:{if((((n[400]|0)==0?q(r)|0:0)?(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:e,0,Z),ee=Y.su(re-(2<<17))}const n=se.length+1;Y.ses(ee),Y.sa(n-1),ie(se,new Uint16Array(Z,ee,n)),Y.p()||(oe=Y.e(),de());const s=[],a=[];for(;Y.ri();){const e=Y.is(),t=Y.ie(),r=Y.ai(),i=Y.id(),n=Y.ss(),a=Y.se(),o=Y.it();let c;Y.ip()&&(c=ce(-1===i?e:e+1,se.charCodeAt(-1===i?e-1:e))),s.push({t:o,n:c,s:e,e:t,ss:n,se:a,d:i,a:r})}for(;Y.re();){const e=Y.es(),t=Y.ee(),r=Y.els(),i=Y.ele(),n=se.charCodeAt(e),s=r>=0?se.charCodeAt(r):-1;a.push({s:e,e:t,ls:r,le:i,n:34===n||39===n?ce(e+1,n):se.slice(e,t),ln:r<0?void 0:34===s||39===s?ce(r+1,s):se.slice(r,i)})}return[s,a,!!Y.f(),!!Y.ms()]}(a.S,a.u)}catch(e){L(e),a.a=[[],[],!1]}return a})(),a)}const Ke=e=>Error(`${e} feature must be enabled via <script type="esms-options">{ "polyfillEnable": ["${e}"] }<\/script>`);function Ge(e,t){e.L||(e.L=e.f.then((async()=>{let r=t;e.d=(await Promise.all(e.a[0].map((async({n:i,d:n,t:s})=>{const a=s>=4;if(a&&!$)throw Ke("source-phase");if((n>=0&&!J||-2===n&&!G||a&&!V)&&(e.n=!0),-1!==n||!i)return;const{r:o,b:c}=await be(i,e.r||e.u);if(!c||K&&!C||(e.n=!0),-1!==n)return;if(E&&E(o)&&!a)return{l:{b:o},s:!1};r.integrity&&(r=Object.assign({},r,{integrity:void 0}));const l={l:Fe(o,r,e.r,null),s:a};return l.s||Ge(l.l,t),l})))).filter((e=>e))})))}function Qe(e=!1){if(!e)for(const e of document.querySelectorAll(s?"link[rel=modulepreload-shim]":"link[rel=modulepreload]"))lt(e);for(const e of document.querySelectorAll(s?"script[type=importmap-shim]":"script[type=importmap]"))at(e);if(!e)for(const e of document.querySelectorAll(s?"script[type=module-shim]":"script[type=module]"))ot(e)}function Ve(e){const t={};return e.integrity&&(t.integrity=e.integrity),e.referrerPolicy&&(t.referrerPolicy=e.referrerPolicy),e.fetchPriority&&(t.priority=e.fetchPriority),"use-credentials"===e.crossOrigin?t.credentials="include":"anonymous"===e.crossOrigin?t.credentials="omit":t.credentials="same-origin",t}let Xe=Promise.resolve(),Ye=1;function Ze(){0!=--Ye||b||!s&&Ae||document.dispatchEvent(new Event("DOMContentLoaded"))}let et=1;function tt(){0!=--et||!m||b||!s&&Ae||window.dispatchEvent(new Event("load"))}t&&(document.addEventListener("DOMContentLoaded",(async()=>{await xe,Ze()})),window.addEventListener("load",(async()=>{await xe,tt()})));let rt=1;function it(){0!=--rt||b||!s&&Ae||document.dispatchEvent(new Event("readystatechange"))}const nt=e=>e.nextSibling||e.parentNode&&nt(e.parentNode),st=(e,t)=>e.ep||!t&&(!e.src&&!e.innerHTML||!nt(e))||null!==e.getAttribute("noshim")||!(e.ep=!0);function at(e,t=rt>0){if(!st(e,t)){if(e.src){if(!s)return;C=!0}Me&&(je=je.then((async()=>{Se=_(e.src?await(await De(e.src,Ve(e))).json():JSON.parse(e.innerHTML),e.src||S,Se)})).catch((t=>{console.log(t),t instanceof SyntaxError&&(t=new Error(`Unable to parse import map ${t.message} in: ${e.src||e.innerHTML}`)),L(t)})),s||(Me=!1))}}function ot(e,t=rt>0){if(st(e,t))return;const r=null===e.getAttribute("async")&&rt>0,i=Ye>0,n=et>0;n&&et++,r&&rt++,i&&Ye++;const a=Ce(e.src||S,Ve(e),!e.src&&e.innerHTML,!s,r&&Xe).catch(L);b||a.then((()=>e.dispatchEvent(new Event("load")))),r&&(Xe=a.then(it)),i&&a.then(Ze),n&&a.then(tt)}const ct={};function lt(e){e.ep||(e.ep=!0,ct[e.href]||(ct[e.href]=Be(e.href,Ve(e))))}}();const r=window.parent,i=new class{sendMessage;seqNum=0;methods={};pending={};initPromise;resolveInit;initialized=!1;constructor(e){this.sendMessage=e,this.resolveInit=()=>{},this.initPromise=new Promise((e=>{this.resolveInit=e}))}register(e){if(this.initialized)throw new Error("RPC methods already registered");this.methods={...e};const t=setInterval((()=>{this.sendMessage({kind:"initialize"})}),50),r=this.resolveInit;this.resolveInit=()=>{clearInterval(t),r()},this.initialized=!0}messageReceived(e){if(e.kind)return void("initialize"===e.kind?this.sendMessage({kind:"initialized"}):"initialized"===e.kind&&this.initialized&&this.resolveInit());const{seqNum:r,name:i,args:n,result:s,exception:a}=e;void 0!==r&&(void 0===i?(void 0!==a?this.pending[r].reject(a):this.pending[r].resolve(s),delete this.pending[r]):this.initPromise.then((async()=>{try{const e=this.methods[i];if(void 0===e)throw new Error(`unknown RPC method ${i}`);this.sendMessage({seqNum:r,result:await e(...n)})}catch(e){this.sendMessage({seqNum:r,exception:t(e)})}})))}async invoke(e,t){await this.initPromise,this.seqNum+=1;const r=this.seqNum;return new Promise(((i,n)=>{this.pending[r]={resolve:i,reject:n},this.sendMessage({seqNum:r,name:e,args:t})}))}getApi(){return new Proxy({},{get:(e,t)=>(...e)=>this.invoke(t,e)})}}((e=>r.postMessage(JSON.stringify(e))));window.addEventListener("message",(e=>{try{i.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 n=i.getApi(),s=document.querySelector("#react_root");if(s){const e={"@leanprover/infoview":"/infoview/index.production.min.js",react:"/infoview/react.production.min.js","react/jsx-runtime":"/infoview/react-jsx-runtime.production.min.js","react-dom":"/infoview/react-dom.production.min.js"};console.log(e),function(e,t){importShim.addImportMap({imports:e}),importShim("@leanprover/infoview").then((e=>{return r=e.renderInfoview(...t),i.register(r);var r})).catch((e=>console.error(`Error importing '@leanprover/infoview': ${JSON.stringify(e)}`)))}(e,[n,s])}})();
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "lean4monaco",
3
- "version": "1.0.23",
3
+ "version": "1.0.25",
4
4
  "description": "Monaco Editor support for the Lean 4 theorem prover.",
5
5
  "keywords": [
6
6
  "lean",
@@ -36,7 +36,7 @@
36
36
  "start": "concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"",
37
37
  "watch:copyfiles": "nodemon --watch ./src --exec \"npm run build:copyfiles\"",
38
38
  "build": "tsc && webpack && npm run build:copyfiles",
39
- "build:copyfiles": "cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.svg\" ../dist/",
39
+ "build:copyfiles": "cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/",
40
40
  "test": "(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress"
41
41
  },
42
42
  "dependencies": {