body:has(.latex-css-scope){max-width:none;margin:0;padding:0;overflow-x:hidden;hyphens:manual;-webkit-hyphens:manual;-moz-hyphens:manual;background-color:#fafafa;color:#111}.dark body:has(.latex-css-scope){background-color:#0a0a0a;color:#e8e6e0}.dark .latex-css-scope,.dark .latex-css-scope *{color-scheme:dark}.dark .lab-article{color:#e8e6e0;background-color:transparent}.dark .lab-article a,.dark .lab-article a:visited,.dark .lab-article blockquote,.dark .lab-article h1,.dark .lab-article h2,.dark .lab-article h2+p:first-letter,.dark .lab-article h3,.dark .lab-article h4,.dark .lab-article li,.dark .lab-article p,.dark .lab-diagram-caption,.dark .lab-figure-caption,.dark .lab-sidenote{color:#e8e6e0}.dark .lab-article>table,.dark .lab-article>table tbody>tr>td,.dark .lab-article>table thead>tr>th,.dark .lab-diagram,.dark .lab-figure,.dark .lab-table-wrap>table thead>tr>th,.dark .lab-theorem{border-color:#555;color:#e8e6e0}.dark .lab-overlay-teaser{background-color:rgba(125,168,255,.08);color:#e8e6e0;border-color:#7DA8FF}body:not(:has(.latex-css-scope)){font-family:var(--font-aeonik),system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,sans-serif;color:var(--foreground);background-color:var(--background);max-width:none;margin:0;padding:0;line-height:normal;text-rendering:auto;hyphens:manual;-webkit-hyphens:manual;-moz-hyphens:manual;counter-reset:none}body:not(:has(.latex-css-scope)) a,body:not(:has(.latex-css-scope)) a:visited{color:inherit;text-decoration:none}.latex-css-scope,.latex-css-scope *{color-scheme:light}.latex-css-scope{hyphens:manual;-webkit-hyphens:manual;-moz-hyphens:manual}.lab-article,.latex-css-scope{counter-reset:lab-section lab-subsection lab-figure lab-table lab-diagram lab-sidenote}.lab-article{position:relative;max-width:42rem;margin:0 auto;padding:4rem 1.5rem 6rem;font-size:18px;line-height:1.75}@media (min-width:1024px){.lab-article{max-width:59rem;margin-left:auto;margin-right:auto;padding-right:17rem;padding-left:1.5rem;font-size:19px}}.lab-article p{margin:.9em 0;text-align:left}.lab-article h2+p{line-height:1.85}.lab-article h2+p:first-letter{float:left;font-family:Latin Modern,Georgia,serif;font-size:2.05em;line-height:.85;font-weight:700;margin:.02em .1em 0 0;color:inherit}@media (prefers-reduced-motion:no-preference){.lab-article blockquote,.lab-article ol,.lab-article p,.lab-article ul{transition:opacity .2s ease-out}}.lab-article h1{font-size:2.25rem;line-height:1.2;font-weight:700;margin:0 0 1.5rem;text-align:center;letter-spacing:-.005em}.lab-article h2{font-size:1.5rem;line-height:1.3;font-weight:700;margin:3rem 0 1rem}.lab-article.lab-numbered h2{counter-increment:lab-section;counter-reset:lab-subsection}.lab-article.lab-numbered h2:before{content:counter(lab-section) ". ";font-weight:700;margin-right:.25em}.lab-article h3{font-size:1.1875rem;line-height:1.4;font-weight:700;margin:2rem 0 .75rem}.lab-article.lab-numbered h3{counter-increment:lab-subsection}.lab-article.lab-numbered h3:before{content:counter(lab-section) "." counter(lab-subsection) ". ";font-weight:700;margin-right:.25em}.lab-article h4{font-size:1rem;font-weight:700;margin:1.5rem 0 .5rem;text-transform:none}.lab-article h2,.lab-article h3{position:relative}.lab-article h2>a.lab-heading-anchor,.lab-article h3>a.lab-heading-anchor{position:absolute;left:-1.25em;top:0;opacity:0;text-decoration:none;color:currentColor;font-weight:400}@media (prefers-reduced-motion:no-preference){.lab-article h2>a.lab-heading-anchor,.lab-article h3>a.lab-heading-anchor{transition:opacity 80ms ease-out}}.lab-article h2:hover>a.lab-heading-anchor,.lab-article h3:hover>a.lab-heading-anchor{opacity:.45}.lab-badge{display:inline-block;font-family:Latin Modern Mono,ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.75em;font-weight:600;letter-spacing:.06em;text-transform:uppercase;padding:0 .4em;border:1px solid;border-radius:0;vertical-align:2px;line-height:1.5}.lab-ref{font-variant-caps:small-caps;letter-spacing:.04em}.lab-sidenote-marker{font-size:.75em;vertical-align:super;line-height:0;font-weight:600}.lab-sidenote-marker:after{content:counter(lab-sidenote)}.lab-sidenote{counter-increment:lab-sidenote}.lab-article>.lab-sidenote-marker{display:none}.lab-sidenote{display:block;font-family:Latin Modern,Georgia,serif;font-size:.875rem;font-style:italic;line-height:1.5;margin:.5rem 0 1rem;padding:.5rem .75rem;border-left:1px solid;opacity:.78;text-decoration:none}.lab-sidenote-number{font-weight:600;font-style:normal;margin-right:.4em}.lab-sidenote-number:after{content:counter(lab-sidenote) "."}.lab-sidenote a{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2px}@media (min-width:1024px){.lab-sidenote{float:right;clear:right;width:14rem;margin:.35rem -15.5rem .75rem 1.5rem;padding:0 0 0 .75rem;border-left:1px solid;font-size:.875rem;position:relative;z-index:1}.lab-article>.lab-diagram,.lab-article>.lab-figure,.lab-article>.lab-table-wrap,.lab-article>.lab-theorem,.lab-article>h2,.lab-article>h3{clear:right}}.lab-article td:has(.lab-sidenote-marker),.lab-article td:has(>.lab-sidenote),.lab-article th:has(.lab-sidenote-marker),.lab-article th:has(>.lab-sidenote){outline:2px dashed #d97706;outline-offset:-2px}.lab-theorem{display:block;font-style:italic;margin:1.5rem 0;padding:1rem 1.25rem;border-top:1px solid;border-bottom:1px solid}.lab-theorem-title{font-style:normal;font-weight:700;margin-right:.5em;font-variant-caps:small-caps;letter-spacing:.04em}.lab-theorem-body{font-style:italic}.lab-proof{display:block;margin:1rem 0;padding-left:.75rem;border-left:1px dotted}.lab-proof-label{font-style:italic;margin-right:.4em}.lab-proof-end{margin-left:.4em;font-size:1em}.lab-figure{margin:2rem 0;padding:1rem 0;border-top:1px solid;border-bottom:1px solid;text-align:center;counter-increment:lab-figure}.lab-figure>:not(figcaption){display:block;margin:0 auto;max-width:100%}.lab-figure-caption{margin-top:.75rem;padding:0 1rem;font-family:Latin Modern,Georgia,serif;font-style:italic;font-size:.9375rem;line-height:1.5;text-align:center;opacity:.92}.lab-figure-caption:before{content:"Figure " counter(lab-figure) ". ";font-style:normal;font-weight:700;font-variant-caps:small-caps;letter-spacing:.05em;margin-right:.15em}.lab-figure-source{display:block;margin-top:.4rem;font-style:normal;font-size:.8125rem;opacity:.65;font-variant-caps:small-caps;letter-spacing:.04em}.lab-figure>figcaption:before{content:none}.lab-table-wrap{margin:2rem 0;counter-increment:lab-table;overflow-x:auto}.lab-table-caption{display:block;margin-bottom:.5rem;padding:0 .25rem;font-family:Latin Modern,Georgia,serif;font-style:italic;font-size:.9375rem;line-height:1.5;text-align:left;opacity:.92}.lab-table-caption:before{content:"Table " counter(lab-table) ". ";font-style:normal;font-weight:700;font-variant-caps:small-caps;letter-spacing:.05em;margin-right:.15em}.lab-table-wrap>table{width:100%;border-collapse:collapse;border-spacing:0;font-size:.9375rem;font-family:Latin Modern Mono,ui-monospace,SFMono-Regular,Menlo,monospace;border-top:2px solid;border-bottom:2px solid}.lab-table-wrap>table thead>tr>th{font-family:Latin Modern,Georgia,serif;font-weight:700;font-variant-caps:small-caps;letter-spacing:.04em;text-align:left;padding:.6rem .85rem;border-bottom:1px solid;white-space:nowrap}.lab-table-wrap>table tbody>tr>td,.lab-table-wrap>table tbody>tr>th{padding:.55rem .85rem;line-height:1.4;vertical-align:top}.lab-table-wrap>table tbody>tr:first-child>td,.lab-table-wrap>table tbody>tr:first-child>th{padding-top:.7rem}.lab-table-numeric-1>table tr>:first-child,.lab-table-numeric-2>table tr>:nth-child(2),.lab-table-numeric-3>table tr>:nth-child(3),.lab-table-numeric-4>table tr>:nth-child(4),.lab-table-numeric-5>table tr>:nth-child(5),.lab-table-numeric-6>table tr>:nth-child(6){text-align:right;font-variant-numeric:tabular-nums}.lab-article table:not([class]),.lab-article>table{display:block;width:100%;max-width:100%;overflow-x:auto;-webkit-overflow-scrolling:touch;border-collapse:collapse;border-spacing:0;margin:2rem 0;font-size:.9375rem;font-family:Latin Modern Mono,ui-monospace,SFMono-Regular,Menlo,monospace;border-top:2px solid;border-bottom:2px solid}.lab-article table:not([class]) thead>tr>th,.lab-article>table thead>tr>th{font-family:Latin Modern,Georgia,serif;font-weight:700;font-variant-caps:small-caps;letter-spacing:.04em;text-align:left;padding:.6rem .85rem;border-bottom:1px solid;background:transparent;white-space:nowrap}.lab-article table:not([class]) tbody>tr>td,.lab-article>table tbody>tr>td{padding:.55rem .85rem;line-height:1.4;vertical-align:top;white-space:normal;min-width:0;overflow-wrap:anywhere}@media (max-width:1023px){.lab-article table:not([class]),.lab-article>table{font-size:.84375rem}.lab-article table:not([class]) tbody>tr>td,.lab-article table:not([class]) tbody>tr>th,.lab-article table:not([class]) thead>tr>th,.lab-article>table tbody>tr>td,.lab-article>table tbody>tr>th,.lab-article>table thead>tr>th{padding:.45rem .6rem;min-width:9rem;max-width:16rem}}.lab-diagram{margin:2rem 0;padding:1rem 0;border-top:1px solid;border-bottom:1px solid;counter-increment:lab-diagram;text-align:center}.lab-diagram>:not(figcaption){display:block;margin:0 auto;max-width:100%}.lab-diagram-caption{margin-top:.75rem;padding:0 1rem;font-family:Latin Modern,Georgia,serif;font-style:italic;font-size:.9375rem;line-height:1.5;text-align:center;opacity:.92}.lab-diagram-caption:before{content:"Diagram " counter(lab-diagram) ". ";font-style:normal;font-weight:700;font-variant-caps:small-caps;letter-spacing:.05em;margin-right:.15em}.lab-article a{color:inherit;text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2px}@media (prefers-reduced-motion:no-preference){.lab-article a{transition:opacity .12s ease-out,text-decoration-color .12s ease-out}}.lab-article a:hover{opacity:.7}.lab-landing{max-width:52rem;margin:0 auto;padding:4rem 1.5rem 6rem;font-size:18px;line-height:1.7}.lab-landing-header{margin:0 0 3rem;padding-bottom:2rem;border-bottom:1px solid;text-align:center}.lab-landing-eyebrow{margin:0 0 .75rem;font-family:Latin Modern Mono,ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.8125rem;letter-spacing:.18em;text-transform:uppercase;opacity:.65}.lab-landing-title{margin:0 0 1rem;font-size:2.5rem;line-height:1.1;font-weight:700;letter-spacing:-.005em}.lab-landing-lede,.lab-landing-title{font-family:Latin Modern,Georgia,serif}.lab-landing-lede{margin:0 auto;max-width:38rem;font-size:1rem;font-style:italic;line-height:1.6;opacity:.78}.lab-landing-list{list-style:none;padding:0;margin:0}.lab-landing-item{display:grid;grid-template-columns:1fr;gap:.75rem;margin:0;padding:2.25rem 0;border-bottom:1px solid}.lab-landing-item:last-child{border-bottom:none}@media (min-width:768px){.lab-landing-item{grid-template-columns:6rem 1fr;gap:1.5rem}}.lab-landing-item-meta{display:flex;flex-direction:row;gap:.75rem;align-items:baseline;font-family:Latin Modern Mono,ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.75rem;letter-spacing:.08em;opacity:.55}@media (min-width:768px){.lab-landing-item-meta{flex-direction:column;gap:.5rem;padding-top:.5rem}}.lab-landing-number{font-weight:600;font-variant-numeric:tabular-nums}.lab-landing-kind{font-weight:600}.lab-landing-item-body{min-width:0}.lab-landing-item-title{margin:0 0 .75rem;font-family:Latin Modern,Georgia,serif;font-size:1.5rem;line-height:1.25;font-weight:700;letter-spacing:-.005em}.lab-landing-item-title a{color:inherit;text-decoration:none}@media (prefers-reduced-motion:no-preference){.lab-landing-item-title a{transition:opacity .12s ease-out}}.lab-landing-item-title a:hover{opacity:.65}.lab-landing-item-abstract{margin:0 0 .75rem;font-family:Latin Modern,Georgia,serif;font-size:1rem;line-height:1.6;opacity:.85}.lab-landing-item-byline{margin:0 0 1rem;font-family:Latin Modern Mono,ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.8125rem;letter-spacing:.02em;opacity:.6}.lab-landing-item-sep{margin:0 .25em}.lab-landing-item-cta{display:inline-block;margin:0;padding:.4rem 0;font-family:Latin Modern,Georgia,serif;font-size:.9375rem;font-weight:600;color:inherit;text-decoration:none;border-bottom:1px solid}@media (prefers-reduced-motion:no-preference){.lab-landing-item-cta{transition:opacity .12s ease-out,padding-right .16s ease-out}.lab-landing-item-cta:hover{opacity:.75;padding-right:.35rem}}.lab-landing-item-cta span{display:inline-block;margin-left:.35em}.lab-landing-footer{margin:3rem 0 0;padding-top:2rem;border-top:1px solid;font-family:Latin Modern,Georgia,serif;font-size:.9375rem;font-style:italic;text-align:center;opacity:.65}.lab-landing-footer a{color:inherit;text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2px}.lab-auth-bullets{font-size:13px}@media (min-width:768px){.lab-auth-bullets{font-size:12px}}.lab-auth-main{align-items:flex-start;padding:max(8vh,48px,env(safe-area-inset-top)) max(24px,env(safe-area-inset-right)) max(24px,env(safe-area-inset-bottom)) max(24px,env(safe-area-inset-left))}@media (min-width:1024px){.lab-auth-main{align-items:center;padding-top:24px;padding-bottom:24px}}.lab-auth-main h1{font-size:28px!important;font-weight:700!important;letter-spacing:-.005em;line-height:1.2!important}.lab-auth-main h1,.lab-auth-main header>p{font-family:Latin Modern,Georgia,serif!important}.lab-auth-main header>p{font-size:15px!important;font-style:italic}.lab-auth-main button[type=submit]{background-color:#111!important;color:#fafafa!important;border:1px solid #111!important;border-radius:0!important;font-family:Latin Modern,Georgia,serif!important;font-weight:600!important;letter-spacing:.01em;transform:none!important;transition:background-color .16s ease-out,color .16s ease-out!important}.lab-auth-main button[type=submit]:hover{background-color:#fafafa!important;color:#111!important}.lab-auth-main input[type=email]{background-color:#ffffff!important;color:#111!important;border:1px solid #d0d0d0!important;border-radius:0!important;font-family:Latin Modern,Georgia,serif!important;font-size:16px!important}.lab-auth-main input[type=email]::placeholder{color:#666!important;opacity:1}@media (max-width:1023px){.latex-css-scope main:not(.lab-auth-main){padding-top:max(1.5rem,env(safe-area-inset-top));padding-bottom:max(1.5rem,env(safe-area-inset-bottom))}}@media (prefers-reduced-motion:no-preference){.lab-page-enter{animation:lab-page-enter-anim .32s cubic-bezier(.22,1,.36,1) both}.lab-diagram,.lab-figure,.lab-table-wrap{animation:lab-figure-enter-anim .6s cubic-bezier(.22,1,.36,1) both;animation-delay:80ms}}@keyframes lab-page-enter-anim{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}@keyframes lab-figure-enter-anim{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}.xor-accent{color:#1A3E99;font-weight:700}.dark .xor-accent,[data-theme=dark] .xor-accent{color:#8FB0FF}.lab-comments{margin-top:3rem;padding-top:2rem;border-top:1px solid #d4d4d4}.lab-comments-header{font-family:inherit;font-size:1.1rem;font-weight:600;letter-spacing:.01em;margin:0 0 1.25rem;counter-reset:none}.lab-article.lab-numbered .lab-comments-header:before{content:none}.lab-article.lab-numbered .lab-comments-header{counter-increment:none}.lab-comments-empty{font-style:italic;color:#555;margin:0}.lab-comments-header+.lab-comments-empty:first-letter{font-family:inherit;font-size:inherit;font-weight:inherit;float:none;margin:0;line-height:inherit;color:inherit}.lab-comments-list{list-style:none;margin:0;padding:0}.lab-comments-item{padding:1rem 0;border-top:1px solid #e5e5e5}.lab-comments-item:first-child{border-top:none;padding-top:0}.lab-comments-item-removed{color:#888;font-style:italic}.lab-comments-meta{font-size:.85rem;color:#555;margin-bottom:.4rem;display:flex;flex-wrap:wrap;gap:.4rem;align-items:baseline}.lab-comments-author{font-weight:500;color:#222}.lab-comments-item-removed .lab-comments-author{color:#888}.lab-comments-sep{color:#999}.lab-comments-time{color:#666}.lab-comments-anchor{color:#666;font-style:italic}.lab-comments-body{font-family:inherit;font-size:.95rem;line-height:1.55;white-space:pre-wrap;word-wrap:break-word;margin:0}.lab-comments-anchor-slot{position:relative;margin:-.2rem 0 .4rem;grid-column:1;min-width:0}.lab-comments-anchor-button{position:absolute;top:-1.6em;right:-2.5em;width:1.6em;height:1.6em;padding:0;border:1px solid;background:#fafafa;color:#111;font-family:Latin Modern Mono,ui-monospace,monospace;font-size:.9rem;line-height:1;cursor:pointer;opacity:0;transition:opacity .12s ease-out,background-color .12s ease-out;border-radius:0;display:inline-flex;align-items:center;justify-content:center}.lab-article h2:hover+.lab-comments-anchor-slot .lab-comments-anchor-button,.lab-article h3:hover+.lab-comments-anchor-slot .lab-comments-anchor-button,.lab-article p:hover+.lab-comments-anchor-slot .lab-comments-anchor-button,.lab-comments-anchor-slot:focus-within .lab-comments-anchor-button,.lab-comments-anchor-slot:hover .lab-comments-anchor-button{opacity:1}.lab-comments-anchor-button:hover{background:#111;color:#fafafa}@media (max-width:1023px){.lab-comments-anchor-button{position:static;margin:.25rem 0 .75rem;opacity:.6}}.lab-comments-composer{display:block;margin:.6rem 0 1.2rem;padding:.75rem .9rem;border:1px solid #111;background:#fafafa;font-family:Latin Modern,Georgia,serif}.lab-comments-composer-label{display:block;margin:0}.lab-comments-composer-label .sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.lab-comments-composer-textarea{width:100%;min-height:3.4rem;margin:0;padding:.4rem .5rem;border:1px solid #d4d4d4;background:#ffffff;color:#111;font-family:Latin Modern,Georgia,serif;font-size:.95rem;line-height:1.6;resize:vertical;border-radius:0;box-shadow:none;transition:border-color .12s ease-out}.lab-comments-composer-textarea:focus{outline:none;border-color:#111;border-width:1px}.lab-comments-composer-meta{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.5rem;margin-top:.5rem}.lab-comments-composer-counter{font-family:Latin Modern Mono,ui-monospace,monospace;font-size:.75rem;color:#666}.lab-comments-composer-counter-over{color:#b91c1c;font-weight:600}.lab-comments-composer-actions{display:inline-flex;gap:.4rem}.lab-comments-composer-cancel,.lab-comments-composer-submit{padding:.25rem .7rem;font-family:Latin Modern Mono,ui-monospace,monospace;font-size:.75rem;letter-spacing:.06em;text-transform:uppercase;border-radius:0;cursor:pointer;transition:background-color .12s ease-out,color .12s ease-out}.lab-comments-composer-cancel{background:transparent;color:#555;border:1px solid transparent}.lab-comments-composer-cancel:hover{color:#111;border-color:#d4d4d4}.lab-comments-composer-submit{background:#111;color:#fafafa;border:1px solid #111}.lab-comments-composer-submit:hover:not(:disabled){background:#fafafa;color:#111}.lab-comments-composer-cancel:disabled,.lab-comments-composer-submit:disabled{opacity:.4;cursor:not-allowed}.lab-comments-composer-error{margin-top:.5rem;padding:.35rem .5rem;border:1px solid #b91c1c;background:#fef2f2;color:#7f1d1d;font-family:Latin Modern,Georgia,serif;font-size:.85rem;font-style:italic}@media (prefers-color-scheme:dark){.lab-comments{border-top-color:#333}.lab-comments-item{border-top-color:#2a2a2a}.lab-comments-anchor,.lab-comments-empty,.lab-comments-sep,.lab-comments-time{color:#aaa}.lab-comments-author{color:#ddd}.lab-comments-item-removed,.lab-comments-item-removed .lab-comments-author{color:#777}}