@font-face{font-family:"Computer Modern Serif";src:url(https://eth2book.info/fonts/cmu/cmunrm.woff2) format("woff2"),url(https://eth2book.info/fonts/cmu/cmunrm.woff) format("woff");font-weight:400;font-style:normal}@font-face{font-family:"Computer Modern Serif";src:url(https://eth2book.info/fonts/cmu/cmunbx.woff2) format("woff2"),url(https://eth2book.info/fonts/cmu/cmunbx.woff) format("woff");font-weight:700;font-style:normal}@font-face{font-family:"Computer Modern Serif";src:url(https://eth2book.info/fonts/cmu/cmunti.woff2) format("woff2"),url(https://eth2book.info/fonts/cmu/cmunti.woff) format("woff");font-weight:400;font-style:italic}@font-face{font-family:"Computer Modern Serif";src:url(https://eth2book.info/fonts/cmu/cmunbi.woff2) format("woff2"),url(https://eth2book.info/fonts/cmu/cmunbi.woff) format("woff");font-weight:700;font-style:italic}@font-face{font-family:Computer Modern Typewriter;src:url(https://eth2book.info/fonts/cmu/cmuntt.woff2) format("woff2"),url(https://eth2book.info/fonts/cmu/cmuntt.woff) format("woff");font-weight:400;font-style:normal}@font-face{font-family:Computer Modern Typewriter;src:url(https://eth2book.info/fonts/cmu/cmuntb.woff2) format("woff2"),url(https://eth2book.info/fonts/cmu/cmuntb.woff) format("woff");font-weight:700;font-style:normal}@font-face{font-family:Computer Modern Typewriter;src:url(https://eth2book.info/fonts/cmu/cmunit.woff2) format("woff2"),url(https://eth2book.info/fonts/cmu/cmunit.woff) format("woff");font-weight:400;font-style:italic}@font-face{font-family:Computer Modern Typewriter;src:url(https://eth2book.info/fonts/cmu/cmuntx.woff2) format("woff2"),url(https://eth2book.info/fonts/cmu/cmuntx.woff) format("woff");font-weight:700;font-style:italic}aside#dark-mode-toggle{position:absolute;left:0;top:0;padding:0 0 0 .5rem}dark-mode-toggle{--dark-mode-toggle-dark-icon: url("data:image/svg+xml,%3csvg%20xmlns='http://www.w3.org/2000/svg'%20version='1.1'%20viewBox='0%200%20256%20256'%3e%3cg%20style='fill:%20%23ddd;%20stroke:%20none;%20stroke-width:%201;%20stroke-dasharray:%20none;%20stroke-linecap:%20butt;%20stroke-linejoin:%20miter;%20stroke-miterlimit:%2010;%20fill-rule:%20nonzero;%20opacity:%201;'%20stroke-linecap='round'%20transform='translate(1.4065934065934016%201.4065934065934016)%20scale(2.81%202.81)'%3e%3cpath%20d='M%2045%2011.861%20c%202.927%200%205.764%200.383%208.467%201.096%20C%2051.156%207.54%2048.279%203.09%2045%200%20c%20-3.279%203.09%20-6.156%207.54%20-8.467%2012.957%20C%2039.236%2012.245%2042.073%2011.861%2045%2011.861%20z'%20/%3e%3cpath%20d='M%2073.641%2028.339%20c%202.199%20-5.468%203.312%20-10.652%203.178%20-15.159%20c%20-4.506%20-0.133%20-9.691%200.979%20-15.159%203.179%20C%2066.617%2019.248%2070.752%2023.383%2073.641%2028.339%20z'%20/%3e%3cpath%20d='M%2028.339%2016.359%20c%20-5.468%20-2.199%20-10.652%20-3.312%20-15.159%20-3.178%20c%20-0.133%204.506%200.979%209.691%203.178%2015.159%20C%2019.248%2023.383%2023.383%2019.248%2028.339%2016.359%20z'%20/%3e%3cpath%20d='M%2090%2045%20c%20-3.09%20-3.279%20-7.54%20-6.156%20-12.957%20-8.467%20c%200.713%202.703%201.096%205.54%201.096%208.467%20s%20-0.383%205.764%20-1.096%208.467%20C%2082.46%2051.156%2086.91%2048.279%2090%2045%20z'%20/%3e%3cpath%20d='M%2011.861%2045%20c%200%20-2.927%200.383%20-5.764%201.096%20-8.467%20C%207.54%2038.844%203.09%2041.721%200%2045%20c%203.09%203.279%207.54%206.156%2012.957%208.467%20C%2012.245%2050.764%2011.861%2047.927%2011.861%2045%20z'%20/%3e%3cpath%20d='M%2061.661%2073.641%20c%205.468%202.199%2010.652%203.312%2015.159%203.178%20c%200.133%20-4.506%20-0.979%20-9.691%20-3.178%20-15.159%20C%2070.752%2066.617%2066.617%2070.752%2061.661%2073.641%20z'%20/%3e%3cpath%20d='M%2045%2078.139%20c%20-2.927%200%20-5.764%20-0.383%20-8.467%20-1.096%20C%2038.844%2082.46%2041.721%2086.91%2045%2090%20c%203.279%20-3.09%206.156%20-7.54%208.467%20-12.957%20C%2050.764%2077.755%2047.927%2078.139%2045%2078.139%20z'%20/%3e%3cpath%20d='M%2016.359%2061.661%20c%20-2.199%205.468%20-3.312%2010.652%20-3.178%2015.159%20c%204.506%200.133%209.691%20-0.979%2015.159%20-3.178%20C%2023.383%2070.752%2019.248%2066.617%2016.359%2061.661%20z'%20transform='matrix(1%200%200%201%200%200)'%20/%3e%3ccircle%20cx='45'%20cy='45'%20r='27'/%3e%3c/g%3e%3c/svg%3e");--dark-mode-toggle-light-icon: url("data:image/svg+xml,%3csvg%20xmlns='http://www.w3.org/2000/svg'%20version='1.1'%20viewBox='0%200%20256%20256'%3e%3cg%20style='fill:%20%23444;%20stroke:%20none;%20stroke-width:%201;%20stroke-dasharray:%20none;%20stroke-linecap:%20butt;%20stroke-linejoin:%20miter;%20stroke-miterlimit:%2010;%20fill-rule:%20nonzero;%20opacity:%201;'%20stroke-linecap='round'%20transform='translate(1.4065934065934016%201.4065934065934016)%20scale(2.81%202.81)'%3e%3cpath%20d='M%2087.823%2060.7%20c%20-0.463%20-0.423%20-1.142%20-0.506%20-1.695%20-0.214%20c%20-15.834%208.398%20-35.266%202.812%20-44.232%20-12.718%20c%20-8.966%20-15.53%20-4.09%20-35.149%2011.101%20-44.665%20c%200.531%20-0.332%200.796%20-0.963%200.661%20-1.574%20c%20-0.134%20-0.612%20-0.638%20-1.074%20-1.259%20-1.153%20c%20-9.843%20-1.265%20-19.59%200.692%20-28.193%205.66%20C%2013.8%2012.041%206.356%2021.743%203.246%2033.35%20S%201.732%2057.08%207.741%2067.487%20c%206.008%2010.407%2015.709%2017.851%2027.316%2020.961%20C%2038.933%2089.486%2042.866%2090%2046.774%2090%20c%207.795%200%2015.489%20-2.044%2022.42%20-6.046%20c%208.601%20-4.966%2015.171%20-12.43%2018.997%20-21.586%20C%2088.433%2061.79%2088.285%2061.123%2087.823%2060.7%20z'%20/%3e%3c/g%3e%3c/svg%3e");--dark-mode-toggle-icon-size: 20px}@media print{aside#dark-mode-toggle{display:none}}@media screen and (max-width: 1200px){aside#dark-mode-toggle{position:absolute;display:block;width:100vw;padding:0;height:20px;overflow-y:visible;text-align:right}}html{height:100vh;overflow-y:hidden}body{margin:0;padding:0;background-color:var(--background);color:var(--foreground);text-rendering:optimizeLegibility;font-family:system-ui,-apple-system,Segoe UI,Roboto,Ubuntu,Cantarell,Noto Sans,sans-serif,BlinkMacSystemFont,Segoe UI,Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji",Segoe UI Symbol;transition:color var(--transition),background-color var(--transition)}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip-path:rect(0 0 0 0);border:0}#page{display:flex;flex-direction:row;width:100vw;height:100vh;margin:0;padding:0;overflow:hidden}#main-content{display:inline-block;box-sizing:border-box;margin:0;padding:0;font-family:"Computer Modern Serif",serif;font-size:20px;overflow-x:hidden}#padded-content{width:var(--content-width);margin:0 calc((100vw - var(--sidebar-width) - var(--content-width) - var(--navi-width)) / 2);padding:0}code,pre,tt{font-family:Computer Modern Typewriter,SFMono-Regular,Consolas,Liberation Mono,Menlo,monospace}p{margin-top:0;margin-bottom:16px;line-height:1.4128}a{color:var(--link-colour);text-decoration:none;transition:color var(--transition)}a:hover{text-decoration:underline}a[rel*=external]:after{content:"↗";font-size:10px;vertical-align:top}code{font-size:95%}span.wrap{word-break:break-all}sup,sub{font-size:.75em;line-height:0;vertical-align:baseline;position:relative;display:inline-block}sup{top:-.6em;left:.1em}sub{bottom:-.25em}sup a,sub a,sup span,sub span{line-height:normal;font-size:inherit;vertical-align:baseline}h2,h3,h4,h5,h6{position:relative}h3{padding-bottom:6px;margin-bottom:1ex}h4,h5,h6{margin-top:4ex;margin-bottom:1ex}h3+h4{margin-top:1ex}h1+p,h2+p,h3+p,h4+p,h5+p,h6+p{margin-top:1ex}h3{font-size:130%}h4{font-size:120%}h5{font-size:110%}h6{font-size:100%}h4 code,h5 code,h6 code{font-size:inherit}a.anchor{position:absolute;left:-20px;display:inline-block}a.anchor svg{width:16px;height:16px;opacity:0;transition:opacity .3s ease}h2:hover svg,h3:hover svg,h4:hover svg,h5:hover svg,h6:hover svg{opacity:1}figure{text-align:center;padding:0;margin:3ex auto}figcaption{text-align:center;padding:0;margin:0 auto 3ex;font-style:italic}table{border:solid var(--table-border) 1px;border-collapse:collapse;margin:3ex 0}td,th{border:solid var(--table-border) 1px;padding:4px 8px;text-align:left;vertical-align:top}th{color:var(--th-colour);background-color:var(--th-background);border:solid var(--th-border) 1px;border-top-style:inherit}th:first-child{border-left-style:inherit}th:last-child{border-right-style:inherit}th:empty{display:none}main li{line-height:1.4128;padding-bottom:3px}main ol{list-style-type:decimal}main ol ol{list-style-type:lower-alpha}main ol ol ol{list-style-type:lower-roman}blockquote{margin-left:0;padding-left:2em;border-left:solid #ccc 4px}div.title-page{display:flex;min-height:80vh;margin:0 20%;text-align:center;flex-direction:column;justify-content:space-around;font-weight:700}div.title-page .h2,div.title-page .h3,div.title-page .h4{border:none;padding:0;margin:1ex 0}div.title-page .h2{font-size:30px}div.title-page .h3{font-size:26px}div.title-page .h4{font-size:24px}div.title-page svg{margin:1ex auto}div.chapter-header h1{display:inline;font-size:90%}div.section-header h1,div.section-header h2{display:inline;font-size:.9em}div.section-header h1:after{content:" | "}div.section-header,div.chapter-header{padding:0;border-bottom:solid 1px #999}details{margin-bottom:2ex}details summary{font-weight:700}details p:first-of-type{padding-top:2ex}pre[class^=language-]{padding:1ex 1em;border-radius:1ex;line-height:1}pre[class^=language-] code{font-size:.8em;line-height:1}p span.katex,li span.katex,td span.katex{font-size:inherit}.katex-display .katex{font-size:1em}section.footnotes{margin-top:6ex;border:0;border-top:solid 1px #ccc;font-size:85%}div.summary{width:80%;margin:1ex auto 4ex;padding:1ex 1em;border:double #999 3.5px}a.anchor svg path{fill:var(--foreground)}figure.chart svg path[class$=Text]{fill:currentColor}figure.chart svg path[class*=Axis][stroke="#000"]{stroke:currentColor!important}figure.diagram svg{color-scheme:var(--color-scheme)!important}figure svg path{transition:stroke var(--transition),fill var(--transition)}figure.diagram svg foreignObject div,figure.diagram svg rect,figure.diagram svg text,figure.diagram svg span{transition:color var(--transition),background-color var(--transition),fill var(--transition)}div.title-page svg g#layer101 path{fill:#343434!important}@media print{html,body,#page,#main-content{--background: #fff;--foreground: #000;display:block!important;overflow:visible!important;width:100%!important;max-width:initial!important;min-width:initial!important;margin:initial!important;padding:initial!important;background-color:var(--background);color:var(--foreground)}#main-content{font-size:12pt!important}#padded-content{width:auto!important;margin:0!important;padding:0 12mm!important}h1,h2,h3,h4,h5,h6{position:initial!important;break-after:avoid;page-break-after:avoid}td,th{color:inherit;border:solid #999999 1px}a{color:#000}a[rel*=external]{color:#00f}a[rel*=external]:after{content:""}a.anchor,a.data-footnote-backref{display:none}pre[class*=language-]{background:none;overflow:hidden}pre[class*=language-] code{color:#000!important;font-size:75%!important}pre[class*=language-] code span{color:#000!important}summary{list-style:none}}@media screen and (min-width: 1920px){body{position:relative;width:var(--max-page-width);margin:0 auto}#padded-content{width:calc(var(--max-page-width) / 2);margin:0 calc(var(--max-page-width) / 20)}}@media screen and (max-width: 1200px){#main-content{width:auto}#padded-content{width:auto;margin:0 auto;padding:1.5rem 1.5rem 5rem;min-width:auto}footer{padding-bottom:1rem}div.title-page{margin:0}}@media screen and (max-width: 600px){#padded-content{padding:1.5rem .75rem 5rem}figure{width:100%!important}footer{margin-top:3rem}blockquote{padding-left:1rem}ul{padding-left:1.2rem}ol{padding-left:1.5rem}}@font-face{font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/bellatrix/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff) format("woff"),url(/bellatrix/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf) format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/bellatrix/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf) format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/bellatrix/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf) format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/bellatrix/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf) format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/bellatrix/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Fraktur-Regular.CB_wures.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/bellatrix/_astro/KaTeX_Main-Bold.Cx986IdX.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Main-Bold.Jm3AIy58.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Main-Bold.waoOVXN0.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/bellatrix/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/bellatrix/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Main-Italic.BMLOBm91.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Main-Italic.3WenGoN9.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/bellatrix/_astro/KaTeX_Main-Regular.B22Nviop.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Main-Regular.Dr94JaBh.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf) format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/bellatrix/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf) format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/bellatrix/_astro/KaTeX_Math-Italic.t53AETM-.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Math-Italic.DA0__PXp.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Math-Italic.flOr_0UB.ttf) format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/bellatrix/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff) format("woff"),url(/bellatrix/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf) format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/bellatrix/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff) format("woff"),url(/bellatrix/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf) format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/bellatrix/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff) format("woff"),url(/bellatrix/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf) format("truetype")}@font-face{font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/bellatrix/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Script-Regular.D5yQViql.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf) format("truetype")}@font-face{font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/bellatrix/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Size1-Regular.C195tn64.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Size1-Regular.Dbsnue_I.ttf) format("truetype")}@font-face{font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/bellatrix/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Size2-Regular.B7gKUWhC.ttf) format("truetype")}@font-face{font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(/bellatrix/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf) format("truetype")}@font-face{font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/bellatrix/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Size4-Regular.DWFBv043.ttf) format("truetype")}@font-face{font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/bellatrix/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2) format("woff2"),url(/bellatrix/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff) format("woff"),url(/bellatrix/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.22"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}code[class*=language-],pre[class*=language-]{color:#ccc;background:0 0;font-family:Consolas,Monaco,Andale Mono,Ubuntu Mono,monospace;font-size:1em;text-align:left;white-space:pre;word-spacing:normal;word-break:normal;word-wrap:normal;line-height:1.5;-moz-tab-size:4;-o-tab-size:4;tab-size:4;-webkit-hyphens:none;-moz-hyphens:none;-ms-hyphens:none;hyphens:none}pre[class*=language-]{padding:1em;margin:.5em 0;overflow:auto}:not(pre)>code[class*=language-],pre[class*=language-]{background:#2d2d2d}:not(pre)>code[class*=language-]{padding:.1em;border-radius:.3em;white-space:normal}.token.block-comment,.token.cdata,.token.comment,.token.doctype,.token.prolog{color:#999}.token.punctuation{color:#ccc}.token.attr-name,.token.deleted,.token.namespace,.token.tag{color:#e2777a}.token.function-name{color:#6196cc}.token.boolean,.token.function,.token.number{color:#f08d49}.token.class-name,.token.constant,.token.property,.token.symbol{color:#f8c555}.token.atrule,.token.builtin,.token.important,.token.keyword,.token.selector{color:#cc99cd}.token.attr-value,.token.char,.token.regex,.token.string,.token.variable{color:#7ec699}.token.entity,.token.operator,.token.url{color:#67cdcc}.token.bold,.token.important{font-weight:700}.token.italic{font-style:italic}.token.entity{cursor:help}.token.inserted{color:green}nav.sidebar{display:inline-block;box-sizing:border-box;width:var(--sidebar-width);padding:0 1em 0 2em;margin:0;border-right:1px solid rgb(230,236,241);text-align:center;background-color:var(--sidebar-background);color:var(--sidebar-foreground);transition:color var(--transition),background-color var(--transition)}#index{margin:0 1em;text-align:left}#index,#index a:hover{text-decoration:none}#index li{text-indent:-1em;list-style-type:none;line-height:1.4;font-weight:400}#index ul{padding-left:1em}#index>ul>li{padding-top:1ex;font-weight:700}#index a.index-active{text-decoration:underline}nav.sidebar div.sidebar-title{font-size:14px;font-weight:700;padding:10px 0}nav.sidebar div.sidebar-title a:hover{text-decoration:none}@media print{nav.sidebar{display:none}}@media screen and (min-width: 1920px){nav.sidebar{width:calc(var(--max-page-width) / 5)}}@media screen and (max-width: 1200px){nav.sidebar{display:none}}.subsection-list .label-string{display:none}.prevnext{width:100%;margin:0;padding:6px 0;display:flex;justify-content:space-between}.prevnext span{display:flex}.prevnext span.prev{justify-content:flex-start}.prevnext span.next{justify-content:flex-end}.prevnext span.contents{display:none}@media print{.prevnext{display:none}}@media screen and (max-width: 1200px){.prevnext span.contents{display:flex;justify-content:center}}footer{font-size:85%;border-top:solid 1px #999;padding-top:1ex;margin-top:10ex;width:100%}footer a.githash{font-family:Computer Modern Typewriter,monospace}footer a[rel*=external]:after{content:""}#page-navi{display:inline-block;box-sizing:border-box;width:var(--navi-width);padding:0 1em 0 2em;margin:0;font-size:80%}#page-navi a{color:var(--pagenavi-link);transition:color var(--transition)}#page-navi a:hover{text-decoration:none;color:var(--pagenavi-link-hover)}#page-navi ul{padding-left:1em}#page-navi li{list-style-type:none;padding-bottom:3px;font-weight:400}#page-navi>ul>li{padding-top:1ex;font-weight:700}@media print{#page-navi{display:none}}@media screen and (min-width: 1920px){#page-navi{width:calc(var(--max-page-width) / 5)}}@media screen and (max-width: 1200px){#page-navi{display:none}}#search-parameters{margin-bottom:2rem}#search-parameters input#search-text{background-color:var(--background);color:var(--foreground);padding:6px;margin-right:12px;border:1px solid #ccc;font-size:1rem;width:50%;transition:color var(--transition),background-color var(--transition)}#search-parameters input#search-text:focus{outline:none}#search-parameters span#checkbox{display:inline-block}#search-parameters span#checkbox label{padding-left:.2rem;font-family:sans-serif;font-size:1rem}#search-parameters input#is-case-sensitive{width:1rem;height:1rem}#search-results ul{padding-left:0;margin-left:0;list-style-type:none}#search-results ul li ul{padding-left:.5rem}#search-results ul li ul li{margin:.8rem 0;padding:.5rem;background:var(--search-chunk-background);border-radius:.75rem;font-size:1.1rem}#search-results a.label{display:block;font-family:sans-serif;font-size:.9rem}#search-results span.chunk-text.pre{display:block;white-space:pre;font-family:monospace;font-size:.9rem;line-height:1.1rem;overflow-x:auto}#search-results>ul li{padding-bottom:1ex}#search-results>ul li:last-child{margin-bottom:1ex}#search-results span.match-text{background-color:var(--search-text-highlight)}:root{--sidebar-width: 20vw;--content-width: 50vw;--navi-width: 20vw;--max-page-width: 1920px;--transition: .5s ease 0s}.scrollable{height:100vh;overflow-y:auto;overscroll-behavior:none;scrollbar-width:thin}::-webkit-scrollbar{width:9px;height:9px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background-color:#9b9b9b80;border-radius:20px;border:transparent}sup:has(a[data-footnote-ref]){position:relative;display:inline}sup:hover span.fn-span{visibility:visible;opacity:1;z-index:999}.fn-span{visibility:hidden;font-family:Open Sans,sans-serif;font-size:80%;font-weight:400;position:absolute;top:30px;color:var(--fn-tt-foreground);background:var(--fn-tt-background);border-radius:6px;padding:5px 10px;width:calc(var(--content-width) / 3);white-space:normal;text-align:left;opacity:0;transition:opacity .8s}.fn-span p{padding:0;margin:0}@media print{.fn-span{display:none}}@media print{#banner{display:none}}#banner{position:sticky;position:-webkit-sticky;top:0;left:0;margin:0;padding:.5ex 0;width:100%;background:#505;text-align:center;z-index:2}#banner p{color:#fff;margin:0}#banner p a{color:inherit;text-decoration:underline}