:root{--paper: #F4EBC8;--paper-deep: #EFE4B7;--paper-light: #F8F1D5;--ink: #0E1F4C;--ink-soft: #1B3A8F;--ink-faint: rgba(14, 31, 76, .55);--ink-trace: rgba(14, 31, 76, .18);--selection: rgba(14, 31, 76, .2);--step--2: .75rem;--step--1: .875rem;--step-0: 1.0625rem;--step-1: 1.25rem;--step-2: 1.5rem;--step-3: 1.875rem;--step-4: 2.625rem;--step-5: 4.5rem;--font-serif: "Newsreader", "Iowan Old Style", "Charter", Georgia, serif;--font-display: "Linux Libertine", "Linux Libertine O", "Libertinus Serif", Georgia, "Times New Roman", Times, serif;--font-mono: "IBM Plex Mono", "Berkeley Mono", "JetBrains Mono", ui-monospace, monospace;--line-tight: 1.18;--line-snug: 1.32;--line-base: 1.62;--line-loose: 1.78;--measure: 38rem;--gutter: 16rem;--layout-pad: 2rem;--layout-gap: 3rem;--site-max: calc(var(--measure) + var(--layout-gap) + var(--gutter) + 2 * var(--layout-pad));--ease-out-quint: cubic-bezier(.22, 1, .36, 1);--ease-in-out-soft: cubic-bezier(.65, 0, .35, 1);--dur-fast: .14s;--dur-base: .24s;--dur-slow: .42s}@media(max-width:56rem){:root{--measure: 100%;--gutter: 0;--layout-gap: 0;--step-0: 1rem;--step-4: 2.25rem;--step-5: 3rem}}html{font-family:var(--font-serif);font-size:17px;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizeLegibility;font-feature-settings:"kern" 1,"liga" 1,"dlig" 0,"onum" 1,"pnum" 1}body{font-size:var(--step-0);line-height:var(--line-base);color:var(--ink);background:var(--paper)}p{font-size:var(--step-0);line-height:var(--line-base);margin:0 0 .85em;hyphens:auto;-webkit-hyphens:auto}h1,h2,h3,h4,h5,h6{font-family:var(--font-display);font-feature-settings:"kern" 1,"liga" 1,"lnum" 1,"tnum" 1;font-weight:500;line-height:var(--line-tight);color:var(--ink);margin:1.85em 0 .5em;text-wrap:balance}h1{font-size:var(--step-4);font-weight:500;letter-spacing:-.012em;margin-top:0}h2{font-size:var(--step-3);font-weight:500;letter-spacing:-.008em;margin-top:2.2em}h3{font-size:var(--step-2);font-weight:500;letter-spacing:-.004em}h4{font-size:var(--step-1);font-weight:600}.lead,p.lead,.post-lead{font-size:var(--step-1);line-height:var(--line-snug);color:var(--ink-faint);font-style:italic;margin-bottom:2em;font-family:var(--font-display);font-weight:300}.post-body>p:first-of-type:first-letter{font-family:var(--font-display);font-weight:500;font-size:4.6em;line-height:.86;float:left;padding:.04em .08em 0 0;margin-right:.05em;color:var(--ink);font-feature-settings:"lnum" 1}a{color:inherit;text-decoration:underline;text-decoration-thickness:.06em;text-underline-offset:.18em;text-decoration-color:var(--ink-trace);transition:text-decoration-color var(--dur-fast) var(--ease-out-quint),color var(--dur-fast) var(--ease-out-quint)}a:hover,a:focus-visible{color:var(--ink-soft);text-decoration-color:var(--ink-soft)}code{font-family:var(--font-mono);font-size:.92em;font-weight:500;background:#0e1f4c0f;padding:.06em .34em;border-radius:.18em;font-feature-settings:"liga" 0}pre{font-family:var(--font-mono);font-size:var(--step--1);line-height:1.62;padding:1.25em 1.4em;margin:1.4em -.5em;background:var(--paper-deep);border:1px solid var(--ink-trace);border-radius:4px;overflow-x:auto;font-feature-settings:"liga" 0}pre code{background:none;padding:0;font-size:inherit;border-radius:0}.lnum,code,pre,.katex{font-feature-settings:"lnum" 1,"tnum" 1}strong{font-weight:600}em{font-style:italic}.smallcaps{font-variant-caps:all-small-caps;letter-spacing:.08em;font-feature-settings:"lnum" 1}blockquote{margin:1.6em 0;padding:.2em 0 .2em 1.2em;border-left:2px solid var(--ink-trace);color:var(--ink-faint);font-style:italic}hr{border:none;border-top:1px solid var(--ink-trace);margin:3em 0}ul,ol{padding-left:1.4em;margin:.6em 0 1.2em}li{margin:.3em 0}::selection{background:var(--selection);color:var(--ink)}*,*:before,*:after{box-sizing:border-box}html,body{margin:0;padding:0}body{min-height:100dvh;display:grid;grid-template-rows:auto 1fr auto}main{max-width:var(--site-max);margin:0 auto;padding:0 var(--layout-pad);width:100%}.siteh{position:sticky;top:0;z-index:50;background:color-mix(in srgb,var(--paper) 86%,transparent);backdrop-filter:saturate(140%) blur(8px);-webkit-backdrop-filter:saturate(140%) blur(8px);border-bottom:1px solid var(--ink-trace)}.siteh-row{max-width:var(--site-max);width:100%;margin:0 auto;padding:.95rem var(--layout-pad);display:flex;align-items:center;gap:1.6rem}.siteh-mark{flex:none;font-family:var(--font-display);font-size:var(--step-0);font-weight:600;letter-spacing:-.014em;color:var(--ink);text-decoration:none}.siteh-mark:hover{color:var(--ink-soft)}.siteh-section{position:relative;flex:1 1 auto;min-width:0;display:flex;justify-content:center}.siteh-section-btn{display:inline-flex;align-items:center;gap:.55em;max-width:100%;background:none;border:0;padding:.3em .5em;margin:-.3em 0;cursor:pointer;color:var(--ink-faint);font-family:var(--font-display);font-size:var(--step--1);border-radius:3px;transition:color var(--dur-fast) var(--ease-out-quint),background var(--dur-fast) var(--ease-out-quint)}.siteh-section-btn:hover{color:var(--ink);background:#0e1f4c0d}.siteh-section-dot{width:5px;height:5px;border-radius:50%;background:var(--ink-soft);flex:none}.siteh-section-title{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-style:italic}.siteh-section-caret{font-size:.7em;color:var(--ink-trace)}.siteh-toc{position:absolute;top:calc(100% + .7rem);left:50%;transform:translate(-50%);min-width:17rem;max-width:24rem;max-height:60vh;overflow-y:auto;background:var(--paper-light);border:1px solid var(--ink-trace);border-radius:4px;box-shadow:0 12px 34px #0e1f4c24;padding:.5rem;display:flex;flex-direction:column}.siteh-toc-item{text-align:left;background:none;border:0;padding:.5em .7em;cursor:pointer;color:var(--ink-faint);font-family:var(--font-serif);font-size:var(--step--1);line-height:var(--line-snug);border-radius:3px;transition:color var(--dur-fast) var(--ease-out-quint),background var(--dur-fast) var(--ease-out-quint)}.siteh-toc-item:hover{color:var(--ink);background:#0e1f4c0f}.siteh-toc-item.is-active{color:var(--ink);font-weight:600;box-shadow:inset 2px 0 0 var(--ink)}.siteh-nav{flex:none;display:flex;gap:1.3rem;margin-left:auto}.siteh-nav a{color:var(--ink-faint);text-decoration:none;font-family:var(--font-display);font-size:var(--step--2);font-variant-caps:all-small-caps;letter-spacing:.1em;font-feature-settings:"lnum" 1;transition:color var(--dur-fast) var(--ease-out-quint)}.siteh-nav a:hover{color:var(--ink)}.siteh-nav a.is-active{color:var(--ink);font-weight:600}.siteh-peeknav{gap:1.6rem}.siteh-peekitem{position:relative;display:inline-flex}.siteh-peekitem>a{display:inline-block}.siteh-peek{position:absolute;top:calc(100% + .75rem);right:0;width:23rem;max-width:min(86vw,23rem);background:var(--paper-light);border:1px solid var(--ink-trace);border-radius:4px;box-shadow:0 14px 38px #0e1f4c29;padding:.5rem;display:flex;flex-direction:column;z-index:60}.siteh-peek:before{content:"";position:absolute;top:-.75rem;left:0;right:0;height:.75rem}.siteh-peek-row{display:block;padding:.6rem .7rem;text-decoration:none;color:inherit;border-radius:3px;transition:background var(--dur-fast) var(--ease-out-quint)}.siteh-peek-row:hover{background:#0e1f4c0f}.siteh-peek-title{display:block;font-family:var(--font-display);font-size:var(--step--1);font-weight:500;line-height:1.28;color:var(--ink)}.siteh-peek-meta{display:block;margin-top:.25em;font-family:var(--font-mono);font-size:var(--step--2);letter-spacing:.02em;color:var(--ink-faint)}.siteh-peek-all{margin-top:.25rem;padding:.55rem .7rem;font-family:var(--font-display);font-size:var(--step--2);font-variant-caps:all-small-caps;letter-spacing:.1em;color:var(--ink-faint);text-decoration:none;border-top:1px solid var(--ink-trace)}.siteh-peek-all:hover{color:var(--ink)}@media(max-width:42rem){.siteh-peek{display:none!important}}.siteh-progress{height:2px;background:var(--ink);transform-origin:left center;transform:scaleX(0);transition:transform .11s linear;will-change:transform}.site-footer-colophon{color:var(--ink-faint);text-decoration:none;border-bottom:1px solid var(--ink-trace)}.site-footer-colophon:hover{color:var(--ink);border-bottom-color:var(--ink)}@media(max-width:42rem){.siteh-section{display:none}.siteh-nav{margin-left:auto;gap:1rem}.siteh-row{gap:1rem}}.site-footer{max-width:var(--site-max);margin:0 auto;padding:3rem var(--layout-pad) 3rem;border-top:1px solid var(--ink-trace);color:var(--ink-faint);font-size:var(--step--1);display:flex;flex-wrap:wrap;gap:1rem 2.5rem;justify-content:space-between;align-items:baseline}.site-footer-links a{margin-left:.4em;margin-right:.4em}.site-footer-links a:first-of-type{margin-left:.6em}.post{max-width:var(--site-max);margin:0 auto;padding:4rem var(--layout-pad) 6rem}.post-header{max-width:var(--measure);margin-bottom:2.5rem}.post-body{max-width:var(--measure);counter-reset:sidenote}.sidenote-anchor{position:relative}.sidenote-marker{counter-increment:sidenote;cursor:default}.sidenote-marker:after{content:counter(sidenote);font-family:var(--font-serif);font-feature-settings:"onum" 1;font-size:.66em;vertical-align:super;line-height:0;color:var(--ink-soft);margin-left:.12em;transition:color var(--dur-fast) var(--ease-out-quint)}.sidenote-toggle{position:absolute;width:1px;height:1px;opacity:0;pointer-events:none}.sidenote{float:right;clear:right;width:var(--gutter);margin-right:calc(-1 * (var(--gutter) + var(--layout-gap)));margin-bottom:1.8em;font-family:var(--font-serif);font-size:var(--step--1);line-height:var(--line-snug);color:var(--ink-faint);font-style:italic;text-align:left;display:block}.sidenote:before{content:counter(sidenote);font-family:var(--font-serif);font-feature-settings:"onum" 1;font-style:normal;font-size:.7em;vertical-align:super;line-height:0;color:var(--ink);margin-right:.45em}.sidenote-anchor:hover .sidenote-marker:after{color:var(--ink)}.sidenote-anchor:hover .sidenote{color:var(--ink)}@media(max-width:56rem){.sidenote{display:none;float:none;width:auto;margin:0}.sidenote-marker{cursor:pointer}.sidenote-marker:after{color:var(--ink-soft);border-bottom:1px dotted var(--ink-trace)}.sidenote-toggle:checked~.sidenote{display:block;margin:1em 0;padding-left:1em;border-left:2px solid var(--ink-trace);font-size:var(--step--1)}}.post-body>p{text-align:justify;text-justify:inter-word;hyphens:auto;-webkit-hyphens:auto}.marginalia{float:right;clear:right;width:var(--gutter);margin-right:calc(-1 * (var(--gutter) + var(--layout-gap)));margin-bottom:1.8em;font-family:var(--font-serif);font-size:var(--step--1);line-height:var(--line-snug);color:var(--ink-faint);font-style:italic;text-align:left}.marginalia .marg-rule{display:block;width:1.6rem;height:2px;background:var(--ink);opacity:.55;margin-bottom:.7em}.marginalia>:is(p,ul,ol):first-of-type{margin-top:0}.marginalia>:last-child{margin-bottom:0}.figure{clear:both;max-width:var(--measure);margin:2.6em 0}.figure img,.figure svg{width:100%;height:auto;display:block;border:1px solid var(--ink-trace);background:var(--paper-light)}.figure figcaption{font-family:var(--font-serif);font-size:var(--step--1);font-style:italic;color:var(--ink-faint);margin-top:.8em;max-width:var(--measure);line-height:var(--line-snug);text-align:left}.figure figcaption .fig-num{font-family:var(--font-display);font-feature-settings:"lnum" 1;font-style:normal;font-weight:500;color:var(--ink);margin-right:.4em}.exhibit{clear:both;max-width:var(--measure);margin:2.4em 0;padding:1.4em 1.6em;background:var(--paper-light);border:1px solid var(--ink-trace)}.exhibit-title{font-family:var(--font-display);font-size:var(--step--2);letter-spacing:.12em;font-variant-caps:all-small-caps;color:var(--ink-soft);font-feature-settings:"lnum" 1;margin:0 0 .7em}.exhibit-caption{margin:.9em 0 0;font-family:var(--font-serif);font-size:var(--step--1);font-style:italic;color:var(--ink-faint);line-height:var(--line-snug);text-align:left}@media(max-width:56rem){.post-header,.post-body{max-width:100%}.marginalia{float:none;width:auto;margin:1.2em 0;padding-left:1em;border-left:2px solid var(--ink-trace)}.figure,.exhibit{max-width:100%}.post-body>p{text-align:left}}.post-header{margin-bottom:2.5rem}.post-title{font-family:var(--font-display);font-size:var(--step-4);font-weight:500;line-height:var(--line-tight);letter-spacing:-.012em;margin:0 0 .4em;text-wrap:balance}.post-meta{font-family:var(--font-display);font-size:var(--step--1);color:var(--ink-faint);font-variant-caps:all-small-caps;letter-spacing:.06em;display:flex;gap:1.2em;align-items:baseline}.post-meta time,.post-meta .post-section,.post-meta .post-reading{font-feature-settings:"lnum" 1}.katex{color:var(--ink);font-size:1.05em;font-feature-settings:"lnum" 1,"tnum" 1}.katex{vertical-align:baseline}.katex-display{margin:1.6em 0;padding:.4em 0;overflow-x:auto;overflow-y:hidden}.katex-display>.katex{font-size:1.18em}.katex-display .katex-html{text-align:center}.katex .frac-line{border-bottom-color:var(--ink)!important;border-bottom-width:.052em!important}.katex .sqrt>.vlist-t>.vlist-r>.vlist>span>.hide-tail>svg{fill:var(--ink)}.katex .math-hl{color:var(--ink-soft);font-weight:500}.softmax-bars-marg{display:flex;flex-direction:column;gap:.6em;padding:.9em 1em;background:var(--paper-light);border:1px solid var(--ink-trace);border-radius:2px;font-style:normal}.softmax-bars-marg .softmax-bars{color:var(--ink);display:block;width:100%;height:auto}.softmax-bars-block{display:block;color:var(--ink)}.softmax-bars-block .softmax-bars{width:100%;height:auto;margin:.18em 0 .22em}.softmax-bars-row{display:flex;width:100%;font-family:var(--font-mono);font-size:10.5px;line-height:1.2;font-feature-settings:"lnum" 1,"tnum" 1;white-space:nowrap}.softmax-bars-logits{color:var(--ink-faint);font-weight:400}.softmax-bars-probs{color:var(--ink);font-weight:500}.softmax-bars-prob{transition:color var(--dur-base) var(--ease-out-quint)}.softmax-bars-prob.is-top{color:var(--ink-soft);font-weight:600}.softmax-bars-marg:before{content:"LIVE · SOFTMAX";font-family:var(--font-display);font-size:var(--step--2);letter-spacing:.12em;font-variant-caps:all-small-caps;color:var(--ink-soft);font-feature-settings:"lnum" 1}.softmax-bars-caption{margin:0;font-family:var(--font-serif);font-size:var(--step--2);line-height:var(--line-snug);color:var(--ink-faint);font-style:italic}.stf{font-family:var(--font-mono);font-size:var(--step-0);line-height:1.7;color:var(--ink);margin:0;display:flex;flex-wrap:wrap;align-items:baseline}.stf-expr{white-space:pre}.tangle-number{display:inline-block;font-family:var(--font-mono);font-size:.96em;font-weight:500;color:var(--ink-soft);padding:.04em .32em;margin:0 .04em;border-bottom:1.4px dashed var(--ink-soft);cursor:ew-resize;user-select:none;-webkit-user-select:none;touch-action:none;position:relative;transition:background-color var(--dur-fast) var(--ease-out-quint),color var(--dur-fast) var(--ease-out-quint),border-color var(--dur-fast) var(--ease-out-quint);font-feature-settings:"lnum" 1,"tnum" 1;font-variant-numeric:tabular-nums;outline:none}.tangle-number:hover,.tangle-number:focus-visible{background:#1b3a8f1a;color:var(--ink);border-bottom-color:var(--ink)}.tangle-number:active{background:#1b3a8f2e;border-bottom-style:solid}.tangle-number:before{content:"⇔";position:absolute;top:-1.1em;left:50%;transform:translate(-50%);font-size:.7em;color:var(--ink-faint);opacity:0;pointer-events:none;transition:opacity var(--dur-base) var(--ease-out-quint);font-family:var(--font-mono)}.tangle-number:hover:before,.tangle-number:focus-visible:before{opacity:1}.tangle-computed{font-family:var(--font-mono);font-size:.96em;font-weight:500;color:var(--ink);font-feature-settings:"lnum" 1,"tnum" 1;font-variant-numeric:tabular-nums;background:#1b3a8f0a;padding:.04em .24em;border-radius:.18em}.aterm{position:relative;display:inline}.aterm-trigger{font:inherit;color:var(--ink);background:none;border:0;padding:0;cursor:help;text-decoration:underline;text-decoration-style:dotted;text-decoration-thickness:1px;text-underline-offset:.22em;text-decoration-color:var(--ink-soft);transition:color var(--dur-fast) var(--ease-out-quint)}.aterm-trigger:hover,.aterm-trigger[aria-expanded=true]{color:var(--ink-soft)}.aterm-pop{position:absolute;z-index:40;left:0;top:1.7em;width:19rem;max-width:min(86vw,19rem);background:var(--paper-light);border:1px solid var(--ink-trace);border-radius:4px;box-shadow:0 10px 28px #0e1f4c29;padding:.85rem 1rem;font-style:normal;display:block}.aterm-pop-gloss{display:block;font-family:var(--font-serif);font-size:var(--step--1);line-height:var(--line-snug);color:var(--ink)}.aterm-pop-link{display:inline-block;margin-top:.55em;font-family:var(--font-mono);font-size:var(--step--2);color:var(--ink-soft);text-decoration:none;border-bottom:1px solid var(--ink-trace)}.aterm-pop-link:hover{color:var(--ink);border-bottom-color:var(--ink)}.citation{display:inline-block;position:relative}.citation-trigger{font-family:var(--font-mono);font-size:.84em;font-feature-settings:"lnum" 1,"tnum" 1;color:var(--ink-soft);background:none;border:none;padding:.08em .24em;margin:0 .04em;cursor:pointer;border-bottom:1px solid var(--ink-trace);transition:color var(--dur-fast) var(--ease-out-quint),border-color var(--dur-fast) var(--ease-out-quint)}.citation-trigger:hover,.citation-trigger[aria-expanded=true]{color:var(--ink);border-bottom-color:var(--ink)}.citation-popover{position:absolute;z-index:30;top:1.6em;left:0;width:22rem;max-width:min(90vw,22rem);background:var(--paper-light);border:1px solid var(--ink-trace);box-shadow:0 12px 32px -8px #0e1f4c2e,0 2px 4px #0e1f4c14;padding:1.1em 1.2em 1em;border-radius:2px;font-family:var(--font-serif);font-size:var(--step--1);line-height:var(--line-snug);color:var(--ink);font-style:normal}.citation-popover .cite-title{font-family:var(--font-display);font-weight:500;font-size:var(--step-0);margin:0 0 .3em;line-height:var(--line-tight)}.citation-popover .cite-meta{font-size:var(--step--2);color:var(--ink-faint);font-variant-caps:all-small-caps;letter-spacing:.08em;margin:0 0 .6em;font-feature-settings:"lnum" 1}.citation-popover .cite-abstract{margin:0 0 .6em;color:var(--ink)}.citation-popover .cite-links{display:flex;gap:.8em;font-size:var(--step--2);font-variant-caps:all-small-caps;letter-spacing:.06em}.citation-popover .cite-links a{color:var(--ink-soft);text-decoration:underline}.lp{max-width:var(--site-max);margin:0 auto;padding:4.5rem var(--layout-pad) 6rem}.lp-intro{max-width:40rem;margin:2rem 0 3.8rem}.lp-vh{position:absolute;width:1px;height:1px;margin:-1px;padding:0;border:0;clip:rect(0 0 0 0);clip-path:inset(50%);overflow:hidden;white-space:nowrap}.lp-hook{font-family:var(--font-serif);font-size:var(--step-1);font-weight:400;line-height:1.5;color:var(--ink);margin:0 0 1.6rem;max-width:34rem;text-align:justify;text-justify:inter-word;hyphens:auto;-webkit-hyphens:auto}.lp-hook:first-letter{font-family:var(--font-display);font-weight:600;font-size:3em;line-height:.84;float:left;padding:.04em .12em 0 0;color:var(--ink)}.lp-meta{font-family:var(--font-serif);font-size:var(--step-0);line-height:var(--line-base);color:var(--ink);margin:0;max-width:36rem}.lp-featured{max-width:42rem;margin:0 0 3.8rem}.lp-featured-label{font-family:var(--font-mono);font-size:var(--step--2);letter-spacing:.16em;text-transform:uppercase;color:var(--ink-soft);margin:0 0 .7rem}.lp-featured-titlelink{text-decoration:none;color:inherit}.lp-featured-title{font-family:var(--font-display);font-size:var(--step-2);font-weight:500;line-height:1.18;letter-spacing:-.008em;color:var(--ink);margin:0 0 .5rem;transition:color var(--dur-fast) var(--ease-out-quint)}.lp-featured-titlelink:hover .lp-featured-title{color:var(--ink-soft)}.lp-featured-sub{font-family:var(--font-serif);font-style:italic;font-size:var(--step-0);line-height:var(--line-snug);color:var(--ink-faint);margin:0 0 1.4rem;max-width:34rem}.lp-featured-plate{position:relative;padding:1.9rem 2.1rem;border:1px solid var(--ink);background:var(--paper-light)}.lp-featured-plate:before,.lp-featured-plate:after{content:"";position:absolute;width:10px;height:10px;border:1px solid var(--ink)}.lp-featured-plate:before{top:-5px;left:-5px;border-right:0;border-bottom:0}.lp-featured-plate:after{bottom:-5px;right:-5px;border-left:0;border-top:0}.lp-figure{font-family:var(--font-mono);font-size:var(--step-0);line-height:1.7;color:var(--ink);margin:0;display:flex;flex-wrap:wrap;align-items:baseline;gap:.15em .35em}.lp-figure-caption{margin:1rem 0 0;font-family:var(--font-serif);font-size:var(--step--1);font-style:italic;color:var(--ink-faint);line-height:var(--line-snug);max-width:34rem}.lp-featured-cta{display:inline-block;margin-top:1.3rem;font-family:var(--font-display);font-size:var(--step--1);font-variant-caps:all-small-caps;letter-spacing:.08em;color:var(--ink);text-decoration:none;border-bottom:1px solid var(--ink-trace)}.lp-featured-cta:hover{color:var(--ink-soft);border-bottom-color:var(--ink-soft)}.lp-writing{max-width:52rem;border-top:1px solid var(--ink-trace);padding-top:2.2rem;margin-bottom:3.6rem}.lp-writing-head{display:flex;align-items:baseline;justify-content:space-between;gap:1.5rem;margin-bottom:1.4rem}.lp-writing-title{font-family:var(--font-display);font-size:var(--step-2);font-weight:600;margin:0;letter-spacing:-.006em}.lp-writing-all{font-family:var(--font-display);font-size:var(--step--2);font-variant-caps:all-small-caps;letter-spacing:.1em;color:var(--ink-faint);text-decoration:none;white-space:nowrap}.lp-writing-all:hover{color:var(--ink)}.lp-index{list-style:none;padding:0;margin:0}.lp-entry{border-top:1px solid var(--ink-trace)}.lp-entry:last-child{border-bottom:1px solid var(--ink-trace)}.lp-entry-link{display:grid;grid-template-columns:8rem 1fr auto;gap:1.6rem;align-items:baseline;padding:1.2rem 0;text-decoration:none;color:inherit;transition:background-color var(--dur-fast) var(--ease-out-quint)}.lp-entry-link:hover{background:#0e1f4c0a}.lp-entry-link:hover .lp-entry-title{color:var(--ink-soft)}.lp-entry-date{font-family:var(--font-mono);font-size:var(--step--2);letter-spacing:.04em;color:var(--ink-faint);white-space:nowrap}.lp-entry-main{min-width:0}.lp-entry-title{display:block;font-family:var(--font-display);font-size:var(--step-1);font-weight:600;line-height:var(--line-tight);transition:color var(--dur-fast) var(--ease-out-quint)}.lp-entry-sub{display:block;margin-top:.35em;font-style:italic;font-size:var(--step--1);color:var(--ink-faint);line-height:var(--line-snug)}.lp-entry-section{font-family:var(--font-display);font-size:var(--step--2);font-variant-caps:all-small-caps;letter-spacing:.1em;color:var(--ink-faint);white-space:nowrap}.lp-papers{max-width:52rem;border-top:1px solid var(--ink-trace);padding-top:2.2rem;margin-bottom:3.6rem}.lp-papers-head{margin-bottom:1.4rem}.lp-papers-title{font-family:var(--font-display);font-size:var(--step-2);font-weight:500;margin:0;letter-spacing:-.006em}.lp-paper-list{list-style:none;padding:0;margin:0}.lp-paper{border-top:1px solid var(--ink-trace);padding:1.2rem 0}.lp-paper:last-child{border-bottom:1px solid var(--ink-trace)}.lp-paper-link{display:block;text-decoration:none;color:inherit}.lp-paper-name{display:block;font-family:var(--font-display);font-size:var(--step-1);font-weight:500;line-height:var(--line-tight);color:var(--ink);transition:color var(--dur-fast) var(--ease-out-quint)}.lp-paper-link:hover .lp-paper-name{color:var(--ink-soft)}.lp-paper-meta{display:block;margin-top:.35em;font-family:var(--font-mono);font-size:var(--step--2);letter-spacing:.02em;color:var(--ink-faint)}.lp-paper-note{margin:.6em 0 0;font-family:var(--font-serif);font-size:var(--step--1);font-style:italic;line-height:var(--line-snug);color:var(--ink-faint);max-width:38rem}.lp-close{max-width:38rem;border-top:1px solid var(--ink-trace);padding-top:2rem;display:flex;flex-direction:column;gap:.45rem}.lp-close p{margin:0;font-size:var(--step--1)}.lp-sub{color:var(--ink)}@media(max-width:56rem){.lp-intro{max-width:100%}.lp-hook{font-size:var(--step-1);max-width:100%;text-align:left}.lp-hook:first-letter{font-size:2.3em}.lp-specimen-plate .softmax-bars-block{width:100%}.lp-entry-link{grid-template-columns:1fr;gap:.35rem}.lp-entry-date{order:2}.lp-entry-section{display:none}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2) format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff) format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2) format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff) format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2) format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff) format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2) format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff) format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2) format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff) format("woff"),url(/_astro/KaTeX_Fraktur-Regular.CB_wures.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2) format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff) format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2) format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff) format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2) format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff) format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2) format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff) format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2) format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff) format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2) format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff) format("woff"),url(/_astro/KaTeX_Math-Italic.flOr_0UB.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2) format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff) format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2) format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff) format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2) format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff) format("woff"),url(/_astro/KaTeX_Size1-Regular.Dbsnue_I.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2) format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff) format("woff"),url(/_astro/KaTeX_Size2-Regular.B7gKUWhC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff) format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2) format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff) format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2) format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff) format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.46"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}