@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/newsreader-vietnamese-400-normal-DdKr49mV.woff2)format("woff2"),url(/assets/newsreader-vietnamese-400-normal-BekUZro8.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/newsreader-latin-ext-400-normal-svq1FPys.woff2)format("woff2"),url(/assets/newsreader-latin-ext-400-normal-DYA1XoQK.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/newsreader-latin-400-normal-BFBkh4jY.woff2)format("woff2"),url(/assets/newsreader-latin-400-normal-gRTjlS2D.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Newsreader;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/newsreader-vietnamese-400-italic-bZegYFuM.woff2)format("woff2"),url(/assets/newsreader-vietnamese-400-italic-QbB8kb5s.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Newsreader;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/newsreader-latin-ext-400-italic-BMTE_bNQ.woff2)format("woff2"),url(/assets/newsreader-latin-ext-400-italic-qdgKLcPG.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Newsreader;font-style:italic;font-display:swap;font-weight:400;src:url(/assets/newsreader-latin-400-italic-CEihAR-f.woff2)format("woff2"),url(/assets/newsreader-latin-400-italic-CNZoH1hn.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-cyrillic-ext-400-normal-xuaO2J-f.woff2)format("woff2"),url(/assets/ibm-plex-mono-cyrillic-ext-400-normal-DMdlQ8Kv.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-cyrillic-400-normal-BSMlKf0J.woff2)format("woff2"),url(/assets/ibm-plex-mono-cyrillic-400-normal-CEL4l2ZJ.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-vietnamese-400-normal-BulugwFq.woff2)format("woff2"),url(/assets/ibm-plex-mono-vietnamese-400-normal-DDuiU_S-.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-latin-ext-400-normal-BmRBH3aV.woff2)format("woff2"),url(/assets/ibm-plex-mono-latin-ext-400-normal-D3D2R8hC.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/ibm-plex-mono-latin-400-normal-DMJ8VG8y.woff2)format("woff2"),url(/assets/ibm-plex-mono-latin-400-normal-CvHOgSBP.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-mono-cyrillic-ext-500-normal-BqneJy0T.woff2)format("woff2"),url(/assets/ibm-plex-mono-cyrillic-ext-500-normal-BIfNGwUT.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-mono-cyrillic-500-normal-Bq9vWWag.woff2)format("woff2"),url(/assets/ibm-plex-mono-cyrillic-500-normal-Ael50iVv.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-mono-vietnamese-500-normal-DZ4AoWbu.woff2)format("woff2"),url(/assets/ibm-plex-mono-vietnamese-500-normal-C8zxqsMH.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-mono-latin-ext-500-normal-CAhNIIs5.woff2)format("woff2"),url(/assets/ibm-plex-mono-latin-ext-500-normal-CZ70TYgx.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/ibm-plex-mono-latin-500-normal-DSY6xOcd.woff2)format("woff2"),url(/assets/ibm-plex-mono-latin-500-normal-CB9ihrfo.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/assets/KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/assets/KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,math,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.19.0"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--bg:#fff;--ink:#000;--muted:#737373;--faint:#8a8a8a;--rule:#e5e5e5;--rule-strong:#cfcfcf;--card:#fff;--sunk:#f5f5f5;--hl:#0f6;--accent:#000;--accent-soft:#ececec;--brass:#00c853;--brass-soft:#0f6;--danger:#b42318;--danger-soft:#fbe9e6;--danger-rule:#f1c8c3;--ok:#00c853;--serif:"Newsreader", Georgia, serif;--mono:"IBM Plex Mono", ui-monospace, monospace;--gutter:clamp(16px, 4vw, 56px)}*{box-sizing:border-box}html,body{background:var(--bg);color:var(--ink);margin:0}body{font-family:var(--serif);-webkit-font-smoothing:antialiased}a{color:var(--ink);text-underline-offset:3px;text-decoration-thickness:1px}a:hover{color:var(--ink)}button{font:inherit;color:inherit}button:disabled{cursor:not-allowed}input::placeholder{color:var(--faint)}:focus-visible{outline:1px solid var(--ink);outline-offset:3px}.hl{background:var(--hl);color:var(--ink);margin:-1px -4px;padding:1px 4px}.shell{flex-direction:column;min-height:100vh;display:flex}.container{width:100%;max-width:1360px;padding-inline:var(--gutter);margin:0 auto}.mono{font-family:var(--mono)}.muted{color:var(--muted)}.label{font-family:var(--mono);color:var(--muted);font-size:11px;line-height:15px}.h1{letter-spacing:-.02em;margin:0;font-size:38px;font-weight:400;line-height:42px}.h2{margin:0;font-size:17px;font-weight:400;line-height:27px}.lede{color:var(--muted);max-width:32em;margin:0;font-size:17px;line-height:27px}.note{font-family:var(--mono);color:var(--muted);margin:0;font-size:11px;line-height:17px}.header{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:12px 40px;padding-block:22px;display:flex}.brand{letter-spacing:-.02em;color:var(--ink);font-size:26px;line-height:30px;text-decoration:none}.nav{font-family:var(--mono);letter-spacing:.02em;flex-wrap:wrap;gap:6px 22px;font-size:11px;line-height:15px;display:flex}.nav a,.nav button{color:var(--ink);font:inherit;cursor:pointer;background:0 0;border:0;margin:-1px -4px;padding:1px 4px;text-decoration:none}.nav a:hover,.nav button:hover{text-decoration:underline}.nav .key{color:var(--muted)}.nav a[aria-current=page]{background:var(--hl);text-decoration:none}.nav a[aria-current=page] .key{color:var(--ink)}.header-actions{font-family:var(--mono);flex-wrap:wrap;align-items:baseline;gap:6px 22px;font-size:11px;line-height:15px;display:flex}.footer{font-family:var(--mono);color:var(--muted);flex-wrap:wrap;justify-content:space-between;gap:8px 32px;padding-block:28px 32px;font-size:11px;line-height:15px;display:flex}.footer a{color:inherit}.footer .addr{overflow-wrap:anywhere}.main{flex-grow:1;padding-block:56px 96px}.pill{color:var(--ink);font-family:var(--mono);cursor:pointer;text-underline-offset:3px;white-space:nowrap;background:0 0;border:0;justify-content:center;align-items:center;gap:6px;padding:1px 4px;font-size:11px;line-height:15px;text-decoration:underline;display:inline-flex}.pill.solid{background:var(--hl);text-decoration:none}.pill.solid:hover{text-decoration:underline}.pill.quiet{color:var(--muted)}.pill:disabled{opacity:.4;cursor:not-allowed}.primary{background:var(--ink);width:100%;height:56px;color:var(--bg);font-family:var(--mono);letter-spacing:.04em;text-align:left;cursor:pointer;border:0;justify-content:space-between;align-items:center;gap:16px;padding:0 20px;font-size:12px;display:flex}.primary .kbd{color:#8c8c8c}.primary:disabled{background:var(--rule);color:var(--muted)}.link-button{font:inherit;color:var(--ink);text-underline-offset:3px;cursor:pointer;background:0 0;border:0;padding:0 0 0 6px;text-decoration:underline}.icon-button{width:44px;height:44px;color:var(--muted);cursor:pointer;background:0 0;border:0;justify-content:center;align-items:center;padding:0;display:inline-flex}.icon-button:hover{color:var(--ink)}.network{font-family:var(--mono);color:var(--muted);align-items:center;gap:8px;font-size:11px;display:inline-flex}.dot{background:var(--accent);border-radius:50%;flex-shrink:0;width:8px;height:8px}.network .dot{background:var(--hl);outline:1px solid var(--ink);outline-offset:-1px;border-radius:0;width:7px;height:7px}.seg{font-family:var(--mono);flex-wrap:wrap;gap:6px 18px;font-size:11px;line-height:15px;display:inline-flex}.seg button{color:var(--muted);font:inherit;cursor:pointer;background:0 0;border:0;margin:-1px -4px;padding:1px 4px}.seg button:hover{color:var(--ink)}.seg button[aria-pressed=true]{background:var(--hl);color:var(--ink)}.slider{height:21px;position:relative}.slider svg{width:100%;height:21px;position:absolute;top:0;left:0;overflow:visible}.slider line{stroke:var(--ink);stroke-width:1px}.slider .thumb{background:var(--hl);outline:1px solid var(--ink);outline-offset:-1px;pointer-events:none;width:11px;height:11px;position:absolute;top:5px;left:0}.slider:focus-within .thumb{outline-offset:-2px;outline-width:2px}.slider input{appearance:none;opacity:0;cursor:pointer;width:100%;height:100%;margin:0;position:absolute;inset:0}.slider input::-webkit-slider-thumb{-webkit-appearance:none;width:11px;height:21px}.slider input::-moz-range-thumb{border:0;width:11px;height:21px}.slider-head{justify-content:space-between;gap:12px;display:flex}.slider-scale{justify-content:space-between;margin-top:-12px;display:flex}.details{font-family:var(--mono);flex-direction:column;margin:0;font-size:11px;line-height:15px;display:flex}.details>div{border-top:1px solid var(--rule);justify-content:space-between;align-items:center;gap:16px;padding:8px 0;display:flex}.details dt{color:var(--muted)}.details dd{text-align:right;margin:0}.stats{border-top:1px solid var(--ink);grid-template-columns:repeat(auto-fit,minmax(min(200px,100%),1fr));display:grid}.stat{border-left:1px solid var(--rule);flex-direction:column;gap:8px;padding:20px 20px 22px;display:flex}.stat:first-child{border-left:0;padding-left:0}.stat-value{letter-spacing:-.02em;font-variant-numeric:tabular-nums;font-size:38px;line-height:42px}.stat-sub{font-family:var(--mono);color:var(--muted);font-size:11px;line-height:17px}.table{flex-direction:column;display:flex}.row{border-bottom:1px solid var(--rule);font-family:var(--mono);align-items:center;gap:16px;padding:8px 0;font-size:11px;line-height:15px;display:grid}.row.head{border-bottom-color:var(--ink);color:var(--muted);padding:0 0 8px}.right{text-align:right}.bar{background:var(--rule);flex-grow:1;height:4px;display:flex}.bar>span{background:var(--ink)}.bar.thick{background:0 0;height:10px}.card{border:0;border-top:1px solid var(--ink);background:0 0}.badge{font-family:var(--mono);color:var(--muted);box-shadow:inset 0 0 0 1px var(--rule-strong);white-space:nowrap;padding:0 4px;font-size:11px;line-height:15px}.badge.danger{color:var(--danger);box-shadow:inset 0 0 0 1px var(--danger-rule)}.status{font-family:var(--mono);align-items:center;gap:8px;font-size:11px;display:inline-flex}.status .dot.hollow{border:1px solid var(--muted);background:0 0}.error-text{color:var(--danger)}.token-logo{object-fit:cover;background:var(--sunk);border-radius:50%;flex-shrink:0;width:22px;height:22px;display:inline-block}.token-logo.sm{width:16px;height:16px}.token-logo.lg{width:36px;height:36px}.token-stack{display:inline-flex}.token-stack .token-logo+.token-logo{box-shadow:0 0 0 1.5px var(--bg);margin-left:-6px}.overlay{z-index:10;justify-content:center;align-items:flex-start;padding:132px 16px 32px;display:flex;position:fixed;inset:0;overflow-y:auto}.backdrop{cursor:default;background:#0000004d;border:0;margin:0;padding:0;position:absolute;inset:0}.dialog{background:var(--card);border:1px solid var(--ink);flex-direction:column;width:100%;max-width:440px;display:flex;position:relative}.dialog-head{border-bottom:1px solid var(--rule);justify-content:space-between;align-items:center;gap:16px;padding:14px 12px 6px 24px;display:flex}.dialog-head h2{margin:0;font-size:17px;font-weight:400}.sr-only{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.option{text-align:left;cursor:pointer;background:0 0;border:0;align-items:center;gap:14px;width:100%;min-height:64px;padding:10px 12px;display:flex}.option:hover,.option[aria-pressed=true]{background:var(--sunk)}.mark{border:1px solid var(--ink);width:36px;height:36px;font-family:var(--mono);border-radius:50%;flex-shrink:0;justify-content:center;align-items:center;font-size:10px;display:flex;overflow:hidden}.mark img{width:100%;height:100%}@media (width<=640px){.nav{gap:4px 18px}.stat{border-left:0;padding-left:0}.row{gap:10px;font-size:12px}.row.tickrow{grid-template-columns:76px minmax(0,1fr) 64px 32px!important}.row.tickrow .bar-cell{display:none}.row.reserverow{grid-template-columns:72px minmax(0,1fr) minmax(0,1fr) 56px!important}.row.reserverow .bar{display:none}}.radar{width:100%;height:auto;font-family:var(--mono);display:block}.radar.pickable{cursor:crosshair}.radar-rim{fill:var(--bg);stroke:var(--ink);stroke-width:1px}.radar-contour{fill:none;stroke:var(--ink);stroke-opacity:.3;stroke-width:.5px}.radar-ring{fill:none;stroke:var(--rule);stroke-width:.75px}.radar-tick{fill:var(--faint);font-size:9px}.radar-axis{stroke:var(--ink);stroke-opacity:.12;stroke-width:.75px}.radar-preset{fill:none;stroke:var(--ink);stroke-width:.75px;stroke-dasharray:3 3}.radar-selected{fill:none;stroke:var(--hl);stroke-width:4px}.radar-selected-core,.radar-hover{fill:none;stroke:var(--ink);stroke-width:.75px}.radar-peg{fill:var(--bg);stroke:var(--ink);stroke-width:.75px}.radar-state{fill:var(--hl);stroke:var(--ink);stroke-width:1px}.radar-label{fill:var(--ink);stroke:var(--bg);stroke-width:3px;paint-order:stroke;font-size:11px}.radar-vertex{fill:var(--ink);font-size:11px}.radar-vertex-dot{fill:var(--ink)}.radar-legend{font-family:var(--mono);color:var(--muted);flex-wrap:wrap;gap:8px 20px;font-size:11px;display:flex}.radar-legend span{align-items:center;gap:6px;display:inline-flex}.radar-legend .peg{border:1px solid var(--ink);background:var(--bg);width:7px;height:7px}.radar-legend .pool{background:var(--hl);outline:1px solid var(--ink);outline-offset:-1px;width:8px;height:8px}.radar-legend .heat{border:1px solid var(--ink);opacity:.35;border-radius:50%;width:14px;height:9px}.radar-legend .bound{background:var(--hl);width:18px;height:4px;box-shadow:inset 0 -1.5px 0 var(--bg), inset 0 1.5px 0 var(--bg), inset 0 0 0 9px var(--hl)}:root{--toc-w:240px;--gap:32px;--margin-w:220px}.visually-hidden{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.post-head{flex-direction:column;gap:16px;max-width:852px;margin-bottom:96px;padding-top:72px;display:flex}.post-head .h1{letter-spacing:-.02em;text-wrap:balance;font-size:38px;line-height:42px}.post-head .lede{max-width:32em;font-size:17px;line-height:27px}.post-head .lede a{color:inherit}.byline{flex-wrap:wrap;gap:6px 18px;display:flex}.ev{font-family:var(--mono);white-space:nowrap;vertical-align:1px;color:var(--muted);border:0;padding:1px 4px;font-size:11px;font-style:normal;line-height:15px;display:inline-block}.ev.proved{background:var(--hl);color:var(--ink)}.ev.tested{color:var(--ink);box-shadow:inset 0 0 0 1px var(--ink)}.ev.measured{color:var(--muted);box-shadow:inset 0 0 0 1px var(--rule-strong)}.post-layout{grid-template-columns:minmax(0,1fr);display:grid}.post{width:100%;min-width:0;max-width:700px;margin:0 auto}.toc{z-index:5;margin:0 calc(-1 * var(--gutter)) 28px;padding:0 var(--gutter);background:var(--bg);border-bottom:1px solid var(--rule);font-family:var(--mono);font-size:11px;line-height:18px;position:sticky;top:0}.toc summary{cursor:pointer;justify-content:space-between;align-items:center;gap:12px;min-height:48px;list-style:none;display:flex}.toc summary::-webkit-details-marker{display:none}.toc-label{color:var(--muted)}.toc-current{color:var(--ink);text-align:right;text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.toc-current:after{content:" ▾";color:var(--muted)}.toc[open] .toc-current:after{content:" ▴"}.toc nav{max-height:70vh;padding:4px 0 16px;overflow-y:auto}.toc ol{gap:1px;margin:0;padding:0;list-style:none;display:grid}.toc a{color:var(--muted);grid-template-columns:22px minmax(0,1fr);padding:2px 0;text-decoration:none;display:grid}.toc a>span:last-child{justify-self:start;margin-left:-3px;padding:0 3px}.toc a:hover{color:var(--ink)}.toc .n{color:var(--faint)}.toc li.on>a{color:var(--ink)}.toc li.on>a>span:last-child{background:var(--hl)}.toc .sub{gap:0;margin:2px 0 6px 30px;display:none}.toc li.on>.sub{display:grid}.toc .sub a{padding:2px 0;font-size:11px;display:block}.toc .sub li.on>a{color:var(--ink);text-decoration:underline}.toc-foot{gap:12px;margin-top:10px;padding:14px 0 0;display:grid}.toc-progress{background:var(--rule);height:1px;position:relative;overflow:hidden}.toc-progress i{background:var(--ink);transform-origin:0;transform:scaleX(var(--p,0));position:absolute;inset:0}@media (width>=1180px){.post-layout{grid-template-columns:var(--toc-w) minmax(0, 1fr);gap:var(--gap)}.post-head{margin-left:calc(var(--toc-w) + var(--gap))}.post{max-width:calc(600px + var(--margin-w) + var(--gap));padding-right:calc(var(--margin-w) + var(--gap));margin:0}.toc{background:0 0;border:0;align-self:start;max-height:calc(100vh - 48px);margin:0;padding:0;top:24px;overflow-y:auto}.toc summary{display:none}.toc nav{max-height:none;padding:0;overflow:visible}.post .sn{float:right;clear:right;width:var(--margin-w);margin:6px calc(-1 * (var(--margin-w) + var(--gap))) 18px 0}.fig.wide{margin-right:calc(-1 * (var(--margin-w) + var(--gap)))}}.post p,.post li{font-size:17px;line-height:27px}.post p{margin:0 0 18px}.post p.label{font-size:11px;line-height:1.5}.post ul,.post ol{margin:0 0 18px;padding-left:1.25em}.post li{margin-bottom:8px}.post strong{font-style:italic;font-weight:400}.post a{color:var(--ink)}.post code{font-family:var(--mono);background:var(--sunk);overflow-wrap:anywhere;padding:1px 5px;font-size:.8em}.post .katex{font-size:1.06em}.post .katex-display{margin:22px 0;padding:4px 0;overflow:auto hidden}.post section,.post h3{scroll-margin-top:64px}.post h2{text-wrap:balance;align-items:baseline;gap:14px;margin:96px 0 12px;font-size:17px;font-weight:400;line-height:27px;display:flex}.post h2 .num{font-family:var(--mono);color:var(--muted);flex:none;font-size:11px}.post h2 .num:before{content:"§"}.post h3{flex-wrap:wrap;align-items:baseline;gap:6px 12px;margin:40px 0 8px;font-size:17px;font-style:italic;font-weight:400;line-height:27px;display:flex}.dense{font-family:var(--mono);color:var(--muted);border:1px dashed var(--rule-strong);padding:3px 7px;font-size:11px;font-style:normal}.post .inshort{border-left:1px solid var(--ink);margin-bottom:28px;padding:0 0 0 18px;font-size:17px;line-height:27px}.inshort .label{margin-bottom:4px;display:block}.ti,.post .katex .ti{color:var(--ink)}.tb,.post .katex .tb{color:var(--ink);background:var(--hl);padding:0 2px}.eq-block{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);margin:22px 0;padding:4px 0 12px}.eq-block .katex-display{margin:14px 0 8px}.post .eq-legend{text-align:center;font-family:var(--mono);color:var(--muted);margin:0;font-size:11px;line-height:17px}.map{padding-top:4px}.post .map-intro{font-size:17px}.map-table{border-collapse:collapse;width:100%;margin:6px 0 4px}.map-table th{text-align:left;font-family:var(--mono);color:var(--muted);border-bottom:1px solid var(--ink);padding:0 14px 10px 0;font-size:11px;font-weight:400}.map-table td{border-bottom:1px solid var(--rule);vertical-align:top;padding:12px 14px 12px 0;font-size:16px;line-height:1.5}.map-table td.paper{color:var(--muted);width:34%}.map-table td.state{white-space:nowrap;width:1%}.map-table .sec{text-align:right;font-family:var(--mono);white-space:nowrap;padding-right:0;font-size:12px}.map-table .sec a{border-bottom:1px solid var(--rule-strong);padding:2px 0;text-decoration:none}.st{font-family:var(--mono);padding:1px 4px;font-size:11px;line-height:15px;display:inline-block}.st.corrected{background:var(--hl);color:var(--ink)}.st.replaced{box-shadow:inset 0 0 0 1px var(--ink);color:var(--ink)}.st.designed{box-shadow:inset 0 0 0 1px var(--rule-strong);color:var(--ink)}.st.measured{color:var(--muted)}.post .paths{flex-wrap:wrap;align-items:center;gap:8px;margin:22px 0 0;display:flex}.paths .label{margin-right:6px}.chip{font-family:var(--mono);color:var(--ink);background:0 0;border:0;padding:1px 4px;font-size:11px;text-decoration:underline}.chip:hover{background:var(--hl);text-decoration:none}.chip b{margin-left:4px;font-weight:400}@media (width<=640px){.map-table thead{display:none}.map-table,.map-table tbody,.map-table tr,.map-table td{display:block;width:auto!important}.map-table tr{border-bottom:1px solid var(--rule);grid-template-columns:minmax(0,1fr) auto;gap:6px 12px;padding:14px 0;display:grid}.map-table td{border:0;padding:0}.map-table td.paper{grid-column:1/-1}.map-table td.state{grid-area:1/2}}.spec{border-top:1px solid var(--ink);margin:0 0 24px}.spec div{border-bottom:1px solid var(--rule);grid-template-columns:110px minmax(0,1fr);gap:16px;padding:14px 0;display:grid}.spec dt{font-family:var(--mono);color:var(--muted);padding-top:5px;font-size:11px}.spec dd{margin:0;font-size:17px;line-height:1.55}.compare{border-top:1px solid var(--ink);background:var(--bg);grid-template-columns:repeat(2,minmax(0,1fr));margin:0 0 28px;display:grid}.compare>div{border-top:1px solid var(--rule);padding:14px 18px 4px 0}.compare>div:nth-child(-n+2){border-top:0}.compare>div:nth-child(2n){border-left:1px solid var(--rule);padding-left:18px}.compare .ours{background:var(--card)}.compare .label{margin:0 0 6px}.post .compare p:not(.label){margin:0 0 10px;font-size:16px;line-height:24px}.cards{gap:14px;margin:0 0 24px;display:grid}.cards.two{grid-template-columns:repeat(2,minmax(0,1fr))}.cards.three{grid-template-columns:repeat(3,minmax(0,1fr))}.card{border:0;border-top:1px solid var(--ink);background:0 0;min-width:0;padding:14px 0 4px}.card .label{margin:0 0 6px}.post .card p:not(.label){margin:0 0 12px;font-size:16px;line-height:24px}.card.rule{border-color:var(--ink)}.post .card p.rule-name{margin-bottom:4px;font-size:17px;font-style:italic;line-height:27px}.card.loss{border-top-color:var(--danger)}.result,.theorem{border:0;border-top:1px solid var(--ink);background:0 0;margin:0 0 24px;padding:14px 0 4px}.post .result-head{flex-wrap:wrap;align-items:center;gap:8px;margin:0 0 8px;display:flex}.result-head .label{margin-right:auto}.post .result p:not(.result-head),.post .theorem p:not(.result-head){margin:0 0 12px;font-size:17px;line-height:27px}.theorems{gap:12px;margin-bottom:24px;display:grid}.theorem{margin:0}.post .stats{margin:4px 0 28px}.post .stat{gap:8px;padding:18px 18px 20px}.post .stat:first-child{padding-left:0}.post .stat-value{font-variant-numeric:tabular-nums;letter-spacing:-.02em;font-size:38px;line-height:42px}.post .stat-sub{line-height:1.5}.stat .ev{align-self:flex-start}.proof{border:0;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);background:0 0;margin:0 0 24px;padding:0}.proof summary{cursor:pointer;min-height:40px;font-family:var(--mono);color:var(--muted);justify-content:space-between;align-items:center;gap:12px;font-size:11px;list-style:none;display:flex}.proof summary::-webkit-details-marker{display:none}.proof summary:after{content:"+";color:var(--ink);font-size:14px}.proof[open] summary:after{content:"−"}.proof ol{margin:0 0 16px}.post .proof li{font-size:17px}.sn{font-family:var(--mono);color:var(--muted);margin:0 0 24px;font-size:11px;line-height:17px;display:block}.sn .label{color:var(--ink);margin-bottom:4px;display:block}.sn .katex{color:var(--ink);font-size:1.1em}.pipeline{counter-reset:stage;font-family:var(--mono);list-style:none;display:grid;margin:16px 0 34px!important;padding:0!important}.pipeline li{counter-increment:stage;border-top:1px solid var(--rule);grid-template-columns:36px 160px minmax(0,1fr);align-items:baseline;margin:0;padding:7px 0;display:grid;font-size:11px!important;line-height:17px!important}.pipeline .sec{color:var(--muted)}.pipeline .sec:before{content:counter(stage, decimal-leading-zero)}.pipeline b{justify-self:start;margin-left:-3px;padding:0 3px;font-weight:400}.pipeline li.here b{background:var(--hl)}.pipeline span:last-child{color:var(--muted)}.questions{gap:14px;list-style:none;display:grid;padding:0!important}.questions li{border-top:1px solid var(--ink);margin:0;padding:14px 0 4px}.questions .label{margin:0}.questions .label .hl{margin-left:0}.questions h3{margin:6px 0 8px;font-size:17px}.post .questions p:not(.label){font-size:17px;line-height:27px}.contract{border-top:1px solid var(--ink);margin:0}.contract div{border-bottom:1px solid var(--rule);grid-template-columns:90px minmax(0,1fr);gap:16px;padding:14px 0;display:grid}.contract dt{font-family:var(--mono);color:var(--muted);padding-top:4px;font-size:11px}.contract dd{flex-wrap:wrap;align-items:baseline;gap:6px 14px;min-width:0;margin:0;font-size:17px;line-height:1.55;display:flex}.contract code{font-size:13px}.contract-actions{font-family:var(--mono);gap:12px;font-size:11px;display:inline-flex}.contract-actions a{color:var(--muted)}.copy{background:var(--hl);font:inherit;letter-spacing:inherit;text-transform:inherit;color:var(--ink);cursor:pointer;border:0;padding:0 4px}.copy:hover{text-decoration:underline}.contract .live{background:var(--hl);outline:1px solid var(--ink);outline-offset:-1px;width:8px;height:8px;margin-right:8px;display:inline-block}.contract div:first-child dt{color:var(--ink)}.contract-note{font-family:var(--mono);color:var(--muted);flex-basis:100%;font-size:12px}.appendix{border-top:1px solid var(--ink);margin-top:40px}.appendix strong{background:var(--hl);padding:0 3px;font-style:normal}.post .aside{font-family:var(--mono);color:var(--muted);margin-top:18px;font-size:12px;line-height:1.6}.next{border-top:1px solid var(--ink);color:var(--ink);font-family:var(--mono);justify-content:space-between;align-items:baseline;gap:24px;margin-top:96px;padding:14px 0 0;font-size:11px;text-decoration:none;display:flex}.next:hover .next-title{text-decoration:underline}.next>span:first-child{font-family:var(--serif);flex-direction:column;gap:2px;display:flex}.next-title{font-size:17px;line-height:27px}.next-dek{color:var(--muted);font-size:16px;line-height:24px}.callout{border-top:1px solid var(--ink);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:16px;margin-top:32px;padding:14px 0 0;display:flex}.post .callout p{margin:0;font-size:17px}.callout span,.callout a{font-family:var(--mono);font-size:11px;text-decoration:none}.fig{min-width:0;margin:40px 0 56px}.fig-scroll{overflow-x:auto}.fig-svg{width:100%;min-width:460px;height:auto;display:block}.fig.wide .fig-svg{min-width:620px}.fig-draw{min-height:120px}.fig-more{margin-top:10px}.fig-more summary{cursor:pointer;min-height:28px;color:var(--ink);align-items:center;gap:8px;font-size:11px;list-style:none;display:inline-flex}.fig-more summary::-webkit-details-marker{display:none}.fig-more summary:before{content:"+";width:1ch}.fig-more[open] summary:before{content:"−"}.fig figcaption .fig-more p{font-size:inherit;line-height:inherit;margin:6px 0 0}.fig figcaption{max-width:600px;font-family:var(--mono);color:var(--muted);margin-top:14px;font-size:11px;line-height:17px}.fig .seg{margin-bottom:10px}.fig .bm-legend{margin-bottom:8px}.fig-svg path,.fig-svg polyline,.fig-svg ellipse,.fig-svg circle.int,.fig-svg circle.faint,.fig-svg circle.bnd{fill:none}.fig-svg .axis{stroke:var(--rule-strong);stroke-width:1px}.fig-svg .faint{stroke:var(--rule-strong);stroke-width:1.2px;stroke-dasharray:4 4}.fig-svg .surface{stroke:var(--ink);stroke-width:2.4px;stroke-linecap:round}.fig-svg .surface.int{stroke:var(--accent)}.fig-svg .int{stroke:var(--accent);stroke-width:2.2px}.fig-svg .bnd{stroke:var(--brass);stroke-width:2.2px}.fig-svg .plane{stroke:var(--faint);stroke-width:1px;stroke-dasharray:2 5}.fig-svg .plane.bnd{stroke:var(--brass);stroke-width:1.3px;stroke-dasharray:5 4}.fig-svg .dash{stroke-dasharray:5 4}.fig-svg .normal{stroke:var(--faint);stroke-width:1px;stroke-dasharray:1 4}.fig-svg .guide{stroke:var(--faint);stroke-width:1px}.fig-svg .root{stroke:var(--danger);stroke-width:1.5px;stroke-dasharray:6 5}.fig-svg .bad{stroke:var(--danger);stroke-width:2.2px}.fig-svg .jump,.fig-svg .bracket{stroke-width:1.2px}.fig-svg .jump{stroke:var(--danger)}.fig-svg .bracket{stroke:var(--ink)}.fig-svg .arrow{stroke:var(--ink);stroke-width:1.2px}.fig-svg .poolside{fill:var(--sunk)}.fig-svg .piece{fill:var(--accent-soft)}.fig-svg .dot-ink{fill:var(--ink)}.fig-svg .dot-accent{fill:var(--accent)}.fig-svg .dot-brass{fill:var(--brass)}.fig-svg .dot-danger{fill:var(--danger)}.fig-svg .head{fill:var(--ink);stroke:none}.fig-svg .axis-head{fill:var(--rule-strong);stroke:none}.fig-svg .tick{stroke-width:1px}.fig-svg .bit{fill:var(--brass-soft);stroke:var(--brass);stroke-width:.5px}.fig-svg .box{fill:var(--card);stroke:var(--rule-strong);stroke-width:1px}.fig-svg .fill-int{fill:var(--accent-soft);stroke:var(--accent);stroke-width:1px}.fig-svg .fill-bnd{fill:var(--brass-soft);stroke:var(--brass);stroke-width:1px}.fig-svg .fill-danger{fill:var(--danger-soft);stroke:var(--danger);stroke-width:1px}.fig-svg .fill-ink{fill:var(--ink);stroke:none}.fig-svg .here{fill:var(--hl);stroke:none}.fig-svg .fill-flip{stroke:var(--brass);stroke-width:1px}.fig-svg .band{fill:var(--danger-soft)}.fig-svg .t{font-family:var(--mono);fill:var(--ink);font-size:12px}.fig-svg .t.m{font-family:var(--serif);font-size:17px;font-style:italic}.fig-svg .t.muted{fill:var(--muted)}.fig-svg .t.faint{fill:var(--faint)}.fig-svg .t.accent,.fig-svg .t.brass{fill:var(--ink)}.fig-svg .t.danger{fill:var(--danger)}.fig-svg .t.small{font-size:11px}#fig-tangent .only-root{display:none}#fig-tangent[data-mode=root] .only-root{display:inline}#fig-tangent[data-mode=root] .only-sum{display:none}#fig-pieces .step-2,#fig-pieces .step-3{transition:opacity .2s}#fig-pieces[data-step="1"] .step-2,#fig-pieces[data-step="1"] .step-3,#fig-pieces[data-step="2"] .step-3{opacity:0}#fig-pieces[data-step="2"] .step-2-label,#fig-pieces[data-step="3"] .step-2-label{fill:var(--ink);font-weight:500}#fig-pieces[data-step="3"] .piece{fill:var(--accent-soft);opacity:.55}.model-controls{font-family:var(--mono);grid-template-columns:minmax(0,220px) auto minmax(0,300px);align-items:start;gap:14px 40px;margin-bottom:18px;font-size:11px;line-height:15px;display:grid}.model-slider{flex-direction:column;gap:14px;display:flex}.model-controls .pill{margin-top:-1px}.model-reserves{gap:6px;margin:0;display:grid}.model-reserves dt{margin-bottom:2px}.model-reserves dd{font-variant-numeric:tabular-nums;grid-template-columns:56px minmax(0,1fr) 40px;align-items:center;gap:10px;margin:0;display:grid}.model-reserves dd>span:last-child{text-align:right}.model-bar{background:var(--rule);height:5px}.model-bar i{background:var(--ink);height:100%;display:block}.model-reserves dd:nth-of-type(2) .model-bar i{background:var(--brass)}.model-svg{touch-action:pan-y;cursor:ns-resize;-webkit-user-select:none;user-select:none;width:100%;min-width:520px;height:auto;display:block}.model-svg path,.model-svg line,.model-svg circle{fill:none;stroke:var(--ink)}.model-svg .axis{stroke-width:.5px;stroke-dasharray:14 3 2 3}.model-svg .surface{stroke-width:.75px}.model-svg .hoop{stroke-width:1px}.model-svg .detail-box{fill:none;stroke:var(--ink);stroke-width:.5px;stroke-dasharray:2 2}.model-svg .hoop-far{stroke-width:.3px}.model-svg .travelled{stroke-width:2.2px}.model-svg .ring{stroke-width:.75px}.model-svg .ring.out{stroke:var(--brass);stroke-width:2px}.model-svg .ring-far{stroke-width:.3px}.model-svg .ring-far.out{stroke:var(--brass);stroke-width:.8px}.model-svg .leader{stroke-width:.5px}.model-svg .tag{fill:#0000;stroke:none}.model-svg .tag.out{fill:var(--hl)}.model-svg .arm{stroke:var(--brass);stroke-width:2.4px}.model-svg .radius{stroke-width:.75px;stroke-dasharray:3 3}.model-svg .peg{fill:var(--bg);stroke:var(--ink);stroke-width:.75px}.model-svg .state{fill:var(--hl);stroke:var(--ink);stroke-width:1px}.model-svg .strip-base{stroke-width:.5px}.model-svg .strip{stroke-width:.5px;stroke-opacity:.6}.model-svg .strip-tick{stroke-width:1px}.model-svg .strip-tick.out,.model-svg .cursor{stroke:var(--brass);stroke-width:2px}.model-svg text{font-family:var(--mono);fill:var(--ink);font-size:10px}.model-svg .note-text{font-size:11px}.model-svg .muted{fill:var(--muted)}.model-svg .hidden{display:none}@media (width<=640px){.model-controls{grid-template-columns:minmax(0,1fr) auto}.model-reserves{grid-column:1/-1}}.bm-chart{min-height:180px;position:relative}.table-scroll{margin:24px 0 28px;overflow-x:auto}.data{border-collapse:collapse;width:100%;font-family:var(--mono);font-size:13px;line-height:1.5}.data th{text-align:left;color:var(--muted);border-bottom:1px solid var(--ink);vertical-align:bottom;padding:0 16px 10px 0;font-size:11px;font-weight:400}.data th .katex{text-transform:none;letter-spacing:0;font-size:1.15em}.data td{border-bottom:1px solid var(--rule);vertical-align:top;padding:12px 16px 12px 0}.data td:first-child{color:var(--muted)}.data.compact td:first-child,.data.notation td:first-child{color:var(--ink);white-space:nowrap}.data .num{text-align:right;white-space:nowrap}.data .katex{font-size:1.12em}.data tr.here td{background:var(--hl);color:var(--ink)}.data tr.here td:first-child{box-shadow:-6px 0 0 var(--hl)}.sym{cursor:help}.sym:hover,.sym:focus-visible{background:var(--hl);outline:none}.sym-tip{z-index:20;background:var(--ink);max-width:280px;color:var(--bg);font-family:var(--mono);pointer-events:none;padding:8px 10px;font-size:11px;line-height:17px;position:fixed}@media (width<=860px){.cards.three{grid-template-columns:minmax(0,1fr)}.pipeline li{grid-template-columns:36px 140px minmax(0,1fr)}}@media (width<=640px){.post h2{margin-top:64px}.compare,.cards.two{grid-template-columns:minmax(0,1fr)}.compare>div{border-left:0!important;border-top:1px solid var(--rule)!important}.compare>div:first-child{border-top:0!important}.pipeline li{grid-template-columns:30px minmax(0,1fr)}.pipeline span:last-child{grid-column:2}.spec div,.contract div{grid-template-columns:minmax(0,1fr);gap:4px}.data{font-size:12px}.post .stat-value{font-size:28px}}@media (prefers-reduced-motion:reduce){#fig-pieces .step-2,#fig-pieces .step-3{transition:none}}@media print{.toc,.seg{display:none}.post{padding:0}.post .sn{float:none;width:auto;margin:0 0 18px}}