/*! tailwindcss v4.3.0 | MIT License | https://tailwindcss.com */@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-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-space-y-reverse:0;--tw-border-style:solid;--tw-leading:initial;--tw-font-weight:initial;--tw-tracking: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;--tw-blur:initial;--tw-brightness:initial;--tw-contrast:initial;--tw-grayscale:initial;--tw-hue-rotate:initial;--tw-invert:initial;--tw-opacity:initial;--tw-saturate:initial;--tw-sepia:initial;--tw-drop-shadow:initial;--tw-drop-shadow-color:initial;--tw-drop-shadow-alpha:100%;--tw-drop-shadow-size:initial;--tw-ease:initial}}}@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-serif:ui-serif,Georgia,Cambria,"Times New Roman",Times,serif;--font-mono:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace;--spacing:.25rem;--container-xl:36rem;--font-weight-normal:400;--font-weight-medium:500;--font-weight-semibold:600;--tracking-wider:.05em;--leading-snug:1.375;--leading-relaxed:1.625;--radius-md:.375rem;--radius-lg:.5rem;--ease-out:cubic-bezier(0,0,.2,1);--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{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}:host,html{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;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);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}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-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-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{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,optgroup,select,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}: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}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab,red,red)){::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]){appearance:button}::file-selector-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{.pointer-events-auto{pointer-events:auto}.pointer-events-none{pointer-events:none}.collapse{visibility:collapse}.visible{visibility:visible}.absolute{position:absolute}.fixed{position:fixed}.relative{position:relative}.static{position:static}.sticky{position:sticky}.inset-x-0{inset-inline:calc(var(--spacing) * 0)}.right-4{right:calc(var(--spacing) * 4)}.bottom-0{bottom:calc(var(--spacing) * 0)}.bottom-4{bottom:calc(var(--spacing) * 4)}.z-40{z-index:40}.z-50{z-index:50}.mx-auto{margin-inline:auto}.my-10{margin-block:calc(var(--spacing) * 10)}.mt-1{margin-top:calc(var(--spacing) * 1)}.mt-2{margin-top:calc(var(--spacing) * 2)}.mt-3{margin-top:calc(var(--spacing) * 3)}.mt-4{margin-top:calc(var(--spacing) * 4)}.mt-6{margin-top:calc(var(--spacing) * 6)}.mt-7{margin-top:calc(var(--spacing) * 7)}.mt-8{margin-top:calc(var(--spacing) * 8)}.mt-10{margin-top:calc(var(--spacing) * 10)}.mt-12{margin-top:calc(var(--spacing) * 12)}.mt-20{margin-top:calc(var(--spacing) * 20)}.mt-24{margin-top:calc(var(--spacing) * 24)}.mr-2{margin-right:calc(var(--spacing) * 2)}.mr-2\.5{margin-right:calc(var(--spacing) * 2.5)}.mr-3{margin-right:calc(var(--spacing) * 3)}.mb-2{margin-bottom:calc(var(--spacing) * 2)}.mb-3{margin-bottom:calc(var(--spacing) * 3)}.mb-4{margin-bottom:calc(var(--spacing) * 4)}.mb-6{margin-bottom:calc(var(--spacing) * 6)}.mb-8{margin-bottom:calc(var(--spacing) * 8)}.ml-3{margin-left:calc(var(--spacing) * 3)}.flex{display:flex}.hidden{display:none}.inline{display:inline}.inline-block{display:inline-block}.table{display:table}.h-px{height:1px}.w-full{width:100%}.max-w-xl{max-width:var(--container-xl)}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.cursor-pointer{cursor:pointer}.resize{resize:both}.list-disc{list-style-type:disc}.list-none{list-style-type:none}.flex-wrap{flex-wrap:wrap}.justify-center{justify-content:center}.gap-3{gap:calc(var(--spacing) * 3)}:where(.space-y-2>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 2) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 2) * calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-3>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 3) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 3) * calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-5>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 5) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 5) * calc(1 - var(--tw-space-y-reverse)))}.overflow-x-auto{overflow-x:auto}.rounded-full{border-radius:3.40282e+38px}.rounded-lg{border-radius:var(--radius-lg)}.rounded-md{border-radius:var(--radius-md)}.border{border-style:var(--tw-border-style);border-width:1px}.border-l-4{border-left-style:var(--tw-border-style);border-left-width:4px}.px-3\.5{padding-inline:calc(var(--spacing) * 3.5)}.px-4{padding-inline:calc(var(--spacing) * 4)}.px-5{padding-inline:calc(var(--spacing) * 5)}.px-6{padding-inline:calc(var(--spacing) * 6)}.py-2{padding-block:calc(var(--spacing) * 2)}.py-4{padding-block:calc(var(--spacing) * 4)}.py-5{padding-block:calc(var(--spacing) * 5)}.pt-8{padding-top:calc(var(--spacing) * 8)}.pt-20{padding-top:calc(var(--spacing) * 20)}.pb-4{padding-bottom:calc(var(--spacing) * 4)}.pb-5{padding-bottom:calc(var(--spacing) * 5)}.pb-28{padding-bottom:calc(var(--spacing) * 28)}.pl-0{padding-left:calc(var(--spacing) * 0)}.pl-5{padding-left:calc(var(--spacing) * 5)}.pl-6{padding-left:calc(var(--spacing) * 6)}.font-mono{font-family:var(--font-mono)}.text-\[0\.7rem\]{font-size:.7rem}.text-\[0\.8rem\]{font-size:.8rem}.text-\[0\.9rem\]{font-size:.9rem}.text-\[0\.78rem\]{font-size:.78rem}.text-\[0\.85rem\]{font-size:.85rem}.text-\[0\.88rem\]{font-size:.88rem}.text-\[0\.92rem\]{font-size:.92rem}.text-\[0\.95rem\]{font-size:.95rem}.text-\[0\.99rem\]{font-size:.99rem}.text-\[1\.02rem\]{font-size:1.02rem}.text-\[1\.13rem\]{font-size:1.13rem}.text-\[1\.15rem\]{font-size:1.15rem}.text-\[1\.45rem\]{font-size:1.45rem}.text-\[2\.4rem\]{font-size:2.4rem}.text-\[2rem\]{font-size:2rem}.leading-\[1\.5\]{--tw-leading:1.5;line-height:1.5}.leading-\[1\.08\]{--tw-leading:1.08;line-height:1.08}.leading-\[1\.15\]{--tw-leading:1.15;line-height:1.15}.leading-relaxed{--tw-leading:var(--leading-relaxed);line-height:var(--leading-relaxed)}.leading-snug{--tw-leading:var(--leading-snug);line-height:var(--leading-snug)}.font-medium{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.font-normal{--tw-font-weight:var(--font-weight-normal);font-weight:var(--font-weight-normal)}.font-semibold{--tw-font-weight:var(--font-weight-semibold);font-weight:var(--font-weight-semibold)}.tracking-wider{--tw-tracking:var(--tracking-wider);letter-spacing:var(--tracking-wider)}.uppercase{text-transform:uppercase}.italic{font-style:italic}.underline{text-decoration-line:underline}.shadow-2xl{--tw-shadow:0 25px 50px -12px var(--tw-shadow-color,#00000040)}.shadow-2xl,.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)}.blur{--tw-blur:blur(8px);filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.transition{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to,opacity,box-shadow,transform,translate,scale,rotate,filter,-webkit-backdrop-filter,backdrop-filter,display,content-visibility,overlay,pointer-events;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.ease-out{--tw-ease:var(--ease-out);transition-timing-function:var(--ease-out)}.first\:mt-0:first-child{margin-top:calc(var(--spacing) * 0)}@media (min-width:48rem){.md\:px-8{padding-inline:calc(var(--spacing) * 8)}.md\:pt-28{padding-top:calc(var(--spacing) * 28)}.md\:text-\[2\.6rem\]{font-size:2.6rem}.md\:text-\[3\.2rem\]{font-size:3.2rem}}@media (min-width:96rem){.\32 xl\:block{display:block}}}:root{--paper:#faf8f3;--paper-raised:#fff;--ink:#211d18;--ink-secondary:#5c554b;--ink-faint:#8a8275;--rule:#211d1824;--rule-faint:#211d1812;--accent:#8a3033;--accent-soft:#8a303312;--verified:#3d5a3d;--verified-soft:#3d5a3d14;--refuted:#7a4a22;--refuted-soft:#7a4a2212;--code-bg:#211d180b}@media (prefers-color-scheme:dark){:root{--paper:#16140f;--paper-raised:#1d1a14;--ink:#e6e1d6;--ink-secondary:#a89f8f;--ink-faint:#7c7466;--rule:#e6e1d629;--rule-faint:#e6e1d614;--accent:#d08a7a;--accent-soft:#d08a7a17;--verified:#8fb88f;--verified-soft:#8fb88f1a;--refuted:#c89a64;--refuted-soft:#c89a6417;--code-bg:#e6e1d60f}}html{background:var(--paper);color:var(--ink);font-kerning:normal;text-rendering:optimizelegibility;scroll-behavior:smooth}body{font-size:1.0625rem;line-height:1.65}::selection{background:var(--accent-soft)}.prose-col{max-width:44rem;margin-inline:auto}.wide-col{max-width:58rem;margin-inline:auto}p+p{margin-top:1em}a{color:inherit;text-decoration:underline;-webkit-text-decoration-color:var(--rule);text-decoration-color:var(--rule);text-underline-offset:.2em;transition:text-decoration-color .2s cubic-bezier(.16,1,.3,1)}a:hover{-webkit-text-decoration-color:var(--accent);text-decoration-color:var(--accent)}.sc-label{letter-spacing:.08em;font-feature-settings:"smcp";font-variant-caps:all-small-caps}sup.cite{font-size:.7em;line-height:0}sup.cite a{color:var(--accent);text-decoration:none}.katex{font-size:1.04em}.katex-display{margin:1.4em 0;padding-block:.15em;overflow:auto hidden}@media (prefers-color-scheme:dark){.katex{color:var(--ink)}}.mono,code,kbd{font-family:var(--font-mono),ui-monospace,monospace;font-variant-ligatures:none}code.inline{background:var(--code-bg);white-space:nowrap;border-radius:3px;padding:.1em .35em;font-size:.82em}table.paper-table{border-collapse:collapse;width:100%;font-size:.875rem;line-height:1.45}table.paper-table th{letter-spacing:.06em;text-align:left;color:var(--ink-secondary);border-bottom:1px solid var(--ink);vertical-align:bottom;padding:.45rem .9rem .45rem 0;font-variant-caps:all-small-caps;font-weight:600}table.paper-table td{border-bottom:1px solid var(--rule-faint);vertical-align:top;padding:.55rem .9rem .55rem 0}table.paper-table tr:last-child td{border-bottom:1px solid var(--rule)}table.paper-table .num{font-variant-numeric:tabular-nums}.lede{border-left:3px solid var(--accent);margin:0 0 1.6rem;padding:.15rem 0 .15rem 1.15rem}.lede p{color:var(--ink-secondary);font-size:1.02rem;font-style:italic;line-height:1.6}.lede p .katex,.lede p em{font-style:normal}.prize-box{border:1px solid var(--rule);border-top:3px solid var(--accent);background:var(--paper-raised);border-radius:2px;padding:1.5rem 1.75rem 1.35rem;box-shadow:0 1px 2px #211d180a}.prize-box p+p{margin-top:.85em}.prize-box>p:not(.prize-label):not(.prize-amount){color:var(--ink-secondary);font-size:.95rem}.prize-label{color:var(--accent);margin-bottom:.5rem;font-size:.8rem;font-weight:600}.prize-amount{letter-spacing:-.01em;font-variant-numeric:tabular-nums;margin-bottom:.9rem;font-size:2rem;font-weight:600;line-height:1.1}.prize-amount-sub{letter-spacing:.02em;color:var(--ink-faint);margin-top:.35rem;font-size:.82rem;font-weight:400;display:block}.prize-status{border-top:1px dashed var(--rule-faint);padding-top:.75rem;margin-top:1.1rem!important;font-size:.88rem!important}.prize-status strong{color:var(--verified)}.contrib-grid{flex-wrap:wrap;gap:.9rem 1.4rem;display:flex}.contrib{align-items:center;gap:.55rem;text-decoration:none;display:inline-flex}.contrib img{border:1px solid var(--rule);background:var(--code-bg);border-radius:50%;width:40px;height:40px}.contrib-name{color:var(--ink-secondary);font-size:.78rem;transition:color .2s cubic-bezier(.16,1,.3,1)}.contrib:hover .contrib-name{color:var(--accent)}.thm{border:1px solid var(--rule);border-left:3px solid var(--accent);background:var(--paper-raised);border-radius:2px;margin:1.75rem 0;padding:1.1rem 1.35rem .95rem}.thm-head{letter-spacing:.07em;margin-bottom:.4rem;font-variant-caps:all-small-caps;font-weight:600}.thm-head .thm-kind{color:var(--accent)}.thm-body{font-size:.99rem}.thm-meta{border-top:1px dashed var(--rule-faint);color:var(--ink-faint);flex-wrap:wrap;align-items:baseline;gap:.4rem 1.1rem;margin-top:.85rem;padding-top:.6rem;font-size:.74rem;display:flex}.thm-meta code{font-size:.97em}.badge-checked{color:var(--verified);background:var(--verified-soft);font-family:var(--font-mono),monospace;white-space:nowrap;border-radius:3px;align-items:baseline;gap:.35em;padding:.05rem .45rem;font-size:.95em;display:inline-flex}.badge-conditional{color:var(--refuted);background:var(--refuted-soft)}.thm-refuted{border-left-color:var(--refuted)}.thm-refuted .thm-head .thm-kind{color:var(--refuted)}.timeline{border-left:1px solid var(--rule);margin-left:.35rem;padding-left:1.5rem}.timeline-item{padding-bottom:1.35rem;position:relative}.timeline-item:before{content:"";background:var(--accent);border-radius:50%;width:7px;height:7px;position:absolute;top:.5em;left:calc(-1.5rem - 3.5px)}.timeline-item.muted:before{background:var(--ink-faint)}.toc-nav{width:13rem;font-size:.78rem;line-height:1.5;position:fixed;top:7rem;left:max(1.5rem,50vw - 44rem)}.toc-nav a{color:var(--ink-faint);padding:.18rem 0;text-decoration:none;transition:color .2s cubic-bezier(.16,1,.3,1);display:block}.toc-nav a:hover{color:var(--accent)}.refs{font-size:.875rem;line-height:1.55}.refs li{margin-bottom:.55rem;padding-left:.25rem}.refs li::marker{color:var(--ink-faint);font-variant-numeric:tabular-nums}@media print{:root{--paper:#fff;--paper-raised:#fff;--ink:#000;--ink-secondary:#333;--ink-faint:#555;--accent:#7a2424;--rule:#00000059;--rule-faint:#00000026}.site-footer-cta,.toc-nav{display:none!important}body{font-size:10.5pt}.thm,table.paper-table{break-inside:avoid}a{text-decoration:none}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-space-y-reverse{syntax:"*";inherits:false;initial-value:0}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-leading{syntax:"*";inherits:false}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-tracking{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}@property --tw-blur{syntax:"*";inherits:false}@property --tw-brightness{syntax:"*";inherits:false}@property --tw-contrast{syntax:"*";inherits:false}@property --tw-grayscale{syntax:"*";inherits:false}@property --tw-hue-rotate{syntax:"*";inherits:false}@property --tw-invert{syntax:"*";inherits:false}@property --tw-opacity{syntax:"*";inherits:false}@property --tw-saturate{syntax:"*";inherits:false}@property --tw-sepia{syntax:"*";inherits:false}@property --tw-drop-shadow{syntax:"*";inherits:false}@property --tw-drop-shadow-color{syntax:"*";inherits:false}@property --tw-drop-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-drop-shadow-size{syntax:"*";inherits:false}@property --tw-ease{syntax:"*";inherits:false}