*,:after,:before{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:rgba(59,130,246,.5);--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:rgba(59,130,246,.5);--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }/*
! tailwindcss v3.4.16 | MIT License | https://tailwindcss.com
*/*,:after,:before{box-sizing:border-box;border:0 solid #e5e7eb}:after,:before{--tw-content:""}:host,html{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;tab-size:4;font-family:ui-sans-serif,system-ui,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji;font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{margin:0;line-height:inherit}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,pre,samp{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dd,dl,figure,h1,h2,h3,h4,h5,h6,hr,p,pre{margin:0}fieldset{margin:0}fieldset,legend{padding:0}menu,ol,ul{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}[role=button],button{cursor:pointer}:disabled{cursor:default}audio,canvas,embed,iframe,img,object,svg,video{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]:where(:not([hidden=until-found])){display:none}.absolute{position:absolute}.relative{position:relative}.m-2{margin:.5rem}.ml-2{margin-left:.5rem}.ml-5{margin-left:1.25rem}.mr-5{margin-right:1.25rem}.block{display:block}.inline-block{display:inline-block}.inline{display:inline}.flex{display:flex}.table{display:table}.grid{display:grid}.hidden{display:none}.w-6\/12{width:50%}.transform{transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y))}.grid-cols-3{grid-template-columns:repeat(3,minmax(0,1fr))}.flex-col{flex-direction:column}.content-center{align-content:center}.items-center{align-items:center}.rounded{border-radius:.25rem}.border{border-width:1px}.p-4{padding:1rem}.py-2{padding-top:.5rem;padding-bottom:.5rem}.font-mono{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace}.text-sm{font-size:.875rem;line-height:1.25rem}.italic{font-style:italic}.overline{text-decoration-line:overline}.outline{outline-style:solid}.filter{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)}:root{--background:#fff;--foreground:#171717;--blockquote-bg:#e3e3e3;--red:#dd7373;--blue:#5996c2;--green:#77af8c;--orange:#dcb971;--grey:#757575;--pencil:#8a8a8a;--lightgrey:#c3c3c3;--dimgrey:#aeaeae;--purple:#424242;--code-bg:#dbdbdb;--aside-color:#7a7a7a;--peach:#414141;--mocha:#575757;--brightBlue:#2c2c2c;--latte:#494949;--brighPink:#202020}@font-face{font-family:tp;src:url(/_next/static/media/tp-reg.752ccac6.woff);font-weight:400;font-style:normal}@font-face{font-family:tp;src:url(/_next/static/media/tp-ita.f3b356c9.woff);font-weight:400;font-style:italic}@font-face{font-family:tp;src:url(/_next/static/media/tp-bold.db85572d.woff);font-weight:700;font-style:normal}@font-face{font-family:ftb;src:url(/_next/static/media/ftb.231a9be4.woff);font-weight:700;font-style:normal}html{font-size:13px}@media (min-width:300px) and (max-width:750px){html{font-size:13px}}@media (max-width:450px){li{margin-top:0;margin-bottom:0}}.katex{font-size:inherit}.katex-display{margin:.8em 0}body{color:var(--foreground);background:var(--background);font-family:tp;padding:1vh 5vw;overscroll-behavior-x:none}code,pre{font-family:monospace;font-size:.8rem}textarea{width:100%}.repl{font-family:monospace;font-weight:700;border-radius:4px;overflow:hidden}.repl,pre{color:var(--foreground);background-color:var(--code-bg)}pre{padding:.8rem;border-radius:.2em;overflow-x:scroll}.hljs-comment{color:var(--grey)}.hljs-keyword{color:var(--brighPink);font-weight:700}.hljs-attr,.hljs-property{color:var(--latte)}.hljs-built_in{color:var(--brightBlue)}.hljs-number,.hljs-string{color:var(--mocha)}.function_{color:var(--peach);font-weight:700}p{margin:10px 0}h1+p,h2+p,h3+p,h4+p,h5+p,h6+p{margin-top:0}h1{text-align:center;margin-bottom:5vh;margin-top:5vh}.repl{font-size:.8rem}h1,h2,h3,h4,h5,h6{font-weight:700;font-size:1.2rem;font-family:ftb}th{font-size:.95rem}table,td,th{margin:auto;width:fit-content}table{margin-top:5px;margin-bottom:5px}th{text-align:center}table td{padding:2px 10px}table p{margin:0}th,tr{border-bottom:thin solid #d3d3d3}h2,h3,h4,h5,h6{margin-top:2vh;margin-bottom:0}h2+h3,h2+ol>li,h2+ul>li,h3+h4,h3+ol>li,h3+ul>li,h4+h5,h4+ol>li,h4+ul>li,h5+h6,h5+ol>li,h5+ul>li,h6+ol>li,h6+ul>li{margin-top:0}blockquote{padding:5px 10px;width:93%;margin:2vh auto;background-color:var(--blockquote-bg);border-radius:5px}blockquote p{margin:0}figcaption{font-style:italic;font-size:.8rem;color:var(--aside-color);margin:0 auto;width:60%;text-align:center}figcaption p{margin:5px 0}textarea{outline:none}ul{list-style:disc}ol,ul{margin-left:20px}ol{list-style:decimal}ul ul{list-style:circle}article{width:clamp(300px,70%,600px);margin:0 auto 10vh}footer{display:block;width:fit-content;margin:3vh auto;color:#d3d3d3}figure{width:100%;margin:5px auto}strong em{font-variant:small-caps;font-weight:700;font-style:normal;font-size:1.1rem}aside{color:var(--grey);font-size:90%;position:relative;border-top:thin solid var(--grey);border-bottom:thin solid var(--grey);margin-top:1vh;margin-bottom:1vh}aside p{margin:1vh 0}.toc li,li p{margin:0}.toc .heading{font-weight:700;display:block}.toc li{counter-increment:part;counter-reset:subpart}.toc li li{counter-increment:subpart;counter-reset:chapter}.toc li li li{counter-increment:chapter;counter-reset:module}.toc li li li li{counter-increment:module;counter-reset:submodule}.toc li li li li li{counter-increment:submodule;counter-reset:submodule}.toc li:before{content:counter(part) "\00a0" "\00a0"}.toc li li:before{content:counter(part) "." counter(subpart) "\00a0" "\00a0"}.toc li li li:before{content:counter(part) "." counter(subpart) "." counter(chapter) "\00a0" "\00a0"}.toc li li li li:before{content:counter(part) "." counter(subpart) "." counter(chapter) "." counter(module) "\00a0" "\00a0"}.toc li li li li li:before{content:counter(part) "." counter(subpart) "." counter(chapter) "." counter(module) "." counter(submodule) "\00a0" "\00a0"}h2{counter-increment:part;counter-reset:subpart}h3{counter-increment:subpart;counter-reset:chapter}h4{counter-increment:chapter;counter-reset:module}h5{counter-increment:module}h5,h6{counter-reset:submodule}h6{counter-increment:submodule}h2:before{content:counter(part) "\00a0" "\00a0" "\00a0"}h3:before{content:counter(part) "." counter(subpart) "\00a0" "\00a0" "\00a0"}h4:before{content:counter(part) "." counter(subpart) "." counter(chapter) "\00a0" "\00a0" "\00a0"}h5:before{content:counter(part) "." counter(subpart) "." counter(chapter) "." counter(module) "\00a0" "\00a0" "\00a0"}h6:before{content:counter(part) "." counter(subpart) "." counter(chapter) "." counter(module) "." counter(submodule) "\00a0" "\00a0" "\00a0"}a{color:inherit;border-bottom:1px dotted var(--grey);display:inline-block;padding-bottom:0;background-image:linear-gradient(var(--grey) 0 0);background-position:0 100%;background-size:0 1px;background-repeat:no-repeat;transition:background-size .3s,background-position 0s .3s}a:hover{background-position:100% 100%;background-size:100% 1px}.toc a{text-decoration:none;border-bottom:none;color:inherit}.toc{padding-left:5px}.toc h2,.toc ul{margin:0}.toc ul{list-style:none}.algebron-fig>div{font-family:KaTeX_main}@media (max-width:500px){html{font-size:11px}}@media (min-width:1000px){aside{float:right;clear:right;margin-right:-15vw;text-align:left;top:3rem;width:14vw;margin-top:1rem}article{margin-left:20vw}.article-main{margin:0 auto}.toc{background-color:var(--background);z-index:100;position:fixed;float:left;margin-left:-24.5vw;margin-top:-12vh;border-right:thin solid var(--blockquote-bg);height:97vh;padding:1vh .5vw;width:22vw}.toc>ul{border-top:thin solid var(--blockquote-bg);height:90vh;padding-bottom:5vh;overflow-y:scroll;margin-left:0}.toc ul ul,.toc ul ul ul{list-style:none;margin:0}}input[type=range]{-webkit-appearance:none;appearance:none;cursor:pointer;outline:none;border-radius:10px;height:1px;background:#a1a1a1}input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;appearance:none;height:8px;width:8px;background-color:var(--red);border-radius:50%;border:none}input[type=range]::-moz-range-thumb{height:10px;width:10px;background-color:var(--red);border-radius:50%;border:none}div.procedure{counter-reset:lineNumber -1;border-top:thin solid #d3d3d3;border-bottom:thin solid #d3d3d3;padding:1em 0;margin:1em 1.5em;overflow-y:scroll}div.procedure blockquote{margin:0;padding:0;font-size:1.1em;border-bottom:thin solid #d3d3d3}div.procedure pre{margin:0;border-top:0;border-bottom:0}div.procedure p{font-size:inherit;padding:0;margin:0}div.procedure ol{padding:0;margin:0;list-style:none}div.procedure ol li{margin:0;padding:0;display:block}div.procedure ol li:before{content:counter(lineNumber);counter-increment:lineNumber;font-family:KaTeX_Main;position:relative;display:inline-block;min-width:10px}div.procedure ol ol{border-left:thin solid #e2e2e2}div.procedure ol{margin-left:1rem}div.procedure li em{color:#92abb6;font-style:italic;font-size:.75rem;display:inline;text-align:left;line-height:1.3rem;width:max-content;margin:0;padding:0;float:right}.warning{display:block;float:left;clear:right;position:relative;margin-left:-1.5em;font-size:1.2rem}div.procedure ol li:before{right:1rem}div.procedure ol li li:before{right:2.1rem}div.procedure ol li li li:before{right:3.1rem}div.procedure ol li li li li:before{right:4.2rem}div.procedure ol li li li li li:before{right:5.1rem}div.procedure ol li li li li li li:before{right:6.1rem}div.procedure>ol{margin-top:6px}div.procedure ul{list-style:none}div.procedure ul,div.procedure ul li{padding:0;margin:0}div.procedure ul ul{padding:0 1em;margin:0}div.procedure p:first-child{padding:2px 0;margin-bottom:5px;font-size:1em}div.procedure li>p{display:inline!important;margin:0!important;padding:0!important;line-height:0!important;border:0!important}