@font-face{font-display:swap;font-family:Latin Modern;font-style:normal;font-weight:400;src:url(./LM-regular.BRwDCEH1.woff2) format("woff2"),url(./LM-regular.C5no4i6B.woff) format("woff"),url(./LM-regular.C0upqjek.ttf) format("truetype")}@font-face{font-display:swap;font-family:Latin Modern;font-style:italic;font-weight:400;src:url(./LM-italic.BsZrE28K.woff2) format("woff2"),url(./LM-italic.DbkJmXof.woff) format("woff"),url(./LM-italic.CIYNG3Pi.ttf) format("truetype")}@font-face{font-display:swap;font-family:Latin Modern;font-style:normal;font-weight:700;src:url(./LM-bold.CflbQ1SP.woff2) format("woff2"),url(./LM-bold.Cgpza_mX.woff) format("woff"),url(./LM-bold.VRs4xTlv.ttf) format("truetype")}@font-face{font-display:swap;font-family:Latin Modern;font-style:italic;font-weight:700;src:url(./LM-bold-italic.CCNCtwis.woff2) format("woff2"),url(./LM-bold-italic.BUSFv201.woff) format("woff"),url(./LM-bold-italic.97eL7rqz.ttf) format("truetype")}@font-face{font-display:swap;font-family:Libertinus;font-style:normal;font-weight:400;src:url(./Libertinus-regular.CCNL5Px_.woff2) format("woff2")}@font-face{font-display:swap;font-family:Libertinus;font-style:italic;font-weight:400;src:url(./Libertinus-italic.RCmwpJu1.woff2) format("woff2")}@font-face{font-display:swap;font-family:Libertinus;font-style:normal;font-weight:700;src:url(./Libertinus-bold.Jn8HbtDv.woff2) format("woff2")}@font-face{font-display:swap;font-family:Libertinus;font-style:italic;font-weight:700;src:url(./Libertinus-bold-italic.kyo2BO3R.woff2) format("woff2")}@font-face{font-display:swap;font-family:Libertinus;font-style:normal;font-weight:600;src:url(./Libertinus-semibold.BnQBwPpw.woff2) format("woff2")}@font-face{font-display:swap;font-family:Libertinus;font-style:italic;font-weight:600;src:url(./Libertinus-semibold-italic.DBw1iPF6.woff2) format("woff2")}*,:after,:before{box-sizing:border-box}body,dd,dl,figcaption,figure,h1,h2,h3,h4,li,ol[class],p,ul[class]{margin:0}html{font-size:1rem;scroll-behavior:smooth}body.libertinus{font-family:Libertinus,Georgia,Cambria,Times New Roman,Times,serif}body{background-color:#f9fafb;color:#1b1818;counter-reset:theorem;counter-reset:definition;counter-reset:sidenote-counter;font-family:Latin Modern,Georgia,Cambria,Times New Roman,Times,serif;line-height:1.8;margin:0 auto;max-width:80ch;min-height:100vh;overflow-x:hidden;padding:2rem 1.25rem;text-rendering:optimizeLegibility}p{hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto;margin-top:1rem;text-align:justify}a:not([class]){-webkit-text-decoration-skip:ink;text-decoration-skip-ink:auto}a,a:visited{color:#a00}a:focus{outline:2px solid #1660f3;outline-offset:2px}img{display:block;height:auto;max-width:100%}button,input,select,textarea{font:inherit}textarea{width:100%}article>*+*{margin-top:1em}code,kbd,pre{font-family:Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:85%}pre{background:#e8edf2;border-radius:4px;max-width:100%;overflow:auto;padding:1rem 1.4rem}pre code{font-size:95%;position:relative}kbd{background:#fff;border:1px solid #afb3b6;border-radius:2px;font-size:75%;padding:2px 4px}table{border-bottom:2.27px solid #000;border-collapse:collapse;border-spacing:0;border-top:2.27px solid #000;counter-increment:caption;max-width:100%;overflow-x:auto;width:auto}table tr>th[scope=col]{border-bottom:1.36px solid #000}table tr>th[scope=row]{border-right:1.36px solid #000}table>tbody>tr:first-child>td,table>tbody>tr:first-child>th{border-top:1.36px solid #000}table>tbody>tr:last-child>td,table>tbody>tr:last-child>th{border-bottom:1.36px solid #000}td,th{line-height:1.1;padding:.5rem}caption,td,th{text-align:left}caption{font-size:.923em;margin-left:0;padding:0 .25em .25em;width:100%}caption:before{content:"Table " counter(caption) ". ";font-weight:700}.scroll-wrapper{overflow-x:auto}.scroll-wrapper>table td{white-space:nowrap}h1:first-child{text-align:center}nav ol{counter-reset:item;padding-left:2rem}nav li{display:block}nav li:before{content:counters(item,".") " ";counter-increment:item;padding-right:.85rem}dl dd{text-align:center}.theorem{counter-increment:theorem;display:block;font-style:italic;margin:12px 0}.theorem:before{content:"Theorem " counter(theorem) ". ";font-style:normal;font-weight:700}.lemma{counter-increment:theorem;display:block;font-style:italic;margin:12px 0}.lemma:before{content:"Lemma " counter(theorem) ". ";font-style:normal;font-weight:700}.proof{display:block;font-style:normal;margin:12px 0;position:relative}.proof:before{content:"Proof. " attr(title);font-style:italic}.proof:after{bottom:-2px;content:"◾️";position:absolute;right:-12px}.definition{counter-increment:definition;display:block;font-style:normal;margin:12px 0}.definition:before{content:"Definition " counter(definition) ". ";font-style:normal;font-weight:700}.author{font-variant-caps:small-caps;margin:.85rem 0;text-align:center}.sidenote{clear:right;float:right;font-size:.8rem;margin-bottom:1em;margin-right:-20vw;width:18vw}.sidenote.left{float:left;margin-bottom:1em;margin-left:-20vw}.sidenote:target{border:1.5px solid #ddd688;padding:0 .5rem;scroll-margin-block-start:10rem}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number:after,.sidenote:before{position:relative;vertical-align:baseline}.sidenote-number:after{content:counter(sidenote-counter);font-size:.7rem;left:.1rem;top:-.5rem}.sidenote-number~.sidenote:before{content:counter(sidenote-counter) " ";font-size:.7rem;top:-.5rem}label.sidenote-toggle:not(.sidenote-number){display:none}blockquote .sidenote{margin-right:-24vw;width:18vw}label.sidenote-toggle{cursor:pointer;display:inline}input.sidenote-toggle{display:none}@media(max-width:1050px){label.sidenote-toggle:not(.sidenote-number){display:inline}.sidenote{display:none}.sidenote-toggle:checked+.sidenote{clear:both;display:block;float:left;left:1rem;margin:.5rem 1.25rem 1rem .5rem;width:95%}blockquote .sidenote{margin-right:-25vw;width:16vw}}.footnotes p{font-size:85%;line-height:1.5;margin-bottom:.4rem;text-align:left}.footnotes{border-top:1px solid #636363}.abstract,.abstract p{margin-top:0;text-align:center}.abstract{margin:2.25rem 0}.abstract>h2{font-size:1rem;margin-bottom:-.2rem}.latex span:first-child{font-size:.75em;line-height:1ex;margin-left:-.48em;margin-right:-.15em;text-transform:uppercase;vertical-align:.28em}.latex span:nth-child(2){line-height:1ex;margin-left:-.1667em;margin-right:-.125em;text-transform:uppercase;vertical-align:-.5ex}h1{font-size:2.5rem;line-height:3.25rem;margin-bottom:1.625rem}h2{font-size:1.7rem;line-height:2rem;margin-top:3rem}h3{font-size:1.4rem;margin-top:2.5rem}h4{font-size:1.2rem;margin-top:2rem}h5{margin-top:1.8rem}h5,h6{font-size:1rem}h6{font-style:italic;font-weight:400;margin-top:2.5rem}h3,h4,h5,h6{line-height:1.625rem}h1+h2{margin-top:1.625rem}h2+h3,h3+h4,h4+h5{margin-top:.8rem}h5+h6{margin-top:-.8rem}h2,h3,h4,h5,h6{margin-bottom:.8rem}html{scroll-behavior:smooth}::-moz-selection{background-color:#4a148c26;color:inherit}::selection{background-color:#4a148c26;color:inherit}a{transition:color .2s ease}article{min-width:40ch}@media(max-width:960px){h1{font-size:1.8rem}}@media(max-width:720px){h1{font-size:1.2rem}}article,body{max-width:60vw}@media(max-width:960px){article,body{max-width:90vw}}@media(max-width:1440px){article,body{max-width:80vw}}@media(max-width:1920px){article,body{max-width:70vw}}figure{margin:auto;max-width:80%;text-align:center}.small,small{font-size:.8em}.abstract,.big{font-size:1.2em}.right{float:right}.hidden{display:none}.center{text-align:center}.fade-up-section{opacity:0;transform:translateY(20px);transition:opacity .5s ease-out,transform .5s ease-out}.fade-up-section.is-visible{opacity:1;transform:translateY(0)}.dinkus{border:none;color:#00000040;font-size:1.2em;letter-spacing:.5em;margin:2rem 0;overflow:visible;text-align:center}.dinkus:before{content:"* * *"}