html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,a,abbr,acronym,address,big,cite,code,del,dfn,em,img,ins,kbd,q,s,samp,small,strike,strong,sub,sup,tt,var,b,u,i,center,dl,dt,dd,ol,ul,li,fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td,article,aside,canvas,details,embed,figure,figcaption,footer,header,hgroup,menu,nav,output,ruby,section,summary,time,mark,audio,video{margin:0;padding:0;border:0;font-size:100%;font:inherit;vertical-align:baseline}article,aside,details,figcaption,figure,footer,header,hgroup,menu,nav,section{display:block}body{line-height:1}ol,ul{list-style:none}blockquote,q{quotes:none}blockquote:before,blockquote:after,q:before,q:after{content:"";content:none}table{border-collapse:collapse;border-spacing:0}a{color:inherit;text-decoration:none}.dark,.dark-theme{--accent-1: #0d1520;--accent-2: #111927;--accent-3: #0d2847;--accent-4: #003362;--accent-5: #004074;--accent-6: #104d87;--accent-7: #205d9e;--accent-8: #2870bd;--accent-9: #0090ff;--accent-10: #3b9eff;--accent-11: #70b8ff;--accent-12: #c2e6ff;--accent-a1: #004df211;--accent-a2: #1166fb18;--accent-a3: #0077ff3a;--accent-a4: #0075ff57;--accent-a5: #0081fd6b;--accent-a6: #0f89fd7f;--accent-a7: #2a91fe98;--accent-a8: #3094feb9;--accent-a9: #0090ff;--accent-a10: #3b9eff;--accent-a11: #70b8ff;--accent-a12: #c2e6ff;--accent-contrast: #fff;--accent-surface: #11213d80;--accent-indicator: #0090ff;--accent-track: #0090ff}@supports (color: color(display-p3 1 1 1)){@media(color-gamut:p3){.dark,.dark-theme{--accent-1: color(display-p3 .057 .081 .122);--accent-2: color(display-p3 .072 .098 .147);--accent-3: color(display-p3 .078 .154 .27);--accent-4: color(display-p3 .033 .197 .37);--accent-5: color(display-p3 .08 .245 .441);--accent-6: color(display-p3 .14 .298 .511);--accent-7: color(display-p3 .195 .361 .6);--accent-8: color(display-p3 .239 .434 .72);--accent-9: color(display-p3 .247 .556 .969);--accent-10: color(display-p3 .344 .612 .973);--accent-11: color(display-p3 .49 .72 1);--accent-12: color(display-p3 .788 .898 .99);--accent-a1: color(display-p3 0 .333 1 / .059);--accent-a2: color(display-p3 .114 .435 .988 / .085);--accent-a3: color(display-p3 .122 .463 1 / .219);--accent-a4: color(display-p3 0 .467 1 / .324);--accent-a5: color(display-p3 .098 .51 1 / .4);--accent-a6: color(display-p3 .224 .557 1 / .475);--accent-a7: color(display-p3 .294 .584 1 / .572);--accent-a8: color(display-p3 .314 .592 1 / .702);--accent-a9: color(display-p3 .251 .573 .996 / .967);--accent-a10: color(display-p3 .357 .631 1 / .971);--accent-a11: color(display-p3 .49 .72 1);--accent-a12: color(display-p3 .788 .898 .99);--accent-contrast: #fff;--accent-surface: color(display-p3 .0706 .1255 .2196 / .5);--accent-indicator: color(display-p3 .247 .556 .969);--accent-track: color(display-p3 .247 .556 .969)}}}:root,.light,.light-theme{--accent-1: #fbfdff;--accent-2: #f4faff;--accent-3: #e6f4fe;--accent-4: #d5efff;--accent-5: #c2e5ff;--accent-6: #acd8fc;--accent-7: #8ec8f6;--accent-8: #5eb1ef;--accent-9: #0090ff;--accent-10: #0588f0;--accent-11: #0d74ce;--accent-12: #113264;--accent-a1: #0080ff04;--accent-a2: #008cff0b;--accent-a3: #008ff519;--accent-a4: #009eff2a;--accent-a5: #0093ff3d;--accent-a6: #0088f653;--accent-a7: #0083eb71;--accent-a8: #0084e6a1;--accent-a9: #0090ff;--accent-a10: #0086f0fa;--accent-a11: #006dcbf2;--accent-a12: #002359ee;--accent-contrast: #fff;--accent-surface: #f1f9ffcc;--accent-indicator: #0090ff;--accent-track: #0090ff}@supports (color: color(display-p3 1 1 1)){@media(color-gamut:p3){:root,.light,.light-theme{--accent-1: color(display-p3 .986 .992 .999);--accent-2: color(display-p3 .96 .979 .998);--accent-3: color(display-p3 .912 .956 .991);--accent-4: color(display-p3 .853 .932 1);--accent-5: color(display-p3 .788 .894 .998);--accent-6: color(display-p3 .709 .843 .976);--accent-7: color(display-p3 .606 .777 .947);--accent-8: color(display-p3 .451 .688 .917);--accent-9: color(display-p3 .247 .556 .969);--accent-10: color(display-p3 .234 .523 .912);--accent-11: color(display-p3 .15 .44 .84);--accent-12: color(display-p3 .102 .193 .379);--accent-a1: color(display-p3 .024 .514 1 / .016);--accent-a2: color(display-p3 .024 .514 .906 / .04);--accent-a3: color(display-p3 .012 .506 .914 / .087);--accent-a4: color(display-p3 .008 .545 1 / .146);--accent-a5: color(display-p3 .004 .502 .984 / .212);--accent-a6: color(display-p3 .004 .463 .922 / .291);--accent-a7: color(display-p3 .004 .431 .863 / .393);--accent-a8: color(display-p3 0 .427 .851 / .55);--accent-a9: color(display-p3 0 .412 .961 / .753);--accent-a10: color(display-p3 0 .376 .886 / .765);--accent-a11: color(display-p3 .15 .44 .84);--accent-a12: color(display-p3 .102 .193 .379);--accent-contrast: #fff;--accent-surface: color(display-p3 .9529 .9765 .9961 / .8);--accent-indicator: color(display-p3 .247 .556 .969);--accent-track: color(display-p3 .247 .556 .969)}}}:root,.light,.light-theme{--gray-1: #fcfbfa;--gray-2: #f8f7f6;--gray-3: #efeeed;--gray-4: #e7e6e5;--gray-5: #e0dfdd;--gray-6: #d8d7d5;--gray-7: #cecccb;--gray-8: #bab9b8;--gray-9: #8d8b8a;--gray-10: #82817f;--gray-11: #646261;--gray-12: #21201f;--gray-a1: #99663305;--gray-a2: #55381c09;--gray-a3: #2a1c0e12;--gray-a4: #1d13091a;--gray-a5: #1d160722;--gray-a6: #1812062a;--gray-a7: #13090434;--gray-a8: #0a070347;--gray-a9: #08040275;--gray-a10: #06040080;--gray-a11: #0502009e;--gray-a12: #020100e0;--gray-contrast: #FFFFFF;--gray-surface: #ffffffcc;--gray-indicator: #8d8b8a;--gray-track: #8d8b8a}@supports (color: color(display-p3 1 1 1)){@media(color-gamut:p3){:root,.light,.light-theme{--gray-1: oklch(98.8% .0016 67.8);--gray-2: oklch(97.8% .0017 67.8);--gray-3: oklch(95% .0022 67.8);--gray-4: oklch(92.6% .0022 67.8);--gray-5: oklch(90.4% .0026 67.8);--gray-6: oklch(87.9% .0026 67.8);--gray-7: oklch(84.6% .0026 67.8);--gray-8: oklch(78.6% .0026 67.8);--gray-9: oklch(63.8% .0026 67.8);--gray-10: oklch(60.3% .0026 67.8);--gray-11: oklch(49.8% .0026 67.8);--gray-12: oklch(24.3% .0026 67.8);--gray-a1: color(display-p3 .5059 .2627 .0157 / .016);--gray-a2: color(display-p3 .2627 .1412 .0196 / .032);--gray-a3: color(display-p3 .1216 .0627 .0039 / .067);--gray-a4: color(display-p3 .0863 .0471 .0078 / .099);--gray-a5: color(display-p3 .0941 .0627 .0039 / .13);--gray-a6: color(display-p3 .0784 .0549 .0039 / .162);--gray-a7: color(display-p3 .0627 .0235 .0039 / .201);--gray-a8: color(display-p3 .0314 .0196 .0039 / .276);--gray-a9: color(display-p3 .0275 .0118 .0039 / .457);--gray-a10: color(display-p3 .0235 .0157 0 / .5);--gray-a11: color(display-p3 .0196 .0078 0 / .619);--gray-a12: color(display-p3 .0078 .0039 0 / .878);--gray-contrast: #FFFFFF;--gray-surface: color(display-p3 1 1 1 / 80%);--gray-indicator: oklch(63.8% .0026 67.8);--gray-track: oklch(63.8% .0026 67.8)}}}.dark,.dark-theme{--gray-1: #12110e;--gray-2: #191916;--gray-3: #23221f;--gray-4: #2a2926;--gray-5: #31302d;--gray-6: #3b3936;--gray-7: #484744;--gray-8: #61605c;--gray-9: #6e6d69;--gray-10: #7c7b76;--gray-11: #b4b3ae;--gray-12: #eeedea;--gray-a1: #91110002;--gray-a2: #f4f49f09;--gray-a3: #f7eac414;--gray-a4: #fef4d81b;--gray-a5: #fbf3dd23;--gray-a6: #fff4e32d;--gray-a7: #fffbee3b;--gray-a8: #fffcf056;--gray-a9: #fffcf264;--gray-a10: #fffdf173;--gray-a11: #fffef6af;--gray-a12: #fffefbed;--gray-contrast: #FFFFFF;--gray-surface: rgba(0, 0, 0, .05);--gray-indicator: #6e6d69;--gray-track: #6e6d69}@supports (color: color(display-p3 1 1 1)){@media(color-gamut:p3){.dark,.dark-theme{--gray-1: oklch(17.8% .0054 91.45);--gray-2: oklch(21.1% .0051 91.45);--gray-3: oklch(25.1% .0063 91.45);--gray-4: oklch(28.1% .0063 91.45);--gray-5: oklch(31% .0063 91.45);--gray-6: oklch(34.6% .0063 91.45);--gray-7: oklch(39.9% .0063 91.45);--gray-8: oklch(48.8% .0063 91.45);--gray-9: oklch(53.5% .0063 91.45);--gray-10: oklch(58.1% .0063 91.45);--gray-11: oklch(76.6% .0063 91.45);--gray-12: oklch(94.7% .0042 91.45);--gray-a1: color(display-p3 .8549 .0706 0 / .005);--gray-a2: color(display-p3 .9922 .9922 .6471 / .034);--gray-a3: color(display-p3 .9961 .9451 .7922 / .076);--gray-a4: color(display-p3 .9922 .9569 .8471 / .106);--gray-a5: color(display-p3 1 .9686 .8824 / .135);--gray-a6: color(display-p3 1 .9529 .8902 / .177);--gray-a7: color(display-p3 1 .9804 .9294 / .232);--gray-a8: color(display-p3 1 .9882 .9412 / .337);--gray-a9: color(display-p3 1 .9922 .9529 / .391);--gray-a10: color(display-p3 1 .9922 .949 / .45);--gray-a11: color(display-p3 1 .9961 .9686 / .685);--gray-a12: color(display-p3 1 .9961 .9843 / .929);--gray-contrast: #FFFFFF;--gray-surface: color(display-p3 0 0 0 / 5%);--gray-indicator: oklch(53.5% .0063 91.45);--gray-track: oklch(53.5% .0063 91.45)}}}:root,.light,.light-theme,.radix-themes{--color-background: #fefefe;--color-background-red: 254;--color-background-green: 254;--color-background-blue: 254;--width-max: 69ch}.dark,.dark-theme,:is(.dark,.dark-theme) :where(.radix-themes:not(.light,.light-theme)){--color-background: #111111;--color-background-red: 11;--color-background-green: 11;--color-background-blue: 11}html{--aa-brightness: calc(( (var(--color-background-red) * 299) + (var(--color-background-green) * 587) + (var(--color-background-blue) * 114) ) / 1000);--aa-color: calc((var(--aa-brightness) - 128) * -1000);background:rgb(var(--color-background-red),var(--color-background-green),var(--color-background-blue));color:rgb(var(--aa-color),var(--aa-color),var(--aa-color))}html,body{overflow-x:hidden}body{margin:0;padding:0;display:flex;align-items:center;flex-direction:column;align-content:center}main{max-width:100%;overflow-x:hidden}ol li>span.definition-content-marker,ol li>.definition-content-marker{display:inline-block;max-width:100%;overflow-x:auto;overflow-y:hidden;vertical-align:middle}.scroll-wrap{position:relative}.scroll-indicator-right{position:absolute;top:0;right:0;bottom:0;display:flex;align-items:center;justify-content:center;width:12px;color:var(--accent-9);background:linear-gradient(to right,transparent,var(--gray-3) 55%);border-left:2px solid var(--accent-8);font-size:.85em;font-weight:700;line-height:1;pointer-events:none}.scroll-indicator-sticky{position:sticky;right:0;top:0;bottom:0;display:inline-flex;align-self:stretch;margin-left:-12px;padding-left:10px}.scroll-indicator-right[hidden]{display:none}code{font:13pt Monospace}pre{max-width:var(--width-max);overflow-x:auto}.katex{overflow:auto hidden}.katex-display{max-width:min(var(--width-max),100%);overflow-x:auto;overflow-y:hidden}.katex-display>.katex{max-width:100%}@media(max-width:700px){.katex-display>.katex{font-size:.85em}.proof-diagram .katex,ol li>.definition-content-marker .katex{font-size:.9em}}@media(max-width:412px){.katex-display>.katex,.proof-diagram .katex,ol li>.definition-content-marker .katex{font-size:.8em}}@media(max-width:700px){:root{--width-max: 47ch}}@media(max-width:412px){:root{--width-max: 39ch}}@media(max-width:375px){:root{--width-max: 36ch}}@media(max-width:360px){:root{--width-max: 34ch}}@media(max-width:320px){:root{--width-max: 31ch}}:is(.dark) img{opacity:.8}.popup-content{visibility:hidden;position:absolute;z-index:10;border:1px solid var(--accent-8);padding:1rem;background-color:var(--accent-1);color:var(--gray-12);max-width:min(calc(var(--width-max) - 4ch),calc(100vw - 2rem));overflow-x:auto;overflow-y:auto;transition:visibility 0s .3s,transform .3s ease 0s,opacity .3s ease 0s;opacity:0;transform:translateY(-8px)}:is(.dark) .popup-content{background-color:var(--gray-2);color:var(--gray-12);border-color:var(--accent-8)}.popup-trigger:hover .popup-content,.popup-trigger:focus-within .popup-content{visibility:visible;transition:visibility 0s 0s,transform .3s,opacity .3s;opacity:1;transform:translateY(0)}#salthead{color:var(--accent-10)}:is(.dark) #salthead{color:var(--accent-11)}.nav-links[data-astro-cid-pux6a34n]{width:100%;top:1rem;left:48px;background-color:var(--accent-1);display:none;margin:0}.nav-links[data-astro-cid-pux6a34n] a[data-astro-cid-pux6a34n]{display:block;text-align:center;margin:1rem .5rem;padding:1rem 0rem;text-decoration:none;font-size:1.2rem;font-weight:700;text-transform:uppercase;border-radius:5px;transition:background-color .2s ease}.nav-links[data-astro-cid-pux6a34n] a[data-astro-cid-pux6a34n].active:before{content:"• "}.nav-links[data-astro-cid-pux6a34n] a[data-astro-cid-pux6a34n]:hover,.nav-links[data-astro-cid-pux6a34n] a[data-astro-cid-pux6a34n]:focus{background-color:var(--accent-5)}.nav-links[data-astro-cid-pux6a34n] a[data-astro-cid-pux6a34n]:focus-visible{outline:2px solid var(--accent-9);outline-offset:2px}.dark .nav-links[data-astro-cid-pux6a34n] a[data-astro-cid-pux6a34n]:hover,.dark .nav-links[data-astro-cid-pux6a34n] a[data-astro-cid-pux6a34n]:focus{background-color:var(--accent-3)}.expanded[data-astro-cid-pux6a34n]{display:unset}@media screen and (min-width:700px){.nav-links[data-astro-cid-pux6a34n]{margin-left:2rem;display:block;position:static;width:auto;background:none}.nav-links[data-astro-cid-pux6a34n] a[data-astro-cid-pux6a34n]{display:inline-block;padding:1rem 2rem}}.hamburger[data-astro-cid-3weo6hls]{padding-right:20px;cursor:pointer;align-self:flex-start;position:relative;left:10px;padding-bottom:1rem;background:none;border:none}.hamburger[data-astro-cid-3weo6hls]:focus-visible{outline:2px solid var(--accent-9);outline-offset:2px}.hamburger[data-astro-cid-3weo6hls] .line[data-astro-cid-3weo6hls]{display:block;width:40px;height:5px;margin:10px 0 0 10px;padding-top:4px;background-color:var(--accent-10);border-radius:10px;transition:transform .3s ease,opacity .3s ease;transform-origin:center}.hamburger[data-astro-cid-3weo6hls].is-active .line[data-astro-cid-3weo6hls]:nth-child(1){transform:translateY(14px) rotate(45deg)}.hamburger[data-astro-cid-3weo6hls].is-active .line[data-astro-cid-3weo6hls]:nth-child(2){opacity:0}.hamburger[data-astro-cid-3weo6hls].is-active .line[data-astro-cid-3weo6hls]:nth-child(3){transform:translateY(-14px) rotate(-45deg)}@media screen and (min-width:700px){.hamburger[data-astro-cid-3weo6hls]{display:none}}#themeToggle[data-astro-cid-zccdqvfn]{border:0;background:none}.sun[data-astro-cid-zccdqvfn]{fill:#000;transition:fill .3s ease}.moon[data-astro-cid-zccdqvfn]{fill:transparent;transition:fill .3s ease}.dark .sun[data-astro-cid-zccdqvfn]{fill:transparent}.dark .moon[data-astro-cid-zccdqvfn]{fill:#fff}button[data-astro-cid-zccdqvfn]{text-align:center;padding:10px 0;text-decoration:none;font-size:1.2rem;font-weight:700;text-transform:uppercase;cursor:pointer}button[data-astro-cid-zccdqvfn]:hover,button[data-astro-cid-zccdqvfn]:focus{box-shadow:4px 2px var(--accent-8)}button[data-astro-cid-zccdqvfn]:focus-visible{outline:2px solid var(--accent-9);outline-offset:2px}button[data-astro-cid-zccdqvfn]{width:auto;background:none;display:block;position:sticky;z-index:1;top:1rem;margin-left:auto;margin-right:1rem}*{font-size-adjust:.5;font-size:14pt}p{line-height:3.125ex;font-size:14pt;font-family:sans-serif}h1{font-size:2.5rem;line-height:calc(1ex / .42);margin:calc(1ex / .42) 0}h2{font-size:2rem;line-height:calc(1ex / .42);margin:calc(1ex / .42) 0}h3{font-size:1.75rem;line-height:calc(1ex / .38);margin:calc(1ex / .38) 0}h4{font-size:1.5rem;line-height:calc(1ex / .37);margin:calc(1ex / .37) 0}a{cursor:pointer;color:var(--accent-track);transition:color .2s ease}ol li{text-indent:2em;margin:1rem;list-style:decimal}.markdown ul{list-style:disc;padding-left:2em;margin:1em 0}.markdown ul ul{list-style:circle;margin:.25em 0}.markdown ul ul ul{list-style:square}.markdown ul li{margin:.25em 0}.emoji{margin:0!important;display:inline!important;height:auto;width:16px}.copy-btn{position:absolute;top:.5rem;right:.5rem;padding:.25rem .5rem;font-size:.75rem;background:var(--gray-3);color:var(--gray-11);border:1px solid var(--gray-6);border-radius:4px;cursor:pointer;opacity:0;transition:opacity .2s ease}pre:hover .copy-btn,.copy-btn:focus{opacity:1}.skip-to-content{position:absolute;left:-9999px;top:0;z-index:100;padding:.5em 1em;background:var(--accent-9);color:var(--accent-contrast);text-decoration:none}.skip-to-content:focus{left:0}