:root{--bg:#fdfcfa;--bg-sunk:#f4f1ec;--text:#1b1b19;--text-soft:#5c5a55;--text-faint:#86837c;--rule:#ddd8d0;--rule-strong:#c4bdb2;--accent:#1f5673;--accent-hover:#143c52;--mark:#fbf3d8;--serif:"Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua", "Source Serif 4", Georgia, Cambria, "Times New Roman", serif;--mono:ui-monospace, SFMono-Regular, "SF Mono", "JetBrains Mono", Menlo, Consolas, "Liberation Mono", monospace;--measure:68ch;--measure-wide:88ch;--wrap-max:49rem;--gutter:1.5rem;--step-0:1.125rem;--step-1:1.3rem;--step-2:1.6rem;--step-3:2.15rem;--step-4:3.05rem;--step--1:.94rem;--step--2:.82rem;--leading:1.72;--rhythm:1.6rem;--weight-label:500;color-scheme:light}@media (prefers-color-scheme:dark){:root{--bg:#171614;--bg-sunk:#1f1e1b;--text:#dcdad4;--text-soft:#a6a49d;--text-faint:#7d7b75;--rule:#312f2b;--rule-strong:#4a4640;--accent:#8fb8d4;--accent-hover:#b3d2e8;--mark:#3a3417;color-scheme:dark}}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;scroll-behavior:smooth}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}a,.cite-button{transition:none}}body{background:var(--bg);color:var(--text);font-family:var(--serif);font-size:var(--step-0);line-height:var(--leading);font-synthesis-weight:none;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;margin:0}img,video{max-width:100%;height:auto;display:block}a{color:var(--accent);text-underline-offset:.16em;text-decoration:underline 1px;text-decoration-color:color-mix(in srgb, var(--accent) 40%, transparent);transition:color .14s,text-decoration-color .14s}a:hover{color:var(--accent-hover);text-decoration-color:currentColor}a:focus-visible,button:focus-visible{outline:2px solid var(--accent);outline-offset:3px;border-radius:1px}.skip-link{background:var(--bg);border:1px solid var(--rule-strong);z-index:10;padding:.6rem 1rem;position:absolute;top:0;left:-9999px}.skip-link:focus{top:.5rem;left:.5rem}.wrap{width:min(100% - var(--gutter) * 2, var(--wrap-max));margin-inline:auto}.site-header{padding-block:2.2rem 0}.site-header nav{border-bottom:1px solid var(--rule);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.4rem 1.4rem;padding-bottom:1.1rem;display:flex}.wordmark{font-size:var(--step-0);letter-spacing:-.005em;color:var(--text);font-weight:600;text-decoration:none}.wordmark:hover{color:var(--text);text-decoration:underline;text-decoration-color:var(--rule-strong)}.nav-links{font-family:var(--mono);font-size:var(--step--2);font-weight:var(--weight-label);letter-spacing:.02em;flex-wrap:wrap;gap:1.4rem;margin:0;padding:0;list-style:none;display:flex}.nav-links a{color:var(--text-soft);text-decoration:none}.nav-links a:hover,.nav-links a[aria-current=page]{color:var(--text);text-underline-offset:.3em;text-decoration:underline;text-decoration-color:var(--rule-strong)}main{padding-block:4.6rem 6rem}.site-footer{border-top:1px solid var(--rule);font-family:var(--mono);font-size:var(--step--2);color:var(--text-faint);padding-block:1.6rem 3rem}.site-footer ul{flex-wrap:wrap;gap:.5rem 1.3rem;margin:0 0 .9rem;padding:0;list-style:none;display:flex}.site-footer a{color:var(--text-soft);text-decoration:none}.site-footer a:hover{color:var(--text);text-decoration:underline}h1,h2,h3,h4{text-wrap:balance;margin:0;font-weight:600}h1{font-size:var(--step-4);letter-spacing:-.026em;line-height:1.1}h2{font-size:var(--step-2);letter-spacing:-.021em;line-height:1.16}h3{font-size:var(--step-1);letter-spacing:-.014em;line-height:1.28}h4{font-size:var(--step-0);letter-spacing:-.008em;line-height:1.35}.page-title{margin-bottom:.6rem}.page-intro{max-width:var(--measure);color:var(--text-soft);text-wrap:pretty;margin:0 0 3.6rem}.section-label{font-family:var(--mono);font-size:var(--step--2);font-weight:var(--weight-label);letter-spacing:.11em;text-transform:uppercase;color:var(--text-faint);border-bottom:1px solid var(--rule);margin:0 0 1.2rem;padding-bottom:.5rem}.stack>*+*{margin-top:var(--rhythm)}.lede{font-size:var(--step-1);max-width:var(--measure);line-height:1.55}.hero{max-width:var(--measure);margin-bottom:5.2rem}.hero h1{margin-bottom:1rem}.hero p{font-size:var(--step-1);text-wrap:pretty;margin:0;line-height:1.55}.home-section{margin-bottom:5.4rem}.inline-links{font-family:var(--mono);font-size:var(--step--1);flex-wrap:wrap;gap:.4rem 1.3rem;margin:0;padding:0;list-style:none;display:flex}.more-link{font-family:var(--mono);font-size:var(--step--2);letter-spacing:.02em;margin-top:1.4rem;display:inline-block}.post-list{margin:0;padding:0;list-style:none}.post-list>li{border-bottom:1px solid var(--rule);padding-block:1.5rem}.post-list>li:first-child{padding-top:0}.post-list h2,.post-list h3{font-size:var(--step-1);margin-bottom:.35rem}.post-list h2 a,.post-list h3 a{color:var(--text);text-decoration:none}.post-list h2 a:hover,.post-list h3 a:hover{color:var(--accent);text-underline-offset:.16em;text-decoration:underline}.post-list p{color:var(--text-soft);max-width:var(--measure);font-size:var(--step--1);margin:0 0 .5rem;line-height:1.6}.meta{font-family:var(--mono);font-size:var(--step--2);font-weight:var(--weight-label);color:var(--text-faint);letter-spacing:.02em;font-variant-numeric:tabular-nums;flex-wrap:wrap;gap:.3rem 1rem;margin:0;display:flex}.year-rule{font-family:var(--mono);font-size:var(--step--2);font-weight:var(--weight-label);font-variant-numeric:tabular-nums;letter-spacing:.12em;color:var(--text-faint);align-items:center;gap:1rem;margin:2.4rem 0 .4rem;display:flex}.year-rule:after{content:"";background:var(--rule);flex:1;height:1px}.pub-list{margin:0;padding:0;list-style:none}.pub-list>li{border-bottom:1px solid var(--rule);padding-block:1.1rem}.pub-title{font-size:var(--step-0);max-width:var(--measure);margin:0 0 .3rem;font-weight:600;line-height:1.35}.pub-authors{font-size:var(--step--1);color:var(--text-soft);max-width:var(--measure);margin:0 0 .2rem}.pub-venue{font-size:var(--step--1);color:var(--text-faint);max-width:var(--measure);margin:0 0 .5rem;font-style:italic}.pub-actions{font-family:var(--mono);font-size:var(--step--2);font-variant-numeric:tabular-nums;flex-wrap:wrap;gap:.4rem 1.1rem;display:flex}.cite-button{font:inherit;font-family:var(--mono);color:var(--accent);cursor:pointer;text-decoration:underline;text-decoration-color:color-mix(in srgb, var(--accent) 40%, transparent);text-underline-offset:.16em;background:0 0;border:0;padding:0;transition:color .14s,text-decoration-color .14s}.cite-button:hover{color:var(--accent-hover);text-decoration-color:currentColor}.cite-button:active{transform:scale(.98)}.bibtex{margin:.9rem 0 .2rem}.bibtex pre{background:var(--bg-sunk);border-left:2px solid var(--rule-strong);font-family:var(--mono);font-size:var(--step--2);margin:0;padding:.9rem 1rem;line-height:1.55;overflow-x:auto}.bibtex[hidden]{display:none}.entry-list{margin:0;padding:0;list-style:none}.entry-list>li{border-bottom:1px solid var(--rule);padding-block:1.6rem}.entry-list>li:first-child{padding-top:0}.entry-list h3{margin-bottom:.3rem}.entry-list p{max-width:var(--measure);color:var(--text-soft);font-size:var(--step--1);margin:0 0 .6rem;line-height:1.6}.tag-line{font-family:var(--mono);font-size:var(--step--2);font-variant-numeric:tabular-nums;color:var(--text-faint);margin:0 0 .5rem}.about-head{flex-wrap:wrap;align-items:flex-start;gap:2.4rem;margin-bottom:4rem;display:flex}.about-head img{filter:grayscale();border:1px solid var(--rule);flex:none;width:132px}.about-head .about-head-text{flex:24ch;min-width:0}.role-list{margin:0;padding:0;list-style:none}.role-list>li{border-bottom:1px solid var(--rule);padding-block:1.3rem}.role-list ul{max-width:var(--measure);font-size:var(--step--1);color:var(--text-soft);margin:.6rem 0 0;padding-left:1.1rem;line-height:1.6}.role-list ul li+li{margin-top:.35rem}.expertise h3{font-size:var(--step-0);margin-bottom:.4rem}.expertise>div+div{margin-top:2.6rem}.expertise ul{max-width:var(--measure);font-size:var(--step--1);color:var(--text-soft);margin:.7rem 0 0;padding-left:1.1rem;line-height:1.6}.expertise ul li+li{margin-top:.3rem}.expertise .secondary{color:var(--text-faint)}.page-section+.page-section{margin-top:4.6rem}.degree-note{max-width:var(--measure);text-wrap:pretty;margin:.5rem 0 0}.post-header{max-width:var(--measure);margin-bottom:2.4rem}.post-header h1{margin-bottom:.8rem}.post-header .meta{border-top:1px solid var(--rule);padding-top:.9rem}.prose{grid-template-columns:[wide-start] minmax(0, calc((var(--measure-wide) - var(--measure)) / 2)) [content-start] min(100%, var(--measure)) [content-end] minmax(0, calc((var(--measure-wide) - var(--measure)) / 2)) [wide-end];display:grid}.prose>*{grid-column:content;min-width:0}.prose>pre,.prose>figure,.prose>.table-scroll{grid-column:wide}.prose>*{margin-block:0 var(--rhythm)}.prose>h2{border-bottom:1px solid var(--rule);margin-top:3.5rem;padding-bottom:.4rem}.prose>h3{margin-top:2.5rem}.prose>h4{color:var(--text-soft);margin-top:1.6rem}.prose>h2:first-child,.prose>h3:first-child{margin-top:0}.prose p,.prose li,.post-list p,.entry-list p,.pub-authors{text-wrap:pretty}.prose ul,.prose ol{padding-left:1.3rem}.prose li+li{margin-top:.4rem}.prose blockquote{border-left:2px solid var(--rule-strong);color:var(--text-soft);margin-inline:0;padding:.2rem 0 .2rem 1.2rem}.prose blockquote>:last-child{margin-bottom:0}.prose hr{border:0;border-top:1px solid var(--rule);margin-block:2.6rem}.prose figure{margin:2.2rem 0}.prose figcaption{font-size:var(--step--2);color:var(--text-faint);line-height:1.55;font-family:var(--mono);max-width:var(--measure);margin-top:.7rem}.prose img,.prose video{border:1px solid var(--rule);background:var(--bg-sunk);width:100%}.prose strong{font-weight:700}.prose mark{background:var(--mark);color:inherit}.heading-anchor:after{content:"#"}.heading-anchor{font-family:var(--mono);color:var(--text-faint);opacity:0;margin-left:.4em;font-size:.7em;text-decoration:none;transition:opacity .12s ease-in-out}h2:hover>.heading-anchor,h3:hover>.heading-anchor,h4:hover>.heading-anchor,.heading-anchor:focus-visible{opacity:1}@media (prefers-reduced-motion:reduce){.heading-anchor{transition:none}}.table-scroll{margin-bottom:var(--rhythm);overflow-x:auto}.prose table{border-collapse:collapse;width:100%;font-size:var(--step--1);font-variant-numeric:tabular-nums}.prose th,.prose td{text-align:left;border-bottom:1px solid var(--rule);vertical-align:top;padding:.5rem .9rem .5rem 0}.prose th{border-bottom-color:var(--rule-strong);white-space:nowrap;font-weight:600}code,kbd,samp{font-family:var(--mono);font-size:.86em}:not(pre)>code{background:var(--bg-sunk);border:1px solid var(--rule);white-space:nowrap;padding:.12em .35em}pre{border:1px solid var(--rule);background:var(--bg-sunk);font-size:var(--step--1);tab-size:2;padding:1rem 1.1rem;line-height:1.6;overflow-x:auto}pre>code{white-space:pre;font-size:inherit;background:0 0;border:0;padding:0}.astro-code,.astro-code span{background-color:var(--bg-sunk)!important}@media (prefers-color-scheme:dark){.astro-code,.astro-code span{color:var(--shiki-dark)!important;font-style:var(--shiki-dark-font-style)!important;font-weight:var(--shiki-dark-font-weight)!important;text-decoration:var(--shiki-dark-text-decoration)!important}}.katex-display{padding-block:.4rem;overflow:auto hidden}.katex{font-size:1.04em}.toc{background:var(--bg-sunk);border-top:1px solid var(--rule-strong);border-bottom:1px solid var(--rule);margin-bottom:2.8rem;padding:1.2rem 1.3rem}.toc>p{font-family:var(--mono);font-size:var(--step--2);letter-spacing:.11em;text-transform:uppercase;color:var(--text-faint);margin:0 0 .7rem}.toc ol{font-size:var(--step--1);margin:0;padding-left:0;line-height:1.5;list-style:none}.toc ol ol{color:var(--text-soft);margin-top:.3rem;padding-left:1.1rem}.toc li+li{margin-top:.35rem}.toc a{text-decoration:none}.toc a:hover{text-decoration:underline}.toc a[aria-current=location]{color:var(--accent);font-weight:var(--weight-label)}@media (width>=1440px){.has-side-toc .toc{top:7.5rem;left:calc(50% - var(--wrap-max) / 2 - 16.75rem);overscroll-behavior:contain;border:0;border-left:1px solid var(--rule);background:0 0;width:14.5rem;max-height:calc(100vh - 11rem);margin:0;padding:0 0 0 1.1rem;position:fixed;overflow-y:auto}.has-side-toc .toc>p{margin-bottom:.9rem}.has-side-toc .toc ol{font-size:var(--step--2);line-height:1.45}.has-side-toc .toc li+li{margin-top:.45rem}.has-side-toc .toc a{color:var(--text-soft);display:inline-block;position:relative}.has-side-toc .toc a:hover{color:var(--accent)}.has-side-toc .toc a[aria-current=location]:before{content:"";border-left:2px solid var(--accent);position:absolute;top:.2em;bottom:.2em;left:-1.1rem}.has-side-toc .toc{scrollbar-width:thin;scrollbar-color:var(--rule-strong) transparent}}.footnotes{border-top:1px solid var(--rule);font-size:var(--step--1);color:var(--text-soft);margin-top:3rem;padding-top:1.2rem}.footnotes h2{font-size:var(--step-0);border:0;margin-bottom:.6rem}.prose>.footnotes{grid-column:content}@media (width<=640px){:root{--step-0:1.06rem;--step-4:2.1rem;--step-3:1.7rem;--step-2:1.38rem;--step-1:1.18rem;--gutter:1.15rem;--rhythm:1.35rem}.site-header{padding-top:1.5rem}.site-header nav{gap:.6rem}.nav-links{gap:1.1rem}main{padding-block:2.6rem 3.6rem}.hero{margin-bottom:3.4rem}.home-section{margin-bottom:3.6rem}.page-section+.page-section{margin-top:3rem}.prose>pre,.prose>figure,.prose>.table-scroll{margin-inline:calc(var(--gutter) * -1)}.prose>pre{border-inline:0}.about-head img{width:104px}}@media print{.site-header nav,.site-footer,.toc,.skip-link{display:none}}@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(/_astro/KaTeX_Size3-Regular.gV2CO0n9.woff2)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}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.25"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);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 .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;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;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.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}