:root{--bg: #ffffff;--band: #f4f5f7;--surface: #ffffff;--surface-2: #eceef2;--ink: #1a2230;--muted: #5b6574;--faint: #939cab;--line: #dcdfe5;--prefix: #d08a00;--prefix-soft: #fcefd0;--prefix-ink: #6c4800;--real: #1a7f8a;--real-soft: #dcf0f2;--ok: #2a7a4b;--ok-soft: #e0f2e7;--bad: #b3392f;--bad-soft: #f9e2df;--neg: #3a62b3;--pos: #c24a38;--focus: #2f6fd6;--f-body: "IBM Plex Sans", "Noto Sans SC", system-ui, -apple-system, "PingFang SC", "Microsoft YaHei", "Segoe UI", sans-serif;--f-mono: "JetBrains Mono", ui-monospace, "SFMono-Regular", Menlo, "Noto Sans SC", monospace;color-scheme:light}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--bg: #111418;--band: #15191e;--surface: #222832;--surface-2: #262c35;--ink: #e4e8ee;--muted: #9ba4b2;--faint: #6d7686;--line: #353d4a;--prefix: #f0b429;--prefix-soft: #3a2d0f;--prefix-ink: #f6d27c;--real: #4cb8c0;--real-soft: #12343a;--ok: #62c68e;--ok-soft: #14301f;--bad: #f07a70;--bad-soft: #3b1b19;--neg: #6e97ea;--pos: #f07e6a;--focus: #7aa7ff;color-scheme:dark}}:root[data-theme=dark]{--bg: #111418;--band: #15191e;--surface: #222832;--surface-2: #262c35;--ink: #e4e8ee;--muted: #9ba4b2;--faint: #6d7686;--line: #353d4a;--prefix: #f0b429;--prefix-soft: #3a2d0f;--prefix-ink: #f6d27c;--real: #4cb8c0;--real-soft: #12343a;--ok: #62c68e;--ok-soft: #14301f;--bad: #f07a70;--bad-soft: #3b1b19;--neg: #6e97ea;--pos: #f07e6a;--focus: #7aa7ff;color-scheme:dark}*,*:before,*:after{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--ink);font:400 16px/1.65 var(--f-body);-webkit-text-size-adjust:100%}[hidden]{display:none!important}a{color:var(--real)}:focus-visible{outline:2px solid var(--focus);outline-offset:2px}button,input,select{font:inherit;color:inherit}h1,h2{margin:0;line-height:1.15;font-weight:600;text-wrap:balance}h1{font-size:clamp(1.7rem,4.2vw,2.6rem);letter-spacing:-.015em}h2{font-size:1.6rem}p{margin:0}.narrow{max-width:760px;margin-inline:auto;padding-inline:20px}.topbar{position:sticky;top:env(safe-area-inset-top,0px);z-index:20;background:var(--bg);border-bottom:1px solid var(--line)}.topbar-in{max-width:1400px;margin-inline:auto;padding:10px 20px;display:flex;align-items:center;justify-content:space-between;gap:12px}.brand{font-weight:600;color:var(--ink);text-decoration:none}.topnav{display:flex;align-items:center;gap:4px;font-size:14px;overflow-x:auto;overflow-y:hidden;scrollbar-width:none;min-width:0;align-self:stretch}.topnav a{position:relative;display:inline-flex;align-items:center;gap:6px;color:var(--muted);text-decoration:none;padding:6px 10px 7px;white-space:nowrap}.topnav a:hover{color:var(--ink)}.topnav a.is-here{color:var(--ink);font-weight:500}.topnav a.is-here:after{content:"";position:absolute;left:10px;right:10px;bottom:-11px;height:2px;background:var(--ink)}.topnav a.nav-demo{color:var(--prefix-ink)}.topnav a.nav-demo .dot{width:7px;height:7px;border-radius:50%;background:var(--prefix);box-shadow:0 0 0 3px var(--prefix-soft)}.topnav a.nav-demo.is-here:after{background:var(--prefix)}.topbar-end{display:flex;align-items:center;gap:14px;font-size:14px;flex:none}.topbar-end a{color:var(--muted);text-decoration:none}@media(max-width:720px){.brand,.topbar-end a{display:none}.topbar-in{padding-inline:12px}}html{scroll-padding-top:64px;scroll-behavior:smooth}.lang{padding:3px 10px;border:1px solid var(--line);border-radius:4px;background:var(--surface);cursor:pointer;font-size:13px}.intro{padding-block:56px 56px;display:grid;gap:18px}.sub{color:var(--muted);font-size:1.05rem;margin-top:-8px}.paper-head{display:grid;gap:4px;margin-bottom:8px}.paper-head h1{margin-bottom:8px}.authors{margin-bottom:2px;font-size:1.05rem;font-weight:500}.authors a{white-space:nowrap;color:inherit;text-decoration:none;border-bottom:1px solid var(--line)}.authors a:hover{border-bottom-color:currentColor}.authors sup,.affil sup{margin-left:1px;font-size:.7em}.affil{margin-top:0;color:var(--muted);font-size:.95rem}.venue{color:var(--muted);font-size:.95rem}.links{display:flex;flex-wrap:wrap;gap:10px;margin-top:8px}.btn{display:inline-block;padding:5px 16px;border:1px solid var(--ink);border-radius:999px;color:var(--ink);text-decoration:none;font-size:14px;font-weight:500}.btn:hover{background:var(--ink);color:var(--bg)}.lead{font-size:1.15rem;line-height:1.6}.method-h{margin-top:24px;font-size:1.7rem}.fig{margin:8px 0;display:grid;gap:10px}.fig figcaption{font-size:14px;color:var(--muted)}.fig-svg svg{display:block;width:100%;height:auto}.f-box{fill:var(--surface);stroke:var(--line)}.f-y{fill:var(--real-soft);stroke:var(--real)}.f-model{fill:var(--ink)}.f-model-t{fill:var(--bg);font-weight:600;font-size:13px}.f-prefix{fill:var(--prefix)}.f-t{fill:var(--ink);font-size:13px}.f-var{fill:var(--muted);font:italic 500 13px var(--f-mono)}.f-tag{fill:var(--faint);font-size:12px}.f-note{fill:var(--muted);font-size:12.5px}.f-arrow{stroke:var(--faint);stroke-width:1.5;fill:none}.f-dash{stroke:var(--prefix);stroke-width:1.5;stroke-dasharray:4 4;fill:none}.f-plain{fill:var(--surface-2);stroke:var(--line)}.f-t-muted{fill:var(--muted)}.f-branch{fill:var(--muted);font-size:12px}.f-branch-p{fill:var(--prefix-ink);font-size:12px;font-weight:500}.f-head{fill:var(--faint)}.f-head-p{fill:var(--prefix)}.table-wrap{overflow-x:auto}.results{width:100%;border-collapse:collapse;font-size:15px}.results th{text-align:left;font-weight:500;font-size:13px;color:var(--muted);padding:6px 10px;border-bottom:1px solid var(--ink);white-space:nowrap}.results td{padding:8px 10px;border-bottom:1px solid var(--line)}.results td:first-child{font-weight:600;white-space:nowrap}.results td:nth-child(2){color:var(--muted);font-size:14px}.results .num{text-align:right;font-family:var(--f-mono);font-variant-numeric:tabular-nums;white-space:nowrap}.results tr.is-demo td{background:var(--band)}.viz{background:var(--band);border-block:1px solid var(--line);padding-block:40px 44px}.viz-in{max-width:1120px;margin-inline:auto;padding-inline:20px;display:grid;gap:20px}.viz-head{display:grid;gap:6px;max-width:760px}.viz-head p{color:var(--muted)}.controls{display:grid;grid-template-columns:minmax(130px,170px) minmax(0,1fr) minmax(0,1fr) 84px auto;gap:12px;align-items:start;padding:14px;background:var(--surface);border:1px solid var(--line);border-radius:8px}@media(max-width:980px){.controls{grid-template-columns:1fr auto}.f-src,.f-usr,.f-ex{grid-column:1 / -1}.run{align-self:end}}.field{display:grid;gap:4px;min-width:0}.field label{font-size:12.5px;color:var(--muted)}.field input,.field select{width:100%;height:38px;padding:0 10px;border:1px solid var(--line);border-radius:5px;background:var(--bg)}.field input{font-family:var(--f-mono);font-size:14px}.field input:focus,.field select:focus{outline:none;border-color:var(--focus)}.hint{font-size:12.5px;color:var(--muted);min-height:1.5em;overflow-wrap:anywhere}.hint .y{font-family:var(--f-mono);color:var(--real)}.hint button{margin-left:6px;border:0;padding:0;background:none;color:var(--focus);text-decoration:underline;cursor:pointer;font-size:12.5px}.run{margin-top:21px;height:38px;padding:0 22px;border:0;border-radius:5px;background:var(--ink);color:var(--bg);font-weight:600;cursor:pointer}.run:disabled{opacity:.55;cursor:progress}.stage{background:var(--surface);border:1px solid var(--line);border-radius:8px;padding:14px 16px 16px;display:grid;gap:12px;min-width:0}.stage-bar{display:flex;flex-wrap:wrap;align-items:center;gap:10px 22px}.seg{display:inline-flex;border:1px solid var(--line);border-radius:6px;overflow:hidden}.seg button{border:0;background:var(--surface);padding:6px 14px;cursor:pointer;font-size:14px}.seg button+button{border-left:1px solid var(--line)}.seg button[aria-pressed=true]{background:var(--ink);color:var(--bg)}.stepper{display:inline-flex;align-items:center;gap:4px;font-size:14px;color:var(--muted)}.stepper button{width:26px;height:26px;border:1px solid var(--line);border-radius:4px;background:var(--surface);cursor:pointer;line-height:1}.stepper-r output{min-width:2.4em}.stepper-r{color:var(--prefix-ink)}.stepper output{min-width:4.2em;text-align:center;font:500 14px var(--f-mono);color:var(--ink);font-variant-numeric:tabular-nums}.badge{font-size:13.5px;padding:3px 10px;border-radius:999px;background:var(--surface-2);color:var(--muted)}.badge.ok{background:var(--ok-soft);color:var(--ok)}.badge:empty{display:none}.demo{margin-left:auto;font-size:12.5px;color:var(--muted);background:transparent;border:1px solid var(--line);padding:3px 10px;border-radius:999px;cursor:help;position:relative}.demo:empty{display:none}.demo button{margin-left:6px;border:0;background:none;color:inherit;text-decoration:underline;cursor:pointer;padding:0}.canvas{overflow-x:auto;min-height:200px}.canvas svg{display:block;margin-inline:auto}.caption{font-size:15px;min-height:3em}.c-card{fill:var(--surface);stroke:var(--line)}.c-card-back{fill:var(--band);stroke:var(--line)}.c-cell-p{fill:var(--prefix)}.c-cell-t{fill:var(--real)}.c-empty{fill:none;stroke:var(--line);stroke-dasharray:3 3}.c-div{stroke:var(--ink);stroke-opacity:.55}.c-grid{stroke:var(--line)}.c-lab{fill:var(--muted);font:11px var(--f-mono)}.c-lab-p{fill:var(--prefix-ink);font:500 11px var(--f-mono)}.c-group{fill:var(--muted);font-size:12px}.c-colhead{fill:var(--ink);font-size:13px;font-weight:600}.c-tok{fill:var(--surface-2)}.c-tok-gen{fill:var(--real-soft)}.c-tok-last{fill:var(--prefix-soft);stroke:var(--prefix)}.c-tok-t{fill:var(--ink);font:12px var(--f-mono)}.c-mark-ok{fill:var(--ok);font-size:13px;font-weight:600}.c-mark-bad{fill:var(--bad);font-size:13px;font-weight:600}.c-row{fill:transparent;cursor:pointer}.c-row-on{fill:var(--ink);fill-opacity:.06}.c-row-line{fill:none;stroke:var(--ink);stroke-width:1.5}.c-sep{stroke:var(--faint);stroke-dasharray:2 3}.article{padding-block:48px 24px;display:grid;gap:40px}.article section{display:grid;gap:14px}.svr{display:grid;grid-template-columns:var(--svr-cols, 1fr auto 1fr auto 1fr);align-items:center;gap:8px}.svr-op{font:500 20px var(--f-mono);color:var(--muted);text-align:center}.svr-cell{display:grid;gap:4px;min-width:0}.svr-lab{font-size:12.5px;color:var(--muted)}@media(max-width:620px){.svr{grid-template-columns:1fr!important}}.heatmap{position:relative;max-width:100%;overflow-x:auto}.heatmap canvas{display:block}.heat-tip{position:absolute;z-index:3;pointer-events:none;background:var(--ink);color:var(--bg);font:12px/1.35 var(--f-mono);padding:5px 8px;border-radius:4px;max-width:280px}.foot{padding-block:24px 56px;font-size:13.5px;color:var(--muted);border-top:1px solid var(--line)}@media(max-width:560px){.viz-in{padding-inline:12px}.stage{padding:12px 10px}.controls{padding:12px}}@media(prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}html{scroll-behavior:auto}}.btn-demo{background:var(--prefix);border-color:var(--prefix);color:#1d1400}.btn-demo:hover{background:var(--prefix);color:#1d1400;box-shadow:0 0 0 3px var(--prefix-soft)}.lab{background:var(--surface);border:1px solid var(--line);border-radius:10px;overflow:hidden}.lab-grid{display:grid;grid-template-columns:minmax(0,1fr) 44px minmax(0,1fr)}@media(max-width:860px){.lab-grid{grid-template-columns:1fr}.lab-arrow{height:36px}.lab-arrow span{transform:rotate(90deg)}}.pane{padding:20px;display:grid;gap:12px;align-content:start;min-width:0}.pane-h{display:flex;align-items:center;gap:10px}.pane-h h3{margin:0;font-size:1.15rem;font-weight:600}.pane-n{width:24px;height:24px;display:grid;place-items:center;border-radius:50%;background:var(--ink);color:var(--bg);font:600 13px var(--f-mono)}.pane-p{color:var(--muted);font-size:14px}.lab-arrow{display:grid;place-items:center;background:var(--band);border-inline:1px solid var(--line);color:var(--prefix);font-size:22px}@media(max-width:860px){.lab-arrow{border-inline:0;border-block:1px solid var(--line)}}.row{display:flex;align-items:flex-end;gap:12px;flex-wrap:wrap}.row .field{flex:0 0 auto}.f-k select{width:84px}.lab-label{font-size:12.5px;color:var(--muted)}.act{height:38px;padding:0 20px;border:0;border-radius:5px;background:var(--ink);color:var(--bg);font-weight:600;cursor:pointer}.act:disabled{opacity:.55;cursor:progress}.ghost{height:32px;padding:0 14px;border:1px solid var(--line);border-radius:5px;background:var(--surface);cursor:pointer;font-size:14px}.ghost:hover{border-color:var(--ink)}.ghost.pulse{border-color:var(--prefix);box-shadow:0 0 0 3px var(--prefix-soft)}.card-actions{display:flex;align-items:center;flex-wrap:wrap;gap:8px 10px}.card-actions .hint{min-height:0}.status{font-size:13px;color:var(--muted)}.status:empty{display:none}.status.is-error{color:var(--bad)}.pfile{position:relative;display:flex;gap:12px;align-items:flex-start;padding:12px 14px;border:1px solid var(--prefix);border-radius:8px;background:var(--prefix-soft);color:var(--prefix-ink);min-width:0}.pfile.is-draggable{cursor:grab}.pfile.is-draggable:active{cursor:grabbing}.pfile-icon{flex:none;width:34px;display:grid;gap:3px;padding-top:3px}.pfile-icon i{display:block;height:5px;border-radius:1.5px;background:var(--prefix)}.pfile-icon i:nth-child(2){opacity:.85}.pfile-icon i:nth-child(3){opacity:.7}.pfile-icon i:nth-child(4){opacity:.55}.pfile-icon i:nth-child(5){opacity:.4}.pfile-body{display:grid;gap:2px;min-width:0}.pfile-name{font:500 14px var(--f-mono);color:var(--ink);overflow-wrap:anywhere}.pfile-meta,.pfile-sha,.pfile-y,.pfile-note{font-size:12.5px;overflow-wrap:anywhere}.pfile-sha,.pfile-y{font-family:var(--f-mono);font-size:12px}.pfile-note{font-style:italic}.pfile:has(.pfile-x){padding-right:34px}.pfile-x{position:absolute;top:4px;right:6px;border:0;border-radius:4px;padding:2px 6px;background:none;color:inherit;opacity:.55;font-size:18px;line-height:1;cursor:pointer}.pfile-x:hover,.pfile-x:focus-visible{opacity:1;background:#7f7f7f26}.drop{border:2px dashed var(--line);border-radius:8px;padding:16px;min-height:92px;display:grid;align-content:center;transition:border-color .15s,background .15s}.drop-empty{display:flex;flex-wrap:wrap;justify-content:center;gap:6px;color:var(--muted);font-size:14px;text-align:center}body.is-dragging .drop,.drop.is-over{border-color:var(--prefix);background:var(--prefix-soft)}.drop.flash .pfile{animation:land .6s ease-out}@keyframes land{0%{box-shadow:0 0 0 8px var(--prefix-soft);transform:translate(-8px)}to{box-shadow:0 0 0 0 transparent;transform:none}}.upload{color:var(--focus);text-decoration:underline;cursor:pointer}.upload input{position:absolute;width:1px;height:1px;opacity:0}.upload:focus-within{outline:2px solid var(--focus);outline-offset:2px}.outs{display:grid;gap:8px;padding-top:4px;border-top:1px solid var(--line)}.out-row{display:grid;grid-template-columns:110px minmax(0,1fr);gap:10px;align-items:start;padding-top:8px}.out-lab{font-size:13px;color:var(--muted);padding-top:4px}.out-row.is-main .out-lab{color:var(--prefix-ink);font-weight:600}.toks{display:flex;flex-wrap:wrap;gap:3px;min-height:24px}.tok{font:12.5px/1 var(--f-mono);padding:5px 6px;border-radius:3px;background:var(--surface-2);white-space:pre}.tok .ws{color:var(--faint)}.tok.hit{background:var(--ok-soft);color:var(--ok)}.tok.miss{background:var(--bad-soft);color:var(--bad)}.tok.hit .ws,.tok.miss .ws{color:inherit;opacity:.5}.outs .badge{justify-self:start}.inside{border-top:1px solid var(--line);padding:18px 20px 20px;display:grid;gap:12px;background:var(--surface);min-width:0}.inside-head h3{margin:0 0 2px;font-size:1.1rem;font-weight:600}.inside-head p{color:var(--muted);font-size:14px}@media(max-width:560px){.pane,.inside{padding:14px 12px}.out-row{grid-template-columns:1fr;gap:4px}}.method,.results-sec{padding-block:64px 8px;display:grid;gap:16px}.method h2,.results-sec h2{font-size:1.6rem}.f-bold{font-weight:600}.f-out{fill:var(--surface);stroke:var(--ink)}.f-fan{stroke:var(--faint);fill:none}.f-bar-t{fill:var(--real)}.f-bar-p{fill:var(--prefix)}.f-tok{fill:var(--muted);font:11px var(--f-mono)}.f-tok-p{fill:var(--prefix-ink);font:500 11px var(--f-mono)}.f-eq{stroke:var(--ink);stroke-width:1.5;stroke-dasharray:3 3;fill:none}.tabs{display:flex;gap:18px;border-bottom:1px solid var(--line)}.tabs button{border:0;background:none;padding:6px 0 9px;margin-bottom:-1px;color:var(--muted);cursor:pointer;font-size:14.5px;border-bottom:2px solid transparent}.tabs button[aria-selected=true]{color:var(--ink);font-weight:500;border-bottom-color:var(--ink)}.mode{display:grid;gap:12px}.ex-list{display:grid;gap:6px}.ex{text-align:left;padding:9px 12px;border:1px solid var(--line);border-radius:6px;background:var(--bg);cursor:pointer;font-size:14.5px;line-height:1.4}.ex:hover{border-color:var(--muted)}.ex[aria-pressed=true]{border-color:var(--ink);background:var(--surface);box-shadow:inset 3px 0 0 var(--ink)}.field textarea{width:100%;resize:vertical;min-height:62px;padding:9px 10px;border:1px solid var(--line);border-radius:5px;background:var(--bg);font:15px/1.45 var(--f-body)}.field textarea:focus{outline:none;border-color:var(--focus)}.hint.bad{color:var(--bad)}.link{border:0;background:none;padding:0;color:var(--focus);text-decoration:underline;cursor:pointer;font-size:14px;align-self:center}.decide{display:grid;gap:10px;padding:14px;border:1px solid var(--line);border-left:3px solid var(--prefix);border-radius:6px;background:var(--band)}.decide-t{font-size:14.5px}.decide-rows{display:grid;grid-template-columns:auto minmax(0,1fr);gap:8px 12px;align-items:start}.decide-lab{font-size:13px;color:var(--muted);padding-top:4px;white-space:nowrap}.src-note{color:var(--muted);font-style:italic}.hint.why a{color:var(--focus)}.why-h{margin:12px 0 0;font-size:1.15rem;font-weight:600}#why-source{scroll-margin-top:72px}.intro .links{margin-top:4px}.run-row{display:grid;grid-template-columns:minmax(0,1fr) auto auto;gap:12px;align-items:end}.run-row+.hint:empty{display:none}.outs{gap:10px;padding-top:14px}.out-row.is-main .tok{font-size:13.5px;padding:6px 7px}.out-row.is-main .out-lab{font-size:14px}.out-main{display:grid;gap:8px;justify-items:start}.pfile.compact{padding:8px 12px;background:transparent;align-items:center}.pfile.compact .pfile-icon{width:22px;gap:2px;padding-top:0}.pfile.compact .pfile-icon i{height:3px}.pfile.compact .pfile-name{font-size:13px}.article>h2{margin-bottom:-12px}.article h3{margin:0;font-size:1.2rem;font-weight:600}.article{padding-block:64px 24px}.fig{margin:8px 0 20px}.fig figcaption{max-width:none}.results th:first-child,.results td:first-child{padding-left:0}.results .num{width:76px}.results-sec .fig{gap:8px}.results-sec figcaption{font-size:13px}@media(max-width:860px){.card-actions .hint{display:none}}@media(max-width:560px){.run-row{grid-template-columns:auto 1fr}.run-row .field:first-child{grid-column:1 / -1}.run-row .act{justify-self:start}.intro{padding-block:32px 40px}}.lab{box-shadow:0 1px 2px #0000000a}.hint.sent b{font-weight:600;color:var(--prefix-ink);background:var(--prefix-soft);border-radius:3px;padding:0 2px}.hint.sent:empty,#term:empty{display:none}button.demo{font:inherit;font-size:12.5px;cursor:pointer}.demo-tip{margin:-4px 0 0;padding:8px 12px;border-left:3px solid var(--line);background:var(--band);border-radius:4px}@media(max-width:560px){.results th:nth-child(2),.results td:nth-child(2){display:none}.results td:first-child,.results th:first-child{white-space:nowrap}}.chat-pane{display:flex;flex-direction:column}.chat-pane .pane-h .demo{margin-left:auto}.drop{min-height:0;padding:10px 12px}.drop.has-file{border:0;padding:0}.chat-log{height:330px;overflow-y:auto;display:flex;flex-direction:column;gap:14px;padding:14px;background:var(--band);border:1px solid var(--line);border-radius:10px}.chat-empty{margin:auto;color:var(--faint);font-size:14px}.msg-system{align-self:center;font-size:12.5px;color:var(--muted);background:var(--surface);border:1px solid var(--line);border-radius:999px;padding:3px 12px;text-align:center}.turn{display:grid;gap:10px}.msg{display:flex;gap:8px;align-items:flex-end;max-width:88%}.msg.me{align-self:end;justify-self:end}.msg.me .msg-bubble{background:var(--ink);color:var(--bg);border-bottom-right-radius:4px}.msg-bubble{padding:8px 12px;border-radius:14px;font-size:14.5px;line-height:1.45;white-space:pre-wrap;overflow-wrap:anywhere}.msg-bubble .sp{opacity:.45;margin-left:1px;cursor:help}.msg.bot .msg-bubble{border-bottom-left-radius:4px;background:var(--surface);border:1px solid var(--line)}.msg.bot.broken .msg-bubble{background:var(--prefix-soft);border-color:var(--prefix);color:var(--prefix-ink)}.msg-name{font-size:12px;color:var(--muted);margin:0 0 3px 4px}.msg.broken .msg-name{color:var(--prefix-ink)}.msg-meta{font-size:12px;margin:3px 0 0 4px}.msg-meta:empty{display:none}.msg-meta.hit{color:var(--ok)}.msg-meta.miss{color:var(--bad)}.avatar{flex:none;width:34px;height:34px;margin-bottom:18px}.robot{width:100%;height:100%;display:block}.robot .r-head{fill:var(--surface);stroke-width:2}.robot .r-line{fill:none;stroke-width:2;stroke-linecap:round;stroke-linejoin:round}.robot-ok .r-head,.robot-ok .r-line{stroke:var(--real)}.robot-ok .r-fill{fill:var(--real)}.robot-broken .r-head,.robot-broken .r-line{stroke:var(--prefix)}.robot-broken .r-fill{fill:var(--prefix)}.robot-broken .r-crack{fill:none;stroke:var(--ink);stroke-width:1.6;stroke-linejoin:round}.robot-broken .r-spark{stroke:var(--prefix);stroke-width:1.6;stroke-linecap:round}.typing{display:inline-flex;gap:4px;padding:4px 0}.typing i{width:6px;height:6px;border-radius:50%;background:currentColor;opacity:.35;animation:blink 1s infinite}.typing i:nth-child(2){animation-delay:.15s}.typing i:nth-child(3){animation-delay:.3s}@keyframes blink{50%{opacity:.9}}.chips{display:flex;flex-wrap:wrap;gap:6px}.chip{border:1px solid var(--line);background:var(--surface);border-radius:999px;padding:4px 12px;font-size:13.5px;cursor:pointer}.chip:hover{border-color:var(--muted)}.chat-input{display:flex;gap:8px}.chat-input input{flex:1;min-width:0;height:42px;padding:0 14px;border:1px solid var(--line);border-radius:999px;background:var(--bg);font-size:15px}.chat-input input:focus{outline:none;border-color:var(--focus)}.chat-input .act{height:42px;border-radius:999px}.ready{font-size:14px}.ready:empty{display:none}.decide-text{font-size:14.5px}.decide-text.is-found{color:var(--prefix-ink)}.link.small{justify-self:start;font-size:13px;color:var(--muted)}#term:empty{display:none}@media(max-width:560px){.chat-log{height:340px;padding:10px}.msg{max-width:96%}}.method{padding-block:64px 8px;display:grid;gap:16px}.method h3{margin:20px 0 0;font-size:1.2rem;font-weight:600}.method>div,.results-sec>div{display:grid;gap:12px}.eq{overflow-x:auto;overflow-y:hidden;padding:2px 0}.katex-display{margin:.4em 0}.theorem{border:1px solid var(--line);border-left:3px solid var(--ink);background:var(--band);border-radius:6px;padding:14px 18px;display:grid;gap:8px}.theorem-h{font-weight:600}.theorem p{font-style:italic}.theorem .katex{font-style:normal}.watch{max-width:1120px;margin:16px auto 0;padding-inline:20px}.watch .note{font-size:14px;color:var(--muted)}.watch .note[hidden]{display:none}.limits{margin:0;padding-left:22px;display:grid;gap:10px}.pfile-icon,.pfile.compact .pfile-icon{width:30px;padding-top:0;display:block}.pfile.compact .pfile-icon{width:28px}.hammer{display:block;width:100%;height:auto;transform:rotate(-30deg)}.pfile.is-draggable:hover .hammer{animation:swing .6s ease-in-out}@keyframes swing{40%{transform:rotate(-60deg)}70%{transform:rotate(-10deg)}}.h-head{fill:var(--prefix)}.h-handle{fill:var(--prefix-ink);opacity:.75}.h-collar{fill:var(--prefix-ink)}.pane.hack{--bg: #161b19;--surface: #1c2320;--band: #181e1b;--line: #2a3430;--ink: #dfe7e2;--muted: #8b9a92;--faint: #66756d;--focus: #6ee7a0;--prefix: #4ade80;--prefix-soft: rgba(74, 222, 128, .08);--prefix-ink: #a7f3c4;--bad: #f87171;color:var(--ink);background:#111614}.hack .pane-n{background:transparent;border:1px solid var(--prefix);color:var(--prefix);border-radius:3px}.hack .pane-h h3{font-family:var(--f-mono);font-size:1.05rem}.hack .pane-h h3:before{content:"$ ";color:var(--prefix)}.hack .pane-h h3:after{content:"_";margin-left:1px;color:var(--prefix);animation:blink 1.2s steps(1) infinite}@keyframes blink{50%{opacity:0}}.hack .ex{font-family:var(--f-mono);font-size:13.5px;color:var(--ink);border-color:transparent;background:var(--surface);border-radius:4px}.hack .ex:hover{border-color:var(--line)}.hack .ex[aria-pressed=true]{border-color:transparent;background:var(--prefix-soft);box-shadow:inset 2px 0 0 var(--prefix)}.hack .act{background:var(--prefix);color:#0b1a11}.hack .ghost{color:var(--ink)}.hack .field input,.hack .field select,.hack .field textarea{color:var(--ink);caret-color:var(--prefix)}.hack .tabs button[aria-selected=true]{color:var(--ink);border-bottom-color:var(--prefix)}.hack .pfile{border-radius:6px}.hack .hint a,.hack .link{color:var(--focus)}.mt{display:grid;gap:14px}.mt-steps{display:flex;flex-wrap:wrap;align-items:center;gap:6px}.mt-lab{font-size:13px;color:var(--muted);margin-right:4px}.mt-chip{border:1px solid var(--line);background:var(--surface);border-radius:4px;padding:2px 8px;font:13px var(--f-mono);cursor:pointer}.mt-chip[aria-pressed=true]{border-color:var(--ink);background:var(--ink);color:var(--bg)}.mt-row,.mt-diff{display:grid;gap:6px;padding:12px 14px;border:1px solid var(--line);border-radius:8px;background:var(--surface);min-width:0}.mt-row.mt-run{border-color:var(--prefix)}.mt-head{font-size:14px;font-weight:500}.mt-svg{display:block;max-width:100%;overflow:visible}.mt-real{fill:var(--real)}.mt-pref{fill:var(--prefix);opacity:.55}.mt-pref.own{opacity:1}.mt-top{stroke:var(--line);stroke-dasharray:3 3}.mt-base{stroke:var(--faint)}.mt-scale{fill:var(--faint);font:10.5px var(--f-mono)}.mt-group{fill:var(--muted);font-size:12px}.mt-pos{fill:var(--pos)}.mt-neg{fill:var(--neg)}.mt-frame{fill:none;stroke:var(--line)}.mt-out{display:flex;align-items:center;gap:10px}.mt-olab{flex:none;width:100px;text-align:right;font-size:14px}.mt-note{font-size:13px;color:var(--muted)}.mt-verdict{font-size:14px}.mt-verdict.ok{color:var(--ok)}.mt-verdict.bad{color:var(--bad)}.svr-axes{font-size:11.5px;color:var(--faint);margin-top:-2px}.demo-tip .tip-p{display:block}.demo-tip .tip-p+.tip-p{margin-top:6px}@media(max-width:480px){.topnav{gap:0;font-size:13.5px}.topnav a{padding-inline:6px}.topnav a.is-here:after{left:6px;right:6px}.topnav a[href="#top"]{display:none}.lang{padding:3px 8px}}.svr{grid-template-rows:auto auto;align-items:end;row-gap:6px}.svr-cell{grid-row:span 2;display:grid;grid-template-rows:subgrid;gap:6px;align-items:end}.svr-cell>:last-child{align-self:start}.svr-op{grid-row:2;align-self:center}@media(max-width:620px){.svr{grid-template-rows:none}.svr-cell{grid-row:auto;grid-template-rows:auto auto}.svr-op{grid-row:auto}}.mt-key{font-size:12.5px;color:var(--muted)}.svr>:nth-child(1){grid-column:1}.svr>:nth-child(2){grid-column:2}.svr>:nth-child(3){grid-column:3}.svr>:nth-child(4){grid-column:4}.svr>:nth-child(5){grid-column:5}@media(max-width:620px){.svr>*{grid-column:auto!important}}.ex-list{display:flex;flex-wrap:wrap;gap:6px}.ex{padding:6px 10px;font-size:13.5px}.hack .ex{font-size:13px}.mt-verdict.near{color:var(--prefix-ink)}.footnote{font-size:13px;color:var(--muted)}.lead a[href="#hero-note"]{text-decoration:none;font-size:.8em;vertical-align:super;line-height:0;margin-left:1px}.bibtex{position:relative}.bibtex pre{margin:0;padding:14px 16px;overflow-x:auto;background:var(--band);border:1px solid var(--line);border-radius:8px;font-family:var(--f-mono);font-size:.8rem;line-height:1.55;color:var(--ink)}.bibtex-copy{position:absolute;top:8px;right:8px;padding:3px 10px;border:1px solid var(--line);border-radius:6px;background:var(--surface);color:var(--ink);font:inherit;font-size:.8rem;cursor:pointer}.bibtex-copy:hover,.bibtex-copy:focus-visible{border-color:var(--ink)}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/prefix_tuning/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/prefix_tuning/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Fraktur-Regular-CB_wures.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/prefix_tuning/assets/KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/prefix_tuning/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/prefix_tuning/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Math-Italic-flOr_0UB.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/prefix_tuning/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(/prefix_tuning/assets/KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/prefix_tuning/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(/prefix_tuning/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(/prefix_tuning/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}