@layer properties{@supports ((-webkit-hyphens:none) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,::backdrop,:after,:before{--tw-space-y-reverse:0;--tw-divide-y-reverse:0;--tw-border-style:solid;--tw-font-weight:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000}}}@layer theme{:host,:root{--font-sans:ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";--font-mono:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace;--color-amber-200:oklch(92.4% .12 95.746);--color-amber-950:oklch(27.9% .077 45.635);--color-gray-100:oklch(96.7% .003 264.542);--color-gray-300:oklch(87.2% .01 258.338);--color-gray-700:oklch(37.3% .034 259.733);--color-gray-800:oklch(27.8% .033 256.848);--color-gray-900:oklch(21% .034 264.665);--color-white:#fff;--spacing:.25rem;--container-3xl:48rem;--text-xs:.75rem;--text-xs--line-height:1.33333;--text-sm:.875rem;--text-sm--line-height:1.42857;--text-base:1rem;--text-xl:1.25rem;--text-xl--line-height:1.4;--text-2xl:1.5rem;--text-2xl--line-height:1.33333;--text-3xl:1.875rem;--text-3xl--line-height:1.2;--font-weight-medium:500;--font-weight-semibold:600;--radius-lg:.5rem;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4,0,.2,1);--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,::backdrop,:after,:before{border:0 solid;box-sizing:border-box;margin:0;padding:0}::file-selector-button{border:0 solid;box-sizing:border-box;margin:0;padding:0}:host,html{-webkit-text-size-adjust:100%;font-family:var(--default-font-family,ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);line-height:1.5;-moz-tab-size:4;-o-tab-size:4;tab-size:4;-webkit-tap-highlight-color:transparent}hr{border-top-width:1px;color:inherit;height:0}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,pre,samp{font-family:var(--default-mono-font-family,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-size:1em;font-variation-settings:var(--default-mono-font-variation-settings,normal)}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{border-collapse:collapse;border-color:inherit;text-indent:0}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}menu,ol,ul{list-style:none}audio,canvas,embed,iframe,img,object,svg,video{display:block;vertical-align:middle}img,video{height:auto;max-width:100%}button,input,optgroup,select,textarea{background-color:#0000;border-radius:0;color:inherit;font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;opacity:1}::file-selector-button{background-color:#0000;border-radius:0;color:inherit;font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;opacity:1}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::-moz-placeholder{opacity:1}::placeholder{opacity:1}@supports (not (-webkit-appearance:-apple-pay-button)) or (contain-intrinsic-size:1px){::-moz-placeholder{color:currentColor}::placeholder{color:currentColor}@supports (color:color-mix(in lab,red,red)){::-moz-placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit,::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-day-field,::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-hour-field,::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-millisecond-field,::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){-webkit-appearance:button;-moz-appearance:button;appearance:button}::file-selector-button{-webkit-appearance:button;-moz-appearance:button;appearance:button}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.sr-only{border-width:0;clip-path:inset(50%);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;white-space:nowrap;width:1px}.relative{position:relative}.static{position:static}.container{width:100%}@media(min-width:40rem){.container{max-width:40rem}}@media(min-width:48rem){.container{max-width:48rem}}@media(min-width:64rem){.container{max-width:64rem}}@media(min-width:80rem){.container{max-width:80rem}}@media(min-width:96rem){.container{max-width:96rem}}.mx-auto{margin-inline:auto}.mt-2{margin-top:calc(var(--spacing)*2)}.mt-4{margin-top:calc(var(--spacing)*4)}.mt-6{margin-top:calc(var(--spacing)*6)}.ml-2{margin-left:calc(var(--spacing)*2)}.ml-4{margin-left:calc(var(--spacing)*4)}.ml-auto{margin-left:auto}.block{display:block}.flex{display:flex}.h-6{height:calc(var(--spacing)*6)}.min-h-dvh{min-height:100dvh}.w-6{width:calc(var(--spacing)*6)}.max-w-3xl{max-width:var(--container-3xl)}.cursor-pointer{cursor:pointer}.flex-wrap{flex-wrap:wrap}.items-baseline{align-items:baseline}.items-center{align-items:center}.justify-between{justify-content:space-between}.justify-center{justify-content:center}.gap-4{gap:calc(var(--spacing)*4)}.gap-6{gap:calc(var(--spacing)*6)}:where(.space-y-2>:not(:last-child)){--tw-space-y-reverse:0;margin-block-end:calc(var(--spacing)*2*(1 - var(--tw-space-y-reverse)));margin-block-start:calc(var(--spacing)*2*var(--tw-space-y-reverse))}.gap-x-2{-moz-column-gap:calc(var(--spacing)*2);column-gap:calc(var(--spacing)*2)}.gap-x-3{-moz-column-gap:calc(var(--spacing)*3);column-gap:calc(var(--spacing)*3)}.gap-x-4{-moz-column-gap:calc(var(--spacing)*4);column-gap:calc(var(--spacing)*4)}.gap-x-6{-moz-column-gap:calc(var(--spacing)*6);column-gap:calc(var(--spacing)*6)}.gap-y-1{row-gap:calc(var(--spacing)*1)}.gap-y-2{row-gap:calc(var(--spacing)*2)}:where(.divide-y>:not(:last-child)){--tw-divide-y-reverse:0;border-bottom-style:var(--tw-border-style);border-bottom-width:calc(1px*(1 - var(--tw-divide-y-reverse)));border-top-style:var(--tw-border-style);border-top-width:calc(1px*var(--tw-divide-y-reverse))}.rounded{border-radius:.25rem}.rounded-lg{border-radius:var(--radius-lg)}.bg-amber-200{background-color:var(--color-amber-200)}.bg-white{background-color:var(--color-white)}.p-2{padding:calc(var(--spacing)*2)}.px-1\.5{padding-inline:calc(var(--spacing)*1.5)}.px-6{padding-inline:calc(var(--spacing)*6)}.py-0\.5{padding-block:calc(var(--spacing)*.5)}.py-1{padding-block:calc(var(--spacing)*1)}.py-8{padding-block:calc(var(--spacing)*8)}.py-12{padding-block:calc(var(--spacing)*12)}.pb-6{padding-bottom:calc(var(--spacing)*6)}.text-center{text-align:center}.text-right{text-align:right}.text-2xl{font-size:var(--text-2xl);line-height:var(--tw-leading,var(--text-2xl--line-height))}.text-3xl{font-size:var(--text-3xl);line-height:var(--tw-leading,var(--text-3xl--line-height))}.text-sm{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.text-xl{font-size:var(--text-xl);line-height:var(--tw-leading,var(--text-xl--line-height))}.text-xs{font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}.font-medium{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.font-semibold{--tw-font-weight:var(--font-weight-semibold);font-weight:var(--font-weight-semibold)}.text-amber-950{color:var(--color-amber-950)}.text-gray-700{color:var(--color-gray-700)}.no-underline{text-decoration-line:none}.shadow{--tw-shadow:0 1px 3px 0 var(--tw-shadow-color,#0000001a),0 1px 2px -1px var(--tw-shadow-color,#0000001a)}.shadow,.shadow-lg{box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-lg{--tw-shadow:0 10px 15px -3px var(--tw-shadow-color,#0000001a),0 4px 6px -4px var(--tw-shadow-color,#0000001a)}.transition-colors{transition-duration:var(--tw-duration,var(--default-transition-duration));transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function))}@media(hover:hover){.hover\:bg-gray-100:hover{background-color:var(--color-gray-100)}}.dark\:bg-gray-900:where(.dark,.dark *){background-color:var(--color-gray-900)}.dark\:text-gray-300:where(.dark,.dark *){color:var(--color-gray-300)}@media(hover:hover){.dark\:hover\:bg-gray-800:where(.dark,.dark *):hover{background-color:var(--color-gray-800)}}}:root{--bg:#fffffc;--fg:#1a1a1a;--fg-muted:#5c5c57;--link:#35408c;--link-hover:#1d2559;--rule:#d9d7cf;--rule-strong:#8a887f;--env-bg:transparent;--env-rule:#c9c7bd;--mark:#fdf2c0;--code-bg:#f6f5f0;--font-body:"New Computer Modern","Latin Modern Roman",Georgia,"Times New Roman",serif;--font-mono:"New Computer Modern Mono",ui-monospace,"SF Mono",Menlo,Consolas,monospace;--measure:34rem;--text-base:1.0625rem;--leading:1.6;--space:1.1rem}.dark{--bg:#16150f;--fg:#e4d7bd;--fg-muted:#a1957d;--link:#b9c4f0;--link-hover:#dbe2ff;--rule:#3a352a;--rule-strong:#6b6252;--env-bg:transparent;--env-rule:#47412f;--mark:#4a3f18;--code-bg:#1e1c14}@font-face{font-display:swap;font-family:New Computer Modern;font-style:normal;font-weight:400;src:url(../fonts/NewCM10-Regular.woff2)format("woff2")}@font-face{font-display:swap;font-family:New Computer Modern;font-style:italic;font-weight:400;src:url(../fonts/NewCM10-Italic.woff2)format("woff2")}@font-face{font-display:swap;font-family:New Computer Modern;font-style:normal;font-weight:700;src:url(../fonts/NewCM10-Bold.woff2)format("woff2")}@font-face{font-display:swap;font-family:New Computer Modern;font-style:italic;font-weight:700;src:url(../fonts/NewCM10-BoldItalic.woff2)format("woff2")}@font-face{font-display:swap;font-family:New Computer Modern Mono;font-style:normal;font-weight:400;src:url(../fonts/NewCMMono10-Regular.woff2)format("woff2")}.prose{color:var(--fg);font-family:var(--font-body);font-size:var(--text-base);font-variant-numeric:oldstyle-nums;line-height:var(--leading);max-width:var(--measure)}.prose>*+*{margin-top:var(--space)}.prose h2,.prose h3,.prose h4,.prose h5,.prose h6{font-weight:700;line-height:1.25;margin-top:calc(var(--space)*2)}.prose h2{font-size:1.4em}.prose h3{font-size:1.2em}.prose h4{font-size:1.05em}.heading-anchor{color:var(--fg-muted);margin-left:.4em;opacity:0;text-decoration:none;transition:opacity .12s}.heading-anchor:focus-visible,:is(h2,h3,h4,h5,h6):hover>.heading-anchor{opacity:1}.prose a{color:var(--link);text-decoration-thickness:.05em;text-underline-offset:.15em}.prose a:hover{color:var(--link-hover)}.external-link:after{content:"↗";font-size:.8em;margin-left:.1em;vertical-align:.15em}.broken-link,.broken-ref{background:var(--mark);-webkit-text-decoration:underline wavy;text-decoration:underline wavy}.prose blockquote{border-left:2px solid var(--rule);color:var(--fg-muted);font-style:italic;padding-left:1em}.prose hr{border:0;border-top:1px solid var(--rule);margin:calc(var(--space)*2) 0}.prose :not(pre)>code{background:var(--code-bg);border-radius:2px;font-family:var(--font-mono);font-size:.9em;padding:.1em .3em}.prose ol,.prose ul{padding-left:1.4em}.prose ul{list-style:outside}.prose ol{list-style:decimal}.prose li+li{margin-top:.3em}.prose li.task-item{list-style:none;margin-left:-1.4em}.prose table{border-collapse:collapse;font-variant-numeric:lining-nums tabular-nums;width:100%}.prose thead{border-bottom:.75px solid var(--rule-strong);border-top:1.5px solid var(--rule-strong)}.prose tbody{border-bottom:1.5px solid var(--rule-strong)}.prose td,.prose th{padding:.4em .6em;text-align:left}.env{background:var(--env-bg);border-left:2px solid var(--env-rule);margin-top:calc(var(--space)*1.5);padding-left:.9em}.env-head{display:inline;font-weight:700}.env-head:after{content:"."}.env-body,.env-body>p:first-child{display:inline}.env-body>*+*{margin-top:var(--space)}.env-name,.env-number{font-weight:700}.env-title{font-weight:400}.env-conjecture .env-body,.env-corollary .env-body,.env-lemma .env-body,.env-proposition .env-body,.env-theorem .env-body,.env-title{font-style:italic}.env-proof .env-head{font-style:italic;font-weight:400}.env-qed{border:1px solid;float:right;height:.6em;margin-top:.35em;width:.6em}.env-ref{white-space:nowrap}.figure{margin-top:calc(var(--space)*1.5);text-align:center}.figure img,.prose img{height:auto;max-width:100%}.dark .figure img,.dark .prose img{filter:brightness(.88)}.figure-caption{color:var(--fg-muted);font-size:.9em;margin-top:.5em}.code-block{margin-top:calc(var(--space)*1.5)}.code-caption{color:var(--fg-muted);font-family:var(--font-mono);font-size:.8em;margin-bottom:.3em}.code-block pre{border:1px solid var(--rule);font-size:.85em;line-height:1.5;overflow-x:auto;padding:.8em 1em}.shiki,.shiki span{background-color:var(--shiki-light-bg);color:var(--shiki-light)}.dark .shiki,.dark .shiki span{background-color:var(--shiki-dark-bg);color:var(--shiki-dark)}.math-block{margin-top:calc(var(--space)*1.2);overflow:auto hidden}mjx-container{color:inherit}mjx-container[display=true]{margin:0!important}.footnote-ref a{padding:0 .1em;text-decoration:none}.footnotes{border-top:1px solid var(--rule);color:var(--fg-muted);font-size:.92em;margin-top:calc(var(--space)*3);padding-top:var(--space)}.footnotes h2{font-size:1em;margin-top:0}.footnotes ol{list-style:decimal;padding-left:1.4em}.footnote-backref{text-decoration:none}.footnote-popover{background:var(--bg);border:1px solid var(--rule-strong);box-shadow:0 2px 10px #0000001f;color:var(--fg);font-size:.9em;line-height:1.45;max-width:min(28rem,90vw);padding:.6em .8em;position:absolute;transform:translateY(.4em);z-index:20}.footnote-popover p{margin:0}@media(hover:none){.footnote-popover{display:none}}body{background:var(--bg);color:var(--fg);font-family:var(--font-body);font-size:var(--text-base);line-height:var(--leading);-webkit-font-smoothing:antialiased}a{color:var(--link);text-decoration:underline;text-underline-offset:.15em}a:hover{color:var(--link-hover)}:focus-visible{outline:2px solid var(--link);outline-offset:2px}.divide-y>*+*{border-top:1px solid var(--rule)}@property --tw-space-y-reverse{syntax:"*";inherits:false;initial-value:0}@property --tw-divide-y-reverse{syntax:"*";inherits:false;initial-value:0}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}