@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2) format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff) format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2) format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff) format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2) format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff) format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2) format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff) format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2) format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff) format("woff"),url(/_astro/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(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2) format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff) format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2) format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff) format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2) format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff) format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2) format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff) format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2) format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff) format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2) format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff) format("woff"),url(/_astro/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(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2) format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff) format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2) format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff) format("woff"),url(/_astro/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(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2) format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff) format("woff"),url(/_astro/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(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff) format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2) format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff) format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2) format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff) format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.17.0"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}.probability-body{min-width:0;overflow-x:clip;background:linear-gradient(90deg,rgba(230,225,214,.28),transparent 15%,transparent 85%,rgba(230,225,214,.2)),var(--bg);color:var(--text);font-family:var(--serif);--prob-reader-rule: rgba(184, 172, 152, .58);--prob-reader-rule-soft: rgba(230, 225, 214, .82);--prob-reader-line: rgba(216, 208, 195, .78);--prob-reader-wash: rgba(247, 243, 236, .68);--prob-blue: #2b4c7e;--prob-green: #55745d;--prob-brown: #9a7b42;--prob-reader-blue-wash: rgba(43, 76, 126, .07);--prob-reader-green-wash: rgba(85, 116, 93, .075);--prob-reader-amber-wash: rgba(154, 123, 66, .08);--prob-reader-teal-wash: rgba(85, 116, 93, .075)}.prob-scroll-lock{overflow:hidden}.prob-shell{min-height:100dvh}.prob-topbar{position:sticky;top:0;z-index:50;width:100%;max-width:100vw;overflow:hidden;background:#fdfbf7fa;border-bottom:1px solid var(--prob-reader-line);box-shadow:0 1px #ffffffa3,0 6px 18px #1c1a1705}.prob-topbar-inner{display:grid;grid-template-columns:auto 1fr auto;align-items:center;gap:18px;width:min(100vw,1500px);max-width:100%;min-height:80px;margin:0 auto;padding:0 38px}.prob-menu-button{display:none;width:38px;height:38px;place-items:center;padding:8px;background:#fbf9f4c7;border:1px solid rgba(216,208,195,.9);border-radius:3px;box-shadow:1px 1px #ffffff94 inset,1px 2px 4px #1c1a1705;cursor:pointer}.prob-menu-button span{display:block;width:18px;border-top:1.5px solid var(--text)}.prob-menu-button span+span{margin-top:5px}.prob-wordmark{display:grid;width:fit-content;min-width:0;max-width:100%;color:var(--text);font-family:var(--sans);line-height:1;text-decoration:none;border-bottom:0}.prob-wordmark-name{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:1.12rem;font-weight:700;letter-spacing:.13em}.prob-wordmark-subtitle{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;margin-top:4px;color:var(--muted);font-size:.72rem;font-weight:600;letter-spacing:.18em}.prob-language-link{display:inline-flex;align-items:center;gap:.54rem;justify-self:end;min-width:0;max-width:100%;padding:.42rem .2rem .38rem;color:var(--text);background:transparent;border:0;border-top:1px solid rgba(184,172,152,.58);border-bottom:1px solid rgba(184,172,152,.74);box-shadow:none;font-family:var(--sans);font-size:.76rem;font-weight:700;letter-spacing:.12em;line-height:1.1;text-transform:uppercase;white-space:nowrap}.prob-language-link:before{content:"";width:1.1rem;border-top:1px solid rgba(184,172,152,.78)}.prob-language-link:after{content:"";width:1.1rem;border-top:1px solid rgba(184,172,152,.78)}.prob-language-link:hover{color:var(--link-hover);border-bottom-color:currentColor}.prob-layout{display:grid;grid-template-columns:minmax(210px,248px) minmax(0,880px) minmax(184px,228px);gap:clamp(24px,2.6vw,38px);align-items:start;width:min(100%,1500px);margin:0 auto;padding:34px 34px 78px}.prob-sidebar{position:sticky;top:108px;max-height:calc(100dvh - 132px);min-width:0;overflow-y:auto;overflow-x:hidden;padding:20px 18px 22px;background:linear-gradient(180deg,rgba(255,255,255,.2),transparent 34%),#fbf9f4c2;border:1px solid rgba(216,208,195,.76);border-left:0;box-shadow:1px 1px #ffffff8a inset,5px 7px 14px #1c1a1706;scrollbar-width:thin;scrollbar-color:rgba(118,110,101,.34) transparent}.prob-sidebar-title{display:block;margin-bottom:18px;padding-bottom:15px;color:var(--link);border-bottom:3px double rgba(184,172,152,.56);font-family:var(--sans);font-size:.98rem;font-weight:780;letter-spacing:0;line-height:1.34}.prob-sidebar-title[aria-current=page]{color:var(--link)}.prob-sidebar-nav{display:grid;gap:12px}.prob-nav-section{border-bottom:1px solid var(--prob-reader-rule-soft);padding-bottom:12px}.prob-nav-section summary{display:flex;align-items:center;justify-content:space-between;gap:14px;color:var(--text);font-family:var(--sans);font-size:.86rem;font-weight:700;line-height:1.32;cursor:pointer;list-style:none}.prob-nav-section summary::-webkit-details-marker{display:none}.prob-nav-section summary:after{content:"";width:9px;height:9px;border-right:1.5px solid currentColor;border-bottom:1.5px solid currentColor;transform:rotate(45deg) translateY(-2px);transition:transform .16s ease}.prob-nav-section[open] summary:after{transform:rotate(225deg) translateY(-2px)}.prob-nav-list{display:grid;gap:0;margin-top:10px;border-top:1px solid rgba(230,225,214,.76)}.prob-nav-list a{display:block;min-width:0;padding:.58rem .72rem;color:var(--muted);border:0;border-bottom:1px solid rgba(230,225,214,.7);border-left:3px solid transparent;font-family:var(--sans);font-size:.88rem;font-weight:560;line-height:1.24}.prob-nav-list a:hover{color:var(--link-hover);background:#f7f3ecb3}.prob-nav-list a[aria-current=page]{color:var(--text);background:linear-gradient(90deg,#2b4c7e1f,#2b4c7e06);border-left-color:var(--link);font-weight:760}.prob-main{min-width:0}.prob-article{position:relative;min-width:0;padding:58px clamp(30px,4vw,62px) 74px;background:var(--surface);border:1px solid rgba(216,208,195,.76);border-top-color:#b8ac98b8;box-shadow:1px 1px #ffffff94 inset,-1px -1px #b7aa9214 inset,4px 7px 18px #1c1a1709}.prob-article--front{padding-top:64px}.prob-article:before{content:"";position:absolute;inset:7px 7px auto;height:1px;background:#ffffffa3;border-bottom:1px solid rgba(216,208,195,.26);pointer-events:none}.prob-article-header{margin-bottom:40px;padding-bottom:14px;border-bottom:3px double rgba(184,172,152,.78)}.prob-article-header--front{position:relative;margin-bottom:48px;padding:0 0 24px 18px;border-bottom:0}.prob-article-header--front:before{content:"";position:absolute;left:0;top:.18rem;width:5px;height:calc(100% - 1.4rem);background:linear-gradient(180deg,var(--link),rgba(111,98,82,.92)),var(--link);box-shadow:1px 0 #ffffff9e inset,8px 0 26px #2b4c7e14}.prob-article-header--front:after{content:"";display:block;height:7px;margin-top:26px;border-top:3px double rgba(184,172,152,.82);border-bottom:1px solid rgba(184,172,152,.48)}.prob-article-header h1{margin:0;max-width:17ch;overflow-wrap:anywhere;color:var(--text);font-family:var(--sans);font-size:clamp(2.1rem,4.5vw,3rem);font-weight:800;letter-spacing:0;line-height:1.12}.prob-article-header--front h1{max-width:780px}.prob-article-header h1.prob-hero-title{position:relative;display:grid;gap:.06em;color:var(--text);font-family:var(--sans);font-size:4.75rem;font-weight:900;letter-spacing:0;line-height:.96;text-transform:none}.prob-article-header h1.prob-hero-title:after{content:"";position:absolute;right:.12em;bottom:.06em;width:34%;border-top:1px solid rgba(43,76,126,.34);box-shadow:0 5px #b8ac9847}.prob-article-header h1.prob-hero-title .prob-hero-title-line{display:block;letter-spacing:0}.prob-article-header h1.prob-hero-title .prob-hero-title-line--1{color:var(--link);font-size:.82em;white-space:nowrap}.prob-article-header h1.prob-hero-title .prob-hero-title-line--2{transform:translate(.36em)}.prob-article-header h1.prob-hero-title .prob-hero-title-line--3{transform:translate(.06em)}.prob-authors{margin:18px 0 0;color:var(--muted);font-family:var(--sans);font-size:.94rem;font-weight:620;line-height:1.45}.prob-article-header--front .prob-authors{margin-top:22px;padding-left:.18rem;font-size:.98rem;font-weight:720}.prob-content{min-width:0;font-size:1.02rem;line-height:1.84}.prob-content>*:first-child{margin-top:0}.prob-content p,.prob-content li{overflow-wrap:break-word}.prob-content p{margin:0 0 1rem}.prob-content ul,.prob-content ol{margin:.9rem 0 1.15rem;padding-left:1.35rem}.prob-content li{margin:.35rem 0}.prob-content h2,.prob-content h3,.prob-content h4{scroll-margin-top:112px;color:var(--text);font-family:var(--sans);letter-spacing:0}.prob-content h2{margin:3.1rem 0 1.05rem;padding-top:.56rem;border-top:3px double rgba(216,208,195,.82);font-size:clamp(1.45rem,2.5vw,2rem);font-weight:780;line-height:1.25}.prob-content h2:after{content:none}.prob-content h3{margin:2.05rem 0 .78rem;font-size:1.22rem;font-weight:730;line-height:1.32}.prob-content h4{margin:1.6rem 0 .6rem;font-size:1.03rem;font-weight:700}.prob-content a{color:var(--link)}.prob-content table{display:block;width:max-content;max-width:100%;overflow-x:auto;margin:1.35rem 0 1.5rem;border-collapse:collapse;font-size:.92rem;line-height:1.55;white-space:nowrap;scrollbar-width:thin;scrollbar-color:rgba(118,110,101,.42) transparent}.prob-content th,.prob-content td{padding:.55rem 1.05rem .55rem 0;border-bottom:1px solid rgba(214,205,190,.84);text-align:left;vertical-align:top}.prob-content th{color:var(--ink-strong);font-weight:760;border-top:1px solid rgba(48,44,38,.34);border-bottom-color:#302c2647}.prob-content table .katex{white-space:nowrap}.prob-content pre{overflow-x:auto;margin:1.1rem 0;padding:1rem;background:var(--color-paper-raised);border:1px solid rgba(216,208,195,.82);font-size:.9rem}.prob-content code{font-family:SFMono-Regular,Consolas,Liberation Mono,monospace}.prob-content .katex{font-size:1.02em}.prob-content .katex-display{max-width:100%;overflow-x:auto;overflow-y:hidden;margin:1.2rem 0 1.35rem;padding:.48rem .2rem .62rem;scrollbar-width:thin;scrollbar-color:rgba(118,110,101,.42) transparent}.prob-content .katex-display>.katex{white-space:nowrap}.prob-mobile-toc{display:none}.prob-reader-tools{display:flex;flex-wrap:wrap;gap:.48rem;margin:-.2rem 0 1.35rem;padding-bottom:1rem;border-bottom:1px solid rgba(230,225,214,.78)}.prob-tool-button{appearance:none;display:inline-flex;align-items:center;min-height:2.1rem;padding:.38rem .72rem;color:var(--link);background:#fbf9f4b8;border:1px solid rgba(216,208,195,.9);border-radius:2px;box-shadow:1px 1px #ffffff7a inset;font-family:var(--sans);font-size:.78rem;font-weight:680;line-height:1.1;cursor:pointer}.prob-tool-button:hover,.prob-tool-button:focus-visible{color:var(--link-hover);border-color:#2b4c7e61;outline:none}.prob-tool-button:active{transform:translateY(1px)}.prob-admonition{position:relative;margin:1.34rem 0 1.46rem;background:var(--color-paper-raised);border:1px solid var(--prob-reader-rule-soft);border-left:3px solid var(--link);box-shadow:1px 1px #ffffff85 inset,-1px -1px #b7aa920f inset,0 5px 12px #1c1a1705}.prob-admonition-title,.prob-admonition summary{min-height:2.54rem;padding:.64rem .92rem;background:var(--prob-reader-wash);border-bottom:1px solid rgba(230,225,214,.78);color:var(--text);font-family:var(--sans);font-size:.88rem;font-weight:760;line-height:1.36}.prob-admonition summary{display:flex;align-items:center;justify-content:space-between;gap:1rem;cursor:pointer;list-style:none}.prob-admonition summary::-webkit-details-marker{display:none}.prob-admonition summary:after{content:"";width:9px;height:9px;flex:0 0 auto;border-right:1.5px solid currentColor;border-bottom:1.5px solid currentColor;transform:rotate(45deg);transition:transform .15s ease}.prob-admonition[open] summary:after{transform:rotate(225deg)}.prob-admonition-body{min-width:0;padding:.9rem 1rem .96rem}.prob-admonition-body>*:last-child{margin-bottom:0}.prob-admonition--question{border-left-color:var(--prob-blue)}.prob-admonition--question .prob-admonition-title,.prob-admonition--question summary{background:var(--prob-reader-blue-wash)}.prob-admonition--proof,.prob-admonition--solution,.prob-admonition--reading-map,.prob-admonition--checkpoint,.prob-admonition--definition,.prob-admonition--theorem,.prob-admonition--proposition{border-left-color:var(--prob-green)}.prob-admonition--proof summary,.prob-admonition--solution summary,.prob-admonition--reading-map .prob-admonition-title,.prob-admonition--checkpoint summary,.prob-admonition--definition .prob-admonition-title,.prob-admonition--theorem .prob-admonition-title,.prob-admonition--proposition .prob-admonition-title{background:var(--prob-reader-green-wash)}.prob-admonition--note,.prob-admonition--remark,.prob-admonition--plain{border-left-color:var(--prob-brown)}.prob-admonition--note .prob-admonition-title,.prob-admonition--remark .prob-admonition-title,.prob-admonition--plain .prob-admonition-title{background:var(--prob-reader-amber-wash)}.prob-entry-list{display:grid;gap:1.35rem;margin:2.1rem 0 0}.prob-entry-group{border-top:3px double rgba(184,172,152,.64)}.prob-entry-group-title{padding:.78rem 0 .62rem;color:var(--muted);font-family:var(--sans);font-size:.78rem;font-weight:720;letter-spacing:.08em;text-transform:uppercase}.prob-entry-link{display:grid;grid-template-columns:minmax(11rem,.55fr) minmax(0,1fr);gap:1.1rem;padding:.76rem 0 .76rem .78rem;border-bottom:1px solid var(--prob-reader-rule-soft);border-left:3px solid transparent;color:var(--text);font-family:var(--sans);transition:color .14s ease,background-color .14s ease,border-color .14s ease}.prob-entry-link:hover{color:var(--link-hover);background:linear-gradient(90deg,rgba(247,243,236,.72),transparent 80%);border-left-color:#2b4c7e42}.prob-entry-desc{color:var(--muted);font-size:.88rem}.prob-toc{position:sticky;top:108px;min-width:0}.prob-toc-card{max-height:calc(100dvh - 132px);overflow-y:auto;overflow-x:hidden;padding:18px 15px;background:linear-gradient(180deg,rgba(255,255,255,.18),transparent 34%),var(--surface);border:1px solid var(--prob-reader-line);border-top:3px solid rgba(184,172,152,.62);box-shadow:1px 1px #ffffff8f inset,0 12px 26px #1c1a170a;scrollbar-width:thin;scrollbar-color:rgba(118,110,101,.34) transparent}.prob-toc-card summary{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:13px;color:var(--text);font-family:var(--sans);font-size:.72rem;font-weight:780;letter-spacing:.18em;line-height:1.2;text-transform:uppercase;cursor:pointer;list-style:none}.prob-toc-card summary::-webkit-details-marker{display:none}.prob-toc-card summary:after{content:"";width:9px;height:9px;border-right:1.5px solid currentColor;border-bottom:1.5px solid currentColor;transform:rotate(45deg) translateY(-2px);transition:transform .16s ease}.prob-toc-card[open] summary:after{transform:rotate(225deg) translateY(-2px)}.prob-toc-card nav{display:grid;gap:0;padding-left:10px;border-left:1px solid rgba(216,208,195,.72)}.prob-toc-link{display:block;min-width:0;padding:.46rem .5rem;color:var(--link);border:0;border-bottom:1px solid var(--prob-reader-rule-soft);font-family:var(--sans);font-size:.78rem;font-weight:650;line-height:1.26;overflow-wrap:anywhere}.prob-toc-link:hover{color:var(--link-hover);background:#f7f3ec9e}.prob-toc-link--3{padding-left:1rem;color:color-mix(in srgb,var(--link) 78%,var(--muted));font-size:.75rem;font-weight:560}.prob-toc-link--4{padding-left:1.46rem;color:var(--muted);font-size:.7rem;font-weight:520}.prob-chapter-nav{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.8rem;margin-top:3rem;padding-top:1rem;border-top:3px double rgba(184,172,152,.7)}.prob-chapter-link{display:grid;gap:.16rem;min-width:0;padding:.76rem .86rem;color:var(--text);background:#fbf9f4a3;border:1px solid rgba(216,208,195,.86);border-left:3px solid transparent;font-family:var(--sans)}.prob-chapter-link:hover,.prob-chapter-link:focus-visible{color:var(--link-hover);border-left-color:#2b4c7e80;outline:none}.prob-chapter-link span{color:var(--muted);font-size:.7rem;font-weight:680;letter-spacing:.08em;line-height:1.1;text-transform:uppercase}.prob-chapter-link strong{overflow-wrap:anywhere;font-size:.95rem;font-weight:720;line-height:1.28}.prob-chapter-link--next{justify-items:end;text-align:right}.prob-sidebar-scrim{display:none}@media(max-width:1240px){.prob-layout{grid-template-columns:minmax(190px,230px) minmax(0,1fr)}.prob-toc{display:none}}@media(max-width:860px){.probability-body,.prob-shell{width:100%;max-width:100%;overflow-x:hidden;overscroll-behavior-x:none}.prob-topbar-inner{grid-template-columns:38px minmax(0,1fr) max-content;width:100%;max-width:100%;min-height:68px;padding:0 16px;gap:13px}.prob-menu-button{display:grid;justify-self:start}.prob-wordmark-name{font-size:.88rem;letter-spacing:.12em}.prob-wordmark-subtitle{font-size:.58rem;letter-spacing:.15em}.prob-language-link{justify-self:end;gap:.45rem;padding:.2rem 0 .22rem;font-size:.68rem;letter-spacing:.095em}.prob-language-link:before{width:.82rem}.prob-language-link:after{content:none}.prob-layout{display:block;width:100%;max-width:100%;overflow-x:hidden;padding:0}.prob-sidebar{position:fixed;top:68px;left:0;z-index:60;width:min(82vw,310px);max-height:calc(100dvh - 68px);height:calc(100dvh - 68px);padding:24px 22px 28px;background:var(--surface);border-right:1px solid rgba(184,172,152,.78);box-shadow:12px 0 32px #1c1a171f;transform:translate(-105%);transition:transform .18s ease}.prob-shell.is-sidebar-open .prob-sidebar{transform:translate(0)}.prob-sidebar-scrim{position:fixed;inset:68px 0 0;z-index:55;display:block;width:100%;background:#1c1a172e;border:0;opacity:0;pointer-events:none;transition:opacity .16s ease}.prob-shell.is-sidebar-open .prob-sidebar-scrim{opacity:1;pointer-events:auto}.prob-main{width:100%;max-width:100%;overflow-x:hidden}.prob-article{width:100%;max-width:100%;overflow-x:clip;border-left:0;border-right:0;padding:42px 20px 58px;box-shadow:none}.prob-article--front{padding-top:46px}.prob-article-header{width:min(100%,20.75rem);inline-size:min(100%,20.75rem);max-width:20.75rem;contain:inline-size;margin-bottom:32px}.prob-article-header--front{margin-bottom:38px;padding-left:14px}.prob-article-header--front:before{width:4px}.prob-article-header h1{max-width:100%;font-size:clamp(2rem,10vw,2.45rem);word-break:break-word}.prob-article-header h1.prob-hero-title{font-size:3.2rem;line-height:1}.prob-article-header h1.prob-hero-title:after{content:none}.prob-article-header h1.prob-hero-title .prob-hero-title-line--2,.prob-article-header h1.prob-hero-title .prob-hero-title-line--3{transform:none}.prob-content{width:min(100%,20.75rem);inline-size:min(100%,20.75rem);max-width:20.75rem;min-width:0;contain:inline-size;font-size:.98rem;line-height:1.72}.prob-mobile-toc,.prob-reader-tools,.prob-chapter-nav{width:min(100%,20.75rem);inline-size:min(100%,20.75rem);max-width:20.75rem;min-width:0;contain:inline-size}.prob-mobile-toc{display:block;margin:-.92rem 0 1rem;background:#fbf9f4b8;border:1px solid rgba(216,208,195,.86);border-left:3px solid rgba(43,76,126,.48)}.prob-mobile-toc summary{display:flex;align-items:center;justify-content:space-between;gap:.8rem;min-height:2.42rem;padding:.62rem .82rem;color:var(--text);font-family:var(--sans);font-size:.82rem;font-weight:740;line-height:1.2;cursor:pointer;list-style:none}.prob-mobile-toc summary::-webkit-details-marker{display:none}.prob-mobile-toc summary:after{content:"";width:8px;height:8px;flex:0 0 auto;border-right:1.4px solid currentColor;border-bottom:1.4px solid currentColor;transform:rotate(45deg) translateY(-2px)}.prob-mobile-toc[open] summary:after{transform:rotate(225deg) translateY(-2px)}.prob-mobile-toc nav{display:grid;padding:0 .82rem .68rem}.prob-mobile-toc-link{padding:.42rem 0;color:var(--link);border-bottom:1px solid rgba(230,225,214,.82);font-family:var(--sans);font-size:.82rem;font-weight:620;line-height:1.28;overflow-wrap:anywhere}.prob-mobile-toc-link--3{padding-left:.85rem;color:color-mix(in srgb,var(--link) 80%,var(--muted));font-size:.78rem}.prob-mobile-toc-link--4{padding-left:1.35rem;color:var(--muted);font-size:.74rem}.prob-reader-tools{margin:0 0 1rem;padding-bottom:.85rem}.prob-tool-button{min-height:2rem;padding:.34rem .64rem;font-size:.74rem}.prob-content>*,.prob-admonition,.prob-entry-list,.prob-entry-group,.prob-entry-link{max-width:100%;min-width:0}.prob-content>p,.prob-content>ul,.prob-content>ol,.prob-content>.prob-entry-list{width:100%;max-width:100%}.prob-admonition-body>*{max-width:100%}.prob-content p,.prob-content li{overflow-wrap:anywhere;word-break:normal;line-break:anywhere;text-wrap:pretty}.prob-content h2{margin-top:2.1rem;font-size:1.36rem}.prob-content h3{margin-top:1.55rem;font-size:1.08rem}.prob-content h4{margin-top:1.25rem;font-size:.98rem}.prob-admonition{margin:1.05rem 0}.prob-admonition-title,.prob-admonition summary{min-height:2.28rem;padding:.58rem .74rem;font-size:.82rem}.prob-admonition-body{padding:.78rem .82rem .86rem}.prob-entry-link{grid-template-columns:1fr;gap:.16rem}.prob-chapter-nav{grid-template-columns:1fr;gap:.58rem;margin-top:2.1rem;padding-top:.85rem}.prob-chapter-link{padding:.68rem .74rem}.prob-chapter-link--next{justify-items:start;text-align:left}}@media(max-width:420px){.prob-topbar-inner{grid-template-columns:36px minmax(0,1fr) max-content;gap:10px;padding-inline:14px}.prob-menu-button{width:36px;height:36px;padding:8px}.prob-wordmark-name{font-size:.78rem;letter-spacing:.105em}.prob-wordmark-subtitle{font-size:.52rem;letter-spacing:.125em}.prob-language-link{gap:0;font-size:.64rem;letter-spacing:.075em}.prob-language-link:before{content:none}.prob-article-header h1.prob-hero-title{font-size:2.48rem}.prob-article-header--front:after{margin-top:22px}.prob-content>p,.prob-content>ul,.prob-content>ol,.prob-content>.prob-entry-list{width:100%;max-width:100%}.prob-admonition-body>*{max-width:100%}}