@import "https://fonts.googleapis.com/css2?family=Newsreader:ital,opsz,wght@0,6..72,400;0,6..72,500;1,6..72,400&family=Inter:wght@400;500;600;700&display=swap";:root{--bg:#f9f6ef;--paper:#fffdf8;--ink:#161513;--muted:#6d6860;--line:#d8d0c4;--code-bg:#f0ebe2;--code-ink:#24211d;--accent:#c94f7c;--accent-strong:#a33e2d;--citation:#3f88d0;--citation-strong:#2f6fae;--code-accent:#2f8f4e;--shadow:0 22px 60px #201c1414;--body-wash:linear-gradient(180deg, #fffdf8d1, #fbf8f2fa);--th-bg:#eee8de;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#14130f;--paper:#1c1a16;--ink:#ece7db;--muted:#9d968a;--line:#38342c;--code-bg:#221f1a;--code-ink:#e7e1d2;--accent:#e88fb0;--accent-strong:#e2896a;--citation:#9cc9f5;--citation-strong:#bfdcf9;--code-accent:#7cd99a;--shadow:0 22px 60px #00000073;--body-wash:linear-gradient(180deg, #ffffff06, #fff0);--th-bg:#262218;color-scheme:dark}}:root[data-theme=dark]{--bg:#14130f;--paper:#1c1a16;--ink:#ece7db;--muted:#9d968a;--line:#38342c;--code-bg:#221f1a;--code-ink:#e7e1d2;--accent:#e88fb0;--accent-strong:#e2896a;--citation:#9cc9f5;--citation-strong:#bfdcf9;--code-accent:#7cd99a;--shadow:0 22px 60px #00000073;--body-wash:linear-gradient(180deg, #ffffff06, #fff0);--th-bg:#262218;color-scheme:dark}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--body-wash), var(--bg);min-height:100vh;color:var(--ink);margin:0;font-family:Inter,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;line-height:1.65;transition:background-color .2s,color .2s;overflow-x:hidden}:root{--sky-opacity:0;--sy:0px}@media (prefers-color-scheme:dark){:root:not([data-theme=light])[data-sky=on]{--sky-opacity:1}}:root[data-theme=dark][data-sky=on]{--sky-opacity:1}body:before,body:after{content:"";z-index:-1;pointer-events:none;opacity:var(--sky-opacity);transition:opacity .4s;position:fixed;inset:0}:root[data-sky-quality=high] body:before,:root[data-sky-quality=high] body:after{will-change:transform;inset:0 0 -2000px}:root[data-sky-quality=high] body:before{transform:translate3d(0, calc(var(--sy) * -.04), 0)}:root[data-sky-quality=high] body:after{transform:translate3d(0, calc(var(--sy) * -.09), 0);animation:9s ease-in-out infinite alternate sky-twinkle}@keyframes sky-twinkle{0%{opacity:calc(var(--sky-opacity) * .45)}to{opacity:var(--sky-opacity)}}@media (prefers-reduced-motion:reduce){:root[data-sky-quality=high] body:after{animation:none}}body:before{background-image:radial-gradient(70% 55% at 15% 8%,#7668d61a,#0000 70%),radial-gradient(60% 50% at 88% 92%,#d6689612,#0000 70%),radial-gradient(50% 40% at 70% 30%,#6096d60d,#0000 70%),radial-gradient(1px 1px at 145px 67px,#ffffff69 50%,#0000 100%),radial-gradient(1px 1px at 211px 179px,#ffffff5c 50%,#0000 100%),radial-gradient(1px 1px at 226px 179px,#ffffff4f 50%,#0000 100%),radial-gradient(1px 1px at 151px 242px,#ffffff85 50%,#0000 100%),radial-gradient(1px 1px at 203px 65px,#ffffff52 50%,#0000 100%),radial-gradient(1px 1px at 130px 221px,#ffffff82 50%,#0000 100%),radial-gradient(1px 1px at 195px 254px,#ffffff87 50%,#0000 100%),radial-gradient(1px 1px at 114px 167px,#ffffff78 50%,#0000 100%),radial-gradient(1px 1px at 257px 184px,#ffffff6b 50%,#0000 100%),radial-gradient(1px 1px at 216px 113px,#ffffff4f 50%,#0000 100%),radial-gradient(1px 1px at 184px 229px,#ffffff70 50%,#0000 100%),radial-gradient(1px 1px at 41px 160px,#ffffff5e 50%,#0000 100%),radial-gradient(1px 1px at 101px 114px,#ffffff61 50%,#0000 100%),radial-gradient(1px 1px at 128px 45px,#ffffff85 50%,#0000 100%),radial-gradient(1.5px 1.5px at 338px 269px,#ffffff80 50%,#0000 100%),radial-gradient(1.5px 1.5px at 361px 356px,#ffffffb8 50%,#0000 100%),radial-gradient(1.5px 1.5px at 39px 257px,#ffffff6b 50%,#0000 100%),radial-gradient(1.5px 1.5px at 140px 224px,#ffffff8f 50%,#0000 100%),radial-gradient(1.5px 1.5px at 45px 294px,#ffffffa3 50%,#0000 100%),radial-gradient(1.5px 1.5px at 285px 198px,#ffffff82 50%,#0000 100%),radial-gradient(1.5px 1.5px at 329px 293px,#ffffff7a 50%,#0000 100%),radial-gradient(1.5px 1.5px at 365px 34px,#ffffff82 50%,#0000 100%),radial-gradient(1.5px 1.5px at 370px 14px,#ffffffb5 50%,#0000 100%);background-size:100% 100%,100% 100%,100% 100%,260px 260px,260px 260px,260px 260px,260px 260px,260px 260px,260px 260px,260px 260px,260px 260px,260px 260px,260px 260px,260px 260px,260px 260px,260px 260px,260px 260px,410px 410px,410px 410px,410px 410px,410px 410px,410px 410px,410px 410px,410px 410px,410px 410px,410px 410px}body:after{background-image:radial-gradient(2.2px 2.2px at 175px 492px,#ffffff91 50%,#0000 100%),radial-gradient(2.2px 2.2px at 318px 453px,#ffffff87 50%,#0000 100%),radial-gradient(2.2px 2.2px at 311px 499px,#ffffff82 50%,#0000 100%),radial-gradient(2.2px 2.2px at 283px 157px,#ffffffcf 50%,#0000 100%),radial-gradient(2.2px 2.2px at 311px 88px,#ffffff8a 50%,#0000 100%),radial-gradient(2.6px 2.6px at 376px 320px,#ffe2be85 50%,#0000 100%),radial-gradient(2.6px 2.6px at 87px 535px,#ffe2bea8 50%,#0000 100%),radial-gradient(2.6px 2.6px at 220px 568px,#ffe2be78 50%,#0000 100%),radial-gradient(2.4px 2.4px at 469px 268px,#bed6ffa6 50%,#0000 100%),radial-gradient(2.4px 2.4px at 185px 16px,#bed6ffa1 50%,#0000 100%),radial-gradient(2.4px 2.4px at 246px 338px,#bed6ff8a 50%,#0000 100%);background-size:640px 640px,640px 640px,640px 640px,640px 640px,640px 640px,760px 760px,760px 760px,760px 760px,830px 830px,830px 830px,830px 830px}.sky-canvas{z-index:-1;pointer-events:none;opacity:var(--sky-opacity);transition:opacity .4s;position:fixed;inset:0}@media print{body:before,body:after,.sky-canvas{display:none}}.skip-link{z-index:20;border:1px solid var(--line);background:var(--paper);color:var(--ink);padding:8px 12px;position:fixed;top:12px;left:12px;transform:translateY(-160%)}.skip-link:focus{transform:translateY(0)}.site-header{z-index:60;box-sizing:border-box;background:var(--bg);border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;width:100%;margin:0 auto;padding:20px max(20px,50vw - 560px) 14px;display:flex;position:sticky;top:0}.site-brand{color:var(--ink);align-items:baseline;gap:10px;text-decoration:none;display:inline-flex}.site-brand .brand-name{color:var(--ink);font-family:Newsreader,Georgia,serif;font-size:1.15rem;font-style:italic}.site-brand .brand-tagline{color:var(--muted);font-size:.78rem;display:none}@media (width>=640px){.site-brand .brand-tagline{display:inline}}.site-header-right{align-items:center;gap:18px;display:flex}.site-nav{gap:22px;display:flex}.site-nav a{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;font-size:.86rem;font-weight:600;text-decoration:none}.site-nav a:hover{color:var(--accent-strong)}.theme-toggle{border:1px solid var(--line);background:var(--paper);width:34px;height:34px;color:var(--muted);cursor:pointer;border-radius:999px;flex:none;justify-content:center;align-items:center;padding:0;display:inline-flex}.theme-toggle:hover{border-color:var(--accent);color:var(--accent)}.theme-toggle .icon-sun{display:inline}.theme-toggle .icon-moon,:root[data-theme=dark] .theme-toggle .icon-sun{display:none}:root[data-theme=dark] .theme-toggle .icon-moon{display:inline}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .theme-toggle .icon-sun{display:none}:root:not([data-theme=light]) .theme-toggle .icon-moon{display:inline}}.sky-toggle{border:1px solid var(--line);background:var(--paper);width:34px;height:34px;color:var(--muted);cursor:pointer;border-radius:999px;flex:none;justify-content:center;align-items:center;padding:0;display:inline-flex}.sky-toggle:hover{border-color:var(--accent);color:var(--accent)}.sky-toggle .icon-off{display:none}:root:not([data-sky=on]) .sky-toggle .icon-off{display:inline}:root:not([data-sky=on]) .sky-toggle .icon-stars{opacity:.55}.sky-quality{border:1px solid var(--line);background:var(--paper);height:34px;color:var(--muted);letter-spacing:.12em;text-transform:uppercase;cursor:pointer;border-radius:999px;flex:none;justify-content:center;align-items:center;padding:0 12px;font:600 .7rem/1 Inter,system-ui,sans-serif;display:inline-flex}.sky-quality:hover{border-color:var(--accent);color:var(--accent)}.sky-quality .q-high,:root[data-sky-quality=high] .sky-quality .q-low{display:none}:root[data-sky-quality=high] .sky-quality .q-high{display:inline}.sky-controls{align-items:center;gap:10px;display:inline-flex}.sky-row{align-items:center;display:inline-flex}.site-header .sky-row--theme{order:2}.site-header .btn-text{display:none}.article-links{flex-wrap:wrap;justify-content:center;gap:10px;margin-top:26px;display:flex}.article-link{border:1px solid var(--line);background:var(--paper);height:38px;color:var(--ink);border-radius:999px;align-items:center;gap:9px;padding:0 18px 0 14px;font:500 .86rem/1 Inter,system-ui,sans-serif;text-decoration:none;display:inline-flex}.article-link:hover{border-color:var(--accent);color:var(--accent)}.article-link-icon{font-size:1.05rem;line-height:1}.article-links-fallback{color:var(--muted);flex-basis:100%;margin:4px 0 0;font-size:.85rem}.article-links-fallback code{color:var(--ink);font-size:.85rem}.article-links-fallback button{color:var(--accent);font:inherit;cursor:pointer;text-underline-offset:2px;background:0 0;border:0;padding:0;text-decoration:underline}.article-links-fallback a{color:var(--accent)}.article-abstract{text-align:justify;hyphens:auto;max-width:760px;margin:34px auto 0}.article-abstract-label{color:var(--accent);letter-spacing:.08em;text-transform:uppercase;text-align:center;margin:0 0 10px;font-size:.82rem;font-weight:700}.article-abstract p{color:var(--ink);margin:0;font-size:1rem;line-height:1.65}.article-abstract p+p{margin-top:.8em}.article-abstract .katex{font-size:1.04em}.hero-controls{margin-top:18px}.sky-controls--labelled{flex-wrap:wrap;justify-content:center;align-items:center;gap:10px;display:flex}.sky-controls--labelled .theme-toggle,.sky-controls--labelled .sky-toggle,.sky-controls--labelled .sky-quality{letter-spacing:0;text-transform:none;width:auto;height:38px;color:var(--ink);gap:9px;padding:0 18px 0 14px;font:500 .86rem/1 Inter,system-ui,sans-serif}.sky-controls--labelled .sky-quality{padding-left:18px}.sky-controls--labelled .theme-toggle:hover,.sky-controls--labelled .sky-toggle:hover,.sky-controls--labelled .sky-quality:hover{color:var(--accent)}.btn-text--stars-on{display:none}:root[data-sky=on] .btn-text--stars-on{display:inline}:root[data-sky=on] .btn-text--stars-off,.btn-text--dark,:root[data-theme=dark] .btn-text--light{display:none}:root[data-theme=dark] .btn-text--dark{display:inline}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .btn-text--light{display:none}:root:not([data-theme=light]) .btn-text--dark{display:inline}}.sky-quality:disabled{opacity:.45;cursor:not-allowed}.sky-quality:disabled:hover{border-color:var(--line);color:var(--muted)}.sky-controls--labelled .sky-quality:disabled:hover{color:var(--ink)}.site-footer{border-top:1px solid var(--line);width:min(1120px,100% - 40px);color:var(--muted);justify-content:space-between;align-items:center;margin:0 auto;padding:34px 0 42px;font-size:.85rem;display:flex}.site-footer a{color:var(--muted);text-decoration:none}.site-footer a:hover{color:var(--accent-strong)}.home-shell{width:min(860px,100% - 40px);margin:0 auto 80px}.home-hero{border-bottom:1px solid var(--line);padding:64px 0 42px}.home-hero h1{margin:0;font-family:Newsreader,Georgia,serif;font-size:clamp(2rem,4.2vw,3.2rem);font-weight:400;line-height:1.05}.home-hero p{color:var(--muted);margin:14px 0 0;font-size:1.05rem}.post-list{margin:0;padding:0;list-style:none}.post-list li{border-bottom:1px solid var(--line)}.post-list a{color:var(--ink);padding:34px 0;text-decoration:none;display:block}.post-list h2{margin:10px 0 8px;font-family:Newsreader,Georgia,serif;font-size:clamp(1.4rem,2.6vw,1.9rem);font-weight:400;line-height:1.15}.post-list a:hover h2{color:var(--accent)}.post-list .post-desc{color:var(--muted);margin:0;font-size:.98rem;line-height:1.55}.empty-state{color:var(--muted);padding:40px 0}.article-content h2,.article-content h3,figure{scroll-margin-top:92px}.article-shell{width:min(1120px,100% - 40px);margin:0 auto 80px}.article-hero{border-bottom:1px solid var(--line);text-align:center;padding:64px 0 42px}.article-kicker{color:var(--accent);letter-spacing:.14em;text-transform:uppercase;margin:0 0 18px;font-size:.82rem;font-weight:700}.article-hero h1{max-width:980px;color:var(--ink);margin:0 auto;font-family:Newsreader,Georgia,serif;font-size:clamp(2.3rem,4.6vw,4.1rem);font-weight:400;line-height:1.02}.i-star{display:inline-block;position:relative}.i-star-dot{border-radius:50%;width:.4em;height:.4em;position:absolute;top:-.15em;left:50%;transform:translate(-50%)}.article-subtitle{max-width:920px;color:var(--ink);margin:20px auto 0;font-family:Newsreader,Georgia,serif;font-size:clamp(1.2rem,2.2vw,1.6rem);font-weight:400;line-height:1.35}.article-meta{color:var(--muted);margin:26px 0 0;font-family:Newsreader,Georgia,serif;font-size:1.05rem}.article-meta a{color:var(--muted);text-decoration-color:var(--line);text-underline-offset:2px}.article-meta a:hover{color:var(--accent-strong);text-decoration-color:var(--accent-strong)}.article-affiliations{color:var(--muted);margin:6px 0 0;font-size:.85rem}.article-affiliations sup{margin-right:.2em}.article-content{max-width:860px;margin:56px auto 0;font-size:1.02rem}.article-content h1,.article-content h2,.article-content h3,.article-content h4{color:var(--accent);font-family:Newsreader,Georgia,serif;font-weight:400;line-height:1.08}.article-content h1{margin:72px 0 18px;padding-top:6px;font-size:clamp(2.2rem,4vw,3.3rem);font-weight:700}.article-content h2{margin:72px 0 20px;padding-top:6px;font-size:clamp(1.9rem,3.6vw,2.9rem)}.article-content h3{margin:46px 0 16px;font-size:clamp(1.35rem,2.4vw,1.75rem)}.article-content h4{margin:36px 0 14px;font-size:clamp(1.15rem,1.9vw,1.4rem);font-style:italic}.article-content h1+h2,.article-content h2+h3{margin-top:28px}.article-content{counter-reset:h1num h2num h3num}.article-content h1:not(#citation){counter-increment:h1num;counter-reset:h2num h3num}.article-content h2:not(.footnote-heading){counter-increment:h2num;counter-reset:h3num}.article-content h3{counter-increment:h3num}.article-content h1:not(#citation):before{content:counter(h1num) " "}.article-content h2:not(.footnote-heading):before{content:counter(h1num) "." counter(h2num) " "}.article-content h3:before{content:counter(h1num) "." counter(h2num) "." counter(h3num) " "}.article-content p,.article-content ul,.article-content ol{margin:0 0 20px}.article-content li+li{margin-top:8px}.article-content a{color:var(--citation);text-decoration-color:color-mix(in srgb, var(--citation) 35%, transparent);text-underline-offset:3px}.article-content a:hover{color:var(--citation-strong)}.article-content hr{border:0;border-top:1px solid var(--line);margin:48px 0}.article-content img{border:1px solid color-mix(in srgb, var(--line) 80%, transparent);max-width:100%;height:auto;box-shadow:var(--shadow)}.article-content pre{border:1px solid color-mix(in srgb, var(--line) 95%, transparent);background:var(--code-bg);color:var(--code-ink);border-radius:8px;margin:24px 0;padding:18px 20px;font-size:.88rem;line-height:1.55;overflow-x:auto}.article-content code{font-family:SF Mono,Monaco,Consolas,monospace}.article-content :not(pre)>code{background:color-mix(in srgb, var(--code-accent) 9%, transparent);color:var(--code-accent);border-radius:5px;padding:.16em .34em;font-size:.92em}.article-content table{border-collapse:collapse;border:1px solid var(--line);background:var(--paper);width:100%;box-shadow:var(--shadow);margin:28px 0 34px;font-size:.88rem;line-height:1.45}.article-content table:first-of-type{table-layout:fixed;width:100%}.article-content table:first-of-type th:first-child,.article-content table:first-of-type td:first-child{width:16%}.article-content table:first-of-type th:nth-child(2),.article-content table:first-of-type td:nth-child(2){width:26%;padding-right:5px}.article-content table:first-of-type th:nth-child(3),.article-content table:first-of-type td:nth-child(3){width:58%;padding-left:5px}.article-content th,.article-content td{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;padding:10px 12px}.article-content th{color:var(--ink);background:var(--th-bg);font-weight:700}.article-content .table-scroll{margin:0 0 34px;overflow-x:auto}.article-content .table-scroll table{margin:28px 0 0}.article-content .table-math{padding:2px 0;display:block}.article-content .table-math .katex{font-size:.85em}.article-content .table-anchor{scroll-margin-top:92px;display:block}.article-content tr:last-child td{border-bottom:0}.article-content figure{max-width:100%;margin:34px 0}.article-content figure>:not(figcaption){max-width:100%}.article-content figure.figure-wide{width:min(100vw - 40px,1040px);margin:34px 50%;transform:translate(-50%)}.article-content .figure-row{gap:24px;margin:34px 0;display:flex}.article-content .figure-row figure{flex:1 1 0;min-width:0;margin:0}@media (width<=760px){.article-content .figure-row{flex-direction:column}}.article-content figcaption{color:var(--muted);margin-top:12px;padding:0 4px;font-size:.88rem;line-height:1.5}.article-content figcaption strong{color:var(--ink)}.article-content .fig-num{color:var(--ink);font-weight:700}.article-content a.fig-ref{white-space:nowrap}.article-content .algorithm{--algo-font:"KaTeX_Main", "Latin Modern Roman", "Times New Roman", serif;border-top:1.6px solid var(--ink);border-bottom:1.6px solid var(--ink);font-family:var(--algo-font);color:var(--ink);margin:34px 0;padding:0;font-size:1rem;line-height:1.45}.article-content .algorithm .katex{font-size:1.05em}.article-content .algorithm-caption{border-bottom:.8px solid var(--ink);font-family:var(--algo-font);font-variant:normal;letter-spacing:0;color:var(--ink);padding:7px 4px;font-weight:400}.article-content .algorithm-label{padding-right:.35em;font-weight:700}.article-content .algorithm-body{font-family:var(--algo-font);color:var(--ink);padding:8px 4px 9px;font-size:1rem;line-height:1.45}.article-content .algo-line{align-items:baseline;padding:1px 0;display:flex}.article-content .algo-num{text-align:right;width:2.1em;color:var(--muted);flex:none;padding-right:.7em;font-size:.78em}.article-content .algo-num:not(:empty):after{content:":"}.article-content .algo-io{color:var(--ink);padding-left:2.1em;display:block}.article-content .algo-io:has(b){text-indent:0;padding-left:0}.article-content .algo-io b{font-weight:700}.article-content .algo-body{flex:auto;min-width:0}.article-content .algo-body b,.article-content .algo-io b{font-weight:700}.article-content .algo-indent{padding-left:1.5em}.article-content .algo-indent-2{padding-left:3em}.article-content .algo-io+.algo-line:not(.algo-io){margin-top:2px}.article-content .algo-comment{color:var(--muted);flex:none;margin-left:auto;padding-left:1.5em}.article-content .algo-exchanged{color:var(--code-accent)}.article-content .citation-ref{white-space:nowrap}.article-content .citation-ref a[data-footnote-ref]{color:var(--citation);text-decoration:none}.article-content sup.citation-ref{vertical-align:super;font-size:.7em;line-height:0}.article-content section[data-footnotes]{border-top:1px solid var(--line);color:var(--muted);margin-top:60px;padding-top:20px;font-size:.9rem}.article-content .footnote-heading{color:var(--accent);letter-spacing:.12em;text-transform:uppercase;margin:0 0 14px;font-size:.78rem;font-weight:700}.article-content section[data-footnotes] p{margin:0}.article-content .sidenote-marker{color:var(--accent-strong);font-size:.72em}.article-content .sidenote{color:var(--muted);font-size:.95em}.article-content .sidenote:before{content:" ("}.article-content .sidenote:after{content:")"}.article-content .sidenote-label{display:none}@media (width>=1160px){.article-content .sidenote{float:right;clear:right;border-left:2px solid var(--line);text-align:left;width:110px;margin-top:.15em;margin-right:-130px;padding-left:10px;font-size:.75rem;line-height:1.45}.article-content .sidenote:before,.article-content .sidenote:after{content:none}.article-content .sidenote-label{letter-spacing:.09em;text-transform:uppercase;color:var(--muted);margin-bottom:4px;font-size:.66rem;font-weight:600;display:block}}.article-content details.impl-fold{margin:46px 0 26px}.article-content details.impl-fold summary{cursor:pointer;color:var(--ink);font-family:Newsreader,Georgia,serif;font-size:clamp(1.35rem,2.4vw,1.75rem);font-weight:400;line-height:1.08}.article-content details.impl-fold summary:hover{color:var(--accent)}.article-content details.impl-fold[open] summary{margin-bottom:14px}.recurrence-sim{border:1px solid var(--line);background:var(--paper);box-shadow:var(--shadow);border-radius:10px;padding:18px 20px 20px}.recurrence-sim-canvas{width:100%;height:220px;display:block}.recurrence-sim-legend{color:var(--muted);gap:20px;margin:10px 0 16px;font-size:.8rem;display:flex}.recurrence-sim-legend span{align-items:center;gap:6px;display:inline-flex}.recurrence-sim-legend i{border-radius:2px;width:12px;height:3px}.recurrence-sim-controls{border-top:1px solid var(--line);grid-template-columns:repeat(auto-fit,minmax(150px,1fr));align-items:end;gap:14px 20px;padding-top:16px;display:grid}.recurrence-sim-controls label{color:var(--muted);flex-direction:column;gap:6px;font-size:.8rem;display:flex}.recurrence-sim-controls input[type=range]{width:100%;accent-color:var(--accent)}.recurrence-sim-controls button{border:1px solid var(--line);background:var(--code-bg);height:34px;color:var(--ink);cursor:pointer;border-radius:6px;font-size:.8rem;font-weight:600}.recurrence-sim-controls button:hover{border-color:var(--accent);color:var(--accent)}.lm-loss{position:relative}.cluster-legend{border:1px solid var(--line);background:color-mix(in srgb, var(--paper) 88%, transparent);color:var(--muted);pointer-events:none;border-radius:6px;grid-template-columns:max-content 1fr;align-items:center;gap:4px 12px;padding:8px 10px;font-size:11px;line-height:1.3;display:grid;position:absolute;top:18px;right:30px}.cluster-legend .group{display:contents}.chart-controls{border-top:1px solid var(--line);color:var(--muted);flex-wrap:wrap;gap:10px 24px;margin-top:6px;padding-top:12px;font-size:.8rem;display:flex}.chart-controls label{flex-direction:column;flex:240px;gap:6px;max-width:360px;display:flex}.chart-controls input[type=range]{width:100%;accent-color:var(--accent)}.cluster-legend .type{color:var(--ink);font-weight:600}.cluster-legend .items{flex-wrap:wrap;gap:4px 12px;display:flex}.cluster-legend .item{font-variant-numeric:tabular-nums;align-items:center;gap:5px;display:inline-flex}.cluster-legend .swatch{background:var(--c-light);border-radius:2px;width:14px;height:3px;display:inline-block}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .cluster-legend .swatch{background:var(--c-dark)}}:root[data-theme=dark] .cluster-legend .swatch{background:var(--c-dark)}.article-content .katex-display{margin:28px 0;padding:4px 0}.toc-mobile{border:1px solid var(--line);background:var(--paper);border-radius:8px;max-width:860px;margin:30px auto 0;padding:12px 18px}.toc-mobile summary{cursor:pointer;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);font-size:.82rem;font-weight:700}.toc-mobile ol{margin:12px 0 4px;padding-left:24px}.toc-mobile li{margin:7px 0}.toc-mobile a{color:var(--ink);text-decoration:none}.toc-mobile a:hover{color:var(--accent)}@media (width>=1460px){.toc-mobile{display:none}}.article-toc{display:none}@media (width>=1460px){.article-shell{margin-left:calc(50vw - 448px)}.site-header{padding-left:calc(50vw - 448px);padding-right:calc(50vw - 672px)}.article-toc{width:196px;max-height:calc(100vh - 180px);padding-right:10px;display:block;position:fixed;top:140px;left:calc(50vw - 672px);overflow-y:auto}}.toc-label{letter-spacing:.09em;text-transform:uppercase;color:var(--muted);margin-bottom:10px;font-size:.66rem;font-weight:600}.article-toc ol{margin:0;padding:0;list-style:none}.article-toc a{border-left:2px solid var(--line);color:var(--muted);padding:3px 0 3px 11px;font-size:.8rem;line-height:1.4;text-decoration:none;display:block}.article-toc li.toc-h1 a{color:var(--ink);margin-top:10px;font-size:.82rem;font-weight:600}.article-toc li.toc-h1:first-child a{margin-top:0}.article-toc li.toc-h3 a{padding-left:24px;font-size:.75rem}.article-toc li.toc-h4 a{padding-left:34px;font-size:.72rem}.article-toc a:hover{color:var(--ink)}.article-toc a.active{color:var(--accent);border-left-color:var(--accent);font-weight:600}@media (width<=760px){.article-shell,.site-footer,.home-shell{width:min(100% - 28px,1120px)}.article-hero,.home-hero{padding:42px 0 32px}.article-content{margin-top:36px;font-size:.98rem}.article-content h2{margin-top:54px}.article-content .katex-display{font-size:.85em}}.article-content .callout,.article-content .measure-note{border:1px solid var(--line);border-left:3px solid var(--accent);background:color-mix(in srgb, var(--accent) 6%, var(--paper));border-radius:0 8px 8px 0;margin:28px 0;padding:16px 20px;font-size:.95rem}.article-content .callout>:last-child,.article-content .measure-note>:last-child{margin-bottom:0}.article-content .measure-note.warn{border-left-color:var(--accent-strong);background:color-mix(in srgb, var(--accent-strong) 6%, var(--paper))}.plot-chart .barlayer .trace.glow .point path,.plot-chart .barlayer .point.glow path{filter:drop-shadow(0 0 2px var(--glow)) drop-shadow(0 0 7px var(--glow))}.article-content .plot-chart{border:1px solid var(--line);background:var(--paper);width:100%;max-width:100%;box-shadow:var(--shadow);border-radius:10px;padding:6px 4px 2px;overflow:hidden}.article-content .plot-chart .slice path{transition:fill .18s}.article-content .plot-chart .hoverlayer{display:none!important}@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}