@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-cyrillic-ext-opsz-normal.CfYZpDVp.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-cyrillic-opsz-normal.BFQXbQ-f.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-greek-ext-opsz-normal.BmPQvyvo.woff2)format("woff2-variations");unicode-range:U+1F??}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-greek-opsz-normal.BM0NlUE_.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-vietnamese-opsz-normal.Ci9T9ieq.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-latin-ext-opsz-normal.DpK-iCPk.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/inter-latin-opsz-normal.BwkfbSeq.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Inter Variable;font-style:italic;font-display:swap;font-weight:100 900;src:url(/_astro/inter-cyrillic-ext-wght-italic.B5xAaiFk.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter Variable;font-style:italic;font-display:swap;font-weight:100 900;src:url(/_astro/inter-cyrillic-wght-italic.DzZdc28x.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter Variable;font-style:italic;font-display:swap;font-weight:100 900;src:url(/_astro/inter-greek-ext-wght-italic.DcOpz6Lw.woff2)format("woff2-variations");unicode-range:U+1F??}@font-face{font-family:Inter Variable;font-style:italic;font-display:swap;font-weight:100 900;src:url(/_astro/inter-greek-wght-italic.CILZdfAp.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter Variable;font-style:italic;font-display:swap;font-weight:100 900;src:url(/_astro/inter-vietnamese-wght-italic.K3WlGtc8.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter Variable;font-style:italic;font-display:swap;font-weight:100 900;src:url(/_astro/inter-latin-ext-wght-italic.0pjOp8NU.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter Variable;font-style:italic;font-display:swap;font-weight:100 900;src:url(/_astro/inter-latin-wght-italic.DpCbqKDY.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-cyrillic-ext-400-normal.xuaO2J-f.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-ext-400-normal.DMdlQ8Kv.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-cyrillic-400-normal.BSMlKf0J.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-400-normal.CEL4l2ZJ.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-vietnamese-400-normal.BulugwFq.woff2)format("woff2"),url(/_astro/ibm-plex-mono-vietnamese-400-normal.DDuiU_S-.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-latin-ext-400-normal.BmRBH3aV.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-ext-400-normal.D3D2R8hC.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-latin-400-normal.DMJ8VG8y.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-400-normal.CvHOgSBP.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}*,:before,:after{box-sizing:border-box;border:0 solid #e5e7eb}:before,:after{--tw-content:""}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--font-sans);font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{line-height:inherit;margin:0}hr{color:inherit;border-top-width:1px;height:0}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--font-mono);font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-feature-settings:inherit;font-variation-settings:inherit;font-family:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:#0000;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dl,dd,h1,h2,h3,h4,h5,h6,hr,figure,p,pre{margin:0}fieldset{margin:0;padding:0}legend{padding:0}ol,ul,menu{margin:0;padding:0;list-style:none}dialog{padding:0}textarea{resize:vertical}input::-moz-placeholder{opacity:1;color:#9ca3af}textarea::-moz-placeholder{opacity:1;color:#9ca3af}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}button,[role=button]{cursor:pointer}:disabled{cursor:default}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}[hidden]{display:none}*,:before,:after,::backdrop{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:#3b82f680;--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }@font-face{font-family:Inter Fallback;src:local(Arial);size-adjust:107.12%;ascent-override:90.44%;descent-override:22.52%;line-gap-override:0%}@font-face{font-family:Inter Fallback;font-style:italic;src:local(Arial Italic);size-adjust:107.12%;ascent-override:90.44%;descent-override:22.52%;line-gap-override:0%}@font-face{font-family:Inter Fallback;font-weight:500 700;src:local(Arial Bold);size-adjust:107.12%;ascent-override:90.44%;descent-override:22.52%;line-gap-override:0%}:root,html[data-theme=light]{--color-fill:251 251 253;--color-raised:245 245 247;--color-card:242 242 245;--color-card-muted:232 232 237;--color-border:229 229 234;--color-faint:199 199 204;--color-quiet:134 134 139;--color-muted:92 92 97;--color-text-base:29 29 31;--color-accent:255 107 1;--color-accent-ink:29 29 31;--color-focus:0 113 227;--plate:255 255 255;--veil:0 0 0/.14;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}html[data-theme=dark]{--color-fill:15 15 17;--color-raised:26 26 29;--color-card:33 33 36;--color-card-muted:48 48 52;--color-border:42 42 46;--color-faint:99 99 102;--color-quiet:134 134 139;--color-muted:157 157 163;--color-text-base:228 228 231;--color-accent:255 122 31;--color-accent-ink:228 228 231;--color-focus:41 151 255;--plate:255 255 255;--veil:0 0 0/.5;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}:root{--paper:rgb(var(--color-fill));--raised:rgb(var(--color-raised));--hover:rgb(var(--color-card));--line:rgb(var(--color-border));--faint:rgb(var(--color-faint));--quiet:rgb(var(--color-quiet));--muted:rgb(var(--color-muted));--ink:rgb(var(--color-text-base));--accent:rgb(var(--color-accent));--panel:22 22 23;--panel-ink:245 245 247;--panel-quiet:134 134 139;--glass:rgb(var(--color-fill)/.72);--glass-blur:saturate(180%)blur(20px);--glass-edge:rgb(var(--color-text-base)/.08);--font-sans:"Inter Variable","Inter Fallback",ui-sans-serif,system-ui,-apple-system,"Segoe UI",Roboto,sans-serif;--font-mono:"IBM Plex Mono",ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;--ease:cubic-bezier(.25,.46,.45,.94);--spring:cubic-bezier(.32,.72,0,1);--column:40rem;--bleed:clamp(0px,calc((100cqw - var(--column))/2 - 1.5rem),2.5rem);--figure-bleed:clamp(0px,calc((100cqw - var(--column))/2 - 1.5rem),7.5rem);--gutter:1.5rem;--rail:min(100% - 2*var(--gutter),var(--column));--header:3.25rem;--below-header:calc(var(--header) + 1.5rem)}@media (width<=24rem){:root{--gutter:1.25rem}}html{scroll-padding-top:var(--below-header);scrollbar-gutter:stable;background:var(--paper);-webkit-text-size-adjust:100%;-moz-text-size-adjust:100%;text-size-adjust:100%}body{background:var(--paper);color:var(--ink);font-family:var(--font-sans);font-synthesis-weight:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;flex-direction:column;min-height:100svh;font-size:1.0625rem;line-height:1.6;display:flex;container-type:inline-size}html.theme-switching *,html.theme-switching :before,html.theme-switching :after{transition:none!important}::selection{background:rgb(var(--color-accent)/.28)}:focus-visible{outline:3px solid rgb(var(--color-focus)/.6);outline-offset:2px;border-radius:4px}html:has(dialog[open]){overflow:hidden}.display{letter-spacing:-.02em;text-wrap:balance;font-weight:600;line-height:1.1}main{flex:1}#sun-svg,html[data-theme=dark] #moon-svg{display:none}#moon-svg,html[data-theme=dark] #sun-svg{display:block}.rail{width:var(--rail);margin-inline:auto}.muted{color:var(--muted)}.small{font-size:.875rem;line-height:1.5}.link{text-decoration:underline;-webkit-text-decoration-color:var(--faint);text-decoration-color:var(--faint);text-underline-offset:.18em;transition:text-decoration-color .15s var(--ease);text-decoration-thickness:1.5px}.link:hover{-webkit-text-decoration-color:var(--ink);text-decoration-color:var(--ink)}.group+.group{margin-top:2.5rem}.group-label{color:var(--muted);font-variant-numeric:tabular-nums;margin-bottom:.5rem;font-size:.875rem;font-weight:400}.row-list{margin:0;padding:0;list-style:none}.row-link{transition:background-color .15s var(--ease);border-radius:10px;justify-content:space-between;align-items:baseline;gap:1.5rem;margin-inline:-.75rem;padding:.7rem .75rem;display:flex}.row-main{min-width:0;display:block}.row-title{text-wrap:pretty;width:fit-content;font-size:1rem;font-weight:500;line-height:1.5}.row-desc{color:var(--muted);text-wrap:pretty;line-height:1.5;display:block}.row-date{color:var(--muted);font-variant-numeric:tabular-nums;white-space:nowrap;flex:none;font-size:.875rem}@media (width<=479px){.row-link{flex-direction:column;align-items:stretch;gap:.2rem}.row-date{font-size:.8125rem}}@media (hover:hover){.row-link:hover{background:var(--hover)}}.row-link:active{background:rgb(var(--color-card-muted))}.search-input{border:1px solid var(--line);background:var(--raised);color:var(--ink);font:inherit;transition:border-color .15s var(--ease);border-radius:10px;outline:0;width:100%;padding:.6rem .8rem;display:block}.search-input::placeholder{color:var(--muted)}.search-input:focus{border-color:var(--faint)}.search-input::-webkit-search-cancel-button{appearance:none}.search-count{color:var(--muted);margin:1rem 0 1.25rem;font-size:.875rem}.prose{overflow-wrap:break-word;text-wrap:pretty}.prose>:first-child{margin-top:0}.prose h2,.prose h3,.prose h4{text-wrap:balance;font-weight:600;position:relative}.prose h2{letter-spacing:-.016em;margin-top:3.5rem;font-size:1.375rem;line-height:1.3}.prose h3{letter-spacing:-.008em;margin-top:2.5rem;font-size:1.125rem;line-height:1.4}.prose h4,.prose h5,.prose h6{margin-top:2rem;font-size:1em;line-height:1.5}.prose a{text-decoration:underline;-webkit-text-decoration-color:var(--quiet);text-decoration-color:var(--quiet);text-underline-offset:.18em;transition:text-decoration-color .15s var(--ease);text-decoration-thickness:1px}.prose a:hover{-webkit-text-decoration-color:var(--ink);text-decoration-color:var(--ink)}.prose ul,.prose ol{padding-left:1.25em}.prose ul{list-style:disc}.prose ol{list-style:decimal}.prose li{padding-left:.25em}.prose li+li,.prose li>ul,.prose li>ol{margin-top:.5em}.prose li>p+p{margin-top:.75em}.prose li::marker{color:var(--faint)}.prose ol>li::marker{color:var(--muted);font-variant-numeric:tabular-nums}.prose blockquote:not(.twitter-tweet){border-left:1px solid var(--faint);padding-left:1rem}.prose blockquote>*+*{margin-top:.75em}.prose .note{background:var(--raised);border-radius:10px;grid-template-columns:auto minmax(0,1fr);gap:.875rem;margin-block:1.75rem;padding:.875rem 1.125rem;font-size:.9375rem;line-height:1.55;display:grid}.prose .note-label{color:var(--muted);letter-spacing:.08em;padding-top:.25em;font-size:.6875rem;font-weight:600}.prose .note p{margin:0}.prose hr{border:0;border-top:1px solid var(--line);width:100%;margin-block:2.5rem}.prose .ack{color:var(--muted);max-width:34rem;font-size:.875rem;line-height:1.6}.prose .ack+hr{margin-top:1.5rem}.prose img{border:1px solid var(--line);background:rgb(var(--plate));border-radius:12px;max-width:100%;height:auto;margin-inline:auto;display:block}.prose p:has(>img){margin-block:2rem}.prose p:has(>img):has(+.image-caption){margin-bottom:0}.prose p>br+img{margin-top:1rem}.prose img[data-zoomable]{cursor:zoom-in}.prose .image-caption,.prose figcaption{color:var(--muted);text-align:center;text-wrap:pretty;margin:.75rem auto 2rem;font-size:.875rem;font-style:normal;line-height:1.5}.prose .image-caption em{font-style:normal}.prose em:empty{display:none}.prose :not(pre)>code{border:1px solid var(--line);background:var(--raised);font-family:var(--font-mono);-webkit-box-decoration-break:clone;box-decoration-break:clone;border-radius:6px;padding:.125em .3em;font-size:.85em;font-style:normal}.prose pre{border:1px solid var(--line);font-family:var(--font-mono);tab-size:2;border-radius:12px;padding:1rem;font-size:.8125rem;line-height:1.6;position:relative;overflow-x:auto;background:var(--raised)!important}.prose pre>code{white-space:pre;font-family:inherit}html[data-theme=dark] .astro-code,html[data-theme=dark] .astro-code span{color:var(--shiki-dark)!important;font-style:var(--shiki-dark-font-style)!important;font-weight:var(--shiki-dark-font-weight)!important;-webkit-text-decoration:var(--shiki-dark-text-decoration)!important;-webkit-text-decoration:var(--shiki-dark-text-decoration)!important;text-decoration:var(--shiki-dark-text-decoration)!important}.code-block{position:relative}.copy-code{border:1px solid var(--line);background:var(--paper);color:var(--muted);opacity:0;transition:opacity .15s var(--ease),transform .15s var(--ease);border-radius:6px;padding:.2rem .5rem;font-size:.75rem;position:absolute;top:.5rem;right:.5rem}.code-block:hover .copy-code,.copy-code:focus-visible{opacity:1}.copy-code:active{transform:scale(.97)}.prose .table-wrap{margin-block:2rem;margin-inline:calc(-1*var(--bleed));overflow-x:auto}.prose :is(.table-wrap,.diagram-scroll)[data-reach]{-webkit-mask-image:linear-gradient(to right,rgb(0 0 0/var(--fade-start,1)),#000 2.5rem,#000 calc(100% - 2.5rem),rgb(0 0 0/var(--fade-end,1)));-webkit-mask-image:linear-gradient(to right,rgb(0 0 0/var(--fade-start,1)),#000 2.5rem calc(100% - 2.5rem),rgb(0 0 0/var(--fade-end,1)));mask-image:linear-gradient(to right,rgb(0 0 0/var(--fade-start,1)),#000 2.5rem calc(100% - 2.5rem),rgb(0 0 0/var(--fade-end,1)))}.prose table{border-collapse:collapse;text-align:left;width:100%;min-width:30rem;font-size:.875rem;line-height:1.5}.prose th{border-bottom:1px solid var(--line);color:var(--muted);vertical-align:bottom;padding:0 1rem .75rem 0;font-size:.8125rem;font-weight:500}.prose th strong{font-weight:inherit}.prose td{border-bottom:1px solid var(--line);font-variant-numeric:tabular-nums;vertical-align:top;padding:.75rem 1rem .75rem 0}.prose td strong{font-weight:500}.prose th:last-child,.prose td:last-child{padding-right:0}.prose sup{font-size:.6875em;line-height:0}.prose sup a[data-footnote-ref]{font-variant-numeric:tabular-nums;transition:background-color .15s var(--ease);border-radius:3px;padding:0 .15em;font-weight:500;text-decoration:none}.prose sup a[data-footnote-ref]:hover,.prose sup a[data-footnote-ref][data-active]{background:rgb(var(--color-card-muted))}.prose section[data-footnotes]{border-top:1px solid var(--line);color:var(--muted);margin-top:3.5rem;padding-top:1.5rem;font-size:.9375rem;line-height:1.6}.prose section[data-footnotes] li+li{margin-top:.6em}.prose details{border-block:1px solid var(--line)}.prose details+details{border-top:0;margin-top:0}.prose summary{cursor:pointer;justify-content:space-between;align-items:center;gap:1rem;padding-block:.75rem;font-weight:500;list-style:none;display:flex}.prose summary::-webkit-details-marker{display:none}.prose summary:after{content:"";border-right:1.5px solid var(--quiet);border-bottom:1.5px solid var(--quiet);transition:transform .2s var(--ease);flex:none;width:.4375rem;height:.4375rem;margin-right:.25rem;transform:translateY(-25%)rotate(45deg)}.prose details[open]>summary:after{transform:translateY(25%)rotate(-135deg)}.prose details>:not(summary){margin-bottom:1rem}.prose{counter-reset:figure}.prose .image-caption:before,.prose .diagram figcaption:before{counter-increment:figure;content:"Figure " counter(figure)" · ";color:var(--ink);font-weight:600}.prose iframe,.prose video{border-radius:12px;max-width:100%}.prose .twitter-tweet{margin-inline:auto}.heading-anchor{color:var(--faint);opacity:0;transition:color .15s var(--ease),opacity .15s var(--ease);padding-right:.5rem;font-weight:400;position:absolute;top:0;right:100%;text-decoration:none!important}.prose :is(h2,h3,h4):hover .heading-anchor,.heading-anchor:focus-visible{opacity:1}.heading-anchor:hover{color:var(--muted)}@media (width<=767px){.heading-anchor{display:none}}::view-transition-group(*){animation-duration:.34s;animation-timing-function:cubic-bezier(.2,.8,.2,1)}::view-transition-old(*){mix-blend-mode:normal}::view-transition-new(*){mix-blend-mode:normal}::view-transition-old(*){animation:.14s var(--ease)both page-out}::view-transition-new(*){animation:.22s var(--ease)60ms both page-in}::view-transition-old(root){animation:.13s var(--ease)both page-out}::view-transition-old(*):only-child{animation:.13s var(--ease)both page-out}::view-transition-new(root){animation:.3s var(--ease)70ms both page-in}::view-transition-new(*):only-child{animation:.3s var(--ease)70ms both page-in}@keyframes page-out{to{opacity:0}}@keyframes page-in{0%{opacity:0}}::view-transition-group(site-header){z-index:2}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto!important}*,:before,:after{transition-duration:1ms!important;animation-duration:1ms!important;animation-iteration-count:1!important;animation-delay:0s!important}}@media print{:root,html[data-theme=light],html[data-theme=dark]{--color-fill:255 255 255;--color-raised:255 255 255;--color-text-base:17 17 17;--color-muted:85 85 85;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}.site-header nav,.site-header .progress,.site-footer,.toc,.sidenotes,.more,.post-end,.spotlight,.lightbox,.heading-anchor,.copy-code,.footnote-pop{display:none!important}.prose section[data-footnotes]{display:block!important}.prose img,.prose .diagram,.prose .diagram-scroll,.prose .tweet,.prose .table-wrap,.prose pre{-moz-column-break-inside:avoid;break-inside:avoid}.prose h2,.prose h3{-moz-column-break-after:avoid;break-after:avoid}}.sr-only{clip:rect(0,0,0,0);white-space:nowrap;border-width:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.visible{visibility:visible}.collapse{visibility:collapse}.static{position:static}.fixed{position:fixed}.absolute{position:absolute}.relative{position:relative}.sticky{position:sticky}.isolate{isolation:isolate}.mx-auto{margin-left:auto;margin-right:auto}.block{display:block}.flex{display:flex}.table{display:table}.grid{display:grid}.contents{display:contents}.hidden{display:none}.max-w-lg{max-width:32rem}.max-w-md{max-width:28rem}.shrink{flex-shrink:1}.grow{flex-grow:1}.transform{transform:translate(var(--tw-translate-x),var(--tw-translate-y))rotate(var(--tw-rotate))skew(var(--tw-skew-x))skewY(var(--tw-skew-y))scaleX(var(--tw-scale-x))scaleY(var(--tw-scale-y))}.resize{resize:both}.flex-wrap{flex-wrap:wrap}.justify-center{justify-content:center}.scroll-smooth{scroll-behavior:smooth}.text-wrap{text-wrap:wrap}.border{border-width:1px}.underline{text-decoration-line:underline}.outline{outline-style:solid}.ring{--tw-ring-offset-shadow:var(--tw-ring-inset)0 0 0 var(--tw-ring-offset-width)var(--tw-ring-offset-color);--tw-ring-shadow:var(--tw-ring-inset)0 0 0 calc(3px + var(--tw-ring-offset-width))var(--tw-ring-color);box-shadow:var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow,0 0 #0000)}.blur{--tw-blur:blur(8px);filter:var(--tw-blur)var(--tw-brightness)var(--tw-contrast)var(--tw-grayscale)var(--tw-hue-rotate)var(--tw-invert)var(--tw-saturate)var(--tw-sepia)var(--tw-drop-shadow)}.filter{filter:var(--tw-blur)var(--tw-brightness)var(--tw-contrast)var(--tw-grayscale)var(--tw-hue-rotate)var(--tw-invert)var(--tw-saturate)var(--tw-sepia)var(--tw-drop-shadow)}.backdrop-filter{backdrop-filter:var(--tw-backdrop-blur)var(--tw-backdrop-brightness)var(--tw-backdrop-contrast)var(--tw-backdrop-grayscale)var(--tw-backdrop-hue-rotate)var(--tw-backdrop-invert)var(--tw-backdrop-opacity)var(--tw-backdrop-saturate)var(--tw-backdrop-sepia)}.transition{transition-property:color,background-color,border-color,text-decoration-color,fill,stroke,opacity,box-shadow,transform,filter,backdrop-filter;transition-duration:.15s;transition-timing-function:cubic-bezier(.4,0,.2,1)}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2)format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff)format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Regular.CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2)format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff)format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2)format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff)format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2)format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff)format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2)format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff)format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2)format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff)format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2)format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff)format("woff"),url(/_astro/KaTeX_Math-Italic.flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2)format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff)format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2)format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff)format("woff"),url(/_astro/KaTeX_Size1-Regular.Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2)format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff)format("woff"),url(/_astro/KaTeX_Size2-Regular.B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff)format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2)format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff)format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2)format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff)format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;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;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo)")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo)")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}@font-face{font-family:Latin Modern;src:url(/fonts/latin-modern/LM-regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Latin Modern;src:url(/fonts/latin-modern/LM-italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:Latin Modern;src:url(/fonts/latin-modern/LM-bold.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:Latin Modern;src:url(/fonts/latin-modern/LM-bold-italic.woff2)format("woff2");font-weight:700;font-style:italic;font-display:swap}@font-face{font-family:Latin Modern Math Symbols;src:url(/fonts/latin-modern/LM-math-symbols.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap;unicode-range:U+AC,U+391-3A9,U+2020-2021,U+2032-2033,U+210F-211C,U+2135,U+2190-22FF,U+27E8-27FA}@font-face{font-family:Latin Modern Math Italic;src:url(/fonts/latin-modern/LM-math-italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}:root{--font-serif:"Latin Modern","Latin Modern Roman","Computer Modern","CMU Serif",Georgia,"Times New Roman",serif;--link:#0020a0}:root,html[data-theme=light]{--color-fill:255 255 255;--color-raised:248 248 248;--color-text-base:0 0 0;--color-muted:64 64 64;--color-quiet:112 112 112;--color-accent:0 32 160}html[data-theme=dark]{--link:#8caaff}body{font-family:var(--font-serif);-webkit-font-smoothing:auto;font-size:clamp(1.125rem,.25rem + 1.2vw,1.4rem);line-height:1.5}.display{letter-spacing:0;font-weight:700;line-height:1.15}.prose{hyphens:auto;text-align:justify;text-wrap:wrap;hyphenate-limit-chars:8 4 3;counter-reset:figure section subsection}.prose>*+*{margin-top:.85em}.prose h2,.prose h3,.prose h4{letter-spacing:0;text-align:left;hyphens:manual;font-weight:700}.prose h2{margin-top:2.2em;font-size:1.35em;line-height:1.25}.prose h3{margin-top:1.7em;font-size:1.15em;line-height:1.3}.prose h2+*,.prose h3+*,.prose h4+*{margin-top:.6rem}.prose h2:not(#footnote-label){counter-increment:section;counter-reset:subsection}.prose h2:not(#footnote-label):before{content:counter(section)" "}.prose h3{counter-increment:subsection}.prose h3:before{content:counter(section)"." counter(subsection)" "}.prose a{color:var(--link);text-decoration:underline;-webkit-text-decoration-color:color-mix(in srgb,var(--link)45%,transparent);text-decoration-color:color-mix(in srgb,var(--link)45%,transparent);text-underline-offset:.16em;text-decoration-thickness:1px}.prose a:hover{color:var(--link);-webkit-text-decoration-color:var(--link);text-decoration-color:var(--link)}.prose strong{font-weight:700}.prose blockquote{color:var(--ink);border:0;margin-inline:2em;padding:0;font-size:.95em;font-style:normal}.prose .note{font-size:1em;line-height:inherit;background:0 0;border-radius:0;margin-block:1em;padding:0 0 0 1.5em;display:block}.prose .note-label{color:var(--ink);font-size:inherit;font-variant:small-caps;letter-spacing:0;padding:0;font-weight:700;display:inline}.prose .note-label:after{content:". "}.prose .note p{text-indent:0;display:inline}.prose .image-caption,.prose figcaption{color:var(--ink);hyphens:manual;font-size:.9em;line-height:1.4}.prose .image-caption:before,.prose .diagram figcaption:before{content:"Figure " counter(figure)": ";font-weight:700}.prose .table-wrap{margin-inline:0}.prose table{border-top:1.5px solid var(--ink);border-bottom:1.5px solid var(--ink);text-align:left;min-width:0;font-size:.92em}.prose th{border-bottom:.75px solid var(--ink);color:var(--ink);font-size:inherit;padding:.45rem 1rem .45rem 0;font-weight:700}.prose td{border-bottom:0;padding:.4rem 1rem .4rem 0}.prose pre{border:1px solid var(--line);border-radius:0;font-size:.85em;background:0 0!important}.prose code{font-size:.9em}.prose li{text-indent:0}.prose ul>li::marker{content:"• ";color:var(--ink)}.prose ul ul>li::marker{content:"– "}.prose hr{border-top:1px solid var(--ink);width:40%;margin-inline:auto}.katex{font-family:Latin Modern,Latin Modern Math Symbols,KaTeX_Main,serif;font-size:1.05em}.katex .mathnormal{font-family:Latin Modern Math Italic,KaTeX_Math}.katex :is(.mathrm,.textrm,.mathit,.textit,.mathbf,.textbf){font-family:Latin Modern,KaTeX_Main}.prose :is(p,li,td,th,figcaption) .katex{line-height:0}.katex-display{margin:1em 0;overflow:auto hidden}.post-head{text-align:center}.post-head h1{margin-inline:auto;font-size:clamp(1.75rem,.6rem + 2.2vw,2.75rem);line-height:1.2}.post-head .byline{color:var(--ink);justify-items:center;gap:.15rem;margin-top:1rem;font-size:1em;line-height:1.4;display:grid}.post-head .byline .sep{display:none}.post-head .byline>span,.post-head .byline>time{white-space:normal;display:block}.post-head .byline time,.post-head .byline>span:not(:first-child){color:var(--muted);font-size:.9em}.post-head .lede{color:var(--ink);letter-spacing:0;margin-top:0;font-size:.95em;line-height:1.45}.toc ol,.page-outline ol{counter-reset:toc}.toc li[data-depth="2"]{counter-increment:toc;counter-reset:tocsub}.page-outline li:has(>a[data-depth="2"]){counter-increment:toc;counter-reset:tocsub}.toc li[data-depth="3"]{counter-increment:tocsub}.page-outline li:has(>a[data-depth="3"]){counter-increment:tocsub}nav.toc a,.page-outline a{grid-template-columns:1.5em minmax(0,1fr);display:grid}nav.toc a[data-depth="3"],.page-outline a[data-depth="3"]{grid-template-columns:2.4em minmax(0,1fr);padding-left:1.6em}nav.toc a[data-depth="2"]:before,.page-outline a[data-depth="2"]:before{content:counter(toc)}nav.toc a[data-depth="3"]:before,.page-outline a[data-depth="3"]:before{content:counter(toc)"." counter(tocsub)}.group-label{font-variant:small-caps;letter-spacing:.04em;font-size:.8em}.row-title{font-weight:700}.sidenote,.footnote-pop{text-align:left}.dg-show-say{text-align:center}.prose h2#abstract{counter-increment:none;text-align:center}.prose h2#abstract:before{content:none}.prose h2#abstract+p{max-width:88%;margin-inline:auto}:is(.toc li:has(>a[href=\#abstract]),.page-outline li:has(>a[href=\#abstract])){counter-increment:none}nav.toc a[href=\#abstract]:before,.page-outline a[href=\#abstract]:before{content:""}:root{--column:clamp(40rem,58cqw,56rem)}svg.dg{font-family:var(--font-serif)}.row-title{font-size:1.05em}.row-desc{font-size:.92em}.row-date{font-size:.85em}.post-head .lede{color:var(--muted);text-align:center;max-width:88%;margin:.75rem auto 0;font-size:1.05em;line-height:1.4}svg.dg .dg-label,svg.dg .dg-grouplabel,svg.dg .dg-actorlabel,svg.dg .dg-step text,svg.dg .dg-linklabel[data-on] .dg-linktext,svg.dg .dg-t-strong .dg-label,.prose .dg-play,.dg-show-toggle{font-weight:400}svg.dg .dg-notestrong,.dg-phase,.dg-n,.dg-steps .dg-ref,.dg-show-say .dg-ref{font-weight:700}@media (width>=43.01rem){svg.dg{max-width:calc(var(--dg-w,640)*1.15px)}}@media (width>=1200px){:root{--figure-bleed:clamp(0px,calc((100cqw - var(--column))/2 - 15rem - var(--gutter) - .5rem),5.5rem)}}.prose>p>img{width:calc(100% + 2*var(--figure-bleed));margin-inline:calc(-1*var(--figure-bleed));max-width:none}.prose .ack{max-width:none;font-size:.9em;line-height:1.5}.prose>p:has(>strong:first-child){text-indent:0;margin-top:.85em}:is(.prose>p:has(>strong:only-child)+p,.prose>p:has(>strong:only-child)+ul,.prose>p:has(>strong:only-child)+ol){text-indent:0;margin-top:.3em}.prose ul,.prose ol{margin-block:.6em;padding-left:1.6em}.prose li+li{margin-top:.3em}.prose li>ul,.prose li>ol{margin-block:.3em}.prose blockquote,.prose pre{margin-block:1em}.prose hr{margin-block:1.6em}.prose .diagram,.prose>p>img{margin-block:2.2em}.prose .image-caption,.prose .diagram figcaption{margin-top:.7rem;margin-bottom:0}.prose section[data-footnotes]{margin-top:2.5em;font-size:.9em}.site-header .brand{font-variant:normal;letter-spacing:0;font-weight:700}nav.toc a{padding-block:.3rem;font-size:1rem;line-height:1.4}nav.toc a[data-depth="3"]{font-size:.9375rem}details.page-outline{font-size:1rem}nav.toc li[data-depth="3"]>a{transition:padding .32s var(--spring)}nav.toc li[data-depth="3"]:not([data-open])>a{padding-block:0}@media (width<=43rem){.prose{text-align:left;text-wrap:pretty}.katex-display{font-size:.9em}}.astro-route-announcer{clip:rect(0 0 0 0);clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;top:0;left:0;overflow:hidden}.spotlight{background:rgb(var(--color-fill)/.78);backdrop-filter:saturate(180%)blur(36px);box-shadow:0 0 0 1px var(--glass-edge),0 36px 90px -20px #00000052,0 10px 28px -10px #00000024;color:var(--ink);opacity:0;transform-origin:50% 0;transition:opacity .16s var(--ease),transform .16s var(--ease),overlay .16s allow-discrete,display .16s allow-discrete;border:0;border-radius:20px;width:min(100vw - 1.5rem,36rem);max-width:none;max-height:min(100dvh - 9rem,31rem);margin:min(16vh,9rem) auto auto;padding:0;overflow:hidden;transform:translateY(-.5rem)scale(.97)}.spotlight[open]{opacity:1;transition:opacity .22s var(--ease),transform .42s var(--spring),overlay .42s allow-discrete,display .42s allow-discrete;flex-direction:column;display:flex;transform:none}@starting-style{.spotlight[open]{opacity:0;transform:translateY(-.5rem)scale(.97)}}.spotlight::backdrop{background:rgb(var(--veil));opacity:0;transition:opacity .2s var(--ease),overlay .2s allow-discrete,display .2s allow-discrete}.spotlight[open]::backdrop{opacity:1}@starting-style{.spotlight[open]::backdrop{opacity:0}}.spotlight .field{border-bottom:1px solid var(--glass-edge);flex:none;align-items:center;gap:.75rem;padding-inline:1.125rem .875rem;display:flex}.spotlight .field svg{fill:none;stroke:var(--muted);stroke-width:1.75px;stroke-linecap:round;flex:none;width:1.25rem;height:1.25rem}.spotlight input{color:inherit;font:inherit;letter-spacing:-.01em;background:0 0;border:0;outline:0;flex:1;min-width:0;height:3.5rem;font-size:1.125rem}.spotlight input::placeholder{color:var(--quiet)}.spotlight .esc{box-shadow:inset 0 0 0 1px var(--glass-edge);background:rgb(var(--color-text-base)/.04);color:var(--muted);transition:color .15s var(--ease);border-radius:6px;flex:none;padding:0 .4rem .0625rem;font-size:.75rem;line-height:1.3125rem}.spotlight .esc:hover{color:var(--ink)}.spotlight .body{overscroll-behavior:contain;min-height:0;padding:.5rem;overflow-y:auto}.spotlight .label,.spotlight .none{color:var(--muted);padding:.5rem .75rem .375rem;font-size:.8125rem;line-height:1.4}.spotlight .none{padding-block:1.25rem 1.5rem;font-size:.9375rem}.spotlight ul{margin:0;padding:0;list-style:none}.spotlight [role=option]{border-radius:12px;outline:0;justify-content:space-between;align-items:baseline;gap:1.25rem;padding:.55rem .75rem;display:flex}.spotlight [role=option][aria-selected=true]{background:rgb(var(--color-text-base)/.07)}.spotlight [role=option][aria-selected=true] :is(.hit-desc,.hit-date){color:rgb(var(--color-text-base)/.72)}.spotlight .hit{min-width:0;display:block}.spotlight .hit-title,.spotlight .hit-desc{text-overflow:ellipsis;white-space:nowrap;line-height:1.45;display:block;overflow:hidden}.spotlight .hit-title{font-weight:500}.spotlight .hit-desc,.spotlight .hit-date{color:var(--muted);font-size:.875rem}.spotlight .hit-date{font-variant-numeric:tabular-nums;white-space:nowrap;flex:none}@media (width<=479px){.spotlight{margin-top:.75rem}.spotlight .hit-date{display:none}}.site-header:where(.astro-3ef6ksr2){z-index:40;background:rgb(var(--color-fill)/.94);backdrop-filter:var(--glass-blur);transition:border-color .24s var(--ease);view-transition-name:site-header;border-bottom:1px solid #0000;margin-bottom:clamp(2.5rem,8vw,4.5rem);position:sticky;top:0}.site-header:where(.astro-3ef6ksr2)[data-scrolled]{border-bottom-color:var(--glass-edge)}.bar:where(.astro-3ef6ksr2){height:var(--header);justify-content:space-between;align-items:center;gap:1.25rem;display:flex}#skip-to-content:where(.astro-3ef6ksr2){z-index:50;background:var(--ink);color:var(--paper);border-radius:8px;padding:.4rem .75rem;font-size:.875rem;position:absolute;top:-100vh;left:.75rem}#skip-to-content:where(.astro-3ef6ksr2):focus{top:.6rem}.brand:where(.astro-3ef6ksr2){white-space:nowrap;align-items:center;gap:.6rem;min-width:0;font-weight:500;display:flex}.brand:where(.astro-3ef6ksr2) .logo-mark{flex:none}.slot:where(.astro-3ef6ksr2){align-items:center;min-width:0;display:grid}.brand-name:where(.astro-3ef6ksr2),.reading:where(.astro-3ef6ksr2){transition:opacity .22s var(--ease),transform .42s var(--spring);grid-area:1/1;min-width:0}.reading:where(.astro-3ef6ksr2){opacity:0;text-overflow:ellipsis;overflow:hidden;transform:translateY(.5rem)}.site-header:where(.astro-3ef6ksr2)[data-reading] .brand-name:where(.astro-3ef6ksr2){opacity:0;transform:translateY(-.5rem)}.site-header:where(.astro-3ef6ksr2)[data-reading] .reading:where(.astro-3ef6ksr2){opacity:1;transform:none}nav:where(.astro-3ef6ksr2){flex:none;align-items:center;gap:1.25rem;display:flex}.glass:where(.astro-3ef6ksr2){fill:none;stroke:currentColor;stroke-width:1.6px;stroke-linecap:round;width:1.125rem;height:1.125rem;display:none}@media (width<=639px){nav:where(.astro-3ef6ksr2){gap:1rem}.glass:where(.astro-3ef6ksr2){display:block}.label:where(.astro-3ef6ksr2){clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.site-header:where(.astro-3ef6ksr2)[data-reading] nav:where(.astro-3ef6ksr2) a:where(.astro-3ef6ksr2):not([data-spotlight-open]){display:none}}@media (width<=359px){.rest:where(.astro-3ef6ksr2){display:none}}nav:where(.astro-3ef6ksr2) a:where(.astro-3ef6ksr2){color:var(--muted);transition:color .15s var(--ease);align-items:center;gap:.5rem;display:inline-flex}nav:where(.astro-3ef6ksr2) a:where(.astro-3ef6ksr2):hover,nav:where(.astro-3ef6ksr2) a:where(.astro-3ef6ksr2)[aria-current=page]{color:var(--ink)}kbd:where(.astro-3ef6ksr2){box-shadow:inset 0 0 0 1px var(--glass-edge);background:rgb(var(--color-text-base)/.04);text-align:center;border-radius:5px;min-width:1.25rem;padding:0 .3rem .0625rem;font-family:inherit;font-size:.75rem;line-height:1.1875rem;display:none}@media (hover:hover) and (width>=640px){kbd:where(.astro-3ef6ksr2){display:block}}#theme-btn:where(.astro-3ef6ksr2){color:var(--muted);transition:color .15s var(--ease),transform .15s var(--ease);border-radius:6px;place-items:center;width:1.75rem;height:1.75rem;margin-right:-.375rem;display:grid}#theme-btn:where(.astro-3ef6ksr2):hover{color:var(--ink)}#theme-btn:where(.astro-3ef6ksr2):active{transform:scale(.94)}#theme-btn:where(.astro-3ef6ksr2) svg:where(.astro-3ef6ksr2){fill:none;stroke:currentColor;stroke-width:1.6px;stroke-linecap:round;stroke-linejoin:round;width:1rem;height:1rem}.progress:where(.astro-3ef6ksr2){background:var(--ink);transform:scaleX(var(--read,0));transform-origin:0;height:1px;position:absolute;bottom:-1px;left:0;right:0}@media print{.site-header:where(.astro-3ef6ksr2){background:0 0;position:static}}.site-footer:where(.astro-sz7xmlte){color:var(--muted);margin-top:clamp(4rem,12vw,7rem);padding-bottom:clamp(2rem,8vw,4rem);font-size:.8em;line-height:1.5}nav:where(.astro-sz7xmlte){gap:1.25rem;padding-bottom:1rem;display:flex}nav:where(.astro-sz7xmlte) a:where(.astro-sz7xmlte),.managed:where(.astro-sz7xmlte) a:where(.astro-sz7xmlte){transition:color .15s var(--ease)}nav:where(.astro-sz7xmlte) a:where(.astro-sz7xmlte):hover,.managed:where(.astro-sz7xmlte) a:where(.astro-sz7xmlte):hover{color:var(--ink)}.colophon:where(.astro-sz7xmlte){border-top:1px solid var(--line);grid-template-columns:1fr auto 1fr;align-items:center;gap:.5rem 1rem;padding-top:1rem;font-size:.92em;display:grid}.ticker:where(.astro-sz7xmlte){font-variant-numeric:tabular-nums;letter-spacing:-.01em;margin:0}.ticker:where(.astro-sz7xmlte)[hidden]{display:none}.mark:where(.astro-sz7xmlte){color:var(--ink);grid-column:2;margin:-.625rem -.75rem;padding:.625rem .75rem;display:flex}.mark:where(.astro-sz7xmlte) svg:where(.astro-sz7xmlte){fill:currentColor;transition:rotate .6s var(--ease);width:1.64236rem;height:1.375rem}.mark:where(.astro-sz7xmlte):hover svg:where(.astro-sz7xmlte){rotate:360deg}.managed:where(.astro-sz7xmlte){grid-column:3;justify-self:end;margin:0}.managed:where(.astro-sz7xmlte) a:where(.astro-sz7xmlte){text-decoration:underline;-webkit-text-decoration-color:var(--faint);text-decoration-color:var(--faint);text-underline-offset:.18em;text-decoration-thickness:1.5px}@media (width<=40rem){.colophon:where(.astro-sz7xmlte){grid-template-columns:1fr;justify-items:center;gap:.5rem;padding-top:1.5rem}.mark:where(.astro-sz7xmlte),.managed:where(.astro-sz7xmlte){grid-column:1;justify-self:center}.mark:where(.astro-sz7xmlte){order:-1}}@media (prefers-reduced-motion:reduce){.mark:where(.astro-sz7xmlte) svg:where(.astro-sz7xmlte){transition:none}}