@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(./KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(./KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(./KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(./KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(./KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(./KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(./KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(./KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(./KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(./KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(./KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(./KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(./KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(./KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(./KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(./KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(./KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(./KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(./KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(./KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(./KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(./KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(./KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(./KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(./KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(./KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(./KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(./KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(./KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(./KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(./KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(./KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(./KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(./KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(./KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(./KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(./KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(./KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(./KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(./KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(./KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(./KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(./KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(./KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(./KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(./KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(./KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(./KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(./KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(./KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(./KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;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(./KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(./KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(./KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(./KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(./KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(./KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(./KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(./KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.18.7"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .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;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .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{width:.12em;display:inline-block}.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 .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.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;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.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{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.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{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}.series-header{border-bottom:1px solid #253140;padding:22px 0 21px;scroll-margin-top:16px}.series-header .series-label,.series-footer .series-label{color:#97a5b5;letter-spacing:1.8px;margin:0;font-size:9px;font-weight:500;line-height:1.5}.series-header-row{justify-content:space-between;align-items:center;gap:24px;margin-top:12px;display:flex}.series-header .series-wordmark{color:#e8eef5;letter-spacing:2px;white-space:nowrap;align-items:center;gap:11px;font-size:18px;font-weight:600;line-height:1.3;text-decoration:none;display:inline-flex}.series-wordmark b{color:#65e6d0;font-weight:400}.series-wordmark svg{fill:none;stroke:#65e6d0;stroke-width:1.3px;flex:0 0 32px;width:32px;height:32px}.series-wordmark svg circle{fill:#65e6d0;stroke:#0b1017}.series-header-actions{align-items:center;gap:28px;display:flex}.series-theorem{color:#65e6d0;letter-spacing:1px;white-space:nowrap;border:1px solid #253140;border-radius:3px;padding:5px 9px;font-size:10px;font-weight:400;line-height:1.5}.series-header .series-about-link{color:#aebdcb;white-space:nowrap;font-size:11px;text-decoration:none}.series-about-link span{color:#65e6d0;margin-left:7px}.series-footer{color:#97a5b5;border-top:1px solid #253140;padding:30px 0 32px;font-size:11px;line-height:1.9;display:block}.series-labs{grid-template-columns:repeat(4,minmax(0,1fr));gap:14px;max-width:1040px;margin:17px 0 21px;display:grid}.series-footer .series-lab{color:#aebdcb;border:1px solid #253140;border-radius:5px;grid-template-columns:1fr auto;align-items:center;gap:3px 16px;padding:13px 16px;text-decoration:none;display:grid}.series-lab strong{letter-spacing:1.2px;font-size:12px;font-weight:500;line-height:1.5}.series-lab>span{grid-column:1;font-size:11px;line-height:1.6}.series-lab small{white-space:nowrap;grid-area:1/2/3;font-size:9px}.series-footer .series-lab[aria-current=page]{color:#65e6d0;background:#122522;border-color:#345a53}.series-footer a.series-lab:hover{color:#65e6d0;border-color:#65e6d0}.series-footer .series-unavailable{color:#8d9aaa}.series-footer .series-description{margin:0 0 13px;font-size:11px;line-height:1.95}.series-footer .series-sources{color:#c2d1df;text-underline-offset:4px;padding:5px 0;font-size:11px;display:inline-block}.series-sources span{color:#65e6d0;margin-left:8px}.series-owner{border-top:1px solid #253140;flex-wrap:wrap;align-items:center;gap:12px;margin-top:23px;padding-top:18px;font-size:10px;display:flex}.series-owner a{color:#aebdcb;text-decoration:none}.series-header a:hover,.series-footer a:hover{color:#65e6d0}.series-header a:focus-visible,.series-footer a:focus-visible{outline-offset:4px;outline:2px solid #65e6d0}#about{scroll-margin-top:20px}@media (width<=1100px){.series-labs{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width<=600px){.series-header{padding:18px 0}.series-header-row{flex-wrap:wrap;gap:10px;margin-top:10px}.series-header .series-label,.series-footer .series-label{letter-spacing:1.5px;font-size:8px}.series-header .series-wordmark{letter-spacing:1.2px;gap:8px;font-size:15px}.series-wordmark svg{flex-basis:26px;width:26px;height:26px}.series-theorem{letter-spacing:.5px;padding:5px 7px;font-size:8px}.series-header .series-about-link{display:none}.series-footer{padding:24px 0 28px}.series-labs{grid-template-columns:1fr;gap:10px;margin:16px 0 20px}.series-footer .series-lab{min-height:66px;padding:12px 14px}.series-footer .series-sources{align-items:center;min-height:44px;display:inline-flex}.series-owner{gap:9px;margin-top:17px;padding-top:13px}.series-owner a{align-items:center;gap:4px;min-height:44px;display:inline-flex}}.il-layer-visual,.il-distance-visual{--il-mint:#65e6c5;--il-blue:#80b4df;--il-purple:#bc9cec;--il-red:#ef8e92;min-width:0}.il-layer-svg,.il-distance-svg{width:100%;height:auto;font-family:inherit;display:block;overflow:visible}.il-layer-svg text,.il-distance-svg text{pointer-events:none}.il-svg-overline{fill:#8497a9;letter-spacing:1.4px;font-size:9px}.il-svg-small{fill:#94a9b8;font-size:10px}.il-svg-tick{fill:#8196a7;font-variant-numeric:tabular-nums;font-size:10px}.il-layer-label{fill:#c6d6df;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:14px}.il-domain-fill{fill:#192d36;stroke:#2c4550;stroke-width:1px}.il-domain-axis{stroke:#54717f;stroke-width:1px}.il-domain-tick{stroke:#698894;stroke-width:1px}.il-domain.is-highlighted .il-domain-fill{fill:#203e44;stroke:var(--il-mint)}.il-drag-track{fill:#0000;cursor:crosshair;touch-action:none}.il-state-point{fill:var(--il-mint);stroke:#132a2b;stroke-width:2px;cursor:grab;touch-action:none;outline:none}.il-state-point:active{cursor:grabbing}.il-state-point:focus-visible,.il-state-point.is-highlighted{stroke:#e7fff8;stroke-width:2.5px}.il-state-point:focus-visible{filter:drop-shadow(0 0 5px #65e6c580)}.il-state-value{fill:#94aeb9;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:10px}.il-family-connection,.il-projection,.il-fixed-thread{cursor:pointer;outline:none}.il-connection-line{fill:none;stroke-width:2.4px;stroke-linecap:round;pointer-events:none}.il-family-connection.is-coherent .il-connection-line{stroke:var(--il-mint)}.il-family-connection.is-incoherent .il-connection-line{stroke:var(--il-red);stroke-dasharray:5 5}.il-family-connection.is-highlighted .il-connection-line,.il-family-connection:focus-visible .il-connection-line{stroke-width:4px}.il-connection-hit,.il-projection-hit{stroke:#0000;stroke-width:15px;fill:none}.il-projection-line{fill:none;stroke:var(--il-blue);stroke-width:1.4px;opacity:.8;pointer-events:none}.il-projection-point{fill:#11212b;stroke:var(--il-blue);stroke-width:1.8px}.il-projection.is-highlighted .il-projection-line,.il-projection:focus-visible .il-projection-line{stroke-width:3px;opacity:1}.il-fixed-line{fill:none;stroke:var(--il-purple);stroke-width:2px;opacity:.75}.il-fixed-outer,.il-fixed-inner{fill:none;stroke:var(--il-purple);stroke-width:1.5px}.il-fixed-thread.is-highlighted .il-fixed-line,.il-fixed-thread:focus-visible .il-fixed-line{stroke-width:4px;opacity:1}.il-visual-legend{color:#adc0ca;flex-wrap:wrap;align-items:center;gap:8px 18px;padding:3px 20px 17px;font-size:11px;line-height:1.6;display:flex}.il-visual-legend>span,.il-legend-button{align-items:center;gap:7px;display:inline-flex}.il-legend-dot{background:var(--il-mint);box-sizing:border-box;border-radius:50%;width:8px;height:8px;display:inline-block}.il-legend-dot.is-projection{border:1.5px solid var(--il-blue);background:0 0;width:9px;height:9px}.il-legend-dot.is-fixed{border:3px double var(--il-purple);background:0 0;width:11px;height:11px}.il-legend-line{border-top:2px solid var(--il-mint);width:20px;height:0;display:inline-block}.il-legend-line.is-incoherent{border-color:var(--il-red);border-top-style:dashed}.il-legend-line.is-bound{border-color:var(--il-blue);border-top-style:dashed}.il-legend-button{font:inherit;color:inherit;cursor:pointer;background:0 0;border:0;padding:0}.il-legend-button:hover{color:#e6f6ff}.il-legend-button:focus-visible{outline:2px solid var(--il-blue);outline-offset:4px;border-radius:2px}.il-graph-grid{stroke:#243743;stroke-width:.7px}.il-graph-axis{fill:none;stroke:#536a79;stroke-width:1px}.il-distance-line{fill:none;stroke:var(--il-mint);stroke-width:3px;stroke-linejoin:round}.il-bound-line{fill:none;stroke:var(--il-blue);stroke-width:1.8px;stroke-dasharray:5 5}.il-distance-end{fill:var(--il-mint);stroke:#102029;stroke-width:1.5px}.il-distance-visual.is-highlighted .il-bound-line{stroke-width:3px}.il-graph-note{color:#c0a977}@media (width<=520px){.il-visual-legend{gap:7px 12px;padding-inline:9px;font-size:10px}.il-svg-small,.il-svg-tick,.il-state-value{font-size:11px}.il-layer-label{font-size:15px}}@media (prefers-reduced-motion:reduce){.il-layer-visual *,.il-distance-visual *{transition:none!important;animation:none!important}}.proof-guide{gap:14px;min-width:0;display:grid}.proof-guide-intro{font-size:13px}.proof-guide-progress{color:var(--mint);letter-spacing:.06em;align-items:center;gap:14px;font-size:11px;display:flex}.proof-guide-progress span{white-space:nowrap}.proof-guide-progress progress{width:100%;height:5px;accent-color:var(--mint);border:0}.proof-guide-progress progress::-webkit-progress-bar{background:var(--border);border-radius:4px}.proof-guide-progress progress::-webkit-progress-value{background:var(--mint);border-radius:4px}.proof-guide-step{border:1px solid var(--border);background:#101923;border-radius:8px;align-content:start;gap:12px;padding:16px;display:grid}.proof-guide-step h3{color:#e8eef5}.proof-guide-step p{overflow-wrap:anywhere;font-size:13px;line-height:1.85}.proof-guide-formula{min-width:0;max-width:100%;color:var(--mint);padding:7px 0;font-size:13px;overflow-x:auto}.proof-guide-note{color:#ddc9a7;background:#211f1a;border-left:2px solid #dfb77a;padding:10px 12px}.proof-guide-note.is-satisfied{border-color:var(--mint);color:#b6dfd5;background:#132822}.proof-guide-controls{grid-template-columns:1fr 1.3fr 1fr;gap:8px;display:grid}.proof-guide button{min-height:44px;font-size:13px}.proof-guide-return{width:100%;color:var(--mint);border-color:#355b54}.proof-guide-details{border-top:1px solid var(--border);min-width:0;padding-top:10px}.proof-guide-details summary{color:#bdcbd7;cursor:pointer;padding:8px 0;font-size:13px}.proof-guide-details summary:focus-visible{outline:2px solid var(--mint);outline-offset:3px}.proof-guide-dependencies{gap:9px;margin:8px 0 16px;display:grid}.proof-guide-dependencies p{border:1px solid var(--border);border-radius:5px;padding:10px;font-size:12px}.proof-guide-dependencies span{color:var(--muted);font-size:11px;display:block}.proof-guide-index{color:var(--muted);margin:0;padding-left:26px}.proof-guide-index button{text-align:left;background:0 0;border-color:#0000;width:100%;padding:8px}.proof-guide-index button[aria-current=step]{color:var(--mint);background:#142824}.proof-guide-quiz{gap:12px;padding-top:8px;display:grid}.proof-guide-quiz p{font-size:13px}.proof-guide-counter{color:var(--muted);font-size:11px}.proof-guide-choices{gap:8px;display:grid}.proof-guide-choices button{text-align:left}.proof-guide-answer{border-left:2px solid #51756c;padding-left:10px}@media (width<=400px){.proof-guide{gap:12px}.proof-guide-step{padding:12px}.proof-guide-controls{gap:5px}.proof-guide-controls button{padding:8px 6px;font-size:12px}}.proof-guide-controls.proof-step-controls{grid-template-columns:repeat(2,minmax(0,1fr))}:root{color:#e8eef5;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--mint:#65e6d0;--muted:#97a5b5;--border:#253140;background:#0b1017;font-family:Inter,-apple-system,BlinkMacSystemFont,Noto Sans JP,Hiragino Kaku Gothic ProN,sans-serif;font-size:14px;line-height:1.75}*{box-sizing:border-box}body{margin:0}button,input,select{font:inherit}button,select{color:inherit;background:#182330;border:1px solid #334251;border-radius:6px}button{cursor:pointer;min-height:42px;padding:10px 14px;line-height:1.45}button:hover{border-color:var(--mint);background:#203132}button:disabled{opacity:.4;cursor:not-allowed}button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible,summary:focus-visible{outline:2px solid var(--mint);outline-offset:3px}button[aria-pressed=true]{color:var(--mint);background:#17342f;border-color:#4c8177}a{color:var(--mint);text-underline-offset:4px}h1,h2,h3,p{margin:0}h2{font-size:20px;font-weight:500}h3{font-size:15px;font-weight:600}p{color:#aebdcb}select{max-width:100%;padding:9px 12px}input[type=range]{width:100%;accent-color:var(--mint);cursor:pointer;height:34px;margin:5px 0}summary{cursor:pointer;padding:12px 0}button,summary{-webkit-tap-highlight-color:transparent}.lab-shell{max-width:1200px;margin:auto;padding:0 32px}.skip-link{z-index:10;background:#162a29;padding:14px;position:absolute;top:-90px}.skip-link:focus{top:10px}.intro{justify-content:space-between;align-items:center;gap:20px;padding:23px 0 21px;display:flex}.intro h1{letter-spacing:.06em;font-size:22px;font-weight:500}.intro p{color:#8d9aaa;white-space:nowrap;font-size:10px}.intro p span{margin-left:18px}.eyebrow{letter-spacing:1.5px;color:#8195a7;font:10px/1.5 ui-monospace,SFMono-Regular,monospace}.chapter-tabs{border:1px solid var(--border);border-radius:7px;grid-template-columns:repeat(4,minmax(0,1fr));display:grid;overflow:hidden}.chapter-tabs button{border:0;border-right:1px solid var(--border);background:#101923;border-bottom:2px solid #0000;border-radius:0;justify-content:center;align-items:center;gap:10px;padding:13px 9px;font-size:13px;display:flex}.chapter-tabs button:last-child{border-right:0}.chapter-tabs button>span{color:#7c92a3;font:10px ui-monospace,monospace}.chapter-tabs button[aria-selected=true]{color:var(--mint);border-bottom-color:var(--mint);background:#142823}.chapter-tabs button[aria-selected=true]>span{color:var(--mint)}#experiment{outline:none;scroll-margin-top:10px}.chapter-heading{padding:24px 0 20px}.chapter-heading h2{margin:6px 0}.chapter-heading>p:last-child{font-size:12px}.experiment-layout{grid-template-columns:minmax(0,1.35fr) minmax(0,1fr);align-items:center;gap:28px;display:grid}.panel{border:1px solid var(--border);background:#111923;border-radius:9px;min-width:0}.visual-panel{min-width:0;padding:17px 18px 10px}.visual-heading{color:#b5c7d4;border-bottom:1px solid #223340;justify-content:space-between;align-items:center;padding:0 2px 12px;font-size:12px;display:flex}.visual-heading small{color:#8b9ead;font:9px ui-monospace,monospace}.visual-heading b{color:#c495ff;font-size:14px}.main-equation{border-top:1px solid var(--border);justify-content:center;margin-top:12px;padding:7px 0 0;display:flex;overflow:auto}.formula-token{color:#a4e6d6;background:0 0;border:1px solid #0000;max-width:100%;min-height:32px;padding:5px 8px;font-size:12px;overflow:auto}.formula-token.active{border-color:var(--mint);background:#1f3935}.math{white-space:nowrap}.katex{font-size:1.1em!important}.linked{outline:1px solid var(--mint);outline-offset:2px}.interaction-panel{min-width:0}.result-strip{color:#a4e6cd;background:#14231f;border-left:2px solid #4e9f83;border-radius:0 5px 5px 0;padding:13px 15px}.result-strip strong{font-size:14px;font-weight:500;display:block}.result-strip>span{color:#9cbbaf;margin-top:4px;font-size:11px;display:block}.result-strip.caution{color:#f0ce84;background:#29251b;border-color:#c5a556}.result-strip.caution>span{color:#c0b89d}.primary-actions{flex-wrap:wrap;gap:8px;margin-top:18px;display:flex}.primary-actions button{flex-grow:1;font-size:12px}.primary{color:#b6f5de;background:#21493e;border-color:#447f6d}.primary:hover{background:#2d574d}.secondary-actions{flex-wrap:wrap;gap:7px;margin-top:7px;display:flex}.secondary-actions button{color:#a6bccb;background:0 0;border-color:#0000;padding:8px;font-size:11px}.secondary-actions button:hover{border-color:#415967}.rate-control,.history-control{margin-top:19px}.rate-control label,.history-control label{color:#b4c6d5;justify-content:space-between;font-size:12px;display:flex}.rate-control b,.history-control b{color:#e8eef5;font:14px ui-monospace,monospace}.scale{color:#8d9eae;justify-content:space-between;font-size:9px;display:flex}.note{color:#92a3b4;margin-top:12px;line-height:1.9;font-size:11px!important}.chapter-insight{margin-top:20px;font-size:12px;line-height:1.9}.reading-actions{border-top:1px solid var(--border);flex-wrap:wrap;gap:5px 18px;margin-top:20px;padding-top:9px;display:flex}.reading-actions button{color:#b0c9d5;background:0 0;border:0;min-height:40px;padding:8px 0;font-size:11px}.live-notice{color:#a4b4c4;min-height:48px;padding:14px 0;font-size:11px}.series-disclosure{border-top:1px solid var(--border);margin-top:15px;margin-bottom:15px}.series-disclosure>summary{color:#93a9b9;padding:16px 0;font-size:11px}.series-disclosure .series-footer{border-top:0;padding-top:10px}.history-presets{gap:8px;display:flex}.history-presets button{flex:1;font-size:11px}.history-legend{color:#a5bec8;flex-wrap:wrap;gap:8px 20px;margin-top:7px;font-size:10px;display:flex}.history-legend>span:first-child{color:#65e6d0}.history-legend>span:nth-child(2){color:#fc6}.history-legend small{color:#9aabba;flex-basis:100%;font-size:9px}.comparison-thread{fill:none;stroke:#fc6;stroke-width:2px;stroke-dasharray:7 5;pointer-events:none}.comparison-point{fill:#111923;stroke:#fc6;stroke-width:1.5px;pointer-events:none}.il-layer-visual.readonly .il-drag-track{pointer-events:none}.il-layer-visual.readonly .il-state-point{cursor:default}.il-layer-visual.compact .il-layer-label{font-size:18px}.il-layer-visual.compact .il-svg-tick{font-size:12px}.il-layer-visual.compact .il-state-value{font-size:13px}.il-layer-visual.compact .il-svg-small{font-size:12px}.il-layer-visual.readonly .il-visual-legend{display:none}.representation-view{padding:20px 0}.representation-view svg{width:100%;display:block}.representation-view text{fill:#b7c9d5;font-size:12px}.rep-layer{stroke:#355264;stroke-width:2px}.rep-arrow{fill:none;stroke:#8da7ff;stroke-width:1.5px}.rep-arrow.mismatch{stroke:#ff9292;stroke-dasharray:5 4}.rep-symbol{fill:#142129;stroke-width:2px;stroke:#c495ff}.rep-symbol.faithful{stroke:#65e6d0}.rep-symbol.mismatch{stroke:#ff9292;stroke-dasharray:5 4}.rep-symbol.absent{stroke:#586879;stroke-dasharray:4 5;fill:none}.sheet{color:#e8eef5;overscroll-behavior:contain;background:#111923;border:1px solid #3b5061;border-radius:14px;width:min(700px,100vw - 40px);max-height:88dvh;padding:0;overflow:auto;box-shadow:0 20px 80px #0008}.sheet::backdrop{-webkit-backdrop-filter:blur(3px);backdrop-filter:blur(3px);background:#02070bbc}.sheet-header{z-index:2;background:#111923;border-bottom:1px solid #2c3c4b;justify-content:space-between;align-items:center;gap:15px;padding:15px 23px;display:flex;position:sticky;top:0}.sheet-header h2{font-size:17px}.sheet-header button{background:#1a2935;flex-shrink:0;font-size:12px}.sheet-body{padding:22px 25px 30px}.sheet-body p{font-size:13px;line-height:1.9}.sheet-body h3{margin:20px 0 10px}.sheet-body .formula-box{border:1px solid var(--border);background:#0a131c;border-radius:5px;margin:15px 0;padding:15px 12px;font-size:13px;line-height:2.4;overflow:auto}.sheet-body .about-content h2{font-size:17px}.sheet-body .about-content p,.sheet-body .math-content p{margin-top:12px}.sheet-body .math-content>button{margin-top:22px}.control-row{justify-content:space-between;align-items:center;gap:12px;margin-bottom:20px;display:flex}.control-row select{max-width:65%}.rate-presets{grid-template-columns:repeat(3,minmax(0,1fr));gap:8px;display:grid}.rate-presets button{font-size:12px}.condition-experiments{border-top:1px solid var(--border);margin-top:25px;padding-top:6px}.condition-experiments summary{font-size:14px}.condition-experiments label{color:#c2d1df;margin:18px 0 7px;font-size:12px;display:block}.condition-experiments select{width:100%;font-size:13px}.condition-experiments p{margin-top:14px}.witness{background:#0d1720;border:1px solid #2e4354;border-radius:6px;justify-content:space-around;align-items:center;gap:12px;margin-top:12px;padding:20px 12px;display:flex}.witness>div{flex-direction:column;flex:1;align-items:center;display:flex}.witness small{color:#a3b5c5;text-align:center;font-size:10px}.witness b{color:#8bd6c8;font:24px/1.8 ui-monospace,monospace}.witness>span{color:#aab6c4}.guarantee{color:#e8cf9c;background:#272418;border-left:2px solid #d5b772;padding:12px}.reset-button{color:#a1b4c4;background:0 0;margin-top:30px;font-size:12px}.history-facts,.report-grid{border:1px solid var(--border);background:#0b151e;gap:8px;padding:15px;font-size:12px;display:grid}.thread-gallery{grid-template-columns:repeat(4,minmax(0,1fr));gap:10px;margin:22px 0;display:grid}.thread-gallery button{color:#8fd8c4;flex-direction:column;align-items:start;min-width:0;padding:9px;display:flex}.thread-gallery svg{width:100%;max-height:105px}.thread-gallery b{font-size:12px;font-weight:500}.thread-gallery small{color:#a4b7c6;margin-top:4px;font:10px ui-monospace,monospace}.residual-list{grid-template-columns:1fr 1fr;gap:7px 20px;max-height:270px;font-size:12px;display:grid;overflow:auto}.residual-list>div{justify-content:space-between;gap:7px;display:flex}.residual-list b{color:#a3ddcb;font:11px ui-monospace,monospace}@media (width<=760px){.lab-shell{padding:0 18px}.intro{padding:19px 0 16px;display:block}.intro h1{font-size:20px}.intro p{margin-top:5px;font-size:9px}.intro p span{margin-left:12px}.experiment-layout{grid-template-columns:1fr;gap:13px}.visual-panel{width:100%;max-width:620px;margin:auto}.chapter-heading{padding:18px 0 14px}.chapter-heading h2{font-size:17px}.interaction-panel{width:100%;max-width:620px;margin:auto}.reading-actions{margin-top:12px;padding-top:5px}.chapter-insight{margin-top:12px;font-size:11px}.result-strip{padding:10px 12px}.result-strip strong{font-size:12px}.result-strip>span{font-size:10px}.rate-control,.history-control{margin-top:13px}.primary-actions{margin-top:12px}.primary-actions button{min-height:44px}.secondary-actions{margin-top:2px}.secondary-actions button{min-height:38px}.history-legend{gap:3px 14px}.representation-view{padding:10px 0}.sheet{border-bottom:0;border-radius:17px 17px 0 0;width:min(700px,100%);max-width:100%;max-height:87dvh;margin:auto 0 0}.sheet-body{padding:19px 20px max(25px, env(safe-area-inset-bottom))}.sheet-header{padding:12px 18px}.sheet-header h2{font-size:15px}.sheet-body p{font-size:12px}.live-notice{min-height:36px;padding:8px 0;font-size:10px}.series-disclosure{margin-top:8px}.chapter-tabs button{gap:6px;font-size:12px}.il-layer-visual.compact .il-visual-legend{gap:10px;font-size:9px}.main-equation{margin-top:5px;padding-top:4px}.main-equation .formula-token{font-size:11px}.visual-heading{padding-bottom:7px;font-size:11px}.sheet-body .formula-box{font-size:12px}.note{font-size:10px!important}}@media (width<=480px){.lab-shell{padding:0 14px}.series-header{padding:13px 0!important}.series-header .series-wordmark{letter-spacing:1px!important;gap:5px!important;font-size:13px!important}.series-header .series-wordmark svg{flex-basis:24px;width:24px;height:24px}.series-header .series-theorem{font-size:7px}.intro h1{font-size:18px}.intro{padding:16px 0 13px}.chapter-tabs button{flex-direction:column;gap:3px;padding:8px 2px;font-size:11px}.chapter-tabs button>span{font-size:8px}.chapter-heading .eyebrow{display:none}.chapter-heading h2{margin:0 0 6px;font-size:16px}.chapter-heading>p:last-child{font-size:11px}.chapter-heading{padding:15px 0 12px}.visual-panel{padding:12px 9px 6px}.visual-heading small{font-size:8px}.chapter-insight{line-height:1.75}.reading-actions{justify-content:space-between;gap:8px}.reading-actions button{font-size:10px}.sheet-body{padding:16px 16px max(22px, env(safe-area-inset-bottom))}.thread-gallery{gap:7px}.thread-gallery button{padding:7px}.thread-gallery small{font-size:9px}.thread-gallery b{font-size:11px}.control-row,.control-row select{font-size:12px}.representation-view text{font-size:13px}.history-facts,.report-grid{font-size:11px}}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}