@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(./source-serif-4-cyrillic-ext-opsz-normal.DIwfbPUE.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(./source-serif-4-cyrillic-opsz-normal.C0olyEE-.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(./source-serif-4-greek-opsz-normal.DrHU7SY7.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(./source-serif-4-vietnamese-opsz-normal.BOyYyU_V.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(./source-serif-4-latin-ext-opsz-normal.HoL-AExg.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4 Variable";font-style:normal;font-display:swap;font-weight:200 900;src:url(./source-serif-4-latin-opsz-normal.BpEBLj1O.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(./source-serif-4-cyrillic-ext-opsz-italic.Bl6DJqma.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(./source-serif-4-cyrillic-opsz-italic.Dibx14aP.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(./source-serif-4-greek-opsz-italic.CMW9dfKg.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(./source-serif-4-vietnamese-opsz-italic.C-k5pZlm.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(./source-serif-4-latin-ext-opsz-italic.BhUEwDRF.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4 Variable";font-style:italic;font-display:swap;font-weight:200 900;src:url(./source-serif-4-latin-opsz-italic.BOLXpvkj.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}.paper.svelte-1uha8ag{--left:150px;--text:660px;--right:250px;--gap:40px;--serif:"Source Serif 4 Variable", "KaTeX_Main", Georgia, serif;max-width:calc(var(--left) + var(--text) + var(--right) + 2 * var(--gap) + 64px);color:var(--color-ink);margin:0 auto;padding:72px 32px 140px}.front.svelte-1uha8ag{margin-left:calc(var(--left) + var(--gap));max-width:calc(var(--text) + var(--gap) + var(--right))}.kicker.svelte-1uha8ag{font-size:var(--text-xs);letter-spacing:.02em;color:var(--color-ink-soft)}h1.svelte-1uha8ag{font-family:var(--serif);letter-spacing:-.012em;text-wrap:balance;max-width:24ch;margin-top:14px;font-size:40px;font-weight:400;line-height:1.15}h1.svelte-1uha8ag .name:where(.svelte-1uha8ag){color:var(--color-rose);font-weight:500}.byline.svelte-1uha8ag{font-size:var(--text-ui);color:var(--color-ink-soft);margin-top:18px}.links.svelte-1uha8ag{font-size:var(--text-ui);color:var(--color-ink-soft);gap:10px;margin-top:6px;display:flex}.links.svelte-1uha8ag a:where(.svelte-1uha8ag){color:var(--color-ink)}.body.svelte-1uha8ag{grid-template-columns:[left-start] var(--left) [left-end] var(--gap) [text-start] minmax(0, var(--text)) [text-end] var(--gap) [right-start] var(--right) [right-end];font-family:var(--serif);font-optical-sizing:auto;font-feature-settings:"kern", "liga", "onum" 0;margin-top:48px;font-size:18px;line-height:1.62;display:grid}.body.svelte-1uha8ag>*{grid-column:text}.body.svelte-1uha8ag p{-webkit-hyphens:auto;hyphens:auto;margin:0 0 1em}.body.svelte-1uha8ag strong{font-weight:600}.body.svelte-1uha8ag code{font-family:var(--font-mono);color:var(--color-ink-soft);font-size:.8em}.body.svelte-1uha8ag a{-webkit-text-decoration-color:var(--color-mist);text-decoration-color:var(--color-mist)}.body.svelte-1uha8ag ol,.body.svelte-1uha8ag ul{margin:0 0 1em;padding-left:1.3em;list-style:decimal}.body.svelte-1uha8ag ul{list-style:outside}.body.svelte-1uha8ag li{margin-bottom:.45em}.body.svelte-1uha8ag li::marker{font-family:var(--font-sans);color:var(--color-ink-soft);font-size:.8em}.body.svelte-1uha8ag .dmath{margin:.4em 0 1.2em;overflow:auto hidden}.body.svelte-1uha8ag .abstract{grid-column:left-start/text-end;grid-template-columns:var(--left) minmax(0, var(--text));column-gap:var(--gap);margin-bottom:8px;display:grid}.body.svelte-1uha8ag .abs-h{text-align:right;font-family:var(--font-sans);font-size:var(--text-xs);color:var(--color-ink-soft);margin:6px 0 0;font-weight:500}.body.svelte-1uha8ag .abstract p{grid-column:2;font-size:17px;line-height:1.6}.body.svelte-1uha8ag h2.sec{grid-column:left-start/text-end;grid-template-columns:var(--left) minmax(0, var(--text));column-gap:var(--gap);font-family:var(--serif);letter-spacing:-.005em;align-items:baseline;margin:56px 0 14px;font-size:25px;font-weight:500;line-height:1.25;display:grid}.body.svelte-1uha8ag .sec-n{text-align:right;font-family:var(--font-sans);color:var(--color-rose);font-size:15px;font-weight:500}.body.svelte-1uha8ag h3{font-family:var(--font-sans);letter-spacing:.005em;margin:30px 0 8px;font-size:15px;font-weight:600}.body.svelte-1uha8ag sup.cite{white-space:nowrap;font-family:var(--font-sans);margin-left:1px;font-size:.62em;line-height:0}.body.svelte-1uha8ag sup.cite a,.body.svelte-1uha8ag a.xref{color:var(--color-cobalt);text-decoration:none}.body.svelte-1uha8ag sup.cite a:hover,.body.svelte-1uha8ag a.xref:hover{color:var(--color-rose)}.body.svelte-1uha8ag .thm{grid-column:left-start/text-end;grid-template-columns:var(--left) minmax(0, var(--text));column-gap:var(--gap);margin:10px 0 18px;display:grid}.body.svelte-1uha8ag .thm>*{grid-column:2}.body.svelte-1uha8ag .thm-head{text-align:right;font-family:var(--font-sans);font-size:var(--text-sm);grid-area:1/1/span 3;margin:3px 0 0;line-height:1.4}.body.svelte-1uha8ag .thm-label{color:var(--color-rose);font-weight:600;display:block}.body.svelte-1uha8ag .thm-name{color:var(--color-ink-soft);display:block}.body.svelte-1uha8ag .thm p:not(.thm-head):not(.lean){margin-bottom:.5em;font-style:italic}.body.svelte-1uha8ag .lean{font-family:var(--font-sans);font-size:var(--text-xs);color:var(--color-ink-soft);line-height:1.5}.body.svelte-1uha8ag .lean code{font-size:11.5px}.body.svelte-1uha8ag .lean-k{margin-right:4px;font-weight:600}.body.svelte-1uha8ag .proof{color:var(--color-ink-soft);margin:0 0 22px;font-size:16px;line-height:1.6}.body.svelte-1uha8ag .proof-head{margin-right:.4em;font-style:italic;display:inline}.body.svelte-1uha8ag .proof-head+p{display:inline}.body.svelte-1uha8ag .status{grid-column:left-start/text-end;grid-template-columns:var(--left) minmax(0, var(--text));column-gap:var(--gap);margin:4px 0 22px;display:grid}.body.svelte-1uha8ag .status-k{text-align:right;font-family:var(--font-sans);font-size:var(--text-xs);letter-spacing:.04em;text-transform:uppercase;color:var(--color-violet);padding-top:4px;font-weight:600}.body.svelte-1uha8ag .status p{background:linear-gradient(var(--color-violet), var(--color-violet)) left / 2px 100% no-repeat;color:var(--color-ink-soft);grid-column:2;padding-left:16px;font-size:16.5px}.body.svelte-1uha8ag figure.fig{grid-column:text-start/right-end;margin:24px 0 36px}.body.svelte-1uha8ag figure.fig img{width:100%;height:auto;display:block}.body.svelte-1uha8ag .fig-missing{background:var(--color-tint);height:220px;font-family:var(--font-sans);font-size:var(--text-sm);color:var(--color-ink-soft);place-items:center;display:grid}.body.svelte-1uha8ag figcaption,.body.svelte-1uha8ag .tbl-cap{max-width:var(--text);font-family:var(--font-sans);color:var(--color-ink-soft);margin-top:14px;font-size:13.5px;line-height:1.55}.body.svelte-1uha8ag figcaption strong,.body.svelte-1uha8ag .tbl-cap strong{color:var(--color-ink)}.body.svelte-1uha8ag .fig-label{color:var(--color-ink);font-weight:600}.body.svelte-1uha8ag figcaption .katex,.body.svelte-1uha8ag .tbl-cap .katex{font-size:1.02em}.body.svelte-1uha8ag .tbl{grid-column:text-start/right-end;margin:18px 0 32px}.body.svelte-1uha8ag .tbl-cap{margin:0 0 10px}.body.svelte-1uha8ag .tbl-wrap{overflow-x:auto}.body.svelte-1uha8ag table{border-collapse:collapse;width:100%;font-family:var(--font-sans);font-variant-numeric:tabular-nums;border-top:1px solid var(--color-ink);border-bottom:1px solid var(--color-ink);font-size:13px;line-height:1.4}.body.svelte-1uha8ag th{text-align:left;border-bottom:1px solid var(--color-mist);vertical-align:bottom;padding:8px 10px 6px 0;font-weight:600}.body.svelte-1uha8ag td{vertical-align:top;border-bottom:1px solid var(--color-tint);padding:6px 10px 6px 0}.body.svelte-1uha8ag th.r,.body.svelte-1uha8ag td.r{text-align:right}.body.svelte-1uha8ag th.c,.body.svelte-1uha8ag td.c{text-align:center}.body.svelte-1uha8ag table code{font-size:12px}.body.svelte-1uha8ag ol.refs{font-family:var(--font-sans);color:var(--color-ink-soft);grid-column:text;padding-left:2.2em;font-size:13px;line-height:1.5}.body.svelte-1uha8ag ol.refs li{margin-bottom:.5em;scroll-margin-top:80px}.body.svelte-1uha8ag ol.refs li:target{color:var(--color-ink);background:var(--color-tint)}.body.svelte-1uha8ag .ref-link{word-break:break-all;color:var(--color-blue-grey)}.body.svelte-1uha8ag h2[id],.body.svelte-1uha8ag figure[id],.body.svelte-1uha8ag .tbl[id],.body.svelte-1uha8ag .thm[id]{scroll-margin-top:72px}@media (width<=1080px){.paper.svelte-1uha8ag{--left:0px;--right:0px;--gap:0px;max-width:720px;padding:40px 16px 96px}.front.svelte-1uha8ag{margin-left:0}h1.svelte-1uha8ag{font-size:32px}.body.svelte-1uha8ag{font-size:17px;display:block}.body.svelte-1uha8ag .abstract,.body.svelte-1uha8ag h2.sec,.body.svelte-1uha8ag .thm,.body.svelte-1uha8ag .status{display:block}.body.svelte-1uha8ag .abs-h,.body.svelte-1uha8ag .thm-head,.body.svelte-1uha8ag .status-k{text-align:left;margin-bottom:6px}.body.svelte-1uha8ag .sec-n{margin-right:10px}.body.svelte-1uha8ag .thm-label,.body.svelte-1uha8ag .thm-name{display:inline}.body.svelte-1uha8ag .thm-name{margin-left:4px}.body.svelte-1uha8ag .status-k{display:block}.body.svelte-1uha8ag h2.sec{margin-top:44px;font-size:22px}.body.svelte-1uha8ag ol.refs{padding-left:1.8em}}