:root{--c-primary: #5677a8;--c-primary-hover: #4a6792;--c-accent: #2d70c8;--c-ink: #1a2a44;--c-text: #2a2a2a;--c-muted: #6f6f6f;--c-muted-2: #555;--c-border: #d8dbe0;--c-border-soft: #e3e5ea;--c-border-input: #c5c9d2;--c-bg: #f3f4f6;--c-surface: #fff;--c-surface-2: #fbfcfd;--c-plot-bg: #fafafa;--c-hover: #eef2f7;--c-ok: #237f23;--c-warn: #8a6a00;--c-err: #b53030;--c-error: #d9534f;--c-error-bg: #fdecea;--c-error-text: #a02622;--c-info-bg: #eaf3fb;--c-info-text: #224455;--c-link: #1a56db;--c-danger: #cc3333;--alg-zoom: 1;--alg-depth: 1}*{box-sizing:border-box}html,body{height:100%;margin:0}body{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;color:var(--c-text);background:var(--c-bg);overflow:hidden}#app{display:grid;grid-template-columns:clamp(360px,28vw,460px) 1fr;height:100vh}#controls{background:var(--c-surface);border-right:1px solid var(--c-border);padding:16px;overflow-y:auto}#controls h1{font-size:18px;font-weight:600;margin:0 0 12px;color:var(--c-ink)}#tab-bar{display:flex;gap:2px;margin-bottom:12px;border-bottom:1px solid var(--c-border)}#tab-bar .tab-btn{background:transparent;border:1px solid transparent;border-bottom:none;padding:6px 14px;font:inherit;font-size:13px;font-weight:500;cursor:pointer;color:var(--c-primary);border-radius:4px 4px 0 0;margin-bottom:-1px}#tab-bar .tab-btn:hover{background:var(--c-hover)}#tab-bar .tab-btn.active{background:var(--c-surface);border-color:var(--c-border);color:var(--c-ink);font-weight:600}.tab-panel{display:none}.tab-panel.active{display:block}#plot-area{position:relative;overflow:hidden;background:var(--c-plot-bg)}#canvas{display:block;width:100%;height:100%;cursor:grab}#plot-overlay{position:absolute;top:12px;right:12px;display:flex;gap:6px;background:#ffffffd9;border:1px solid var(--c-border);border-radius:6px;padding:4px 6px;font-size:12px;-webkit-user-select:none;user-select:none}#plot-overlay button{background:transparent;border:1px solid transparent;padding:4px 8px;font:inherit;cursor:pointer;border-radius:4px;color:#1a3e7a}#plot-overlay button:hover{background:var(--c-hover)}#plot-readout{position:absolute;bottom:8px;left:12px;font-family:ui-monospace,SF Mono,Consolas,monospace;font-size:11px;color:var(--c-muted-2);background:#ffffffbf;padding:2px 6px;border-radius:4px;pointer-events:none}#status-panel{position:absolute;bottom:12px;right:12px;max-width:min(34%,340px);max-height:calc(100% - 24px);overflow:auto;background:#ffffffb8;-webkit-backdrop-filter:blur(3px);backdrop-filter:blur(3px);border:1px solid var(--c-border);border-radius:6px;padding:6px 8px;font-size:12px;line-height:1.5;color:var(--c-ink);pointer-events:auto;z-index:3;box-shadow:0 1px 3px #0000001f}#status-panel-head{display:flex;align-items:center;gap:8px}#sp-badge{flex:1;font-weight:600}#sp-badge .ok{color:var(--c-ok)}#sp-badge .warn{color:var(--c-warn)}#sp-badge .err{color:var(--c-err)}#sp-collapse{padding:0 6px;line-height:1.4;background:transparent;border:0;cursor:pointer;font-size:14px;color:var(--c-primary)}#status-panel.collapsed #status-panel-body{display:none}#status-panel.collapsed #sp-collapse{transform:rotate(-90deg)}#status-panel-body{margin-top:6px}#status-panel details{margin:4px 0}#status-panel summary{cursor:pointer;font-size:10px;text-transform:uppercase;letter-spacing:.06em;color:var(--c-muted);font-weight:600}#status-panel summary+div{margin-top:4px}#status-panel .ok{color:var(--c-ok);font-weight:600}#status-panel .warn{color:var(--c-warn);font-weight:600}#status-panel .err{color:var(--c-err);font-weight:600}#status-panel .key{color:var(--c-muted)}#status-panel .geom-row{cursor:help}#status-panel.docked{position:static;max-width:none;max-height:none;background:var(--c-surface);-webkit-backdrop-filter:none;backdrop-filter:none;box-shadow:none;border:1px solid var(--c-border-soft);margin-bottom:12px}#sp-dock{padding:0 4px;background:transparent;border:0;cursor:pointer;font-size:13px;color:var(--c-primary)}#status-dock #status-panel-body{margin-top:0}#status-dock summary{cursor:pointer;font-size:10px;text-transform:uppercase;letter-spacing:.06em;color:var(--c-muted);font-weight:600}#status-dock details{margin:4px 0}#status-dock .geom-row{cursor:help}#status-dock .ok{color:var(--c-ok);font-weight:600}#status-dock .warn{color:var(--c-warn);font-weight:600}#status-dock .err{color:var(--c-err);font-weight:600}#status-dock .key{color:var(--c-muted)}button.attention{border-color:var(--c-accent);box-shadow:0 0 0 2px #2d70c840;animation:attn-pulse 1.6s ease-in-out 2}@keyframes attn-pulse{0%,to{box-shadow:0 0 0 2px #2d70c82e}50%{box-shadow:0 0 0 3px #2d70c86b}}@media (prefers-reduced-motion: reduce){button.attention{animation:none}}#plot-coach{display:none;position:absolute;top:12px;left:50%;transform:translate(-50%);z-index:5;align-items:center;gap:10px;max-width:calc(100% - 120px);background:#1a2a44ed;color:#fff;border-radius:8px;padding:8px 12px;font-size:12px;line-height:1.4;box-shadow:0 2px 10px #00000047}#plot-coach button{background:#fff3;color:#fff;border:0;border-radius:5px;padding:3px 9px;cursor:pointer;white-space:nowrap}#plot-coach button:hover{background:#ffffff52}#overlays-card .ov-row{align-items:center;gap:8px}.ov-key{flex:0 0 auto;width:26px;display:inline-flex;align-items:center;justify-content:center;gap:2px}.ov-key-vf{color:var(--c-muted);font-weight:700}.ov-dot{width:8px;height:8px;border-radius:50%;display:inline-block}.ov-dia{width:8px;height:8px;display:inline-block;transform:rotate(45deg)}.ov-key-grad{width:24px;height:8px;border-radius:2px;background:linear-gradient(90deg,#1173d4,#10c610,#e21212)}.ov-dash{width:16px;height:0;border-top:2px dashed rgba(124,58,237,.8);display:inline-block}.ov-note{color:var(--c-muted);font-size:10px;display:block}#faber-card .faber-formula{font-family:ui-monospace,Consolas,monospace;font-size:11px;color:var(--c-ink);margin:2px 0;word-break:break-word}#faber-card table.faber-coef{border-collapse:collapse;font-family:ui-monospace,Consolas,monospace;font-size:11px;margin:4px 0}#faber-card table.faber-coef th,#faber-card table.faber-coef td{border:1px solid var(--c-border-soft);padding:1px 6px;text-align:left}#faber-card table.faber-coef th{color:var(--c-muted);font-weight:600}.card{background:var(--c-surface);border:1px solid var(--c-border-soft);border-radius:6px;padding:10px 12px;margin-bottom:12px}.card h2{font-size:12px;font-weight:600;text-transform:uppercase;letter-spacing:.04em;color:var(--c-primary);margin:0 0 8px}.card .hint{font-size:11px;color:var(--c-muted);margin-bottom:6px}#figure-export-card .fig-group{margin:8px 0 4px}#figure-export-card .fig-group-label{font-size:11px;font-weight:600;color:var(--c-muted);text-transform:uppercase;letter-spacing:.04em;margin-bottom:4px}#figure-export-card .fig-group label{display:flex;margin:2px 0}#figure-export-card input[type=color]{width:34px;height:24px;padding:0;margin-left:4px;border:1px solid var(--c-border-input);border-radius:4px;background:var(--c-surface);cursor:pointer;vertical-align:middle}#figure-export-card input[type=color]:disabled{cursor:not-allowed;opacity:.5}#figure-export-card input[type=number]{width:72px}#figure-export-card .fig-unit{font-size:11px;color:var(--c-muted)}#figure-export-card .fig-status{font-size:11px;margin-top:6px;line-height:1.4}#figure-export-card .fig-status[data-kind=ok]{color:var(--c-ok)}#figure-export-card .fig-status[data-kind=warn]{color:var(--c-warn)}#figure-export-card .fig-status[data-kind=muted]{color:var(--c-muted)}.help-btn{display:inline-flex;align-items:center;justify-content:center;margin-left:6px;width:16px;height:16px;padding:0;font-size:11px;font-weight:600;line-height:1;color:var(--c-muted);background:#eef1f6;border:1px solid var(--c-border-input);border-radius:50%;cursor:help;vertical-align:middle}.help-btn:hover{color:var(--c-ink);background:#dde3ee;border-color:#99a3b5}.help-btn:focus{outline:2px solid rgba(86,119,168,.4);outline-offset:1px}.help-popover{position:absolute;z-index:1000;max-width:320px;padding:8px 10px;font-size:12px;line-height:1.45;color:var(--c-ink);background:#fffef7;border:1px solid var(--c-border-input);border-radius:6px;box-shadow:0 2px 10px #00000026}.help-popover h3{margin:0 0 4px;font-size:12px;color:var(--c-primary)}.help-popover code,.help-popover kbd{font-family:ui-monospace,SF Mono,Consolas,monospace;font-size:11px;background:#f3f5f9;padding:1px 4px;border-radius:3px;border:1px solid #dde3ee}.help-popover .hint{margin-top:4px}.hover-tooltip{position:absolute;z-index:1100;pointer-events:none;max-width:280px;padding:6px 8px;font-size:11px;line-height:1.4;font-family:ui-monospace,SF Mono,Consolas,monospace;color:var(--c-ink);background:#fffef7;border:1px solid var(--c-border-input);border-radius:5px;box-shadow:0 2px 8px #0000002e;white-space:nowrap}.hover-tooltip .tt-class{display:block;font-family:inherit;color:var(--c-primary);font-weight:600;margin-top:2px}.hover-tooltip .tt-row{display:block}.copy-btn{display:inline-flex;align-items:center;justify-content:center;margin-left:4px;width:18px;height:18px;padding:0;font-size:12px;color:var(--c-muted);background:#eef1f6;border:1px solid var(--c-border-input);border-radius:3px;cursor:pointer;vertical-align:middle}.copy-btn:hover{color:var(--c-ink);background:#dde3ee;border-color:#99a3b5}.copy-toast{position:absolute;z-index:1200;padding:3px 8px;font-size:11px;color:#fff;background:#28643ceb;border-radius:4px;pointer-events:none;transition:opacity .3s}.copy-toast.fade{opacity:0}.copy-toast.toast-floating{position:fixed;left:50%;bottom:24px;transform:translate(-50%);max-width:min(90vw,460px);padding:7px 14px;font-size:12px;box-shadow:0 2px 10px #00000040}.copy-toast.toast-error{background:#962828f2}.copy-toast.toast-action{pointer-events:auto;display:inline-flex;align-items:center;gap:10px}.copy-toast-action{pointer-events:auto;cursor:pointer;font:inherit;color:#fff;background:#ffffff2e;border:1px solid rgba(255,255,255,.55);border-radius:3px;padding:1px 8px}.copy-toast-action:hover{background:#ffffff4d}#algebra-graph.is-busy{opacity:.5;pointer-events:none;transition:opacity .15s ease}#sw-update-banner{position:fixed;top:12px;left:50%;transform:translate(-50%);z-index:1300;display:flex;align-items:center;gap:10px;padding:8px 14px;font-size:13px;color:#fff;background:#284678f5;border-radius:6px;box-shadow:0 2px 12px #0000004d}#sw-update-banner[hidden]{display:none}#sw-update-banner button{font:inherit;cursor:pointer;border:none;border-radius:4px;padding:3px 10px}#sw-update-refresh{background:#fff;color:#234;font-weight:600}#sw-update-dismiss{background:transparent;color:#fff;font-size:16px;line-height:1;padding:2px 6px}.shortcuts-overlay{position:fixed;z-index:1300;top:50%;left:50%;transform:translate(-50%,-50%)}.shortcuts-overlay .help-popover{position:static;max-width:min(92vw,460px);max-height:85vh;overflow-y:auto}.shortcuts-table{font-size:12px;border-spacing:6px 4px}.shortcuts-table td:first-child{text-align:right;white-space:nowrap;vertical-align:top}.shortcuts-head{display:flex;align-items:baseline;justify-content:space-between;gap:8px;margin-bottom:6px}.shortcuts-head h3{margin:0;font-size:13px}.shortcuts-close{border:0;background:transparent;font:inherit;font-size:16px;line-height:1;padding:0 2px;cursor:pointer;color:var(--c-muted);border-radius:4px}.shortcuts-close:hover{color:var(--c-text);background:var(--c-hover)}.shortcuts-group{font-size:10px;text-transform:uppercase;letter-spacing:.04em;color:var(--c-muted);margin:8px 0 2px;padding-bottom:3px;border-bottom:1px solid var(--c-border-soft)}.shortcuts-group:first-of-type{margin-top:4px}.shortcuts-overlay:focus{outline:none}input[type=text],input[type=number],select{font:inherit;font-size:13px;padding:4px 6px;border:1px solid var(--c-border-input);border-radius:4px;background:var(--c-surface);color:var(--c-ink)}input[type=text]:focus,input[type=number]:focus,select:focus{outline:none;border-color:var(--c-primary);box-shadow:0 0 0 2px #5677a82e}input.invalid{border-color:var(--c-err);background:#fcf2f2}input[type=text].cnum{width:100px;font-family:ui-monospace,SF Mono,Consolas,monospace}.residue-block{margin:4px 0;padding:4px 0;border-top:1px dashed #e8eaef}.residue-block:first-child{border-top:none;padding-top:0}.slider1d-row{display:flex;align-items:center;gap:6px;margin:2px 0 2px 12px}.slider1d-row>label{width:28px;font-family:ui-monospace,SF Mono,Consolas,monospace;font-size:11px;color:var(--c-primary)}.slider1d{flex:1 1 auto;min-width:80px;height:16px;margin:0;accent-color:var(--c-primary)}.slider1d-val{font-family:ui-monospace,monospace;font-size:10px;width:56px;text-align:right;color:var(--c-muted-2)}label{display:inline-flex;align-items:center;gap:6px;font-size:13px;margin:3px 0}.row{display:flex;align-items:center;gap:8px;margin:4px 0;flex-wrap:wrap}button{font:inherit;font-size:13px;padding:5px 10px;border:1px solid var(--c-border-input);background:var(--c-surface);border-radius:4px;cursor:pointer;color:var(--c-ink)}button:hover{background:var(--c-hover);border-color:var(--c-primary)}button.primary{background:var(--c-primary);color:#fff;border-color:var(--c-primary)}button.primary:hover{background:var(--c-primary-hover)}button:focus-visible{outline:2px solid var(--c-primary);outline-offset:2px}button.small{padding:2px 7px;font-size:12px}button.danger{color:var(--c-err);border-color:#e2c4c4}button.danger:hover{background:#fceeee}.pole{border:1px solid var(--c-border-soft);border-radius:5px;padding:8px 10px;margin-bottom:8px;background:var(--c-surface-2)}.dm-sep{border:0;border-top:1px solid var(--c-border-soft);margin:10px 0 0}#dm-riemann{margin-top:10px}.dm-riemann-label{display:flex;align-items:center;gap:4px}#domain-mode-card>#c-card{border:0;padding:0;margin:8px 0 0;background:transparent;box-shadow:none}.pole-header{display:flex;align-items:center;gap:6px;cursor:pointer;list-style:none}.pole-header::-webkit-details-marker{display:none}.pole-header:before{content:"▸";color:var(--c-primary);font-size:10px;transition:transform .12s ease}details.pole[open]>.pole-header:before{transform:rotate(90deg)}details.pole[open]>.pole-header{margin-bottom:6px}.pole-num{font-weight:600;font-size:12px;color:var(--c-primary)}.pole-loc{flex:1;font-size:11px;color:var(--c-muted);font-family:ui-monospace,Consolas,monospace;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.residues{margin-top:5px}.residue-row{display:flex;align-items:center;gap:6px;margin:3px 0;font-size:13px}.residue-row .label-fixed{width:38px;font-family:ui-monospace,SF Mono,Consolas,monospace;color:var(--c-primary)}#status{font-family:ui-monospace,SF Mono,Consolas,monospace;font-size:12px;line-height:1.55}#status .ok{color:var(--c-ok);font-weight:600}#status .warn{color:var(--c-warn);font-weight:600}#status .err{color:var(--c-err);font-weight:600}#status .key{color:var(--c-muted)}#oracle-content .ok,#faber-content .ok,#qd-equations-content .ok{color:var(--c-ok);font-weight:600}#oracle-content .warn,#faber-content .warn,#qd-equations-content .warn{color:var(--c-warn);font-weight:600}#oracle-content .err,#faber-content .err,#qd-equations-content .err{color:var(--c-err);font-weight:600}#oracle-content .key,#faber-content .key,#qd-equations-content .key{color:var(--c-muted)}#qd-equations-content .qdeq-legend{margin:6px 0 2px}#qd-equations-content .qdeq-legend-line{margin:2px 0;overflow-x:auto}#qd-equations-content .qdeq-block-title{margin-top:8px}#qd-equations-content .qdeq-eq{margin:4px 0 6px 6px;padding-left:6px;border-left:2px solid var(--c-border-soft)}#qd-equations-content .qdeq-eq-label{margin-bottom:1px}#qd-equations-content .qdeq-eq-math{overflow-x:auto;max-width:100%}#algebra-graph{position:absolute;top:0;right:0;bottom:0;left:0;z-index:5;background:var(--c-bg);overflow:hidden;display:grid;grid-template-columns:minmax(0,1fr) auto;grid-template-rows:auto minmax(0,1fr) auto;grid-template-areas:"toolbar toolbar" "canvas  result" "rail    rail"}#algebra-graph.hidden{display:none}#algebra-graph .algebra-scroll{grid-area:canvas;min-width:0;min-height:0}#algebra-graph .algebra-empty{grid-area:canvas}#algebra-graph .algebra-verdict{grid-area:result}#algebra-graph .algebra-rail{grid-area:rail;display:flex;flex-direction:column;gap:2px;padding:4px 6px;border-top:1px solid var(--c-border);background:var(--c-surface);min-width:0}#algebra-graph .algebra-rail:empty{display:none}#algebra-graph.is-condensed .algebra-column{width:168px;min-width:168px}#algebra-graph.is-condensed .algebra-node-math,#algebra-graph.is-condensed .algebra-node-tools{display:none}#algebra-graph.is-condensed .algebra-node{padding:2px 4px}#algebra-graph.is-condensed .algebra-column-head{transform:scale(calc(1 / var(--alg-zoom)));transform-origin:top left;width:calc(100% * var(--alg-zoom))}#algebra-graph .algebra-scroll{position:absolute;top:0;right:0;bottom:0;left:0;overflow:auto;background:linear-gradient(to right,var(--c-bg) 30%,rgba(255,255,255,0)) left center / 24px 100% no-repeat,linear-gradient(to left,var(--c-bg) 30%,rgba(255,255,255,0)) right center / 24px 100% no-repeat,radial-gradient(farthest-side at 0 50%,#0000001a,#0000) left center / 12px 100% no-repeat,radial-gradient(farthest-side at 100% 50%,#0000001a,#0000) right center / 12px 100% no-repeat;background-attachment:local,local,scroll,scroll}#algebra-graph .algebra-sizer{position:relative}#algebra-graph .algebra-track{position:relative;display:flex;align-items:flex-start;gap:28px;padding:12px 16px;transform-origin:top left;min-width:max-content}#algebra-graph .algebra-edges{position:absolute;top:0;left:0;overflow:visible;pointer-events:none;z-index:0}#algebra-graph .algebra-edge{fill:none;stroke:var(--c-border);stroke-width:1.5}#algebra-graph .algebra-arrowhead{fill:var(--c-border)}#algebra-graph .algebra-edge-label{font-size:9px;fill:var(--c-muted);pointer-events:none;paint-order:stroke;stroke:var(--c-surface);stroke-width:3px;stroke-linejoin:round}.algebra-ref{margin:4px 0;max-height:320px;overflow:auto}.algebra-ref-math{overflow-x:auto;margin:2px 0 4px}.algebra-ref-legend{border-collapse:collapse;font-size:11px;width:100%}.algebra-ref-legend td{padding:1px 6px 1px 0;vertical-align:middle}.algebra-ref-legend td:nth-child(2){width:100%}#algebra-graph .algebra-column{position:relative;z-index:1;flex:none;width:300px;display:flex;flex-direction:column;gap:12px}#algebra-graph .algebra-column-head{position:sticky;top:0;z-index:3;box-sizing:border-box;background:var(--c-bg);border-bottom:2px solid var(--c-border-soft);padding:2px 4px 5px}#algebra-graph .algebra-column.is-current .algebra-column-head{border-bottom-color:var(--c-accent)}#algebra-graph .algebra-column-top{display:flex;align-items:center;gap:6px}#algebra-graph .algebra-column-step{flex:none;width:18px;height:18px;border-radius:50%;background:var(--c-border-soft);color:var(--c-muted);font-size:11px;font-weight:700;line-height:18px;text-align:center}#algebra-graph .algebra-column.is-current .algebra-column-step{background:var(--c-accent);color:#fff}#algebra-graph .algebra-column-label{flex:1;min-width:0;font-size:12px;font-weight:600;color:var(--c-text);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}#algebra-graph .algebra-column-chip{flex:none;font-size:10px;font-weight:600;color:#fff;background:var(--c-accent);border-radius:8px;padding:1px 6px}#algebra-graph .algebra-column-stats{font-size:11px;color:var(--c-muted);margin-top:2px}#algebra-graph .algebra-column-diff{font-size:10px;color:var(--c-muted);margin-top:1px}#algebra-graph .algebra-column-body{display:flex;flex-direction:column;gap:14px}#algebra-graph .algebra-node{position:relative;box-sizing:border-box;width:100%;background:var(--c-surface);border:1px solid var(--c-border);border-radius:6px;padding:6px 8px;font-size:12px;cursor:pointer;box-shadow:0 1px 3px #00000014}#algebra-graph .algebra-node.selected{border-color:var(--c-accent);box-shadow:0 0 0 2px var(--c-accent)}#algebra-graph .algebra-node.lineage:not(.selected){border-color:var(--c-accent);box-shadow:0 0 0 2px #2bbb7766}#algebra-graph .algebra-edge.lineage{stroke:var(--c-accent);stroke-width:2.2}#algebra-graph .algebra-generated{border-left:3px solid var(--c-accent)}#algebra-graph .algebra-constraint{border-left:3px solid var(--c-warn)}#algebra-graph .algebra-derived{border-left:3px solid var(--c-muted)}#algebra-graph .algebra-node-head{display:flex;align-items:center;gap:4px;font-weight:600;color:var(--c-muted);margin-bottom:3px;font-size:11px}#algebra-graph .algebra-node-title{flex:1;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}#algebra-graph .algebra-node-tools{display:flex;gap:2px;flex:none}#algebra-graph .algebra-icon{flex:none;border:none;background:transparent;cursor:pointer;color:var(--c-muted);font-size:11px;line-height:1;padding:1px 3px;border-radius:3px}#algebra-graph .algebra-icon:hover{background:var(--c-border-soft);color:var(--c-text)}#algebra-graph .algebra-chevron{font-size:10px}#algebra-graph .algebra-node-math{overflow-x:auto;max-width:100%}#algebra-graph .algebra-node-math.collapsed{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}#algebra-graph .algebra-node-math.collapsed .katex-display{display:none}#algebra-graph .algebra-node.is-clipped{position:relative}#algebra-graph .algebra-node.is-clipped:after{content:"…";position:absolute;right:3px;bottom:1px;font-size:12px;line-height:1;padding:0 3px;border-radius:3px;background:var(--c-surface);color:var(--c-muted);border:1px solid var(--c-border-soft);pointer-events:none}#algebra-graph .algebra-empty{position:absolute;top:0;right:0;bottom:0;left:0;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:10px;text-align:center;padding:24px}#algebra-graph .algebra-empty.hidden{display:none}#algebra-graph .algebra-empty-title{font-size:15px;font-weight:700;color:var(--c-text)}#algebra-graph .algebra-empty-hint{font-size:12px;color:var(--c-muted);max-width:420px}#algebra-graph .algebra-scroll.hidden{display:none}#algebra-graph .algebra-scroll{cursor:grab}#algebra-graph .algebra-scroll.is-panning{cursor:grabbing;-webkit-user-select:none;user-select:none}#algebra-graph .algebra-node{cursor:default}#algebra-graph .algebra-node.is-dimmed{opacity:.25}#algebra-graph .algebra-edge.is-dimmed{opacity:.15}#algebra-graph .algebra-node.is-match{box-shadow:0 0 0 2px var(--c-accent)}#algebra-graph .algebra-column-hits{font-size:10px;font-weight:600;color:var(--c-accent);margin-top:2px}#algebra-graph .algebra-column-hits.hidden{display:none}#algebra-graph .algebra-search{display:flex;align-items:center;gap:4px}#algebra-graph .algebra-search input{width:9em;font:inherit;font-size:12px;padding:2px 5px;border:1px solid var(--c-border-input);border-radius:4px;background:var(--c-surface)}#algebra-graph .algebra-search-count{font-size:11px;color:var(--c-muted);min-width:4.5em}#algebra-graph .algebra-node-tools{opacity:0;transition:opacity .12s}#algebra-graph .algebra-node:hover .algebra-node-tools,#algebra-graph .algebra-node:focus-within .algebra-node-tools,#algebra-graph .algebra-node.selected .algebra-node-tools{opacity:1}@media (prefers-reduced-motion: reduce){#algebra-graph .algebra-node-tools{transition:none}}#algebra-graph .algebra-result-col{grid-area:result;min-height:0;min-width:0;display:flex;flex-direction:column}#algebra-graph .algebra-drawer{width:340px;max-width:46vw;flex:0 0 auto}#algebra-graph .algebra-result-col.is-collapsed .algebra-drawer,#algebra-graph .algebra-result-col.is-collapsed .algebra-verdict{width:34px}#algebra-graph .algebra-verdict{width:340px;max-width:46vw;min-height:0;flex:1 1 auto;display:flex;flex-direction:column;overflow:hidden;background:var(--c-surface);border-left:1px solid var(--c-accent);padding:8px 10px;font-size:12px}#algebra-graph .algebra-verdict.is-collapsed{padding:8px 4px}#algebra-graph .algebra-drawer{background:var(--c-surface);border-left:1px solid var(--c-accent);border-bottom:1px solid var(--c-border-soft);padding:4px 6px;font-size:11px;max-height:34%;overflow:auto;min-height:0}#algebra-graph .algebra-result-col.is-collapsed .algebra-drawer{max-height:none;padding:4px 2px;overflow:visible}#algebra-graph .algebra-result-col.is-collapsed .algebra-drawer-head{justify-content:center}.algebra-drawer-dock{border:0;background:transparent;font:inherit;cursor:pointer;color:var(--c-muted);padding:0 2px;border-radius:3px;line-height:1}.algebra-drawer-dock:hover{color:var(--c-text);background:var(--c-hover)}.algebra-drawer-head{display:flex;align-items:center;gap:5px}.algebra-drawer-toggle{border:0;background:transparent;font:inherit;cursor:pointer;color:var(--c-muted);padding:0 2px;border-radius:3px;line-height:1}.algebra-drawer-toggle:hover{color:var(--c-text);background:var(--c-hover)}.algebra-drawer-list{display:flex;flex-direction:column;gap:1px;margin-top:3px}.algebra-drawer-row{display:flex;align-items:center;gap:5px;width:100%;text-align:left;border:0;background:transparent;font:inherit;font-size:11px;padding:2px 3px;border-radius:3px;cursor:pointer;color:var(--c-text)}.algebra-drawer-row:hover{background:var(--c-hover)}.algebra-drawer-title{flex:1 1 auto;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.algebra-drawer-pill{flex:0 0 auto;min-width:1.3em;text-align:center;font-weight:700;border-radius:4px;padding:0 4px;color:#fff}.algebra-drawer-row.is-stale,.algebra-drawer-row.is-branch{color:var(--c-muted)}.algebra-drawer-row.is-stale .algebra-drawer-pill,.algebra-drawer-row.is-branch .algebra-drawer-pill{opacity:.45}.algebra-drawer-tag{flex:0 0 auto;font-size:9px;text-transform:uppercase;letter-spacing:.03em;color:var(--c-muted);border:1px solid var(--c-border-soft);border-radius:3px;padding:0 3px}.algebra-drawer-note{font-size:9px;color:var(--c-muted);margin-top:3px}#algebra-graph .algebra-verdict.is-collapsed .algebra-verdict-scroll{display:none}#algebra-graph .algebra-verdict.is-collapsed .algebra-verdict-head{flex-direction:column;gap:4px}#algebra-graph .algebra-verdict.is-collapsed .algebra-verdict-head>span{display:none}#algebra-graph .algebra-verdict.hidden{display:none}#algebra-graph .algebra-verdict-head{display:flex;align-items:center;justify-content:space-between;font-weight:700;color:var(--c-muted);font-size:11px;margin-bottom:4px;flex:0 0 auto}#algebra-graph .algebra-verdict-scroll{flex:1 1 auto;overflow-y:auto;min-height:0}#algebra-graph .algebra-verdict.is-stale{opacity:.72;border-color:var(--c-border)}#algebra-graph .algebra-verdict-stale{margin:2px 0 4px;padding:3px 6px;border-radius:4px;font-size:11px;background:#fff8e6;border:1px solid #d9a441;color:#6b4a12}#algebra-graph .algebra-verdict-body{color:var(--c-text)}#algebra-graph .algebra-verdict-assume{margin:0 0 5px;padding:4px 6px;border-radius:4px;font-size:11px;line-height:1.35;color:#7a4a08;background:#b547081a;border:1px solid rgba(181,71,8,.3)}#algebra-graph .algebra-verdict-assume strong{color:#b54708;font-weight:700}#algebra-graph .algebra-verdict-sols{margin:6px 0 0;padding:6px;background:var(--c-border-soft);border-radius:4px;font-size:11px;max-height:140px;overflow:auto;white-space:pre}#algebra-graph .algebra-verdict-math{margin:6px 0 0;max-height:200px;overflow:auto}#algebra-graph .algebra-verdict-mathrow{overflow-x:auto;padding:3px 0}#algebra-graph .algebra-verdict-actions{display:flex;flex-wrap:wrap;gap:4px;margin-top:6px}#controls-algebra .card-sub{border-top:1px solid var(--c-border-soft);padding-top:6px}#controls-algebra .card-sub.hidden,#controls-algebra #alg-help.hidden{display:none}#controls-algebra .algebra-help-q{flex:none;width:22px;padding:0;font-weight:700;border-radius:50%}#controls-algebra .algebra-picker{position:relative;display:inline-block}#controls-algebra .algebra-picker-menu{position:absolute;z-index:30;top:100%;left:0;margin-top:2px;min-width:150px;max-height:220px;overflow:auto;background:var(--c-bg);border:1px solid var(--c-border);border-radius:4px;box-shadow:0 4px 12px #00000026;padding:4px}#controls-algebra .algebra-picker-menu.hidden{display:none}#controls-algebra .algebra-picker-row{display:flex;align-items:center;gap:6px;padding:2px 4px;font-size:12px;white-space:nowrap;cursor:pointer}#controls-algebra .algebra-picker-row:hover{background:var(--c-border-soft)}#controls-algebra .algebra-error{display:flex;align-items:flex-start;gap:6px;margin:4px 0;padding:6px 8px;font-size:12px;border-radius:4px;background:var(--c-error-bg);border:1px solid var(--c-error);color:var(--c-error-text)}#controls-algebra .algebra-error.hidden{display:none}#controls-algebra .algebra-error-msg{flex:1}#controls-algebra .algebra-error-close{flex:none;border:none;background:transparent;cursor:pointer;font-size:16px;line-height:1;padding:0 2px;color:inherit;font-weight:700}#controls-algebra .algebra-suggest{margin:4px 0;padding:4px 8px;font-size:12px;border-radius:4px;background:var(--c-info-bg);border:1px solid var(--c-accent);color:var(--c-info-text)}#controls-algebra .algebra-suggest.hidden{display:none}#controls-algebra .algebra-suggest-summary{cursor:pointer;-webkit-user-select:none;user-select:none;font-weight:600;padding:1px 0;list-style:none}#controls-algebra .algebra-suggest-summary::-webkit-details-marker{display:none}#controls-algebra .algebra-suggest-summary:before{content:"▸ ";display:inline-block;transition:transform .12s}#controls-algebra .algebra-suggest[open]>.algebra-suggest-summary:before{content:"▾ "}#controls-algebra .algebra-suggest-body{max-height:40vh;overflow-y:auto}#controls-algebra .algebra-suggest-row{display:flex;align-items:center;gap:6px;padding:2px 0}#controls-algebra .algebra-suggest-msg{flex:1}#controls-algebra .algebra-cta-caption{margin:3px 0 2px;line-height:1.45}#controls-algebra .algebra-restore{display:flex;align-items:center;flex-wrap:wrap;gap:6px;margin:6px 0;padding:6px 8px;font-size:12px;border-radius:4px;background:#fff8e6;border:1px solid #d9a441;color:#6b4a12}#controls-algebra .algebra-restore-msg{flex:1 1 100%}#controls-algebra .algebra-hypotheses{display:flex;align-items:center;flex-wrap:wrap;gap:4px;margin:4px 0;padding:3px 6px;font-size:11px;border-radius:4px;background:var(--c-border-soft);border:1px solid var(--c-border)}#controls-algebra .algebra-hypotheses.hidden{display:none}#controls-algebra .algebra-scope{margin:0 0 6px;padding:4px 7px;font-size:11px;line-height:1.4;border-radius:4px;background:var(--c-info-bg);border:1px solid var(--c-warn);color:var(--c-info-text)}#controls-algebra .algebra-scope.hidden{display:none}#controls-algebra .algebra-hyp-label{font-weight:600;color:var(--c-muted);text-transform:uppercase;letter-spacing:.02em;font-size:9px;margin-right:2px}#controls-algebra .algebra-hyp-none{color:var(--c-muted);font-style:italic}#controls-algebra .algebra-hyp-chip{border-radius:8px;padding:0 6px;white-space:nowrap;border:1px solid currentColor}#controls-algebra .algebra-hyp-chip.h-real{color:var(--c-ok)}#controls-algebra .algebra-hyp-chip.h-imag{color:var(--c-link)}#controls-algebra .algebra-hyp-chip.h-w0{color:#b54708}#controls-algebra .algebra-hyp-chip.h-pin{color:var(--c-text)}#controls-algebra .algebra-head{position:sticky;top:0;z-index:4;background:var(--c-bg);padding-bottom:4px;max-height:45vh;overflow-y:auto}#controls-algebra .algebra-primary{gap:4px;margin-top:4px}#controls-algebra .algebra-primary #alg-autosolve{flex:1}#controls-algebra .heavy-op{border-color:var(--c-accent);font-weight:600}#controls-algebra .algebra-section{border-top:1px solid var(--c-border-soft)}#controls-algebra .algebra-section>summary{cursor:pointer;padding:7px 2px;font-size:12px;font-weight:600;color:var(--c-text);list-style:none;-webkit-user-select:none;user-select:none}#controls-algebra .algebra-section>summary::-webkit-details-marker{display:none}#controls-algebra .algebra-section>summary:before{content:"▸ ";color:var(--c-muted);font-weight:400}#controls-algebra .algebra-section[open]>summary:before{content:"▾ "}#controls-algebra .algebra-section-body{padding:2px 2px 8px;display:flex;flex-direction:column;gap:6px}#controls-algebra .algebra-advanced>summary{cursor:pointer;font-size:11px;color:var(--c-muted);padding:2px 0}#controls-algebra .algebra-line{display:flex;align-items:center;gap:6px;flex-wrap:wrap}#controls-algebra .algebra-line-label{font-size:11px;font-weight:600;color:var(--c-muted)}#controls-algebra .algebra-elim-hint{margin:2px 0 0 2px}#controls-algebra .algebra-varlens{max-height:260px;overflow-y:auto;margin-top:2px}#controls-algebra .algebra-varlens-row{padding:4px 0;border-top:1px solid var(--c-border-soft)}#controls-algebra .algebra-varlens-row:first-child{border-top:none}#controls-algebra .algebra-varlens-head{font-size:11px;margin-bottom:3px}#controls-algebra .algebra-varlens-acts{display:flex;flex-wrap:wrap;gap:3px}#controls-algebra .algebra-varlens-act{font-size:10px;padding:1px 5px}#controls-algebra .algebra-sel-cap{margin:0 0 2px;font-style:italic}#controls-algebra .algebra-section-divider{display:flex;align-items:center;gap:6px;margin:10px 0 4px;font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:.04em;color:var(--c-muted)}#controls-algebra .algebra-section-divider:after{content:"";flex:1;height:1px;background:var(--c-border)}#controls-algebra .algebra-route-note{margin:0 0 4px;padding:3px 6px;border-radius:4px;background:var(--c-info-bg);color:var(--c-info-text);border-left:3px solid var(--c-link)}#controls-algebra .algebra-value-row{display:flex;align-items:center;gap:4px;margin-bottom:3px}#controls-algebra .algebra-value-row select{max-width:116px;flex:1 1 auto}#controls-algebra .algebra-value-row input{width:52px}#controls-algebra .alg-val-preview{flex:1 1 100%;font-size:11px}#controls-algebra .algebra-value-rm{flex:none;padding:0 6px}#controls-algebra .algebra-define-row{display:flex;align-items:center;gap:4px;margin-bottom:3px}#controls-algebra .algebra-define-row .alg-def-name{width:40px;flex:none;text-align:center}#controls-algebra .algebra-define-row .alg-def-eq{font-size:11px;opacity:.7}#controls-algebra .algebra-define-row .alg-def-expr{flex:1 1 auto;min-width:60px}#controls-algebra .alg-def-preview{font-size:11px;min-height:1em;margin:1px 0 2px;overflow-x:auto}#controls-algebra .alg-def-preview.alg-def-error{color:var(--c-danger)}#controls-algebra .algebra-define-row .alg-eq-rel{flex:none}#controls-algebra .algebra-palette{display:grid;grid-template-columns:1fr 1fr;gap:4px}#controls-algebra .algebra-palette button{white-space:normal}#controls-algebra .algebra-inspector{padding:4px 2px 8px;display:flex;flex-direction:column;gap:4px}#controls-algebra .algebra-inspector.hidden{display:none}#controls-algebra .algebra-inspector-head{display:flex;align-items:center;justify-content:space-between}#controls-algebra .algebra-inspector-eq{overflow-x:auto;padding:4px 0;border-bottom:1px dashed var(--c-border-soft)}@media (max-width: 400px){#controls-algebra .algebra-primary{display:grid;grid-template-columns:1fr 1fr;gap:4px}#controls-algebra .algebra-primary #alg-prove{grid-column:1 / -1}#controls-algebra .algebra-palette{grid-template-columns:1fr}#controls-algebra #alg-cas-params{flex:1 1 100%;width:auto}#controls-algebra .algebra-value-row{grid-template-columns:1fr 1fr}#controls-algebra .algebra-inspector .row{display:grid;grid-template-columns:1fr 1fr;gap:4px}#controls-algebra .algebra-inspector .row button.danger{grid-column:2;margin-left:0!important}}.algebra-ctx-menu{position:fixed;z-index:60;min-width:190px;max-height:70vh;overflow-y:auto;background:var(--c-surface);border:1px solid var(--c-border);border-radius:6px;box-shadow:0 6px 20px #00000038;padding:4px}.algebra-ctx-head{font-size:10px;text-transform:uppercase;letter-spacing:.04em;color:var(--c-muted);padding:3px 8px 5px;border-bottom:1px solid var(--c-border-soft);margin-bottom:3px}.algebra-ctx-item{display:block;width:100%;text-align:left;border:0;background:transparent;font:inherit;font-size:12px;padding:4px 8px;border-radius:4px;cursor:pointer;color:var(--c-text)}.algebra-ctx-item:hover{background:var(--c-hover)}.algebra-ctx-item.danger{color:var(--c-danger)}.algebra-ctx-item.danger:hover{background:var(--c-error-bg)}#controls-algebra .algebra-inspector button.danger{color:var(--c-danger);border-color:var(--c-danger)}#controls-algebra #alg-sections.is-behind-inspector>details[open]>.algebra-section-body{display:none}#controls-algebra #alg-sections.is-behind-inspector{opacity:.55}#controls-algebra #alg-sections.is-behind-inspector:hover,#controls-algebra #alg-sections.is-behind-inspector:focus-within{opacity:1}#controls-algebra .algebra-factor-out{max-height:220px;overflow-y:auto;margin-top:4px}#controls-algebra .algebra-factor-out:empty{display:none}#controls-algebra .algebra-factor-chooser{margin-top:6px;border-top:1px dashed var(--c-border-soft);padding-top:4px}#controls-algebra .algebra-factor-row{display:flex;align-items:center;gap:6px;margin:3px 0}#controls-algebra .algebra-factor-eq{flex:1;overflow-x:auto}#controls-algebra .algebra-factor-row button{flex:none}#controls-algebra .algebra-solve-panel{margin-top:6px;border-top:1px dashed var(--c-border-soft);padding-top:4px}#controls-algebra .algebra-solve-out{margin-top:4px}#controls-algebra .algebra-solve-root{overflow-x:auto;padding:3px 0}#controls-algebra .algebra-steps-panel{margin-top:6px;border-top:1px dashed var(--c-border-soft);padding-top:4px}#controls-algebra .algebra-steps-list{margin:4px 0 0;padding-left:1.4em}#controls-algebra .algebra-steps-list li{margin-bottom:5px}#controls-algebra .algebra-step-rule{font-size:.85em;color:var(--c-muted)}#controls-algebra .algebra-step-eq{overflow-x:auto;padding:2px 0}#algebra-graph .algebra-toolbar{grid-area:toolbar;display:flex;align-items:center;gap:4px;flex-wrap:wrap;background:var(--c-surface);border-bottom:1px solid var(--c-border);padding:4px 6px;min-width:0}#algebra-graph .algebra-toolbar .algebra-tb-btn{padding:1px 7px}#algebra-graph .algebra-toolbar .algebra-tb-btn.active{border-color:var(--c-accent);color:var(--c-accent);font-weight:600}#algebra-graph .algebra-toolbar-zoom{font-size:11px;min-width:36px;text-align:center;color:var(--c-muted)}#algebra-graph .algebra-minimap{position:absolute;left:8px;top:8px;z-index:12;width:168px;height:116px;background:var(--c-surface);border:1px solid var(--c-border);border-radius:6px;box-shadow:0 2px 8px #00000029;cursor:pointer;overflow:hidden}#algebra-graph .algebra-minimap.hidden{display:none}#algebra-graph .algebra-minimap-inner{position:relative;width:168px;height:116px}#algebra-graph .algebra-mm-lane{position:absolute;background:var(--c-border-soft);border:1px solid var(--c-border);border-radius:2px}#algebra-graph .algebra-mm-lane.is-current{background:var(--c-accent);opacity:.45;border-color:var(--c-accent)}#algebra-graph .algebra-minimap-view{position:absolute;border:1.5px solid var(--c-accent);background:#2bbb771f;pointer-events:none;border-radius:2px}#controls-algebra .hint{font-size:70%;line-height:1.4}#algebra-graph .algebra-corner{grid-area:canvas;align-self:end;justify-self:start;margin:0 0 8px 8px;z-index:12;min-width:0;display:flex;max-width:min(300px,42%);max-height:calc(100% - 16px);pointer-events:none}#algebra-graph .algebra-corner>*{pointer-events:auto}.algebra-refcard{background:var(--c-surface);border:1px solid var(--c-border);border-radius:6px;box-shadow:0 2px 8px #00000029;padding:4px 6px;font-size:11px;max-width:100%;display:flex;flex-direction:column;min-height:0}.algebra-refcard-head{display:flex;align-items:center;gap:6px;flex-wrap:wrap}.algebra-refcard-toggle{border:0;background:transparent;font:inherit;cursor:pointer;color:var(--c-muted);padding:0 2px;border-radius:3px;line-height:1}.algebra-refcard-toggle:hover{color:var(--c-text);background:var(--c-hover)}.algebra-refcard .algebra-ref-opt{font-size:10px;color:var(--c-muted);margin-left:auto}.algebra-refcard .algebra-ref{margin:2px 0 0;max-height:236px;overflow:auto;min-height:0}.algebra-refcard.is-collapsed .algebra-ref,.algebra-refcard.is-collapsed .algebra-ref-opt{display:none}.algebra-refcard .algebra-ref-math .katex-display,.algebra-refcard .algebra-ref-math .katex{font-size:.72em}.algebra-refcard .algebra-ref-math .katex-display{margin:2px 0}.algebra-refcard .algebra-ref-legend{font-size:9px}#controls-algebra .algebra-seed-opt{margin-top:2px}#controls-algebra .algebra-ref-opt{font-size:70%;color:var(--c-muted)}#controls-algebra .algebra-steps{display:flex;align-items:center;gap:6px;flex-wrap:wrap;font-size:70%;color:var(--c-muted);margin:4px 0 2px}#controls-algebra .algebra-steps.hidden{display:none}#controls-algebra .algebra-step{font:inherit;color:var(--c-muted-2);background:var(--c-border-soft);border:1px solid transparent;border-radius:8px;padding:1px 7px;white-space:nowrap;cursor:pointer}#controls-algebra .algebra-step:hover{background:var(--c-hover)}#controls-algebra .algebra-step.is-done{border-color:var(--c-ok);background:var(--c-surface)}#controls-algebra .algebra-step.is-stale{border-color:var(--c-warn);background:var(--c-surface)}#controls-algebra .algebra-step.is-next{border-color:var(--c-link);color:var(--c-text);font-weight:600}#controls-algebra .algebra-steps-x{margin-left:auto;border:none;background:transparent;cursor:pointer;font-size:13px;line-height:1;color:var(--c-muted);padding:0 2px}#algebra-graph .algebra-breadcrumb{display:flex;align-items:center;gap:2px;overflow-x:auto;min-width:0}#algebra-graph .algebra-breadcrumb.hidden{display:none}#algebra-graph .algebra-bc-chip{border:1px solid var(--c-border-soft);background:var(--c-bg);cursor:pointer;font-size:11px;border-radius:10px;padding:1px 8px;white-space:nowrap;color:var(--c-text)}#algebra-graph .algebra-bc-chip:hover{background:var(--c-border-soft)}#algebra-graph .algebra-bc-chip.is-current{border-color:var(--c-accent);font-weight:600}#algebra-graph .algebra-bc-sep{color:var(--c-muted);font-size:11px}#algebra-graph .algebra-trackbar{display:flex;align-items:center;gap:4px;overflow-x:auto;min-width:0}#algebra-graph .algebra-trackbar.hidden{display:none}#algebra-graph .algebra-track-lbl{color:var(--c-muted);font-size:10px;text-transform:uppercase;letter-spacing:.03em}#algebra-graph .algebra-track-chip.is-child{margin-left:calc(var(--alg-depth) * 10px)}#algebra-graph .algebra-track-from{color:var(--c-muted);font-size:11px;cursor:help;margin-right:1px}#algebra-graph .algebra-mm-node{position:absolute;background:var(--c-muted);border-radius:1px;opacity:.55}#algebra-graph .algebra-mm-node.k-generated{background:var(--c-primary)}#algebra-graph .algebra-mm-node.k-constraint{background:var(--c-warn)}#algebra-graph .algebra-mm-node.k-derived{background:var(--c-muted-2)}#algebra-graph .algebra-mm-node.is-lineage{opacity:.95}#algebra-graph .algebra-mm-node.is-selected{background:var(--c-accent);opacity:1;outline:1px solid var(--c-accent)}#algebra-graph .algebra-mm-node.is-match{background:var(--c-ok);opacity:1}#algebra-graph .algebra-track-chip{display:inline-flex;align-items:center;gap:2px;border:1px solid var(--c-border-soft);background:var(--c-bg);font-size:11px;border-radius:10px;padding:1px 6px 1px 8px;white-space:nowrap;color:var(--c-text)}#algebra-graph .algebra-track-chip.is-current{border-color:var(--c-accent);font-weight:600}#algebra-graph .algebra-track-name{border:none;background:transparent;cursor:pointer;font:inherit;color:inherit;padding:0}#algebra-graph .algebra-track-chip.is-current .algebra-track-name{cursor:default}#algebra-graph .algebra-track-name:hover{text-decoration:underline}#algebra-graph .algebra-track-chip.is-current .algebra-track-name:hover{text-decoration:none}#algebra-graph .algebra-track-x{border:none;background:transparent;cursor:pointer;color:var(--c-muted);font-size:13px;line-height:1;padding:0 1px}#algebra-graph .algebra-track-x:hover{color:var(--c-danger)}#algebra-graph .algebra-track-fork{border:1px dashed var(--c-border);background:var(--c-bg);cursor:pointer;font-size:11px;border-radius:10px;padding:1px 8px;white-space:nowrap;color:var(--c-text)}#algebra-graph .algebra-track-fork:hover{background:var(--c-border-soft);border-color:var(--c-accent)}#algebra-graph .algebra-track-verdict{font-size:9px;border-radius:6px;padding:0 4px;margin-left:2px;font-weight:700;white-space:nowrap;border:1px solid currentColor}#algebra-graph .algebra-track-verdict.v-none{color:var(--c-danger)}#algebra-graph .algebra-track-verdict.v-unique{color:var(--c-accent)}#algebra-graph .algebra-track-verdict.v-multi{color:var(--c-link)}#algebra-graph .algebra-track-verdict.v-open{color:#b54708}#algebra-graph .algebra-track-verdict.v-unknown{color:var(--c-muted)}#algebra-graph .algebra-track-verdicts{border:1px solid var(--c-border);background:var(--c-bg);cursor:pointer;font-size:11px;border-radius:10px;padding:1px 8px;white-space:nowrap;color:var(--c-muted)}#algebra-graph .algebra-track-verdicts:hover{background:var(--c-border-soft);color:var(--c-text)}@keyframes algebra-col-flash{0%,to{background:transparent}30%{background:#22aa7729}}#algebra-graph .algebra-column.algebra-column-flash{animation:algebra-col-flash .9s ease;border-radius:6px}@media (prefers-reduced-motion: reduce){#algebra-graph .algebra-column.algebra-column-flash{animation:none}}#controls-algebra .algebra-seed-table{border-collapse:collapse;margin:2px 0}#controls-algebra .algebra-seed-table th{text-align:left;font-weight:600;color:var(--c-muted);padding:1px 8px 1px 0;vertical-align:top;white-space:nowrap}#controls-algebra .algebra-seed-table td{padding:1px 0}#alternates-card .alt{display:flex;align-items:center;justify-content:space-between;padding:4px 0;font-size:13px;border-bottom:1px dashed #eee}#alternates-card .alt:last-child{border-bottom:none}.rm-sym{background:#f4f6fb;border-left:3px solid var(--c-primary);padding:6px 10px;margin:4px 0 10px;overflow-x:auto}.rm-sym .katex{font-size:.95em}.rm-sym .katex-display{text-align:left;margin:4px 0}.rm-numer{padding:4px 0 4px 4px;overflow-x:auto}.rm-numer .katex{font-size:.95em}.rm-numer .katex-display{margin:4px 0;text-align:left}#schwarz-sigma-form-out .ssf-fam{font-family:ui-monospace,SF Mono,Consolas,monospace;color:var(--c-muted);margin-bottom:4px}#schwarz-sigma-form-out .ssf-row{overflow-x:auto}#schwarz-sigma-form-out .katex{font-size:.95em}#schwarz-sigma-form-out .katex-display{text-align:left;margin:4px 0}#sphere-gl-canvas{position:absolute;left:0;top:0;width:100%;height:100%;pointer-events:none;z-index:0}#sp-hover{white-space:pre}#sphere-hover-tooltip{position:absolute;pointer-events:none;background:#ffffffe0;border:1px solid var(--c-border);border-radius:4px;padding:4px 8px;font-family:ui-monospace,SF Mono,Consolas,monospace;font-size:11px;color:#333;white-space:pre;z-index:3;box-shadow:0 1px 3px #0000001f;-webkit-user-select:none;user-select:none}.hidden{display:none!important}.search-spinner{display:inline-block;width:10px;height:10px;border:2px solid var(--c-border-input);border-top-color:var(--c-primary);border-radius:50%;animation:spin .9s linear infinite;vertical-align:middle;margin-right:4px}@keyframes spin{to{transform:rotate(360deg)}}@media (prefers-reduced-motion: reduce){.search-spinner{animation:none}}.search-opt-group{margin-top:10px;padding-top:8px;border-top:1px dashed var(--c-border)}.search-opt-group-title{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.04em;color:var(--c-muted-2);margin-bottom:6px}input.so-num{width:100px;font-family:inherit;font-size:12px}.domain-mode-group{margin-bottom:8px}.domain-mode-group:last-of-type{margin-bottom:0}.domain-mode-group-label{font-size:10px;color:var(--c-muted);text-transform:uppercase;letter-spacing:.06em;margin-bottom:3px;font-weight:500}.segmented{display:flex;gap:0;border-radius:6px;overflow:hidden;border:1px solid #c2cad6}.segmented .seg-btn{flex:1;padding:6px 10px;border:0;background:#f4f6fa;color:#234;cursor:pointer;font:inherit}.segmented .seg-btn:hover{background:#e8edf5}.segmented .seg-btn.active{background:var(--c-accent);color:#fff}.segmented .seg-btn:focus-visible{outline:none;box-shadow:inset 0 0 0 2px var(--c-primary)}.segmented .seg-btn:not(:last-child){border-right:1px solid #c2cad6}@media (max-width: 860px){#app{grid-template-columns:1fr;grid-template-rows:minmax(0,45vh) 1fr}#controls{border-right:none;border-bottom:1px solid var(--c-border)}#controls input[type=text],#controls input[type=number],#controls select{max-width:100%}}.help-popover .algebra-op-help{margin:0}.help-popover .algebra-op-help dt{font-weight:600;margin-top:6px}.help-popover .algebra-op-help dt:first-child{margin-top:0}.help-popover .algebra-op-help dd{margin:2px 0 0;color:var(--c-muted-2)}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(./KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(./KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(./KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(./KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(./KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(./KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(./KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(./KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(./KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(./KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(./KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(./KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(./KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(./KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(./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(./KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(./KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(./KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(./KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(./KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(./KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(./KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(./KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(./KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(./KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(./KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(./KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(./KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(./KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(./KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(./KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(./KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(./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(./KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(./KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(./KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(./KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(./KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(./KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(./KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(./KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(./KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(./KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(./KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(./KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(./KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(./KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(./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(./KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(./KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(./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(./KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(./KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(./KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(./KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(./KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(./KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(./KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(./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}