@font-face{font-family:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(../media/ibm-plex-sans-cyrillic-ext-wght-normal.0w5-20wrij2y1.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)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:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(../media/ibm-plex-sans-cyrillic-wght-normal.1fjuga16p-_i_.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(../media/ibm-plex-sans-greek-wght-normal.1bpl7wsc6313m.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)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:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(../media/ibm-plex-sans-vietnamese-wght-normal.3t024er0ypawq.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)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:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(../media/ibm-plex-sans-latin-ext-wght-normal.3t_7mbg42824f.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)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:IBM Plex Sans Variable;font-style:normal;font-display:swap;font-weight:100 700;src:url(../media/ibm-plex-sans-latin-wght-normal.15jby9eboz7vb.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)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:STIX Two Text Variable;font-style:normal;font-display:swap;font-weight:400 700;src:url(../media/stix-two-text-cyrillic-ext-wght-normal.3djfia6t7yb50.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)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:STIX Two Text Variable;font-style:normal;font-display:swap;font-weight:400 700;src:url(../media/stix-two-text-cyrillic-wght-normal.0gpfe0v-jwrcg.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text Variable;font-style:normal;font-display:swap;font-weight:400 700;src:url(../media/stix-two-text-greek-wght-normal.240-4id6uhr1h.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)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:STIX Two Text Variable;font-style:normal;font-display:swap;font-weight:400 700;src:url(../media/stix-two-text-vietnamese-wght-normal.3lv55fq76z_w5.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)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:STIX Two Text Variable;font-style:normal;font-display:swap;font-weight:400 700;src:url(../media/stix-two-text-latin-ext-wght-normal.0uvp-mw60nkow.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)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:STIX Two Text Variable;font-style:normal;font-display:swap;font-weight:400 700;src:url(../media/stix-two-text-latin-wght-normal.3o39bhncxb0pf.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)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:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-latin-400-normal.3xdfs0-p_zi4c.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)format("woff2"),url(../media/ibm-plex-mono-latin-400-normal.2lhng2ntocry9.woff?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)format("woff")}
@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-mono-latin-500-normal.11q3guvgd1r20.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)format("woff2"),url(../media/ibm-plex-mono-latin-500-normal.1fgk-kmy-32_a.woff?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)format("woff")}
@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:600;src:url(../media/ibm-plex-mono-latin-600-normal.30e0eqd5fxn92.woff2?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)format("woff2"),url(../media/ibm-plex-mono-latin-600-normal.0d95tbzh5g6jj.woff?dpl=dpl_KrSR3QHdgadvHqDdeKDnh6myoe5B)format("woff")}
:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--canvas:#fff;--ink:#141515;--muted:#555959;--quiet:#707473;--rule:#d9dcdb;--rule-strong:#222424;--focus:#145fbd;--font-serif:"STIX Two Text Variable", "Iowan Old Style", "Palatino Linotype", "Book Antiqua", Palatino, Georgia, serif;--font-sans:"IBM Plex Sans Variable", "Helvetica Neue", Helvetica, Arial, sans-serif;--font-mono:"IBM Plex Mono", "SFMono-Regular", Consolas, "Liberation Mono", monospace;--content:880px;--gutter:clamp(1.25rem, 4vw, 2.5rem)}*,:before,:after{box-sizing:border-box}html{background:var(--canvas)}body{background:var(--canvas);min-width:320px;color:var(--ink);font-family:var(--font-serif);text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;margin:0;font-size:17px;line-height:1.62}main{min-height:72vh}::selection{color:var(--ink);background:#e9eaea}a{color:inherit;text-underline-offset:.2em;text-decoration-color:#8c8f8e;text-decoration-thickness:1px}a:hover{-webkit-text-decoration-color:var(--ink);text-decoration-color:var(--ink)}img,svg{max-width:100%;display:block}h1,h2,h3,p,figure,dl,dd,ol{margin-top:0}h1,h2,h3{color:var(--ink);font-family:var(--font-serif);letter-spacing:-.018em;font-weight:520}h1{font-size:clamp(3rem,7vw,4.75rem);line-height:1}h2{font-size:1rem;line-height:1.35}h3{font-size:1rem;line-height:1.4}:focus-visible{outline:2px solid var(--focus);outline-offset:4px}.skip-link{z-index:100;background:var(--ink);color:var(--canvas);font-family:var(--font-sans);padding:.65rem .9rem;font-size:.78rem;font-weight:600;text-decoration:none;position:fixed;top:.75rem;left:.75rem;transform:translateY(-170%)}.skip-link:focus{transform:translateY(0)}.visually-hidden{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.page-shell{width:min(calc(100% - (2 * var(--gutter))), var(--content));margin-inline:auto}.site-header{border-bottom:1px solid var(--rule);background:var(--canvas)}.site-header__inner{width:min(calc(100% - (2 * var(--gutter))), var(--content));justify-content:space-between;align-items:center;gap:1.5rem;min-height:58px;margin-inline:auto;display:flex}.wordmark{white-space:nowrap;align-items:center;gap:.55rem;min-height:44px;font-size:.94rem;font-weight:600;text-decoration:none;display:inline-flex}.wordmark__mark,.wordmark__mark img{width:21px;height:21px}.primary-nav{align-items:center;gap:.2rem;display:flex}.primary-nav__link{min-height:44px;color:var(--muted);font-family:var(--font-sans);align-items:center;padding-inline:.55rem;font-size:.73rem;font-weight:500;text-decoration:none;display:inline-flex}.primary-nav__link:hover{color:var(--ink)}.site-footer{border-top:1px solid var(--rule)}.site-footer__inner{width:min(calc(100% - (2 * var(--gutter))), var(--content));grid-template-columns:minmax(0,1fr) auto;gap:2rem;margin-inline:auto;padding-block:1.35rem 2.25rem;display:grid}.site-footer p,.site-footer nav{color:var(--quiet);font-family:var(--font-sans);margin:0;font-size:.68rem}.site-footer nav{gap:1.2rem;display:flex}.site-footer a{align-items:center;min-height:44px;display:inline-flex}.paper{padding-block:clamp(3rem,8vw,5.5rem) clamp(5rem,10vw,8rem)}.paper__title{border-bottom:1px solid var(--rule-strong);grid-template-columns:minmax(0,1fr) 156px;align-items:end;gap:clamp(2rem,7vw,5rem);padding-bottom:clamp(2.5rem,5vw,3.75rem);display:grid}.paper__title h1{letter-spacing:-.035em;margin-bottom:0;font-size:clamp(3.6rem,8vw,5.2rem)}.paper__title p{max-width:560px;color:var(--muted);margin:.9rem 0 0;font-size:clamp(1.02rem,2vw,1.24rem);line-height:1.48}.paper__title figure{width:156px;height:156px;margin:0}.paper__title img{object-fit:contain;filter:grayscale()contrast(1.03);width:100%;height:100%}.paper__abstract,.paper__section{border-bottom:1px solid var(--rule);grid-template-columns:150px minmax(0,1fr);gap:clamp(2rem,7vw,4.5rem);padding-block:clamp(2.25rem,5vw,3.4rem);display:grid}.paper__abstract h2,.paper__section h2{letter-spacing:0;margin-bottom:0;font-size:1rem;font-weight:620}.paper__abstract>p{max-width:640px;margin-bottom:0;font-size:clamp(1.06rem,2vw,1.18rem);line-height:1.72}.paper__section>header{grid-template-columns:24px minmax(0,1fr);align-items:baseline;gap:.6rem;display:grid}.paper__section>header>span{color:var(--quiet);font-family:var(--font-mono);font-size:.66rem}.paper__method{border-top:1px solid var(--rule);margin:0}.paper__method>div{border-bottom:1px solid var(--rule);grid-template-columns:112px minmax(0,1fr);gap:1.4rem;padding-block:.9rem;display:grid}.paper__method dt{font-weight:620}.paper__method dd{color:var(--muted);margin:0}.paper__prose{max-width:640px}.paper__prose p{margin-bottom:1rem}.paper__prose p:last-of-type{margin-bottom:1.2rem}.paper__prose>a,.paper__prose>p:last-child a{font-size:.92rem}.page-stack{gap:clamp(2.75rem,6vw,4.5rem);padding-block:clamp(3.25rem,7vw,5.25rem) clamp(5rem,10vw,8rem);display:grid}.page-intro{border-bottom:1px solid var(--rule-strong);max-width:760px;padding-bottom:clamp(2rem,5vw,3.2rem)}.page-intro h1{margin-bottom:0;font-size:clamp(2.9rem,6vw,4.1rem)}.page-intro__lede{max-width:640px;color:var(--muted);margin-top:1.1rem;font-size:1.04rem;line-height:1.65}.page-intro__lede>:last-child{margin-bottom:0}.section-heading{justify-content:space-between;align-items:baseline;gap:1.5rem;margin-bottom:1.4rem;display:flex}.section-heading h2{margin-bottom:0;font-size:1.35rem;font-weight:520}.section-heading>a{min-height:44px;color:var(--muted);font-family:var(--font-sans);align-items:center;font-size:.74rem;display:inline-flex}.method-sequence,.verification-record,.document-note,.public-record{max-width:760px}.method-sequence ol{border-top:1px solid var(--rule-strong);margin:0;padding:0;list-style:none}.method-sequence li{border-bottom:1px solid var(--rule);grid-template-columns:44px minmax(0,1fr);gap:1.15rem;padding-block:1.1rem;display:grid}.method-sequence li>span{color:var(--quiet);font-family:var(--font-mono);font-size:.66rem}.method-sequence li>div{grid-template-columns:160px minmax(0,1fr);gap:1.15rem;display:grid}.method-sequence h3,.method-sequence p{margin-bottom:0;font-size:.95rem}.method-sequence h3{font-weight:620}.method-sequence p{color:var(--muted)}.verification-record dl{border-top:1px solid var(--rule-strong);margin:0}.verification-record dl>div{border-bottom:1px solid var(--rule);grid-template-columns:180px minmax(0,1fr);gap:1.5rem;padding-block:1rem;display:grid}.verification-record dt{font-weight:620}.verification-record dd{color:var(--muted);margin:0}.document-note{border-top:1px solid var(--rule-strong);grid-template-columns:180px minmax(0,1fr);gap:1.5rem;padding-top:1.35rem;display:grid}.document-note h2,.document-note p{margin-bottom:0}.document-note h2{font-weight:620}.document-note p{max-width:560px;color:var(--muted)}.public-record{border-top:1px solid var(--rule-strong);padding:0}.public-record>p{border-bottom:1px solid var(--rule);color:var(--muted);margin:0;padding-block:1.15rem;font-size:.94rem}.public-record-list{margin:0;padding:0;list-style:none}.public-record-list>li{border-bottom:1px solid var(--rule)}.public-record-list article{grid-template-columns:152px minmax(0,1fr);gap:1.5rem;padding-block:1.3rem 1.45rem;display:grid}.public-record-list time,.research-entry__header time{color:var(--quiet);font-family:var(--font-mono);letter-spacing:.01em;font-size:.67rem}.public-record-list h3{overflow-wrap:anywhere;margin-bottom:.35rem;font-size:1.07rem;font-weight:560}.public-record-list p{max-width:580px;color:var(--muted);overflow-wrap:anywhere;margin-bottom:0;font-size:.94rem}.research-entry-shell{padding-block:clamp(3.25rem,7vw,5.25rem) clamp(5rem,10vw,8rem)}.research-entry{max-width:760px}.research-entry__header{border-bottom:1px solid var(--rule-strong);padding-bottom:clamp(2.4rem,5vw,3.5rem)}.research-entry__back{min-height:44px;color:var(--muted);font-family:var(--font-sans);align-items:center;font-size:.73rem;display:inline-flex}.research-entry__header h1{overflow-wrap:anywhere;max-width:720px;margin:1.1rem 0 1.25rem;font-size:clamp(2.55rem,6vw,4rem);line-height:1.04}.research-entry__summary{max-width:640px;color:var(--muted);overflow-wrap:anywhere;margin-bottom:1.35rem;font-size:clamp(1.03rem,2vw,1.16rem);line-height:1.65}.research-entry__section{border-bottom:1px solid var(--rule);grid-template-columns:152px minmax(0,1fr);gap:1.5rem;padding-block:clamp(2rem,5vw,3rem);display:grid}.research-entry__section>h2,.research-entry__section>header h2{margin-bottom:0;font-weight:620}.research-entry__section>header{min-width:0}.research-entry__section>header>code{color:var(--quiet);font-family:var(--font-mono);overflow-wrap:anywhere;margin-top:.35rem;font-size:.65rem;display:block}.research-entry__section>p{overflow-wrap:anywhere;max-width:600px;margin-bottom:0}.research-entry__source-note{color:var(--muted);grid-column:2;font-size:.84rem}.research-entry pre{border:1px solid var(--rule);max-width:100%;font-family:var(--font-mono);tab-size:2;background:#fafafa;margin:0;padding:1rem 1.1rem;font-size:.76rem;line-height:1.65;overflow-x:auto}.research-entry__facts{border-top:1px solid var(--rule);margin:0}.research-entry__facts>div{border-bottom:1px solid var(--rule);grid-template-columns:112px minmax(0,1fr);gap:1rem;padding-block:.75rem;display:grid}.research-entry__facts dt{font-weight:620}.research-entry__facts dd{min-width:0;color:var(--muted);overflow-wrap:anywhere;margin:0}.research-entry__facts dd>code{font-family:var(--font-mono);overflow-wrap:anywhere;font-size:.68rem}.research-entry__limitations{margin:0;padding-left:1.1rem}.research-entry__limitations li{padding-left:.25rem}.research-entry__limitations li+li{margin-top:.65rem}.not-found{max-width:760px;padding-block:16vh 22vh}.not-found h1{margin-bottom:1.25rem;font-size:clamp(2.9rem,6vw,4.1rem)}.not-found a{align-items:center;min-height:44px;display:inline-flex}@media (max-width:760px){:root{--gutter:1rem}body{font-size:16px}.site-header__inner{gap:.55rem;min-height:54px}.wordmark{gap:.4rem;font-size:.86rem}.wordmark__mark,.wordmark__mark img{width:18px;height:18px}.primary-nav{gap:0}.primary-nav__link{padding-inline:.4rem;font-size:.69rem}.paper{padding-top:2.7rem}.paper__title{grid-template-columns:minmax(0,1fr) 108px;align-items:center;gap:1.25rem}.paper__title h1{font-size:clamp(2.9rem,12vw,3.55rem)}.paper__title figure{width:108px;height:108px}.paper__abstract,.paper__section{grid-template-columns:1fr;gap:1.25rem}.paper__section>header{grid-template-columns:24px minmax(0,1fr)}.paper__method>div{grid-template-columns:96px minmax(0,1fr);gap:1rem}.method-sequence li{grid-template-columns:36px minmax(0,1fr);gap:.8rem}.method-sequence li>div{grid-column:2;grid-template-columns:1fr;gap:.25rem;display:grid}.verification-record dl>div,.document-note{grid-template-columns:1fr;gap:.35rem}.public-record-list article,.research-entry__section{grid-template-columns:1fr;gap:.65rem}.research-entry__source-note{grid-column:1}}@media (max-width:430px){.wordmark__mark{display:none}.primary-nav__link{padding-inline:.32rem;font-size:.66rem}.paper__title{grid-template-columns:1fr}.paper__title figure{width:92px;height:92px}.paper__method>div{grid-template-columns:1fr;gap:.2rem}.site-footer__inner{grid-template-columns:minmax(0,1fr) auto;gap:1rem}}