@font-face{font-family:Departure Mono Fallback\: Courier New;src:local(Courier New);size-adjust:106.043%;ascent-override:94.3011%;descent-override:25.7185%;line-gap-override:0%}@font-face{font-family:Departure Mono Fallback\: Roboto Mono;src:local(Roboto Mono);size-adjust:106.043%;ascent-override:94.3011%;descent-override:25.7185%;line-gap-override:0%}@font-face{font-family:Departure Mono Fallback\: Noto Sans Mono;src:local(Noto Sans Mono);size-adjust:106.061%;ascent-override:94.2857%;descent-override:25.7143%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Georgia;src:local(Georgia);size-adjust:99.8204%;ascent-override:96.5735%;descent-override:26.9484%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Times New Roman;src:local(Times New Roman);size-adjust:109.539%;ascent-override:88.0056%;descent-override:24.5576%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Noto Serif;src:local(Noto Serif);size-adjust:92.5156%;ascent-override:104.199%;descent-override:29.0762%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Georgia;src:local(Georgia);size-adjust:100.493%;ascent-override:95.9268%;descent-override:26.7679%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Times New Roman;src:local(Times New Roman);size-adjust:110.277%;ascent-override:87.4163%;descent-override:24.3931%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Noto Serif;src:local(Noto Serif);size-adjust:93.1393%;ascent-override:103.501%;descent-override:28.8815%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Georgia;src:local(Georgia);size-adjust:101.391%;ascent-override:95.0779%;descent-override:26.5311%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Times New Roman;src:local(Times New Roman);size-adjust:111.262%;ascent-override:86.6427%;descent-override:24.1773%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Noto Serif;src:local(Noto Serif);size-adjust:93.9709%;ascent-override:102.585%;descent-override:28.6259%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Georgia;src:local(Georgia);size-adjust:102.512%;ascent-override:94.0376%;descent-override:26.2408%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Times New Roman;src:local(Times New Roman);size-adjust:112.492%;ascent-override:85.6947%;descent-override:23.9127%;line-gap-override:0%}@font-face{font-family:Arizona Text Fallback\: Noto Serif;src:local(Noto Serif);size-adjust:95.0104%;ascent-override:101.463%;descent-override:28.3127%;line-gap-override:0%}.algorithm[data-v-3e638dbf]{margin:1.8rem 0;overflow-x:auto}.algo-rule[data-v-3e638dbf]{border-top:1.5px solid var(--foreground);height:0;margin:0}.algo-rule.under[data-v-3e638dbf]{border-top-width:.75px;margin-top:.4rem}.algo-rule.bottom[data-v-3e638dbf]{margin-top:0}.algo-caption[data-v-3e638dbf]{align-items:baseline;gap:.4rem;padding:.45rem 0 0;display:flex}.algo-name[data-v-3e638dbf]{letter-spacing:-.01em;white-space:nowrap;font-family:Departure Mono,Departure Mono Fallback\: Courier New,Departure Mono Fallback\: Roboto Mono,Departure Mono Fallback\: Noto Sans Mono,Courier New,monospace;font-size:11px;font-weight:700}.algo-name[data-v-3e638dbf],.algo-title[data-v-3e638dbf]{color:var(--foreground)}.algo-title[data-v-3e638dbf]{font-family:Arizona Text,Arizona Text Fallback\: Georgia,Arizona Text Fallback\: Times New Roman,Arizona Text Fallback\: Noto Serif,Georgia,serif;font-size:13px}.algo-body[data-v-3e638dbf]{counter-reset:none;min-width:max-content;margin:.5rem 0 0;padding:0 0 .55rem;list-style:none}.algo-line[data-v-3e638dbf]{min-height:1.7em;margin-bottom:calc(var(--foot-push,0) * 1em);align-items:stretch;font-family:Arizona Text,Arizona Text Fallback\: Georgia,Arizona Text Fallback\: Times New Roman,Arizona Text Fallback\: Noto Serif,Georgia,serif;font-size:14px;line-height:1.7;display:flex}.algo-line[data-v-3e638dbf]:hover{background:color-mix(in srgb,var(--blue-highlight),transparent 55%)}.algo-num[data-v-3e638dbf]{flex:0 0 calc(2.2em + 1ch * (-1 + var(--algo-digits,1)));text-align:right;color:var(--lightest-foreground);-webkit-user-select:none;user-select:none;align-self:center;padding-right:.7rem;font-family:Departure Mono,Departure Mono Fallback\: Courier New,Departure Mono Fallback\: Roboto Mono,Departure Mono Fallback\: Noto Sans Mono,Courier New,monospace;font-size:11px}.algo-main[data-v-3e638dbf]{flex:1;align-items:stretch;min-width:0;display:flex}.algo-guide[data-v-3e638dbf]{flex:0 0 1.3em;position:relative}.algo-guide[data-v-3e638dbf]:before{content:"";border-left:1.5px solid color-mix(in srgb,var(--foreground) 80%,var(--study-surface));position:absolute;top:-.5em;bottom:-.5em;left:.45em}.algo-guide.foot[data-v-3e638dbf]:after,.algo-guide.foot[data-v-3e638dbf]:before{bottom:calc(-.13em - var(--foot-depth,0) * .46em)}.algo-guide.foot[data-v-3e638dbf]:after{content:"";border-bottom:1.5px solid color-mix(in srgb,var(--foreground) 80%,var(--study-surface));width:.6em;position:absolute;left:.45em}.algo-code[data-v-3e638dbf]{color:var(--foreground);white-space:nowrap;align-self:center;padding:.05rem 0}.algo-code[data-v-3e638dbf] .kw{font-family:KaTeX_Main,serif;font-weight:700}.algo-code[data-v-3e638dbf] .ctrl{color:var(--blue-underline);font-style:italic;font-weight:600}.algo-code[data-v-3e638dbf] strong{font-weight:700}.algo-comment[data-v-3e638dbf]{text-align:right;color:var(--lightest-foreground);white-space:nowrap;align-self:center;margin-left:auto;padding-left:1.5rem;padding-right:.9rem;font-family:Departure Mono,Departure Mono Fallback\: Courier New,Departure Mono Fallback\: Roboto Mono,Departure Mono Fallback\: Noto Sans Mono,Courier New,monospace;font-size:11px}.algo-comment[data-v-3e638dbf]:before{content:"▷ ";opacity:.7}@font-face{font-family:Proxima Soft Fallback\: Arial;src:local(Arial);size-adjust:99.5961%;ascent-override:79.3204%;descent-override:21.0852%;line-gap-override:0%}@font-face{font-family:Proxima Soft Fallback\: Segoe UI;src:local(Segoe UI);size-adjust:100.145%;ascent-override:78.886%;descent-override:20.9697%;line-gap-override:0%}@font-face{font-family:Proxima Soft Fallback\: Helvetica Neue;src:local(Helvetica Neue);size-adjust:98.6667%;ascent-override:80.0676%;descent-override:21.2838%;line-gap-override:0%}@font-face{font-family:Proxima Soft Fallback\: Noto Sans;src:local(Noto Sans);size-adjust:93.6709%;ascent-override:84.3378%;descent-override:22.4189%;line-gap-override:0%}.tikz-figure[data-v-c67998bd]{flex-direction:column;margin:1.8rem 0}.tikz-figure[data-v-c67998bd],.tikz-loading[data-v-c67998bd]{align-items:center;display:flex}.tikz-loading[data-v-c67998bd]{color:var(--lightest-foreground);gap:.5rem;font-family:Proxima Soft,Proxima Soft Fallback\: Arial,Proxima Soft Fallback\: Segoe UI,Proxima Soft Fallback\: Helvetica Neue,Proxima Soft Fallback\: Noto Sans,Arial,sans-serif;font-size:13px}.tikz-loading[data-v-c67998bd] .spin{animation:1s linear infinite spin-c67998bd}.tikz-error[data-v-c67998bd]{color:var(--primary-highlight);font-size:13px}.tikz-render[data-v-c67998bd]{justify-content:center;width:100%;display:flex}.tikz-render[data-v-c67998bd] svg{max-width:100%;height:auto;color:var(--foreground)}.tikz-render[data-v-c67998bd] svg circle,.tikz-render[data-v-c67998bd] svg ellipse,.tikz-render[data-v-c67998bd] svg line,.tikz-render[data-v-c67998bd] svg path,.tikz-render[data-v-c67998bd] svg polygon,.tikz-render[data-v-c67998bd] svg polyline,.tikz-render[data-v-c67998bd] svg rect{stroke:currentColor!important}.tikz-render[data-v-c67998bd] svg text,.tikz-render[data-v-c67998bd] svg tspan{fill:currentColor!important}.tikz-cap[data-v-c67998bd]{color:var(--lightest-foreground);margin-top:.6rem;font-family:Proxima Soft,Proxima Soft Fallback\: Arial,Proxima Soft Fallback\: Segoe UI,Proxima Soft Fallback\: Helvetica Neue,Proxima Soft Fallback\: Noto Sans,Arial,sans-serif;font-size:13px}@keyframes spin-c67998bd{0%{transform:rotate(0)}to{transform:rotate(1turn)}}