@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:400;src:url(./source-serif-4-cyrillic-ext-400-normal-CWV284fw.woff2) format("woff2"),url(./source-serif-4-cyrillic-ext-400-normal-CYkrUebz.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:400;src:url(./source-serif-4-cyrillic-400-normal-C44pakCn.woff2) format("woff2"),url(./source-serif-4-cyrillic-400-normal-DEwCKrdL.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:400;src:url(./source-serif-4-greek-400-normal-Cw5-AHNN.woff2) format("woff2"),url(./source-serif-4-greek-400-normal-D_DO3bho.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:400;src:url(./source-serif-4-vietnamese-400-normal-DFDfvBrN.woff2) format("woff2"),url(./source-serif-4-vietnamese-400-normal-9XEw6Pmr.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:400;src:url(./source-serif-4-latin-ext-400-normal-B5LksYz5.woff2) format("woff2"),url(./source-serif-4-latin-ext-400-normal-DKmgyNre.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:400;src:url(./source-serif-4-latin-400-normal-DJ5YJwmz.woff2) format("woff2"),url(./source-serif-4-latin-400-normal-C1O10bxN.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:500;src:url(./source-serif-4-cyrillic-ext-500-normal-DaDZE_Na.woff2) format("woff2"),url(./source-serif-4-cyrillic-ext-500-normal-BStU-lo2.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:500;src:url(./source-serif-4-cyrillic-500-normal-BdVUvljg.woff2) format("woff2"),url(./source-serif-4-cyrillic-500-normal-CcslvIcJ.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:500;src:url(./source-serif-4-greek-500-normal-By8GFJzz.woff2) format("woff2"),url(./source-serif-4-greek-500-normal-BXMinxTp.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:500;src:url(./source-serif-4-vietnamese-500-normal-CMCShbCf.woff2) format("woff2"),url(./source-serif-4-vietnamese-500-normal-Dnd1SzM5.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:500;src:url(./source-serif-4-latin-ext-500-normal-B9yeO7Tj.woff2) format("woff2"),url(./source-serif-4-latin-ext-500-normal-vc_U1RmA.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4";font-style:normal;font-display:swap;font-weight:500;src:url(./source-serif-4-latin-500-normal-CUHe9xxf.woff2) format("woff2"),url(./source-serif-4-latin-500-normal-D4bPw0i_.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Source Serif 4";font-style:italic;font-display:swap;font-weight:400;src:url(./source-serif-4-cyrillic-ext-400-italic-zoDFlEzN.woff2) format("woff2"),url(./source-serif-4-cyrillic-ext-400-italic-Drp6JL_V.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4";font-style:italic;font-display:swap;font-weight:400;src:url(./source-serif-4-cyrillic-400-italic-BLN19cOa.woff2) format("woff2"),url(./source-serif-4-cyrillic-400-italic-C-sRFhvU.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:"Source Serif 4";font-style:italic;font-display:swap;font-weight:400;src:url(./source-serif-4-greek-400-italic-C7D4Dq0H.woff2) format("woff2"),url(./source-serif-4-greek-400-italic-Ce3U_qGW.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:"Source Serif 4";font-style:italic;font-display:swap;font-weight:400;src:url(./source-serif-4-vietnamese-400-italic-B7_QYl3c.woff2) format("woff2"),url(./source-serif-4-vietnamese-400-italic-7zG0SGDK.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Serif 4";font-style:italic;font-display:swap;font-weight:400;src:url(./source-serif-4-latin-ext-400-italic-Cj8BerOQ.woff2) format("woff2"),url(./source-serif-4-latin-ext-400-italic-Cttr6ITu.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4";font-style:italic;font-display:swap;font-weight:400;src:url(./source-serif-4-latin-400-italic-0j97Jm6B.woff2) format("woff2"),url(./source-serif-4-latin-400-italic-DZulBB6l.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,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 Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-cyrillic-ext-400-normal-g30qAdWV.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-ext-400-normal-Dsrv2Tcn.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-cyrillic-400-normal-DZqxrq2p.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-400-normal-BTotfTJu.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-greek-400-normal-_efipK4i.woff2) format("woff2"),url(./ibm-plex-sans-greek-400-normal-D9ESIMu3.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-vietnamese-400-normal-DG4YqDda.woff2) format("woff2"),url(./ibm-plex-sans-vietnamese-400-normal-fK1oJ5dG.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-latin-ext-400-normal-C5H60-Va.woff2) format("woff2"),url(./ibm-plex-sans-latin-ext-400-normal-RBey6euL.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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 Sans;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-sans-latin-400-normal-CDDApCn2.woff2) format("woff2"),url(./ibm-plex-sans-latin-400-normal-CYLoc0-x.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,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 Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-cyrillic-ext-500-normal-Cs5J6C77.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-ext-500-normal-DB5PtV2g.woff) format("woff");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-cyrillic-500-normal-CocWQlwt.woff2) format("woff2"),url(./ibm-plex-sans-cyrillic-500-normal-ByOcLdNv.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-greek-500-normal-JMMifIXV.woff2) format("woff2"),url(./ibm-plex-sans-greek-500-normal-CuWXN6rf.woff) format("woff");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-vietnamese-500-normal-e4dixQRQ.woff2) format("woff2"),url(./ibm-plex-sans-vietnamese-500-normal-BEb3_waV.woff) format("woff");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-latin-ext-500-normal-DakdToA3.woff2) format("woff2"),url(./ibm-plex-sans-latin-ext-500-normal-D0aIdm-b.woff) format("woff");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,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 Sans;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-sans-latin-500-normal-6ng42L7E.woff2) format("woff2"),url(./ibm-plex-sans-latin-500-normal-BgVn5rGT.woff) format("woff");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,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(./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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-display:block;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-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(./KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(./KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;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-display:block;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{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}:root{--bg: #f5f6f3;--surface: #ffffff;--ink: #1d2430;--muted: #646d7a;--faint: #cfd5d2;--open: #2a5592;--wall: #b4412f;--sea: #d6e7ef;--land: #efe4c6;--origin: #dc9d06;--good: #2c7a5b;--warn: #9a5f08;--shadow: rgba(20, 28, 38, .16);--font-serif: "Source Serif 4", Georgia, "Times New Roman", serif;--font-sans: "IBM Plex Sans", system-ui, -apple-system, "Segoe UI", sans-serif;color-scheme:light}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--bg: #14191f;--surface: #1c232b;--ink: #e4e8ec;--muted: #9aa4b0;--faint: #364049;--open: #5b95e0;--wall: #e2604a;--sea: #183447;--land: #463e2b;--origin: #f3c24b;--good: #6cc4a0;--warn: #e5a54b;--shadow: rgba(0, 0, 0, .45);color-scheme:dark}}:root[data-theme=dark]{--bg: #14191f;--surface: #1c232b;--ink: #e4e8ec;--muted: #9aa4b0;--faint: #364049;--open: #5b95e0;--wall: #e2604a;--sea: #183447;--land: #463e2b;--origin: #f3c24b;--good: #6cc4a0;--warn: #e5a54b;--shadow: rgba(0, 0, 0, .45);color-scheme:dark}*{box-sizing:border-box}html,body{min-height:100%}body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--font-sans);font-size:16px;line-height:1.5;padding-left:max(16px,env(safe-area-inset-left,0px));padding-right:max(16px,env(safe-area-inset-right,0px));padding-block:max(8px,env(safe-area-inset-top,0px)) max(48px,env(safe-area-inset-bottom,0px));-webkit-font-smoothing:antialiased}[hidden]{display:none!important}button,input{font:inherit;color:inherit}a{color:var(--open);text-underline-offset:3px}:focus-visible{outline:2px solid var(--open);outline-offset:3px;border-radius:3px}:focus:not(:focus-visible){outline:none}h1,h2,h3{text-wrap:balance}.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.top{max-width:1040px;margin:0 auto;display:flex;align-items:center;gap:14px;min-height:48px}.top .brand{font-size:.86rem;color:var(--muted);white-space:nowrap;border:0;background:none;cursor:pointer;padding:4px 0}.top .brand:hover{color:var(--ink)}.views{display:inline-flex;gap:2px;background:var(--surface);border-radius:999px;padding:3px}.views button{border:0;background:none;padding:4px 13px;border-radius:999px;cursor:pointer;font-size:.86rem;color:var(--muted)}.views button[aria-current=page]{background:var(--ink);color:var(--bg)}.progress{flex:1;height:3px;background:var(--faint);border-radius:2px;position:relative;min-width:40px}.progress .tk{position:absolute;top:-3px;bottom:-3px;width:1.5px;background:var(--muted);border-radius:1px}.progress .pl{position:absolute;top:7px;transform:translate(-50%);font-size:10px;font-weight:400;color:var(--muted);white-space:nowrap;line-height:1}.progress span{position:absolute;top:0;bottom:0;background:var(--open);transition:left .6s,width .6s}.nb-btn{display:inline-flex;align-items:center;gap:7px;border:0;background:none;cursor:pointer;padding:6px 2px;font-size:.86rem;color:var(--muted)}.nb-btn:hover{color:var(--ink)}.nb-count{font-variant-numeric:tabular-nums;min-width:1.5em;height:1.5em;padding:0 5px;border-radius:999px;background:var(--ink);color:var(--bg);font-size:.72rem;display:inline-grid;place-items:center}.nb-count.pulse{animation:pulse .9s ease-out 2}@keyframes pulse{50%{transform:scale(1.35);background:var(--good)}}@media(max-width:620px){.top .brand,.top .progress{display:none}.top{justify-content:space-between}}.go{border:0;background:var(--ink);color:var(--bg);padding:9px 17px;border-radius:999px;cursor:pointer;font-weight:500;justify-self:start}.go:hover{opacity:.9}.go:disabled{opacity:.4;cursor:default}.link{border:0;background:none;padding:6px 8px;border-radius:6px;cursor:pointer;color:var(--muted)}.link:hover:not(:disabled){color:var(--ink);background:var(--surface)}.link:disabled{opacity:.45;cursor:default}.chip{border:1px solid var(--faint);background:var(--surface);padding:4px 10px;border-radius:999px;cursor:pointer;font-size:.85rem;color:var(--ink)}.chip[aria-pressed=true]{border-color:var(--ink);background:var(--ink);color:var(--bg)}.chips{display:flex;flex-wrap:wrap;gap:6px}.muted{color:var(--muted)}.serif{font-family:var(--font-serif)}.num{font-variant-numeric:tabular-nums}.katex{font-size:1.04em}.nobr{white-space:nowrap}.katex-display{overflow-x:auto;overflow-y:hidden}.katex-display.more-right{-webkit-mask-image:linear-gradient(to left,transparent,#000 44px);mask-image:linear-gradient(to left,transparent,#000 44px)}.slider{display:grid;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:10px;font-size:.9rem}.slider label{color:var(--muted);white-space:nowrap}.slider output{font-variant-numeric:tabular-nums;min-width:4.5em;text-align:right;color:var(--ink)}input[type=range]{width:100%;accent-color:var(--ink)}.controls{display:grid;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:8px 10px}.controls>.slider{display:contents}.controls>:not(.slider){grid-column:1 / -1}.readout{display:flex;flex-wrap:wrap;gap:6px 18px;font-size:.92rem;align-items:baseline}.readout .r{display:inline-flex;gap:6px;align-items:baseline}.readout .r .l{color:var(--muted)}.readout .r .v{font-variant-numeric:tabular-nums;font-weight:500}.badge{font-size:.72rem;color:var(--muted);border:1px solid var(--faint);border-radius:999px;padding:0 7px;white-space:nowrap}.badge.good{color:var(--good);border-color:currentColor}.badge.warn{color:var(--warn);border-color:currentColor}.lattice{width:100%;aspect-ratio:1;display:block;touch-action:manipulation;color:var(--muted)}.lattice.wide{aspect-ratio:auto}.e{stroke:var(--muted);stroke-width:.16;stroke-linecap:round;opacity:.5}.e.in{stroke:var(--open);stroke-width:.34;opacity:1}.e.mirror{stroke:var(--open);stroke-width:.24;opacity:.8}.e.corr{stroke:var(--origin);stroke-width:.4;opacity:1}.e.road{stroke:var(--origin);stroke-width:.42;opacity:1}.e.exit{stroke:var(--wall);stroke-width:.2;opacity:.9}.e.inq{stroke:var(--open);stroke-width:.3;opacity:.4}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .e.inq,:root:not([data-theme=light]) .v.inq{opacity:.6}:root:not([data-theme=light]) .e.in{stroke-width:.4}}.e.added{stroke:var(--muted);stroke-width:.16;opacity:.5}.v.inq{fill:var(--open);opacity:.4}.e.faint{stroke:var(--muted);stroke-width:.1;opacity:.28}.e.closed{stroke:var(--muted);stroke-width:.1;stroke-dasharray:.12 .3;opacity:.7}.dualgrid{stroke:var(--wall);stroke-width:.06;opacity:.25}.wall{stroke:var(--wall);stroke-width:.24;stroke-linecap:round;opacity:.8}.wall.faint{opacity:.35}.wall.shore{stroke:var(--muted);stroke-dasharray:.25 .2;opacity:.8}.v{fill:var(--muted);opacity:.45}.v.in{fill:var(--open);opacity:1}.v.origin{fill:var(--origin);opacity:1}.v.target{fill:var(--wall);opacity:1}.halo{fill:var(--origin);opacity:.2}.mid{fill:var(--ink);opacity:.5}.coast{fill:none;stroke:var(--wall);stroke-width:.42;stroke-linejoin:round;stroke-linecap:round}.coast.ghost{opacity:.35;stroke-dasharray:.4 .3}.hit{stroke:transparent;stroke-width:1.05;cursor:pointer}.vhit{fill:transparent;cursor:pointer}.locked .hit,.locked .vhit{cursor:default}.hov-closed{stroke:var(--muted);stroke-width:.14;stroke-dasharray:.2 .3;stroke-linecap:round}.hov-open{stroke:var(--origin);stroke-width:.5;opacity:.45;stroke-linecap:round}.hov-dual{stroke:var(--wall);stroke-width:.15;stroke-dasharray:.25 .2;opacity:.85}.cell-sea{fill:var(--sea)}.cell-land{fill:var(--land)}.hatch{stroke:var(--muted);stroke-width:.09;opacity:.6}.ray{stroke:var(--origin);stroke-width:.12;stroke-dasharray:.3 .2}.anchor{fill:var(--origin);stroke:var(--surface);stroke-width:.1}.walk{fill:none;stroke:var(--origin);stroke-width:.3;stroke-linejoin:round;stroke-linecap:round;opacity:.9}.cut{fill:none;stroke:var(--muted);stroke-width:.2;stroke-dasharray:.45 .3;stroke-linejoin:round}.walk.loop{stroke:var(--wall);stroke-width:.42;opacity:1}.walk.old{stroke:var(--wall);stroke-width:.16;stroke-dasharray:.3 .22;opacity:.55}.thickwalls .wall{stroke-width:.4;opacity:1}.widthline{stroke:var(--muted);stroke-width:.08;stroke-dasharray:.25 .25;opacity:.7}.crossdot{fill:var(--surface);stroke:var(--ink);stroke-width:.1}.side{stroke-width:.3;stroke-linecap:round}.side.open{stroke:var(--open)}.side.wall{stroke:var(--wall);stroke-dasharray:.4 .3}.xmark line{stroke:var(--wall);stroke-width:.22;stroke-linecap:round}.cross-mark{fill:none;stroke:var(--wall);stroke-width:.16}.legal{fill:var(--origin);opacity:.35}.refuse{stroke:var(--wall);stroke-width:.5;opacity:.7;stroke-linecap:round}.svglabel{font-family:var(--font-sans);font-size:.9px;fill:var(--muted)}.chart{width:100%;display:block;overflow:visible}.chart .axis{stroke:var(--faint);stroke-width:1}.chart .grid{stroke:var(--faint);stroke-width:1;opacity:.6}.chart .tick{font-family:var(--font-sans);font-size:11px;fill:var(--muted)}.chart .lbl{font-family:var(--font-sans);font-size:12px;fill:var(--ink)}.chart .lbl.muted{fill:var(--muted)}@media(max-width:620px){.chart:not(.mirrorbar) .tick{font-size:15px}.chart:not(.mirrorbar) .lbl{font-size:16px}.chart.mirrorbar .tick{font-size:12.5px}}.chart .line{fill:none;stroke:var(--open);stroke-width:2}.chart .line.wall{stroke:var(--wall)}.chart .band{fill:var(--sea);opacity:.6}.legend .simline,.chart .simline{stroke:var(--origin);stroke-width:2;stroke-dasharray:2 3}.legend{display:flex;flex-wrap:wrap;gap:2px 14px;font-size:.78rem;color:var(--muted);margin:0 0 2px 8px}.legend span{display:inline-flex;align-items:center;gap:5px}.legend .chart{display:inline-block;width:22px;overflow:visible}.chart .line.bound{stroke-dasharray:6 4;opacity:.8}.chart .line.sim{stroke:var(--origin)}.chart .line.ink{stroke:var(--ink)}.chart .line.thin{stroke-width:1.4}.chart .ref{stroke:var(--wall);stroke-width:1.25;stroke-dasharray:5 4}.chart .marker{fill:var(--origin);stroke:var(--surface);stroke-width:2}.chart .bar{fill:var(--wall)}.chart .ghostbar{fill:none;stroke:var(--ink);stroke-width:1.2;stroke-dasharray:3 2}.chart .bar.gone{fill:var(--faint)}.chart .bar.open{fill:var(--open)}.chart .area{fill:var(--open);opacity:.12}.chart .hoverline{stroke:var(--muted);stroke-width:1;stroke-dasharray:2 3}.tip{position:absolute;pointer-events:none;background:var(--surface);color:var(--ink);border-radius:8px;padding:6px 9px;font-size:.8rem;box-shadow:0 6px 22px var(--shadow);white-space:nowrap;z-index:5}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation:none!important;transition:none!important}}.fl{animation:cellin .35s ease both}@keyframes cellin{0%{opacity:0}to{opacity:1}}.coast.draw{animation:draw 1.2s ease-in-out forwards}@keyframes draw{to{stroke-dashoffset:0}}@media(prefers-reduced-motion:reduce){.coast.draw{stroke-dasharray:none!important;stroke-dashoffset:0!important}}.e.strong{stroke:var(--ink);stroke-width:.26;opacity:.85}.e.shade{stroke:var(--muted);stroke-width:.12;stroke-dasharray:.28 .22}.e.fresh{stroke:var(--origin);stroke-width:.36;opacity:1;animation:freshfade 1.4s ease-out forwards}@keyframes freshfade{0%{stroke:var(--origin)}to{stroke:var(--open)}}.pinch{fill:none;stroke:var(--ink);stroke-width:.12;stroke-dasharray:.25 .18}.tossed{stroke:var(--wall);stroke-width:.3;stroke-linecap:round}.tossed.missing{stroke-width:.12;stroke-dasharray:.2 .2;opacity:.5}@media(pointer:coarse){.vhit{r:.95px}}.chart .halo{paint-order:stroke;stroke:var(--surface);stroke-width:4px;stroke-linejoin:round}.legalhit{fill:transparent}.swapin{animation:swapin .9s ease both}@keyframes swapin{0%{transform:rotate(-90deg)}to{transform:none}}.home{max-width:1040px;margin:26px auto 0;display:grid;gap:18px}.home h1{font-family:var(--font-serif);font-weight:500;font-size:clamp(1.7rem,4.4vw,2.5rem);line-height:1.15;margin:0;max-width:20ch}.hero{display:grid;gap:20px 40px;align-items:center}.hero-text{display:grid;gap:18px;align-content:start}.hero-pic{margin:0;display:grid;gap:8px;width:min(100%,360px);justify-self:center}.hero-pic .lattice{width:100%}.hero-pic figcaption{font-size:.85rem;color:var(--muted);min-height:2.6em}@media(min-width:820px){.hero{grid-template-columns:minmax(0,1fr) 340px}}.home .lead{font-family:var(--font-serif);font-size:1.1rem;color:var(--muted);margin:0;max-width:60ch}.home .cta{display:flex;flex-wrap:wrap;gap:10px;align-items:center}.mapwrap{overflow-x:auto;margin-inline:-4px;padding-inline:4px}.map{width:100%;min-width:760px;display:block}.swipe{display:none;font-size:.78rem;color:var(--muted)}@media(max-width:620px){.map{min-width:1000px}.swipe{display:block}}.node{cursor:pointer}.node circle.dot{stroke-width:2}.node.got circle.dot{fill:var(--open);stroke:var(--open)}.node.next circle.dot{fill:var(--surface);stroke:var(--origin);stroke-width:3}.node.todo circle.dot{fill:var(--bg);stroke:var(--muted)}.node.goal circle.dot{fill:var(--surface);stroke:var(--ink);stroke-width:2.5}.node.goal.got circle.dot{fill:var(--ink)}.node.optional circle.dot{stroke-dasharray:3 2}.node text{font-family:var(--font-sans);font-size:13.5px;fill:var(--ink);paint-order:stroke;stroke:var(--bg);stroke-width:6px;stroke-linejoin:round}.node.todo text{fill:var(--muted)}.node:focus{outline:none}.node:focus-visible circle.dot,.node:hover circle.dot{stroke:var(--open);stroke-width:3.5}.halo-next{fill:var(--origin);opacity:.18}.mlink{fill:none;stroke:var(--faint);stroke-width:1.5}.mlink.live{stroke:var(--muted);opacity:.55}.mlink.far{stroke-dasharray:4 4;opacity:.35}.mlink.sil{stroke-dasharray:2 4;opacity:.45}.silnode{fill:var(--faint);pointer-events:none}.ghost rect{pointer-events:all}.mlink{transition:opacity .15s,stroke .15s}.mlink.dim{opacity:.12}.mlink.hl{stroke:var(--open);opacity:1;stroke-width:2;stroke-dasharray:none}.ghost rect{fill:none;stroke:var(--faint);stroke-dasharray:5 5;stroke-width:1.3}.ghost text{font-family:var(--font-sans);font-size:13px;fill:var(--muted)}.chhead{cursor:pointer}.chlabel{font-family:var(--font-sans);font-size:11px;fill:var(--muted);letter-spacing:.05em}.chname{font-family:var(--font-serif);font-size:14px;fill:var(--ink)}.chhead:hover .chlabel{fill:var(--ink)}.chhead:hover .chname{text-decoration:underline}.peek{min-height:3.4em;font-family:var(--font-serif);color:var(--muted);max-width:64ch;margin:0}.peek b{color:var(--ink);font-weight:500}.homebar{display:grid;gap:4px;max-width:560px}.lbl-s{font-size:.78rem;color:var(--muted)}.pbar{position:relative;height:10px;border-radius:5px;background:var(--faint);overflow:hidden}.pbar .seg{position:absolute;top:0;bottom:0;transition:left .8s,width .8s}.pbar .seg.zero{background:var(--open)}.pbar .seg.pos{background:var(--wall)}.pticks{position:relative;height:16px;font-size:.72rem;color:var(--muted)}.pticks span{position:absolute;transform:translate(-50%)}.home .foot{display:flex;gap:14px;flex-wrap:wrap;font-size:.82rem;color:var(--muted)}.scene{max-width:1180px;margin:18px auto 0;display:grid;gap:16px;grid-template-columns:minmax(0,1fr);grid-template-areas:"head" "stage" "panel"}@media(max-width:999px){.scene.playing.cfirst{grid-template-areas:"head" "panel" "stage"}}.scene>.head{grid-area:head;display:grid;gap:12px;align-content:start;min-width:0}.scene>.stagebox{grid-area:stage;display:grid;gap:8px;align-content:start;min-width:0}.scene>.panel2{grid-area:panel;display:grid;gap:12px;align-content:start;min-width:0}.stagebox .lattice{width:min(100%,calc(100vh - 140px));margin-inline:auto}.stagebox .lattice.small{width:min(100%,500px)}.row-actions{display:flex;gap:10px;align-items:center;flex-wrap:wrap}@media(min-width:1000px){.scene.playing{grid-template-columns:minmax(0,400px) minmax(0,1fr);gap:20px 40px;grid-template-areas:"head stage" "panel stage";grid-template-rows:auto 1fr;align-items:start}.scene.playing>.stagebox{position:sticky;top:60px}}.scene.naming{grid-template-areas:"head" "stage"}.scene.naming>.stagebox{max-width:340px;justify-self:center;width:100%}.scene.naming .stagebox .lattice{width:100%}@media(min-width:860px){.scene.naming{grid-template-columns:minmax(0,1fr) minmax(0,320px);gap:44px;grid-template-areas:"head stage";align-items:start}.scene.naming>.head{max-width:640px;justify-self:end}.scene.naming>.stagebox{position:sticky;top:64px}}.crumbs{font-size:.8rem;color:var(--muted);display:flex;align-items:center;gap:10px;flex-wrap:wrap}.crumbs a{color:var(--muted);text-decoration:none}.crumbs a:hover{color:var(--ink)}.pdots{display:inline-flex;gap:6px}.pdots button{width:9px;height:9px;border-radius:50%;border:1.5px solid var(--muted);background:none;padding:0;cursor:pointer}.pdots button.on{background:var(--ink);border-color:var(--ink)}.pdots button.done{background:var(--good);border-color:var(--good)}.question{font-family:var(--font-serif);font-weight:500;font-size:clamp(1.45rem,3.4vw,1.95rem);line-height:1.25;letter-spacing:-.005em;margin:0}.hint{font-family:var(--font-serif);font-size:1.06rem;color:var(--muted);margin:0;max-width:62ch}.hint b,.hint strong{color:var(--ink);font-weight:500}.below{display:flex;justify-content:space-between;align-items:center;gap:10px;flex-wrap:wrap;font-size:.88rem;min-height:32px}.state{color:var(--muted);display:inline-flex;align-items:center;gap:8px}.state i{width:7px;height:7px;border-radius:50%;background:var(--origin);display:inline-block;flex:0 0 auto}.state.good i{background:var(--good)}.acts{display:flex;gap:2px;flex-wrap:wrap}.thumbnote{font-size:.78rem;color:var(--muted);text-align:center}.stage-row{display:grid;gap:14px;grid-template-columns:minmax(0,1fr)}.stage-row.two{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}@media(max-width:640px){.stage-row.two:not(.keep){grid-template-columns:minmax(0,1fr)}}@media(min-width:641px){.stage-row.two.e1{grid-template-columns:minmax(0,2fr) minmax(0,3fr)}}.extra .stage-row.two{grid-template-columns:minmax(0,1fr)}.panel{background:var(--surface);border-radius:12px;padding:12px}.extra{display:grid;gap:10px}details.more{font-family:var(--font-serif);border-top:1px solid var(--faint);padding-top:8px}details.more summary{cursor:pointer;font-family:var(--font-sans);font-size:.9rem;color:var(--muted)}details.more[open] summary{color:var(--ink);margin-bottom:8px}.naming-box{display:grid;gap:16px}.kick{font-size:.8rem;color:var(--good)}.bigstatement{font-family:var(--font-serif);font-size:clamp(1.35rem,3vw,1.8rem);line-height:1.3;font-weight:500;margin:0}.precise{font-family:var(--font-serif);font-style:italic;color:var(--muted);margin:-6px 0 0;max-width:62ch}.idea{font-family:var(--font-serif);font-size:1.07rem;display:grid;gap:.6em;max-width:62ch}.idea p{margin:0}.fullproof{font-family:var(--font-serif);font-size:1rem;border-left:2px solid var(--faint);padding-left:14px;min-width:0;overflow-x:auto}.fullproof p{margin:0 0 .6em}.fullproof ol,.fullproof ul{margin:0 0 .6em;padding-left:1.2em}.namebtns{display:flex;gap:4px;flex-wrap:wrap;align-items:center;margin-left:-8px}.todo{margin:-4px 0 0;font-size:.82rem;color:var(--muted)}.finale{display:grid;gap:14px;border-top:1px solid var(--faint);padding-top:16px}.finale .mirrorbar{max-width:460px}.also{font-size:.85rem;color:var(--muted);display:grid;gap:4px}.also button{border:0;background:none;padding:0;color:var(--open);cursor:pointer;text-align:left;font-family:var(--font-serif);font-size:1rem}.uses{font-size:.82rem;color:var(--muted)}.uses a{color:var(--muted)}.toast{position:fixed;right:max(16px,env(safe-area-inset-right,0px));bottom:calc(20px + env(safe-area-inset-bottom,0px));width:min(360px,calc(100% - 32px));background:var(--surface);border-radius:14px;padding:14px 16px;box-shadow:0 12px 40px var(--shadow);display:grid;gap:4px;z-index:15;transform:translateY(12px);opacity:0;visibility:hidden;transition:transform .4s ease,opacity .4s ease,visibility 0s linear .4s}.toast.show{transform:none;opacity:1;visibility:visible;transition:transform .4s ease,opacity .4s ease}.toast .k{font-size:.75rem;color:var(--good)}.toast .t{font-family:var(--font-serif);font-size:1.12rem;font-weight:500}.toast .row{display:flex;justify-content:flex-end;gap:4px;margin-top:4px}.scrim{position:fixed;inset:0;background:#0c10164d;z-index:18}.drawer{position:fixed;top:0;right:0;bottom:0;width:min(440px,100%);background:var(--surface);z-index:19;overflow-y:auto;display:grid;align-content:start;gap:16px;box-shadow:-10px 0 40px var(--shadow);padding:calc(18px + env(safe-area-inset-top,0px)) max(20px,env(safe-area-inset-right,0px)) calc(24px + env(safe-area-inset-bottom,0px)) 22px;transform:translate(105%);visibility:hidden;transition:transform .35s ease,visibility 0s linear .35s}.drawer.open{transform:none;visibility:visible;transition:transform .35s ease}.drawer h2{font-family:var(--font-serif);font-weight:500;font-size:1.45rem;margin:0}.dhead{display:flex;justify-content:space-between;align-items:center}.cards{display:grid;gap:8px}.cgroup{display:grid;gap:6px}.card{border-radius:10px;background:var(--bg)}.card.new{box-shadow:inset 0 0 0 1.5px var(--good)}.card-head{width:100%;border:0;background:none;text-align:left;padding:10px 12px;display:grid;gap:1px;cursor:pointer}.card-head .k{font-size:.72rem;color:var(--muted)}.card-head .t{font-family:var(--font-serif);font-size:1.05rem;font-weight:500}.card-body{padding:0 12px 12px;display:grid;gap:10px;font-family:var(--font-serif);font-size:1rem}.card-body .statement{font-style:italic}.ltabs{display:flex;gap:2px;font-family:var(--font-sans);flex-wrap:wrap}.ltabs button{border:0;background:none;padding:4px 8px;border-radius:6px;font-size:.8rem;color:var(--muted);cursor:pointer}.ltabs button[aria-pressed=true]{background:var(--surface);color:var(--ink)}.layer{min-width:0;overflow-x:auto}.layer p{margin:0 0 .6em}.layer ol,.layer ul{margin:0 0 .6em;padding-left:1.2em}.ref{font-family:var(--font-sans);font-size:.72rem;color:var(--muted)}.card-links{display:flex;gap:10px;flex-wrap:wrap;font-family:var(--font-sans);font-size:.8rem}.paperview{max-width:760px;margin:28px auto 0;font-family:var(--font-serif);font-size:1.07rem;line-height:1.65}.paperview h1{font-weight:500;font-size:clamp(1.7rem,4vw,2.2rem);line-height:1.2;margin:0 0 .3em}.paperview h2{font-weight:500;font-size:1.45rem;margin:2.2em 0 .3em}.paperview h3{font-weight:500;font-size:1.12rem;margin:1.6em 0 .2em}.paperview p{margin:0 0 .8em}.paperview .chapnote{font-family:var(--font-sans);font-size:.82rem;color:var(--muted)}.paperview .theorem{background:var(--surface);border-radius:14px;padding:18px 20px 10px;margin:.6em 0 1.2em;display:grid;gap:6px}.paperview .theorem .chart{max-width:460px}.paperview .refs ul{font-size:.92rem;padding-left:1.2em;display:grid;gap:4px}.paperview .toc{font-family:var(--font-sans);font-size:.9rem;display:grid;gap:2px;margin:1em 0 0;padding:0;list-style:none}.paperview .toc a{color:var(--muted);text-decoration:none}.paperview .toc a:hover{color:var(--ink)}.result{position:relative;margin:.8em 0 1.4em;scroll-margin-top:70px}.result .rhead{font-family:var(--font-sans);font-size:.8rem;color:var(--muted);display:flex;gap:10px;align-items:baseline;flex-wrap:wrap}.result .rhead .got{color:var(--good)}.result .stmt{font-style:italic}.result .pf{border-left:2px solid var(--faint);padding-left:14px}.result .pf ol,.result .pf ul{padding-left:1.2em;margin:0 0 .6em}.claim{display:flow-root}.claim>.fig.side{float:right;width:240px;margin:.2em 0 .8em 26px;position:static}@media(max-width:720px){.claim>.fig.side{float:none;width:auto;max-width:340px;margin:.2em 0 1em}}.paperview .intro ul{padding-left:1.2em;display:grid;gap:.4em}.fig{display:grid;gap:6px;font-family:var(--font-sans);font-size:.76rem;color:var(--muted);position:sticky;top:64px}.fig .figbox{background:var(--surface);border-radius:10px;padding:8px}.fig.wide{position:static;max-width:560px;margin:.4em 0 1.2em}.drag{font-family:var(--font-sans);font-variant-numeric:tabular-nums;color:var(--open);border-bottom:1.5px dashed var(--open);cursor:ew-resize;padding:0 1px;user-select:none;touch-action:none;white-space:nowrap}.val{font-family:var(--font-sans);font-variant-numeric:tabular-nums;font-weight:500;white-space:nowrap}.term{border-bottom:2px solid var(--faint);cursor:help}.term.t-sea{border-color:var(--sea)}.term.t-land{border-color:var(--land)}.term.t-hole{border-color:var(--land);border-bottom-style:dashed}.term.t-coast{border-color:var(--wall)}.term.t-cluster{border-color:var(--open)}.term.t-corridor,.term.t-anchor{border-color:var(--origin)}.term:hover,.term.on{background:var(--surface);border-radius:3px}.dimmable{transition:opacity .2s}.focus .dimmable{opacity:.15}.focus .dimmable.hl{opacity:1}.seeit{font-family:var(--font-sans);font-size:.86rem}.known{font-family:var(--font-sans);font-size:.72rem;border:1px solid var(--faint);border-radius:999px;padding:0 7px;color:var(--muted)}.charttitle{font-size:.82rem;color:var(--muted);margin:0 0 4px}.predict{display:grid;gap:14px;padding:22px}.predict-q{font-family:var(--font-serif);font-size:1.15rem;margin:0}.crumbs .ci{white-space:nowrap}.stagebox .mirrorbar{max-width:440px;margin-inline:auto}.st{font-family:var(--font-sans);font-size:.78rem;border-radius:999px;padding:1px 9px;white-space:nowrap;text-decoration:none}.st.yes{background:color-mix(in srgb,var(--good) 16%,transparent);color:var(--good);border:1px solid color-mix(in srgb,var(--good) 45%,transparent)}.st.no{color:var(--muted);border:1px dashed var(--faint)}a.st.no:hover{color:var(--ink);border-color:var(--muted)}.result.explored,.result.unexplored{padding-left:14px;margin-left:-17px;border-left:3px solid transparent}.result.explored{border-left-color:var(--good)}.result.unexplored{border-left:3px dashed var(--faint)}.explored-key{display:flex;flex-wrap:wrap;gap:8px;align-items:center;font-family:var(--font-sans);font-size:.85rem;color:var(--muted)}@media(max-width:720px){.result.explored,.result.unexplored{margin-left:-12px;padding-left:9px}}.hint.spaced{margin-top:12px}.precise-box .precise{margin:6px 0 0}