.highlight table td{padding:5px}.highlight table pre{margin:0}.highlight,.highlight .w{color:#b4c3c4;background-color:#0d3844}.highlight .c,.highlight .c1{color:#677575}.highlight .o,.highlight .ow{color:#b4c3c4}.highlight .p{color:#b4c3c4}.highlight .k{color:#aa84e7}.highlight .s,.highlight .sh{color:#6eb12e}.highlight .mf,.highlight .mi,.highlight .mo{color:#6eb12e}@font-face{font-family:"KaTeX_AMS";src:url("/assets/fonts/katex/KaTeX_AMS-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Caligraphic";src:url("/assets/fonts/katex/KaTeX_Caligraphic-Bold.woff2") format("woff2");font-weight:bold;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Caligraphic";src:url("/assets/fonts/katex/KaTeX_Caligraphic-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Fraktur";src:url("/assets/fonts/katex/KaTeX_Fraktur-Bold.woff2") format("woff2");font-weight:bold;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Fraktur";src:url("/assets/fonts/katex/KaTeX_Fraktur-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Main";src:url("/assets/fonts/katex/KaTeX_Main-Bold.woff2") format("woff2");font-weight:bold;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Main";src:url("/assets/fonts/katex/KaTeX_Main-BoldItalic.woff2") format("woff2");font-weight:bold;font-style:italic;font-display:swap}@font-face{font-family:"KaTeX_Main";src:url("/assets/fonts/katex/KaTeX_Main-Italic.woff2") format("woff2");font-weight:normal;font-style:italic;font-display:swap}@font-face{font-family:"KaTeX_Main";src:url("/assets/fonts/katex/KaTeX_Main-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Math";src:url("/assets/fonts/katex/KaTeX_Math-BoldItalic.woff2") format("woff2");font-weight:bold;font-style:italic;font-display:swap}@font-face{font-family:"KaTeX_Math";src:url("/assets/fonts/katex/KaTeX_Math-Italic.woff2") format("woff2");font-weight:normal;font-style:italic;font-display:swap}@font-face{font-family:"KaTeX_SansSerif";src:url("/assets/fonts/katex/KaTeX_SansSerif-Bold.woff2") format("woff2");font-weight:bold;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_SansSerif";src:url("/assets/fonts/katex/KaTeX_SansSerif-Italic.woff2") format("woff2");font-weight:normal;font-style:italic;font-display:swap}@font-face{font-family:"KaTeX_SansSerif";src:url("/assets/fonts/katex/KaTeX_SansSerif-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Script";src:url("/assets/fonts/katex/KaTeX_Script-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Size1";src:url("/assets/fonts/katex/KaTeX_Size1-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Size2";src:url("/assets/fonts/katex/KaTeX_Size2-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Size3";src:url("/assets/fonts/katex/KaTeX_Size3-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Size4";src:url("/assets/fonts/katex/KaTeX_Size4-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:"KaTeX_Typewriter";src:url("/assets/fonts/katex/KaTeX_Typewriter-Regular.woff2") format("woff2");font-weight:normal;font-style:normal;font-display:swap}.katex{font:normal 1.21em "KaTeX_Main","Times New Roman",serif;line-height:1.2;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentcolor}.katex .katex-mathml{position:absolute;clip-path:inset(1px calc(100% - 1px) calc(100% - 1px) 1px);padding:0;border:0;height:1px;width:1px;overflow:hidden}.katex .base{position:relative;display:inline-block;white-space:nowrap;width:min-content}.katex .strut{display:inline-block}.katex .mathnormal{font-family:"KaTeX_Math";font-style:italic}.katex .mathrm{font-style:normal}.katex .mathtt{font-family:"KaTeX_Typewriter"}.katex .vlist-t{display:inline-table;table-layout:fixed;border-collapse:collapse}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;vertical-align:bottom;position:relative}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;vertical-align:bottom;font-size:1px;width:2px;min-width:2px}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{display:inline-block;width:100%;border-bottom-style:solid}.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .sizing.reset-size6.size3{font-size:.7em}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .accent>.vlist-t{text-align:center}.katex .svg-align{text-align:left}.katex svg{display:block;position:absolute;width:100%;height:inherit;fill:currentcolor;stroke:currentcolor}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;min-height:0;max-width:none;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy::before,.katex .stretchy::after{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}body{counter-reset:katexEqnNo mmlEqnNo}@font-face{font-family:Hermit;src:url("/assets/fonts/Hermit-Bold.woff2") format("woff2");font-weight:bold;font-style:normal}@font-face{font-family:Hermit;src:url("/assets/fonts/Hermit-BoldItalic.woff2") format("woff2");font-weight:bold;font-style:italic}@font-face{font-family:Hermit;src:url("/assets/fonts/Hermit-Regular.woff2") format("woff2");font-weight:normal;font-style:normal}@font-face{font-family:Hermit;src:url("/assets/fonts/Hermit-RegularItalic.woff2") format("woff2");font-weight:normal;font-style:italic}html{text-size-adjust:100%}*,*::before,*::after{box-sizing:border-box}body{margin:0;padding:0;background:#002d38;color:#98a7a8;font-size:16px;line-height:1.5;font-family:Hermit,monospace;font-display:swap}.container{width:100%;max-width:1000px;margin:0 auto;padding:0 16px}section{display:block;margin:0 0 20px}h1,h2,h3{margin:0 0 20px;color:#b08800;letter-spacing:-0.03em}li{line-height:1.4}header{background:#0d3844;width:100%;border-bottom:1px dashed #b08800;padding:20px 0;margin:0 0 40px}header h1{font-size:30px;line-height:1.5;margin:0 0 0 -40px;color:#be9600;letter-spacing:-1px}@media(max-width:1000px){header h1{margin-left:0}}header h1::before{content:">_";display:inline-block;height:40px;width:40px}header h2{font-size:18px;color:#b4c3c4}#main-content{width:100%}section img{max-width:100%}#main-content h1{font-size:30px}#main-content h2{font-size:24px}#main-content h3{font-size:18px}pre{background:#0d3844;padding:10px;font-size:16px;color:#b4c3c4;border-radius:2px;overflow-wrap:normal;overflow:auto;overflow-y:hidden;font-family:Hermit,monospace;font-display:swap}code{background:#0d3844;padding:0 3px;margin:0 -3px;color:#aa84e7;border-radius:2px;font-family:Hermit,monospace;font-display:swap}.highlight code{color:#b4c3c4}mark{background:#0d3844;padding:0 3px;margin:0 -3px;color:#b4c3c4;border-radius:2px}table{width:100%;margin:0 0 20px}th{text-align:left;border-bottom:1px dashed #b08800;padding:5px 10px;color:#b08800}td{padding:5px 10px}hr{height:0;border:0;border-bottom:1px dashed #b08800;color:#b08800}a{color:#60a319;text-decoration:none}a:hover{color:#6eb12e;text-decoration:underline}svg.icon{fill:#98a7a8;color:#98a7a8;vertical-align:middle}svg.icon-small{width:32px;height:32px}svg.icon-link:hover{fill:#6eb12e;color:#6eb12e}ul li{list-style-image:url("/assets/svgs/gears.svg")}.awards ul li{list-style-image:url("/assets/svgs/trophy.svg")}.talks ul li{list-style-image:url("/assets/svgs/chalkboard-teacher.svg")}.news ul li{list-style-image:url("/assets/svgs/newspaper.svg")}.tpc ul li{list-style-image:url("/assets/svgs/magnifying-glass.svg")}.research ul li{list-style-image:url("/assets/svgs/lightbulb.svg")}.exequantum ul li{list-style-image:url("/assets/svgs/atom.svg")}details>summary{list-style-type:none}summary::before{content:"+";float:right;font-size:24px;font-weight:bold;margin:-5px 0 0 16px;cursor:pointer}details[open] summary::before{content:"-"}::selection{background-color:#214a56}