.paper.svelte-17s9xk6{--left:200px;--text:680px;--right:200px;--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-17s9xk6{max-width:calc(var(--text) + 2 * var(--gap));text-align:center;margin:0 auto}.front.svelte-17s9xk6 h1:where(.svelte-17s9xk6){margin-left:auto;margin-right:auto}.front.svelte-17s9xk6 .links:where(.svelte-17s9xk6){justify-content:center}.kicker.svelte-17s9xk6{font-size:var(--text-xs);letter-spacing:.02em;color:var(--color-ink-soft)}h1.svelte-17s9xk6{font-family:var(--serif);letter-spacing:-.012em;text-wrap:balance;margin-top:14px;font-weight:400}.t-main.svelte-17s9xk6{font-size:36px;line-height:1.15;display:block}.t-sub.svelte-17s9xk6{color:var(--color-ink);margin-top:10px;font-size:24px;line-height:1.25;display:block}.body.svelte-17s9xk6 .cite-name{white-space:nowrap}.byline.svelte-17s9xk6{font-size:var(--text-ui);color:var(--color-ink-soft);margin-top:18px}.links.svelte-17s9xk6{font-size:var(--text-ui);color:var(--color-ink-soft);flex-wrap:wrap;gap:4px 10px;margin-top:6px;display:flex}.links.svelte-17s9xk6 a{color:var(--color-ink)}.body.svelte-17s9xk6{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-17s9xk6>*{grid-column:text}.body.svelte-17s9xk6 p{-webkit-hyphens:auto;hyphens:auto;margin:0 0 1em}.body.svelte-17s9xk6 strong{font-weight:600}.body.svelte-17s9xk6 code{font-family:var(--font-mono);color:var(--color-ink-soft);font-size:.8em}.body.svelte-17s9xk6 a{-webkit-text-decoration-color:var(--color-mist);text-decoration-color:var(--color-mist)}.body.svelte-17s9xk6 ol,.body.svelte-17s9xk6 ul{margin:0 0 1em;padding-left:1.3em;list-style:decimal}.body.svelte-17s9xk6 ul{list-style:outside}.body.svelte-17s9xk6 li{margin-bottom:.45em}.body.svelte-17s9xk6 li::marker{font-family:var(--font-sans);color:var(--color-ink-soft);font-size:.8em}.body.svelte-17s9xk6 .dmath{margin:.4em 0 1.2em;overflow:auto hidden}.body.svelte-17s9xk6 .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-17s9xk6 .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-17s9xk6 .abstract p{grid-column:2;font-size:17px;line-height:1.6}.body.svelte-17s9xk6 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-17s9xk6 .sec-n{text-align:right;font-family:var(--font-sans);color:var(--color-rose);font-size:15px;font-weight:500}.body.svelte-17s9xk6 h3{font-family:var(--font-sans);letter-spacing:.005em;margin:30px 0 8px;font-size:15px;font-weight:600}.body.svelte-17s9xk6 sup.cite{white-space:nowrap;font-family:var(--font-sans);margin-left:1px;font-size:.62em;line-height:0}.body.svelte-17s9xk6 sup.cite a,.body.svelte-17s9xk6 a.xref{color:var(--color-cobalt);text-decoration:none}.body.svelte-17s9xk6 sup.cite a:hover,.body.svelte-17s9xk6 a.xref:hover{color:var(--color-rose)}.body.svelte-17s9xk6 .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-17s9xk6 .thm>*{grid-column:2}.body.svelte-17s9xk6 .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-17s9xk6 .thm-label{color:var(--color-rose);font-weight:600;display:block}.body.svelte-17s9xk6 .thm-name{color:var(--color-ink-soft);display:block}.body.svelte-17s9xk6 .thm p:not(.thm-head):not(.lean){margin-bottom:.5em;font-style:italic}.body.svelte-17s9xk6 .lean{font-family:var(--font-sans);font-size:var(--text-xs);color:var(--color-ink-soft);line-height:1.5}.body.svelte-17s9xk6 .lean code{font-size:11.5px}.body.svelte-17s9xk6 .lean-k{margin-right:4px;font-weight:600}.body.svelte-17s9xk6 .proof{color:var(--color-ink-soft);margin:0 0 22px;font-size:16px;line-height:1.6}.body.svelte-17s9xk6 .proof-head{margin-right:.4em;font-style:italic;display:inline}.body.svelte-17s9xk6 .proof-head+p{display:inline}.body.svelte-17s9xk6 .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-17s9xk6 .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-17s9xk6 .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-17s9xk6 figure.fig{grid-column:left-start/right-end;margin:24px 0 36px}.body.svelte-17s9xk6 figure.fig img{max-width:960px;margin-left:auto;margin-right:auto}.body.svelte-17s9xk6 figure.fig figcaption{max-width:var(--text);margin-left:auto;margin-right:auto}.body.svelte-17s9xk6 figure.fig img{width:100%;height:auto;display:block}.body.svelte-17s9xk6 .fig-open{cursor:zoom-in;display:block}.body.svelte-17s9xk6 .fig-missing{background:var(--color-tint);height:120px;font-family:var(--font-sans);font-size:var(--text-sm);color:var(--color-ink-soft);place-items:center;display:grid}.body.svelte-17s9xk6 figcaption,.body.svelte-17s9xk6 .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-17s9xk6 figcaption strong,.body.svelte-17s9xk6 .tbl-cap strong{color:var(--color-ink)}.body.svelte-17s9xk6 .fig-label{color:var(--color-ink);font-weight:600}.body.svelte-17s9xk6 figcaption .katex,.body.svelte-17s9xk6 .tbl-cap .katex{font-size:1.02em}.body.svelte-17s9xk6 .tbl{grid-column:left-start/right-end;justify-self:center;max-width:100%;margin:18px 0 32px}.body.svelte-17s9xk6 .tbl-cap{margin:0 0 10px}.body.svelte-17s9xk6 .tbl-wrap{overflow-x:auto}.body.svelte-17s9xk6 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-17s9xk6 th{text-align:left;border-bottom:1px solid var(--color-mist);vertical-align:bottom;padding:8px 10px 6px 0;font-weight:600}.body.svelte-17s9xk6 td{vertical-align:top;border-bottom:1px solid var(--color-tint);padding:6px 10px 6px 0}.body.svelte-17s9xk6 th.r,.body.svelte-17s9xk6 td.r{text-align:right}.body.svelte-17s9xk6 th.c,.body.svelte-17s9xk6 td.c{text-align:center}.body.svelte-17s9xk6 table code{font-size:12px}.body.svelte-17s9xk6 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-17s9xk6 ol.refs li{margin-bottom:.5em;scroll-margin-top:80px}.body.svelte-17s9xk6 ol.refs li:target{color:var(--color-ink);background:var(--color-tint)}.body.svelte-17s9xk6 .ref-link{word-break:break-all;color:var(--color-blue-grey)}.body.svelte-17s9xk6 h2[id],.body.svelte-17s9xk6 figure[id],.body.svelte-17s9xk6 .tbl[id],.body.svelte-17s9xk6 .thm[id]{scroll-margin-top:72px}.lede.svelte-17s9xk6{text-align:left;max-width:62ch;color:var(--color-ink-soft);margin:22px auto 0;font-size:16px;line-height:1.6}.toc.svelte-17s9xk6{max-width:calc(var(--text) + 2 * var(--gap));font-size:var(--text-sm);margin:40px auto 0}.toc.svelte-17s9xk6 h2:where(.svelte-17s9xk6){font-size:var(--text-xs);color:var(--color-ink-soft);font-weight:500}.toc.svelte-17s9xk6 ol:where(.svelte-17s9xk6){columns:2;column-gap:40px;margin-top:8px;padding:0;list-style:none}.toc.svelte-17s9xk6 li:where(.svelte-17s9xk6){break-inside:avoid;padding:3px 0}.toc.svelte-17s9xk6 .n:where(.svelte-17s9xk6){min-width:1.6em;color:var(--color-rose);font-variant-numeric:tabular-nums;display:inline-block}.toc.svelte-17s9xk6 a:where(.svelte-17s9xk6){color:var(--color-ink);text-decoration:none}.toc.svelte-17s9xk6 a:where(.svelte-17s9xk6):hover{text-decoration:underline}.body.svelte-17s9xk6 .aside{border-left:2px solid var(--color-mist);color:var(--color-ink-soft);margin:6px 0 24px;padding:2px 0 2px 18px;font-size:16px;line-height:1.6}.body.svelte-17s9xk6 .aside p:last-child{margin-bottom:0}.body.svelte-17s9xk6 .aside-t{font-family:var(--font-sans);font-size:var(--text-sm);color:var(--color-rose);margin-bottom:4px;font-weight:600}.body.svelte-17s9xk6 .sn-mark{font-family:var(--font-sans);vertical-align:super;color:var(--color-cobalt);cursor:pointer;font-size:.62em;line-height:0}.body.svelte-17s9xk6 .sn-toggle{display:none}.body.svelte-17s9xk6 .sidenote{float:right;clear:right;width:var(--right);margin-right:calc(-1 * (var(--right) + var(--gap)));font-family:var(--font-sans);font-size:var(--text-xs);color:var(--color-ink-soft);line-height:1.5}.body.svelte-17s9xk6 .sn-n{color:var(--color-cobalt)}@media (width<=1080px){.paper.svelte-17s9xk6{--left:0px;--right:0px;--gap:0px;max-width:720px;padding:40px 16px 96px}.front.svelte-17s9xk6{margin:0 auto}.t-main.svelte-17s9xk6{font-size:29px}.t-sub.svelte-17s9xk6{font-size:20px}.body.svelte-17s9xk6{font-size:17px;display:block}.body.svelte-17s9xk6 .abstract,.body.svelte-17s9xk6 h2.sec,.body.svelte-17s9xk6 .thm,.body.svelte-17s9xk6 .status{display:block}.body.svelte-17s9xk6 .abs-h,.body.svelte-17s9xk6 .thm-head,.body.svelte-17s9xk6 .status-k{text-align:left;margin-bottom:6px}.body.svelte-17s9xk6 .sec-n{margin-right:10px}.body.svelte-17s9xk6 .sec-n:empty{display:none}.body.svelte-17s9xk6 .thm-label,.body.svelte-17s9xk6 .thm-name{display:inline}.body.svelte-17s9xk6 .thm-name{margin-left:4px}.body.svelte-17s9xk6 .status-k{display:block}.body.svelte-17s9xk6 h2.sec{margin-top:44px;font-size:22px}.body.svelte-17s9xk6 ol.refs{padding-left:1.8em}.toc.svelte-17s9xk6 ol:where(.svelte-17s9xk6){columns:1}.body.svelte-17s9xk6 .sidenote{float:none;width:auto;margin:6px 0;display:none}.body.svelte-17s9xk6 .sn-toggle:checked+.sidenote{display:block}}@media (width<=480px){.body.svelte-17s9xk6 .dmath{font-size:.8em}}