@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/coflat/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/coflat/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/coflat/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/coflat/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/coflat/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/coflat/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/coflat/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/coflat/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/coflat/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/coflat/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/coflat/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/coflat/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/coflat/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/coflat/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/coflat/assets/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(/coflat/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/coflat/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/coflat/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/coflat/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/coflat/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/coflat/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/coflat/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/coflat/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/coflat/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/coflat/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/coflat/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/coflat/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/coflat/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/coflat/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/coflat/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/coflat/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/coflat/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/coflat/assets/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(/coflat/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/coflat/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/coflat/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/coflat/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/coflat/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/coflat/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/coflat/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/coflat/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/coflat/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/coflat/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/coflat/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/coflat/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/coflat/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/coflat/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/coflat/assets/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(/coflat/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/coflat/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/coflat/assets/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(/coflat/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/coflat/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/coflat/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/coflat/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/coflat/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/coflat/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/coflat/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/coflat/assets/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}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.38"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.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;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 .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.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 .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 .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.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;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.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:.833333em}.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.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.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.66667em}.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.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.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.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.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:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.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.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.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.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.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:.416667em}.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:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.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:.833333em}.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.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.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:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.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.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.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.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.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.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.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{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 .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{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 .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.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 .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 .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>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--cf-ui-font:system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--cf-content-font:KaTeX_Main, "Times New Roman", serif;--cf-code-font:Monaco, "DejaVu Sans Mono", Consolas, monospace;--cf-base-font-size:16px;--cf-line-height:1.5;--cf-bg:#fff;--cf-bg-secondary:#fff;--cf-fg:#09090b;--cf-muted:#71717a;--cf-border:#e4e4e7;--cf-subtle:#0000000a;--cf-hover:#00000014;--cf-active:#0000001f;--cf-mark-bg:#ff03;--cf-math-error-fg:#c00;--cf-math-error-bg:#ff00000d;--cf-danger:#dc2626;--cf-code-keyword:#9a3412;--cf-code-string:#166534;--cf-code-number:#1d4ed8;--cf-code-symbol:#0f766e;--cf-code-tag:#be123c;--cf-accent:#18181b;--cf-accent-fg:#fff;--cf-color-link:var(--cf-accent);--cf-color-code-bg:var(--cf-hover);--cf-active-shell-border:#dc2626;--cf-active-shell-fill:#dc26261a;--cf-active-shell-border-width:2px;--cf-bg-overlay:#ffffffd1;--cf-border-overlay:#e4e4e799;--cf-layer-inline-chrome:1;--cf-layer-preview-surface:1000;--cf-layer-block-picker:1010;--cf-block-header-accent:var(--cf-fg);--cf-block-header-border-width:0px;--cf-block-theorem-accent:var(--cf-block-header-accent);--cf-block-lemma-accent:var(--cf-block-header-accent);--cf-block-corollary-accent:var(--cf-block-header-accent);--cf-block-proposition-accent:var(--cf-block-header-accent);--cf-block-conjecture-accent:var(--cf-block-header-accent);--cf-block-definition-accent:var(--cf-block-header-accent);--cf-block-problem-accent:var(--cf-block-header-accent);--cf-block-example-accent:var(--cf-block-header-accent);--cf-block-remark-accent:var(--cf-block-header-accent);--cf-block-proof-accent:var(--cf-block-header-accent);--cf-block-algorithm-accent:var(--cf-block-header-accent);--cf-block-figure-accent:var(--cf-block-header-accent);--cf-block-table-accent:var(--cf-block-header-accent);--cf-block-title-color:var(--cf-fg);--cf-block-title-weight:700;--cf-block-theorem-style:italic;--cf-block-lemma-style:italic;--cf-block-corollary-style:italic;--cf-block-proposition-style:italic;--cf-block-conjecture-style:italic;--cf-block-definition-style:normal;--cf-block-problem-style:normal;--cf-block-example-style:normal;--cf-block-remark-style:normal;--cf-block-proof-style:normal;--cf-block-algorithm-style:normal;--cf-block-figure-style:normal;--cf-block-table-style:normal;--cf-block-nest-1:var(--cf-border);--cf-block-nest-2:var(--cf-active);--cf-block-nest-3:var(--cf-muted);--cf-block-nest-4:var(--cf-fg);--cf-proof-marker:"∎";--cf-proof-marker-color:var(--cf-fg);--cf-proof-marker-size:1.2em;--cf-blockquote-border:var(--cf-border);--cf-blockquote-color:var(--cf-fg);--cf-block-margin:.6em 0;--cf-block-title-display:inline;--cf-block-title-separator:".  ";--cf-table-border:var(--cf-border);--cf-table-header-border:var(--cf-border);--cf-table-edit-outline:var(--cf-active);--cf-table-cell-padding:.5em .75em;--cf-table-font-size:.9em;--cf-table-line-height:1.5;--cf-border-radius:2px;--cf-border-radius-lg:4px;--cf-spacing-xs:4px;--cf-spacing-sm:8px;--cf-spacing-md:12px;--cf-spacing-lg:16px;--cf-preview-surface-max-width:400px;--cf-preview-surface-max-height:300px;--cf-preview-surface-padding-block:var(--cf-spacing-md);--cf-preview-surface-padding-inline:var(--cf-spacing-lg);--cf-preview-surface-font-size:.9em;--cf-ui-font-size-sm:12px;--cf-ui-font-size-base:14px;--cf-border-width:1px;--cf-border-width-accent:2px;--cf-transition:.15s ease;--cf-content-max-width:800px;--cf-sidenote-width:224px;--cf-fence-guide-width:3px;--cf-doc-content-padding-block-start:24px;--cf-doc-content-padding-block-end:64px;--cf-doc-content-padding-inline:48px;--cf-doc-paragraph-margin:0;--cf-doc-heading-margin:0;--cf-doc-list-margin:.8em 0;--cf-doc-list-item-margin:.2em 0;--cf-doc-code-block-margin:1em 0;--cf-doc-display-math-margin:0;--cf-doc-blockquote-margin:1em 0;--cf-h1-size:1.15em;--cf-h1-weight:700;--cf-h1-style:normal;--cf-h2-size:1.15em;--cf-h2-weight:400;--cf-h2-style:italic;--cf-h3-size:1.1em;--cf-h3-weight:600;--cf-h3-style:italic;--cf-h4-size:1.05em;--cf-h4-weight:600;--cf-h4-style:normal;--cf-h5-size:1em;--cf-h5-weight:600;--cf-h5-style:normal;--cf-h6-size:.95em;--cf-h6-weight:600;--cf-h6-style:normal}[data-theme=dark]{--cf-ui-font:system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--cf-content-font:KaTeX_Main, "Times New Roman", serif;--cf-code-font:Monaco, "DejaVu Sans Mono", Consolas, monospace;--cf-base-font-size:16px;--cf-line-height:1.5;--cf-bg:#0a0a0a;--cf-bg-secondary:#0a0a0a;--cf-fg:#fafafa;--cf-muted:#a1a1aa;--cf-border:#27272a;--cf-subtle:#ffffff0d;--cf-hover:#ffffff1a;--cf-active:#ffffff26;--cf-mark-bg:#ffff0026;--cf-math-error-fg:#fca5a5;--cf-math-error-bg:#ef44442e;--cf-danger:#f87171;--cf-code-keyword:#fdba74;--cf-code-string:#86efac;--cf-code-number:#93c5fd;--cf-code-symbol:#5eead4;--cf-code-tag:#fda4af;--cf-accent:#fafafa;--cf-accent-fg:#09090b;--cf-color-link:var(--cf-accent);--cf-color-code-bg:var(--cf-hover);--cf-active-shell-border:#ef4444;--cf-active-shell-fill:#ef444429;--cf-active-shell-border-width:2px;--cf-bg-overlay:#0a0a0ad1;--cf-border-overlay:#3f3f4699;--cf-layer-inline-chrome:1;--cf-layer-preview-surface:1000;--cf-layer-block-picker:1010;--cf-block-header-accent:var(--cf-fg);--cf-block-header-border-width:0px;--cf-block-theorem-accent:var(--cf-block-header-accent);--cf-block-lemma-accent:var(--cf-block-header-accent);--cf-block-corollary-accent:var(--cf-block-header-accent);--cf-block-proposition-accent:var(--cf-block-header-accent);--cf-block-conjecture-accent:var(--cf-block-header-accent);--cf-block-definition-accent:var(--cf-block-header-accent);--cf-block-problem-accent:var(--cf-block-header-accent);--cf-block-example-accent:var(--cf-block-header-accent);--cf-block-remark-accent:var(--cf-block-header-accent);--cf-block-proof-accent:var(--cf-block-header-accent);--cf-block-algorithm-accent:var(--cf-block-header-accent);--cf-block-figure-accent:var(--cf-block-header-accent);--cf-block-table-accent:var(--cf-block-header-accent);--cf-block-title-color:var(--cf-fg);--cf-block-title-weight:700;--cf-block-theorem-style:italic;--cf-block-lemma-style:italic;--cf-block-corollary-style:italic;--cf-block-proposition-style:italic;--cf-block-conjecture-style:italic;--cf-block-definition-style:normal;--cf-block-problem-style:normal;--cf-block-example-style:normal;--cf-block-remark-style:normal;--cf-block-proof-style:normal;--cf-block-algorithm-style:normal;--cf-block-figure-style:normal;--cf-block-table-style:normal;--cf-block-nest-1:var(--cf-border);--cf-block-nest-2:var(--cf-active);--cf-block-nest-3:var(--cf-muted);--cf-block-nest-4:var(--cf-fg);--cf-proof-marker:"∎";--cf-proof-marker-color:var(--cf-fg);--cf-proof-marker-size:1.2em;--cf-blockquote-border:var(--cf-border);--cf-blockquote-color:var(--cf-fg);--cf-block-margin:.6em 0;--cf-block-title-display:inline;--cf-block-title-separator:".  ";--cf-table-border:var(--cf-border);--cf-table-header-border:var(--cf-border);--cf-table-edit-outline:var(--cf-active);--cf-table-cell-padding:.5em .75em;--cf-table-font-size:.9em;--cf-table-line-height:1.5;--cf-border-radius:2px;--cf-border-radius-lg:4px;--cf-spacing-xs:4px;--cf-spacing-sm:8px;--cf-spacing-md:12px;--cf-spacing-lg:16px;--cf-preview-surface-max-width:400px;--cf-preview-surface-max-height:300px;--cf-preview-surface-padding-block:var(--cf-spacing-md);--cf-preview-surface-padding-inline:var(--cf-spacing-lg);--cf-preview-surface-font-size:.9em;--cf-ui-font-size-sm:12px;--cf-ui-font-size-base:14px;--cf-border-width:1px;--cf-border-width-accent:2px;--cf-transition:.15s ease;--cf-content-max-width:800px;--cf-sidenote-width:224px;--cf-fence-guide-width:3px;--cf-doc-content-padding-block-start:24px;--cf-doc-content-padding-block-end:64px;--cf-doc-content-padding-inline:48px;--cf-doc-paragraph-margin:0;--cf-doc-heading-margin:0;--cf-doc-list-margin:.8em 0;--cf-doc-list-item-margin:.2em 0;--cf-doc-code-block-margin:1em 0;--cf-doc-display-math-margin:0;--cf-doc-blockquote-margin:1em 0;--cf-h1-size:1.15em;--cf-h1-weight:700;--cf-h1-style:normal;--cf-h2-size:1.15em;--cf-h2-weight:400;--cf-h2-style:italic;--cf-h3-size:1.1em;--cf-h3-weight:600;--cf-h3-style:italic;--cf-h4-size:1.05em;--cf-h4-weight:600;--cf-h4-style:normal;--cf-h5-size:1em;--cf-h5-weight:600;--cf-h5-style:normal;--cf-h6-size:.95em;--cf-h6-weight:600;--cf-h6-style:normal}.cf-ui-font{font-family:var(--cf-ui-font,system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif)}.cf-code-font,.font-mono{font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace)}.cf-doc-surface{color:var(--cf-fg);background:0 0}.cf-doc-flow{color:var(--cf-fg);font-family:var(--cf-content-font,KaTeX_Main, "Times New Roman", serif);font-size:var(--cf-base-font-size,16px);line-height:var(--cf-line-height,1.5);text-align:left;-webkit-font-smoothing:antialiased}.cf-theme-scope{color:var(--cf-fg);background:var(--cf-bg)}.cf-reader-shell,.cf-reader-document{box-sizing:border-box;color:var(--cf-fg);background:var(--cf-bg)}.cf-reader{box-sizing:border-box;max-width:var(--cf-content-max-width,800px);padding:var(--cf-doc-content-padding-block-start,24px) var(--cf-doc-content-padding-inline,48px) var(--cf-doc-content-padding-block-end,64px);counter-reset:cf-reader-h1 cf-reader-h2 cf-reader-h3 cf-reader-h4 cf-reader-h5 cf-reader-h6;margin-inline:auto}.cf-reader-toc{box-sizing:border-box;color:var(--cf-muted);font-family:var(--cf-ui-font,system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif);font-size:var(--cf-ui-font-size-base,14px)}.cf-reader a,.cf-reader .cf-doc-link{color:var(--cf-color-link,var(--cf-accent));text-underline-offset:2px;text-decoration:underline;text-decoration-thickness:1px;display:inline}.cf-reader a[data-cf-link-layout=flow],.cf-reader .cf-doc-link[data-cf-link-layout=flow]{display:inline}.cf-reader a[data-cf-link-layout=atomic],.cf-reader .cf-doc-link[data-cf-link-layout=atomic]{display:inline-block}.cf-reader .cf-doc-heading{margin:var(--cf-doc-heading-margin,.8em 0 .4em);font-family:var(--cf-content-font,KaTeX_Main, "Times New Roman", serif);color:var(--cf-fg);line-height:1.3}.cf-reader .cf-doc-heading--h1{font-size:var(--cf-h1-size,1.15em);font-style:var(--cf-h1-style,normal);font-weight:var(--cf-h1-weight,700)}.cf-reader .cf-doc-heading--h2{font-size:var(--cf-h2-size,1.15em);font-style:var(--cf-h2-style,italic);font-weight:var(--cf-h2-weight,400)}.cf-reader .cf-doc-heading--h3{font-size:var(--cf-h3-size,1.1em);font-style:var(--cf-h3-style,italic);font-weight:var(--cf-h3-weight,600);line-height:1.4}.cf-reader .cf-doc-heading--h4{font-size:var(--cf-h4-size,1.05em);font-style:var(--cf-h4-style,normal);font-weight:var(--cf-h4-weight,600);line-height:1.4}.cf-reader .cf-doc-heading--h5{font-size:var(--cf-h5-size,1em);font-style:var(--cf-h5-style,normal);font-weight:var(--cf-h5-weight,600)}.cf-reader .cf-doc-heading--h6{font-size:var(--cf-h6-size,.95em);font-style:var(--cf-h6-style,normal);font-weight:var(--cf-h6-weight,600)}.cf-doc-title{color:var(--cf-fg);border-bottom:var(--cf-border-width) solid var(--cf-border);cursor:text;-webkit-user-select:none;user-select:none;margin-bottom:.25em;padding-bottom:.15em;font-size:1.6em;font-weight:700;line-height:1.3;display:block}.cf-reader .cf-doc-heading:not(.cf-doc-heading--unnumbered):before{color:var(--cf-fg);margin-right:var(--cf-spacing-xs);font-weight:400}.cf-reader .cf-doc-heading--h1:not([data-section-number]):not(.cf-doc-heading--unnumbered):before{counter-increment:cf-reader-h1;counter-reset:cf-reader-h2 cf-reader-h3 cf-reader-h4 cf-reader-h5 cf-reader-h6;content:counter(cf-reader-h1) ". "}.cf-reader .cf-doc-heading--h2:not([data-section-number]):not(.cf-doc-heading--unnumbered):before{counter-increment:cf-reader-h2;counter-reset:cf-reader-h3 cf-reader-h4 cf-reader-h5 cf-reader-h6;content:counter(cf-reader-h1) "." counter(cf-reader-h2) ". "}.cf-reader .cf-doc-heading--h3:not([data-section-number]):not(.cf-doc-heading--unnumbered):before{counter-increment:cf-reader-h3;counter-reset:cf-reader-h4 cf-reader-h5 cf-reader-h6;content:counter(cf-reader-h1) "." counter(cf-reader-h2) "." counter(cf-reader-h3) ". "}.cf-reader .cf-doc-heading--h4:not([data-section-number]):not(.cf-doc-heading--unnumbered):before{counter-increment:cf-reader-h4;counter-reset:cf-reader-h5 cf-reader-h6;content:counter(cf-reader-h1) "." counter(cf-reader-h2) "." counter(cf-reader-h3) "." counter(cf-reader-h4) ". "}.cf-reader .cf-doc-heading--h5:not([data-section-number]):not(.cf-doc-heading--unnumbered):before{counter-increment:cf-reader-h5;counter-reset:cf-reader-h6;content:counter(cf-reader-h1) "." counter(cf-reader-h2) "." counter(cf-reader-h3) "." counter(cf-reader-h4) "." counter(cf-reader-h5) ". "}.cf-reader .cf-doc-heading--h6:not([data-section-number]):not(.cf-doc-heading--unnumbered):before{counter-increment:cf-reader-h6;content:counter(cf-reader-h1) "." counter(cf-reader-h2) "." counter(cf-reader-h3) "." counter(cf-reader-h4) "." counter(cf-reader-h5) "." counter(cf-reader-h6) ". "}[data-section-number]:before{content:attr(data-section-number) ". ";color:var(--cf-fg);margin-right:var(--cf-spacing-xs);font-weight:400}.cf-reader .cf-doc-paragraph{margin:var(--cf-doc-paragraph-margin,.5em 0);white-space:break-spaces;word-break:break-word;overflow-wrap:anywhere}.cf-reader .cf-doc-list{margin:0;padding-left:0}.cf-reader .cf-doc-list--unordered,.cf-reader .cf-doc-list--ordered{list-style:none}.cf-reader .cf-doc-list-item{white-space:break-spaces;word-break:break-word;overflow-wrap:anywhere;margin:0;display:block}.cf-list-bullet{color:var(--cf-fg);font-weight:700;font-family:var(--cf-content-font,KaTeX_Main, "Times New Roman", serif)}.cf-list-number{color:var(--cf-fg);font-variant-numeric:tabular-nums;font-weight:600;font-family:var(--cf-content-font,KaTeX_Main, "Times New Roman", serif)}.cf-reader .cf-doc-code-token{font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);background:var(--cf-color-code-bg,var(--cf-hover));border-radius:var(--cf-border-radius);padding:.1em .25em;font-size:.85em}.cf-reader .cf-doc-code-block{box-shadow:none;font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);line-height:var(--cf-line-height,1.5);background:0 0;border:0;border-radius:0;margin:0;padding:0;overflow-x:auto}.cf-reader .cf-doc-code-block[data-lang]:before{content:attr(data-lang);background:var(--cf-subtle);box-shadow:inset 0 var(--cf-border-width) 0 var(--cf-border), inset var(--cf-border-width) 0 0 var(--cf-border), inset calc(-1 * var(--cf-border-width)) 0 0 var(--cf-border);border-top-left-radius:var(--cf-border-radius-lg);border-top-right-radius:var(--cf-border-radius-lg);color:var(--cf-muted);font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);text-transform:uppercase;font-weight:600;display:block}.cf-reader .cf-doc-code-block code{background:var(--cf-subtle);box-shadow:inset var(--cf-border-width) 0 0 var(--cf-border), inset calc(-1 * var(--cf-border-width)) 0 0 var(--cf-border), inset 0 calc(-1 * var(--cf-border-width)) 0 var(--cf-border);border-bottom-left-radius:var(--cf-border-radius-lg);border-bottom-right-radius:var(--cf-border-radius-lg);font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);line-height:inherit;display:block}.cf-reader .cf-doc-code-block:not([data-lang]) code{box-shadow:inset 0 var(--cf-border-width) 0 var(--cf-border), inset var(--cf-border-width) 0 0 var(--cf-border), inset calc(-1 * var(--cf-border-width)) 0 0 var(--cf-border), inset 0 calc(-1 * var(--cf-border-width)) 0 var(--cf-border);border-radius:var(--cf-border-radius-lg)}.cf-reader .cf-doc-blockquote{margin:var(--cf-doc-blockquote-margin,1em 0);border-left:3px solid var(--cf-blockquote-border);color:var(--cf-blockquote-color);padding-left:1em}.cf-reader .cf-doc-table-block{margin:var(--cf-spacing-sm) 0;border-collapse:collapse;font-size:var(--cf-table-font-size,.9em);width:100%}.cf-reader .cf-doc-table-cell{border:var(--cf-border-width,1px) solid var(--cf-table-border);padding:var(--cf-table-cell-padding);line-height:var(--cf-table-line-height,1.5);text-align:left;vertical-align:top;white-space:break-spaces;word-break:break-word;overflow-wrap:anywhere}.cf-reader .cf-doc-table-header{border-bottom:var(--cf-border-width-accent,2px) solid var(--cf-table-header-border);background:0 0;font-weight:700}.cf-reader .cf-image{vertical-align:middle;max-width:100%;max-height:400px;display:inline-block}.cf-reader .cf-doc-display-math{margin:var(--cf-doc-display-math-margin,0);text-align:center}.cf-reader .cf-doc-list-item--check input[type=checkbox]{pointer-events:none;vertical-align:middle;margin-right:4px}.cm-editor{box-sizing:border-box;height:100%;font-family:var(--cf-content-font,KaTeX_Main, "Times New Roman", serif);font-size:var(--cf-base-font-size,16px);flex-direction:column;display:flex!important;position:relative!important}.cm-scroller{z-index:0;overflow-anchor:none;overscroll-behavior:contain;height:100%;position:relative;overflow:auto;align-items:flex-start!important;display:flex!important}.cm-content{box-sizing:border-box;max-width:var(--cf-content-max-width,800px);margin-left:auto;margin-right:max(var(--cf-sidenote-width,224px), calc((100% - var(--cf-content-max-width,800px)) / 2));min-height:100%;padding:var(--cf-doc-content-padding-block-start,24px) var(--cf-doc-content-padding-inline,48px) var(--cf-doc-content-padding-block-end,24px) var(--cf-doc-content-padding-inline,48px);line-height:var(--cf-line-height,1.5);white-space:pre;word-wrap:normal;outline:none;flex-grow:2;flex-shrink:0;display:block;overflow:visible}.cm-content[contenteditable=true]{-webkit-user-modify:read-write-plaintext-only}.cm-lineWrapping{white-space:break-spaces;word-break:break-word;overflow-wrap:anywhere;flex-shrink:1}.cm-line{line-height:inherit;padding:0;display:block}.cm-lineWrapping .cm-line.cf-codeblock-header,.cm-lineWrapping .cm-line.cf-codeblock-body,.cm-lineWrapping .cm-line.cf-codeblock-last{white-space:pre;word-break:normal;overflow-wrap:normal}.cm-editor .cm-line{padding:0}.cm-editor.cm-focused{outline:none}.cf-source-mode .cm-content{font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);font-size:11pt}.cf-sidenote-scroller{position:relative}.cf-sidenote-portal{width:var(--cf-sidenote-width,224px);pointer-events:none;height:0;z-index:var(--cf-layer-inline-chrome);box-sizing:border-box;position:absolute;top:0;right:0;overflow:visible}.cf-sidenote-portal:before{content:"";background:var(--cf-border);opacity:.5;pointer-events:none;width:1px;height:100vh;display:block;position:sticky;top:0}.cf-sidenote-entry{width:100%;color:var(--cf-fg);font-size:.75rem;line-height:1.625;font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);pointer-events:auto;cursor:pointer;overflow-wrap:break-word;box-sizing:border-box;padding:0 12px;position:absolute}.cf-sidenote-entry-number{color:var(--cf-fg);vertical-align:super;margin-right:2px;font-size:.7em;font-weight:600}.cf-bibliography,.cf-footnote-section{font-family:var(--cf-content-font,KaTeX_Main, "Times New Roman", serif);text-align:left;-webkit-hyphens:manual;hyphens:manual;font-size:.85rem;line-height:1.4}.cf-footnote-section{margin-top:2em}.cf-footnote-section .cf-bibliography-entry{cursor:pointer;margin-bottom:4px;font-size:.85em;line-height:1.6}.cf-bibliography-entry-number{margin-right:4px;font-weight:600}.cf-bibliography-entry+.cf-bibliography-entry{margin-top:.15em}.cf-bibliography-entry>.csl-entry,.cf-bibliography-entry-content>.csl-entry{margin:0}.cf-bibliography-entry-content{display:contents}:is(.cf-bibliography-entry>.csl-entry:has(>.csl-left-margin):has(>.csl-right-inline),.cf-bibliography-entry-content>.csl-entry:has(>.csl-left-margin):has(>.csl-right-inline)){grid-template-columns:auto minmax(0,1fr);align-items:start;column-gap:.5em;display:grid}.cf-bibliography-entry>.csl-entry>.csl-left-margin,.cf-bibliography-entry>.csl-entry>.csl-right-inline,.cf-bibliography-entry-content>.csl-entry>.csl-left-margin,.cf-bibliography-entry-content>.csl-entry>.csl-right-inline{margin:0}.cf-bibliography-entry>.csl-entry>.csl-left-margin,.cf-bibliography-entry-content>.csl-entry>.csl-left-margin{white-space:nowrap}.cf-bibliography-entry>.csl-entry>.csl-right-inline,.cf-bibliography-entry-content>.csl-entry>.csl-right-inline{overflow-wrap:anywhere;min-width:0}.cf-bibliography-backlinks{white-space:nowrap;margin-left:.5em;font-size:.9em}.cf-bibliography-backlink+.cf-bibliography-backlink{margin-left:.35em}.katex{color:inherit}.cf-math-inline .katex{font-size:inherit}.cf-breadcrumbs{opacity:0;transition:opacity var(--cf-transition,.15s)}.cf-breadcrumbs-visible{opacity:1}.cf-breadcrumbs-hidden{height:4px;overflow:hidden}.cf-breadcrumbs-instant{transition:none}.cf-inline-editor{font-family:inherit!important;font-size:inherit!important;line-height:inherit!important;background-color:#0000!important;border:none!important;min-height:auto!important;margin:0!important;padding:0!important}.cf-inline-editor.cm-focused{outline:none!important}.cf-inline-editor .cm-gutters{display:none!important}.cf-inline-editor .cm-scroller{font-family:inherit!important;font-size:inherit!important;line-height:inherit!important;overflow:visible!important}.cf-inline-editor .cm-content{font-family:inherit!important;font-size:inherit!important;line-height:inherit!important;max-width:none!important;min-height:auto!important;margin:0!important;padding:0!important}.cf-inline-editor .cm-line{padding:0!important}.cf-inline-editor .cm-cursor{border-left-color:currentColor}.cf-math-display{text-align:center;margin:0}.cf-math-display-numbered{text-align:initial;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;display:grid}.cf-math-display-content{width:fit-content;margin-inline:auto;display:block}.cf-math-display-numbered>.cf-math-display-content{grid-column:2;justify-self:center;margin-inline:0}.cf-math-display-number{white-space:nowrap;font-variant-numeric:tabular-nums;grid-column:3;justify-self:end;padding-left:1rem;font-style:normal}.cf-math-display .katex-display{font-size:inherit;margin:0}.cf-math-display .katex-display>.katex{font-size:inherit}.cf-preview-surface-shell{z-index:var(--cf-layer-preview-surface);background:var(--cf-bg);border:1px solid var(--cf-border);max-width:min(var(--cf-preview-surface-max-width), calc(100vw - 10px));max-height:min(var(--cf-preview-surface-max-height), calc(100vh - 10px));box-sizing:border-box;border-radius:8px;padding:0;position:fixed;overflow:auto;box-shadow:0 4px 6px -1px #0000001a,0 2px 4px -2px #0000001a}.cf-preview-surface-content{padding:var(--cf-preview-surface-padding-block) var(--cf-preview-surface-padding-inline);font-size:var(--cf-preview-surface-font-size);color:var(--cf-fg);line-height:1.5;font-family:var(--cf-content-font,KaTeX_Main, "Times New Roman", serif);box-sizing:border-box;display:block}.cf-preview-surface-header{margin-bottom:var(--cf-spacing-xs);color:var(--cf-fg);font-weight:700}.cf-preview-surface-body{color:var(--cf-fg);overflow-wrap:break-word}.cf-preview-surface-body p{margin:.25em 0}.cf-preview-surface-body p:first-child{margin-top:0}.cf-preview-surface-body p:last-child{margin-bottom:0}.cf-preview-surface-body .cf-doc-display-math{text-align:center;margin:0}.cf-preview-surface-body blockquote{border-left:3px solid var(--cf-blockquote-border);color:var(--cf-blockquote-color);margin-left:0;padding-left:1em}.cf-preview-surface-body ul,.cf-preview-surface-body ol{margin:.8em 0;padding-left:1.5em}.cf-preview-surface-body ul{list-style-type:disc;list-style-position:outside}.cf-preview-surface-body ol{list-style-type:decimal;list-style-position:outside}.cf-preview-surface-body li{margin:.2em 0;display:list-item}.cf-preview-surface-body .cf-doc-list{margin:0;padding-left:0}.cf-preview-surface-body .cf-doc-list--unordered,.cf-preview-surface-body .cf-doc-list--ordered{list-style:none}.cf-preview-surface-body .cf-doc-list-item{margin:0;display:block}.cf-hover-preview-tooltip{pointer-events:none;opacity:0;transition:opacity var(--cf-transition), transform var(--cf-transition);transform:translateY(2px)}.cf-hover-preview-tooltip[data-visible=true]{opacity:1;transform:translateY(0)}.cf-hover-preview{box-sizing:border-box;display:block}.cf-hover-preview-unresolved{color:var(--cf-muted);font-style:italic}.cf-citation-preview{white-space:normal}.cf-citation-preview-formatted{color:var(--cf-fg);margin-bottom:var(--cf-spacing-xs);font-weight:600}.cf-citation-preview-entry{color:var(--cf-fg)}.cf-hover-preview-citation{color:var(--cf-fg);margin-bottom:var(--cf-spacing-xs)}.cf-hover-preview-citation:last-child{margin-bottom:0}.cf-hover-preview-separator{border:none;border-top:1px solid var(--cf-border);margin:var(--cf-spacing-xs) 0}.cf-hover-preview-code-block{font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);background:var(--cf-hover);border:1px solid var(--cf-border);box-sizing:border-box;border-radius:0;max-width:100%;margin:.75em 0;padding:.5em .75em;overflow-x:auto}.cf-hover-preview-body code{font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);background:var(--cf-hover);border-radius:var(--cf-border-radius);padding:.15em .35em;font-size:.85em}.cf-hover-preview-code-block code{background:0 0;padding:0;font-size:1em}.cf-hover-preview-table-scroll{max-width:100%;margin:.75em 0;overflow:auto hidden}.cf-hover-preview-table-scroll table{border-collapse:collapse;font-size:var(--cf-table-font-size,.9em);width:max-content;min-width:100%;max-width:none;margin-inline:0}.cf-hover-preview-table-scroll th,.cf-hover-preview-table-scroll td{border:1px solid var(--cf-table-border);padding:var(--cf-table-cell-padding);text-align:left;line-height:var(--cf-table-line-height,1.5)}.cf-hover-preview-table-scroll th{border-bottom:2px solid var(--cf-table-header-border);background:var(--cf-subtle);font-weight:600}.cf-math-preview-scroller{position:relative}.cf-math-preview-layer{pointer-events:none;width:0;height:0;z-index:var(--cf-layer-preview-surface);position:absolute;top:0;left:0;overflow:visible}.cf-math-preview{cursor:grab;pointer-events:auto;width:fit-content;position:absolute}.cf-math-preview-content{white-space:nowrap;cursor:pointer;max-width:none;display:inline-block}.cm-line.cf-active-shell{background:0 0}.cm-line.cf-active-shell-top{border-top-left-radius:var(--cf-border-radius-lg);border-top-right-radius:var(--cf-border-radius-lg)}.cm-line.cf-active-shell-bottom{border-bottom-left-radius:var(--cf-border-radius-lg);border-bottom-right-radius:var(--cf-border-radius-lg)}.cf-active-shell-widget{box-sizing:border-box;background:0 0}.cf-shell-surface-layer{pointer-events:none;z-index:calc(var(--cf-layer-preview-surface) + 10);position:fixed;inset:0}.cf-shell-surface-box{border:var(--cf-active-shell-border-width) solid var(--cf-active-shell-border);background:var(--cf-active-shell-fill);box-sizing:border-box;border-radius:8px;position:fixed}.cf-shell-surface-box[data-depth="1"]{border-style:dashed}.cf-shell-surface-box[data-depth="2"]{border-style:dotted}.cf-shell-surface-label{background:var(--cf-active-shell-border);color:var(--cf-bg);font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);letter-spacing:.03em;border-radius:999px;padding:1px 6px;font-size:10px;font-weight:700;line-height:1.4;position:absolute;top:-18px;left:-1px}.cf-editor-debug-host{flex-direction:row;align-items:stretch;min-width:0;height:100%;display:flex}.cf-editor-debug-host>.cm-editor{flex:auto;min-width:0}.cf-debug-panel{box-sizing:border-box;width:min(340px,32vw);min-width:280px;height:100%;font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);color:var(--cf-fg);background:color-mix(in srgb, var(--cf-bg) 86%, transparent);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);border-left:1px solid var(--cf-border);z-index:calc(var(--cf-layer-preview-surface) + 20);flex:0 0 min(340px,32vw);padding:12px 14px 20px;font-size:12px;line-height:1.45;position:relative;overflow:auto}.cf-debug-panel-title{letter-spacing:.02em;text-transform:uppercase;margin-bottom:12px;font-size:13px;font-weight:700}.cf-debug-panel-actions{gap:8px;margin-bottom:12px;display:flex}.cf-debug-panel-button{appearance:none;border:1px solid var(--cf-border);background:color-mix(in srgb, var(--cf-bg) 82%, var(--cf-active-shell-fill));color:var(--cf-fg);cursor:pointer;font:inherit;letter-spacing:.03em;text-transform:uppercase;border-radius:999px;padding:6px 10px;font-size:11px;font-weight:700}.cf-debug-panel-button:hover{border-color:var(--cf-active-shell-border);background:color-mix(in srgb, var(--cf-bg) 68%, var(--cf-active-shell-fill))}.cf-debug-panel-button:active{background:color-mix(in srgb, var(--cf-bg) 56%, var(--cf-active-shell-fill))}.cf-debug-panel-section+.cf-debug-panel-section{margin-top:12px}.cf-debug-panel-label{color:var(--cf-muted);letter-spacing:.04em;text-transform:uppercase;margin-bottom:4px;font-size:11px;font-weight:700}.cf-debug-panel-pre{white-space:pre-wrap;word-break:break-word;margin:0}.cf-debug-panel-meta{color:var(--cf-muted);word-break:break-word;margin-top:4px}.cf-block-picker{z-index:var(--cf-layer-block-picker);background:var(--cf-bg);border:1px solid var(--cf-border);min-width:200px;max-height:240px;font-size:14px;font-family:var(--cf-ui-font);color:var(--cf-fg);opacity:0;transition:opacity var(--cf-transition), transform var(--cf-transition);border-radius:8px;position:fixed;overflow:hidden;transform:translateY(-2px);box-shadow:0 4px 6px -1px #0000001a,0 2px 4px -2px #0000001a}.cf-block-picker[data-visible=true]{opacity:1;transform:translateY(0)}.cf-block-picker-command{flex-direction:column;max-height:240px;display:flex}.cf-block-picker-input{border:none;border-bottom:1px solid var(--cf-border);width:100%;color:var(--cf-fg);font-family:var(--cf-ui-font);box-sizing:border-box;background:0 0;outline:none;padding:6px 10px;font-size:14px}.cf-block-picker-input::placeholder{color:var(--cf-muted)}.cf-block-picker-list{max-height:192px;padding:4px;scroll-padding-block:8px;overflow-y:auto}.cf-block-picker-empty{color:var(--cf-muted);padding:8px 10px}.cf-block-picker-item{cursor:pointer;-webkit-user-select:none;user-select:none;border-radius:4px;padding:6px 10px}.cf-block-picker-item:hover{background:var(--cf-hover)}.cf-block-picker-item[data-selected=true],.cf-block-picker-item[aria-selected=true]{background:var(--cf-subtle)}.cf-block-picker-item[data-selected=true]:hover,.cf-block-picker-item[aria-selected=true]:hover{background:var(--cf-hover)}.cf-doc-block--theorem{font-style:var(--cf-block-theorem-style);border-left-color:var(--cf-block-theorem-accent)}.cf-doc-block--lemma{font-style:var(--cf-block-lemma-style);border-left-color:var(--cf-block-lemma-accent)}.cf-doc-block--corollary{font-style:var(--cf-block-corollary-style);border-left-color:var(--cf-block-corollary-accent)}.cf-doc-block--proposition{font-style:var(--cf-block-proposition-style);border-left-color:var(--cf-block-proposition-accent)}.cf-doc-block--conjecture{font-style:var(--cf-block-conjecture-style);border-left-color:var(--cf-block-conjecture-accent)}.cf-doc-block--definition{font-style:var(--cf-block-definition-style);border-left-color:var(--cf-block-definition-accent)}.cf-doc-block--problem{font-style:var(--cf-block-problem-style);border-left-color:var(--cf-block-problem-accent)}.cf-doc-block--example{font-style:var(--cf-block-example-style);border-left-color:var(--cf-block-example-accent)}.cf-doc-block--remark,.cf-doc-block--note{font-style:var(--cf-block-remark-style);border-left-color:var(--cf-block-remark-accent)}.cf-doc-block--proof{font-style:var(--cf-block-proof-style);border-left-color:var(--cf-block-proof-accent)}.cf-doc-block--algorithm{font-style:var(--cf-block-algorithm-style);border-left-color:var(--cf-block-algorithm-accent)}.cf-doc-block--figure{font-style:var(--cf-block-figure-style);border-left-color:var(--cf-block-figure-accent)}.cf-doc-block--table{font-style:var(--cf-block-table-style);border-left-color:var(--cf-block-table-accent)}.cf-reader .cf-doc-block{border-left:var(--cf-block-header-border-width) solid var(--cf-block-header-accent);margin:0}.cf-doc-block:not(.cm-line){margin:var(--cf-block-margin)}.cf-reader .cf-doc-block:not(.cm-line){margin:0}.cf-reader .cf-doc-blank-line{line-height:inherit}.cf-reader .cf-doc-block-collapsible>.cf-doc-block-heading,.cf-reader details.cf-doc-block>.cf-doc-block-heading{cursor:default;list-style:none;display:block;position:relative}.cf-reader .cf-doc-block-collapsible,.cf-reader .cf-doc-section-heading-collapsible{position:relative}.cf-reader .cf-doc-block-collapsible>.cf-block-disclosure-body,.cf-reader .cf-section-disclosure-body{--cf-block-disclosure-indicator-color:color-mix(in srgb, var(--cf-fg) 45%, transparent);position:relative}.cf-reader .cf-doc-block-collapsible>.cf-block-disclosure-body:before,.cf-reader .cf-section-disclosure-body:before{background:var(--cf-block-disclosure-indicator-color);content:"";bottom:0;left:calc(-.5em - var(--cf-spacing-xs));opacity:0;pointer-events:none;transition:opacity var(--cf-transition,.15s ease);width:var(--cf-border-width-accent,2px);position:absolute;top:0;transform:translate(-50%)}.cf-reader .cf-doc-block-collapsible:has(>.cf-doc-block-heading>.cf-block-disclosure-toggle:hover)>.cf-block-disclosure-body:before{opacity:1}.cf-reader .cf-doc-block-collapsible:has(>.cf-doc-block-heading>.cf-block-disclosure-toggle:focus-visible)>.cf-block-disclosure-body:before{opacity:1}.cf-reader .cf-doc-section-heading-collapsible:has(>.cf-section-disclosure-toggle:hover)+.cf-section-disclosure-body:before{opacity:1}.cf-reader .cf-doc-section-heading-collapsible:has(>.cf-section-disclosure-toggle:focus-visible)+.cf-section-disclosure-body:before{opacity:1}.cf-reader .cf-block-heading-content{min-width:0}.cf-reader .cf-block-disclosure-toggle{appearance:none;color:var(--cf-border);cursor:pointer;font:inherit;font-style:normal;line-height:inherit;margin:0;margin-right:var(--cf-spacing-xs);opacity:0;transition:opacity var(--cf-transition,.15s ease);-webkit-user-select:none;user-select:none;background:0 0;border:0;padding:0;display:block;position:absolute;top:0;right:100%}.cf-reader .cf-doc-block-collapsible:hover>.cf-doc-block-heading>.cf-block-disclosure-toggle,.cf-reader .cf-doc-block-collapsible:focus-within>.cf-doc-block-heading>.cf-block-disclosure-toggle,.cf-reader .cf-doc-section-heading-collapsible:hover>.cf-block-disclosure-toggle,.cf-reader .cf-doc-section-heading-collapsible:focus-within>.cf-block-disclosure-toggle{opacity:1}.cf-reader .cf-block-disclosure-toggle:hover,.cf-reader .cf-block-disclosure-toggle:focus-visible,.cf-reader .cf-block-disclosure-toggle-collapsed{opacity:1;color:var(--cf-fg)}.cf-reader .cf-block-disclosure-toggle:focus-visible{outline-offset:2px;outline:1px solid}.cf-reader .cf-block-disclosure-body[hidden],.cf-reader .cf-section-disclosure-body[hidden]{display:none}.cf-reader details.cf-doc-block>.cf-doc-block-heading::marker{content:""}.cf-reader details.cf-doc-block>.cf-doc-block-heading::-webkit-details-marker{display:none}.cf-reader .cf-doc-block--proof .cf-doc-block-heading,.cf-reader .cf-doc-block--proof>.cf-doc-block-heading+.cf-doc-paragraph{display:inline}.cf-doc-block--proof:not(.cm-line){position:relative}.cf-doc-block--proof:not(.cm-line):not(.cf-block-header-collapsed):after{content:var(--cf-proof-marker);color:var(--cf-proof-marker-color);font-size:var(--cf-proof-marker-size);float:right}.cf-reader .cf-doc-block--proof:not(.cm-line):after{content:none}.cf-block-qed:after{content:var(--cf-proof-marker);float:right;color:var(--cf-proof-marker-color);font-size:var(--cf-proof-marker-size);line-height:1}.cf-block-caption{margin-top:var(--cf-spacing-xs);text-align:center;display:block}.cf-block-caption .cf-block-header-rendered:after{content:var(--cf-block-title-separator)}.cf-doc-block--proof .cf-block-header-rendered{font-style:italic;font-weight:400}.cf-doc-block--proof .cf-block-header-rendered:after{content:". "}.cf-doc-block--figure img{max-width:100%;margin-inline:auto;display:block}.cf-doc-block--table table{width:auto;max-width:100%;margin-inline:auto}.cf-block-blockquote{border-left:3px solid var(--cf-blockquote-border);color:var(--cf-blockquote-color);margin-left:0;padding-left:1em}.cf-block-header-rendered{display:var(--cf-block-title-display);font-weight:var(--cf-block-title-weight);color:var(--cf-block-title-color);font-style:normal;line-height:0}.cf-crossref{font-kerning:none;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;-webkit-text-decoration-color:var(--cf-muted);text-decoration-color:var(--cf-muted);text-underline-offset:2px;cursor:pointer}.cf-citation{font-kerning:none}.cf-crossref-unresolved{color:var(--cf-math-error-fg);background:var(--cf-math-error-bg);border-radius:0;padding:0 2px;text-decoration-line:none;box-shadow:inset 0 -1px}.cf-math-error{color:var(--cf-math-error-fg);background:var(--cf-math-error-bg);border-radius:var(--cf-border-radius);font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);padding:1px 4px;font-size:.85em}.cf-highlight{background-color:var(--cf-mark-bg,#ff03);color:var(--cf-fg);border-radius:var(--cf-border-radius);padding:1px 0}.cf-inline-code{font-family:var(--cf-code-font,Monaco, "DejaVu Sans Mono", Consolas, monospace);background:var(--cf-color-code-bg,var(--cf-hover));border-radius:var(--cf-border-radius);padding:.1em .25em;font-size:.85em}.cf-block-source{line-height:inherit}.cf-search-match{border-radius:var(--cf-border-radius);background:color-mix(in srgb, var(--cf-accent) 12%, transparent);box-shadow:0 0 0 1px color-mix(in srgb, var(--cf-accent) 24%, transparent)}.cf-search-match-selected{background:color-mix(in srgb, var(--cf-accent) 18%, transparent);box-shadow:0 0 0 2px color-mix(in srgb, var(--cf-accent) 55%, transparent)}.cf-search-panel{align-items:flex-start;gap:var(--cf-spacing-xs);padding:var(--cf-spacing-sm) var(--cf-spacing-md);background:var(--cf-bg);border-bottom:1px solid var(--cf-border);font-family:var(--cf-ui-font);font-size:var(--cf-ui-font-size-sm);color:var(--cf-fg);display:flex}.cf-search-toggle-replace{color:var(--cf-muted);cursor:pointer;border-radius:var(--cf-border-radius);background:0 0;border:none;flex-shrink:0;align-self:center;padding:2px;font-size:14px;line-height:1}.cf-search-toggle-replace:hover{color:var(--cf-fg);background:var(--cf-hover)}.cf-search-row{align-items:center;gap:var(--cf-spacing-xs);flex-wrap:nowrap;display:flex}.cf-search-input-wrap{border:1px solid var(--cf-border);border-radius:var(--cf-border-radius);background:var(--cf-bg);min-width:160px;max-width:280px;transition:border-color var(--cf-transition);flex:1;align-items:center;display:flex;position:relative}.cf-search-input-wrap:focus-within{border-color:var(--cf-accent)}.cf-search-input{min-width:0;font-family:inherit;font-size:inherit;color:var(--cf-fg);background:0 0;border:none;outline:none;flex:1;padding:4px 6px}.cf-search-input::placeholder{color:var(--cf-muted)}.cf-search-match-info{color:var(--cf-muted);white-space:nowrap;-webkit-user-select:none;user-select:none;flex-shrink:0;padding-right:6px;font-size:11px}.cf-search-toggles{flex-shrink:0;gap:2px;display:flex}.cf-search-toggle{border-radius:var(--cf-border-radius);min-width:24px;height:24px;color:var(--cf-muted);font-family:var(--cf-code-font);cursor:pointer;transition:all var(--cf-transition);-webkit-user-select:none;user-select:none;background:0 0;border:1px solid #0000;justify-content:center;align-items:center;padding:0 4px;font-size:11px;display:inline-flex}.cf-search-toggle:hover{background:var(--cf-hover);color:var(--cf-fg)}.cf-search-toggle-active{background:var(--cf-active);color:var(--cf-fg);border-color:var(--cf-border)}.cf-search-nav{flex-shrink:0;gap:2px;display:flex}.cf-search-action{border:1px solid var(--cf-border);border-radius:var(--cf-border-radius);background:var(--cf-bg);height:24px;color:var(--cf-fg);font-family:var(--cf-ui-font);font-size:var(--cf-ui-font-size-sm);cursor:pointer;white-space:nowrap;transition:background var(--cf-transition);-webkit-user-select:none;user-select:none;justify-content:center;align-items:center;padding:0 6px;display:inline-flex}.cf-search-action:hover{background:var(--cf-hover)}.cf-search-close{color:var(--cf-muted);background:0 0;border:none;margin-left:auto;font-size:16px}.cf-search-close:hover{color:var(--cf-fg);background:var(--cf-hover)}.cf-replace-row{margin-top:var(--cf-spacing-xs)}.cf-search-replace-actions{flex-shrink:0;gap:2px;display:flex}.cf-search-panel{flex-wrap:wrap}.cm-panel.cm-search{background:0 0;padding:0}@media (prefers-reduced-motion:reduce){:root{--cf-transition:0s}}@media (prefers-contrast:more){:root{--cf-border:#71717a;--cf-muted:#3f3f46;--cf-subtle:#00000014;--cf-hover:#0000001f;--cf-active:#0000002e}[data-theme=dark]{--cf-border:#a1a1aa;--cf-muted:#d4d4d8;--cf-subtle:#ffffff1a;--cf-hover:#ffffff2e;--cf-active:#ffffff47}}*{box-sizing:border-box}html,body{min-height:100%}body{color:#202124;background:#fff;margin:0;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}.demo-shell{grid-template-columns:232px minmax(0,1fr);min-height:100vh;display:grid}.demo-sidebar{background:#f7f8fa;border-right:1px solid #dadce0;flex-direction:column;align-self:start;gap:20px;width:232px;height:100vh;padding:24px 16px;display:flex;position:sticky;top:0}.demo-brand{padding:0 8px 4px}.demo-brand-title{color:#111827;font-size:18px;font-weight:700;line-height:1.2}.demo-brand-subtitle{color:#5f6368;margin-top:2px;font-size:13px;line-height:1.3}.demo-nav{gap:4px;display:grid}.demo-nav a,.demo-doc-link,.demo-surface-link{color:#202124;width:100%;min-height:36px;font:inherit;text-align:left;cursor:pointer;background:0 0;border:0;border-radius:6px;align-items:center;padding:8px;font-size:14px;line-height:1.2;text-decoration:none;display:flex}.demo-nav a:hover,.demo-doc-link:hover,.demo-surface-link:hover{background:#eceff3}.demo-doc-link[aria-current=page],.demo-surface-link[aria-current=page]{color:#0f172a;background:#dbeafe;font-weight:650}.demo-nav-secondary{border-top:1px solid #dadce0;margin-top:auto;padding-top:16px}.demo-nav-secondary a{color:#3c4043}.demo-main,#editor{min-width:0}#reader{max-width:var(--cf-content-max-width,800px);min-height:100vh;margin-left:auto;margin-right:max(var(--cf-sidenote-width,224px), calc((100% - var(--cf-content-max-width,800px)) / 2));padding:var(--cf-doc-content-padding-block-start,24px) var(--cf-doc-content-padding-inline,48px) var(--cf-doc-content-padding-block-end,24px) var(--cf-doc-content-padding-inline,48px)}#editor>.cm-editor{border:0;height:auto;min-height:100vh;overflow:visible}#editor>.cm-editor>.cm-scroller{overscroll-behavior:auto;height:auto;min-height:100vh;overflow:visible}@media (width<=760px){.demo-shell{display:block}.demo-sidebar{z-index:2;border-bottom:1px solid #dadce0;border-right:0;gap:12px;width:100%;height:auto;padding:12px;position:sticky}.demo-brand{padding:0}.demo-nav{gap:6px;display:flex;overflow-x:auto}.demo-nav a,.demo-doc-link,.demo-surface-link{white-space:nowrap;flex:none;width:auto;min-height:34px}.demo-nav-secondary{border-top:0;margin-top:0;padding-top:0}#reader{max-width:none;margin:0;padding:24px}}