@font-face{font-display:"swap";font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(./KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(./KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(./KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(./KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(./KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(./KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(./KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(./KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(./KaTeX_Main-Regular-B22Nviop.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(./KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(./KaTeX_Math-Italic-t53AETM-.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(./KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(./KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(./KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(./KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(./KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(./KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2")}@font-face{font-display:"swap";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")}@font-face{font-display:"swap";font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(./KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2")}@font-face{font-display:"swap";font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(./KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2")}:root{--ML__static-fonts:true}.ML__container{--_hue:var(--hue,212);--_placeholder-color:var(--placeholder-color,hsl(var(--_hue),40%,49%));--_placeholder-opacity:var(--placeholder-opacity,.4);--_text-font-family:var(--text-font-family,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI","Roboto","Oxygen","Ubuntu","Cantarell","Fira Sans","Droid Sans","Helvetica Neue",sans-serif);min-height:auto!important}.ML__sr-only{clip:rect(0,0,0,0);clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.ML__base,.ML__is-inline{display:inline-block}.ML__base{box-sizing:content-box;cursor:text;font-family:inherit;font-style:inherit;font-weight:inherit;vertical-align:baseline;visibility:inherit;border:0;outline:0;width:min-content;margin:0;padding:0;text-decoration:none;position:relative}.ML__strut,.ML__strut--bottom{min-height:.5em;display:inline-block}.ML__small-delim{font-family:KaTeX_Main}.ML__text{font-family:var(--_text-font-family);white-space:pre}.ML__cmr{font-family:KaTeX_Main;font-style:normal}.ML__mathit{font-family:KaTeX_Math;font-style:italic}.ML__mathbf{font-family:KaTeX_Main;font-weight:700}.ML__mathbfit,.lcGreek.ML__mathbf{font-family:KaTeX_Math}.ML__mathbfit{font-style:italic;font-weight:700}.ML__ams,.ML__bb{font-family:KaTeX_AMS}.ML__cal{font-family:KaTeX_Caligraphic}.ML__frak{font-family:KaTeX_Fraktur}.ML__tt{font-family:KaTeX_Typewriter}.ML__script{font-family:KaTeX_Script}.ML__sans{font-family:KaTeX_SansSerif}.ML__series_el,.ML__series_ul{font-weight:100}.ML__series_l{font-weight:200}.ML__series_sl{font-weight:300}.ML__series_sb{font-weight:500}.ML__bold{font-weight:700}.ML__series_eb{font-weight:800}.ML__series_ub{font-weight:900}.ML__series_uc{font-stretch:50%}.ML__series_ec{font-stretch:62.5%}.ML__series_c{font-stretch:75%}.ML__series_sc{font-stretch:87.5%}.ML__series_sx{font-stretch:112.5%}.ML__series_x{font-stretch:125%}.ML__series_ex{font-stretch:150%}.ML__series_ux{font-stretch:200%}.ML__it{font-style:italic}.ML__shape_ol{-webkit-text-stroke:1px #000;text-stroke:1px #000;color:#0000}.ML__shape_sc{font-variant:small-caps}.ML__shape_sl{font-style:oblique}.ML__emph{color:#bc2612}.ML__emph .ML__emph{color:#0c7f99}.ML__highlight{color:#007cb2;background:#edd1b0}.ML__center{text-align:center}.ML__left{text-align:left}.ML__right{text-align:right}.ML__label_padding{padding:0 .5em}.ML__frac-line{width:100%;min-height:1px}.ML__frac-line:after{box-sizing:content-box;content:"";forced-color-adjust:preserve-parent-color;-webkit-print-color-adjust:exact;-moz-print-color-adjust:exact;print-color-adjust:exact;background:currentColor;min-height:max(1px,.04em);margin-top:max(-1px,-.04em);display:block;transform:translate(0)}@media (forced-colors:active){.ML__frac-line{min-height:0}}.ML__sqrt,.ML__sqrt-sign{display:inline-block}.ML__sqrt-sign{position:relative}.ML__sqrt-line{width:100%;height:max(1px,.04em);display:inline-block}.ML__sqrt-line:before{content:"";forced-color-adjust:preserve-parent-color;-webkit-print-color-adjust:exact;-moz-print-color-adjust:exact;print-color-adjust:exact;background:currentColor;min-height:max(1px,.04em);margin-top:min(-1px,-.04em);display:block;transform:translate(0)}@media (forced-colors:active){.ML__sqrt-line:after{background:#fff!important}}.ML__sqrt-line:after{content:" ";border-bottom-width:1px;margin-top:-.1em;display:block}.ML__sqrt-index{margin-left:.277778em;margin-right:-.555556em}.ML__delim-size1{font-family:KaTeX_Size1}.ML__delim-size2{font-family:KaTeX_Size2}.ML__delim-size3{font-family:KaTeX_Size3}.ML__delim-size4{font-family:KaTeX_Size4}.ML__delim-mult .delim-size1>span{font-family:KaTeX_Size1}.ML__delim-mult .delim-size4>span{font-family:KaTeX_Size4}.ML__accent-body{font-family:KaTeX_Main}.ML__accent-combining-char{position:relative;left:.24em}.ML__latex{font-size-adjust:none;letter-spacing:normal;text-align:left;text-indent:0;text-rendering:auto;word-wrap:normal;forced-color-adjust:preserve-parent-color;text-shadow:none;-webkit-user-select:none;user-select:none;white-space:nowrap;word-spacing:normal;direction:ltr;width:min-content;font-family:inherit;font-style:normal;font-variant-caps:normal;font-stretch:100%;line-height:1.2;display:inline-block}.ML__latex .style-wrap{position:relative}.ML__latex .ML__left-right,.ML__latex .ML__mfrac{display:inline-block}.ML__latex .ML__vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.ML__latex .ML__vlist-r{display:table-row}.ML__latex .ML__vlist{vertical-align:bottom;display:table-cell;position:relative}.ML__latex .ML__vlist>span{height:0;display:block;position:relative}.ML__latex .ML__vlist>span>span{display:inline-block}.ML__latex .ML__vlist>span>.ML__pstrut{width:0;overflow:hidden}.ML__latex .ML__vlist-t2{margin-right:-2px}.ML__latex .ML__vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.ML__latex .ML__msubsup{text-align:left}.ML__latex .ML__negativethinspace{height:.71em;margin-left:-.16667em;display:inline-block}.ML__latex .ML__thinspace{width:.16667em;height:.71em;display:inline-block}.ML__latex .ML__mediumspace{width:.22222em;height:.71em;display:inline-block}.ML__latex .ML__thickspace{width:.27778em;height:.71em;display:inline-block}.ML__latex .ML__enspace{width:.5em;height:.71em;display:inline-block}.ML__latex .ML__quad{width:1em;height:.71em;display:inline-block}.ML__latex .ML__qquad{width:2em;height:.71em;display:inline-block}.ML__latex .ML__llap,.ML__latex .ML__rlap{width:0;display:inline-block;position:relative}.ML__latex .ML__llap>.ML__inner,.ML__latex .ML__rlap>.ML__inner{position:absolute}.ML__latex .ML__llap>.ML__fix,.ML__latex .ML__rlap>.ML__fix{display:inline-block}.ML__latex .ML__llap>.ML__inner{right:0}.ML__latex .ML__rlap>.ML__inner{left:0}.ML__latex .ML__rule{box-sizing:border-box;border:0 solid;display:inline-block;position:relative}.ML__latex .overline .overline-line,.ML__latex .underline .underline-line{width:100%}.ML__latex .overline .overline-line:before,.ML__latex .underline .underline-line:before{content:"";-webkit-print-color-adjust:exact;-moz-print-color-adjust:exact;print-color-adjust:exact;border-bottom-style:solid;border-bottom-width:max(1px,.04em);display:block}.ML__latex .overline .overline-line:after,.ML__latex .underline .underline-line:after{content:"";-webkit-print-color-adjust:exact;-moz-print-color-adjust:exact;print-color-adjust:exact;border-bottom-style:solid;border-bottom-width:max(1px,.04em);margin-top:-1px;display:block}.ML__latex .ML__stretchy{width:100%;display:block;position:absolute;left:0;overflow:hidden}.ML__latex .ML__stretchy:after,.ML__latex .ML__stretchy:before{content:""}.ML__latex .ML__stretchy svg{fill:currentColor;fill-opacity:1;fill-rule:nonzero;height:inherit;stroke:currentColor;stroke-dasharray:none;stroke-dashoffset:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-width:1px;width:100%;display:block;position:absolute}.ML__latex .slice-1-of-2{left:0}.ML__latex .slice-1-of-2,.ML__latex .slice-2-of-2{width:50.2%;display:inline-flex;position:absolute;overflow:hidden}.ML__latex .slice-2-of-2{right:0}.ML__latex .slice-1-of-3{width:25.1%;left:0}.ML__latex .slice-1-of-3,.ML__latex .slice-2-of-3{display:inline-flex;position:absolute;overflow:hidden}.ML__latex .slice-2-of-3{width:50%;left:25%}.ML__latex .slice-3-of-3{width:25.1%;right:0}.ML__latex .slice-1-of-1,.ML__latex .slice-3-of-3{display:inline-flex;position:absolute;overflow:hidden}.ML__latex .slice-1-of-1{width:100%;left:0}.ML__latex .ML__nulldelimiter,.ML__latex .ML__op-group{display:inline-block}.ML__latex .ML__op-symbol{position:relative}.ML__latex .ML__op-symbol.ML__small-op{font-family:KaTeX_Size1}.ML__latex .ML__op-symbol.ML__large-op{font-family:KaTeX_Size2}:is(.ML__latex:has(.ML__align_environment),.ML__latex:has(.ML__center_environment),.ML__latex:has(.ML__eqnarray_environment),.ML__latex:has(.ML__gather_environment),.ML__latex:has(.ML__multiline_environment)){width:100%}.ML__latex .ML__multiline_environment{width:100%;display:inline-flex}.ML__latex .ML__center_environment{justify-content:center;width:100%;display:inline-flex}.ML__latex .ML__align_environment,.ML__latex .ML__eqnarray_environment,.ML__latex .ML__gather_environment{display:inline-block}.ML__latex .ML__mtable .ML__vertical-separator{box-sizing:border-box;min-width:1px;display:inline-block}.ML__latex .ML__mtable .ML__arraycolsep{display:inline-block}.ML__latex .ML__mtable .col-align-m>.ML__vlist-t,.ML__latex .ML__mtable .col-align-c>.ML__vlist-t{text-align:center}.ML__latex .ML__mtable .col-align-l>.ML__vlist-t{text-align:left}.ML__latex .ML__mtable .col-align-r>.ML__vlist-t{text-align:right}[data-href]{cursor:pointer}.ML__error{background-color:#cc00411a;background-image:radial-gradient(#cc0041,#0000 70%);background-position:0 100%;background-repeat:repeat-x;background-size:3px 3px;padding-bottom:3px;display:inline-block}.ML__error>.ML__error{background:0 0;padding:0}.ML__placeholder{color:var(--_placeholder-color);opacity:var(--_placeholder-opacity);padding-left:.4ex;padding-right:.4ex;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif}.ML__notation{box-sizing:border-box;line-height:0;position:absolute}.ML__tooltip-container{position:relative;transform:scale(0)}.ML__tooltip-container .ML__tooltip-content{background:var(--_tooltip-background-color);border:var(--_tooltip-border);border-radius:var(--_tooltip-border-radius);visibility:hidden;z-index:2;--_selection-color:var(--_tooltip-color);width:max-content;max-width:400px;box-shadow:var(--_tooltip-box-shadow);color:var(--_tooltip-color);opacity:0;padding:12px;transition:opacity .15s cubic-bezier(.4,0,1,1);display:inline-table;position:fixed}.ML__tooltip-container .ML__tooltip-content .ML__text{white-space:normal}.ML__tooltip-container .ML__tooltip-content .ML__base{display:contents}.ML__tooltip-container:hover .ML__tooltip-content{opacity:1;visibility:visible;font-size:.75em;transform:scale(1)translateY(3em)}.ML__bg{background-color:#0000!important}.ML__bg:before{background-color:var(--bg-color);box-sizing:border-box;content:"";z-index:-1;position:absolute;inset:0}:root{--bg:#fff;--surface:#f6f7f9;--surface-hover:#eceef2;--text:#16181d;--muted:#6b7280;--faint:#9aa1ae;--border:#e3e5ea;--accent:#4f46e5;--true:#067a53;--true-bg:#e6f6ef;--false:#c62828;--false-bg:#fdecec;--unknown:#a16207;--unknown-bg:#fdf5e3;--error:#c62828;--serif:Georgia, "Iowan Old Style", "Times New Roman", serif;--content-width:880px;--row-gutter:16px;--gutter-fallback:0px;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}[data-theme=dark]{--bg:#0f1116;--surface:#171a21;--surface-hover:#1e222b;--text:#e7e9ee;--muted:#949bab;--faint:#6b7280;--border:#262a33;--accent:#8b93f8;--true:#4ade80;--true-bg:#10291d;--false:#f87171;--false-bg:#2c1414;--unknown:#fbbf24;--unknown-bg:#2b2210;--error:#f87171;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}html,body{height:100%;margin:0;overflow-x:hidden}body{background:var(--bg);color:var(--text);-webkit-text-size-adjust:100%;flex-direction:column;font:15px/1.5 system-ui,-apple-system,Segoe UI,Roboto,sans-serif;display:flex}.app-header{scrollbar-gutter:stable both-edges;border-bottom:1px solid var(--border);background:var(--bg);flex:none;overflow:hidden}.app-header-inner{max-width:var(--content-width);padding:10px var(--row-gutter);flex-wrap:wrap;align-items:center;gap:16px;margin-inline:auto;display:flex}.app-title{letter-spacing:-.01em;white-space:nowrap;text-overflow:ellipsis;margin:0;font-size:15px;font-weight:600;overflow:hidden}.app-actions{flex-wrap:wrap;justify-content:flex-end;align-items:center;gap:8px;margin-left:auto;display:flex}.segmented{border:1px solid var(--border);background:var(--surface);border-radius:8px;display:inline-flex;overflow:hidden}.segmented button,.segmented a{appearance:none;color:var(--muted);font:inherit;cursor:pointer;background:0 0;border:0;padding:5px 11px;font-size:13px;text-decoration:none}.segmented button.is-active,.segmented a.is-active{background:var(--bg);color:var(--text);box-shadow:inset 0 0 0 1px var(--border);font-weight:600}.page-switcher a:not(.is-active):hover{background:var(--surface-hover);color:var(--text)}.icon-button{appearance:none;border:1px solid var(--border);background:var(--surface);color:var(--muted);font:inherit;cursor:pointer;border-radius:8px;align-items:center;gap:6px;padding:5px 11px;font-size:13px;text-decoration:none;display:inline-flex}.icon-button:hover{background:var(--surface-hover);color:var(--text)}.theme-icon{width:14px;height:14px;display:block}.theme-icon:before{content:"";width:14px;height:14px;box-shadow:inset 0 0 0 2px var(--surface), inset -4px -4px 0 0 currentColor;background:currentColor;border-radius:50%;display:block}[data-theme=dark] .theme-icon:before{box-shadow:inset -5px 0 0 0 var(--surface)}.demo-browser{scrollbar-gutter:stable both-edges;border-bottom:1px solid var(--border);background:var(--surface);flex:none}.demo-browser[hidden]{display:none}.demo-browser-inner{max-width:var(--content-width);padding:12px var(--row-gutter) 10px;margin-inline:auto}.demo-heading-meta{align-items:center;gap:8px;min-height:18px;display:flex}.demo-topic,.demo-count{color:var(--accent);letter-spacing:.06em;text-transform:uppercase;font-size:11px;font-weight:700}.demo-count{color:var(--faint);font-weight:600}.demo-title{letter-spacing:-.015em;margin:1px 0 0;font-size:18px;line-height:1.25}.demo-description{color:var(--muted);margin:3px 0 10px;font-size:13px;line-height:1.35}.demo-list{overscroll-behavior-inline:contain;scrollbar-width:thin;grid-auto-columns:minmax(142px,1fr);grid-auto-flow:column;gap:6px;padding-bottom:2px;display:grid;overflow-x:auto}.demo-option{appearance:none;border:1px solid var(--border);background:var(--bg);min-width:0;color:var(--text);text-align:left;cursor:pointer;font:inherit;border-radius:8px;padding:7px 9px;text-decoration:none;display:block}.demo-option:hover{background:var(--surface-hover)}.demo-option.is-active{border-color:color-mix(in srgb, var(--accent) 55%, var(--border));box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--accent) 25%, transparent)}.demo-option-topic,.demo-option-title{text-overflow:ellipsis;white-space:nowrap;display:block;overflow:hidden}.demo-option-topic{color:var(--muted);letter-spacing:.05em;text-transform:uppercase;font-size:10px;font-weight:700}.demo-option-title{margin-top:1px;font-size:12px;font-weight:600}.theorem-panel{scrollbar-gutter:stable both-edges;border-bottom:1px solid var(--border);background:var(--surface);flex:none}.theorem-panel[hidden]{display:none}.theorem-panel-inner{max-width:var(--content-width);padding:12px var(--row-gutter) 12px;margin-inline:auto}.theorem-panel-heading{justify-content:space-between;align-items:flex-start;gap:12px;display:flex}.theorem-panel-title{letter-spacing:-.01em;margin:0;font-size:15px;line-height:1.25}.theorem-panel-note{max-width:62ch;color:var(--muted);margin:3px 0 10px;font-size:12px;line-height:1.4}.theorem-list{overscroll-behavior-block:contain;scrollbar-width:thin;grid-template-columns:repeat(auto-fill,minmax(260px,1fr));gap:6px;max-height:34vh;display:grid;overflow-y:auto}.theorem-option{border:1px solid var(--border);background:var(--bg);cursor:pointer;border-radius:8px;align-items:flex-start;gap:8px;padding:7px 9px;display:flex}.theorem-option:hover{background:var(--surface-hover)}.theorem-option input{accent-color:var(--accent);flex:none;margin:2px 0 0}.theorem-option-body{min-width:0}.theorem-option-head{align-items:baseline;gap:6px;display:flex}.theorem-option-title{text-overflow:ellipsis;white-space:nowrap;font-size:12px;font-weight:600;overflow:hidden}.theorem-option-kind{color:var(--faint);letter-spacing:.06em;text-transform:uppercase;flex:none;font-size:9px;font-weight:700}.theorem-option-cost,.theorem-option-usage{color:var(--muted);font-size:11px;line-height:1.35;display:block}.theorem-option-usage{color:var(--faint);font-variant-numeric:tabular-nums;margin-top:2px}.theorem-option.is-withheld{background:0 0;border-style:dashed}.theorem-option.is-withheld .theorem-option-title{color:var(--muted)}.theorem-option.is-withheld .theorem-option-usage{color:var(--accent);font-weight:600}.physics-constant{text-align:left;width:100%;font:inherit;color:inherit}.physics-constant .theorem-option-kind{white-space:nowrap;text-overflow:ellipsis;flex:0 auto;overflow:hidden}.physics-constants .math{color:var(--muted)}.icon-button.is-active{border-color:color-mix(in srgb, var(--accent) 55%, var(--border));color:var(--accent)}.sheet-scroll{scrollbar-gutter:stable both-edges;flex:auto;padding:12px 0 24px;overflow:hidden auto}.no-scrollbar-gutter .app-header,.no-scrollbar-gutter .demo-browser,.no-scrollbar-gutter .theorem-panel{padding-inline:var(--gutter-fallback)}.no-scrollbar-gutter .sheet-scroll{padding-inline-start:var(--gutter-fallback);overflow-y:scroll}.app-status{max-width:var(--content-width);width:100%;padding:8px var(--row-gutter);color:var(--muted);cursor:pointer;flex:none;margin-inline:auto;font-size:13px}.app-status[hidden]{display:none}.app-status.is-error{color:var(--error)}.app-status-body{border:1px solid var(--border);background:var(--surface);border-radius:8px;padding:6px 10px;display:inline-block}.app-status.is-error .app-status-body{border-color:color-mix(in srgb, var(--error) 40%, var(--border));background:var(--false-bg)}.sheet{max-width:var(--content-width);flex-direction:column;margin-inline:auto;display:flex}.row{padding:0 var(--row-gutter);border-bottom:1px solid #0000;flex-wrap:wrap;align-items:stretch;gap:10px;min-height:44px;display:flex}.row:hover{background:color-mix(in srgb, var(--surface) 55%, transparent)}.row.is-focused{background:var(--surface)}.row-gutter{text-align:right;width:26px;color:var(--faint);font-variant-numeric:tabular-nums;-webkit-user-select:none;user-select:none;flex:none;padding-top:12px;font-size:12px}.row-input{min-width:0;color:var(--text);--text-font-family:var(--serif);--caret-color:var(--accent);--selection-background-color:color-mix(in srgb, var(--accent) 22%, transparent);--contains-highlight-background-color:transparent;--smart-fence-color:var(--muted);--placeholder-color:var(--faint);background:0 0;border:none;flex:auto;align-self:center;padding:6px 0;font-size:19px}.row-input::part(menu-toggle),.row-input::part(virtual-keyboard-toggle){display:none}.row-input::part(content){padding:0}.row-result{text-align:right;flex:0 auto;justify-content:flex-end;align-self:center;align-items:baseline;gap:8px;min-width:0;max-width:58%;padding:6px 0;font-size:17px;display:flex;overflow:hidden}.row-result .math{--text-font-family:var(--serif)}.row-result.is-chain{flex-direction:column;justify-content:center;align-self:stretch;gap:0}.chain-result-step{justify-content:flex-end;align-items:baseline;gap:8px;min-height:1.65em;display:flex}.result-primary{white-space:nowrap}.result-value{color:var(--text)}.result-symbolic{color:var(--muted)}.result-secondary{color:var(--faint);white-space:nowrap;font-variant-numeric:tabular-nums;font-size:13px}.result-note{color:var(--faint);white-space:nowrap;text-overflow:ellipsis;min-width:0;font-size:12px;overflow:hidden}.result-error{color:var(--error);font-size:13px}.pill{white-space:nowrap;letter-spacing:.04em;text-transform:uppercase;border-radius:999px;flex:none;padding:3px 9px;font-size:12px;font-weight:700}.pill-true{color:var(--true);background:var(--true-bg)}.pill-false{color:var(--false);background:var(--false-bg)}.pill-unknown{color:var(--unknown);background:var(--unknown-bg)}.pill-definition{color:var(--muted);background:var(--surface-hover);text-transform:none;letter-spacing:0;text-overflow:ellipsis;flex:0 auto;min-width:0;font-weight:500;overflow:hidden}.hint{max-width:var(--content-width);padding-inline:var(--row-gutter);color:var(--faint);margin:18px auto 0;font-size:12px}.hint kbd{font:inherit;border:1px solid var(--border);border-bottom-width:2px;border-radius:4px;padding:0 4px}.hint-aside{opacity:.75;margin-top:4px;display:inline-block}.hint code{font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace;font-size:11px}.keyboard-panel{background:var(--surface);flex:none;min-width:0}.keyboard-collapse-toggle{appearance:none;border:0;border-top:1px solid var(--border);border-bottom:1px solid var(--border);background:var(--surface);width:100%;height:34px;color:var(--muted);font:inherit;cursor:pointer;justify-content:center;align-items:center;gap:8px;font-size:12px;font-weight:600;display:flex}.keyboard-collapse-toggle:hover{background:var(--surface-hover);color:var(--text)}.keyboard-collapse-icon{border-bottom:2px solid;border-right:2px solid;width:8px;height:8px;transition:transform .16s;transform:translateY(-2px)rotate(45deg)}.keyboard-collapse-toggle[aria-expanded=false] .keyboard-collapse-icon{transform:translateY(2px)rotate(225deg)}.keyboard-dock{width:100%;max-width:var(--content-width);flex:none;height:390px;margin-inline:auto;transition:height .18s;position:relative;overflow:hidden}.keyboard-dock .MLK__plate{top:0}.keyboard-dock .defn-active{background:var(--accent);color:#fff}.keyboard-dock.matrix-locked .matrix-resize{opacity:.35;pointer-events:none}.keyboard-dock .calc-backspace{justify-content:center;align-items:center;padding:0}.keyboard-dock .calc-backspace>.svg-glyph{width:var(--_keycap-glyph-size-lg);height:var(--_keycap-glyph-size-lg);min-height:var(--_keycap-glyph-size-lg);margin:0}.keyboard-dock .calc-backspace>.MLK__shift{display:none}.keyboard-dock.is-collapsed{height:0!important}@media (max-width:560px){:root{--row-gutter:10px}.row,.app-actions{gap:6px}.icon-button,.segmented button{padding:5px 8px}.row-gutter{width:18px}.row-input{font-size:17px}.row-result{font-size:15px}.app-title{font-size:13px}.demo-browser-inner{padding-top:9px}.demo-title{font-size:16px}.demo-description{margin-bottom:8px}.demo-list{grid-auto-columns:minmax(128px,1fr)}.hint{display:none}}.proof-toggle{font:inherit;color:var(--muted);cursor:pointer;white-space:nowrap;text-overflow:ellipsis;background:0 0;border:none;border-radius:4px;min-width:0;margin:-2px -4px;padding:2px 4px;font-size:12px;overflow:hidden}.proof-toggle:hover{color:var(--text);background:var(--surface-hover)}.proof-toggle:focus-visible{outline:2px solid var(--accent);outline-offset:1px;color:var(--text)}.proof-caret{color:var(--faint)}.row-proof{border-left:2px solid var(--border);background:var(--surface);border-radius:0 6px 6px 0;flex-basis:100%;min-width:0;margin:0 0 8px 36px;padding:8px 12px;overflow-x:auto}.row-proof[hidden]{display:none}.proof-steps{gap:4px;margin:0;padding:0 0 0 22px;font-size:14px;display:grid}.proof-step{color:var(--text);flex-wrap:wrap;align-items:baseline;gap:4px 10px;display:flex}.proof-step::marker{color:var(--faint);font-size:12px}.proof-claim{min-width:0}.proof-claim .math{--text-font-family:var(--serif)}.proof-rule{color:var(--muted);font-size:12px}.proof-detail{color:var(--faint)}.proof-trust{letter-spacing:.02em;border:1px solid var(--border);color:var(--muted);white-space:nowrap;border-radius:999px;padding:1px 6px;font-size:11px}.proof-trust.trust-verified{color:var(--accent);border-color:var(--accent)}.proof-trust.trust-oracle,.proof-trust.trust-rejected{color:var(--text);border-style:dashed}.proof-from{color:var(--faint);font-variant-numeric:tabular-nums;font-size:12px}@media (max-width:640px){.row-proof{margin-left:0;padding:8px 10px}.proof-step{gap:2px 8px}}