@font-face{font-family:Geist Mono;src:url(/ui/geist-mono[wght].woff2)format("woff2");font-style:normal;font-weight:100 900}@font-face{font-family:Geist Mono;src:url(/ui/geist-mono-italic[wght].woff2)format("woff2");font-style:italic;font-weight:100 900}@layer components{.markdown,.markdown *,.markdown :before,.markdown :after{box-sizing:border-box}.markdown{--body-color:#1b1818;--body-bg-color:#f9fafb;--link-visited:#a80000;--link-focus-outline:#1660f3;--pre-bg-color:#e8edf2;--kbd-bg-color:#fff;--kbd-border-color:#afb3b6;--table-border-color:black;--border-width-thin:1.36px;--border-width-thick:2.27px;--code-font:var(--font-mono,"Geist Mono","SFMono-Regular",Menlo,monospace);--sidenote-target-border-color:#ddd688;--footnotes-border-color:#636363;--text-indent-size:1.463rem}.markdown.latex-dark{--body-color:#dbdbdb;--body-bg-color:#292929;--link-visited:#95daf3;--link-focus-outline:#8fb3e6;--pre-bg-color:#403f3f;--kbd-bg-color:#292929;--kbd-border-color:#afb3b6;--table-border-color:white;--sidenote-target-border-color:#969696;--footnotes-border-color:#969696;--proof-symbol-filter:invert(80%)}@media (prefers-color-scheme:dark){.markdown.latex-dark-auto{--body-color:#dbdbdb;--body-bg-color:#292929;--link-visited:#95daf3;--link-focus-outline:#8fb3e6;--pre-bg-color:#403f3f;--kbd-bg-color:#292929;--kbd-border-color:#afb3b6;--table-border-color:white;--sidenote-target-border-color:#969696;--footnotes-border-color:#969696;--proof-symbol-filter:invert(80%)}}.markdown{color:var(--body-color);text-rendering:optimizeLegibility;-webkit-hyphens:auto;hyphens:auto;counter-reset:theorem definition sidenote-counter;line-height:1.8}.markdown :where(h1),.markdown :where(h2),.markdown :where(h3),.markdown :where(h4),.markdown :where(p),.markdown :where(ul),.markdown :where(ol),.markdown :where(li),.markdown :where(figure),.markdown :where(figcaption),.markdown :where(dl),.markdown :where(dd){margin:0}.markdown :where(h1),.markdown :where(h2),.markdown :where(h3),.markdown :where(h4),.markdown :where(h5),.markdown :where(h6){font-weight:600}.markdown :where(strong),.markdown :where(b){font-weight:bolder}.markdown :where(em),.markdown :where(i){font-style:italic}.markdown :where(a){text-decoration:underline}.markdown :where(ul){list-style-type:disc;list-style-position:outside}.markdown :where(ol){list-style-type:decimal;list-style-position:outside}.markdown.indent-pars p{text-indent:var(--text-indent-size)}:where(.markdown.indent-pars) :where(p.no-indent),:where(.markdown) :where(p.no-indent),.markdown.indent-pars ol p,.markdown.indent-pars ul p,.markdown.indent-pars h2+p,.markdown.indent-pars h3+p,.markdown.indent-pars h4+p{text-indent:0}.markdown :where(a:not([class])){text-decoration-skip-ink:auto}.markdown :where(a),.markdown :where(a:visited){color:var(--link-visited)}.markdown :where(a:focus){outline-offset:2px;outline:2px solid var(--link-focus-outline)}.markdown .break-all{word-break:break-all}.markdown :where(img){max-width:100%;height:auto;display:block}.markdown :where(input),.markdown :where(button),.markdown :where(textarea),.markdown :where(select){font:inherit}.markdown :where(textarea){width:100%}.markdown :where(article>*+*){margin-top:1em}.markdown :where(code),.markdown :where(pre),.markdown :where(kbd){font-family:var(--code-font);-webkit-hyphens:none;hyphens:none;font-size:85%}.markdown :where(pre){background:var(--pre-bg-color);border-radius:4px;max-width:100%;padding:1rem 1.4rem;overflow:auto}.markdown :where(pre code){font-size:95%;position:relative}.markdown :where(kbd){background:var(--kbd-bg-color);border:1px solid var(--kbd-border-color);border-radius:2px;padding:2px 4px;font-size:75%}.markdown :where(table:not(.borders-custom)){border-collapse:collapse;border-spacing:0;border-top:var(--border-width-thick)solid var(--table-border-color);border-bottom:var(--border-width-thick)solid var(--table-border-color);counter-increment:caption;width:auto;max-width:100%}.markdown :where(table:not(.borders-custom) tr>th[scope=col]){border-bottom:var(--border-width-thin)solid var(--table-border-color)}.markdown :where(table:not(.borders-custom) tr>th[scope=row]){border-right:var(--border-width-thin)solid var(--table-border-color)}.markdown :where(table:not(.borders-custom)>tbody>tr:first-child>td),.markdown :where(table:not(.borders-custom)>tbody>tr:first-child>th){border-top:var(--border-width-thin)solid var(--table-border-color)}.markdown :where(table:not(.borders-custom)>tbody>tr:last-child>td),.markdown :where(table:not(.borders-custom)>tbody>tr:last-child>th){border-bottom:var(--border-width-thin)solid var(--table-border-color)}.markdown :where(th),.markdown :where(td){text-align:left;padding:.5rem;line-height:1.1}.markdown :where(caption){text-align:left;width:100%;margin-left:0;padding:0 .25em .25em;font-size:.923em}.markdown :where(caption):before{content:"Table " counter(caption)". ";font-weight:700}.markdown .scroll-wrapper{overflow-x:auto}.markdown .scroll-wrapper>table td{white-space:nowrap}.markdown :where(table.borders-custom){border-collapse:collapse;border-spacing:0;counter-increment:caption;width:auto;max-width:100%;overflow-x:auto}.markdown .border-top-thick{border-top:var(--border-width-thick)solid var(--table-border-color)}.markdown .border-right-thick{border-right:var(--border-width-thick)solid var(--table-border-color)}.markdown .border-bottom-thick{border-bottom:var(--border-width-thick)solid var(--table-border-color)}.markdown .border-left-thick{border-left:var(--border-width-thick)solid var(--table-border-color)}.markdown .border-top-thin{border-top:var(--border-width-thin)solid var(--table-border-color)}.markdown .border-right-thin{border-right:var(--border-width-thin)solid var(--table-border-color)}.markdown .border-bottom-thin{border-bottom:var(--border-width-thin)solid var(--table-border-color)}.markdown .border-left-thin{border-left:var(--border-width-thin)solid var(--table-border-color)}.markdown .col-1-l tr>:first-child,.markdown .col-2-l tr>:nth-child(2),.markdown .col-3-l tr>:nth-child(3),.markdown .col-4-l tr>:nth-child(4),.markdown .col-5-l tr>:nth-child(5),.markdown .col-6-l tr>:nth-child(6),.markdown .col-7-l tr>:nth-child(7),.markdown .col-8-l tr>:nth-child(8),.markdown .col-9-l tr>:nth-child(9),.markdown .col-10-l tr>:nth-child(10),.markdown .col-11-l tr>:nth-child(11),.markdown .col-12-l tr>:nth-child(12){text-align:left}.markdown .col-1-c tr>:first-child,.markdown .col-2-c tr>:nth-child(2),.markdown .col-3-c tr>:nth-child(3),.markdown .col-4-c tr>:nth-child(4),.markdown .col-5-c tr>:nth-child(5),.markdown .col-6-c tr>:nth-child(6),.markdown .col-7-c tr>:nth-child(7),.markdown .col-8-c tr>:nth-child(8),.markdown .col-9-c tr>:nth-child(9),.markdown .col-10-c tr>:nth-child(10),.markdown .col-11-c tr>:nth-child(11),.markdown .col-12-c tr>:nth-child(12){text-align:center}.markdown .col-1-r tr>:first-child,.markdown .col-2-r tr>:nth-child(2),.markdown .col-3-r tr>:nth-child(3),.markdown .col-4-r tr>:nth-child(4),.markdown .col-5-r tr>:nth-child(5),.markdown .col-6-r tr>:nth-child(6),.markdown .col-7-r tr>:nth-child(7),.markdown .col-8-r tr>:nth-child(8),.markdown .col-9-r tr>:nth-child(9),.markdown .col-10-r tr>:nth-child(10),.markdown .col-11-r tr>:nth-child(11),.markdown .col-12-r tr>:nth-child(12){text-align:right}.markdown :where(figure){counter-increment:figcaption}.markdown :where(figcaption){text-align:left;width:100%;margin-left:0;padding:.25em .25em 0;font-size:.923em}.markdown :where(figcaption):before{content:"Figure " counter(figcaption)". ";font-weight:700}.markdown :where(h1:first-child){text-align:center}.markdown :where(nav ol){counter-reset:item;padding-left:2rem}.markdown :where(nav ol>li){display:block}.markdown :where(nav ol>li):before{content:counters(item,".")" ";counter-increment:item;padding-right:.85rem}.markdown :where(dl dd){text-align:center}.markdown .theorem{counter-increment:theorem;margin:12px 0;font-style:italic;display:block}.markdown .theorem:before{content:"Theorem " counter(theorem)". ";font-style:normal;font-weight:700}.markdown .lemma{counter-increment:theorem;margin:12px 0;font-style:italic;display:block}.markdown .lemma:before{content:"Lemma " counter(theorem)". ";font-style:normal;font-weight:700}.markdown .proof{margin:12px 0;font-style:normal;display:block;position:relative}.markdown .proof:before{content:"Proof. " attr(title);font-style:italic}.markdown .proof:after{content:"QED";filter:var(--proof-symbol-filter);position:absolute;bottom:-2px;right:-12px}.markdown .definition{counter-increment:definition;margin:12px 0;font-style:normal;display:block}.markdown .definition:before{content:"Definition " counter(definition)". ";font-style:normal;font-weight:700}.markdown .author{text-align:center;margin:.85rem 0;font-variant-caps:small-caps}.markdown .sidenote{float:right;clear:right;text-indent:0;text-align:left;width:18vw;margin-bottom:1em;margin-right:-20vw;font-size:.8rem}.markdown .sidenote.left{float:left;text-indent:0;text-align:right;margin-bottom:1em;margin-left:-20vw}.markdown.text-justify .sidenote,.markdown.text-justify .sidenote.left{text-align:justify}.markdown .sidenote:target{border:var(--sidenote-target-border-color)1.5px solid;padding:0 .5rem;scroll-margin-block-start:10rem}.markdown .sidenote-number{counter-increment:sidenote-counter}.markdown .sidenote-number:after,.markdown .sidenote:before{vertical-align:baseline;position:relative}.markdown .sidenote-number:after{content:counter(sidenote-counter);font-size:.7rem;top:-.5rem;left:.1rem}.markdown .sidenote-number~.sidenote:before{content:counter(sidenote-counter)" ";font-size:.7rem;top:-.5rem}.markdown label.sidenote-toggle:not(.sidenote-number){display:none}.markdown :where(blockquote .sidenote){width:18vw;margin-right:-24vw}.markdown label.sidenote-toggle{cursor:pointer;display:inline}.markdown input.sidenote-toggle{display:none}@media (max-width:1050px){.markdown label.sidenote-toggle:not(.sidenote-number){display:inline}.markdown .sidenote{display:none}.markdown .sidenote-toggle:checked+.sidenote{float:left;clear:both;width:95%;margin:.5rem 1.25rem 1rem .5rem;display:block;left:1rem}.markdown .sidenote-toggle:checked+.sidenote.left{text-align:left}.markdown.text-justify .sidenote-toggle:checked+.sidenote.left{text-align:justify}.markdown :where(blockquote .sidenote){width:16vw;margin-right:-25vw}}.markdown :where(.footnotes p){margin-bottom:.4rem;font-size:85%;line-height:1.5}.markdown :where(.footnotes){border-top:1px solid var(--footnotes-border-color)}.markdown :where(.abstract),.markdown :where(.abstract p){text-align:center;margin-top:0}.markdown :where(.abstract){margin:2.25rem 0}.markdown :where(.abstract>h2){margin-bottom:-.2rem;font-size:1rem}.markdown :where(.latex span:first-child){text-transform:uppercase;vertical-align:.28em;margin-left:-.48em;margin-right:-.15em;font-size:.75em;line-height:1ex}.markdown :where(.latex span:nth-child(2)){text-transform:uppercase;vertical-align:-.5ex;margin-left:-.1667em;margin-right:-.125em;line-height:1ex}.markdown :where(.whitespace-nowrap){white-space:nowrap}.markdown :where(h1){margin-bottom:1.625rem;font-size:2.5rem;line-height:3.25rem}.markdown :where(h2){margin-top:3rem;font-size:1.7rem;line-height:2rem}.markdown :where(h3){margin-top:2.5rem;font-size:1.4rem}.markdown :where(h4){margin-top:2rem;font-size:1.2rem}.markdown :where(h5){margin-top:1.8rem;font-size:1rem}.markdown :where(h6){margin-top:2.5rem;font-size:1rem;font-style:italic;font-weight:400}.markdown :where(h3),.markdown :where(h4),.markdown :where(h5),.markdown :where(h6){line-height:1.625rem}.markdown :where(h1+h2){margin-top:1.625rem}.markdown :where(h2+h3),.markdown :where(h3+h4),.markdown :where(h4+h5){margin-top:.8rem}.markdown :where(h5+h6){margin-top:-.8rem}.markdown :where(h2),.markdown :where(h3),.markdown :where(h4),.markdown :where(h5),.markdown :where(h6){margin-bottom:.8rem}.markdown :where(p){margin-top:1rem}.markdown :where(ul),.markdown :where(ol){padding-left:1.625rem}.markdown :where(li){padding-left:6px}.markdown :where(blockquote){border-left:2px solid hsl(var(--border));padding-left:1rem}.markdown :where(hr){border-color:hsl(var(--border));margin:1rem 0}.markdown :where(input[type=checkbox]){accent-color:#3b82f6;margin-right:.5rem;transform:scale(1.1)}.markdown-table{overflow-x:auto}.document-layout{flex-direction:column;align-items:center;gap:1.5rem;padding:2.5rem 1.5rem 3rem;display:flex}.document-toolbar{flex-wrap:wrap;justify-content:center;align-items:center;gap:.75rem;width:100%;max-width:210mm;display:flex}.print-button{border:1px solid hsl(var(--border));background:hsl(var(--background));color:hsl(var(--foreground));cursor:pointer;border-radius:999px;padding:.55rem 1.2rem;font-size:.95rem;font-weight:600;line-height:1.2}.print-button:disabled{opacity:.6;cursor:not-allowed}.print-error{color:hsl(var(--destructive));font-size:.9rem}.document-shell{width:100%;max-width:210mm;color:var(--body-color);font-family:var(--font-serif,"Source Serif 4","Times New Roman",serif);background:#fff;margin:0 auto;padding:18mm 16mm;font-size:1rem;line-height:1.8}@media (max-width:768px){.document-layout{padding:2rem 1rem 2.5rem}.document-shell{padding:1.5rem 1.25rem}}@media (max-width:640px){.document-shell{padding:1rem}}@media print{.document-layout{padding:0}.document-toolbar{display:none}}}
@font-face{font-family:sourceSerif4;src:url(../media/source_serif_4[wght]-s.p.4041791a.ttf)format("truetype");font-display:swap;font-weight:200 900;font-style:normal}@font-face{font-family:sourceSerif4;src:url(../media/source_serif_4_italic[wght]-s.p.46a44896.ttf)format("truetype");font-display:swap;font-weight:200 900;font-style:italic}@font-face{font-family:sourceSerif4 Fallback;src:local(Times New Roman);ascent-override:93.63%;descent-override:30.28%;line-gap-override:0.0%;size-adjust:110.65%}.sourceserif4_8040b148-module__2RwMIq__className{font-family:sourceSerif4,sourceSerif4 Fallback,Georgia,Times New Roman,serif}.sourceserif4_8040b148-module__2RwMIq__variable{--font-serif:"sourceSerif4","sourceSerif4 Fallback",Georgia,Times New Roman,serif}
@font-face{font-family:geistSans;src:url(../media/geist[wght]-s.p.92592eb2.woff2)format("woff2");font-display:swap;font-weight:100 900;font-style:normal}@font-face{font-family:geistSans;src:url(../media/geist_italic[wght]-s.p.dbade2ad.woff2)format("woff2");font-display:swap;font-weight:100 900;font-style:italic}@font-face{font-family:geistSans Fallback;src:local(Arial);ascent-override:94.56%;descent-override:27.76%;line-gap-override:0.0%;size-adjust:106.28%}.geistsans_306ec9df-module__xmr0aG__className{font-family:geistSans,geistSans Fallback,system-ui,Arial,sans-serif}.geistsans_306ec9df-module__xmr0aG__variable{--font-sans:"geistSans","geistSans Fallback",system-ui,Arial,sans-serif}
@font-face{font-family:geistMono;src:url(../media/geist_mono[wght].p.2f937313.woff2)format("woff2");font-display:swap;font-weight:100 900;font-style:normal}@font-face{font-family:geistMono;src:url(../media/geist_mono_italic[wght].p.4ecac660.woff2)format("woff2");font-display:swap;font-weight:100 900;font-style:italic}.geistmono_a210069d-module__XpvbuG__className{font-family:geistMono,ui-monospace,SFMono-Regular,Menlo,monospace}.geistmono_a210069d-module__XpvbuG__variable{--font-mono:"geistMono",ui-monospace,SFMono-Regular,Menlo,monospace}