:root{--ink:#111;--muted:#6b6b6b;--rule:#e6e6e6;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{color:var(--ink);-webkit-font-smoothing:antialiased;background:#fff;margin:0;font:17px/1.6 -apple-system,BlinkMacSystemFont,Segoe UI,Helvetica,Arial,sans-serif}main{max-width:640px;margin:0 auto;padding:72px 20px 96px}h1{margin:0 0 40px;font-size:28px;font-weight:600;line-height:1.2}h2{margin:0 0 12px;font-size:17px;font-weight:600}section+section{margin-top:40px}p{margin:0}ul,ol{margin:0;padding-left:1.2em}li+li{margin-top:8px}li::marker{color:var(--muted)}li>ul{margin-top:8px}.site-foot{justify-content:flex-end;margin-top:56px;display:flex}.icon-link{color:#a3a3a3;display:inline-flex}.icon-link:hover{color:var(--ink)}.icon-link svg{fill:currentColor;display:block}.note{color:var(--muted);margin:-6px 0 12px;font-size:14px}a{color:inherit;text-underline-offset:3px;-webkit-text-decoration:underline #b5b5b5;text-decoration:underline #b5b5b5}a:hover{text-decoration-color:currentColor}:focus-visible{outline:2px solid var(--ink);outline-offset:2px}.back{color:var(--muted);margin-bottom:32px;font-size:14px}article h1{margin-bottom:12px}.meta{color:var(--muted);font-size:14px}.prose{margin-top:32px}.prose>*+*{margin-top:1em}.prose h2{margin:40px 0 12px}.prose h2+*,.prose>:first-child{margin-top:0}.prose h3{margin:28px 0 8px;font-size:17px}.prose li strong{font-weight:inherit}.table-wrap{overflow-x:auto}.prose table{border-collapse:collapse;width:100%;font-size:14px}.prose th{border-bottom:1px solid var(--ink);text-align:left;padding:6px 10px 6px 0;font-weight:600}.prose td{border-bottom:1px solid var(--rule);font-variant-numeric:tabular-nums;vertical-align:top;padding:6px 10px 6px 0}.fig{margin:1.6em 0 0}.fig figcaption{color:var(--muted);margin-top:8px;font-size:14px}.fig-n{color:var(--ink);font-weight:600}.chart svg{display:block;overflow:visible}.chart .grid{stroke:var(--rule)}.chart .axis{stroke:#999}.chart .tick{fill:var(--muted);font-size:11px}.chart .val{fill:var(--ink);font-size:12px;font-weight:600}.chart .bar{fill:#cfcfcf}.chart .bar.em{fill:var(--ink)}.chart .line{fill:none;stroke:var(--ink);stroke-width:2px;stroke-linejoin:round;stroke-linecap:round}.chart .dot{fill:var(--ink);stroke:#fff;stroke-width:2px}.paper{max-width:580px;margin:0 auto;font-family:KaTeX_Main,Latin Modern Roman,CMU Serif,Georgia,serif;font-size:18px;line-height:1.5}.paper .back{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Helvetica,Arial,sans-serif}.paper-head{text-align:center;margin:8px 0}.paper-head h1{text-wrap:balance;margin:0 0 18px;font-size:26px;font-weight:400;line-height:1.3}.paper-head .author{font-size:15px}.paper-head .date{margin-top:2px;font-size:15px}.abstract{text-align:justify;-webkit-hyphens:auto;hyphens:auto;margin:32px 2em 8px;font-size:16px}@media (max-width:480px){.abstract{margin-left:.75em;margin-right:.75em}}.abstract-title{text-align:center;margin-bottom:6px;font-size:16px;font-weight:700}.paper .prose{counter-reset:sec;margin-top:24px}.paper .prose>*+*{margin-top:.75em}.paper .prose p{text-align:justify;-webkit-hyphens:auto;hyphens:auto}.paper .prose p+p{text-indent:1.5em;margin-top:0}.paper .prose h2{counter-increment:sec;counter-reset:subsec;margin:1.9em 0 .7em;font-size:22px;font-weight:700}.paper .prose h2:before{content:counter(sec) "   "}.paper .prose h2.unnumbered:before{content:none}.paper .prose h3{counter-increment:subsec;margin:1.5em 0 .5em;font-size:19px;font-weight:700}.paper .prose h3:before{content:counter(sec) "." counter(subsec) "   "}.paper .prose h2+*,.paper .prose h3+*{text-indent:0;margin-top:0}.paper .prose li{text-align:justify;-webkit-hyphens:auto;hyphens:auto}@media (max-width:480px){.paper .prose li{text-align:left}}.paper .prose li::marker{color:var(--ink)}.paper .prose li strong{font-weight:700}.paper .katex{font-size:1.05em}.math-nowrap{white-space:nowrap}.paper .katex-display{margin:1em 0;padding:2px 0;overflow:auto hidden}@media (max-width:480px){.paper .katex-display{font-size:.8em}}.env,.proof{text-align:justify;margin:1em 0}.env>p:first-of-type,.proof>p:first-of-type{display:inline}.env-label{font-weight:700}.env-label,.env-name{font-style:normal}.env-theorem,.env-proposition,.env-lemma,.env-corollary{font-style:italic}.env .katex{font-style:normal}.env-remark .env-label{font-style:italic;font-weight:400}.proof-label{font-style:italic}.tablebox{margin:1.4em 0}.tab-caption{text-align:justify;-webkit-hyphens:auto;hyphens:auto;width:fit-content;max-width:100%;margin:0 auto 6px;font-size:16px}.paper .prose table{border-top:1.5px solid var(--ink);border-bottom:1.5px solid var(--ink);font-size:16px}.paper .prose th{border-bottom:1px solid var(--ink);font-weight:700}.paper .prose td{border-bottom:0}.paper .fig figcaption{text-align:justify;-webkit-hyphens:auto;hyphens:auto;width:fit-content;max-width:100%;color:var(--ink);margin-left:auto;margin-right:auto;font-size:16px}.paper .fig .chart{max-width:480px;margin:0 auto}.paper .prose td[align=right],.paper .prose th[align=right]{text-align:right;white-space:nowrap}.paper .chart text{font-family:KaTeX_Main,Georgia,serif}.refs ol{counter-reset:ref;padding-left:2.6em;font-size:16px;list-style:none}.refs li{counter-increment:ref;text-indent:0}.paper .prose .refs li{text-align:left}.refs li:before{content:"[" counter(ref) "]";width:2.6em;margin-left:-2.6em;display:inline-block}.gate{background:#f5f5f4;border-radius:8px;padding:28px 20px;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Helvetica,Arial,sans-serif;font-size:15px;line-height:1.4}.paper .prose>.gate{margin-top:44px}.paper .prose .gate p{text-align:center;text-indent:0;-webkit-hyphens:none;hyphens:none}.gate-row{max-width:360px;margin:0 auto;display:flex}.gate input[type=email]{min-width:0;height:38px;font:inherit;color:var(--ink);background:#fff;border:1px solid #d4d4d2;border-right:0;border-radius:6px 0 0 6px;flex:1;padding:0 12px}.gate input[type=email]::placeholder{color:#9a9a98}.gate input[type=email]:focus-visible{border-color:var(--ink);outline:none}.gate button{border:1px solid var(--ink);height:38px;font:inherit;color:#fff;background:var(--ink);cursor:pointer;border-radius:0 6px 6px 0;padding:0 18px;font-weight:600}.gate button[disabled]{opacity:.6;cursor:default}.paper .prose .gate .gate-note{color:var(--muted);margin-top:8px;font-size:13px}.gate-error{color:#a40000;margin-top:10px;font-size:14px}.gate-trap{width:1px;height:1px;position:absolute;left:-10000px;overflow:hidden}