@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-cyrillic-ext-400-normal-BQZuk6qB.woff2) format("woff2"),url(/assets/inter-cyrillic-ext-400-normal-DQukG94-.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:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-cyrillic-400-normal-obahsSVq.woff2) format("woff2"),url(/assets/inter-cyrillic-400-normal-HOLc17fK.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-greek-ext-400-normal-DGGRlc-M.woff2) format("woff2"),url(/assets/inter-greek-ext-400-normal-KugGGMne.woff) format("woff");unicode-range:U+1F00-1FFF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-greek-400-normal-B4URO6DV.woff2) format("woff2"),url(/assets/inter-greek-400-normal-q2sYcFCs.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:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-vietnamese-400-normal-DMkecbls.woff2) format("woff2"),url(/assets/inter-vietnamese-400-normal-Bbgyi5SW.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:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-latin-ext-400-normal-C1nco2VV.woff2) format("woff2"),url(/assets/inter-latin-ext-400-normal-77YHD8bZ.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:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-latin-400-normal-C38fXH4l.woff2) format("woff2"),url(/assets/inter-latin-400-normal-CyCys3Eg.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:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-cyrillic-ext-500-normal-B0yAr1jD.woff2) format("woff2"),url(/assets/inter-cyrillic-ext-500-normal-BmqWE9Dz.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:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-cyrillic-500-normal-BasfLYem.woff2) format("woff2"),url(/assets/inter-cyrillic-500-normal-CxZf_p3X.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-greek-ext-500-normal-C4iEst2y.woff2) format("woff2"),url(/assets/inter-greek-ext-500-normal-2j5mBUwD.woff) format("woff");unicode-range:U+1F00-1FFF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-greek-500-normal-BIZE56-Y.woff2) format("woff2"),url(/assets/inter-greek-500-normal-Xzm54t5V.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:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-vietnamese-500-normal-DOriooB6.woff2) format("woff2"),url(/assets/inter-vietnamese-500-normal-mJboJaSs.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:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-latin-ext-500-normal-CV4jyFjo.woff2) format("woff2"),url(/assets/inter-latin-ext-500-normal-BxGbmqWO.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:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/assets/inter-latin-500-normal-Cerq10X2.woff2) format("woff2"),url(/assets/inter-latin-500-normal-BL9OpVg8.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:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-cyrillic-ext-600-normal-Dfes3d0z.woff2) format("woff2"),url(/assets/inter-cyrillic-ext-600-normal-Bcila6Z-.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:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-cyrillic-600-normal-CWCymEST.woff2) format("woff2"),url(/assets/inter-cyrillic-600-normal-4D_pXhcN.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-greek-ext-600-normal-DRtmH8MT.woff2) format("woff2"),url(/assets/inter-greek-ext-600-normal-B8X0CLgF.woff) format("woff");unicode-range:U+1F00-1FFF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-greek-600-normal-plRanbMR.woff2) format("woff2"),url(/assets/inter-greek-600-normal-BZpKdvQh.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:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-vietnamese-600-normal-Cc8MFFhd.woff2) format("woff2"),url(/assets/inter-vietnamese-600-normal-BuLX-rYi.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:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-latin-ext-600-normal-D2bJ5OIk.woff2) format("woff2"),url(/assets/inter-latin-ext-600-normal-CIVaiw4L.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:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/assets/inter-latin-600-normal-LgqL8muc.woff2) format("woff2"),url(/assets/inter-latin-600-normal-CiBQ2DWP.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:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAASIABAAAAAACQQAAAQuAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhwbHhwoBmA/U1RBVF4AdBEICoRkhAALIAABNgIkAzoEIAWFAAeBFAwHG2oHKJ6DceNW4lJEFHn9tEOE37LNsvkjHr7f739rn3u+OSrSxLQytE91Dw2PYtNVq3Qaw/vJ7fUBMdOj/u2ImB98cT5WUx9F13ZKt06mU7tG1sAYcM26yCRX4f/0904bmwq8hwkUUMTRX61pa9C3xlpAGYw1vOu8C2SBZZFlld7DAW82RJWmwYMI1AJCKBNCIASqdZGFmtPSNQRhMpR0EKjWTwm6z6sJ+4jqhxjovTinVdRpZaQjaQzAYjI8NgAKDJCokgunCn9oUQE8VZd/F//+v6P4F1U9gLr58yNI/dJX9BAshEoJbTDogz7ocKoUsPvES8UK/aQIUQgpGgECBVLkOEV6iASTYgNAPKdNXayhDPL7IJuAZnEYSZ0eOLc9i5Rv5/+lEi3sW/kfnCf/+fTe0sxS7CKLx5erRJkKOixEqQaoqrvx5HN4iz4VhX0gS6DjFIWUzn/fIXJRVFY1NFRVNVeFt+SYmrK6vCU6eJsnKnJj5HTESMTQZOTI3Y/tzr3rUcOsiRy/ciP50s3Mycgxmhz9GMXhjzVH30ut796NHP0UUa31/Zoa6vCH6iPvdIM0IRANaT60FablmZlZd+UKNFy9NrvnFGxb5NC2CRxR0/rIyF/WNn+35sv9r+tHVhkseuWGKkCPPh96+GXt8Lc/Sh24ujfjf+tNw1lZWreiPuHb/PSpyjdv2rf/++ZE5TSKjFdZxYsBvr1sEHl5STuHZqYR7jGYGvGBBdjcaB5bODY1GAxMjsd0wDMIzXAXODRd74DxNMtO4YuYHclgLQRzp9KlUmxptCwv9bYgvWGD2xBW7r9413fdJu+mxzvzAUYeeONQvZP4kgfqZle4jhH/MWh+UbxgtJdrLdXLymNL53PRU0D3Q6FcXTfGqGcul6vrqhgLGAVSv+IVIfZOHpu+mlLqSlnj903j8mazXDsba/wbxhS/4Oubh1c5/uXDgt4j5KtnGEy5BIJHo0ur+jD+r2qCkuP1aRVM8EpUoRYSJyqNRA38uwDvHBNo0AejO2Z+ZYLLal1QiFyFh1EDQOgSCSCpjwwKU8yDbIjroEwne0G5Qca49cYp4AlqtQNZfWTQoFb1tRpFYAmRD+HXTkV4uQhG2bg4OKmyoypAsUGtWgQXyFxYrkpODeUxvGqIZA61erXo0sFG1UBGuPgpuon8RNUG2DhovAjZCBuZwtXrU3mQGki9+pm0eVZAXoWxLWTQoYHBPrJR4WunNxIFbCHfkTyPK+sqxjxDmGArZvf79JGJ3GwEqjwc7a7NIrl/7bJ7Nzu4+n1Ow6shEPnUrtVo7cnd5Wi5qCUbBIQbNKCP95FMCSZylEV5VCiiMqqiOmrKZ/I/C0gI1fyuulVcM2E1r4MhtcV/fbCD+HwEvVzH1dGNAzFE0FTbKzyQz3gootrNbN2a4PuG0j0JOgE=) format("woff2"),url(data:font/woff;base64,d09GRgABAAAAAAbUAA8AAAAACOgAAQABAAAAAAAAAAAAAAAAAAAAAAAAAABHREVGAAABWAAAABgAAAAcABQABEdQT1MAAAFwAAAAHgAAAB5EdEx1R1NVQgAAAZAAAAAnAAAAKLj8uOpPUy8yAAABuAAAAFEAAABgFwRca1NUQVQAAAIMAAAARgAAAF7mY9MfY21hcAAAAlQAAABRAAAAdAyHCodnYXNwAAACqAAAAAgAAAAIAAAAEGdseWYAAAKwAAAB6QAAAl7g5OpvaGVhZAAABJwAAAA2AAAANhSQ8UNoaGVhAAAE1AAAAB8AAAAkAcoBImhtdHgAAAT0AAAAHgAAADofBAM2bG9jYQAABRQAAAAgAAAAIATcBZ9tYXhwAAAFNAAAABwAAAAgAIcCb25hbWUAAAVQAAABEgAAAoA4pV3kcG9zdAAABmQAAABwAAAAlNdzMTB42mNgZGBg4GGAAEYgZAWTjCAeAAG0ABkAAQAAAAoAHAAcAAFERkxUAAgABAAAAAD//wAAAAAAAHjaY2BkYGDgYlADQiYXN58QBqGcxJI8Bj4GEGABEf//g0gAWkkFVQB42mNgYYpinMDAysDA1MUUwcDA4A2hGeMYjBgdgKIMDJwMUMDEzoAEvJyAxAEGXpaXzH/+XWFgYP7DqKPAwDj//nWgSjWmW0BZBQZWABNDDdYAAAB42kXIIQIBARQFwHl/QQIkWXInUAANXMOBJCcTd+KIGCjMNViq9/H0CM6P/S0j0bOwUqh08iEb8kPTXn3RiMoYhD90Nwc3AAB42lXIRwHCQBAF0JceehWAlTjhjikUgAVQA4mJLbdk5neUqHBVKWSv3XF2VCnt3AyevkVZv+sxBBbbq/6HfFP4hEcYQgEK82v1aHQ5RTs3FRQAAAAAAQAB//8AD3jabZA1tNRAFEDfTGDdfXHI2QQnZJJvK5ngDs13Welwt/78CtcS7xvcrcHKbXCtceh+wgtu437nXRCgC4BY9AGOXOAFYNHR0dzoKCGju8gJ6xiZaF3DWqcPBiSV5i2geaCgAlAJ77ghgjfiLC7KojvOZEmSXS63emXr5W7lsTLtXFMkRmks4ly+cYOEnvO2YLDNANv+9oJwhkpAAJAcHPG/1RC2BERc1ZGGMxYVWDyVSjc0NMaZELUf9e4JhCgNB3b2PiJRctuqZ0WPR8zilxutN/ji97vUBYMAnGjtzxjtK3wrDaMABo+R9KjWwNRUMppwuWS1QdfFZCIlMF2TxDGuJJlYW7OmVlvD+sx86b1hvC/l8yXf2hqZ66xbZ80yWzyD9/fzGaRzA58+nSOzYC+gw9AP+vyNqUAUhoD4lSnputbgUFPJ5O9Y+ReWlxkrc96naX08b3zk/KORb+E+VjYPmH1M6+UHeVlDtCzzGZ9FY8YMA8gPMsQA0jqaGkHT6cYSdVwl7Zs9Wzx+DyWUugPujd03T52ikrUvM26kF9PIcRmycuDBKcd3XRhPDgtnQACINzJ3fVl1tTB++3bc2S7kyD3cCQIQNMcSKaY2YOciE+d0zFbGjps6u0PILTFlRZHNJfAFnfeHtgAAAAABAAAAAjYEro52gl8PPPUAAwPoAAAAANvSppoAAAAA29rQ8vk5/tQEkgP8AAAABgACAAAAAAAAeNpjYGRgYP7z7woDA8uGn5Z/+1kmAUVQAR8Ar8AG6gB42mOKYIgCYiMkrAzCUHEbJJoBikHgCkMPAPDwCFUAAAAAABoAOwBGAFEAbwB3AKkAsQDmAQkBCQEJAQkBFgEveNpjYGRgYOBn3MGQx7CFgQ3MQwBmBiYALRoB+HjajJADbgVQEEXPZ20bQW3bthvXbr8Vp4to1KV0AV1Wb9JvZzJvzhvcB6CQL0wYzHnAj6E/yAYaDeVBNlJsMAfZxCy/QTbTy3eQLdTzGWQr3VwGuZhx2v/ZAIVUB9kc0TSUKJ8f5FIRHGPjnWs+2MKt+MYzt1xwr/jIk3JymR0X0wzIXKo7VbXjFvfLn3lTtCn7qPoB6+yyzb3qy8pdq/6hrj11fMj7OFbtEY+mrlU/516rVFCdVobplw/JEjVaCaqIYlUiUzOaW9aa/Q1idmlPXZHbCagW/B10XwaRi06VuVdMf+9DnIov6rlF8yzhUXxC/4c66Uz48UepqEN9N/Tzt2RwjOljsUUfj581AbaEXsIAAHjaY2BiAIP/qQxGQIqRAR3wA7EKw0lGJgYbRmZGFkZWRjZGdgZmRg5GTkYuRm42x6Si1LJU9tK8TAMTR1cI7WoB5btB+Zas6Ym5uYlgnoGjAZNzEF9icmlJanJ+bpJecmJxKg9IxtjADMwBAKDtHJg=) 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:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/jetbrains-mono-cyrillic-400-normal-BEIGL1Tu.woff2) format("woff2"),url(/assets/jetbrains-mono-cyrillic-400-normal-ugxPyKxw.woff) format("woff");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/jetbrains-mono-greek-400-normal-C190GLew.woff2) format("woff2"),url(/assets/jetbrains-mono-greek-400-normal-B9oWc5Lo.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:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA9UABAAAAAALMAAAA7zAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGnAbhWocghYGYD9TVEFUXgCDBBEICrBAp3ILgjgAATYCJAOEKAQgBYUAB4xODAcbIiYzo8LGAQCKfn4o/usELQ4rdj22ABHwitFYjZPqB3XSqAbV3C5dFkHYtTehxpeGbU+3+QexdERCkxARw9oNxAyetvXzdhdjl/7aiBiHgcqBjZywaGPSh4mNFccpF3DHlfyO8Jc/OiSe/kb7/iQYRAE23iScpHngiRRBFETNiZzQwc2HOllJ0fqXIjTY8RTYbDsklKc81hGPQcOJojhD/w80ll1aG/qiQErbzqOXjmvOVKd14tuv+Hxrlbarq/5xH7CiMPjaZXlrfNSp7uqaroZXvYAzc8A0kH2zs3MvHQBUORcJ2GG2cdFRgArh+Sgb7yOsjImpmgM0kq1FwhQCQzQ1Mt+j7at5GSAAIQAAKFLk6uMul4pIl4HIpEEUK0dUMiCMmhFWNoSDC+Exghgzi5i3hNhtN9qaINo+EbQj1tEIgJVLj5oebQ6I1/fyLMQYALYgALKS0yEOQCJG89uIiEPKyeRDVCmC0HgZ203jIg7kk6cHxfEKeBSDXtxd6n5yJzqpfSgXs9xMri1fPezlKMAVcCGEIhmwHiDRtJOyKfXkGsAVqI7ohIZs0rsDM/IU4fuQgkppCk2n+VRHy6mFttJ26t16mBjQPyIeYhvZnyXaiDSeaAYYXLiKPIm4uKh1zIq6gSRVU7WNPIV5v1PwBOy07RrrT6skwoEAtYyZeYgpBUABaDEmtPWRGP/UGABFgUUjchFXAghAgAYQpyPkCIBBoRwQgU/g3kQcyqTY9KSDItmjjmmkP+qJHG3C66hjXhtlhzwglI+1+4Be+T77hYQxxeNkCIDaKU+ANXhkMqePOVAQr7uwCjoBlCdtHQE8TNRd17//A/evkhSpkOMDA9VTmwAVAbLNlwMkoAG5qG2bWCYA/h3uEYgEhFqSmJJPpCIFbJHg1Aw5GaAujjqMzIHc8NrIHBEJJjGZP3cuFQZD9PvzLvZIaCIjBcTvEnIzTWiGjqdzlD+VAO2TUERK8smEi8lNNOguiAM9P6Gfo6bX8bD0v7V/cPwA/fDBi0BaGgUllWy5AATy6X9gAZqRVIsMLuVmqQ3QmrBbiFgTiWbxLDj1hBqINGLVYewQwySWWRyeQK1kXVJ0S2UjZ5WgXaIOSTodp42CUzqHXH226ZfJI4tXth45eqnslGdQgSGFhmmMyOdTbEyJcdv56U0pNa3MDJ1JVRZUmldtkcESglQkAOA8AMgAoBeYLQi+wDxAtwAAGlXJUdVLPLmo/TLRystE3SsqO29LUY0hsrtvBoXUw1Fy+XjIhqbj4rEZISsUysW1L68PlGRwyWImjWXjS9LFyUzjC7v7Z5hYsYKRhIH49EyxTJxutwOy2PRxp1R63SVViB+eNFYRywlEzJBIMDIl5Aa4PtbFOno416WTTkfVQwSPgIve66BCbLAuLmpCh59ln5uFECODSuUIJ2CJCCzDwbf+DV2/3yTtan5J1gEVuilcVASHULO9Bt+nWkIEHMMit5gOxaO4JpWjvdzOcySeFek9q4dy3jxi2BxHwsuuo2CzbQ+KJWxyqPUJljVCU3WT8JwlhZyLkKODRhZkQByHu8ERJIcGBexSmdwGPfMPbjnC0SwRUTyCAIwY4Mdr9zxJTKE5yp0mcEe9s3Umm/TZp2s4X/27cQUmhrd4Ow4ibPOTOxxT6w+S8ENc9AGE7meFOlNbuzjngJtzjFKcrMsxtf4G4UIPcNGXbvwNaeDea6+1L7kaYG+M13a455pruOh5Ww0HlhllPy/PsqS9Zr7ZV9cSLODAoItzBt2cI5i1brCxQRIcH6yr9wV5+XjhtlxuziH7LiqGTXVnkfCZntd1doJ5liyIno6X3GqH56fcnGNwE2IXvYhw5a/MJGsMns/TOawd+2HX5kOXxQZFsYkwmMetzGtqKDKSe+h9h7jX77z2Snb98vyL7rjmil1N3B/cCBfsC5rymA/ExpPlni/DL9i7eflmn66oxrSlMRRB/8Dbq/e/3aN95L3BG+dFd1d+uCVzKhQy5/+I77CmWJ/o2Hygaay8yleXU1c1NH2IpqHOYUtriyWHf3iZwxjZvNxm/Ti/O5+22uC3nVFxhu1wvQc08ZZ+nb5/9oBF38ehJXaKPt7K6/v34Ltqai21rbXDXI3BRDa+9XDSGp8gzZZarV2ag9v3RBzSNfFjU/M+uVduNDTsMNY0GCOHDU3O4dazeb3zFXjg0rlPuiV75+m+kzV3v5qc/PHdJ2j6pI+wDP+U7mFPW/uw23ltZemTVTo+3+KNa1yyuwdmfI41j1/yvbG3oaLR3G3Sd1xdrNOUfAou3jYw0z860D9jr+9sqU1IIHve9W56/fIEU2fztvaqHQ213trhKauqjXVmr/kFxP1m7bdCE88Plpb1m840l/VNQz72QvvMPlc5z9fvKPt1xBtXv9yVZ9nGmxscXiDfwGcI4LQ9duBaG7Nxjw2aWMuArp7In2qxObTwKfr40/iy/j34zhqeN59qHuZqDBaysQWiL/PZsk4cyV13mvbwWw7phfEDC/O+fm9/ram+sspcXxs5hm9pHjufSujGRbKXaTPmBAPPfMm45bau15+jR/bbBx80mR7sCth94rfB6Q6sngJcuO1v4a7Lu157ad9GKIlypuEea9GDnXs0IytDmZ2Rka2cVv4jrIHmaFZ3O9OWlWX7gLuRH1mMjsxE8VrEH/XNRrErsh61R6PD3e2d7dDsb3Z38k15W/kFkrwmHk+PhWNKx3nLMhHkSl5ZLMvHWPGPfwRB9AKr2QoSUb4qSlB18X715zkqwRI0G3lvUOptugtcID+tsKQForrC+pqxS4X1dcof21bf4OQcbZ2Le6y53kKao3rxNWE9f1a+S3t2tiIu5yej2d/W12RozBwrLh7LbDT0NkUDi+HBQPj0xIlAoKHFFxAMPB8Vce+KKo28Rq0SHV3LUk6MNLv35DMrCzVNmbxBeCGCKzMtu20y8f+SVD4h31Sosky03Upl9YJxzh+L0ZFANLR4LOpYj452tne145E/wok2e6JX/xBX/vH8WaFQojdWlrhzuOXjs1Zn3cCkT4qWSmZeqX/B4tciE4HBmUBZwGxtMDaqnCpdllPVaIzdNw9ZqfDU30ppYDgw2B+A5JP5L8bj4tgWoy/t6WRRcO2P8uFDakiP2fMWaviyaOYFr94gE0nEsXysWligOuHRC2TiH0XSJ/4WqQcjE4GxmUAocKlG+jECgZHFwGX8vabVzf8f4KQSi8Gp6laIdgV0q8OzbmjyaWdnW1MQXZoJDb7ZaEdzVzMoNQiAGESUwszDAIzTDIqSxGFoxoRZ/vTKM8CfyZ9V/ZAPfzZ/Ds4tMHm0dSxCkOPaNpKlK8/KwGQVCdzqbPDn1HKuiT8WHUnStEQYZB2TC6WJ6spymNIjBV7JK5lSs1C5qDoRSYBUSlgH31LlM7X5O4o8eBxrX3MDwtOG1iZdZ/NjXsu0gBJohRVmlQNfwVfQmsReAdZEAahljqkMaxLHg/gT+BONkwxcgT0CH/5k/pQrcCpMUYiGtPqbDGvVgALfitYyTHyI7iP25WqsSqAlstCbcmZ3k0PcRZlgbs0KCrwb7lImBTqQCCawVEpMWHur0DRm3+9sVAOK6UQiqESr8NaEtY8Vu86AIjK3KRZhXNwqD34Oc38umLZM7/33+38/uOj7///Z9yMAAHqAUtN3Bsa/l9rSiKVxlONqqbKozYWfYMRMRkicEE2FhIs4TuWQJL0RDNwCPy0hP1CbGAVY9Mb6W+DZ2p14CIQoIBjqGKpe6lOONhDJTUFBXMgZYOPct8C7Ffmf2jR2ksQ72U7f6SBu5gywoW8x2Qhy1APl1CZGAQ4ksGGD8loGsjY0UQKXmhdvpBboCNglmiU2XUCieL2dF1bDaTacoykaTjgFAhquyoFkiSk0LZyooeM7gQDVIlmNOwCPlICNKQpatkhBhUQJpdLCVwFqWj3FQ8sWeajTWbJiLeRJQlRmsyh1YLRZtAzVNr0dAoCqYN6wXLhzQGL8LY6mvwSAd1698ly88s2Xfwa7FbVA/wsgBhQAgABfG3dQHs2o/066DhB0wWo68NIlpR8Rtqkj9flbwtMc3oZyWoIn3n+L86o5vA1V8ng6L4C9+Ax3YgMBHN8Er4rV97ZRXgdo2vF244hH35wAzlOM0Y1BABGNnNCZ4UFNPID7U9KeSCgiP5EiDnMizejpExlFzj9RIM2BE2MU8pwgViH7TAQQSqpgnDuJJAk2kHIaYDNnhs+sFsvBuaf5DXMbXT9uwvLIbk49b4mBNm3JsEV+85YtKUHWb5rT5ywap9WpUZtWo6q5Fot8W89a0m4OaXOK2Ywat2KaD3NdRi1S/+eloldCT0fn1K5q61Mpa6eaNrKMB6WMQqn83IfXmTNv1eIRiaKj7aOsikMmoxej+EfqsmjOpFHDLnneylGLQxT66vnHnh/n12VXDN1Hw6/bcNpctWo3vrwApZvfrdEDiP8IzgPkeiYUoQlzDvYWB0cnZ6uLq5t7+aRk5I6TIFGS5IqkSJWWXjqFDEqZVLJky5FrG7W8quQrUEijSLESWtsz0tErVVa9chUqValmUMNoh1omZjxSM4s69Ro0atKspTe1smrLpl2HTl262dg5OLm4eezMw6tHrz79BgzyGarXsBGjxqJtJvhNmjJtxqw58xYsWrJsxS4Bu61aE7THXvvsFxJ2wEERhxx2xFHHrIs6fuE/r+1vm6/8jhhtDCwnASDGR1h4SGhYwEGU1Y/Xffk5G4u9XgIAYtxyGpZ5y9sDdNbyP142W5DgAhoE7i3q0c5x2vm9v24aZuNohdcxqSEAz8up00My03HSwmqPa8bMecG3Tjzb+f9EelEtg2vpzPeiIEEBwSA8IEDBwAE9F5Z6vQIQjAnLGTgWLO+uZTL/qwGEAYOAQpg3TefgwBCQgBDzqukKDBAOoU3KVtqIbBXK9XpEAAujuudkZN724kIGmrtVaS38ZZLrS9/4fsKMQhN3yXK5gvSBvJ2Y9/Nydbcvb0bm58+e3FhmGfGLJ9u7axl1F1LQTbaCeyrbu7wFCsorFgV4qnh+GUrWtaczqkSBB96AEeKRB94k2SyLuyw3qwrxeg3P5FNR1Av1Gsq2/ds6dPPkBAAA) format("woff2"),url(/assets/jetbrains-mono-vietnamese-400-normal-CqNFfHCs.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:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/jetbrains-mono-latin-ext-400-normal-Bc8Ftmh3.woff2) format("woff2"),url(/assets/jetbrains-mono-latin-ext-400-normal-fXTG6kC5.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:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/jetbrains-mono-latin-400-normal-V6pRDFza.woff2) format("woff2"),url(/assets/jetbrains-mono-latin-400-normal-6-qcROiO.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(/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{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}@font-face{font-family:NewCM Book;src:url(/fonts/NewCM10-Book.otf) format("opentype");font-weight:400 500;font-style:normal;font-display:swap}@font-face{font-family:NewCM Book;src:url(/fonts/NewCM10-BookItalic.otf) format("opentype");font-weight:400 500;font-style:italic;font-display:swap}@font-face{font-family:NewCM Book;src:url(/fonts/NewCM10-Bold.otf) format("opentype");font-weight:600 800;font-style:normal;font-display:swap}@font-face{font-family:NewCM Book;src:url(/fonts/NewCM10-BoldItalic.otf) format("opentype");font-weight:600 800;font-style:italic;font-display:swap}:root{color-scheme:light;font-family:Inter,sans-serif;color:var(--ink);background:var(--paper);font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;--paper:#ffffff;--surface:#fafbfd;--ink:#26272b;--muted:#70747b;--line:#e6e9ee;--accent:#8a2b1f;--accent-soft:#f8eeeb;--serif:"NewCM Book",Georgia,serif;--mono:"JetBrains Mono",monospace}*{box-sizing:border-box}body{margin:0}button,input,select{font:inherit}button,a,input,select,summary{-webkit-tap-highlight-color:transparent}button{cursor:pointer}a{color:inherit;text-decoration:none}button{color:inherit}button:disabled{cursor:default}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:2px solid var(--accent);outline-offset:4px}button svg,a svg{flex-shrink:0}button{border:0;background:none}p{margin:0 0 1em}h1,h2,h3,h4{margin:0;font-weight:500}img,svg{max-width:100%}::selection{background:#f0ddd5}a:has(>svg){display:inline-flex;align-items:center;gap:7px}.sr-only{position:absolute;overflow:hidden;width:1px;height:1px;padding:0;margin:-1px;clip:rect(0,0,0,0);white-space:nowrap;border:0}.skip-link{position:fixed;top:-60px;left:20px;z-index:100;background:var(--ink);color:#fff;padding:12px 20px}.skip-link:focus{top:10px}.math-text{font-family:var(--serif);font-size:20px;line-height:1.65;overflow-wrap:break-word}.math-text p:last-child{margin-bottom:0}.math-text a{color:var(--accent);text-decoration:underline;text-underline-offset:3px}.math-text ul,.math-text ol{padding-left:1.4em}.math-text h2,.math-text h3{font-size:1.2em;margin:1.5em 0 .6em}.inline-math-text{display:inline}.inline-math-text p{display:inline;margin:0}.katex{font-size:1em}.katex-display{overflow-x:auto;overflow-y:hidden;padding:.35em 0;margin:1.1em 0}.katex-display>.katex{white-space:nowrap}.math-text .katex-error{font-family:var(--mono);font-size:.75em;white-space:pre-wrap;overflow-wrap:anywhere;border-bottom:1px dotted var(--accent)}.table-scroll{overflow:auto}.table-scroll table{border-collapse:collapse;min-width:100%;font-size:17px}.table-scroll th,.table-scroll td{padding:10px;text-align:left;border-bottom:1px solid var(--line)}.math-text blockquote{margin:1.4em 0;padding-left:1.1em;border-left:2px solid #c9c1b6;color:#59544e}.math-text code{font-family:var(--mono);font-size:.7em;background:#f2f4f7;padding:2px 4px;border-radius:2px}.eyebrow{font-size:10px;font-weight:600;letter-spacing:.13em;text-transform:uppercase;color:var(--muted);line-height:1.5}.muted{color:var(--muted)}.accent{color:var(--accent)}.icon-button{width:34px;height:34px;display:inline-flex;align-items:center;justify-content:center;border:1px solid transparent;border-radius:4px}.icon-button:hover{background:#f2f4f7;border-color:var(--line)}.text-button{display:inline-flex;align-items:center;gap:7px;color:var(--accent);font-size:12px;padding:5px 0;border-bottom:1px solid transparent}.text-button:hover{border-bottom-color:var(--accent)}.button-primary,.button-secondary{display:inline-flex;align-items:center;justify-content:center;gap:9px;font-size:12px;font-weight:500;border:1px solid var(--accent);padding:11px 16px;border-radius:3px;line-height:1.3}.button-primary{background:var(--accent);color:#fff}.button-primary:hover{background:#702319}.button-secondary{background:transparent;border-color:#c5bfb4}.button-secondary:hover{background:#f6f8fa}.pill{display:inline-flex;align-items:center;gap:5px;border:1px solid var(--line);font-size:10px;line-height:1.3;border-radius:3px;padding:4px 7px;white-space:nowrap}.pill.accent{border-color:#d9bfb4;background:#f6efea}.divider-dot{color:#beb8ad;margin:0 8px}.source-path{font-family:var(--mono);font-size:10px;line-height:1.8;overflow-wrap:anywhere}.empty-state{padding:70px 24px;text-align:center;max-width:600px;margin:auto}.empty-state h1,.empty-state h2{font-family:var(--serif);font-size:36px;margin-bottom:14px}.empty-state p{color:var(--muted);font-size:14px;line-height:1.7}.loading-line{width:220px;height:3px;background:var(--line);margin:24px auto;position:relative;overflow:hidden}.loading-line:after{content:"";display:block;position:absolute;width:40%;height:100%;background:var(--accent);animation:loading 1.5s infinite}@keyframes loading{0%{left:-40%}to{left:100%}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;animation:none!important;transition:none!important}}.topbar{height:56px;display:flex;align-items:center;padding:0 28px;border-bottom:1px solid var(--line);position:sticky;top:0;background:var(--paper);z-index:40;gap:30px}.wordmark{display:flex;align-items:center;gap:10px;white-space:nowrap;font-size:13px;font-weight:600;letter-spacing:-.02em}.wordmark-symbol{font-family:var(--serif);font-size:32px;line-height:1;color:var(--accent);margin-top:-4px}.breadcrumbs{display:flex;align-items:center;gap:9px;font-size:10px;color:var(--muted);min-width:0}.breadcrumbs a:hover{color:var(--accent)}.top-actions{margin-left:auto;display:flex;align-items:center;gap:14px}.header-search{display:flex;align-items:center;gap:8px;color:var(--muted)}.header-search input{background:none;border:0;outline:none;color:var(--ink);font-size:11px;width:145px}.header-search input:focus-visible{outline:none}kbd{font-family:var(--mono);font-size:10px;border:1px solid var(--line);border-radius:3px;padding:2px 5px;color:var(--muted)}.corpus-page{max-width:880px;margin:0 auto;padding:58px 36px 0}.corpus-intro h1{font-family:var(--serif);font-size:42px;letter-spacing:-.035em;line-height:1.15;margin:13px 0 8px}.corpus-intro>p{font-family:var(--serif);font-size:20px;color:#686158;margin-bottom:12px}.collection-note{font-size:10px;line-height:1.6;color:var(--muted);display:inline-flex;gap:6px;align-items:center}.collection-note:hover{color:var(--accent)}.corpus-search{height:57px;margin-top:32px;display:flex;align-items:center;border:1px solid #dce1e7;padding:0 17px;gap:13px;background:var(--surface);box-shadow:0 1px 2px #00000003}.corpus-search:focus-within{border-color:var(--accent);box-shadow:0 0 0 1px var(--accent)}.corpus-search input{border:0;outline:0!important;background:transparent;min-width:0;flex:1;font-size:13px}.corpus-search>svg{color:#9a8c7a}.corpus-search button{display:flex;padding:4px}.filters{display:flex;align-items:center;gap:8px;flex-wrap:wrap;margin:12px 0 35px;min-height:30px}.filter,.select-filter select{font-size:10px;line-height:1.4;border:1px solid var(--line);border-radius:3px;display:inline-flex;align-items:center;gap:6px;padding:7px 9px;background:transparent;color:#706b62}.filter:hover,.select-filter select:hover{border-color:#c5bfb4}.filter.active{background:var(--accent-soft);border-color:#d2aea1;color:var(--accent)}.select-filter select{max-width:180px}.reset-filters{font-size:10px;margin-left:auto}.tiny{font-size:10px;line-height:1.6}.section-heading{display:flex;align-items:center;justify-content:space-between;gap:15px;margin:0 0 16px}.section-heading h2{font-family:var(--serif);font-size:23px;letter-spacing:-.02em}.guided-card{display:block;padding:25px 29px;background:#f8fafc;border:1px solid #ded7cb;border-left:3px solid var(--accent);transition:border-color .14s,background .14s}.guided-card:hover{background:#f2f5f8;border-color:#c8b6a6}.guided-top{display:flex;align-items:center;justify-content:space-between;gap:14px}.guided-top .eyebrow{font-size:9px}.guided-card h2{font-family:var(--serif);font-size:29px;line-height:1.25;letter-spacing:-.025em;margin:20px 0 11px}.guided-card h2 .math-text{font-size:inherit}.guide-statement{font-size:17px;color:#665f55;line-height:1.6}.guide-rule{width:35px;border-top:1px solid #c4b4a2;margin:20px 0 12px}.guide-mechanism{font-family:var(--serif);font-style:italic;font-size:18px;color:#5b5146;margin-bottom:23px}.guided-bottom{display:flex;justify-content:space-between;align-items:center;gap:16px;font-size:10px;color:var(--muted)}.guided-bottom>span:last-child{display:flex;align-items:center;gap:10px;font-weight:500}.subject-index{margin-top:42px}.subject-index .section-heading{padding-bottom:11px;border-bottom:1px solid var(--line);margin-bottom:7px}.subject-index-row{display:flex;align-items:baseline;gap:12px;padding:10px 0;font-family:var(--serif);font-size:19px;line-height:1.4}.subject-index-row>span:first-child{flex-shrink:0;max-width:75%}.subject-index-row i{flex:1;border-bottom:1px dotted #c9c3b8;position:relative;top:-4px}.subject-index-row>span:nth-last-child(2){font-family:var(--mono);font-size:11px;color:#746e63;min-width:62px;text-align:right;white-space:nowrap}.subject-index-row em{font-style:normal;margin:0 7px;color:#c3b9a8}.subject-index-row>svg{align-self:center;color:#aaa08e}.subject-index-row:hover>span:first-child,.subject-index-row:hover>svg{color:var(--accent)}.collection-bottom{margin:36px 0 0;padding-top:24px;border-top:1px solid var(--line);display:flex;gap:28px;align-items:start}.collection-bottom p{font-size:11px;line-height:1.7;color:var(--muted);max-width:450px;margin:0}.collection-bottom a{font-size:10px;white-space:nowrap;display:inline-flex;gap:6px;align-items:center;color:var(--accent)}.site-footer{border-top:1px solid var(--line);margin-top:44px;padding:20px 0 28px;display:flex;align-items:center;gap:23px;flex-wrap:wrap;font-size:9px;color:var(--muted)}.site-footer>span{margin-right:auto}.site-footer a:hover{color:var(--accent)}.paper-row{padding:25px 0;border-bottom:1px solid var(--line)}.paper-row-meta{display:flex;align-items:center;gap:10px;margin-bottom:8px}.family-number{font-family:var(--mono);font-size:10px;color:var(--accent);font-weight:400;letter-spacing:.02em;line-height:1.5}.row-guide{margin-left:auto;display:inline-flex;align-items:center;gap:5px}.paper-row-title{display:flex;justify-content:space-between;align-items:center;gap:24px;font-family:var(--serif);font-size:23px;line-height:1.3}.paper-row-title .math-text{font-size:inherit;line-height:inherit}.paper-row-title>svg{color:#9e9587}.paper-row-title:hover{color:var(--accent)}.paper-row-abstract{font-size:16px;color:#71695f;line-height:1.55;display:-webkit-box;-webkit-line-clamp:3;-webkit-box-orient:vertical;overflow:hidden;margin-top:10px}.evidence{display:inline-flex;align-items:center;gap:13px;font-family:Inter,sans-serif;font-size:9px;color:#81766a;line-height:1.5}.evidence>span{white-space:nowrap}.paper-row>.evidence{margin-top:12px}.load-more{margin:25px auto;display:flex}.with-rail{display:grid;grid-template-columns:248px minmax(0,1fr);min-height:calc(100vh - 56px)}.subject-rail{border-right:1px solid var(--line);padding:34px 19px 28px 25px;position:sticky;top:56px;height:calc(100vh - 56px);overflow:auto;display:flex;flex-direction:column}.subject-rail>.eyebrow{margin-bottom:18px}.subject-rail nav{display:grid;gap:2px}.subject-rail nav a{font-size:10px;line-height:1.5;padding:8px 4px 8px 10px;border-left:2px solid transparent;color:#777066;display:flex;gap:8px;align-items:baseline;justify-content:space-between}.subject-rail nav a>span{font-family:var(--mono);font-size:9px;color:#aaa08e}.subject-rail nav a:hover,.subject-rail nav a.active{color:var(--accent);border-left-color:var(--accent);background:#f5f7fa}.rail-foot{padding-top:22px;margin-top:30px;border-top:1px solid var(--line);font-size:9px;line-height:1.7;color:var(--muted);display:flex;flex-direction:column;gap:10px}.rail-foot a,.rail-foot button{font-size:10px;text-align:left;display:inline-flex;align-items:center;gap:5px;padding:0}.rail-foot button:hover{color:var(--accent)}.subject-main,.document-page{width:100%;max-width:820px;margin:0 auto;padding:40px 42px 0}.subject-main h1,.document-page>h1{font-family:var(--serif);font-size:37px;line-height:1.2;letter-spacing:-.025em;margin:12px 0 14px}.document-page>h1 .math-text{font-size:inherit;line-height:inherit}.back-link{font-size:10px;color:var(--muted);display:inline-flex;align-items:center;gap:6px;margin-bottom:30px}.back-link:hover{color:var(--accent)}.section-subtitle{font-size:11px;color:var(--muted);margin-bottom:32px}.family-row{display:grid;grid-template-columns:34px minmax(0,1fr) 16px;gap:14px;padding:24px 0;border-top:1px solid var(--line)}.family-row>.family-number{padding-top:5px}.family-row h2{font-family:var(--serif);font-size:23px;line-height:1.3}.family-row h2 .math-text{font-size:inherit;line-height:inherit}.family-row h2:hover{color:var(--accent)}.family-description{font-size:16px;line-height:1.55;color:#756d62;margin:8px 0 11px;display:-webkit-box;-webkit-line-clamp:3;-webkit-box-orient:vertical;overflow:hidden}.family-row-foot{display:flex;align-items:center;gap:14px;flex-wrap:wrap;font-size:9px;color:#8c8173}.family-row-arrow{padding-top:4px;color:#a39786}.family-lead{font-size:22px;line-height:1.6;margin:24px 0 34px}.document-meta{display:flex;gap:20px;flex-wrap:wrap;color:var(--muted);font-size:10px;line-height:1.5;margin:18px 0 26px}.document-meta>.evidence{font-size:10px}.ruled{border-top:1px solid var(--line);padding-top:25px}.scope-box{background:#f6f8fa;padding:23px;margin-top:35px;border:1px solid var(--line)}.scope-box p{font-family:var(--serif);font-size:17px;line-height:1.55;margin:12px 0}.scope-box>a{font-size:11px;color:var(--accent)}.neighbours{margin-top:44px;border-top:1px solid var(--line);padding-top:25px}.neighbours .section-heading{align-items:baseline;flex-wrap:wrap}.neighbours>a{display:flex;align-items:baseline;gap:15px;padding:11px 0;border-bottom:1px solid var(--line);font-family:var(--serif);font-size:18px;line-height:1.45}.neighbours>a>.math-text{font-size:inherit;line-height:inherit}.neighbours>a>svg{margin-left:auto;min-width:13px;align-self:center;color:#9f9383}.neighbours>a:hover{color:var(--accent)}.paper-layout{display:flex;align-items:flex-start;min-width:0}.paper-document{max-width:830px;padding-top:38px}.paper-document>.document-meta{margin-bottom:27px}.claim-box{border-left:2px solid #504b43;padding:4px 0 5px 20px;margin:30px 0 18px}.claim-box>.eyebrow{margin-bottom:14px}.claim-box .math-text{font-size:19px;line-height:1.65}.claim-box .math-text>p:first-child strong:first-child{display:none}.claim-box .source-chip{margin-top:12px}.scope-line{display:flex;gap:9px;align-items:flex-start;border-top:1px solid #e6e9ee;border-bottom:1px solid #e6e9ee;background:#fafbfd;padding:10px 12px;font-size:10px;line-height:1.6;color:#84704e;margin:20px 0}.scope-line>span:first-child{font-size:16px;line-height:1.1}.paper-actions{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin:25px 0 32px}.mechanism-section{border-top:1px solid var(--line);padding-top:25px;margin-top:32px}.mechanism-section>.eyebrow{margin-bottom:14px}.mechanism-section .math-text{font-size:21px;line-height:1.6}.abstract-section,.evidence-section,.source-list{margin-top:36px;border-top:1px solid var(--line);padding-top:25px}.abstract-section .math-text{font-size:19px}.scope-markdown{font-size:17px;margin-top:15px}.evidence-caveat,.body-ui{font-family:Inter,sans-serif;font-size:12px;line-height:1.75}.evidence-caveat{margin:18px 0 0;color:var(--muted);font-size:10px}.source-list>a{display:flex;gap:12px;align-items:center;padding:15px 0;border-bottom:1px solid var(--line);font-size:12px}.source-list>a>span{flex:1}.source-list small{display:block;font-size:10px;margin-top:4px;color:var(--muted)}.source-list>a:hover{color:var(--accent)}.source-list details{border-bottom:1px solid var(--line)}.source-list summary{cursor:pointer;list-style:none;display:flex;justify-content:space-between;padding:17px 0;font-size:11px}.source-list details>a{display:block;padding:6px 0 6px 26px;font-size:10px;color:var(--muted)}.source-list details>a:last-child{margin-bottom:13px}.about-page{max-width:800px;padding-top:50px}.about-page>h2{font-family:var(--serif);font-size:25px;margin:32px 0 12px}.about-page>p{font-family:var(--serif);font-size:20px;line-height:1.65}.about-page>.math-text{font-size:21px;margin-top:25px}.withdrawal-link{font-family:var(--serif);font-size:17px;line-height:1.5;display:flex;gap:8px;align-items:baseline;margin:10px 0;color:var(--accent)}.reader-layout{display:grid;grid-template-columns:248px minmax(0,1fr);align-items:start;min-height:calc(100vh - 56px)}.outline-rail{position:sticky;top:56px;height:calc(100vh - 56px);overflow:auto;border-right:1px solid var(--line);padding:24px 18px 28px 23px;scrollbar-width:thin}.outline-rail .back-link{margin-bottom:26px}.outline-rail>.eyebrow{margin-bottom:15px}.outline-rail nav{display:grid;gap:4px}.outline-rail nav button{display:flex;gap:10px;text-align:left;align-items:baseline;font-size:10px;line-height:1.5;padding:9px 7px 9px 9px;border-left:2px solid transparent;color:#777066;position:relative}.outline-rail nav button>span{font-family:var(--mono);font-size:9px;color:#a19788;min-width:15px}.outline-rail nav button:hover,.outline-rail nav button.active{border-left-color:var(--accent);color:var(--accent);background:#f5f7fa}.outline-rail nav button.active{font-weight:500}.outline-rail nav b{color:var(--accent);position:absolute;right:4px}.rail-section{margin:25px 0 0;padding-top:20px;border-top:1px solid var(--line)}.rail-section .eyebrow{margin-bottom:10px}.rail-section>button{display:block;padding:6px 10px;font-family:var(--serif);font-size:15px;color:#7a6e5f;text-align:left}.rail-section>button:hover{color:var(--accent)}.reader-center{min-width:0}.claim-bar{position:sticky;top:56px;z-index:25;background:var(--paper);border-bottom:1px solid var(--line)}.claim-toggle{width:100%;display:flex;gap:14px;align-items:center;padding:13px 28px;text-align:left;min-height:55px}.claim-toggle>.eyebrow{font-size:9px;flex-shrink:0}.claim-shorthand{flex:1;min-width:0;overflow-x:auto;overflow-y:hidden;white-space:nowrap;scrollbar-width:thin;line-height:1.8}.claim-shorthand .math-text{font-size:14px;line-height:1.7;white-space:nowrap}.claim-exact-label{display:flex;align-items:center;gap:5px;font-size:10px;flex-shrink:0;color:var(--accent)}.exact-sheet{position:absolute;top:100%;left:0;right:0;max-height:70vh;overflow:auto;background:var(--surface);border:1px solid var(--line);box-shadow:0 12px 24px #0000000a;padding:18px 28px 24px;z-index:26}.exact-sheet-header{display:flex;justify-content:space-between;align-items:center}.exact-sheet .claim-box{margin:12px 0 22px}.hypothesis-list{display:flex;gap:10px;flex-wrap:wrap;margin:15px 0}.hypothesis-list button{display:flex;align-items:center;gap:18px;border:1px solid var(--line);padding:8px 12px}.hypothesis-list .math-text{font-size:17px}.hypothesis-list button>span{font-size:10px;color:var(--accent);display:flex;gap:5px;align-items:center}.not-claimed{border-top:1px solid var(--line);padding-top:17px;margin-top:18px}.not-claimed>.eyebrow{margin-bottom:10px}.not-claimed>div{margin:10px 0}.not-claimed .math-text{font-size:17px}.reading-column{max-width:792px;padding:36px 38px 0;margin:0 auto;min-width:0}.reading-intro h1{font-family:var(--serif);font-size:37px;letter-spacing:-.025em;line-height:1.2;margin:15px 0}.reading-intro h1 .math-text{font-size:inherit;line-height:inherit}.reading-byline{display:flex;gap:15px;flex-wrap:wrap;font-size:9px;color:var(--muted);line-height:1.6;margin:17px 0 20px}.reading-intro>.scope-line{font-size:10px;margin:22px 0 27px}.mechanism-intro>.eyebrow{margin-bottom:13px}.mechanism-intro .math-text{font-size:22px;line-height:1.6}.reader-instructions{display:flex;gap:12px;align-items:center;justify-content:space-between;font-size:10px;color:var(--muted);margin-top:27px;border-top:1px solid var(--line);padding-top:15px}.reader-instructions button{display:inline-flex;align-items:center;gap:6px;color:var(--accent);font-size:10px}.proof-step{scroll-margin-top:135px;border-top:1px solid var(--line);padding:30px 0 28px;outline-offset:8px}.reading-intro+.proof-step{margin-top:35px}.step-top{display:flex;align-items:baseline;gap:17px}.step-number{font-family:var(--mono);font-size:11px;color:var(--accent);min-width:23px}.step-heading>.eyebrow{font-size:9px;margin-bottom:7px;color:#9a8a74}.step-heading h2{font-family:var(--serif);font-size:27px;line-height:1.25;letter-spacing:-.025em}.step-body{padding-left:40px;padding-top:15px;min-width:0}.step-body>.math-text{font-size:20px;line-height:1.65}.step-source{display:flex;flex-wrap:wrap;align-items:center;gap:6px;margin-top:14px}.source-chip{display:inline-flex;align-items:center;gap:5px;font-size:9px;line-height:1.5;color:#8b7c69;border:1px solid #e1dbd1;padding:4px 6px;border-radius:2px;max-width:100%;text-align:left}.source-chip:hover{border-color:#bda48e;color:var(--accent);background:#f5f7fa}.source-lines{font-family:var(--mono);font-size:8px;color:#a8957c}.explanation-actions{display:flex;flex-wrap:wrap;gap:7px 18px;margin-top:18px}.explanation-actions>button{font-size:10px;padding:4px 0;color:#877663;display:flex;align-items:center;gap:3px}.explanation-actions>button>svg{transition:transform .14s}.explanation-actions>button:hover,.explanation-actions>button.open{color:var(--accent)}.explanation-actions>button.open>svg{transform:rotate(90deg)}.explanation{margin:20px 0 6px;padding:3px 0 4px 18px;border-left:1px solid #cdbba6}.explanation-label{font-family:Inter,sans-serif;font-size:9px;letter-spacing:.02em;display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:11px;color:var(--accent)}.annotation-mark{color:#a29582;font-size:8px;letter-spacing:0}.explanation>.math-text{font-size:18px;line-height:1.65;color:#625547}.explanation .source-chip{font-size:8px}.bridge-mark{font-size:9px;color:var(--muted)}.substeps{margin-top:17px}.substeps>.proof-step{padding:22px 0 10px}.substeps .step-heading h2{font-size:23px}.substeps .step-body{padding-left:0}.substeps .step-body>.math-text{font-size:18px}.uses-highlight>.step-body>.math-text{background:var(--accent-soft);box-shadow:0 0 0 8px var(--accent-soft)}.end-reading{border-top:1px solid var(--line);margin-top:8px;padding:30px 0 8px}.end-reading h2{font-family:var(--serif);font-size:27px;margin:13px 0}.end-reading p{font-family:var(--serif);font-size:18px;color:#82715e;line-height:1.6}.end-reading .paper-actions{margin-bottom:10px}.margin-panel{position:sticky;top:56px;max-height:calc(100vh - 56px);overflow:auto;width:420px;min-width:420px;padding:18px 24px 32px;background:var(--surface);border-left:1px solid var(--line);align-self:start;z-index:35;box-shadow:-8px 0 24px -22px #0005;scrollbar-width:thin;outline:none}.margin-header{display:flex;align-items:center;justify-content:space-between;gap:15px;margin-bottom:17px}.margin-panel>h2{font-family:var(--serif);font-size:25px;line-height:1.25;margin:18px 0 13px}.margin-panel>.source-path{font-size:9px;color:#97866f;margin-bottom:16px}.source-mode{display:flex;border-bottom:1px solid var(--line);gap:14px;margin-top:20px;margin-bottom:19px}.source-mode>button{font-size:9px;color:#988870;padding:9px 0;border-bottom:2px solid transparent}.source-mode>button.active{border-bottom-color:var(--accent);color:var(--accent)}.source-mode>button:last-child{margin-left:auto}.margin-panel .math-text{font-size:17px;line-height:1.65}.source-quotation{background:#f8fafc;padding:16px;border:1px solid #e6dfd1}.source-quotation .katex-display{font-size:.95em}.raw-source{font-family:var(--mono);font-size:10px;line-height:1.85;white-space:pre-wrap;overflow-wrap:anywhere;background:#f5f7fa;padding:16px;max-width:100%;margin:0}.source-card-footer{display:flex;justify-content:space-between;gap:15px;margin-top:19px;font-size:10px;color:var(--accent)}.panel-footnote{font-size:9px;line-height:1.8;color:#a3937c;margin:21px 0 0}.margin-panel>.math-text{margin:20px 0}.margin-panel>.text-button{display:flex;margin:16px 0}.usage-step{display:flex;align-items:baseline;gap:12px;text-align:left;width:100%;font-family:var(--serif);font-size:18px;line-height:1.5;padding:16px 0;border-bottom:1px solid var(--line)}.usage-step>svg{min-width:12px;margin-left:auto;align-self:center}.usage-step:hover{color:var(--accent)}.lean-declaration{display:block;font-family:var(--mono);font-size:11px;line-height:1.8;overflow-wrap:anywhere;background:#f5f7fa;padding:14px;margin:20px 0}.margin-backdrop,.outline-mobile-toggle,.rail-backdrop{display:none}.selection-toolbar{position:fixed;z-index:60;display:flex;align-items:center;gap:2px;box-shadow:0 3px 12px #0001;border:1px solid #c5b6a4;border-radius:3px;background:var(--surface);padding:5px}.selection-toolbar>button{font-size:10px;padding:6px 8px;white-space:nowrap}.selection-toolbar>button:hover{background:var(--accent-soft);color:var(--accent)}.modal-backdrop{position:fixed;inset:0;background:#24201445;z-index:80;display:flex;align-items:center;justify-content:center;padding:20px}.shortcut-sheet{background:var(--surface);border:1px solid var(--line);padding:25px;width:410px;box-shadow:0 20px 70px #0002}.shortcut-sheet h2{font-family:var(--serif);font-size:25px}.shortcut-row{display:flex;align-items:center;gap:20px;margin:13px 0;font-size:11px}.shortcut-row kbd{min-width:65px;text-align:center}.shortcut-sheet>p{margin:25px 0 0}.notation-page section{border-top:1px solid var(--line);padding:24px 0}.notation-page section>h2{font-family:var(--serif);font-size:23px;margin-bottom:15px}.notation-page .math-text{max-width:100%;min-width:0}.paper-layout.margin-open>.document-page{max-width:820px;flex:1;min-width:0}.reader-layout.margin-open{grid-template-columns:248px minmax(0,1fr) 420px}.reader-layout.margin-open .reading-column{padding-left:30px;padding-right:30px}.reader-layout.margin-open .step-body{padding-left:0}.reader-layout.margin-open .claim-toggle{padding-left:20px;padding-right:20px}@media(min-width:1600px){.reader-layout.margin-open .reading-column{padding-left:38px;padding-right:38px}.reader-layout.margin-open .step-body{padding-left:40px}}@media(max-width:1279px){.reader-layout.margin-open{grid-template-columns:248px minmax(0,1fr)}.margin-panel{position:fixed;right:0;top:56px;height:calc(100vh - 56px);z-index:50;box-shadow:-12px 0 40px -25px #0007}.margin-backdrop{display:block;position:fixed;inset:56px 0 0;background:#24201425;z-index:45}.paper-layout.margin-open>.document-page{max-width:830px}.reader-layout.margin-open .step-body{padding-left:40px}.reader-layout.margin-open .reading-column{padding-left:38px;padding-right:38px}}@media(max-width:1099px){.with-rail{grid-template-columns:210px minmax(0,1fr)}.subject-rail{padding-left:17px;padding-right:13px}.subject-rail nav a{font-size:9px}.reader-layout,.reader-layout.margin-open{grid-template-columns:minmax(0,1fr)}.outline-rail{position:fixed;left:0;top:56px;width:275px;height:calc(100vh - 56px);background:var(--paper);z-index:55;display:none;box-shadow:10px 0 40px -25px #0006}.outline-rail.rail-open{display:block}.outline-mobile-toggle{display:flex;align-items:center;gap:8px;position:fixed;bottom:20px;left:20px;z-index:30;background:var(--ink);color:var(--paper);border-radius:3px;padding:10px 14px;font-size:11px;box-shadow:0 3px 12px #0002}.outline-mobile-toggle>span{font-family:var(--mono);font-size:9px;color:#d8cbb9;padding-left:8px}.rail-backdrop{display:block;position:fixed;inset:56px 0 0;background:#24201435;z-index:52}.reader-center{width:100%}.reading-column{max-width:800px}.claim-toggle{max-width:950px;margin:auto}.exact-sheet{max-width:850px;margin:auto;right:0;left:0}.breadcrumbs{font-size:9px;gap:6px}.topbar{gap:20px}}@media(max-width:719px){.topbar{height:52px;padding:0 16px;gap:12px}.wordmark{font-size:12px;gap:6px}.wordmark-symbol{font-size:30px}.breadcrumbs,.header-search input{display:none}.header-search>svg{width:15px}.header-search kbd{display:none}.top-actions{gap:8px}.top-actions .icon-button{width:27px;height:30px}.corpus-page{padding:30px 20px 0}.corpus-intro h1{font-size:34px;margin-top:12px}.corpus-intro>p{font-size:18px;line-height:1.4}.eyebrow{font-size:9px}.collection-note{font-size:9px;line-height:1.7;align-items:baseline}.collection-note>svg{min-width:11px;position:relative;top:2px}.corpus-search{margin-top:24px;height:53px;padding:0 12px;gap:10px}.corpus-search input{font-size:11px}.corpus-search>svg{width:17px}.corpus-search kbd{display:none}.filters{gap:7px;margin-bottom:28px}.filter,.select-filter select{font-size:9px;padding:7px 8px}.select-filter select{max-width:132px}.guided-card{padding:20px 18px}.guided-card h2{font-size:27px;margin-top:19px}.guide-statement{font-size:16px}.guide-mechanism{font-size:17px;line-height:1.4}.guided-top .pill{font-size:8px;padding:4px 5px}.guided-bottom{font-size:9px;gap:15px;align-items:flex-end}.guided-bottom>span:last-child{max-width:120px;line-height:1.7;gap:5px}.guided-bottom>span:last-child>svg{min-width:13px}.guided-bottom>span:first-child{max-width:145px;line-height:1.7}.subject-index{margin-top:32px}.section-heading h2{font-size:22px}.section-heading .tiny{font-size:8px}.subject-index-row{font-size:17px;padding:11px 0;gap:8px;align-items:center}.subject-index-row>span:first-child{flex-shrink:1;max-width:70%;line-height:1.3}.subject-index-row>span:nth-last-child(2){font-size:9px;min-width:52px}.subject-index-row>svg{width:11px;min-width:11px}.subject-index-row i{top:2px}.subject-index-row em{margin:0 5px}.collection-bottom{display:block}.collection-bottom p{font-size:10px}.collection-bottom a{margin-top:12px}.site-footer{gap:12px 20px;font-size:8px;padding-bottom:25px;margin-top:30px}.site-footer>span{width:100%}.with-rail{display:block}.subject-rail{display:none}.document-page,.subject-main{padding:26px 20px 0}.subject-main h1,.document-page>h1{font-size:31px;line-height:1.22}.back-link{font-size:9px;margin-bottom:25px}.family-row{grid-template-columns:27px minmax(0,1fr) 12px;gap:8px;padding:22px 0}.family-row h2{font-size:21px}.family-description{font-size:16px}.family-lead{font-size:20px}.family-row-foot{font-size:8px;gap:10px}.family-row-arrow svg{width:12px}.document-meta{font-size:9px;gap:12px;margin:15px 0 20px}.document-meta .evidence{font-size:9px}.paper-row-title{font-size:22px;gap:15px}.paper-row-title>svg{min-width:14px}.paper-row-abstract{font-size:16px}.paper-row-meta .tiny,.paper-row-meta .family-number{font-size:9px}.claim-box{padding-left:15px;margin-top:25px}.claim-box .math-text{font-size:17px}.scope-line{font-size:9px;line-height:1.65}.paper-actions{gap:10px;margin:23px 0}.button-primary,.button-secondary{font-size:10px;padding:11px 12px;gap:6px}.mechanism-section .math-text{font-size:20px}.abstract-section .math-text{font-size:18px}.scope-markdown{font-size:17px}.source-chip{font-size:8px;padding:4px 5px;gap:4px;line-height:1.7}.source-chip>.source-lines{font-size:7px}.neighbours .section-heading .tiny{font-size:8px;line-height:1.5}.neighbours>a{font-size:17px;gap:12px}.about-page>p{font-size:18px}.about-page>.math-text{font-size:20px}.reader-layout{min-height:calc(100vh - 52px)}.claim-bar{top:52px}.claim-toggle,.reader-layout.margin-open .claim-toggle{padding:10px 16px;gap:10px;min-height:51px}.claim-toggle>.eyebrow{font-size:8px}.claim-shorthand .math-text{font-size:12px}.claim-exact-label{font-size:9px;gap:3px}.exact-sheet{padding:15px 17px 20px;max-height:calc(100dvh - 125px)}.exact-sheet .claim-box{padding-left:12px}.reading-column,.reader-layout.margin-open .reading-column{padding:25px 19px 0}.reading-intro h1{font-size:31px;line-height:1.22;margin-top:14px}.reading-intro>.eyebrow{font-size:8px}.reading-byline{font-size:8px;gap:6px 12px}.reading-intro>.scope-line{font-size:9px;padding:10px;margin:20px 0 25px}.mechanism-intro .math-text{font-size:20px;line-height:1.55}.reader-instructions{font-size:9px;line-height:1.5;align-items:baseline}.reader-instructions button{font-size:8px;text-align:right;gap:4px;max-width:145px;line-height:1.5}.reader-instructions button>svg{min-width:10px}.proof-step{padding:25px 0;scroll-margin-top:119px}.step-top{gap:10px}.step-number{font-size:10px;min-width:20px}.step-heading h2{font-size:25px;line-height:1.25}.step-heading>.eyebrow{font-size:8px}.step-body,.reader-layout.margin-open .step-body{padding-left:0;padding-top:15px}.step-body>.math-text{font-size:19px;line-height:1.6}.explanation-actions{gap:9px 17px;margin-top:18px}.explanation-actions>button{font-size:9px;line-height:1.7}.explanation{padding-left:13px}.explanation>.math-text{font-size:17px;line-height:1.6}.explanation-label{font-size:8px}.explanation .source-chip{font-size:7px}.substeps .step-heading h2{font-size:22px}.end-reading h2{font-size:25px}.end-reading p{font-size:17px}.margin-panel{top:auto;bottom:0;height:78dvh;max-height:calc(100dvh - 68px);width:100%;min-width:0;border-left:0;border-top:1px solid #c9bca7;box-shadow:0 -10px 40px -25px #0008;padding:15px 20px 28px;border-radius:8px 8px 0 0;z-index:70}.margin-panel:before{content:"";display:block;height:3px;width:30px;margin:-5px auto 10px;background:#c9bba6;border-radius:3px}.margin-backdrop{inset:52px 0 0;z-index:65}.margin-header{margin-bottom:10px}.margin-panel>.source-path{font-size:9px}.margin-panel .math-text{font-size:17px}.source-quotation{padding:14px}.outline-rail{top:auto;bottom:0;width:100%;height:78dvh;max-height:calc(100dvh - 68px);padding:20px 24px;z-index:60;border-top:1px solid var(--line);border-radius:8px 8px 0 0}.outline-rail nav button{font-size:12px;padding:11px 10px}.outline-rail>.back-link{margin-bottom:20px}.outline-rail .rail-section{display:none}.outline-rail .rail-foot{font-size:10px;margin-top:20px}.rail-backdrop{inset:52px 0 0;z-index:55}.outline-mobile-toggle{left:16px;bottom:16px;font-size:10px;padding:10px 12px}.selection-toolbar{max-width:calc(100vw - 24px);overflow:auto}.selection-toolbar>button{font-size:9px;padding:6px}.shortcut-sheet{padding:20px}.shortcut-row{font-size:10px;gap:15px}.body-ui{font-size:11px}.notation-page .math-text{font-size:18px}.math-text{font-size:18px;line-height:1.6}}.math-source-fallback{font-family:var(--mono);font-size:.8em;background:#f5f7fa;color:inherit;border-bottom:1px dotted #9a6c16;padding:2px 4px;overflow-wrap:anywhere}.katex[data-tex]{cursor:text}.math-text .katex:focus-visible{outline:2px solid var(--accent)}@media(min-width:720px){.outline-rail nav button{font-size:11px}.subject-rail nav a{font-size:11px}.source-chip{font-size:10px}.explanation-actions>button{font-size:11px}.explanation-label{font-size:10px}.rail-section>button{font-size:16px}.rail-foot{font-size:10px}.source-mode>button{font-size:10px}.panel-footnote,.reading-byline{font-size:10px}}.claim-omissions{font-family:var(--mono);font-size:9px;color:var(--muted);border:1px solid var(--line);border-radius:2px;padding:1px 4px;margin-right:4px}:root{color:var(--ink);background:var(--paper)}.mobile-claim{display:none}.mechanism-intro .math-text{font-size:19px;line-height:1.55}.step-body>.math-text{font-size:19px;line-height:1.6}.source-chip{font-size:11px;color:#696055;border-color:#d2c8b9}.source-lines{font-size:10px;color:#7c6d58}.outline-rail nav button{font-size:12px;color:#655c50}.outline-rail nav button.active{font-weight:600}.rail-section>button{font-size:14px}.margin-panel{height:calc(100vh - 56px)}.reader-layout.margin-open .step-body{padding-left:40px}@media(min-width:720px){.source-chip{font-size:12px}.source-lines{font-size:10px}.outline-rail nav button{font-size:12px}}@media(max-width:719px){.desktop-claim{display:none}.mobile-claim{display:block;white-space:normal;overflow:visible}.mobile-claim .math-text{font-size:15px;white-space:normal}.claim-toggle{min-height:53px}.mechanism-intro .math-text{font-size:18px;line-height:1.55}.step-body>.math-text{font-size:18px;line-height:1.6}.reader-layout.margin-open .step-body{padding-left:0}.source-chip{font-size:10px}.source-lines{font-size:8px}.margin-panel{height:78dvh}}.citation-chip{display:inline;background:#f5f7fa;border:1px solid #e0e4ea;border-radius:2px;color:#74604b;font-family:Inter,sans-serif;font-size:.65em;line-height:1.4;padding:1px 4px;vertical-align:baseline}.citation-chip:hover{color:var(--accent);border-color:var(--accent)}.header-search-trigger{padding:0;display:inline-flex;align-items:center;color:var(--muted);justify-content:center;width:20px;height:26px}.scope-line>.math-text{font-family:Inter,sans-serif;font-size:inherit;line-height:inherit}.rail-section>button>.math-text{font-size:inherit;line-height:inherit}.advance-section{margin-top:30px;border-top:1px solid var(--line);padding-top:24px}.advance-section>.eyebrow{margin-bottom:14px}.advance-section>.math-text{font-size:18px;margin-bottom:13px}.literature-section{margin-top:36px;border-top:1px solid var(--line);padding-top:25px}.literature-entry{border-bottom:1px solid var(--line);padding:16px 0}.literature-entry>summary{list-style:none;cursor:pointer;display:grid;grid-template-columns:minmax(0,1fr) 18px;gap:7px 16px;align-items:baseline}.literature-relation{text-transform:uppercase;letter-spacing:.06em;font-size:8px;color:var(--muted);grid-column:1/-1}.literature-title{font-family:var(--serif);font-size:19px;line-height:1.4}.literature-title>.math-text{font-size:inherit;line-height:inherit}.literature-author{font-size:10px;color:var(--muted);grid-column:1/-1;line-height:1.6}.literature-entry[open]>summary>svg{transform:rotate(180deg)}.literature-body{padding:17px 0 3px}.literature-body>.math-text{font-size:18px;line-height:1.65}.literature-locator{font-family:var(--mono);font-size:10px;color:var(--muted);line-height:1.7;margin:15px 0 7px}.source-consultation{margin-top:13px;font-size:10px;color:var(--muted);line-height:1.7}.source-consultation summary{cursor:pointer}.source-consultation p{padding:10px 0}.corollary-section{margin-top:25px;padding-top:27px;border-top:1px solid var(--line)}.corollary-section>h2{font-family:var(--serif);font-size:27px;margin-top:12px}.corollary-section>.proof-step{margin-top:22px}.margin-panel>h2>.math-text{font-size:inherit;line-height:inherit}.source-consultation .consultation-text{padding:10px 0}.consultation-text>.math-text{font-family:inherit;font-size:inherit;line-height:inherit}.literature-body>.literature-locator{font-family:var(--mono);font-size:11px;line-height:1.7}.step-help-toggle{display:flex;align-items:center;gap:7px;margin-top:18px;padding:8px 0;color:var(--accent);font-size:12px;text-align:left}.step-help-toggle>svg{transition:transform .15s}.step-help-toggle.open>svg{transform:rotate(180deg)}.step-help-toggle>span{color:var(--muted);font-size:10px;margin-left:8px}.step-help{margin-top:10px;border-top:1px solid var(--line);padding-top:18px}.local-definitions{margin-bottom:17px}.local-definitions>div{display:flex;flex-wrap:wrap;gap:7px;margin-top:9px}.local-definitions button{border-bottom:1px dotted var(--muted);padding:3px 0;margin-right:12px;color:var(--muted);text-align:left}.local-definitions .math-text{font-size:15px;line-height:1.4}.question-toggle{display:flex;align-items:baseline;gap:8px;text-align:left;color:var(--ink);padding:11px 0;width:100%;font-size:16px;line-height:1.45}.question-toggle>.math-text{font-family:var(--serif);font-size:inherit;line-height:inherit}.question-toggle>svg{flex-shrink:0;position:relative;top:2px;transition:transform .12s}.question-toggle[aria-expanded=true]>svg{transform:rotate(90deg)}.question-toggle:hover{color:var(--accent)}.step-question{border-bottom:1px solid var(--line)}.step-question>.explanation{margin:12px 0 22px}.deeper-questions{margin-top:22px;padding-top:15px;border-top:1px solid var(--line)}.deeper-questions>.eyebrow{margin-bottom:7px}.nested-question>.explanation{margin:8px 0 18px;padding-left:14px}.explanation .explanation .math-text{font-size:17px;line-height:1.65}.explanation .source-chip{font-size:11px}.math-experiment{margin-top:22px;border:1px solid var(--line);background:var(--surface);padding:18px;min-width:0}.experiment-controls{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:16px;margin:18px 0}.experiment-controls label{font-family:var(--mono);font-size:12px}.experiment-controls input{width:100%;margin:10px 0;accent-color:var(--accent)}.experiment-result{font-family:var(--serif);font-size:16px;line-height:1.5}.math-experiment .panel-footnote{font-size:11px}.proof-step:has(.step-help){scroll-margin-top:125px}@media(max-width:719px){.step-help-toggle{font-size:12px;flex-wrap:wrap}.step-help-toggle>span{font-size:10px}.question-toggle{font-size:17px;padding:13px 0}.explanation{padding-left:12px}.nested-question>.explanation{padding-left:10px}.explanation .explanation .math-text{font-size:17px}.local-definitions .math-text{font-size:15px}.experiment-controls{gap:10px}.math-experiment{padding:12px}.explanation .source-chip{font-size:10px}}.inline-note-link{display:inline;font:inherit;color:var(--accent);border-bottom:1px dotted currentColor;padding:0;text-align:left}.inline-note-link:hover{border-bottom-style:solid}.source-check-toggle{display:flex;align-items:center;gap:7px;color:var(--muted);font-size:12px;line-height:1.6;text-align:left;border-bottom:1px dotted var(--line);padding:3px 0;margin:13px 0}.source-check-toggle:hover{color:var(--accent);border-color:var(--accent)}.trial-banner{padding:8px 20px;text-align:center;background:var(--accent-soft);border-bottom:1px solid var(--line);color:var(--ink-2);font:12px/1.5 var(--sans)}.trial-banner a{color:var(--accent);text-decoration:underline;text-underline-offset:2px;white-space:nowrap}:root{--sans:Inter,sans-serif;--ink-2:#626973}.catalogue-heading{display:flex;align-items:baseline;justify-content:space-between;margin:40px 0 24px}.catalogue-heading h1{font:400 30px/1.2 var(--serif)}.catalogue-heading a{font-size:12px;color:var(--ink-2)}.guided-list{margin:20px 0 36px}.guided-list h2{font:500 13px/1.5 var(--sans);margin:0 0 8px}.guided-row{display:flex;gap:14px;align-items:baseline;padding:12px 0;border-bottom:1px solid var(--line);text-decoration:none}.guided-row>span:first-child{font:12px var(--mono);color:var(--ink-2)}.semantic-reader{display:grid;grid-template-columns:minmax(0,1fr);align-items:start}.semantic-main{min-width:0}.semantic-reader.context-open{grid-template-columns:minmax(0,1fr) 420px}.semantic-sticky{position:sticky;top:48px;z-index:15;background:var(--paper,#fffefa);border-bottom:1px solid var(--line,#dedbd4)}.semantic-claim{max-width:1000px;margin:auto;padding:9px 30px}.semantic-claim>button{display:flex;justify-content:space-between;gap:16px;width:100%;align-items:center;text-align:left;border:0;background:none;color:inherit;font:inherit;cursor:pointer}.semantic-claim>button>span:last-child{display:flex;gap:4px;align-items:center;font:11px var(--sans);white-space:nowrap;color:var(--ink-2)}.semantic-claim .math-text{font-size:14px}.semantic-claim .mobile-claim{display:none}.zoom-context{max-width:1000px;margin:auto;display:flex;align-items:center;gap:8px;padding:0 30px 8px;min-height:30px;font:11px var(--sans);color:var(--ink-2)}.zoom-context>span{display:flex;gap:7px;align-items:center}.zoom-context button{border:0;padding:2px;background:none;color:inherit;font:inherit;cursor:pointer}.zoom-context button:hover{text-decoration:underline}.zoom-context-actions{margin-left:auto;display:flex;gap:16px;align-items:center;flex-shrink:0}.semantic-content{max-width:960px;margin:auto;padding:26px 36px 50px;min-width:0}.semantic-title{margin-bottom:24px}.semantic-title>a{font:11px var(--sans);color:var(--ink-2)}.semantic-title h1{font:400 27px/1.25 var(--serif);margin:8px 0}.semantic-scope{font:12px/1.5 var(--sans);color:var(--ink-2)}.semantic-scope p{margin:8px 0}.proof-spine{font:18px/1.55 var(--serif)}.zoom-node{min-width:0}.zoom-row{display:grid;grid-template-columns:32px minmax(0,1fr) auto;column-gap:10px;padding:13px 0;scroll-margin-top:150px;outline:none;border-radius:2px}.zoom-row[aria-expanded]{cursor:pointer}.zoom-row:focus-visible,.zoom-derivation:focus-visible{outline:1px solid #8a2b1f;outline-offset:4px}.zoom-row:hover>.zoom-gutter{color:#8a2b1f}.zoom-gutter{display:flex;align-items:baseline;gap:3px;font:11px/1.5 var(--sans);padding-top:4px;color:var(--ink-2);white-space:nowrap}.zoom-node-title{font:500 12px/1.4 var(--sans);display:block;margin-bottom:4px;color:var(--ink-2)}.zoom-statement{min-width:0}.zoom-statement .math-text>p{margin:0}.zoom-statement .katex-display{margin:9px 0}.zoom-locator{border:0;background:none;align-self:start;padding:4px 0 2px 8px;font:10px/1.5 var(--mono);color:var(--ink-2);white-space:nowrap;cursor:pointer;text-decoration:none}.zoom-locator:hover{color:#8a2b1f;text-decoration:underline}.zoom-setting>.zoom-row{font-size:16px;background:#fafbfd}.zoom-setting>.zoom-row .zoom-node-title{font-size:11px}.zoom-children{margin:0 0 8px 42px;border-left:1px solid var(--line);padding-left:16px;min-width:0}.zoom-children .zoom-row{grid-template-columns:15px minmax(0,1fr) auto;font-size:17px;padding:10px 0}.zoom-children .zoom-gutter{font-size:10px}.zoom-children .zoom-children{margin-left:25px;padding-left:14px}.zoom-derivation{font:16px/1.55 var(--serif);padding:6px 0 10px;scroll-margin-top:150px;outline:none;min-width:0}.zoom-derivation p{margin:0 0 10px}.zoom-derivation>.zoom-locator{display:block;margin-left:auto}.zoom-note-links{display:flex;gap:12px;margin:6px 0 14px}.zoom-note-links button,.zoom-qualification{border:0;padding:0;background:none;color:#8a2b1f;font:11px var(--sans);cursor:pointer;text-decoration:underline}.zoom-qualification{margin-top:6px}.semantic-footer{display:flex;gap:20px;margin:30px 42px 0;font:12px var(--sans)}.semantic-exact{position:relative;max-width:900px;margin:0 auto;padding:24px 36px;border-bottom:1px solid var(--line);font-size:17px}.semantic-exact>.icon-button{position:absolute;right:8px;top:8px}.semantic-reader .margin-panel{position:sticky;top:48px;height:calc(100dvh - 48px);max-height:none;align-self:start;overflow-y:auto}.definition-backdrop{position:fixed;inset:0;background:#0001;border:0;z-index:49}.definition-popover{position:fixed;z-index:50;width:360px;max-height:min(65dvh,520px);overflow:auto;background:var(--paper,#fffefa);border:1px solid var(--line);box-shadow:0 8px 30px #2330440d;padding:22px;font:17px/1.5 var(--serif)}.definition-popover>.icon-button{position:absolute;right:5px;top:5px}.definition-popover h2{font:400 19px var(--serif);margin:0 20px 12px 0}.definition-list{display:grid;gap:8px}.definition-list>button{text-align:left;border:0;background:none;font:inherit;padding:4px;cursor:pointer}.definition-list>button:hover{color:#8a2b1f}.semantic-reader .inline-note-link{text-decoration:underline;text-decoration-color:#bdb3a5;text-underline-offset:3px}@media(max-width:1100px){.semantic-reader.context-open{grid-template-columns:minmax(0,1fr) 360px}.semantic-content{padding:24px}.zoom-locator{font-size:9px}.zoom-row{column-gap:7px}.zoom-context>span{max-width:160px;overflow:hidden;white-space:nowrap}.zoom-children{padding-left:12px}}@media(max-width:720px){.catalogue-heading{margin-top:24px;gap:14px}.catalogue-heading h1{font-size:26px}.catalogue-heading a{font-size:10px}.semantic-reader.context-open{display:block}.semantic-claim{padding:8px 16px}.semantic-claim .desktop-claim{display:none}.semantic-claim .mobile-claim{display:block}.semantic-claim .math-text{font-size:15px}.zoom-context{padding:0 16px 7px;gap:6px}.zoom-context>span{display:none}.zoom-context>span:last-of-type{display:flex;max-width:190px}.zoom-context-actions{gap:12px}.semantic-content{padding:20px 16px 40px}.semantic-title h1{font-size:23px}.semantic-title{margin-bottom:16px}.proof-spine{font-size:17px}.zoom-row{grid-template-columns:23px minmax(0,1fr);column-gap:7px;padding:13px 0}.zoom-locator{grid-column:2;padding:4px 0 0;font-size:10px;justify-self:end}.zoom-setting>.zoom-row{font-size:15px}.zoom-children{margin-left:30px;padding-left:10px}.zoom-children .zoom-row{grid-template-columns:12px minmax(0,1fr);font-size:16px}.zoom-children .zoom-children{margin-left:19px;padding-left:9px}.zoom-derivation{font-size:15px}.semantic-footer{margin-left:30px;gap:16px;font-size:11px}.semantic-exact{padding:20px}.semantic-reader .margin-panel{position:fixed;inset:auto 0 0;width:auto;height:75dvh;max-height:75dvh;z-index:35;border-top:1px solid #c9c3b7}.definition-popover{left:8px!important;right:8px;width:auto;top:auto!important;bottom:12px;max-height:70dvh;padding:22px}.semantic-sticky{top:48px}}@media(prefers-reduced-motion:no-preference){.zoom-children{animation:refine-in .11s ease-out}@keyframes refine-in{0%{opacity:.6}to{opacity:1}}}.proof-spine .math-text,.zoom-derivation .math-text{font-size:inherit;line-height:inherit}.semantic-reader{display:block;position:relative}.semantic-reader .semantic-main{max-width:960px;width:100%;margin:0 auto}.semantic-reader.context-open .semantic-main{width:min(960px,calc(100% - 420px));margin-left:max(0px,calc((100% - 960px)/2 - var(--source-shift,0px)));margin-right:auto}.semantic-reader .margin-panel{position:fixed;right:0;top:48px;width:420px;height:calc(100dvh - 48px);z-index:30;background:var(--paper)}.semantic-content{padding-left:36px;padding-right:36px}.zoom-gutter svg{color:var(--ink-2);min-width:12px}.source-passages{display:flex;flex-wrap:wrap;gap:8px;margin:12px 0}.source-passages button{font:10px var(--mono);text-decoration:underline}.semantic-reader .katex-display{background:linear-gradient(to right,transparent calc(100% - 10px),#e5dfd366);border-right:1px solid #dedbd480}.plain-guides{display:block;margin:25px 0 36px}.plain-guides h2{font:400 24px var(--serif);margin:0 0 12px}.plain-guides>a{display:grid;grid-template-columns:32px minmax(0,1fr) 16px;gap:12px;border-bottom:1px solid var(--line);padding:13px 0;align-items:baseline}.plain-guides>a>span:first-child{font:11px var(--mono);color:var(--ink-2)}.plain-guides .math-text{font-size:20px}.plain-guides .guide-claim{display:block;font-size:15px;color:var(--ink-2);margin-top:4px}@media(max-width:1100px)and (min-width:721px){.semantic-reader.context-open .semantic-main{width:calc(100% - 360px)}.semantic-reader .margin-panel{width:360px}}@media(max-width:720px){.semantic-reader.context-open .semantic-main{width:100%;margin:auto}.semantic-content{padding-left:16px;padding-right:16px}.semantic-reader .margin-panel{inset:auto 0 0;width:auto;height:75dvh}.zoom-children,.zoom-children .zoom-children{margin-left:12px;padding-left:0}.zoom-context>span:last-of-type{max-width:160px}.plain-guides .math-text{font-size:19px}.plain-guides .guide-claim{font-size:14px}}.math-source-fallback,.math-text pre:has(.math-source-fallback){white-space:pre-wrap;overflow-wrap:anywhere;word-break:break-word;max-width:100%}.semantic-reader .katex-display{background:none;border-right:0}.semantic-reader .katex-display[data-overflow=true][data-more=true]{background:linear-gradient(to right,transparent calc(100% - 12px),#d5ccbb80)}.zoom-qualification{display:block;font:11px/1.5 var(--sans);color:var(--ink-2);text-decoration:none;margin-top:7px}.semantic-reader .source-path{display:none}.zoom-leaf-notes{margin-left:42px;margin-top:-5px;flex-wrap:wrap}.zoom-leaf-notes button{color:var(--ink-2);text-decoration-color:#aaa399}.zoom-note-links{flex-wrap:wrap;row-gap:8px}@media(max-width:720px){.zoom-leaf-notes{margin-left:30px}.zoom-children .zoom-leaf-notes{margin-left:19px}}:root{--reader-header:56px}.semantic-sticky{top:var(--reader-header)}.semantic-reader .margin-panel{top:var(--reader-header);height:calc(100dvh - var(--reader-header))}.exact-formal{margin-left:18px}@media(max-width:720px){:root{--reader-header:52px}.semantic-reader .margin-panel{top:auto;height:75dvh}}.katex.math-wide{display:block;max-width:100%;overflow-x:auto;overflow-y:hidden;white-space:nowrap;padding:.35em 0;margin:.4em 0}.semantic-reader .math-wide[data-overflow=true][data-more=true]{background:linear-gradient(to right,transparent calc(100% - 12px),#d5ccbb80)}.math-punctuation{white-space:nowrap}.math-punctuation:has(.math-wide){white-space:normal}.semantic-claim .mobile-omissions{display:none}@media(max-width:720px){.semantic-claim .desktop-omissions{display:none}.semantic-claim .mobile-omissions{display:inline-flex}}.semantic-reader .margin-panel,.definition-popover{background:var(--surface)}.reader-source-heading{display:flex;align-items:center;justify-content:space-between;gap:16px;font:11px var(--sans);color:var(--ink-2)}.reader-source-heading>button{text-decoration:underline;text-underline-offset:3px;padding:0;font:inherit}.proof-overview{margin:26px 0 30px;padding-bottom:20px;border-bottom:1px solid var(--line)}.proof-overview h2{font:400 22px/1.3 var(--serif);margin-bottom:12px}.proof-overview>.math-text{font-size:17px;line-height:1.55}.proof-overview>.zoom-locator{display:block;margin-left:auto}.zoom-node-heading{display:flex;align-items:baseline;gap:14px;justify-content:space-between;margin-bottom:5px}.zoom-node-heading>.zoom-node-title{margin:0}.zoom-refine{flex-shrink:0;font:11px var(--sans);color:var(--ink-2);padding:0;text-decoration:underline;text-decoration-color:#c1c7cf;text-underline-offset:3px}.zoom-refine:hover{color:var(--accent)}.zoom-role{font:12px/1.5 var(--sans);color:var(--ink-2);margin:0 0 7px}.proof-reading-links{display:flex;flex-wrap:wrap;gap:10px 20px;padding:8px 0 12px;font:11px/1.6 var(--sans);color:var(--ink-2)}.proof-reading-links>span{display:flex;flex-wrap:wrap;gap:8px}.proof-reading-links button{text-decoration:underline;text-underline-offset:3px;padding:0;color:var(--accent);font:inherit}.evidence-record{font:12px/1.7 var(--sans)}.evidence-record dt{font-weight:600;margin-top:18px}.evidence-record dd{margin:5px 0 0}.evidence-other{margin:18px 0;padding:12px 0;border-top:1px solid var(--line)}.evidence-other summary{font:12px/1.5 var(--sans);cursor:pointer}.evidence-other p{margin-top:12px}.lean-source{font-size:11px;line-height:1.6;max-height:55dvh;overflow:auto}.source-card-footer{flex-wrap:wrap}@media(max-width:720px){.reader-source-heading{font-size:10px;gap:12px}.proof-overview>.math-text{font-size:16px}.proof-overview{margin:20px 0}.zoom-role{font-size:11px}.zoom-node-heading{gap:8px}.zoom-refine{font-size:10px}}.semantic-reader .margin-backdrop{z-index:44}.semantic-reader .margin-panel{z-index:45}.margin-panel .lean-source{white-space:pre;overflow:auto;overflow-wrap:normal;word-break:normal}.margin-panel .body-ui.math-text{font-size:12px;line-height:1.7}.lean-variable-map{margin:20px 0}.lean-variable-map h3{font:500 13px/1.5 var(--sans);margin-bottom:5px}.lean-variable-map dl{font:12px/1.6 var(--sans);margin:12px 0}.lean-variable-map dl>div{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:12px;padding:7px 0;border-top:1px solid var(--line)}.lean-variable-map dt{overflow-wrap:anywhere}.lean-variable-map dd{margin:0;min-width:0}.margin-panel .lean-variable-map .math-text{font-size:14px;line-height:1.5}.zoom-context .named-crumb{display:flex;min-width:0;gap:4px}.named-crumb>span:first-child{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.named-crumb>span:last-child{flex-shrink:0;white-space:nowrap}.companion-open{display:block;margin:0 0 9px}.lean-companion{min-width:0}.lean-companion h3{font:500 13px/1.5 var(--sans);margin:22px 0 10px}.margin-panel .lean-companion>.math-text,.companion-detail>.math-text,.companion-proof .math-text{font-size:15px;line-height:1.6}.companion-inputs{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:6px}.companion-inputs button{border:1px solid var(--line);padding:9px 10px;text-align:left;min-width:0;font:12px/1.5 var(--sans);border-radius:3px}.companion-inputs button code{display:block;font:10px/1.7 var(--mono);color:var(--ink-2)}.companion-inputs button[aria-pressed=true]{border-color:var(--accent);box-shadow:inset 2px 0 var(--accent);background:var(--surface)}.companion-detail{margin:12px 0 0;padding:0 0 12px;border-bottom:1px solid var(--line)}.companion-manuscript{font:11px/1.6 var(--sans);margin:14px 0}.companion-manuscript>span{color:var(--ink-2)}.companion-manuscript>div{margin-top:6px}.companion-manuscript button{display:block;text-align:left;margin:3px 0}.companion-hypothesis{font:11px/1.6 var(--sans);color:var(--ink-2);margin:14px 0 5px}.companion-detail .lean-source,.companion-proof .lean-source{margin-top:6px;padding:10px}.companion-variables{font:12px/1.6 var(--sans)}.companion-variables>div{display:grid;grid-template-columns:85px minmax(0,1fr);gap:10px;margin:8px 0}.companion-variables dd{margin:0;min-width:0}.companion-variables .math-text{font-size:14px}.companion-proof>div{margin:8px 0}.companion-proof .text-button{font-size:12px}.companion-code{padding-left:0;padding-right:0}.lean-line{display:block;min-width:100%;width:max-content}.lean-line.selected{background:#f4e6e2;box-shadow:inset 2px 0 var(--accent)}.lean-line-number{display:inline-block;min-width:30px;text-align:right;padding-right:10px;color:var(--ink-2);-webkit-user-select:none;user-select:none}.lean-source>code{font:inherit;white-space:inherit;color:inherit;display:block}.lean-source .lean-line{line-height:inherit}.lean-source .lean-line{display:inline-block;vertical-align:top;min-width:100%;width:max-content}.lean-line-number:before{content:attr(data-line-number)}.formal-status{border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:12px 0;margin:12px 0 24px}.formal-status>summary{font:12px/1.6 var(--sans);color:var(--ink-2);cursor:pointer}.formal-status h3{font:500 14px/1.5 var(--sans);margin:20px 0 10px}.formal-status-quotes{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:25px}.formal-status-quotes>section{min-width:0}.formal-status .math-text{font-size:16px;line-height:1.55}.formal-status-note{font:12px/1.7 var(--sans);color:var(--ink-2);margin:14px 0}.formal-status .lean-source{font:11px/1.7 var(--mono);white-space:pre;overflow:auto;overflow-wrap:normal;word-break:normal;max-width:100%;max-height:none}.formal-clauses>section{border-top:1px solid var(--line);padding:12px 0}.formal-clauses h4{font:500 12px/1.5 var(--sans);margin:0 0 6px}.formal-clauses>section>div{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:25px;align-items:start}.formal-clauses>section>p{font:12px/1.7 var(--sans);color:var(--ink-2);margin:7px 0 0}.formal-differences{padding-left:18px;margin:10px 0}.formal-differences .math-text{font-size:14px}.inline-formal-note{border-left:1px solid var(--line);padding-left:12px;margin:12px 0 5px;color:var(--ink-2);cursor:default}.proof-spine .inline-formal-note>.math-text{font:12px/1.65 var(--sans);color:var(--ink-2)}.inline-formal-note>button{padding:0;font:11px/1.6 var(--sans);color:var(--ink-2);text-decoration:underline;text-underline-offset:3px;margin:3px 15px 0 0}.source-lean-declarations{padding:10px 0;border-bottom:1px solid var(--line);margin:12px 0}.source-lean-declarations summary{font:12px/1.5 var(--sans);cursor:pointer}.source-lean-declarations button{display:block;max-width:100%;text-align:left;padding:7px 0;font:11px/1.7 var(--sans);color:var(--ink-2)}.source-lean-declarations button>span{display:block}.source-lean-declarations code{overflow-wrap:anywhere}.source-lean-declarations button:hover{color:var(--accent)}@media(max-width:720px){.formal-status-quotes,.formal-clauses>section>div{grid-template-columns:minmax(0,1fr);gap:8px}.formal-status>summary{font-size:11px}.formal-status .math-text{font-size:15px}}.node-source-actions{display:flex;align-items:baseline;gap:7px;white-space:nowrap;align-self:start;color:var(--ink-2);font:11px/1.6 var(--sans)}.node-source-actions .zoom-locator{position:static;margin:0}.comparison-heading{display:flex;align-items:baseline;justify-content:space-between;gap:16px}.comparison-heading h2{margin-top:0}.context-tabs{display:flex;gap:18px;border-bottom:1px solid var(--line);padding:0 0 8px;margin-bottom:15px;position:sticky;top:-24px;background:var(--surface);z-index:2}.context-tabs button{font:12px/1.6 var(--sans);color:var(--ink-2);padding:0}.context-tabs button[aria-selected=true]{color:var(--accent);text-decoration:underline;text-underline-offset:5px}.source-declaration{overflow-wrap:anywhere}.source-declaration code{font:13px/1.6 var(--mono)}.declaration-choice{display:block;font:11px/1.6 var(--sans);color:var(--ink-2);margin-bottom:14px}.declaration-choice select{display:block;width:100%;max-width:100%;font:11px/1.6 var(--mono);padding:6px;margin-top:4px;background:var(--surface);border:1px solid var(--line);color:var(--ink)}.lean-condition-map{margin:18px 0}.lean-condition-map h3{font:500 13px/1.6 var(--sans);margin:0 0 8px}.lean-condition-map>div{display:grid;grid-template-columns:85px minmax(0,1fr);gap:10px;margin:8px 0;font:11px/1.65 var(--sans)}.lean-condition-map button{text-align:left}.lean-condition-map code{overflow-wrap:anywhere}.condition-extra{display:block;margin-top:5px;font:10px var(--sans)}.lean-identifier-link{display:inline;border:0;border-bottom:1px dotted currentColor;background:transparent;padding:0;margin:0;color:inherit;font:inherit;line-height:inherit;white-space:inherit;cursor:pointer;vertical-align:baseline}.lean-identifier-link:hover{background:#f4e6e2}.term-lean{font:11px/1.65 var(--sans);border-top:1px solid var(--line);padding-top:10px;margin:12px 0}.term-lean>span{color:var(--ink-2)}.term-lean>div{margin:7px 0}.term-lean button{text-align:left;overflow-wrap:anywhere;font:inherit}.term-lean p{font:11px/1.6 var(--sans);color:var(--ink-2);margin:4px 0}.condition-target{outline:2px solid #8a2b1f55;outline-offset:4px;scroll-margin-top:130px}.condition-target.katex{background:#f7eee9}.inline-formal-note .comparison-link{margin:0;display:inline;font:11px/1.6 var(--sans)}.embedded-companion{scroll-margin-top:45px;margin-top:20px}.lean-variable-map>summary{font:12px/1.6 var(--sans);cursor:pointer}.semantic-title{margin-bottom:12px}.formal-status{margin-top:8px}@media(max-width:720px){.zoom-row .node-source-actions{grid-column:2;justify-self:end;flex-wrap:wrap;font-size:10px;margin-top:6px}.context-tabs{top:-20px}.lean-condition-map>div{grid-template-columns:70px minmax(0,1fr)}.formal-status>summary{font-size:11px}}