@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-cyrillic-ext-400-normal.0vgvs92z84qpa.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-ext-400-normal.0gmydegk5ownq.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-cyrillic-400-normal.0awcr5i1tz73b.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-400-normal.1xs2w3-r5xm-a.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-greek-400-normal.2-_wo2a4q4pcc.woff2)format("woff2"),url(../media/stix-two-text-greek-400-normal.1pl65oscahta9.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-vietnamese-400-normal.2icw9yid4itxl.woff2)format("woff2"),url(../media/stix-two-text-vietnamese-400-normal.1ayfbv_yh02jo.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-latin-ext-400-normal.20iv_4dxvshh-.woff2)format("woff2"),url(../media/stix-two-text-latin-ext-400-normal.2pc_-8684nv0m.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:400;src:url(../media/stix-two-text-latin-400-normal.0zkk1l83djmqp.woff2)format("woff2"),url(../media/stix-two-text-latin-400-normal.1-ejws8y_wkll.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:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-cyrillic-ext-400-italic.1tr66pr2haq49.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-ext-400-italic.3mcrtawf6mrjg.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:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-cyrillic-400-italic.0bih0qa8p-z0e.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-400-italic.353hr4x--5wjl.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-greek-400-italic.0t9dgajq67lg9.woff2)format("woff2"),url(../media/stix-two-text-greek-400-italic.0issz0udmnsk7.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:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-vietnamese-400-italic.0n54qogj0-j18.woff2)format("woff2"),url(../media/stix-two-text-vietnamese-400-italic.2agvqnlo5wfbw.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:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-latin-ext-400-italic.40l9ypjud_22f.woff2)format("woff2"),url(../media/stix-two-text-latin-ext-400-italic.17zw39uygrztr.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:STIX Two Text;font-style:italic;font-display:swap;font-weight:400;src:url(../media/stix-two-text-latin-400-italic.1srlzee-qmis-.woff2)format("woff2"),url(../media/stix-two-text-latin-400-italic.2mtlt7_e79scl.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(../media/stix-two-text-cyrillic-ext-500-normal.2c9hg-wkvkafz.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-ext-500-normal.1avgnkjxr4qix.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(../media/stix-two-text-cyrillic-500-normal.2o0lsplm8v_8a.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-500-normal.26i65dc91y1nh.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(../media/stix-two-text-greek-500-normal.3un_fqclzf7sp.woff2)format("woff2"),url(../media/stix-two-text-greek-500-normal.0svzfpvqhup92.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(../media/stix-two-text-vietnamese-500-normal.1-xfcvfkgydhv.woff2)format("woff2"),url(../media/stix-two-text-vietnamese-500-normal.1kllwkqmh66cp.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(../media/stix-two-text-latin-ext-500-normal.0nyko7ajg--q7.woff2)format("woff2"),url(../media/stix-two-text-latin-ext-500-normal.3zeujmi9y-r3v.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:500;src:url(../media/stix-two-text-latin-500-normal.400bu8_9hm_c4.woff2)format("woff2"),url(../media/stix-two-text-latin-500-normal.1zdnqozdqn1y5.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-cyrillic-ext-600-normal.06llywmga1lyf.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-ext-600-normal.27xogpfm6txz1.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-cyrillic-600-normal.0_wouoa5e0bf9.woff2)format("woff2"),url(../media/stix-two-text-cyrillic-600-normal.273fc__xwshh8.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-greek-600-normal.3k975au_whd6b.woff2)format("woff2"),url(../media/stix-two-text-greek-600-normal.2hibg5_7byfk4.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-vietnamese-600-normal.2t3hh_evcrnue.woff2)format("woff2"),url(../media/stix-two-text-vietnamese-600-normal.1undg2b42wgrv.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-latin-ext-600-normal.0m5_whs-buas8.woff2)format("woff2"),url(../media/stix-two-text-latin-ext-600-normal.0abrd38h-ofzz.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:STIX Two Text;font-style:normal;font-display:swap;font-weight:600;src:url(../media/stix-two-text-latin-600-normal.12lw32ziestwq.woff2)format("woff2"),url(../media/stix-two-text-latin-600-normal.44wuqphk6em15.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-cyrillic-ext-400-normal.09jq5v9-1wf71.woff2)format("woff2"),url(../media/ibm-plex-mono-cyrillic-ext-400-normal.2iaubq2jy0rx3.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-cyrillic-400-normal.0m1ahpdxrpokj.woff2)format("woff2"),url(../media/ibm-plex-mono-cyrillic-400-normal.2-z93d2j9-3s0.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-vietnamese-400-normal.3a7fs2yw914a9.woff2)format("woff2"),url(../media/ibm-plex-mono-vietnamese-400-normal.2kzc8ichkozg5.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-latin-ext-400-normal.1hjaitcyq2e2r.woff2)format("woff2"),url(../media/ibm-plex-mono-latin-ext-400-normal.0nrwft7nlo5oa.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(../media/ibm-plex-mono-latin-400-normal.3xdfs0-p_zi4c.woff2)format("woff2"),url(../media/ibm-plex-mono-latin-400-normal.2lhng2ntocry9.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-mono-cyrillic-ext-500-normal.28wp48yubenc3.woff2)format("woff2"),url(../media/ibm-plex-mono-cyrillic-ext-500-normal.41yczc5zdkwdh.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-mono-cyrillic-500-normal.26ox_itp_alxp.woff2)format("woff2"),url(../media/ibm-plex-mono-cyrillic-500-normal.1eaan1mch682e.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-mono-vietnamese-500-normal.0s1z3n-ysad7w.woff2)format("woff2"),url(../media/ibm-plex-mono-vietnamese-500-normal.2g79xp9gzp1kn.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-mono-latin-ext-500-normal.1cuq9_67cn48n.woff2)format("woff2"),url(../media/ibm-plex-mono-latin-ext-500-normal.1tdw_l2v4yhc_.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(../media/ibm-plex-mono-latin-500-normal.11q3guvgd1r20.woff2)format("woff2"),url(../media/ibm-plex-mono-latin-500-normal.1fgk-kmy-32_a.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(../media/KaTeX_AMS-Regular.25ieegmnh38ts.woff2)format("woff2"),url(../media/KaTeX_AMS-Regular.10y3kupq4t663.woff)format("woff"),url(../media/KaTeX_AMS-Regular.418dr7cz3fo2x.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(../media/KaTeX_Caligraphic-Bold.06b-ya9t43ioz.woff2)format("woff2"),url(../media/KaTeX_Caligraphic-Bold.2vmk2hva4ctha.woff)format("woff"),url(../media/KaTeX_Caligraphic-Bold.40ltxhe834pns.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(../media/KaTeX_Caligraphic-Regular.2eph4dlhid_m9.woff2)format("woff2"),url(../media/KaTeX_Caligraphic-Regular.3gxeetazf831f.woff)format("woff"),url(../media/KaTeX_Caligraphic-Regular.07-7u27-nhn_r.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(../media/KaTeX_Fraktur-Bold.2sasz-d-jtw8y.woff2)format("woff2"),url(../media/KaTeX_Fraktur-Bold.1alcy76__wdj2.woff)format("woff"),url(../media/KaTeX_Fraktur-Bold.19yqa_tc9d_gx.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(../media/KaTeX_Fraktur-Regular.2d10y4xmjvzlf.woff2)format("woff2"),url(../media/KaTeX_Fraktur-Regular.110oo81prr9n5.woff)format("woff"),url(../media/KaTeX_Fraktur-Regular.2qhy34r6a05dn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(../media/KaTeX_Main-Bold.3-rowy8o6_4ky.woff2)format("woff2"),url(../media/KaTeX_Main-Bold.0v1esh257kqpe.woff)format("woff"),url(../media/KaTeX_Main-Bold.0us_n0tnxlxu7.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(../media/KaTeX_Main-BoldItalic.14r2naom8mrec.woff2)format("woff2"),url(../media/KaTeX_Main-BoldItalic.13355ck5zr48q.woff)format("woff"),url(../media/KaTeX_Main-BoldItalic.3x_u9cepaced0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(../media/KaTeX_Main-Italic.0lig0v9j0700p.woff2)format("woff2"),url(../media/KaTeX_Main-Italic.0afv392dj4w59.woff)format("woff"),url(../media/KaTeX_Main-Italic.2hkw3230mfwcv.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(../media/KaTeX_Main-Regular.1ryvsdzh2w1_e.woff2)format("woff2"),url(../media/KaTeX_Main-Regular.15u8r3b2y7fv4.woff)format("woff"),url(../media/KaTeX_Main-Regular.0symfa7dqj6jd.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(../media/KaTeX_Math-BoldItalic.1oopuu636h4il.woff2)format("woff2"),url(../media/KaTeX_Math-BoldItalic.12pl58orkw9rg.woff)format("woff"),url(../media/KaTeX_Math-BoldItalic.0y5w36a5aq__2.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(../media/KaTeX_Math-Italic.32405s1aq8vas.woff2)format("woff2"),url(../media/KaTeX_Math-Italic.0w0b1ugh62cfr.woff)format("woff"),url(../media/KaTeX_Math-Italic.2vkekfblmz5nb.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(../media/KaTeX_SansSerif-Bold.0h3wi2z_eouyg.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Bold.1ovw5p-yjp56g.woff)format("woff"),url(../media/KaTeX_SansSerif-Bold.2d03q85pwxpti.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(../media/KaTeX_SansSerif-Italic.0wkjc4dm2kcit.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Italic.1qavw__2zz8gk.woff)format("woff"),url(../media/KaTeX_SansSerif-Italic.3i-q087b23-m8.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(../media/KaTeX_SansSerif-Regular.2peiewu59z3d-.woff2)format("woff2"),url(../media/KaTeX_SansSerif-Regular.1i4afx8nk8n4r.woff)format("woff"),url(../media/KaTeX_SansSerif-Regular.31pbu25feko_c.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(../media/KaTeX_Script-Regular.11h14300o9pd0.woff2)format("woff2"),url(../media/KaTeX_Script-Regular.3110jb9c-bxna.woff)format("woff"),url(../media/KaTeX_Script-Regular.28p_x7iz71ofe.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size1-Regular.03lhvx36ekcou.woff2)format("woff2"),url(../media/KaTeX_Size1-Regular.1slf4bh0hc6vm.woff)format("woff"),url(../media/KaTeX_Size1-Regular.1y57-ck23ey8c.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size2-Regular.14s5gg-puz6h-.woff2)format("woff2"),url(../media/KaTeX_Size2-Regular.0-kwyvx03omo8.woff)format("woff"),url(../media/KaTeX_Size2-Regular.2u0s-b07k2o9m.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size3-Regular.1n1rgzz84z8r9.woff2)format("woff2"),url(../media/KaTeX_Size3-Regular.04o9a_02gu_e8.woff)format("woff"),url(../media/KaTeX_Size3-Regular.1pkn-dge4q0fv.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size4-Regular.2sgotkdv3dcyv.woff2)format("woff2"),url(../media/KaTeX_Size4-Regular.3p2r1l7xmebxv.woff)format("woff"),url(../media/KaTeX_Size4-Regular.2uelkfk2yna5e.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(../media/KaTeX_Typewriter-Regular.11gr2d2wuwz77.woff2)format("woff2"),url(../media/KaTeX_Typewriter-Regular.12f8myjij3617.woff)format("woff"),url(../media/KaTeX_Typewriter-Regular.3nee9kjfy6nm8.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.17.0"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}
:root{--paper:#faf8f2;--well:#f2efe5;--ink:#181511;--ink-soft:#4f4a3f;--muted:#6f6a5d;--rule:#1815112e;--rule-faint:#1815111a;--record:#a6341f;--seal:#1f4e79;--gate:#7a6a45;--good:#1a6b2f;--warn:#8a5a00;--crit:#a02c2c;--plate:#14120f;--plate-well:#1e1b16;--plate-ink:#ede8dc;--plate-muted:#a89f8d;--plate-accent:#e8a87c;--plate-good:#82c091;--plate-rule:#ede8dc29;--plate-border:#14120f;--serif:"STIX Two Text", "STIX Two Math", Georgia, "Times New Roman", serif;--mono:"IBM Plex Mono", "SFMono-Regular", Consolas, monospace}@media (prefers-color-scheme:dark){:root{--paper:#161512;--well:#1d1b17;--ink:#ece9e0;--ink-soft:#c9c4b6;--muted:#a19c8d;--rule:#ece9e033;--rule-faint:#ece9e01c;--record:#de7566;--seal:#8ab0d9;--gate:#b3a577;--good:#66b877;--warn:#d9a441;--crit:#de7566;--plate-border:#ece9e038}}html[data-theme=light]{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--paper:#faf8f2;--well:#f2efe5;--ink:#181511;--ink-soft:#4f4a3f;--muted:#6f6a5d;--rule:#1815112e;--rule-faint:#1815111a;--record:#a6341f;--seal:#1f4e79;--gate:#7a6a45;--good:#1a6b2f;--warn:#8a5a00;--crit:#a02c2c;--plate-border:#14120f}html[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--paper:#161512;--well:#1d1b17;--ink:#ece9e0;--ink-soft:#c9c4b6;--muted:#a19c8d;--rule:#ece9e033;--rule-faint:#ece9e01c;--record:#de7566;--seal:#8ab0d9;--gate:#b3a577;--good:#66b877;--warn:#d9a441;--crit:#de7566;--plate-border:#ece9e038}*{box-sizing:border-box}html{background:var(--paper);color:var(--ink);font-family:var(--serif);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;font-size:17px}body{min-width:320px;margin:0;line-height:1.62}::selection{background:#a6341f2e}a{color:inherit;text-decoration:none}button,input,textarea{font:inherit}code,pre,.mono{font-family:var(--mono)}@media (prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}.shell{flex-direction:column;min-height:100vh;display:flex;position:relative;overflow:hidden}.page{z-index:1;flex:1;width:min(1140px,100vw - 40px);margin:0 auto;padding:0 0 96px;position:relative}.mark-accent{pointer-events:none;z-index:0;color:var(--ink);opacity:.018;mix-blend-mode:multiply;position:fixed}.mark-accent-top{top:118px;right:max(-92px,50vw - 750px);transform:rotate(-8deg)}.mark-accent-lower{opacity:.012;bottom:210px;left:max(-86px,50vw - 720px);transform:rotate(10deg)}@media (prefers-color-scheme:dark){.mark-accent{mix-blend-mode:normal;opacity:.026}.mark-accent-lower{opacity:.018}}.p42-mark-cell{fill:currentColor;opacity:.1;transform-box:fill-box;transform-origin:50%}.p42-mark-digit-segment{fill:currentColor;opacity:.92;transform-box:fill-box;transform-origin:50%}.p42-mark-animated .p42-mark-cell{animation:9.6s ease-in-out infinite mark-cell-solve-cycle;animation-delay:calc(var(--mark-i) * 45ms)}.p42-mark-animated .p42-mark-digit-segment{animation:9.6s ease-in-out infinite mark-digit-cycle;animation-delay:calc(var(--segment-i) * 36ms)}@keyframes mark-cell-solve-cycle{0%,18%,to{opacity:.1;transform:scale(.86)}24%{opacity:.14;transform:scale(.74)}34%,58%{opacity:var(--mark-solved-opacity);transform:scale(1)}66%{opacity:var(--mark-solved-opacity);transform:scale(.86)}74%{opacity:.1;transform:scale(.92)}}@keyframes mark-digit-cycle{0%,18%,74%,to{opacity:.92;filter:none;transform:scale(1)}22%{opacity:1;filter:brightness(1.7);transform:scale(1.04)}34%,58%{opacity:.06;filter:none;transform:scale(.94)}66%{opacity:.16;transform:scale(.96)}}.masthead{border-bottom:2px solid var(--record);z-index:2;background:color-mix(in srgb, var(--paper) 92%, transparent);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);position:relative}.masthead-inner{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:16px;width:min(1140px,100vw - 40px);margin:0 auto;padding:18px 0 14px;display:flex}.brand{color:var(--ink);align-items:center;gap:12px;display:inline-flex}.brand-mark-button{width:36px;height:36px;color:var(--ink);cursor:pointer;background:0 0;border:0;place-items:center;padding:0;display:inline-grid;transform:translateY(4px)}.brand-mark-button .p42-mark{flex:none}.brand-mark-button:hover,.brand-mark-button:focus-visible{color:var(--record);outline:none}.brand-mark-button:focus-visible{box-shadow:0 0 0 2px var(--paper), 0 0 0 4px var(--record)}.brand-name{letter-spacing:.005em;white-space:nowrap;font-size:25px;font-weight:600}.brand-name:hover,.brand-name:focus-visible{color:var(--record);outline:none}.masthead-line{color:var(--muted);font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;flex-wrap:wrap;align-items:baseline;gap:8px 18px;font-size:11px;display:flex}.masthead-line a{color:var(--ink-soft);border-bottom:1px solid var(--rule);padding-bottom:1px}.masthead-line a:hover,.masthead-line a:focus-visible{color:var(--ink);border-bottom-color:var(--ink)}.masthead-status{color:var(--gate)}.hadamard-modal{z-index:60;background:linear-gradient(#18151170,#18151157),radial-gradient(circle at 52% 44%,#faf8f233,#0000 36%);place-items:start center;padding:clamp(18px,5vh,56px) 24px 24px;display:grid;position:fixed;inset:0}.hadamard-dialog{--egg-paper:var(--paper);--egg-well:var(--well);--egg-ink:var(--ink);--egg-soft:var(--ink-soft);--egg-muted:var(--muted);--egg-rule:var(--rule);--egg-rule-faint:var(--rule-faint);--egg-record:var(--record);--egg-good:var(--good);width:min(920px,100vw - 32px);max-height:min(720px,100vh - 32px);color:var(--egg-ink);background:var(--egg-paper);border:1px solid var(--egg-ink);grid-template-columns:minmax(260px,.9fr) minmax(0,1fr);gap:0;display:grid;position:relative;overflow:auto;box-shadow:0 28px 80px #00000052}.hadamard-controls{z-index:2;align-items:center;gap:8px;display:flex;position:absolute;top:14px;right:14px}.hadamard-theme-toggle{border:1px solid var(--egg-rule);min-height:34px;color:var(--egg-muted);background:color-mix(in srgb, var(--egg-paper) 86%, transparent);cursor:pointer;font-family:var(--mono);letter-spacing:.11em;text-transform:uppercase;align-items:center;gap:2px;padding:3px;font-size:10px;display:inline-flex}.hadamard-theme-toggle span{text-align:center;min-width:44px;padding:5px 7px}.hadamard-theme-toggle span.is-active{color:var(--egg-paper);background:var(--egg-ink)}.hadamard-theme-toggle:hover,.hadamard-theme-toggle:focus-visible{border-color:var(--egg-record);outline:none}.hadamard-close{border:1px solid var(--egg-rule);width:34px;height:34px;color:var(--egg-ink);background:var(--egg-paper);cursor:pointer;place-items:center;font-size:22px;line-height:1;display:grid}.hadamard-close:hover,.hadamard-close:focus-visible{border-color:var(--egg-record);color:var(--egg-record);outline:none}.hadamard-stage{min-height:460px;color:var(--egg-ink);background:linear-gradient(90deg, color-mix(in srgb, var(--egg-ink) 7%, transparent) 1px, transparent 1px), linear-gradient(color-mix(in srgb, var(--egg-ink) 7%, transparent) 1px, transparent 1px), var(--egg-well);border-right:1px solid var(--egg-rule);background-size:24px 24px;place-items:center;display:grid;position:relative;overflow:hidden}.hadamard-orbit{width:280px;height:280px;color:var(--egg-ink);opacity:.065;place-items:center;animation:18s linear infinite theorem-orbit;display:grid;position:absolute;inset:auto}.hadamard-stage-mark{transform:rotate(45deg)}.hadamard-matrix{z-index:1;color:var(--egg-ink);background:color-mix(in srgb, var(--egg-paper) 84%, transparent);border:1px solid var(--egg-ink);grid-template-rows:repeat(4,58px);grid-template-columns:repeat(4,58px);gap:8px;padding:18px;animation:.9s cubic-bezier(.2,.7,.1,1) forwards matrix-arrive;display:grid;position:relative;overflow:visible;transform:scale(.92);box-shadow:0 16px 40px #18151129}.hadamard-readout{font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--egg-muted);gap:7px;font-size:10px;display:grid;position:absolute;bottom:22px;left:24px;right:24px}.hadamard-readout div{justify-content:space-between;gap:12px;display:flex}.hadamard-readout code{color:var(--egg-soft)}.hadamard-readout i{background:var(--egg-rule-faint);height:1px;overflow:hidden}.hadamard-readout i:after{content:"";background:var(--egg-record);width:100%;height:100%;transform:scaleX(var(--readout-progress));transform-origin:0;transition:transform .16s linear;display:block}.hadamard-cell{font-family:var(--mono);border:1px solid var(--egg-rule);background:var(--egg-paper);opacity:0;filter:blur(1px);transform:translate(var(--from-x), var(--from-y)) scale(.56) rotate(var(--from-rotate));transition:opacity .52s,filter .64s,transform .72s cubic-bezier(.2,.7,.1,1);transition-delay:calc(var(--cell-index) * 28ms);will-change:transform, opacity, filter;place-items:center;font-size:24px;line-height:1;display:grid}.hadamard-matrix.is-releasing .hadamard-cell{transition-delay:calc(var(--exit-index) * 24ms)}.hadamard-cell.is-plus{color:var(--egg-paper);background:var(--egg-ink);border-color:var(--egg-ink)}.hadamard-cell.is-minus{color:var(--egg-ink);background:color-mix(in srgb, var(--egg-paper) 68%, var(--egg-well))}.hadamard-cell.is-live{opacity:1;filter:blur();transform:translate(0)scale(1)rotate(0)}.hadamard-proof{align-content:center;gap:18px;padding:54px 46px 40px;display:grid}.hadamard-proof h2{font-size:32px}.hadamard-proof .smallcaps{color:var(--egg-muted)}.hadamard-proof p:not(.smallcaps){max-width:46ch;color:var(--egg-soft)}.proof-trace{gap:7px;margin-top:4px;display:grid}.proof-line{border-bottom:1px solid var(--egg-rule-faint);min-height:34px;color:var(--egg-muted);grid-template-columns:74px minmax(0,1fr);align-items:center;gap:12px;padding:6px 0;display:grid}.proof-line span{font-family:var(--mono);font-size:12px}.proof-line code{min-width:0;color:var(--egg-muted);white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.proof-line.is-live{color:var(--egg-ink)}.proof-line.is-live code{color:var(--egg-good)}.verdict-seal{border:1px solid var(--egg-rule);opacity:0;gap:2px;margin-top:6px;padding:12px 14px;display:grid;transform:translateY(8px)}.verdict-seal span{font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--egg-muted);font-size:11px}.verdict-seal strong{color:var(--egg-good);font-weight:600}.verdict-seal.is-live{opacity:1;transition:opacity .48s,transform .48s;transform:translateY(0)}@keyframes matrix-arrive{0%{transform:scale(.72)}to{transform:scale(1)}}@keyframes theorem-orbit{0%{transform:rotate(0)scale(1.2)}to{transform:rotate(360deg)scale(1.2)}}h1,h2,h3,p,figure{margin:0}h1{letter-spacing:-.005em;max-width:21ch;font-size:clamp(34px,4.6vw,54px);font-weight:500;line-height:1.12}h2{font-size:24px;font-weight:600;line-height:1.25}h3{font-size:18.5px;font-weight:600}.lede{max-width:68ch;color:var(--ink-soft);font-size:19px;line-height:1.6}.prose{max-width:68ch;color:var(--ink-soft)}.prose strong{color:var(--ink)}.small{font-size:13.5px}.muted{color:var(--muted)}.smallcaps,.section-head .kicker{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;font-size:11px;font-weight:500}.section{margin-top:76px}.section-head{border-bottom:1px solid var(--rule);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:16px;margin-bottom:22px;padding-bottom:10px;display:flex}.section-head .kicker{color:var(--muted)}.section-head .kicker .section-no{color:var(--record);margin-right:8px}.section-head h2 .section-no{color:var(--record);margin-right:10px;font-weight:400}.link{color:var(--ink);border-bottom:1px solid var(--rule);padding-bottom:1px}.link:hover,.link:focus-visible{border-bottom-color:var(--ink)}.ref{color:var(--seal);font-family:var(--mono);border-bottom:1px solid var(--rule);overflow-wrap:anywhere;padding-bottom:1px;font-size:.86em}.ref:hover,.ref:focus-visible{border-bottom-color:var(--seal)}.button{border:1px solid var(--ink);min-height:40px;color:var(--ink);font-family:var(--mono);letter-spacing:.04em;cursor:pointer;background:0 0;border-radius:0;justify-content:center;align-items:center;gap:8px;padding:0 16px;font-size:12.5px;display:inline-flex}.button:hover,.button:focus-visible{background:var(--ink);color:var(--paper)}.button.quiet{border-color:var(--rule);color:var(--ink-soft)}.button.quiet:hover,.button.quiet:focus-visible{border-color:var(--ink);color:var(--ink);background:0 0}:focus-visible{outline:2px solid var(--seal);outline-offset:2px}.hero{grid-template-columns:minmax(0,1fr) minmax(280px,360px);align-items:start;gap:48px;padding:64px 0 0;display:grid}.hero .lede{margin-top:22px}.hero-actions{flex-wrap:wrap;align-items:center;gap:18px;margin-top:30px;display:flex}.errata{border-top:2px solid var(--ink);border-bottom:1px solid var(--rule);color:var(--ink-soft);padding:16px 0 18px;font-size:14.5px;line-height:1.6}.errata .smallcaps{color:var(--gate);margin-bottom:10px;display:block}.errata p{margin:0 0 8px}.errata p:last-child{margin-bottom:0}.errata .gate-word{color:var(--gate);font-style:normal;font-weight:600}.tally{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);flex-wrap:wrap;gap:0;margin-top:40px;display:flex}.tally>div{flex:130px;min-width:0;padding:14px 18px 14px 0}.tally>div+div{border-left:1px solid var(--rule-faint);padding-left:18px}.tally .smallcaps{color:var(--muted);margin-bottom:4px;display:block}.tally strong{font-family:var(--mono);font-size:21px;font-weight:500}.tally .qual{font-family:var(--serif);color:var(--muted);font-size:14px;font-style:italic}.register{border-collapse:collapse;width:100%}.register th{border-bottom:1px solid var(--ink);text-align:left;font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--muted);white-space:nowrap;padding:8px 14px 8px 0;font-size:10.5px;font-weight:500}.register td{border-bottom:1px solid var(--rule-faint);vertical-align:baseline;padding:14px 14px 14px 0;font-size:14.5px}.register tr:last-child td{border-bottom:1px solid var(--rule)}.register .num{font-family:var(--mono);font-variant-numeric:tabular-nums;white-space:nowrap;font-size:13px}.register .right{text-align:right;padding-right:0}.register .prob-no{font-family:var(--mono);color:var(--muted);white-space:nowrap;font-size:12px}.register .prob-title{color:var(--ink);border-bottom:1px solid #0000;font-weight:600}.register a:hover .prob-title,.register a:focus-visible .prob-title{border-bottom-color:var(--ink)}.register .prob-tagline{color:var(--muted);max-width:46ch;margin-top:3px;font-size:13px;display:block}.register tr.locked-row .prob-title{color:var(--ink-soft);font-weight:500}.status-word{font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;white-space:nowrap;font-size:11px}.status-word.pilot,.status-word.open{color:var(--good)}.status-word.locked{color:var(--gate)}.status-word.resolved{color:var(--muted)}.record-cell{white-space:nowrap}.record-prev{color:var(--record);margin-right:8px;text-decoration:line-through;text-decoration-thickness:1px}.record-none{color:var(--muted);font-style:italic;font-family:var(--serif);font-size:13.5px}.math-block{padding:4px 0;overflow-x:auto}.math-block .katex-display{margin:0}.katex{font-size:1.12em}.statement{border-left:2px solid var(--rule);margin:20px 0;padding:14px 0 14px 26px}.statement-caveat{max-width:62ch;color:var(--muted);margin-top:12px;font-size:13.5px;font-style:italic}.statement-caveat:before{content:"† ";color:var(--gate);font-style:normal}.plate{margin:26px 0}.plate-body{background:var(--plate);color:var(--plate-ink);border:1px solid var(--plate-border);padding:18px 20px;overflow-x:auto}.plate-body pre{font-variant-numeric:tabular-nums;margin:0;font-size:12.5px;line-height:1.7}.plate-body .tok-hash,.plate-body .tok-rational{color:var(--plate-accent)}.plate-body .tok-valid{color:var(--plate-good)}.plate-body .tok-cmd{color:var(--plate-ink)}.plate-body .tok-prompt{color:var(--plate-muted);-webkit-user-select:none;user-select:none}.plate-body .tok-out{color:var(--plate-muted)}.plate-caption{color:var(--muted);max-width:76ch;padding:10px 2px 0;font-size:13.5px}.plate-caption .plate-no{color:var(--ink-soft);font-style:italic}.plate-caption code{color:var(--ink-soft);overflow-wrap:anywhere;font-size:12px}.reproduce{border-top:1px solid var(--rule-faint);font-family:var(--mono);color:var(--muted);white-space:nowrap;align-items:baseline;gap:10px;margin-top:18px;padding-top:10px;font-size:12px;display:flex;overflow-x:auto}.reproduce .smallcaps{letter-spacing:.14em;flex:none}.reproduce code{color:var(--ink-soft)}.citations{max-width:76ch;margin:0;padding:0;list-style:none}.citations li{border-bottom:1px solid var(--rule-faint);text-indent:-34px;padding:12px 0 12px 34px;font-size:15px;line-height:1.6}.citations .cite-index{font-family:var(--mono);color:var(--muted);font-size:13px}.citations .cite-agent{font-weight:600}.citations .num{font-family:var(--mono);font-size:13px}.citations .tombstone{color:var(--record);font-family:var(--mono)}.citations .cite-meta{color:var(--muted);font-size:13.5px}.fixture-stamp{font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--gate);border:1px solid var(--rule);white-space:nowrap;margin-left:8px;padding:1px 6px;font-size:10px}.state-word{font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;font-size:11px}.state-word.finalized{color:var(--good)}.state-word.challenged{color:var(--warn)}.state-word.rejected{color:var(--crit)}.state-word.committed,.state-word.revealed{color:var(--muted)}.empty-record{color:var(--muted);border-bottom:1px solid var(--rule-faint);padding:18px 0;font-style:italic}.gates{grid-template-columns:repeat(auto-fill,minmax(300px,1fr));gap:0 40px;max-width:100%;display:grid}.gate-group{border-bottom:1px solid var(--rule-faint);padding:14px 0}.gate-group h3{margin-bottom:8px;font-size:15.5px}.gate-item{color:var(--ink-soft);align-items:baseline;gap:10px;padding:3px 0;font-size:14px;display:flex}.gate-box{font-family:var(--mono);color:var(--gate);flex:none}.gate-box.done{color:var(--good)}.taxonomy{grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:0 44px;display:grid}.taxonomy>div{border-top:1px solid var(--ink);padding:18px 0}.taxonomy .smallcaps{color:var(--ink);margin-bottom:10px;display:block}.taxonomy ul{margin:0;padding:0;list-style:none}.taxonomy li{color:var(--ink-soft);padding:5px 0;font-size:14px;line-height:1.55}.taxonomy li code{font-size:12.5px}.taxonomy .tier-note{color:var(--muted);margin-top:10px;font-size:13px;font-style:italic}.running-head{border-bottom:1px solid var(--rule);font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--muted);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:14px;padding:14px 0 10px;font-size:11px;display:flex}.problem-title-block{padding:44px 0 0}.problem-title-block .kicker{color:var(--muted);margin-bottom:12px;display:block}.communicated{font-family:var(--mono);color:var(--muted);flex-wrap:wrap;gap:8px 22px;margin-top:14px;font-size:12px;display:flex}.communicated .pending{color:var(--gate)}.abstract{border-top:1px solid var(--rule);max-width:66ch;color:var(--ink-soft);margin-top:26px;padding-top:18px;font-size:16.5px;line-height:1.65}.abstract:first-line{font-variant-caps:small-caps}.problem-cols{grid-template-columns:minmax(0,1fr) minmax(260px,320px);align-items:start;gap:0 56px;display:grid}.problem-main{min-width:0}.margin-rail{border-top:2px solid var(--ink);position:sticky;top:24px}.margin-rail .facts{display:block}.fact-row{border-bottom:1px solid var(--rule-faint);justify-content:space-between;align-items:baseline;gap:14px;padding:9px 0;font-size:13.5px;display:flex}.fact-row .smallcaps{color:var(--muted)}.fact-row .num{font-family:var(--mono);font-variant-numeric:tabular-nums;text-align:right;overflow-wrap:anywhere;font-size:13px}.fact-note{color:var(--muted);padding:10px 0;font-size:12.5px;font-style:italic}.hardening{max-width:68ch;margin:0;padding:0;list-style:none}.hardening li{border-bottom:1px solid var(--rule-faint);color:var(--ink-soft);gap:12px;padding:7px 0;font-size:14.5px;display:flex}.hardening .reg-id{font-family:var(--mono);color:var(--seal);flex:0 0 34px;font-size:12px}.frontier-chart{margin:8px 0 0}.frontier-chart figcaption{color:var(--muted);justify-content:space-between;align-items:baseline;gap:14px;margin-bottom:8px;font-size:13.5px;display:flex}.frontier-direction{font-style:italic}.frontier-plot{position:relative}.frontier-plot svg{width:100%;height:auto;display:block}.chart-grid{stroke:var(--rule-faint);stroke-width:1px}.chart-axis{stroke:var(--rule);stroke-width:1px}.chart-tick{fill:var(--muted);font-family:var(--mono);font-variant-numeric:tabular-nums;font-size:10px}.chart-line{stroke:var(--ink);stroke-width:2px;stroke-linejoin:round;stroke-linecap:round}.chart-drop{stroke:var(--record);stroke-width:2px;stroke-linecap:round}.chart-dot{fill:var(--record);stroke:var(--paper);stroke-width:2px}.chart-dot.hovered{fill:var(--ink)}.chart-crosshair{stroke:var(--rule);stroke-width:1px}.chart-end-label{fill:var(--ink);font-family:var(--mono);font-variant-numeric:tabular-nums;font-size:12px}.chart-tooltip{background:var(--paper);border:1px solid var(--rule);color:var(--muted);align-items:baseline;gap:10px;padding:6px 10px;font-size:12.5px;display:flex;position:absolute;top:6px;right:8px}.chart-tooltip strong{font-family:var(--mono);color:var(--ink);font-size:13px;font-weight:500}.standings-table td{padding-top:16px;padding-bottom:16px}.floor-row{background:var(--well)}.floor-row td{border-bottom:1px solid var(--rule)}.rank-num{color:var(--ink);font-size:15px}.agent-name{font-family:var(--mono);letter-spacing:.04em;color:var(--ink);font-size:14px;font-weight:500}.donate-tag{font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--seal);border:1px solid var(--rule);margin-left:10px;padding:1px 6px;font-size:10px;display:inline-block}.agent-strategy{color:var(--muted);max-width:52ch;margin-top:4px;font-size:13px;display:block}.win-eth{font-family:var(--mono);font-variant-numeric:tabular-nums;color:var(--ink);font-size:15px;display:block}.win-eth.small{color:var(--ink-soft);font-size:12px;display:inline}.win-sub{font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin-top:2px;font-size:10.5px;display:block}.split-cell{font-size:13px}.split-part{white-space:nowrap;align-items:baseline;gap:5px;margin:0 14px 4px 0;display:inline-flex}.split-agent{font-family:var(--mono);color:var(--ink-soft);font-size:12px}.split-agent.lead{color:var(--record)}.api-table{border-collapse:collapse;width:100%;max-width:76ch}.api-table td{border-bottom:1px solid var(--rule-faint);vertical-align:baseline;padding:9px 16px 9px 0;font-size:14px}.api-table .method{font-family:var(--mono);letter-spacing:.06em;color:var(--seal);white-space:nowrap;width:52px;font-size:11.5px}.api-table .path{font-family:var(--mono);color:var(--ink);overflow-wrap:anywhere;font-size:12.5px}.api-table .api-desc{color:var(--muted);font-size:13.5px}.funding{border-bottom:1px solid var(--rule-faint);padding:16px 0}.funding-head{justify-content:space-between;align-items:baseline;gap:12px;display:flex}.funding-head h3{font-size:15px}.funding-note{max-width:60ch;color:var(--muted);margin-top:6px;font-size:13.5px}.address-line{flex-wrap:wrap;align-items:center;gap:12px;margin-top:10px;display:flex}.address-line code{color:var(--ink-soft);overflow-wrap:anywhere;min-width:0;font-size:12px}.copy-button{border:none;border-bottom:1px solid var(--rule);color:var(--muted);font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;cursor:pointer;white-space:nowrap;background:0 0;padding:0 0 1px;font-size:11px}.copy-button:hover,.copy-button:focus-visible{color:var(--ink);border-bottom-color:var(--ink)}.testnet-warning{color:var(--gate);margin-top:10px;font-size:13px;font-style:italic}.colophon{border-top:2px solid var(--ink);z-index:1;background:color-mix(in srgb, var(--paper) 94%, transparent);margin-top:96px;position:relative}.colophon-inner{grid-template-columns:minmax(0,1.3fr) minmax(0,1fr) minmax(0,1fr);gap:40px;width:min(1140px,100vw - 40px);margin:0 auto;padding:34px 0 56px;display:grid}.colophon h3{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--muted);margin-bottom:12px;font-size:11px;font-weight:500}.colophon p,.colophon li{color:var(--ink-soft);font-size:13.5px;line-height:1.65}.colophon ul{margin:0;padding:0;list-style:none}.colophon li{padding:3px 0}.colophon .mark-story{align-items:flex-start;gap:16px;display:flex}.colophon .mark-story .p42-mark{flex:none;margin-top:4px}.colophon code{font-size:12px}.imprint{border-top:1px solid var(--rule-faint)}.imprint-inner{width:min(1140px,100vw - 40px);font-family:var(--mono);letter-spacing:.08em;color:var(--muted);flex-wrap:wrap;justify-content:space-between;gap:12px;margin:0 auto;padding:14px 0 18px;font-size:11px;display:flex}.loop-steps{counter-reset:loop;max-width:72ch;margin:0;padding:0;list-style:none}.loop-steps li{counter-increment:loop;border-bottom:1px solid var(--rule-faint);grid-template-columns:44px minmax(0,1fr);gap:14px;padding:14px 0;display:grid}.loop-steps li:before{content:counter(loop, decimal-leading-zero);font-family:var(--mono);color:var(--record);padding-top:2px;font-size:13px}.loop-steps strong{margin-bottom:3px;display:block}.loop-steps p{color:var(--ink-soft);font-size:14.5px}@media (max-width:1020px){.hero,.problem-cols{grid-template-columns:1fr;gap:36px}.hadamard-dialog{grid-template-columns:1fr}.hadamard-stage{border-right:0;border-bottom:1px solid var(--egg-rule);min-height:360px}.margin-rail{position:static}.colophon-inner{grid-template-columns:1fr;gap:28px}}@media (max-width:760px){html{font-size:16px}.mark-accent-top{opacity:.014;top:170px;right:-170px}.mark-accent-lower{display:none}.hadamard-modal{padding:12px}.hadamard-dialog{width:calc(100vw - 24px);max-height:calc(100vh - 24px)}.hadamard-stage{min-height:316px}.hadamard-matrix{grid-template-rows:repeat(4,44px);grid-template-columns:repeat(4,44px);gap:6px;padding:12px}.hadamard-proof{gap:14px;padding:30px 24px 24px}.hadamard-proof h2{font-size:26px}.register .hide-md{display:none}.register td,.register th{padding-right:10px}.hero{padding-top:40px}.section{margin-top:56px}}@media (max-width:540px){.register .hide-sm{display:none}.brand{gap:8px}.brand-name{font-size:22px}.hadamard-theme-toggle span{min-width:38px;padding-inline:6px}.proof-line{grid-template-columns:58px minmax(0,1fr);min-height:30px;padding:4px 0}.proof-trace{gap:4px}.verdict-seal{padding:10px 12px}.masthead-line{letter-spacing:.08em}.citations li{text-indent:0;padding-left:0}}