@font-face{font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(./KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(./KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(./KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(./KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(./KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(./KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(./KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(./KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(./KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(./KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(./KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(./KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(./KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(./KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(./KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(./KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(./KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(./KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(./KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(./KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(./KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(./KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(./KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(./KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(./KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(./KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(./KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(./KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(./KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(./KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(./KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(./KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(./KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(./KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(./KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(./KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(./KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(./KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(./KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(./KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(./KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(./KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(./KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(./KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(./KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(./KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(./KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(./KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(./KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(./KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(./KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(./KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(./KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(./KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(./KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(./KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(./KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(./KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(./KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.22"}.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 .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;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;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.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{--bg:#f7f5f0;--surface:#fff;--surface-2:#f0ede6;--text:#1d1d1b;--muted:#5f5d57;--faint:#8d8a82;--border:#dcd8ce;--accent:#2f6f73;--accent-soft:#d9ebe9;--focus:#2f6f73;--st-accepted:#2e7d4f;--st-proved:#2f5f9e;--st-refuted:#7a4ea3;--st-open:#b7791f;--st-malformed:#b33a3a;--st-unspecified:#8d8a82;--st-out-of-scope:#c9c5bb;--tier-violation:#b33a3a;--tier-warning:#b7791f;--tier-obligation:#2f5f9e;--serif:"Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua", Georgia, serif;--sans:system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--mono:"JuliaMono", "DejaVu Sans Mono", "Menlo", "Consolas", monospace;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#161817;--surface:#1f2221;--surface-2:#272b2a;--text:#e8e6e1;--muted:#b0ada6;--faint:#85827b;--border:#3a3f3d;--accent:#7fc3c0;--accent-soft:#23403f;--focus:#7fc3c0;--st-accepted:#5cbf86;--st-proved:#6f9fdc;--st-refuted:#b38ad8;--st-open:#e0a84a;--st-malformed:#e07070;--st-unspecified:#8d8a82;--st-out-of-scope:#4a4e4c;--tier-violation:#e07070;--tier-warning:#e0a84a;--tier-obligation:#6f9fdc;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}:root[data-theme=dark]{--bg:#161817;--surface:#1f2221;--surface-2:#272b2a;--text:#e8e6e1;--muted:#b0ada6;--faint:#85827b;--border:#3a3f3d;--accent:#7fc3c0;--accent-soft:#23403f;--focus:#7fc3c0;--st-accepted:#5cbf86;--st-proved:#6f9fdc;--st-refuted:#b38ad8;--st-open:#e0a84a;--st-malformed:#e07070;--st-unspecified:#8d8a82;--st-out-of-scope:#4a4e4c;--tier-violation:#e07070;--tier-warning:#e0a84a;--tier-obligation:#6f9fdc;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}html,body{height:100%;margin:0}body{background:var(--bg);color:var(--text);font:15px/1.5 var(--sans);-webkit-font-smoothing:antialiased}#app{min-height:100%}a{color:var(--accent);text-decoration:none}a:hover{text-decoration:underline}button{font:inherit;color:inherit}:focus-visible{outline:2px solid var(--focus);outline-offset:2px}code,.mono{font-family:var(--mono);font-size:.92em}h1,h2,h3{margin:0;line-height:1.25}.muted{color:var(--muted)}.faint{color:var(--faint)}.st-accepted{--st:var(--st-accepted)}.st-proved{--st:var(--st-proved)}.st-refuted{--st:var(--st-refuted)}.st-open{--st:var(--st-open)}.st-malformed{--st:var(--st-malformed)}.st-unspecified{--st:var(--st-unspecified)}.st-out-of-scope{--st:var(--st-out-of-scope)}.ti.svelte-qimlcs .katex{font-size:1.05em}.chip.svelte-1e4wiko{background:color-mix(in srgb, var(--st) 14%, var(--surface));border:1px solid color-mix(in srgb, var(--st) 45%, var(--surface));white-space:nowrap;border-radius:999px;align-items:center;gap:6px;padding:2px 10px 2px 8px;font-size:13px;display:inline-flex}.chip.small.svelte-1e4wiko{padding:0 8px 0 6px;font-size:12px}.dot.svelte-1e4wiko{background:var(--st);border-radius:50%;flex:none;width:8px;height:8px}.cov.svelte-1ihakmm{max-width:1040px;margin:0 auto;padding:28px 16px 80px}.intro.svelte-1ihakmm h1:where(.svelte-1ihakmm){font-family:var(--serif);font-size:30px;font-weight:600}.intro.svelte-1ihakmm p:where(.svelte-1ihakmm){max-width:70ch}.tools.svelte-1ihakmm{flex-wrap:wrap;align-items:center;gap:12px 24px;margin-top:8px;display:flex}.findings.svelte-1ihakmm{gap:12px;font-size:13px;display:flex}.tier.svelte-1ihakmm{border:1px solid var(--border);border-radius:999px;padding:2px 8px}.tier.violation.svelte-1ihakmm{color:var(--tier-violation)}.tier.warning.svelte-1ihakmm{color:var(--tier-warning)}.tier.obligation.svelte-1ihakmm{color:var(--tier-obligation)}.paper.svelte-1ihakmm{background:var(--surface);border:1px solid var(--border);border-radius:10px;margin-top:32px;padding:20px}.phead.svelte-1ihakmm{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:12px;display:flex}.phead.svelte-1ihakmm h2:where(.svelte-1ihakmm){font-family:var(--serif);font-size:21px;font-weight:600}.prov.svelte-1ihakmm{margin:4px 0 16px;font-size:13px}.gates.svelte-1ihakmm{flex-direction:column;gap:6px;margin:0 0 16px;display:flex}.gate.svelte-1ihakmm{border:1px solid var(--border);border-left:4px solid var(--st-unspecified);border-radius:8px;padding:6px 12px}.gate.pass.svelte-1ihakmm{border-left-color:var(--st-accepted)}.gate.fail.svelte-1ihakmm{border-left-color:var(--st-open)}.gate.svelte-1ihakmm summary:where(.svelte-1ihakmm){cursor:pointer}.gate.svelte-1ihakmm ul:where(.svelte-1ihakmm){max-height:320px;margin:6px 0 4px;padding-left:18px;font-size:13px;overflow:auto}.grid.svelte-1ihakmm{grid-template-columns:repeat(auto-fill,minmax(64px,1fr));gap:6px;display:grid}.cell.svelte-1ihakmm{height:56px;color:var(--text);background:color-mix(in srgb, var(--st) 18%, var(--surface));border:1px solid color-mix(in srgb, var(--st) 55%, var(--surface));border-left:5px solid var(--st);border-radius:6px;flex-direction:column;justify-content:center;align-items:center;display:flex}.cell.st-out-of-scope.svelte-1ihakmm{background:repeating-linear-gradient(135deg, var(--surface-2) 0 6px, var(--surface) 6px 12px)}.cell.svelte-1ihakmm:hover{filter:brightness(.96);text-decoration:none}.num.svelte-1ihakmm{font-variant-numeric:tabular-nums;text-overflow:ellipsis;white-space:nowrap;max-width:100%;padding:0 4px;font-weight:600;overflow:hidden}.glabel.svelte-1ihakmm{color:var(--muted);margin:16px 0 8px;font-size:13px;font-weight:600}.kind.svelte-1ihakmm{color:var(--muted);text-overflow:ellipsis;white-space:nowrap;max-width:100%;padding:0 4px;font-size:11px;overflow:hidden}.sum.svelte-1ihakmm{border-collapse:collapse;min-width:320px;margin-top:18px}.sum.svelte-1ihakmm th:where(.svelte-1ihakmm),.sum.svelte-1ihakmm td:where(.svelte-1ihakmm){text-align:left;border-bottom:1px solid var(--border);padding:4px 12px 4px 0}.sum.svelte-1ihakmm th:where(.svelte-1ihakmm){color:var(--muted);font-size:12px;font-weight:500}.n.svelte-1ihakmm{font-variant-numeric:tabular-nums;text-align:right!important}.list.svelte-1ihakmm{margin-top:14px}.list.svelte-1ihakmm summary:where(.svelte-1ihakmm){cursor:pointer;color:var(--muted)}.list.svelte-1ihakmm ul:where(.svelte-1ihakmm){padding:0;list-style:none}.list.svelte-1ihakmm li:where(.svelte-1ihakmm){flex-wrap:wrap;align-items:center;gap:10px;padding:4px 0;display:flex}.pdf.svelte-1e5da8b{flex-direction:column;align-items:center;gap:16px;min-height:100%;padding:16px;display:flex}.page.svelte-1e5da8b{background:#fff;position:relative;box-shadow:0 1px 4px #0000002e}canvas.svelte-1e5da8b{display:block}.band.svelte-1e5da8b{cursor:pointer;background:0 0;border:0;padding:0;position:absolute;left:0;right:0}.band.svelte-1e5da8b:before{content:"";background:var(--st);border-radius:2px;width:4px;position:absolute;top:0;bottom:0;left:18px}.band.approximate.svelte-1e5da8b:before{background:repeating-linear-gradient(to bottom, var(--st) 0 4px, transparent 4px 7px)}.band.svelte-1e5da8b:hover{background:color-mix(in srgb, var(--st) 7%, transparent)}.band.sel.svelte-1e5da8b{background:color-mix(in srgb, var(--st) 10%, transparent);outline:1.5px solid color-mix(in srgb, var(--st) 70%, transparent);outline-offset:-1px}.band.approximate.sel.svelte-1e5da8b{outline-style:dashed}.tag.svelte-1e5da8b{font:11px/1.4 var(--sans);color:#1d1d1b;background:color-mix(in srgb, var(--st) 22%, white);border:1px solid var(--st);opacity:0;pointer-events:none;border-radius:999px;padding:1px 8px;transition:opacity .12s;position:absolute;top:-10px;right:6px}.band.svelte-1e5da8b:hover .tag:where(.svelte-1e5da8b),.band.sel.svelte-1e5da8b .tag:where(.svelte-1e5da8b){opacity:1}.err.svelte-1e5da8b,.wait.svelte-1e5da8b{padding:24px}.crop.svelte-1lgwjng{border:1px solid var(--border);background:#fff;border-radius:8px;padding:6px 0;overflow:hidden}canvas.svelte-1lgwjng{max-width:100%;display:block}.small.svelte-1lgwjng{color:#6b6b6b;padding:0 10px;font-size:12px}.lean.svelte-1e51xbp{white-space:pre-wrap;word-break:break-word}.r.svelte-1e51xbp{font:inherit;color:var(--accent);cursor:pointer;text-underline-offset:3px;background:0 0;border:0;padding:0;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}.c.svelte-1e51xbp{color:inherit}.stmt.svelte-1hh5t09{margin-top:12px}.name.svelte-1hh5t09{color:var(--muted);margin:0 0 8px;font-size:13px}.ribbon.svelte-1hh5t09{flex-direction:column;gap:4px;margin:0;padding:0;list-style:none;display:flex}.b.svelte-1hh5t09{background:var(--surface-2);border-left:3px solid var(--border);border-radius:6px;flex-wrap:wrap;align-items:baseline;gap:8px;padding:4px 10px;display:flex}.b.forall.svelte-1hh5t09{border-left-color:var(--accent)}.b.exists.svelte-1hh5t09{border-left-color:var(--st-refuted)}.b.hypothesis.svelte-1hh5t09{border-left-color:var(--st-open)}.b.instance.svelte-1hh5t09{border-left-color:var(--faint)}.role.svelte-1hh5t09{text-transform:uppercase;letter-spacing:.05em;color:var(--muted);min-width:64px;font-size:11px}.v.svelte-1hh5t09{font-family:var(--mono);font-weight:600}.hn.svelte-1hh5t09{font-family:var(--mono);color:var(--faint);font-size:12px}.colon.svelte-1hh5t09{color:var(--faint)}.concl.svelte-1hh5t09{border:1px solid var(--border);border-radius:6px;flex-wrap:wrap;align-items:baseline;gap:8px;margin-top:6px;padding:8px 10px;display:flex}.compact.svelte-1hh5t09 .concl:where(.svelte-1hh5t09){margin-top:0}.more.svelte-1hh5t09{color:var(--accent);cursor:pointer;background:0 0;border:0;margin:6px 0;padding:0;font-size:13px}.hint.svelte-1hh5t09{margin:6px 0 0;font-size:12px}.ladder.svelte-1388pfo{flex-wrap:wrap;gap:6px;margin:0;padding:0;list-style:none;display:flex}.r.svelte-1388pfo{border:1px solid var(--border);background:var(--surface);border-radius:6px;align-items:center;gap:6px;padding:3px 10px 3px 6px;font-size:12px;display:flex}.m.svelte-1388pfo{color:#fff;background:var(--faint);border-radius:50%;place-items:center;width:18px;height:18px;font-size:11px;display:inline-grid}.n.svelte-1388pfo{font-weight:600}.w.svelte-1388pfo{color:var(--muted)}.pass.svelte-1388pfo .m:where(.svelte-1388pfo){background:var(--st-accepted)}.fail.svelte-1388pfo .m:where(.svelte-1388pfo){background:var(--st-malformed)}.open.svelte-1388pfo .m:where(.svelte-1388pfo){background:var(--st-open)}.author.svelte-1388pfo .m:where(.svelte-1388pfo){background:var(--st-proved)}.pdf-only.svelte-1388pfo .m:where(.svelte-1388pfo){background:var(--st-open)}.not-run.svelte-1388pfo .m:where(.svelte-1388pfo){color:var(--faint);border:1.5px solid var(--faint);background:0 0}.unverified.svelte-1388pfo .m:where(.svelte-1388pfo){background:var(--st-open)}h3.svelte-f1muti{margin:10px 0 4px;font-size:14px}.faint.svelte-f1muti{font-size:12px;font-weight:400}ul.svelte-f1muti{margin:0;padding-left:18px}li.svelte-f1muti{margin:3px 0}.violation.svelte-f1muti h3:where(.svelte-f1muti){color:var(--tier-violation)}.violation.svelte-f1muti li:where(.svelte-f1muti)::marker{color:var(--tier-violation)}.obligation.svelte-f1muti h3:where(.svelte-f1muti){color:var(--tier-obligation)}.obligation.svelte-f1muti li:where(.svelte-f1muti)::marker{color:var(--tier-obligation)}.warning.svelte-f1muti{margin-top:10px}.warning.svelte-f1muti summary:where(.svelte-f1muti){cursor:pointer;color:var(--tier-warning)}.group.svelte-f1muti{margin:8px 0 4px 6px}.group.low.svelte-f1muti{opacity:.75}.gh.svelte-f1muti{margin:0;font-size:13px}.pill.svelte-f1muti{background:var(--surface-2);color:var(--muted);border-radius:999px;margin-left:4px;padding:0 6px;font-size:11px}.dismissed.svelte-f1muti{color:var(--faint)}.dz.svelte-f1muti{color:var(--muted);font-size:12px;display:block}.decl.svelte-13s8f78{border:1px solid var(--border);background:var(--surface);border-radius:8px;margin:6px 0;padding:6px 12px}summary.svelte-13s8f78{cursor:pointer;flex-wrap:wrap;align-items:baseline;gap:10px;display:flex}.doc.svelte-13s8f78{color:var(--muted);margin:8px 0}.lbl.svelte-13s8f78{text-transform:uppercase;letter-spacing:.05em;color:var(--faint);margin:8px 0 2px;font-size:11px}.fp.svelte-13s8f78{font-family:var(--mono);margin:8px 0 2px;font-size:11px}.rtext.svelte-13s8f78{white-space:pre-wrap;font:13px/1.5 var(--sans);color:var(--muted);margin:2px 0 0}.rv.svelte-13s8f78{font-size:12px}.err.svelte-13s8f78{color:var(--st-malformed);font-size:13px}.rv-reviewed.svelte-13s8f78{color:var(--st-accepted)}.rv-author-reviewed.svelte-13s8f78{color:var(--st-proved)}.rv-pending.svelte-13s8f78,.rv-stale.svelte-13s8f78{color:var(--st-open)}.tex.svelte-p7c5l5{font-family:var(--serif);background:var(--surface);border:1px solid var(--border);border-radius:8px;margin-top:6px;padding:10px 14px;font-size:16px;line-height:1.6}.picker.svelte-1y15j1a{margin-top:12px}input.svelte-1y15j1a{border:1px solid var(--border);background:var(--surface);width:100%;color:var(--text);font:inherit;border-radius:8px;padding:6px 10px;font-size:14px}ul.svelte-1y15j1a{border:1px solid var(--border);background:var(--surface);border-radius:8px;max-height:320px;margin:6px 0 0;padding:0;list-style:none;overflow:auto}li.svelte-1y15j1a{border-bottom:1px solid var(--border);justify-content:space-between;align-items:center;gap:10px;padding:6px 10px;display:flex}li.svelte-1y15j1a:last-child{border-bottom:0}.info.svelte-1y15j1a{min-width:0}.ty.svelte-1y15j1a{font-family:var(--mono);color:var(--muted);white-space:nowrap;text-overflow:ellipsis;font-size:12px;overflow:hidden}.btn.svelte-1y15j1a{border:1px solid var(--accent);background:var(--accent);color:#fff;cursor:pointer;border-radius:6px;flex:none;padding:3px 10px;font-size:13px}.small.svelte-1y15j1a{font-size:13px}.passport.svelte-15lq3eu{flex-direction:column;gap:18px;display:flex}header.svelte-15lq3eu h1:where(.svelte-15lq3eu){font-family:var(--serif);margin:2px 0 10px;font-size:24px;font-weight:600}.full.svelte-15lq3eu header:where(.svelte-15lq3eu) h1:where(.svelte-15lq3eu){font-size:30px}.title.svelte-15lq3eu{font-weight:450}.actions.svelte-15lq3eu{flex-wrap:wrap;gap:8px;margin-top:10px;display:flex}.act.svelte-15lq3eu{font:inherit;border:1px solid var(--border);background:var(--surface);color:var(--text);cursor:pointer;border-radius:6px;padding:3px 10px;font-size:13px;text-decoration:none}.act.svelte-15lq3eu:hover{border-color:var(--accent);color:var(--accent);text-decoration:none}.summary.svelte-15lq3eu{color:var(--muted);margin:4px 0 8px;font-size:13px}.desc.svelte-15lq3eu{color:var(--muted);margin:2px 0 10px;font-size:15px;line-height:1.5}.eyebrow.svelte-15lq3eu{color:var(--muted);margin:0;font-size:13px}h2.svelte-15lq3eu{text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin:0 0 8px;font-size:13px;font-weight:600}h3.svelte-15lq3eu{margin:14px 0 6px;font-size:14px;font-weight:600}.card.svelte-15lq3eu{background:var(--surface);border:1px solid var(--border);border-radius:10px;margin-bottom:10px;padding:12px 14px}.card.refuted.svelte-15lq3eu{border-left:4px solid var(--st-refuted)}.card.suggestion.svelte-15lq3eu{border-style:dashed}.cname.svelte-15lq3eu{margin:0 0 8px;font-weight:600}.decl.svelte-15lq3eu{margin:0 0 6px}.verdict.svelte-15lq3eu{margin:10px 0 0;font-size:14px}.verdict.top.svelte-15lq3eu{margin:0 0 8px}.row.svelte-15lq3eu{gap:8px;margin-top:10px;display:flex}.btn.svelte-15lq3eu{border:1px solid var(--accent);background:var(--accent);color:#fff;cursor:pointer;border-radius:6px;margin-top:8px;padding:4px 12px;font-size:13px}.row.svelte-15lq3eu .btn:where(.svelte-15lq3eu){margin-top:0}.btn.ghost.svelte-15lq3eu{color:var(--accent);background:0 0}.btn.svelte-15lq3eu:disabled{opacity:.5;cursor:default}.why.svelte-15lq3eu{border:1px solid var(--border);border-left:4px solid var(--st-open);background:var(--surface);border-radius:8px;margin-top:6px;padding:8px 12px}.why.svelte-15lq3eu summary:where(.svelte-15lq3eu){cursor:pointer;font-weight:600}.why.svelte-15lq3eu ul:where(.svelte-15lq3eu){margin:6px 0 2px;padding-left:18px}.tech.svelte-15lq3eu{border-top:1px solid var(--border);padding-top:10px}.tech.svelte-15lq3eu>summary:where(.svelte-15lq3eu){cursor:pointer;color:var(--muted);font-weight:600}.small.svelte-15lq3eu{font-size:13px}.bad.svelte-15lq3eu{color:var(--st-malformed)}.proof.svelte-15lq3eu{margin:10px 0 0}.proof.svelte-15lq3eu dt:where(.svelte-15lq3eu){color:var(--muted);font-size:12px}.proof.svelte-15lq3eu dd:where(.svelte-15lq3eu){margin:0 0 6px}.review.svelte-15lq3eu{border-left:3px solid var(--border);margin:8px 0;padding-left:10px}.pill.svelte-15lq3eu{background:var(--surface-2);color:var(--muted);border-radius:999px;margin-left:4px;padding:0 6px;font-size:11px}.rtext.svelte-15lq3eu{white-space:pre-wrap;font:13px/1.5 var(--sans);color:var(--muted);margin:6px 0 0}.ref.svelte-15lq3eu{color:var(--accent);cursor:pointer;font-family:var(--mono);background:0 0;border:0;padding:0;font-size:.92em}.foot.svelte-15lq3eu{margin-top:16px}.reader.svelte-1hmgvz1{grid-template-columns:minmax(0,1fr);height:calc(100vh - 49px);display:grid;position:relative}.reader.contents.svelte-1hmgvz1{grid-template-columns:260px minmax(0,1fr)}.reader.open.svelte-1hmgvz1{grid-template-columns:minmax(0,1.1fr) minmax(380px,.9fr)}.reader.contents.open.svelte-1hmgvz1{grid-template-columns:260px minmax(0,1.1fr) minmax(380px,.9fr)}.toc.svelte-1hmgvz1{border-right:1px solid var(--border);background:var(--surface);overflow:auto}.toc-head.svelte-1hmgvz1{background:var(--surface);color:var(--muted);border-bottom:1px solid var(--border);justify-content:space-between;align-items:center;padding:10px 12px;font-size:13px;font-weight:600;display:flex;position:sticky;top:0}.toc.svelte-1hmgvz1 ol:where(.svelte-1hmgvz1){margin:0;padding:4px;list-style:none}.toc.svelte-1hmgvz1 li:where(.svelte-1hmgvz1) button:where(.svelte-1hmgvz1){text-align:left;cursor:pointer;background:0 0;border:0;border-radius:6px;align-items:baseline;gap:6px;width:100%;padding:4px 8px;font-size:13px;display:flex}.toc.svelte-1hmgvz1 li:where(.svelte-1hmgvz1) button:where(.svelte-1hmgvz1):hover{background:var(--surface-2)}.toc.svelte-1hmgvz1 li:where(.svelte-1hmgvz1) button.sel:where(.svelte-1hmgvz1){background:var(--accent-soft)}.dot.svelte-1hmgvz1{background:var(--st);border-radius:50%;flex:none;align-self:center;width:8px;height:8px}.n.svelte-1hmgvz1{white-space:nowrap;font-weight:600}.t.svelte-1hmgvz1{color:var(--muted);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.na.svelte-1hmgvz1{color:var(--faint);margin-left:auto}.more.svelte-1hmgvz1{color:var(--accent);cursor:pointer;background:0 0;border:0;margin:4px 12px 16px;padding:0;font-size:13px}.toc-open.svelte-1hmgvz1{z-index:5;border:1px solid var(--border);background:var(--surface);cursor:pointer;border-radius:6px;padding:4px 10px;font-size:13px;position:absolute;top:8px;left:8px}.paperpane.svelte-1hmgvz1{background:var(--surface-2);overflow:auto}.side.svelte-1hmgvz1{border-left:1px solid var(--border);background:var(--bg);padding:0 20px 60px;overflow:auto}.side-head.svelte-1hmgvz1{z-index:2;background:var(--bg);border-bottom:1px solid var(--border);justify-content:space-between;align-items:center;margin-bottom:14px;padding:10px 0;font-size:14px;display:flex;position:sticky;top:0}.x.svelte-1hmgvz1{cursor:pointer;color:var(--muted);background:0 0;border:0;padding:0 4px;font-size:20px;line-height:1}.msg.svelte-1hmgvz1{padding:24px}@media (max-width:1180px){.reader.contents.svelte-1hmgvz1,.reader.contents.open.svelte-1hmgvz1{grid-template-columns:240px minmax(0,1fr)}.reader.contents.open.svelte-1hmgvz1 .side:where(.svelte-1hmgvz1),.reader.open.svelte-1hmgvz1 .side:where(.svelte-1hmgvz1){z-index:30;width:min(480px,100vw);position:fixed;top:49px;bottom:0;right:0;box-shadow:-8px 0 24px #00000026}.reader.open.svelte-1hmgvz1{grid-template-columns:minmax(0,1fr)}}@media (max-width:700px){.reader.contents.svelte-1hmgvz1{grid-template-columns:minmax(0,1fr)}.toc.svelte-1hmgvz1{z-index:31;width:80vw;position:fixed;top:49px;bottom:0;left:0;box-shadow:8px 0 24px #00000026}.reader.open.svelte-1hmgvz1 .side:where(.svelte-1hmgvz1){border-radius:14px 14px 0 0;width:100vw;height:70vh;top:auto}}.ch.svelte-1muxge5{max-width:860px;margin:0 auto;padding:28px 16px 80px}h1.svelte-1muxge5{font-family:var(--serif);font-size:30px;font-weight:600}h2.svelte-1muxge5{text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin-top:24px;font-size:13px}dl.svelte-1muxge5{grid-template-columns:max-content 1fr;gap:6px 18px;display:grid}dt.svelte-1muxge5{color:var(--muted)}dd.svelte-1muxge5{word-break:break-all;margin:0}.search.svelte-1wah7ro{flex:1;min-width:160px;max-width:420px;position:relative}input.svelte-1wah7ro{border:1px solid var(--border);background:var(--bg);width:100%;color:var(--text);font:inherit;border-radius:8px;padding:6px 10px;font-size:14px}.results.svelte-1wah7ro{z-index:50;background:var(--surface);border:1px solid var(--border);border-radius:10px;max-height:70vh;margin:0;padding:4px;list-style:none;position:absolute;top:38px;left:0;right:0;overflow:auto;box-shadow:0 8px 24px #00000026}button.svelte-1wah7ro{text-align:left;cursor:pointer;background:0 0;border:0;border-radius:6px;flex-wrap:wrap;align-items:baseline;gap:2px 10px;width:100%;padding:6px 8px;display:flex}button.sel.svelte-1wah7ro,button.svelte-1wah7ro:hover{background:var(--accent-soft)}.t.svelte-1wah7ro{font-weight:600}.p.svelte-1wah7ro,.s.svelte-1wah7ro{color:var(--muted);font-size:12px}.w.svelte-1wah7ro{color:var(--faint);text-overflow:ellipsis;white-space:nowrap;flex-basis:100%;font-size:12px;overflow:hidden}.none.svelte-1wah7ro{color:var(--muted);padding:8px}.mono.svelte-1wah7ro{font-family:var(--mono);font-size:13px}.review.svelte-1jpsao4{max-width:920px;margin:0 auto;padding:16px 16px 80px}.card.svelte-1jpsao4{background:var(--surface);border:1px solid var(--border);border-radius:10px;margin:12px 0;padding:16px 20px}.setup.svelte-1jpsao4 h1:where(.svelte-1jpsao4){margin-top:0}fieldset.svelte-1jpsao4{border:0;gap:16px;margin:12px 0;padding:0;display:flex}.field.svelte-1jpsao4{flex-direction:column;gap:4px;margin:8px 0;font-size:14px;display:flex}input.svelte-1jpsao4:not([type]),select.svelte-1jpsao4,textarea.svelte-1jpsao4{font:inherit;color:var(--text);background:var(--surface);border:1px solid var(--border);border-radius:6px;padding:6px 8px;font-size:14px}textarea.svelte-1jpsao4{box-sizing:border-box;width:100%;font-family:var(--sans);margin:6px 0}.bar.svelte-1jpsao4{flex-wrap:wrap;align-items:center;gap:12px;font-size:14px;display:flex}.bar.svelte-1jpsao4 label:where(.svelte-1jpsao4){align-items:center;gap:6px;display:flex}.progress.svelte-1jpsao4{color:var(--muted)}.who.svelte-1jpsao4{font-family:var(--mono);margin-left:auto;font-size:12px}.warn.svelte-1jpsao4{background:var(--surface-2);border-left:3px solid var(--st-open);padding:6px 10px;font-size:13px}.steps.svelte-1jpsao4{gap:6px;margin:0 0 6px;padding:0;font-size:13px;list-style:none;display:flex}.steps.svelte-1jpsao4 li:where(.svelte-1jpsao4){background:var(--surface-2);color:var(--muted);border-radius:999px;padding:2px 10px}.steps.svelte-1jpsao4 li.on:where(.svelte-1jpsao4){background:var(--accent-soft);color:var(--text)}.why.svelte-1jpsao4{margin:4px 0 8px;font-size:13px}h2.svelte-1jpsao4{margin:14px 0 6px;font-size:15px;font-weight:600}.ht.svelte-1jpsao4{color:var(--muted);font-weight:400}.desc.svelte-1jpsao4{color:var(--muted);margin:-2px 0 8px;font-size:14px}h3.svelte-1jpsao4{text-transform:uppercase;letter-spacing:.05em;color:var(--muted);margin:18px 0 6px;font-size:13px}.locked.svelte-1jpsao4,.author.svelte-1jpsao4,.issue.svelte-1jpsao4 pre:where(.svelte-1jpsao4){white-space:pre-wrap;font:14px/1.5 var(--sans);background:var(--surface-2);border-radius:6px;margin:0;padding:8px 10px}.row.svelte-1jpsao4{gap:8px;margin-top:8px;display:flex}.btn.svelte-1jpsao4{border:1px solid var(--accent);background:var(--accent);color:#fff;cursor:pointer;border-radius:6px;padding:5px 12px;font-size:14px}.btn.ghost.svelte-1jpsao4{color:var(--accent);background:0 0}.btn.svelte-1jpsao4:disabled{opacity:.45;cursor:default}.groups.svelte-1jpsao4{flex-wrap:wrap;gap:8px;margin:12px 0 6px;display:flex}.choice.svelte-1jpsao4{border:1px solid var(--border);background:var(--surface-2);cursor:pointer;min-width:160px;color:var(--text);border-radius:8px;flex:1;padding:10px;font-size:14px}.choice.on.svelte-1jpsao4{border-color:var(--accent);background:var(--accent-soft)}.verdicts.svelte-1jpsao4{flex-direction:column;gap:4px;margin:6px 0;font-size:14px;display:flex}.lbl.svelte-1jpsao4{text-transform:uppercase;letter-spacing:.05em;color:var(--faint);margin:8px 0 2px;font-size:11px}.small.svelte-1jpsao4{font-size:13px}.also.svelte-1jpsao4 summary:where(.svelte-1jpsao4){cursor:pointer;color:var(--accent);margin:10px 0;font-size:13px}.closure.svelte-1jpsao4 summary:where(.svelte-1jpsao4){cursor:pointer;color:var(--accent);margin:8px 0;font-size:13px}.bad.svelte-1jpsao4{color:var(--st-malformed)}@media (max-width:640px){.who.svelte-1jpsao4{margin-left:0}}.state.svelte-1n46o8q{max-width:640px;margin:15vh auto;padding:0 16px}.top.svelte-1n46o8q{z-index:20;background:var(--surface);border-bottom:1px solid var(--border);align-items:center;gap:16px;padding:8px 16px;display:flex;position:sticky;top:0}.brand.svelte-1n46o8q{color:var(--accent);display:flex}.ptitle.svelte-1n46o8q{font-family:var(--serif);white-space:nowrap;text-overflow:ellipsis;max-width:40vw;font-weight:600;overflow:hidden}.papers.svelte-1n46o8q{gap:4px;display:flex}.papers.svelte-1n46o8q a:where(.svelte-1n46o8q),.aux.svelte-1n46o8q{color:var(--muted);white-space:nowrap;border-radius:6px;padding:4px 10px}.papers.svelte-1n46o8q a:where(.svelte-1n46o8q):hover,.aux.svelte-1n46o8q:hover{background:var(--surface-2);text-decoration:none}.papers.svelte-1n46o8q a.on:where(.svelte-1n46o8q),.aux.on.svelte-1n46o8q{background:var(--accent-soft);color:var(--text)}.aux.svelte-1n46o8q{font-size:14px}.top .aux:first-of-type{margin-left:auto}.banner.svelte-1n46o8q{background:var(--surface-2);border-bottom:1px solid var(--border);padding:8px 16px;font-size:14px}.page.svelte-1n46o8q{max-width:900px;margin:0 auto;padding:24px 16px 80px}@media (max-width:640px){.top.svelte-1n46o8q{flex-wrap:wrap;gap:8px;padding:8px 12px}.ptitle.svelte-1n46o8q{display:none}}