@font-face{font-family:VT323;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/vt323-vietnamese-400-normal.D0VnvwZ9.woff2)format("woff2"),url(/_astro/vt323-vietnamese-400-normal.D_5Q7Vcv.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:VT323;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/vt323-latin-ext-400-normal.iUdYUaX4.woff2)format("woff2"),url(/_astro/vt323-latin-ext-400-normal.DqOq58ri.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:VT323;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/vt323-latin-400-normal.wDgJuOC9.woff2)format("woff2"),url(/_astro/vt323-latin-400-normal.Dqn9ZSPj.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(/_astro/ibm-plex-mono-cyrillic-ext-400-normal.xuaO2J-f.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-ext-400-normal.DMdlQ8Kv.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-cyrillic-400-normal.BSMlKf0J.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-400-normal.CEL4l2ZJ.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-vietnamese-400-normal.BulugwFq.woff2)format("woff2"),url(/_astro/ibm-plex-mono-vietnamese-400-normal.DDuiU_S-.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-latin-ext-400-normal.BmRBH3aV.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-ext-400-normal.D3D2R8hC.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-latin-400-normal.DMJ8VG8y.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-400-normal.CvHOgSBP.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/ibm-plex-mono-cyrillic-ext-500-normal.BqneJy0T.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-ext-500-normal.BIfNGwUT.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/ibm-plex-mono-cyrillic-500-normal.Bq9vWWag.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-500-normal.Ael50iVv.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/ibm-plex-mono-vietnamese-500-normal.DZ4AoWbu.woff2)format("woff2"),url(/_astro/ibm-plex-mono-vietnamese-500-normal.C8zxqsMH.woff)format("woff");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/ibm-plex-mono-latin-ext-500-normal.CAhNIIs5.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-ext-500-normal.CZ70TYgx.woff)format("woff");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/ibm-plex-mono-latin-500-normal.DSY6xOcd.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-500-normal.CB9ihrfo.woff)format("woff");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:italic;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-cyrillic-ext-400-italic.CBjNughH.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-ext-400-italic.B4oTjJdl.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:italic;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-cyrillic-400-italic.CBJ8pzag.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-400-italic.2syK4fUT.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:italic;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-vietnamese-400-italic.DRuN92E5.woff2)format("woff2"),url(/_astro/ibm-plex-mono-vietnamese-400-italic.D6eaYXMU.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:italic;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-latin-ext-400-italic.B7_fu1kp.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-ext-400-italic.Bg0ZHwF4.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:italic;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-latin-400-italic.BqAiT5Ww.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-400-italic.66oory27.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{--blue:#00a;--dkblue:navy;--black:#000;--gray:#aaa;--white:#fff;--dim:#8f9ad6;--faint:#6f7ab8;--yellow:#ff5;--cyan:#5ff;--green:#5f5;--red:#f55;--pink:#f5f;--dkred:#a00;--font-ui:"VT323", "IBM Plex Mono", ui-monospace, monospace;--font-body:"IBM Plex Mono", ui-monospace, "SFMono-Regular", Menlo, monospace;--measure:78ch;--wide:1440px;--gutter:8px;color-scheme:dark}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;scroll-padding-top:4rem}body{background:var(--blue);min-height:100vh;color:var(--gray);font-family:var(--font-ui);flex-direction:column;margin:0;font-size:22px;line-height:1.12;display:flex}main{flex:1}::selection{background:var(--gray);color:var(--blue)}img,svg,canvas{max-width:100%}a{color:inherit;text-decoration:none}a:hover{color:var(--yellow)}:focus-visible{outline:2px solid var(--yellow);outline-offset:1px}.wrap{width:100%;max-width:var(--wide);padding:0 var(--gutter);margin:0 auto}.sr-only{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.w{color:var(--white)}.y{color:var(--yellow)}.c{color:var(--cyan)}.g{color:var(--green)}.r{color:var(--red)}.dim{color:var(--dim)}.panel{border:1px solid var(--gray);background:var(--blue);flex-direction:column;min-width:0;display:flex}.panel>header{background:var(--gray);color:var(--blue);white-space:nowrap;align-items:center;gap:8px;padding:0 6px;display:flex;overflow:hidden}.panel>header b{color:var(--dkred);font-weight:400}.panel>header .hint{color:var(--dkblue);margin-left:auto}.panel>.body{min-width:0;padding:3px 6px 6px}.row{white-space:nowrap;gap:10px;display:flex}.row .fill{text-overflow:ellipsis;flex:1;min-width:0;overflow:hidden}.row.wrap-ok,.row.wrap-ok .fill{white-space:normal}.rule{border:0;border-top:1px solid var(--dkblue);margin:4px 0}.label-col{width:11em;color:var(--dim);flex:none}.ledger{border-collapse:collapse;width:100%}.ledger th{text-align:left;color:var(--dim);white-space:nowrap;padding:0 10px 2px 0;font-weight:400}.ledger td{vertical-align:baseline;padding:1px 10px 1px 0}.ledger tr:hover td{background:var(--dkblue)}.ledger .no{color:var(--yellow);white-space:nowrap}.ledger .date{color:var(--dim);white-space:nowrap}.ledger .title a{color:var(--white)}.ledger .title a:hover{color:var(--yellow)}.ledger .st{white-space:nowrap}.st-final{color:var(--green)}.st-working{color:var(--yellow)}.st-revised{color:var(--cyan)}.st-draft{color:var(--red)}input[type=email],input[type=text]{font:inherit;color:var(--white);background:var(--dkblue);border:1px solid var(--gray);width:100%;max-width:22em;padding:0 6px}input::placeholder{color:var(--faint)}input:focus{border-color:var(--yellow);outline:none}button,.btn{font:inherit;cursor:pointer;color:var(--blue);background:var(--gray);border:0;padding:0 8px;display:inline-block}button:hover,.btn:hover{background:var(--yellow);color:var(--blue)}.empty{color:var(--faint);border:1px dashed var(--faint);padding:6px 8px}.empty code{color:var(--dim);font-family:var(--font-body);font-size:.68em}.wip{color:var(--red)}.cursor{background:var(--gray);vertical-align:-2px;width:.55em;height:1em;animation:1s step-end infinite blink;display:inline-block}@keyframes blink{50%{opacity:0}}@media (prefers-reduced-motion:reduce){.cursor{animation:none}}.prose{font-family:var(--font-body);max-width:var(--measure);color:var(--gray);font-size:15px;line-height:1.6}.prose>*+*{margin-top:1.05em}.prose h2,.prose h3,.prose h4{font-family:var(--font-ui);color:var(--white);font-weight:400;line-height:1.15}.prose h2{border-top:1px solid var(--dkblue);margin:1.8em 0 .5em;padding-top:.6em;font-size:26px}.prose h2:before{content:"§ ";color:var(--yellow)}.prose h3{margin:1.5em 0 .3em;font-size:22px}.prose h4{color:var(--dim);margin:1.3em 0 .2em;font-size:20px}.prose strong{color:var(--white)}.prose a{color:var(--cyan);text-underline-offset:2px;text-decoration:underline}.prose a:hover{color:var(--yellow)}.prose blockquote{border-left:2px solid var(--yellow);color:var(--dim);margin-left:0;padding-left:12px}.prose hr{border:0;border-top:1px solid var(--dkblue)}.prose :not(pre)>code{background:var(--dkblue);padding:0 .3em}.prose pre{font-family:var(--font-body);border:1px solid var(--dkblue);padding:10px 12px;font-size:13px;line-height:1.5;overflow-x:auto;background:var(--dkblue)!important}.prose pre.astro-code{background:var(--dkblue)!important}.prose img{border:1px solid var(--gray)}.prose table{border-collapse:collapse;width:100%;font-size:14px;display:block;overflow-x:auto}.prose th,.prose td{text-align:left;border-bottom:1px solid var(--dkblue);padding:4px 10px 4px 0}.prose th{font-family:var(--font-ui);color:var(--dim);font-size:18px;font-weight:400}.prose td{font-variant-numeric:tabular-nums}.prose .katex-display{background:var(--dkblue);border:1px solid var(--dkblue);margin:1.4em 0;padding:10px 6px;overflow:auto hidden}.prose .katex{color:var(--white);font-size:1.05em}.prose sup a[data-footnote-ref]{color:var(--yellow);text-decoration:none}.prose sup a[data-footnote-ref]:before{content:"["}.prose sup a[data-footnote-ref]:after{content:"]"}.prose .footnotes{border-top:1px solid var(--dkblue);color:var(--dim);margin-top:2rem;padding-top:.6rem;font-size:14px}.prose .footnotes h2{color:var(--dim);border:0;margin:0 0 .4rem;padding:0;font-size:18px}.prose .footnotes h2:before{content:""}.prose .footnotes li::marker{color:var(--yellow)}.prose .data-footnote-backref{margin-left:.3em;text-decoration:none}.callout{border:1px solid var(--gray);border-left:3px solid var(--cyan);padding:8px 10px}.callout>:first-child{margin-top:0}.grid{grid-template-columns:repeat(4,minmax(0,1fr));gap:4px;display:grid}.c2{grid-column:span 2}.c3{grid-column:span 3}.c4{grid-column:span 4}@media (width<=1100px){.grid{grid-template-columns:repeat(2,minmax(0,1fr))}.c3,.c4{grid-column:span 2}}@media (width<=700px){body{font-size:20px}.panel>header{white-space:normal;align-items:baseline;padding:2px 6px;line-height:1.15}.panel>header b{white-space:nowrap}.panel>header .hint{margin-left:0}.row{gap:8px}.grid{grid-template-columns:minmax(0,1fr)}.c2,.c3,.c4{grid-column:span 1}.label-col{width:8.5em}.hide-sm{display:none}}.topbar[data-astro-cid-nen7h5rs]{border-bottom:1px solid var(--gray)}.inner[data-astro-cid-nen7h5rs]{align-items:center;padding-top:2px;display:flex}.cell[data-astro-cid-nen7h5rs]{border-right:1px solid var(--gray);white-space:nowrap;text-overflow:ellipsis;padding:0 8px;overflow:hidden}.cell[data-astro-cid-nen7h5rs]:first-child{border-left:1px solid var(--gray)}.clock[data-astro-cid-nen7h5rs]{white-space:nowrap;margin-left:auto;padding:0 8px}@media (width<=700px){.inner[data-astro-cid-nen7h5rs]{flex-wrap:wrap;row-gap:2px}.cell[data-astro-cid-nen7h5rs]{padding:0 6px}.cell[data-astro-cid-nen7h5rs].w{order:1}.clock[data-astro-cid-nen7h5rs]{order:2;padding-right:0;font-size:.8em}.inner[data-astro-cid-nen7h5rs]:after{content:"";flex-basis:100%;order:3;height:0}.desk[data-astro-cid-nen7h5rs]{border-left:1px solid var(--gray);order:4}.loc[data-astro-cid-nen7h5rs]{order:5}}@media (width<=400px){.clock[data-astro-cid-nen7h5rs]{font-size:.72em}}.wire[data-astro-cid-kb2qz4ml]{border:1px solid var(--gray);border-top:0;align-items:stretch;display:flex;overflow:hidden}.tag[data-astro-cid-kb2qz4ml]{background:var(--gray);color:var(--blue);flex:none;padding:0 8px}.track[data-astro-cid-kb2qz4ml]{white-space:nowrap;flex:1;min-width:0;display:flex;overflow:hidden}.marquee[data-astro-cid-kb2qz4ml]{will-change:transform;flex:none;display:flex}.marquee[data-astro-cid-kb2qz4ml].ready{animation:slide var(--dur,40s) linear infinite}.marquee[data-astro-cid-kb2qz4ml] .half{display:flex}.run[data-astro-cid-kb2qz4ml]{flex:none;padding-left:12px;display:inline-flex}.track[data-astro-cid-kb2qz4ml].static{overflow-x:auto}.track[data-astro-cid-kb2qz4ml].static .marquee[data-astro-cid-kb2qz4ml]{animation:none}.wire[data-astro-cid-kb2qz4ml]:hover .marquee[data-astro-cid-kb2qz4ml]{animation-play-state:paused}.item[data-astro-cid-kb2qz4ml]{align-items:baseline;gap:8px;padding-right:4px;display:inline-flex}.item[data-astro-cid-kb2qz4ml] .t[data-astro-cid-kb2qz4ml]{opacity:.85}.item[data-astro-cid-kb2qz4ml] .when[data-astro-cid-kb2qz4ml]{opacity:.7}.item[data-astro-cid-kb2qz4ml] .sep[data-astro-cid-kb2qz4ml]{color:var(--dim);padding:0 12px}.item[data-astro-cid-kb2qz4ml] a[data-astro-cid-kb2qz4ml]{text-decoration:none}.item[data-astro-cid-kb2qz4ml] a[data-astro-cid-kb2qz4ml]:hover{text-underline-offset:3px;text-decoration:underline}.item[data-astro-cid-kb2qz4ml].y{color:var(--yellow)}.item[data-astro-cid-kb2qz4ml].g{color:var(--green)}.item[data-astro-cid-kb2qz4ml].pk{color:var(--pink)}.item[data-astro-cid-kb2qz4ml].c{color:var(--cyan)}.item[data-astro-cid-kb2qz4ml].r{color:var(--red)}.item[data-astro-cid-kb2qz4ml].w{color:var(--white)}@keyframes slide{0%{transform:translate(0)}to{transform:translate(-50%)}}footer[data-astro-cid-jo6i4kqk]{margin-top:6px}.fkeys[data-astro-cid-jo6i4kqk]{flex-wrap:wrap;gap:6px;padding-top:2px;padding-bottom:3px;display:flex}.fkeys[data-astro-cid-jo6i4kqk] a[data-astro-cid-jo6i4kqk]{gap:4px;display:flex}.fkeys[data-astro-cid-jo6i4kqk] .l[data-astro-cid-jo6i4kqk]{background:var(--gray);color:var(--blue);padding:0 6px}.fkeys[data-astro-cid-jo6i4kqk] a[data-astro-cid-jo6i4kqk]:hover .l[data-astro-cid-jo6i4kqk],.fkeys[data-astro-cid-jo6i4kqk] a[data-astro-cid-jo6i4kqk][aria-current=page] .l[data-astro-cid-jo6i4kqk]{background:var(--yellow)}.statusline[data-astro-cid-jo6i4kqk]{border-top:1px solid var(--gray);white-space:nowrap;gap:18px;padding-top:1px;padding-bottom:6px;display:flex;overflow:hidden}.sp[data-astro-cid-jo6i4kqk]{margin-left:auto}