@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/newsreader-vietnamese-400-normal.DdKr49mV.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/newsreader-vietnamese-400-normal.BekUZro8.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/newsreader-latin-ext-400-normal.svq1FPys.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/newsreader-latin-ext-400-normal.DYA1XoQK.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/newsreader-latin-400-normal.BFBkh4jY.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/newsreader-latin-400-normal.gRTjlS2D.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/newsreader-vietnamese-500-normal.CL6a8tp2.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/newsreader-vietnamese-500-normal.BEAbKU8A.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/newsreader-latin-ext-500-normal.BNHmvKvI.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/newsreader-latin-ext-500-normal.CZruMFou.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Newsreader;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/newsreader-latin-500-normal.B66TYsaK.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/newsreader-latin-500-normal.DFwuUcdu.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Newsreader;font-style:italic;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/newsreader-vietnamese-400-italic.bZegYFuM.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/newsreader-vietnamese-400-italic.QbB8kb5s.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Newsreader;font-style:italic;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/newsreader-latin-ext-400-italic.BMTE_bNQ.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/newsreader-latin-ext-400-italic.qdgKLcPG.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Newsreader;font-style:italic;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/newsreader-latin-400-italic.CEihAR-f.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/newsreader-latin-400-italic.CNZoH1hn.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/inter-cyrillic-ext-400-normal.BQZuk6qB.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-cyrillic-ext-400-normal.DQukG94-.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/inter-cyrillic-400-normal.obahsSVq.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-cyrillic-400-normal.HOLc17fK.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/inter-greek-ext-400-normal.DGGRlc-M.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-greek-ext-400-normal.KugGGMne.woff)format("woff");unicode-range:U+1F??}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/inter-greek-400-normal.B4URO6DV.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-greek-400-normal.q2sYcFCs.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/inter-vietnamese-400-normal.DMkecbls.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-vietnamese-400-normal.Bbgyi5SW.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/inter-latin-ext-400-normal.C1nco2VV.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-latin-ext-400-normal.77YHD8bZ.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/inter-latin-400-normal.C38fXH4l.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-latin-400-normal.CyCys3Eg.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/inter-cyrillic-ext-500-normal.B0yAr1jD.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-cyrillic-ext-500-normal.BmqWE9Dz.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/inter-cyrillic-500-normal.BasfLYem.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-cyrillic-500-normal.CxZf_p3X.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/inter-greek-ext-500-normal.C4iEst2y.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-greek-ext-500-normal.2j5mBUwD.woff)format("woff");unicode-range:U+1F??}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/inter-greek-500-normal.BIZE56-Y.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-greek-500-normal.Xzm54t5V.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/inter-vietnamese-500-normal.DOriooB6.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-vietnamese-500-normal.mJboJaSs.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/inter-latin-ext-500-normal.CV4jyFjo.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-latin-ext-500-normal.BxGbmqWO.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/inter-latin-500-normal.Cerq10X2.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-latin-500-normal.BL9OpVg8.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/Lean-QuantumAlg/_astro/inter-cyrillic-ext-600-normal.Dfes3d0z.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-cyrillic-ext-600-normal.Bcila6Z-.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/Lean-QuantumAlg/_astro/inter-cyrillic-600-normal.CWCymEST.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-cyrillic-600-normal.4D_pXhcN.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/Lean-QuantumAlg/_astro/inter-greek-ext-600-normal.DRtmH8MT.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-greek-ext-600-normal.B8X0CLgF.woff)format("woff");unicode-range:U+1F??}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/Lean-QuantumAlg/_astro/inter-greek-600-normal.plRanbMR.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-greek-600-normal.BZpKdvQh.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/Lean-QuantumAlg/_astro/inter-vietnamese-600-normal.Cc8MFFhd.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-vietnamese-600-normal.BuLX-rYi.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/Lean-QuantumAlg/_astro/inter-latin-ext-600-normal.D2bJ5OIk.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-latin-ext-600-normal.CIVaiw4L.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:600;src:url(/Lean-QuantumAlg/_astro/inter-latin-600-normal.LgqL8muc.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/inter-latin-600-normal.CiBQ2DWP.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family: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+460-52F,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(/Lean-QuantumAlg/_astro/jetbrains-mono-cyrillic-400-normal.BEIGL1Tu.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/jetbrains-mono-cyrillic-400-normal.ugxPyKxw.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/jetbrains-mono-greek-400-normal.C190GLew.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/jetbrains-mono-greek-400-normal.B9oWc5Lo.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@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(/Lean-QuantumAlg/_astro/jetbrains-mono-vietnamese-400-normal.CqNFfHCs.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/jetbrains-mono-latin-ext-400-normal.Bc8Ftmh3.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/jetbrains-mono-latin-ext-400-normal.fXTG6kC5.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/Lean-QuantumAlg/_astro/jetbrains-mono-latin-400-normal.V6pRDFza.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/jetbrains-mono-latin-400-normal.6-qcROiO.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:500;src:url(data:font/woff2;base64,d09GMgABAAAAAASUABAAAAAACRAAAAQ3AAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhwbHhwoBmA/U1RBVEwAdBEICoRkg3oLIAABNgIkAzoEIAWFHgeBFAwHG3AHKB4HzukrRjyF5Gb4kQ/B873d17mv8TWkoqUUGaHodJCtoqntw7m8tiPWyGkfWDU/IMpzVk4zAs9Czv3c7Os5NvKFG1Ht9vBVXySRZpJc4tTrbM3sTRFcLa3zVboKWRIoAksKSKgqUQWEwlSoqjp44V5J9/kjd0+Fi5xaFjwJArgBAIJgIAgCCAI4CdNMqGuYXYUKdADLAkAAJwl6iX0+bZqEm1AH0Hu9rvrJHwxQG1Q/gFYwWYbgTRWgwEESVzbmtjQAt3DXO7Tu/+9Q/KNKWhTCgZ8fQSWoL0CUUgTBjgL8iEAcce7YHBeA8ZvogieCnxI0BCVeACCAAhBD/oDcAdUPABSgAX4kBPBTwjCAjwYSCneiqF65LUo/qXdYFrRwTujtMrKm07plTbSqLQFAiHBN7E4DG5wkiGXhCYBNETh3K/AciHN69iFfQjFOr9EXQQAAQXRNszs8PR0OH4fDV/dwGe76CHdj1MQa11DXYGcfZ6+B1X0OfwjY+i7KpQ1w9d+1z3/HydCB1f3U8A0fRFv+0bXxPWrZu3d9Nn4UcbLs/QCXLH/j3PCKblKOiZxLOR78W9brPo7eGTLz/F27ZPmePQdCB1YP4nJU91o4gU9cy64L3c3SPu8GfDn6ZXD2cGmllVqSxtD5vCXHm5xaeHlnpffx7DcPvXog5NnjA//cPz2btsz3yf+0MI8ri33tuv7upNbYmW5STbosW8bYItV/SPzxvXC0KnpWnFdC91oojit5Lyo6WcJQ1YzwBYbi52ohJVpcxfcHBqsv0nFz8U74rzS6M7r0RVlXZ3jJC4G92O//7Lm78VOtnUx+aQxAzsqPnrRr1t9zDrezKePvZ027x+fGte4s4NXu7/jEp3G9cM1bICYgACbuETUUD5wmenGXA/IBpAKVrl0AEJ5cqr6Q89tGq+SpqkDfX2DtG+pZ9teuae0AX98c301CX179InyErnSG8WCiABB4HFbVrw/lpTdBIOk82nXbpHKoQGyBpUovAAD4XQA8ZTUCeBJHIpI0v0FRrgcnckV3ANckrwYJKXEihQfdSKPER6XeExmEeEMmSe6QBwWmkZdmSOSthhibgIkBlUYreBKd/0NeVAE9WAyEaQpH6KikDWlUVg43Jy2FOmaYlsZhDEGZXO3mWEyWHI6zuaJkMlcSQ9k4F+KidIiFyZItGDc7r1pUj6wP6zrWB0/fbeeFeHl4YOvETMNiM8Ny+7OO6Qh2wur20YVxFts5dlORdl5Kwd5utR7SRcxqX8RA5Ehacha76hg7c6yzNm/Xf6vOLNrv544lIEkWg7xWo/ItBAeIJEmt0XgBwgM8gTifoiiLJroYYooNTeziEKe4zOoR/wvIKp89hSr+6jFAqw/LaonjmZHSscMNg4iPlWpFrO1RN3zkMU+/xUP+JQ99TbvTl1Vg0gtirT6lbwYAAAA=)format("woff2"),url(data:font/woff;base64,d09GRgABAAAAAAbQAA8AAAAACMAAAQABAAAAAAAAAAAAAAAAAAAAAAAAAABHREVGAAABWAAAABgAAAAcABQABEdQT1MAAAFwAAAAHgAAAB5EdEx1R1NVQgAAAZAAAAAnAAAAKLj8uOpPUy8yAAABuAAAAFEAAABgF2hca1NUQVQAAAIMAAAAPQAAAEzpM8woY21hcAAAAkwAAABRAAAAdAyHCodnYXNwAAACoAAAAAgAAAAIAAAAEGdseWYAAAKoAAAB8AAAAl604cJFaGVhZAAABJgAAAA2AAAANhSS8UNoaGVhAAAE0AAAAB8AAAAkAcwBEGhtdHgAAATwAAAAHwAAADoe/QLmbG9jYQAABRAAAAAgAAAAIATcBZ9tYXhwAAAFMAAAABwAAAAgAIcCb25hbWUAAAVMAAABEwAAAmo0OV08cG9zdAAABmAAAABwAAAAlNdzMTB42mNgZGBg4GGAAEYgZAWTjCAeAAG0ABkAAQAAAAoAHAAcAAFERkxUAAgABAAAAAD//wAAAAAAAHjaY2BkYGDgYlADQiYXN58QBqGcxJI8Bj4GEGABEf//g0gAWkkFVQB42mNgYYpi/MLAysDA1MUUwcDA4A2hGeMYjBgdgKIMDJwMUMDEzoAEvJyAxAEGXpaXzH/+XWFgYP7DqKPAwDj//nWgSjWmW0BZBQZWADbPDjoAAAB42gXBsQ1AABQFwHsfiY5CYQBDaVVIlBL7mckA7kT0CpPCop79uIPz3q4MojUrSJePvNSKRlRGEH74hwYNAAAAeNpVyEcBwkAQBdCXHnoVgJU44Y4pFIAFUAOJiS23ZOZ3lKhwVSlkr91xdlQp7dwMnr5FWb/rMQQW26v+h3xT+IRHGEIBCvNr9Wh0OUU7NxUUAAAAAAEAAf//AA942mzQNZTUQAAG4H9mIDlbySoOt5I9HHZiL+vS4VDh7u40OFRo3+FQ464V7tbiUmHdJczicsm4fe/9YBgDEIc+BYOEeoArzUqyWSGkeQzZ6+wmfZwLot6nT1vVNM04oBlQ9AZoX3FHhh/gQR6Mp+JykKdUNSVJcu9T20/N73OrT3F/2qMw5vfWLp88SQL3rFE+3ygTrvv9BXaMqiCAkD3d2lr1ipagK4QqNDHjCuPBSCRqGGaQM+XLk0XrPX5GlaY1i54QD7nhvO/c3+Pp35mEHO58dN2fd6mEdgAYRrhfqEyfi7ei6AG0j6m6ohk8HQkrIUlKpQ1dj4dDEcZ1TY3HpDDpM3PZspkzl+lTqlbmZUYUy8o0LJtKSlOXLp3qnC9N1ieU7FWr7BIZPssuFm1hpt3BVBW/yPMPcwAUdEL8m6nqumbU1Eg4/Ceb+s2WpxrG1HKtnVKxcm9zolhWrkGbVN5RmqQJdGdpkj6ukGluzhTed7ULBRvkp4wAENVFUt1oNGrmaS2r8JcrCxfJjXWUUCo3yvMXXDlyhKrO3mhLj/qGhvoeLREyvvXpEYDgGutFDrFjYEDQ5PK1OcsWs15bt4JgM0uQe2LHAxCRHA9FeNoQnUS+Tsc7JkRXVV03JIZZJcBJRUdHxSmAAQCFZYU3AAEAAAACNgQJCtdkXw889QADA+gAAAAA29KmmgAAAADb2tDy+Tv+1ASSA/wAAAAGAAIAAAAAAAB42mNgZGBg/vPvCgMDy4af1n9rWSYBRVABHwCudAbaAHjaY4pgiAJibSQsC8WBQGyERDNAMQicZmgFAOeFB/4AAAAAGgA7AEYAUQBvAHcAqQCxAOYBCQEJAQkBCQEWAS942mNgZGBg4GfcwZDHsIWBDcxDAGYGJgAtGgH4eNqM0IFGQ2EUB/DfqqJMBZLAFUh0V0MoUBGllKQArHVtN9vu3HuH3iEAPUJP0cP0BD1D3D6zKQqHH9/5n885qHs1qza3iPfaenDNts/gGcs+gmcdeAuem+iZt+EleMGWx+Bl++Jv16jbDJ5Xtxa8om4peNUSbmT6WgbOlFp6Um2XEo9SI333EqmOrrKq0lDhQENDoS2XGioVYoVUTyyT62i4curCuUTpWK4lNVC4lBnI7Ez9dCeRK6TVa6Qp1rRnb0KHzh07/PfMG4mOkZ6W/JdUNM5FU7kTmaFn+Xj3SNNuVZFbXYnoj3nXcpkniXaVPzKqbpjJq86tH/fsSKuOkQextkzf1/Sx2KKPx/+aADN1XKsAeNpjYGIAg/+pDEZAipEBHfADsQrDSUYmBhtGZkYWRlZGNkZ2BmZGDkZORi5GbjbHpKLUslT20rxMAxNHVwjtagHlu0H5lqzpibm5iWCegaMBk3MQX2JyaUlqcn5ukl5yYnEqD0jG2MAMzAEAoO0cmA==)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/jetbrains-mono-cyrillic-500-normal.DmUKJPL_.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/jetbrains-mono-cyrillic-500-normal.DJqRU3vO.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/jetbrains-mono-greek-500-normal.JpySY46c.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/jetbrains-mono-greek-500-normal.D7SFKleX.woff)format("woff");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:500;src:url(data:font/woff2;base64,d09GMgABAAAAAA/IABAAAAAALMwAAA9mAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGnAbhXAcghYGYD9TVEFUTACDBBEICrA8p1ILgjgAATYCJAOEKAQgBYUeB4xODAcbFCYzA/aDkxp0RMXmTMH/IcEUkaXZhe7qAVQoRhtRmOhkzaUYXs3lyzTUlwptwwNGy28PLP/oZewn39g4Jjp8YusISWZ9eNpW788MNQMI7jZprgsqRiJ7imCBYlEWIBhgoWjj7uJGcddednnRIQ/fX77n7i8NtLf08UwEQl3jq59XJCShypU4lMyz3Hb3X0omkAkZCYVNhfN/c3Pmf1nJcDqnj2VE35fYAx+8WYIJhZj4znn1Qbjp9+f4Pab0wOi7JSECzG0o6DRWu/MBgfu/NdPu5O8cUssKSJ1wUyTjq6oWZic7nUsKuIEySsIkzXvdKzArVNkCwvP1lQCgK4yu0BVWFp6vrWVm/6Nt7H82JGhxDyAteCbHZLRdzTsxJqNEUxb+txHysoxjwQzz2p8tU5uFtC4RmcGouCRX3v1195cCAYgBAECRIWSIVNsQCiqEhh6RpxRRzogwaUTYdSCc3AivAcSQCcSkacSCBbQlcbQ9DqAddgyNAFiZilAX9c1OSB/6ZyYgxQCwDgGQoVQGIYAIRvVlRAiR7Ax+jsqKIDacjVExNGWA/MQLk8VzJshTmOztrVbySNyHVnaAiUVpcgdvmnh9FNeAYYXkMl4AqisEoDtIZK0zs6lsSM8yAboEhZ5CFVqD23kNfor49QgAGWwFBeRAIZRCLdigBbqPFSIF+ABeQAfotUU0g+rL1gCMOnSNn4S0PWEL5Nw2QBqyIVvBT2Fe9wCSYDa3QH3Vt4cSaWSAug+NT0JKDgAKQOMLa96EFIKf/gOUWDQiE3EFgAB4aACxikhFAAwKZZ8DgHeiRQixRghm5n4HrCOOSrQAtqJU3LzpFAr/6TAHnDo8QQgszNHZ77FXwgom85JfwQOqMC8Ae/gYkSsURQ1AgQgAQAutAAoAALCdA3gIkv619L//vwb0H8nVgjz+bwLUlFoDaPGQkfqBjQcpc4R8ODxDAPwurhVJMbRRa7ksFTJAUJERK+RXgDxDi8az0D39NBJmMjGZP5MWgyH5+mYXeZg0kZOdJEIu5k1OaIYW0Rnqv/S2DtQxKCIjOSRMLuKNDjpwIXDRE0Y407zODF3/W/ovnvbiAz6YIOC0nZKaVrpMADK9/g8sQDORaaLiVmpCNj+DsAUJUg1SNBKpxbESqyNRj2XB2IWvmkANITOe42zRZqt223RIZbdRi00cNmu1QTMlFwWnTH2y+Gh4pemWrkeGXlpddgjYKUgnRG9Ajn55huQbViCiyKhiY0qMKzSiwpRykyrFGE0jSCIFAJwLADkD0AtMDvBegHkHug0AoFGJVK2qhCXG61AIrWWr8aYYT2zhWkVVD6EX62dQyHJqVGLicdAyTQtFjJgVi1Olw0wdI6eouC1SZjvL3umikG5h3BSHrTOMQKpkUgQu/aGoVC5VKLOjXKBIrWSy2FqmlB+dTKAUcDwJE5TwBkbFnJ/rY92ss4dzXxKbV1/T9hAJvBUu+bwOaq/XWDeXTEKvBMv+HYDYtSMXHI8lErBlDv1FvCF2yDfJcie3f1oWe+wCtb9HCZdshHBIfLC9FrNf60J4HGMKYkfC5TJ+lSNHd3NdZ5dNZ96o6OG8lOvpt5IcR3r2z61suaFBNQmrT0wrCXkvwKkNWenURddyk4+u1FuSiQRtRvQxxhEfxFo411PBvfbTQ1aCPSbA0yIczRIJRXEEQyYS4ocX/of1WiiyaY7SI3Z54u6pUe8m+30ZXB4f13V23XbupYoeLhwa5QqcRIKRdhwtDjdHX7sj8SSWqhgd2s25/B7OuTu4WLdz9FgQLtG55HhMlbFN/J5rrmGPXQWwZOVVLnn31VevgnPrfKt+IsHWeS5ZYVnCJZ9HIqem3z+aeAsjx92cK+7hnPGyVcarN47i9QctdADS864Xl+f2cM6E6W7jwyDLmWTlDNfAWRtN3eLupy1VuUoXA0Y9nDMwDm0aWWy8vkY6yniPTKmax1mFMSPTY+OyNo5gvPrMaWh+d6Yocqzobrh2BM+xO665gj12WQPSixm3X325OHNpey4+FiI+ViG4n+0mtkeDT6J77bK1vsLcqur1aMyF/u63T4xFx/V3vXhzq+VXFL7ypKwjPz+l4w2I7O1b21+wrz3XGCkzhqwKi3EwUtbo7w+YrLVVCuM8U1MAvrXrA5YXtX7tt5YAgoHTtp8WWF0eGHqRNVhUEjBba0v8h+bWaAV+c525JPC7Y/GXH19hrUyWl51baa04D0cn7Sp5qsze1VrwV7OyZHfSiyJTsZB0TFoerSjfW97MUD0Yt59oL3Kd4SNndY35u+St5yYTG575P1cpvWf3hskypgS/yB30tjjC3t6zi/Om4l/vjtYRYdOcpyc4FXQtRAZTN5h66vUdRpsxv/FMnSRHdzIYUWcg6vcHAtFOq8NmDm+l9r49tjYS2RI2O2zqvuITK5wVJxaXLhudxmXyUWt/K/Qiy0BJqb/mZHOpb6DEYg2VlPrMQWf+rheNhpOjo1zdfIfKkm6qMhsrTeZd234B2oMPB68Kyh+7OQi90BoqLvWbT6wt9YWKrdEKfLUnmkv9J2fxld9XeaLx3vKyZ40nVj6HfU/YdfKw79i9rQU1lSWHXuzBSScKzcZC3WPdlRcUl9xQeTh2aC6G9md6xnorxgsKd1f0dvkr/e7KQtNT/YHYFK691fHqc7z5WGnoTXPhm6HR0mnubTCFnYEJf7bfP+G0Ouw1k4QvuOw/rPsO97uflSxXKCuWS0rjlcrKePHlrYZWnH9AY9VoL03tATMa+kB/IGO1LLqakbF6sqvQHJhOLowm8cyBSHJmMonogaPJATpOOOweE/o99p7WWmfms1k7ns101lZHxtRBTefZMzIJkSsaNIZ6PReT/ohVl1uGg2e7ml3474DkI8kGTVtDZOe2TO2ONujXMk7TagqPrtGehm2f5GksNUqWOMsAC1JpXVMB8a265dwCWrecb+qjmcuF3pKhX/qEodrl80v5RPPuq9xGdUu9x3B2pnqrdvnB6Pe2BBpN7ap0nS5d1W7yN56QiB0YXTzQIWMqsVit2E1IJJ65TsI+KzVZbHmN6dJzkiro99t7Gqscyl/8nbTSUVWdjOByTedCSCZdr0kNW3MHcrWWxWmp1cp+yE6c98d0jC0lz4gdGXjRaLO92ffUHysp8pF3giv+eOcGjvsbGa11hkiW+PB5hmPdht38S67pmA9my+IbNmXULvS3VG07Lq136q4xnKz01oPhuZGJueMWrK31JofKklae1qlqKba7vg5yWnz3hzAuBOeGe+aQ8ur03gWhSNxQ3a/htqUcWzqxZsgptuwTcY3NaGzZLlTUKP8UW4zHk6oxHFFf9+F9MrFUwq/n52j06vNeGlmS9eyJU7A8ejA8F5uYO2Oh2i5K+uDcaxPRubvf6vbTxu85m5WnWqo9WbdqJUcOf3tSoNvCbrn09HJ9io6MjZ4Xny5qb2puApUNggl8KLVU1ACQTpMomG2HoEriLLkaejrIM8gzIx90Is8iz8bnjGNjNLQADHJcM4VcEXqXkOUhG7nIA5BvNJ+N9MKmYbuN05Tq5ZrWhcjqhmQ1IzdINamW1V4WrBhk29RG6FoDqfIt9wjkbNfvcq4XYOw1PHUJmquCZ03r3q6PSYNswHBLUJbKWbcHWUaWQZUN89AnAsi+EPxQrrIlEJnJIlUJM7HMcyIb2WdiwCYYhdkKuBjZ5gUYSBu2TYSNZEBQZ/dsLMogZAlqcMnlTpcszNOWC7LHy0oMpAd7JmhjAL8NbmRdayAVvDU+WxL5XR70AowhbINbkc7/KgLwLmPqTfwNBEUHCMBxmUhdQj6WUlkZlKnxu6pO1d9/v//3Q7rw+///2fMjAAB6oDb0HaH0b6GUJU8Y0eR64ojqUqm14Od8duRDHPKhFfZpiGupUNnzetjxdgRbK/5+l4IJ5JeSir8t3R+1IaFaa9AZitANXTvqUxavQ2TYeNmrYwP4det2tGuWgFpDejL9euYAfQfK28gGGIvbgQRcpXesotZIABUK/LoCMgX5tBzoUFiWbADfCNfMu98PsCghbdyeq6jgel07qoCDJjjsyIFY7MAODSYL1alQ9phCIRt3Ri4tbQVgE5dpkfhjGAkZMAWRYzPLNioh68Amvwwd4zGzodCRGaTlUjZqVdaBTSBDfJ6vWzoqG6lZhQKbFK6EAKgz5unB00f9KabfIE1/CcA764pzcPbvSz+DTdl+/xcAHwUACHwM3JK6lBL+d88HxAVfFHh3m1b6a8TWqK9qwVrRVjPaq6WqFSbUXqOOqrXXCkfN6KhWPgnndsCsD3CdZzHpoEPOX6wjz67FHso9aAqWW+ynpyeAc+VhtGMQgKDhk7pBGKUsAnBflEhlCV2wnFLxv2VpRo+QTFme7a4qy5cjUVaqjK2sjFJ+GTmx9FYE4M2hvDRKwSyXLSegQ9S4fhOazOT8YyJCPAaHHhY2o8XyD4iYNc7mNKNWTL+ICdO0Go+aiFqsGZM3ZyMDg2khMRGTZqrMfNN8LD/nqJhhBq3qNXN2r8LzGkBuHpMgYmkV2dpFChUKu08Vm1pVR9TBh+FjevSxMYZr7aNbRE1aFJsrvS1RcG1pOS9ocBJ8rTYx4yMuQj6W2WwW4VnSDJFz5tU/LKK0ZgWXCD2/qRmKRWuYh+47US6adX1FAOIfwbmATE+T2t4wLVab3eF0uT1eXz6MQKLQGCyuGE8gVpLIFCqNzmCy2Bwur54vEIrEEqlM3qxQqtTdSrU6vcFoMlusNjsz0q+WhVWdeg0aNfUmG7vmOrRwaNWmXYdOTi5uHl5deXXr0auPj19Av2C9QgYMGor2C4sYMWrMuAlRk6bETJsxa868BYuWxC3bbY+9EjhBUjTDcrwgSih88/y+eq/C13kHnXKhbTUDgISUCgNDoABXKLCL+2X27E/c2jAAQEKsFigx1qgLEbSeu+NyhcJGIECQNm9L567c3l7uZ5Wo3pkx4tYOhJANKw9dEonovRqVDb5dMKz515Ng+hci23hm4UQEs8eChwPB0BZYOBINbH3Erw0HECzUaokWa42eyGD3PIBIMBSOrfryBQ3G4oHQKi+/kEA0tuaDV40GP3h0+wuAAgXTKy0v5428xUDwksfm538juY9ni9fz2Ggy4iWLMz4qLklle7kcZvOLwy5bXp7fdYrRJlP4l5NDdZPiKVeLnJV7Ohg2VAs/aQwZNVtodX2jki6RU1e/j6GkgZbgAmmogZafuF4mZlb1t+COUyrcnF/CCZzS4MO/dX1T6QQAAAA=)format("woff2"),url(/Lean-QuantumAlg/_astro/jetbrains-mono-vietnamese-500-normal.DNRqzVM1.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/jetbrains-mono-latin-ext-500-normal.Cut-4mMH.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/jetbrains-mono-latin-ext-500-normal.ckzbgY84.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/Lean-QuantumAlg/_astro/jetbrains-mono-latin-500-normal.BWZEU5yA.woff2)format("woff2"),url(/Lean-QuantumAlg/_astro/jetbrains-mono-latin-500-normal.CJOVTJB7.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{color-scheme:light dark;--c-canvas:#faf8f3;--c-surface:#f3efe5;--c-surface-2:#f6f2ea;--c-card:#fffdf9;--c-card-hover:#fffefb;--c-ink:#1b1a16;--c-muted:#57534a;--c-subtle:#8a8376;--c-line:#e6dfd2;--c-line-strong:#cdc4b2;--c-accent:#4338ca;--c-accent-bright:#4f46e5;--c-accent-soft:#ececfb;--c-gold:#a8842a;--c-on-accent:#fff;--c-verified-border:#abc9b0;--c-verified-text:#46764f;--c-review-border:#d4bc72;--c-review-text:#80631d;--c-lean-realization-border:#d7b4b6;--c-lean-realization-text:#955155;--scrim:#28241c57;--font-display:"Newsreader", Georgia, "Times New Roman", serif;--font-body:"Inter", system-ui, -apple-system, "Helvetica Neue", Arial, sans-serif;--font-mono:"JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--shell-max:1180px}:root[data-theme=dark]{--c-canvas:#1b1a17;--c-surface:#232120;--c-surface-2:#26231f;--c-card:#221f1c;--c-card-hover:#272320;--c-ink:#f3efe6;--c-muted:#bcb5a7;--c-subtle:#908979;--c-line:#beb29a29;--c-line-strong:#beb29a52;--c-accent:#a5b4fc;--c-accent-bright:#c7d2fe;--c-accent-soft:#6366f129;--c-gold:#d8b667;--c-on-accent:#1b1a17;--c-verified-border:#99c19f6b;--c-verified-text:#b8d7bb;--c-review-border:#d8b66780;--c-review-text:#e2c578;--c-lean-realization-border:#cf8e9166;--c-lean-realization-text:#e6b3b5;--scrim:#08070599}*{box-sizing:border-box}[hidden]{display:none!important}html,body{margin:0;padding:0}html{background:var(--c-canvas);color:var(--c-ink);font-family:var(--font-body);-webkit-text-size-adjust:100%;line-height:1.6}body{background:var(--c-canvas);min-height:100vh;color:var(--c-ink);-webkit-font-smoothing:antialiased;position:relative}img,svg{max-width:100%;display:block}a{color:inherit}button{font:inherit;color:inherit;cursor:pointer;background:0 0;border:none}input{font:inherit}html.drawer-active,html.drawer-active body{overflow:hidden}.bg-decoration{z-index:0;pointer-events:none;position:fixed;inset:0;overflow:hidden}.paper-layer{background-image:linear-gradient(#78643c0d 1px,#0000 1px),linear-gradient(90deg,#78643c0d 1px,#0000 1px);background-size:28px 28px;position:absolute;inset:0;mask-image:linear-gradient(#000 0%,#0000 60%)}:root[data-theme=dark] .paper-layer{background-image:linear-gradient(#c8b4820d 1px,#0000 1px),linear-gradient(90deg,#c8b4820d 1px,#0000 1px)}.ambient-wash{opacity:.18;mix-blend-mode:multiply;filter:saturate(.92);background-image:url(/Lean-QuantumAlg/decor/ambient-wash.png);background-position:top;background-size:cover;position:absolute;inset:0}:root[data-theme=dark] .ambient-wash{opacity:.08;mix-blend-mode:soft-light;filter:saturate(.72)brightness(.82)}.hand-notes,.hand-notes-linework{background-position:top;background-size:cover;position:absolute;inset:0}.hand-notes{opacity:.2;mix-blend-mode:multiply;filter:saturate(.9)contrast(1.02);background-image:url(/Lean-QuantumAlg/decor/hand-notes-wash.png)}:root[data-theme=dark] .hand-notes{opacity:.11;mix-blend-mode:soft-light;filter:saturate(.7)brightness(.84)contrast(1.02)}.hand-notes-linework{opacity:.42;mix-blend-mode:multiply;filter:saturate(.84)contrast(1.08);background-image:url(/Lean-QuantumAlg/decor/hand-notes-linework.png)}:root[data-theme=dark] .hand-notes-linework{opacity:.32;mix-blend-mode:screen;filter:invert()sepia(.08)saturate(.55)brightness(.74)contrast(.92)}.deco{position:absolute}.deco-circuit{opacity:.18;width:392px;top:235px;right:64px}.deco-circuit .wire{stroke:var(--c-gold);stroke-width:1.2px;fill:none}.deco-circuit .gate{fill:var(--c-canvas);stroke:var(--c-gold);stroke-width:1.4px}.deco-circuit .gate-label{fill:var(--c-accent);font:600 13px var(--font-mono);text-anchor:middle}.deco-circuit .ctrl{fill:var(--c-gold)}.deco-circuit .target{fill:none;stroke:var(--c-gold);stroke-width:1.4px}.deco-bloch{opacity:.13;width:270px;position:absolute;bottom:7%;left:28px}.deco-bloch .bloch-sphere{fill:none;stroke:var(--c-gold);stroke-width:1px}.deco-bloch .bloch-ring{fill:none;stroke:var(--c-gold);stroke-width:.8px;opacity:.6}.deco-bloch .bloch-axis{stroke:var(--c-line-strong);stroke-width:.8px;stroke-dasharray:3 4}.deco-bloch .bloch-vector{stroke:var(--c-accent);stroke-width:1.6px}.deco .bloch-tip{fill:var(--c-accent)}:root[data-theme=dark] .deco-circuit{opacity:.26}:root[data-theme=dark] .deco-bloch{opacity:.17}.page-shell{z-index:1;max-width:var(--shell-max);margin:0 auto;padding:0 44px 96px;position:relative}.intro{padding:78px 0 38px;position:relative}.intro:after{content:none}.intro-copy{max-width:1080px}.intro h1{letter-spacing:0;color:var(--c-ink);gap:10px;margin:0;font-weight:400;display:grid}.title-line-1{font-family:var(--font-body);letter-spacing:.2em;text-transform:uppercase;color:var(--c-muted);padding-left:.18em;font-size:clamp(.84rem,1vw,.95rem);font-weight:500;line-height:1.25}.intro h1 .title-line-2{width:max-content;max-width:100%;font-family:var(--font-display);color:var(--c-accent);font-size:clamp(3.55rem,6.25vw,5.95rem);font-style:normal;line-height:.96;display:block}.intro p{max-width:max-content;font-family:var(--font-display);color:var(--c-muted);margin:22px 0 0;font-size:clamp(1.45rem,2.05vw,1.85rem);font-style:normal;line-height:1.42}.subtitle-line{display:block}.catalog-main{padding:34px 0 0}.catalog-heading{margin-bottom:22px}.catalog-heading h2{font-family:var(--font-display);color:var(--c-ink);margin:0;font-size:26px;font-weight:500}.catalog-search{gap:26px;display:grid}.search-panel{background:var(--c-card);border:1px solid var(--c-line-strong);border-top:3px solid var(--c-gold);gap:20px;padding:26px 28px;display:grid}.search-field{background:var(--c-surface);border:1px solid var(--c-line-strong);border-radius:3px;align-items:center;gap:12px;padding:0 16px;display:flex}.search-field:focus-within{border-color:var(--c-accent);box-shadow:0 0 0 3px var(--c-accent-soft)}.search-icon{border:1.6px solid var(--c-subtle);border-radius:50%;flex:none;width:16px;height:16px;position:relative}.search-icon:after{content:"";background:var(--c-subtle);width:7px;height:1.6px;position:absolute;bottom:0;right:-4px;transform:rotate(45deg)}.search-field input{color:var(--c-ink);background:0 0;border:none;outline:none;flex:1;padding:14px 0;font-size:15px}.search-field input::placeholder{color:var(--c-subtle)}.filter-summary-row{justify-content:space-between;align-items:center;gap:24px;display:flex}.filter-toggle{color:var(--c-ink);align-items:center;gap:9px;font-size:14px;font-weight:500;display:inline-flex}.filter-toggle:hover{color:var(--c-accent)}.filter-toggle:focus-visible{outline:2px solid var(--c-accent);outline-offset:4px}.filter-toggle-icon{width:14px;height:14px;position:relative}.filter-toggle-icon:before,.filter-toggle-icon:after{content:"";border-bottom:1.5px solid;border-right:1.5px solid;width:7px;height:7px;transition:transform .16s;position:absolute;left:2px;transform:rotate(45deg)}.filter-toggle-icon:before{top:0}.filter-toggle-icon:after{top:7px}.filter-toggle[aria-expanded=true] .filter-toggle-icon:before,.filter-toggle[aria-expanded=true] .filter-toggle-icon:after{transform:rotate(225deg)}.search-summary{align-items:center;gap:16px;margin-left:auto;display:flex}.search-status{color:var(--c-muted);font-variant-numeric:tabular-nums;margin:0;font-size:14px}.clear-filters{color:var(--c-ink);border:1px solid var(--c-line-strong);border-radius:3px;padding:7px 12px;font-size:13px;transition:border-color .14s,color .14s}.clear-filters:hover{border-color:var(--c-accent);color:var(--c-accent)}.filter-drawer{opacity:0;max-height:0;transition:max-height .22s,opacity .22s;overflow:hidden}.filter-drawer.is-open{opacity:1;max-height:1200px}.filter-grid{gap:20px;padding-top:4px;display:grid}.filter-group h3{font-family:var(--font-display);color:var(--c-ink);margin:0 0 12px;font-size:16px;font-weight:500}.chip-row{flex-wrap:wrap;align-items:center;gap:9px;display:flex}.filter-chip{border:1px solid var(--c-line-strong);background:var(--c-surface);color:var(--c-ink);border-radius:3px;align-items:center;gap:8px;padding:7px 12px;font-size:13px;transition:border-color .14s,background .14s,color .14s,transform .12s;display:inline-flex}.filter-chip span[aria-hidden=true]{color:var(--c-subtle);font-variant-numeric:tabular-nums;font-size:12px}.filter-chip:hover{border-color:var(--c-accent)}.filter-chip:active{transform:translateY(1px)}.filter-chip[aria-pressed=true]{background:var(--c-accent);border-color:var(--c-accent);color:var(--c-on-accent)}.filter-chip[aria-pressed=true] span[aria-hidden=true]{color:var(--c-on-accent)}.entry-list{gap:18px;margin:0;padding:0;list-style:none;display:grid}.entry-card{background:var(--c-card);border:1px solid var(--c-line);border-left:3px solid var(--c-gold);gap:13px;padding:26px 30px 24px;transition:opacity .42s,box-shadow .16s,transform .42s cubic-bezier(.18,.78,.22,1);display:grid;position:relative}.entry-card.is-scroll-reveal-pending{opacity:0;transform:translateY(22px)scale(.99)}.entry-card.is-scroll-revealed{opacity:1;transform:translateY(0)scale(1)}.entry-card:hover{transform:translateY(-2px);box-shadow:0 10px 30px #28241c1a}:root[data-theme=dark] .entry-card:hover{box-shadow:0 10px 30px #0006}.entry-eyebrow{color:var(--c-subtle);align-items:baseline;gap:8px;font-size:12px;display:flex}.entry-eyebrow .entry-topic{letter-spacing:.08em;text-transform:uppercase}.entry-eyebrow .entry-type:before{content:"· "}.entry-title-row,.detail-title-row{flex-wrap:wrap;align-items:center;gap:10px 14px;display:flex}.entry-title{font-family:var(--font-display);color:var(--c-ink);font-size:25px;font-weight:500;line-height:1.22;text-decoration:none}.entry-title:hover{color:var(--c-accent)}.review-badges{flex-wrap:wrap;align-self:center;align-items:center;gap:6px;display:inline-flex}.entry-title-row .review-badges{transform:translateY(-1px)}.detail-title-row .review-badges{transform:translateY(-2px)}.review-badge{border:1px solid var(--c-line-strong);color:var(--c-muted);letter-spacing:.075em;text-transform:uppercase;background:0 0;border-radius:3px;padding:6px 10px;font-size:12px;line-height:1}.detail-title-row .review-badge{letter-spacing:.065em;padding:11px 15px;font-size:15px}.review-badge-verified{border-color:var(--c-verified-border);color:var(--c-verified-text)}.review-badge-review{border-color:var(--c-review-border);color:var(--c-review-text)}.review-badge-lean-realization{border-color:var(--c-lean-realization-border);color:var(--c-lean-realization-text)}.entry-statement{color:var(--c-muted);margin:0;font-size:16px;line-height:1.75}.tags{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.tag-chip{color:var(--c-accent);background:var(--c-accent-soft);border:1px solid #0000;border-radius:3px;padding:4px 9px;font-size:12px;transition:border-color .14s}.tag-chip:hover{border-color:var(--c-accent)}.empty-results{color:var(--c-muted);border:1px solid var(--c-line);padding:26px 28px}.pagination-nav{flex-wrap:wrap;justify-content:center;align-items:center;gap:10px;margin:30px 0 0;display:flex}.pagination-pages{flex-wrap:wrap;justify-content:center;gap:7px;display:flex}.pagination-page{border:1px solid var(--c-line-strong);background:var(--c-card);min-width:38px;min-height:38px;color:var(--c-ink);border-radius:3px;font-size:13px;font-weight:500;transition:border-color .14s,color .14s,background .14s}.pagination-page:hover{border-color:var(--c-accent);color:var(--c-accent)}.pagination-page[aria-current=page]{background:var(--c-accent);border-color:var(--c-accent);color:var(--c-on-accent)}.pagination-ellipsis{min-width:22px;color:var(--c-subtle);justify-content:center;align-items:center;font-size:14px;display:inline-flex}.site-footer{border-top:1px solid var(--c-gold);color:var(--c-muted);grid-template-columns:max-content minmax(0,1fr) max-content max-content;align-items:center;gap:20px;margin-top:72px;padding-top:22px;font-size:14px;display:grid}.footer-brand{min-height:34px;font-family:var(--font-display);color:var(--c-ink);align-items:center;font-size:18px;font-weight:500;line-height:1;text-decoration:none;display:inline-flex}.footer-meta{min-height:34px;font-family:var(--font-display);white-space:nowrap;align-items:center;gap:0;margin:0;font-size:18px;line-height:1;display:flex}.footer-meta span{align-items:center;min-height:34px;display:inline-flex}.footer-meta span+span:before{content:"·";color:var(--c-subtle);margin:0 8px}.footer-github{min-height:34px;color:var(--c-muted);white-space:nowrap;justify-self:end;align-items:center;gap:8px;line-height:1;text-decoration:none;display:inline-flex}.footer-github:hover{color:var(--c-accent)}.theme-toggle{border:1px solid var(--c-line-strong);width:34px;height:34px;color:var(--c-ink);border-radius:50%;justify-content:center;align-items:center;transition:border-color .14s,transform .12s;display:inline-flex}.theme-toggle:hover{border-color:var(--c-accent)}.theme-toggle:active{transform:translateY(1px)}.theme-toggle-icon{background:currentColor;border-radius:50%;width:14px;height:14px;display:block;position:relative}.theme-toggle-icon:after{content:"";background:var(--c-canvas);border-radius:50%;width:14px;height:14px;position:absolute;top:-2px;right:-5px}.theme-toggle[aria-pressed=false] .theme-toggle-icon:after{display:none}.drawer-scrim{z-index:40;opacity:0;background:var(--scrim);transition:opacity .2s;position:fixed;inset:0}.drawer-scrim.is-open{opacity:1}.theorem-drawer{z-index:50;background:var(--c-canvas);border-left:1px solid var(--c-line-strong);opacity:0;flex-direction:column;width:min(max(81.818vw,980px),100vw - 96px);max-width:calc(100vw - 96px);transition:transform .24s,opacity .24s;display:flex;position:fixed;top:0;bottom:0;right:0;overflow:hidden;transform:translate(28px);box-shadow:-30px 0 90px #28241c38}:root[data-theme=dark] .theorem-drawer{box-shadow:-30px 0 90px #00000080}.theorem-drawer.is-open{opacity:1;transform:none}.drawer-topbar{border-bottom:1px solid var(--c-line);flex:none;justify-content:flex-end;align-items:center;min-height:64px;padding:14px 40px;display:flex}.drawer-close{border:1px solid var(--c-line-strong);width:36px;height:36px;color:var(--c-ink);border-radius:50%;justify-content:center;align-items:center;transition:border-color .14s,color .14s;display:inline-flex}.drawer-close:hover{border-color:var(--c-accent);color:var(--c-accent)}.drawer-scroll{flex:auto;padding:44px 60px 64px;overflow-y:auto}.standalone-detail{padding:56px 0 24px}.theorem-shell{max-width:var(--shell-max)}.theorem-detail{gap:30px;display:grid}.detail-hero{gap:14px;display:grid}.detail-kicker{letter-spacing:.1em;text-transform:uppercase;color:var(--c-gold);margin:0;font-size:12px}.theorem-detail h1{font-family:var(--font-display);color:var(--c-ink);margin:0;font-size:clamp(2.4rem,4vw,3.4rem);font-weight:400;line-height:1.1}.theorem-detail-compact h1{font-size:clamp(2.1rem,3.4vw,2.9rem)}.detail-card{gap:16px;display:grid}.detail-card h2{font-family:var(--font-display);letter-spacing:.12em;text-transform:uppercase;color:var(--c-subtle);border-bottom:1px solid var(--c-line);margin:0;padding-bottom:8px;font-size:14px;font-weight:500}.math-statement{background:var(--c-surface-2);border-left:3px solid var(--c-gold);color:var(--c-ink);padding:26px 30px;font-size:18px;line-height:1.85}.symbol-table{border-top:1px solid var(--c-line);border-bottom:1px solid var(--c-line);justify-self:start;gap:0;width:min(760px,100%);margin:2px 0 0;display:grid}.symbol-table-row{border-top:1px solid var(--c-line);grid-template-columns:minmax(120px,160px) minmax(0,1fr);justify-content:start;gap:22px;padding:10px 6px;display:grid}.symbol-table-row:first-child{border-top:0}.symbol-table dt{min-width:120px;font-family:var(--font-display);color:var(--c-ink);text-align:center;margin:0;font-size:17px}.symbol-table dd{color:var(--c-muted);text-align:left;margin:0;font-size:14px;line-height:1.55}.detail-secondary-grid{grid-template-columns:minmax(0,1.5fr) minmax(320px,1fr);align-items:start;gap:30px;display:grid}.detail-secondary-grid .detail-card{min-width:0}.citation-list{gap:16px;margin:0;padding:0;list-style:none;display:grid}.citation-list li{text-indent:-20px;padding-left:20px}.citation-list strong{font-family:var(--font-display);color:var(--c-ink);font-size:17px;font-weight:500}.citation-title-link{font-family:var(--font-display);color:var(--c-ink);text-underline-offset:3px;font-size:17px;font-weight:500;text-decoration:underline;display:inline}.citation-list p{color:var(--c-muted);text-indent:0;margin:4px 0 0;font-size:15px}.lean-context,.lean-context-panel{display:grid}.lean-context-link{max-width:100%;color:var(--c-ink);text-underline-offset:3px;text-decoration:underline;display:inline-block}.lean-pending{color:var(--c-muted);margin:0}.definition-list{gap:16px;margin:0;display:grid}.definition-list>div,.code-list{gap:6px;display:grid}.definition-list dt{letter-spacing:.1em;text-transform:uppercase;color:var(--c-subtle);font-size:12px}.definition-list dd{margin:0}.code-list{margin:0;padding:0;list-style:none}code{font-family:var(--font-mono);background:var(--c-surface);border:1px solid var(--c-line);color:var(--c-ink);border-radius:3px;padding:2px 6px;font-size:.88em}.copy-context{border-top:1px solid var(--c-line);gap:16px;padding-top:18px;display:grid}.copy-context p{color:var(--c-muted);margin:0;font-size:15px}.copy-box{display:contents}.detail-actions{flex-wrap:wrap;align-items:center;gap:12px;display:flex}.copy-button{background:var(--c-accent);color:var(--c-on-accent);border:1px solid var(--c-accent);border-radius:3px;padding:12px 20px;font-weight:500;transition:background .14s,border-color .14s}.copy-button:hover{background:var(--c-accent-bright);border-color:var(--c-accent-bright)}.lean-source-link{border:1px solid var(--c-line-strong);color:var(--c-ink);border-radius:3px;align-items:center;padding:12px 20px;font-weight:500;text-decoration:none;transition:border-color .14s,color .14s;display:inline-flex}.lean-source-link:hover{border-color:var(--c-accent);color:var(--c-accent)}mjx-container{color:var(--c-ink);max-width:100%;overflow:auto hidden}@keyframes qa-flow{to{stroke-dashoffset:-24px}}@keyframes qa-float{0%,to{transform:translateY(0)}50%{transform:translateY(-12px)}}@keyframes qa-fade{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:none}}@media (prefers-reduced-motion:no-preference){.deco-circuit .wire{stroke-dasharray:5 7;animation:3.4s linear infinite qa-flow}.deco-bloch{animation:16s ease-in-out infinite qa-float}.intro h1{animation:.7s both qa-fade}.intro p{animation:.7s 80ms both qa-fade}}@media (prefers-reduced-motion:reduce){.entry-card,.intro h1,.intro p,.deco-circuit .wire,.deco-bloch{transition:none!important;animation:none!important}.entry-card.is-scroll-reveal-pending,.entry-card.is-scroll-revealed{opacity:1;transform:none}}@media (width<=960px){.page-shell{padding:0 22px 64px}.intro{padding:60px 0 44px}.deco,.ambient-wash,.hand-notes,.hand-notes-linework,.paper-layer{display:none}.theorem-drawer{width:100vw;max-width:100vw}.drawer-topbar{padding:14px 24px}.drawer-scroll{padding:32px 24px 48px}.detail-secondary-grid{grid-template-columns:1fr}}@media (width<=640px){.page-shell{padding:0 16px 48px}.title-line-1{font-size:.78rem}.intro h1 .title-line-2{font-size:3rem}.intro p{font-size:18px}.search-panel,.entry-card{padding:22px}.filter-summary-row,.search-summary{flex-direction:column;align-items:flex-start;gap:12px}.search-summary{margin-left:0}.site-footer{grid-template-columns:1fr max-content;row-gap:14px}.footer-meta{order:3;grid-column:1/-1}.detail-actions{flex-direction:column;align-items:stretch}}