.paper{--read:clamp(15px, calc(13.4px + .25vw), 17.5px);--measure:760px;--wide:760px;--gutter:clamp(16px, 4vw, 48px);--text-2xs:clamp(11px, calc(9.6px + .15vw), 12px);--text-xs:clamp(12px, calc(10.6px + .17vw), 13.5px);--text-sm:clamp(13px, calc(11.4px + .22vw), 15px);padding:0 var(--gutter) 120px;color:var(--color-ink-2);font-size:var(--read);line-height:1.72}.paper>:where(header,nav),.paper :where(section)>:where(:not(section,.wide,.full)){max-width:var(--measure);margin-left:auto;margin-right:auto}.paper .wide{max-width:var(--wide);margin-left:auto;margin-right:auto}.paper .full{max-width:none}.paper .title-block{padding:clamp(36px,7vw,76px) 0 8px}.paper h1{letter-spacing:-.01em;color:var(--color-ink);margin-top:0;margin-bottom:0;font-family:KaTeX_Main,Times New Roman,serif;font-size:clamp(36px,6vw,60px);font-weight:400;line-height:1.06}.paper .subtitle{font-size:calc(var(--read) * 1.18);color:var(--color-ink-2);margin-top:12px;line-height:1.5}.paper .byline{border-top:1px solid var(--color-edge);font-size:var(--text-xs);color:var(--color-ink-3);flex-wrap:wrap;gap:4px 18px;margin-top:20px;padding-top:14px;display:flex}.paper .byline b{color:var(--color-ink);font-weight:500}.paper .toc{border-top:1px solid var(--color-edge);margin-top:34px;padding-top:16px}.paper .toc h2{font-family:var(--font-sans);font-size:var(--text-xs);letter-spacing:0;color:var(--color-ink-3);margin-top:0;margin-bottom:10px;font-weight:500}.paper .toc ol{gap:10px;display:grid}.paper .toc li{font-size:var(--text-sm);grid-template-columns:18px minmax(0,1fr);gap:2px 10px;line-height:1.5;display:grid}.paper .toc .roman{color:var(--color-ink-3);font-family:KaTeX_Main,serif}.paper .toc .part-link{color:var(--color-ink);text-decoration:none}.paper .toc .chapters{font-size:var(--text-xs);color:var(--color-ink-3);grid-column:2}.paper .toc .chapters a{color:inherit;text-decoration:none}.paper .toc .chapters a:hover,.paper .toc .part-link:hover{color:var(--color-ink)}.paper .toc .chapters span+span:before{content:" · ";color:var(--color-edge)}.paper .part-head{scroll-margin-top:calc(var(--bar-h) + 16px);margin-top:clamp(64px,10vw,104px)}.paper .part-head .roman{font-family:KaTeX_Main,serif;font-size:var(--text-sm);color:var(--color-ink-3);display:block}.paper h2{color:var(--color-ink);margin-top:2px;margin-bottom:0;font-family:KaTeX_Main,Times New Roman,serif;font-size:clamp(27px,4vw,38px);font-weight:400;line-height:1.15}.paper .part-lede{font-size:calc(var(--read) * 1.06);color:var(--color-ink-2);margin-top:14px}.paper section[id]{scroll-margin-top:calc(var(--bar-h) + 16px)}.paper section.chapter{padding-top:clamp(40px,5vw,56px)}.paper h3{font-size:calc(var(--read) * 1.27);letter-spacing:-.01em;color:var(--color-ink);align-items:baseline;gap:12px;margin-top:0;margin-bottom:0;font-weight:500;line-height:1.3;display:flex}.paper h3 .n{min-width:20px;font-family:KaTeX_Main,serif;font-size:var(--read);color:var(--color-ink-3);flex:none;font-weight:400}.paper h4{font-size:var(--read);color:var(--color-ink);margin-top:26px;margin-bottom:8px;font-weight:500}.paper .src{font-size:var(--text-xs);color:var(--color-ink-3);margin-top:4px;margin-bottom:14px;padding-left:32px;line-height:1.55}.paper p{margin-top:0;margin-bottom:14px}.paper p :where(.katex),.paper li :where(.katex){color:var(--color-ink)}.paper strong,.paper b{color:var(--color-ink);font-weight:550}.paper em{color:var(--color-ink);font-style:italic}.paper a{color:var(--color-ink);text-decoration:underline;-webkit-text-decoration-color:var(--color-rule);text-decoration-color:var(--color-rule);text-underline-offset:3px}.paper a:hover{-webkit-text-decoration-color:var(--color-ink);text-decoration-color:var(--color-ink)}.paper ul.list,.paper ol.list{margin-bottom:16px;padding-left:22px}.paper ul.list{list-style:outside}.paper ol.list{list-style:decimal}.paper .list li{margin-bottom:6px;padding-left:4px}.paper .list li::marker{color:var(--color-ink-3)}.paper code{font:.88em var(--font-mono);color:var(--color-ink)}.paper .katex-display{margin:6px 0 16px;padding:4px 0;overflow:auto hidden}.paper .lede-list{counter-reset:lede;gap:10px;margin:6px auto 18px;padding-left:0;display:grid}.paper .lede-list li{counter-increment:lede;color:var(--color-ink-2);grid-template-columns:22px minmax(0,1fr);display:grid}.paper .lede-list li:before{content:counter(lede);color:var(--color-ink-3);font-family:KaTeX_Main,serif}.paper .mark{border:1px solid var(--color-ink-3);vertical-align:0;border-radius:50%;flex:none;width:7px;height:7px;margin-right:6px;display:inline-block}.paper .mark.new{border-color:var(--color-ink);background:var(--color-ink)}.paper .mark.measured{border-color:var(--color-ink-2);background:radial-gradient(circle, var(--color-ink-2) 0 1.5px, transparent 2px)}.paper .mark.inline{margin-left:4px}.paper .legend{font-size:var(--text-xs);color:var(--color-ink-3);flex-wrap:wrap;gap:6px 20px;display:flex}.paper .legend li{align-items:center;display:inline-flex}.paper .figure{margin-top:28px;margin-bottom:30px}.paper .pf{justify-items:center;gap:14px;margin:0;display:grid}.paper .pf figcaption,.paper .caption{max-width:60ch;font-size:var(--text-xs);color:var(--color-ink-3);text-align:center;justify-self:center;line-height:1.6}.paper .caption{margin:10px auto 26px}.paper .figure.graph>figure{margin-left:auto;margin-right:auto}.paper .table-scroll{margin-top:20px;margin-bottom:4px;padding-bottom:2px;overflow-x:auto}.paper table.bt{border-collapse:collapse;width:100%;font-size:var(--text-sm);font-variant-numeric:tabular-nums;line-height:1.45}.paper table.bt th,.paper table.bt td{text-align:left;vertical-align:top;padding:7px 14px 7px 0;font-weight:400}.paper table.bt th:last-child,.paper table.bt td:last-child{padding-right:0}.paper table.bt thead{border-top:1px solid var(--color-ink-3);border-bottom:1px solid var(--color-rule);color:var(--color-ink-3);font-size:var(--text-xs)}.paper table.bt tbody{border-bottom:1px solid var(--color-ink-3)}.paper table.bt tbody th{color:var(--color-ink)}.paper table.bt .num{text-align:right;white-space:nowrap}.paper table.bt td small{color:var(--color-ink-3);font-size:var(--text-2xs);white-space:nowrap;display:block}.paper table.bt tr.hi td,.paper table.bt tr.hi th{color:var(--color-ink)}.paper table.bt tr.quiet td,.paper table.bt tr.quiet th{color:var(--color-ink-3)}.paper details.more{margin-top:4px;margin-bottom:18px}.paper details.more>summary{cursor:pointer;font-size:var(--text-sm);color:var(--color-ink);padding:4px 0;list-style:none}.paper details.more>summary::-webkit-details-marker{display:none}.paper details.more>summary:before{content:"+";width:18px;color:var(--color-ink-3);display:inline-block}.paper details.more[open]>summary:before{content:"−"}.paper details.more>:not(summary){padding-left:18px}.paper .refs ol{font-size:var(--text-xs);color:var(--color-ink-3);margin-top:14px;padding-left:24px;line-height:1.6;list-style:decimal}.paper .refs li{scroll-margin-top:calc(var(--bar-h) + 20px);margin-bottom:8px;padding-left:4px}.paper .refs li:target{color:var(--color-ink)}.paper .refs .who{color:var(--color-ink-2)}@media (width<=640px){.paper .src{padding-left:0}.paper h3{gap:10px}.paper table.bt{font-size:var(--text-xs)}.paper table.bt th,.paper table.bt td{padding-right:10px}.paper table.bt td small{white-space:normal}.paper table.bt tbody th{min-width:6.5em}.paper .katex-display>.katex{font-size:1.04em}.paper .figure.graph{overscroll-behavior-x:contain;margin-left:calc(-1 * var(--gutter));margin-right:calc(-1 * var(--gutter));padding:0 var(--gutter);overflow-x:auto}.paper .figure.graph>figure{min-width:540px}}.cite.svelte-kyc0nb{color:var(--color-ink-3);white-space:nowrap;font-variant-numeric:tabular-nums;font-size:.82em}.cite.svelte-kyc0nb a:where(.svelte-kyc0nb){color:inherit;text-decoration:none}.cite.svelte-kyc0nb a:where(.svelte-kyc0nb):hover{color:var(--color-ink)}.qed.svelte-1lvft47{display:block;overflow:visible}.ln.svelte-1lvft47{fill:none;stroke:#f2f2f2;stroke-width:1.25px;stroke-linecap:round;stroke-linejoin:round}.ln.thin.svelte-1lvft47,.ln.wave.svelte-1lvft47{stroke-width:1.1px}.tip.svelte-1lvft47{fill:#f2f2f2}.blob.svelte-1lvft47{fill:url(#qed-hatch);stroke:#f2f2f2;stroke-width:1.2px}.sum.svelte-mezn7w{flex-wrap:wrap;justify-content:center;align-items:center;gap:10px 7px;margin:8px 0 16px;display:flex}.sum.captioned.svelte-mezn7w{row-gap:30px;margin-bottom:34px}figure.svelte-mezn7w{margin:0;line-height:0;position:relative}figcaption.svelte-mezn7w{white-space:nowrap;color:var(--color-ink-3);font-size:12px;line-height:1;position:absolute;top:calc(100% + 6px);left:50%;transform:translate(-50%)}figcaption.svelte-mezn7w .katex{color:var(--color-ink-3)}.op.svelte-mezn7w{align-items:center;font-size:17px;line-height:1;display:inline-flex}.op.svelte-mezn7w .katex{position:relative;top:-.09em}.fig1.svelte-d1vdwb{grid-template-columns:repeat(2,minmax(0,1fr));gap:22px 44px;display:grid}.fig1.single.svelte-d1vdwb{grid-template-columns:minmax(0,1fr);gap:26px;width:100%;max-width:540px;margin:0 auto}svg.svelte-d1vdwb{width:100%;height:auto;font-family:var(--font-sans);overflow:visible}.tag.svelte-d1vdwb{fill:var(--color-ink-3);font-family:KaTeX_Main,serif;font-size:13px}.head.svelte-d1vdwb{fill:var(--color-ink);font-size:12.5px;font-weight:500}.k.svelte-d1vdwb,.eq.svelte-d1vdwb{fill:var(--color-ink-2);font-family:KaTeX_Main,serif;font-size:13px;font-style:italic}.eq.svelte-d1vdwb{fill:var(--color-ink)}.eq.svelte-d1vdwb .sub:where(.svelte-d1vdwb),.eq.svelte-d1vdwb .sup:where(.svelte-d1vdwb){font-size:9px}.well.svelte-d1vdwb{fill:#121212}.well.query.svelte-d1vdwb{fill:#1d1d1d}.op.svelte-d1vdwb{fill:var(--color-ink-3);font-family:KaTeX_Main,serif;font-size:14px}.what.svelte-d1vdwb,.note.svelte-d1vdwb,.stage.svelte-d1vdwb,.bar-label.svelte-d1vdwb,.bar-v.svelte-d1vdwb{fill:var(--color-ink-3);font-size:10.5px}.side.svelte-d1vdwb{fill:var(--color-ink-2);font-size:11.5px;font-weight:500}.res.svelte-d1vdwb{fill:var(--color-ink-2);font-size:11px}.unit.svelte-d1vdwb{fill:none;stroke:#333;stroke-width:1px}.hub.svelte-d1vdwb{fill:var(--color-ink-3)}.ph.svelte-d1vdwb{stroke:var(--color-ink-2);stroke-width:1.4px;stroke-linecap:round}.ph.strong.svelte-d1vdwb{stroke:var(--color-ink);stroke-width:1.8px}.ph.sum.svelte-d1vdwb{stroke:var(--color-ink);stroke-width:2.6px}.ph.split.svelte-d1vdwb{stroke:var(--color-ink-3);stroke-width:1.4px}.stage.svelte-d1vdwb{fill:var(--color-ink-2)}.flow.svelte-d1vdwb{stroke:#3a3a3a;stroke-width:1px}.arrow.svelte-d1vdwb{fill:#5a5a5a}.step.svelte-d1vdwb{fill:var(--color-ink-2)}.bar.svelte-d1vdwb{fill:#3a3a3a}.bar.ours.svelte-d1vdwb,.bar-label.ours.svelte-d1vdwb,.bar-v.ours.svelte-d1vdwb{fill:var(--color-ink)}@media (width<=760px){.fig1.svelte-d1vdwb{grid-template-columns:minmax(0,1fr)}}.wrap.svelte-2rlw6e{width:100%;max-width:622px;margin:0 auto}svg.svelte-2rlw6e{width:100%;height:auto;font-family:var(--font-sans);display:block;overflow:visible}.col.svelte-2rlw6e{fill:var(--color-ink-3);font-family:KaTeX_Main,serif;font-size:12px;font-style:italic}.task.svelte-2rlw6e{fill:var(--color-ink-2);font-size:12px}.acc.svelte-2rlw6e{fill:var(--color-ink-3);font-variant-numeric:tabular-nums;font-size:11px}.base.svelte-2rlw6e{stroke:#262626;stroke-width:1px}.bar.svelte-2rlw6e{fill:#333}.bar.used.svelte-2rlw6e{fill:var(--color-ink)}.val.svelte-2rlw6e{fill:var(--color-ink-3);font-variant-numeric:tabular-nums;font-size:10px}.val.used.svelte-2rlw6e{fill:var(--color-ink-2)}.chars.svelte-1dir0oy{max-width:calc(var(--read,15px) * 52);grid-template-columns:minmax(0,1fr) minmax(0,1.45fr);align-items:start;gap:18px 44px;display:grid}.sub.svelte-1dir0oy{font-size:var(--text-xs);color:var(--color-ink-2);margin:0 0 6px}.tag.svelte-1dir0oy{color:var(--color-ink-3);margin-right:4px;font-family:KaTeX_Main,serif}svg.svelte-1dir0oy{width:100%;height:auto;font-family:var(--font-sans);overflow:visible}.unit.svelte-1dir0oy{fill:none;stroke:#2c2c2c}.dot.svelte-1dir0oy{fill-opacity:.85}.dot.k0.svelte-1dir0oy{fill:var(--color-ink)}.dot.k1.svelte-1dir0oy{fill:#8a8a8a}.dot.k2.svelte-1dir0oy{fill:#4d4d4d}.cap.svelte-1dir0oy{fill:var(--color-ink-2);font-family:KaTeX_Main,serif;font-size:10px}.cap.dim.svelte-1dir0oy{fill:var(--color-ink-3)}.grid.svelte-1dir0oy{stroke:#1f1f1f}.tick.svelte-1dir0oy,.axis.svelte-1dir0oy{fill:var(--color-ink-3);font-size:10px}.law.svelte-1dir0oy{stroke:#5a5a5a;stroke-width:1px;stroke-dasharray:3 3}.legend.svelte-1dir0oy .law:where(.svelte-1dir0oy){stroke:#8a8a8a}.pt.svelte-1dir0oy{fill:none;stroke:var(--color-ink);stroke-width:1.2px}.pt.zs4.svelte-1dir0oy{stroke:#b0b0b0}.pt.zs5.svelte-1dir0oy{stroke:gray}.pt.arity.svelte-1dir0oy{stroke:#d8d8d8}.legend.svelte-1dir0oy{font-size:var(--text-2xs);color:var(--color-ink-3);flex-wrap:wrap;gap:4px 14px;margin:2px 0 0 34px;display:flex}.legend.svelte-1dir0oy span:where(.svelte-1dir0oy){align-items:center;gap:5px;display:inline-flex}.legend.svelte-1dir0oy svg:where(.svelte-1dir0oy){width:auto}@media (width<=760px){.chars.svelte-1dir0oy{grid-template-columns:minmax(0,1fr)}.wheels.svelte-1dir0oy svg:where(.svelte-1dir0oy){max-width:240px;margin:0 auto;display:block}}.demo.svelte-19lr1zq{width:100%;max-width:620px;margin:18px auto 24px}table.svelte-19lr1zq{border-collapse:collapse;width:100%;font-size:var(--text-sm)}thead.svelte-19lr1zq th:where(.svelte-19lr1zq){text-align:left;color:var(--color-ink-3);border-bottom:1px solid #262626;padding:0 6px 8px;font-weight:400}tbody.svelte-19lr1zq tr:where(.svelte-19lr1zq):last-child td:where(.svelte-19lr1zq){border-bottom:1px solid #262626}td.svelte-19lr1zq{color:var(--color-ink-2);padding:4px 6px}td.num.svelte-19lr1zq,th.num.svelte-19lr1zq{text-align:right;font-variant-numeric:tabular-nums}td.zero.svelte-19lr1zq{color:#444}td.first.svelte-19lr1zq{color:var(--color-ink);font-weight:600}td.need.svelte-19lr1zq{color:var(--color-ink-3);font-size:var(--text-xs)}.controls.svelte-19lr1zq{font-size:var(--text-xs);color:var(--color-ink-3);flex-wrap:wrap;justify-content:center;align-items:center;gap:8px 16px;margin-top:10px;display:flex}button.svelte-19lr1zq{border-radius:var(--radius-ui);background:var(--color-lift);height:28px;color:var(--color-ink);font:inherit;cursor:pointer;border:0;padding:0 12px}button.svelte-19lr1zq:hover{background:var(--color-control)}button.quiet.svelte-19lr1zq{color:var(--color-ink-2);text-underline-offset:3px;background:0 0;padding:0;text-decoration:underline}.check.ok.svelte-19lr1zq{color:var(--color-ink)}.time.svelte-19lr1zq{margin-left:auto}figcaption.svelte-19lr1zq{max-width:60ch;font-size:var(--text-xs);color:var(--color-ink-3);text-align:center;margin:14px auto 0;line-height:1.6}.wrap.svelte-t9wqp0{margin:12px 0 18px;overflow-x:auto}table.svelte-t9wqp0{border-collapse:collapse;width:100%;font-size:var(--text-sm);font-variant-numeric:tabular-nums;line-height:1.45}caption.svelte-t9wqp0{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}thead.svelte-t9wqp0{border-top:1px solid var(--color-ink-3);border-bottom:1px solid var(--color-rule)}thead.svelte-t9wqp0 th:where(.svelte-t9wqp0){font-size:var(--text-xs);text-align:left;color:var(--color-ink-3);padding:7px 14px 7px 0;font-weight:400}tbody.svelte-t9wqp0{border-bottom:1px solid var(--color-ink-3)}th.name.svelte-t9wqp0,td.svelte-t9wqp0{vertical-align:top;padding:7px 14px 7px 0}th.name.svelte-t9wqp0{text-align:left;color:var(--color-ink);font-weight:400}th.svelte-t9wqp0:last-child,td.svelte-t9wqp0:last-child{padding-right:0}.r.svelte-t9wqp0{text-align:right;white-space:nowrap}.v.svelte-t9wqp0{color:var(--color-ink-2)}.v.top.svelte-t9wqp0{color:var(--color-ink);font-weight:600}small.svelte-t9wqp0{font-size:var(--text-2xs);color:var(--color-ink-3);display:block}.na.svelte-t9wqp0{color:var(--color-ink-3)}@media (width<=640px){table.svelte-t9wqp0{font-size:var(--text-xs)}th.name.svelte-t9wqp0,td.svelte-t9wqp0,thead.svelte-t9wqp0 th:where(.svelte-t9wqp0){padding-right:10px}small.svelte-t9wqp0{white-space:normal}}.fig.svelte-8n07he{justify-items:center;gap:16px;width:100%;animation:.36s both svelte-8n07he-arrive;display:grid}.fig.tall.svelte-8n07he{grid-template-rows:minmax(0,1fr) auto;height:clamp(360px,72vw,540px)}.fig.tall.svelte-8n07he:has(.fig-head:where(.svelte-8n07he)){grid-template-rows:auto minmax(0,1fr) auto}.fig.wide.svelte-8n07he{justify-items:stretch}.learned-key.svelte-8n07he{justify-content:center;margin:10px 0 8px;display:flex}.learned-key.svelte-8n07he .legend{justify-content:center}.fig.tree.svelte-8n07he .three:where(.svelte-8n07he){justify-self:center;width:min(100%,600px)}.fig.tall.tree.compact.svelte-8n07he{height:clamp(260px,44vw,330px)}.fig.tree.compact.svelte-8n07he .three:where(.svelte-8n07he){min-height:200px}.learned-note.svelte-8n07he{max-width:52ch;font-size:var(--text-xs);color:var(--color-ink-3);text-align:center;margin:0 auto 22px;line-height:1.55}.three.svelte-8n07he{width:100%;height:100%;min-height:300px;position:relative}figcaption.svelte-8n07he{max-width:52ch;font-size:var(--text-xs);color:var(--color-ink-3);text-align:center;justify-self:center;line-height:1.55}@keyframes svelte-8n07he-arrive{0%{opacity:0}}.star.svelte-8n07he{width:min(100%,400px)}.star.svelte-8n07he path:where(.svelte-8n07he){fill:none;stroke:#f2f2f2;stroke-linecap:round}.star.svelte-8n07he .node:where(.svelte-8n07he){fill:var(--color-void);stroke:#f2f2f2;stroke-width:1.25px}.star.svelte-8n07he .node.q:where(.svelte-8n07he){fill:#f2f2f2}.star.svelte-8n07he .w:where(.svelte-8n07he){fill:var(--color-ink-3);font-size:12px}.strips.svelte-8n07he{grid-template-columns:80px auto;place-items:center start;gap:10px 14px;font-size:18px;display:grid}.sum.svelte-8n07he{font-size:18px}.cost.svelte-8n07he{width:min(100%,440px);overflow:visible}.cost.svelte-8n07he .grid:where(.svelte-8n07he){stroke:#1c1c1c}.cost.svelte-8n07he .mark:where(.svelte-8n07he){stroke:var(--color-ink-3);stroke-dasharray:2 4}.cost.svelte-8n07he .tick:where(.svelte-8n07he){fill:var(--color-ink-3);text-anchor:middle;font-size:11px}.cost.svelte-8n07he .tick.start:where(.svelte-8n07he){text-anchor:start}.cost.svelte-8n07he .c:where(.svelte-8n07he){fill:none;stroke:#f2f2f2;stroke-width:1.6px}.cost.svelte-8n07he .pair:where(.svelte-8n07he){stroke-opacity:.55;stroke-dasharray:6 4}.cost.svelte-8n07he .win:where(.svelte-8n07he){stroke-opacity:.4;stroke-dasharray:1.5 3}.cost.svelte-8n07he .lab:where(.svelte-8n07he){fill:var(--color-ink);font-size:12px}.cost.svelte-8n07he .lab.dim:where(.svelte-8n07he){fill:var(--color-ink-3)}.tris.svelte-8n07he{grid-template-columns:repeat(4,1fr);gap:18px;width:min(100%,480px);display:grid}.tri.svelte-8n07he{font-size:var(--text-xs);color:var(--color-ink-2);justify-items:center;gap:6px;display:grid}.tri.svelte-8n07he svg:where(.svelte-8n07he){width:100%}.tri.svelte-8n07he .face:where(.svelte-8n07he){fill:#f2f2f229}.tri.svelte-8n07he .edge:where(.svelte-8n07he){stroke:#2c2c2c;stroke-width:1.2px}.tri.svelte-8n07he .edge.on:where(.svelte-8n07he){stroke:#f2f2f2;stroke-width:1.8px}.tri.svelte-8n07he .v:where(.svelte-8n07he){fill:var(--color-void);stroke:#f2f2f2;stroke-width:1.2px}.tri.svelte-8n07he .v.q:where(.svelte-8n07he){fill:#f2f2f2}.tri-keys.svelte-8n07he{font-size:var(--text-xs);color:var(--color-ink-3)}.grid3.svelte-8n07he{grid-template-columns:auto repeat(3,auto);align-items:center;gap:10px 12px;width:min(100%,420px);display:grid}.g-label.svelte-8n07he{font-size:var(--text-xs);color:var(--color-ink-2);text-align:right}.q-label.svelte-8n07he{font-size:var(--text-2xs);color:var(--color-ink-3);text-align:center}.hist.svelte-8n07he{align-items:flex-end;gap:22px;height:230px;display:flex}.h-col.svelte-8n07he{justify-items:center;gap:6px;display:grid}.h-val.svelte-8n07he{font-size:var(--text-2xs);color:var(--color-ink-3)}.h-bar.svelte-8n07he{background:#3a3a3a;border-radius:2px;width:42px}.h-bar.set.svelte-8n07he{background:var(--color-ink)}.h-score.svelte-8n07he{font-size:15px}.h-m.svelte-8n07he{font-size:var(--text-2xs);color:var(--color-ink-3)}.results.svelte-8n07he{grid-template-columns:minmax(84px,140px) minmax(60px,1fr) 52px;align-items:center;gap:8px 12px;width:min(100%,440px);display:grid}.results.svelte-8n07he h4:where(.svelte-8n07he){font-size:var(--text-xs);color:var(--color-ink-2);grid-column:1/-1;margin-top:8px;font-weight:500}.m-label.svelte-8n07he{font-size:var(--text-xs);color:var(--color-ink-3)}.track.svelte-8n07he{background:#161616;border-radius:2px;height:8px;position:relative}.fill.svelte-8n07he{background:#555;border-radius:2px;position:absolute;inset:0 auto 0 0}.fill.win.svelte-8n07he{background:var(--color-ink)}.base.svelte-8n07he{z-index:1;background:var(--color-ink-2);width:1px;position:absolute;top:-3px;bottom:-3px}.m-val.svelte-8n07he{font-size:var(--text-xs);text-align:right}.table-grid.svelte-8n07he{grid-template-columns:repeat(4,auto);justify-content:center;gap:14px 18px;display:grid}.table-grid.three.svelte-8n07he{grid-template-columns:repeat(3,auto)}.slot.svelte-8n07he{justify-items:center;gap:6px;display:grid}.answer.svelte-8n07he{border:1px solid #555;border-radius:50%;width:6px;height:6px}.answer.yes.svelte-8n07he{border-color:var(--color-ink);background:var(--color-ink)}.chase-wrap.svelte-8n07he{justify-self:center;max-width:520px}.hops.svelte-8n07he,.tokens.svelte-8n07he{width:100%;max-width:520px;margin:0 auto;display:block;overflow:visible}.hops.svelte-8n07he .map:where(.svelte-8n07he){stroke:#2c2c2c;stroke-width:1px}.hops.svelte-8n07he .map.on:where(.svelte-8n07he){stroke:var(--color-ink);stroke-width:1.6px}.num-dot.svelte-8n07he{fill:#1a1a1a;stroke:#555}.num-dot.on.svelte-8n07he{fill:var(--color-ink);stroke:var(--color-ink)}.hops.svelte-8n07he text:where(.svelte-8n07he),.tokens.svelte-8n07he text:where(.svelte-8n07he){fill:var(--color-ink-3);font-size:10px}.hops.svelte-8n07he .fn:where(.svelte-8n07he){text-anchor:middle;fill:var(--color-ink-2);font-family:KaTeX_Main,serif;font-size:12px;font-style:italic}.onehot.svelte-8n07he{fill:#1c1c1c}.onehot.hot.svelte-8n07he{fill:var(--color-ink)}.tokens.svelte-8n07he .sinkname:where(.svelte-8n07he){fill:var(--color-ink-2)}.tokens.svelte-8n07he .lab:where(.svelte-8n07he){fill:var(--color-ink)}.tokens.svelte-8n07he .more:where(.svelte-8n07he){font-size:16px}.fig-head.svelte-8n07he{justify-content:center;display:flex}.mass.svelte-8n07he{grid-template-columns:76px min(300px,58vw);align-items:center;gap:14px 12px;display:grid}.mass-label.svelte-8n07he{font-size:var(--text-xs);color:var(--color-ink-2);text-align:right}.mass-bar.svelte-8n07he{border-radius:2px;gap:1px;height:14px;display:flex;overflow:hidden}.mass-bar.svelte-8n07he span:where(.svelte-8n07he){flex-basis:0;min-width:1px}.mass-keys.svelte-8n07he{font-size:var(--text-2xs);color:var(--color-ink-3);flex-wrap:wrap;gap:6px 14px;display:flex}.mass-keys.svelte-8n07he span:where(.svelte-8n07he){align-items:center;gap:5px;display:inline-flex}.mass-keys.svelte-8n07he i:where(.svelte-8n07he){border-radius:2px;width:8px;height:8px}.mass-keys.svelte-8n07he b:where(.svelte-8n07he){color:var(--color-ink-2);font-weight:400}.atlas.svelte-8n07he{grid-template-columns:70px minmax(0,auto);align-items:center;gap:18px 16px;display:grid}.order.svelte-8n07he{gap:2px;font-size:17px;display:grid}.order.svelte-8n07he small:where(.svelte-8n07he){font-size:var(--text-2xs);color:var(--color-ink-3)}.row.svelte-8n07he{flex-wrap:wrap;gap:16px 22px;display:flex}.cell.svelte-8n07he{font-size:var(--text-2xs);color:var(--color-ink-3);justify-items:center;gap:6px;display:grid}.dyson.svelte-8n07he{justify-items:center;gap:6px;font-size:17px;display:grid}.unroll.svelte-8n07he{font-size:var(--text-2xs);color:var(--color-ink-3)}.timeline.svelte-8n07he{gap:14px;width:min(100%,440px);display:grid}.timeline.svelte-8n07he li:where(.svelte-8n07he){font-size:var(--text-sm);color:var(--color-ink-3);grid-template-columns:40px 12px 1fr;align-items:baseline;gap:10px;display:grid}.timeline.svelte-8n07he li.ours:where(.svelte-8n07he){color:var(--color-ink)}.t-dot.svelte-8n07he{border:1px solid var(--color-ink-3);border-radius:50%;width:7px;height:7px;transform:translateY(-1px)}.timeline.svelte-8n07he li.ours:where(.svelte-8n07he) .t-dot:where(.svelte-8n07he){border-color:var(--color-ink);background:var(--color-ink)}.t-ref.svelte-8n07he{color:var(--color-ink-3);font-size:.85em}.examples.svelte-1qradxb{grid-template-columns:repeat(2,minmax(0,1fr));gap:12px 28px;margin-bottom:18px;display:grid}.example.svelte-1qradxb{flex-direction:column;gap:5px;display:flex}.trio.svelte-1qradxb{gap:6px;display:flex}.case-name.svelte-1qradxb{font-size:var(--text-xs);color:var(--color-ink-2)}.hint.svelte-1qradxb{font-size:var(--text-xs);color:var(--color-ink-3);line-height:1.45}.after-legend.svelte-1qradxb{margin-top:14px}@media (width<=520px){.examples.svelte-1qradxb{grid-template-columns:minmax(0,1fr)}}.demo.svelte-1nbbiy6{margin:18px 0 24px}svg.svelte-1nbbiy6{width:100%;height:auto;display:block}.lab.svelte-1nbbiy6{fill:var(--color-ink-3);font-size:11px}circle.svelte-1nbbiy6{fill:#6b6b6b;opacity:.55}circle.y.svelte-1nbbiy6{fill:#f2f2f2;opacity:.8}.mean.svelte-1nbbiy6{stroke:#fff;stroke-width:1.5px}.controls.svelte-1nbbiy6{font-size:var(--text-xs);color:var(--color-ink-2);flex-wrap:wrap;align-items:center;gap:8px 16px;margin-top:8px;display:flex}button.svelte-1nbbiy6{border-radius:var(--radius-ui);background:var(--color-lift);height:28px;color:var(--color-ink);font:inherit;cursor:pointer;border:0;padding:0 12px}button.svelte-1nbbiy6:hover{background:var(--color-control)}label.svelte-1nbbiy6{cursor:pointer;align-items:center;gap:6px;display:inline-flex}.read.svelte-1nbbiy6{margin-left:auto}figcaption.svelte-1nbbiy6{font-size:var(--text-xs);color:var(--color-ink-3);margin-top:10px;line-height:1.55}.cases.svelte-8scid0{grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin-bottom:16px;display:grid}.case.svelte-8scid0{flex-direction:column;gap:5px;display:flex}.trio.svelte-8scid0{gap:6px;display:flex}.case-name.svelte-8scid0{font-size:var(--text-xs);color:var(--color-ink-2)}.hint.svelte-8scid0{font-size:var(--text-xs);color:var(--color-ink-3)}@media (width<=480px){.cases.svelte-8scid0{grid-template-columns:minmax(0,1fr)}}.composition-figure.svelte-199l97q{width:100%;min-width:0;max-width:540px;color:var(--color-ink);flex-direction:column;gap:20px;margin:0 auto;display:flex}header.svelte-199l97q{color:var(--color-ink-2);justify-content:space-between;align-items:center;gap:12px;font-size:12px;display:flex}button.svelte-199l97q{color:var(--color-ink);cursor:pointer;text-underline-offset:4px;text-decoration:underline;-webkit-text-decoration-color:var(--color-rule);text-decoration-color:var(--color-rule);background:0 0;border:0;flex:none;padding:4px 0 4px 10px;font-size:11px}button.svelte-199l97q:hover{text-decoration-color:currentColor}button.svelte-199l97q:focus-visible{outline-offset:4px;outline:1px solid}svg.svelte-199l97q{width:100%;height:auto;overflow:visible}text.svelte-199l97q{fill:currentColor;font:13px var(--font-sans)}.quiet.svelte-199l97q{fill:var(--color-ink-3);font-size:12px}.formula.svelte-199l97q{font-size:15px}.operator.svelte-199l97q{font-size:20px}.clock-face.svelte-199l97q,.triangle-edge.svelte-199l97q{fill:none;stroke:var(--color-ink-3);stroke-width:1px}.hand.svelte-199l97q{stroke:currentColor;stroke-width:1.6px;transition:transform .85s cubic-bezier(.65,0,.35,1)}.ink.svelte-199l97q{fill:currentColor}.corner.svelte-199l97q{transition:transform .85s cubic-bezier(.65,0,.35,1)}.card-sums.svelte-199l97q{text-align:center;color:var(--color-ink-2);gap:12px;font-size:11px;display:grid}.card-sums.svelte-199l97q .math{font-size:13px}figcaption.svelte-199l97q{max-width:60ch;font-size:var(--text-xs);color:var(--color-ink-3);text-align:center;align-self:center;margin:0;line-height:1.6}.gain-axis.svelte-199l97q{color:var(--color-ink-3);justify-content:space-between;font-size:11px;display:flex}.gains.svelte-199l97q{gap:24px;display:grid}.gain-row.svelte-199l97q{grid-template-columns:1.2fr 1fr 42px;align-items:center;gap:16px;display:grid}.name.svelte-199l97q,.value.svelte-199l97q{font-size:13px}small.svelte-199l97q{color:var(--color-ink-3);margin-top:3px;font-size:10px;display:block}.gain-track.svelte-199l97q{background:var(--color-rule);height:7px;position:relative}.gain-track.svelte-199l97q i:where(.svelte-199l97q){background:var(--color-ink);height:7px;display:block}.value.svelte-199l97q{text-align:right;font-variant-numeric:tabular-nums}.solid.svelte-199l97q{width:100%;height:330px}.rotation-key.svelte-199l97q{color:var(--color-ink-3);justify-content:space-between;gap:12px;font-size:11px;display:flex}.product-sequence.svelte-199l97q{color:var(--color-ink-3);justify-content:center;gap:36px;font:26px KaTeX_Main,serif;display:flex}.product-sequence.svelte-199l97q .marked:where(.svelte-199l97q){color:var(--color-ink)}.sectors.svelte-199l97q{gap:20px;display:grid}.sectors.svelte-199l97q>div:where(.svelte-199l97q){grid-template-columns:70px 1fr;align-items:center;gap:20px;display:grid}.sectors.svelte-199l97q>div:where(.svelte-199l97q)>span:where(.svelte-199l97q){color:var(--color-ink-3);font-size:12px}.sectors.svelte-199l97q .math{font-size:20px}.ladder-body.svelte-199l97q{width:100%;max-width:390px;margin:0 auto}.programs.svelte-199l97q{gap:30px;display:grid}.program-name.svelte-199l97q{color:var(--color-ink-2);margin-bottom:12px;font-size:12px}.states.svelte-199l97q{grid-template-columns:repeat(3,1fr);gap:18px;display:grid}.state.svelte-199l97q>span:where(.svelte-199l97q){color:var(--color-ink-3);margin-bottom:8px;font-size:11px;display:block}.state.svelte-199l97q>div:where(.svelte-199l97q){gap:16px;display:flex}.state.svelte-199l97q b:where(.svelte-199l97q){color:var(--color-ink-3);font-size:20px;font-weight:400}.state.svelte-199l97q b.selected:where(.svelte-199l97q){color:var(--color-ink)}.principles.svelte-199l97q{gap:32px;padding:0;list-style:none;display:grid}.principles.svelte-199l97q li:where(.svelte-199l97q){grid-template-columns:125px 1fr;gap:5px 20px;display:grid}.principles.svelte-199l97q span:where(.svelte-199l97q){color:var(--color-ink-3);padding-top:2px;font-size:11px}.principles.svelte-199l97q strong:where(.svelte-199l97q){font-size:16px;font-weight:400}.principles.svelte-199l97q p:where(.svelte-199l97q){color:var(--color-ink-2);grid-column:2;margin:0;font-size:12px;line-height:1.5}@media (width<=560px){.composition-figure.svelte-199l97q{gap:14px}.triangles.svelte-199l97q text:where(.svelte-199l97q){font-size:17px}.triangles.svelte-199l97q .quiet:where(.svelte-199l97q){font-size:14px}.solid.svelte-199l97q{height:260px}.product-sequence.svelte-199l97q{gap:22px;font-size:22px}.sectors.svelte-199l97q>div:where(.svelte-199l97q){grid-template-columns:52px 1fr;gap:12px}.sectors.svelte-199l97q .math{font-size:17px}.states.svelte-199l97q{gap:10px}.state.svelte-199l97q b:where(.svelte-199l97q){font-size:17px}.principles.svelte-199l97q li:where(.svelte-199l97q){grid-template-columns:minmax(0,1fr)}.principles.svelte-199l97q p:where(.svelte-199l97q){grid-column:1}}@media (prefers-reduced-motion:reduce){.hand.svelte-199l97q,.corner.svelte-199l97q{transition:none}}.lang.svelte-avlgpe{gap:10px;width:100%;max-width:780px;margin:0 auto;display:grid}.axis-head.svelte-avlgpe,.row.svelte-avlgpe{grid-template-columns:minmax(118px,.9fr) minmax(0,1.6fr) 74px;align-items:center;gap:12px;display:grid}.axis.svelte-avlgpe{height:34px;position:relative}.tick.svelte-avlgpe{font-size:var(--text-2xs);color:var(--color-ink-3);white-space:nowrap;justify-items:center;line-height:1.2;display:grid;position:absolute;bottom:0;transform:translate(-50%)}.tick.svelte-avlgpe small:where(.svelte-avlgpe){font-size:var(--text-2xs);color:var(--color-ink-3);order:-1}.tick.zero.svelte-avlgpe{color:var(--color-ink-2)}.study.svelte-avlgpe{border-bottom:1px solid var(--color-edge);font-size:var(--text-xs);color:var(--color-ink-3);margin-top:10px;padding-bottom:4px}.name.svelte-avlgpe{font-size:var(--text-sm);color:var(--color-ink);line-height:1.3;display:grid}.name.svelte-avlgpe small:where(.svelte-avlgpe),.val.svelte-avlgpe small:where(.svelte-avlgpe){font-size:var(--text-2xs);color:var(--color-ink-3)}.track.svelte-avlgpe{height:18px;position:relative}.zero-line.svelte-avlgpe{background:var(--color-ink-3);width:1px;position:absolute;top:-6px;bottom:-6px}.gate.svelte-avlgpe{border-left:1px dashed var(--color-rule);position:absolute;top:-6px;bottom:-6px}.bar.svelte-avlgpe{background:#4a4a4a;border-radius:1px;height:10px;position:absolute;top:4px}.bar.better.svelte-avlgpe{background:#9a9a9a}.bar.good.svelte-avlgpe{background:var(--color-ink)}.val.svelte-avlgpe{font-size:var(--text-sm);color:var(--color-ink);justify-items:end;line-height:1.3;display:grid}@media (width<=560px){.axis-head.svelte-avlgpe,.row.svelte-avlgpe{grid-template-columns:minmax(0,1fr) 66px;gap:4px 10px}.axis-head.svelte-avlgpe>span:where(.svelte-avlgpe):first-child{display:none}.name.svelte-avlgpe{grid-column:1/-1}.track.svelte-avlgpe{grid-column:1}}.pull.svelte-154e4rh{border-left:1px solid var(--color-rule);color:var(--color-ink);margin-top:22px;padding-left:16px}.thm.svelte-1kxlcae{margin-top:22px;margin-bottom:24px}.head.svelte-1kxlcae{flex-wrap:wrap;align-items:baseline;gap:2px 10px;margin:0 0 4px;display:flex}.kind.svelte-1kxlcae{color:var(--color-ink);font-weight:600}.name.svelte-1kxlcae{color:var(--color-ink-3)}.ev.svelte-1kxlcae{font-size:var(--text-2xs);color:var(--color-ink-3);align-items:center;gap:6px;display:inline-flex}.ev.svelte-1kxlcae:before{content:"";background:var(--color-ink);border-radius:50%;flex:none;width:6px;height:6px}.ev.measured.svelte-1kxlcae:before{background:var(--color-ink-3)}.ev.open.svelte-1kxlcae:before{background:#444}.body.svelte-1kxlcae{color:var(--color-ink)}.def.svelte-1kxlcae .body:where(.svelte-1kxlcae){color:var(--color-ink-2)}.body.svelte-1kxlcae p{margin:0 0 8px}.toggle.svelte-1kxlcae{color:var(--color-ink-3);font:inherit;font-size:var(--text-xs);cursor:pointer;background:0 0;border:0;padding:0;font-style:italic}.toggle.svelte-1kxlcae:hover{color:var(--color-ink)}.proof.svelte-1kxlcae{color:var(--color-ink-2);margin-top:6px;padding-left:18px;font-size:.94em}.proof.svelte-1kxlcae p{margin:0 0 8px}.qed.svelte-1kxlcae{text-align:right;color:var(--color-ink-3);display:block}.a5.svelte-n3eyp6{justify-items:center;gap:14px;width:100%;display:grid}.views.svelte-n3eyp6{grid-template-columns:repeat(2,minmax(0,1fr));gap:20px;width:min(100%,720px);display:grid}.view.svelte-n3eyp6{align-content:start;justify-items:center;gap:6px;display:grid}.stage.svelte-n3eyp6{aspect-ratio:1;width:100%;max-height:320px;position:relative}.who.svelte-n3eyp6{font-size:var(--text-sm);color:var(--color-ink);text-align:center;justify-items:center;display:grid}.who.svelte-n3eyp6 small:where(.svelte-n3eyp6){font-size:var(--text-2xs);color:var(--color-ink-3)}.controls.svelte-n3eyp6{align-items:center;gap:10px;width:min(100%,460px);display:flex}.controls.svelte-n3eyp6 button:where(.svelte-n3eyp6){border-radius:var(--radius-ui);background:var(--color-lift);width:28px;height:28px;color:var(--color-ink);flex:none}.controls.svelte-n3eyp6 button:where(.svelte-n3eyp6):hover{background:var(--color-control)}.controls.svelte-n3eyp6 input:where(.svelte-n3eyp6){accent-color:#f2f2f2;flex:1;min-width:0}.el.svelte-n3eyp6{min-width:98px;font-size:var(--text-xs);color:var(--color-ink-3);flex:none}.stats.svelte-n3eyp6{text-align:center;font-size:var(--text-xs);color:var(--color-ink-3);margin:0}@media (width<=520px){.views.svelte-n3eyp6{gap:10px}.el.svelte-n3eyp6{min-width:0}}.arc.svelte-1vm0fq0{justify-items:center;gap:16px;width:100%;display:grid}.controls.svelte-1vm0fq0{flex-wrap:wrap;justify-content:center;align-items:center;gap:10px 16px;display:flex}.plain.svelte-1vm0fq0{border-radius:var(--radius-ui);background:var(--color-lift);height:28px;font-size:var(--text-xs);color:var(--color-ink);padding:0 12px}.plain.svelte-1vm0fq0:hover{background:var(--color-control)}.pairs.svelte-1vm0fq0{grid-template-columns:repeat(4,minmax(0,1fr));gap:18px;width:min(100%,760px);display:grid}.pair.svelte-1vm0fq0{grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:6px;display:grid}.pair.test.svelte-1vm0fq0{border-left:1px solid var(--color-edge);padding-left:14px}.grid.svelte-1vm0fq0{width:100%;display:block}.arrow.svelte-1vm0fq0{font-size:var(--text-xs);color:var(--color-ink-3)}.ask.svelte-1vm0fq0{aspect-ratio:1;width:100%;color:var(--color-ink);background:#121212;border-radius:2px;font-size:18px}.ask.svelte-1vm0fq0:hover{background:var(--color-lift)}.rule.svelte-1vm0fq0{text-align:center;max-width:60ch;font-size:var(--text-xs);color:var(--color-ink-3);margin:0;line-height:1.55}.rule.svelte-1vm0fq0 b:where(.svelte-1vm0fq0){color:var(--color-ink);font-weight:500}.results.svelte-1vm0fq0{gap:8px;width:min(100%,520px);margin-top:6px;display:grid}.r-head.svelte-1vm0fq0,.r-row.svelte-1vm0fq0{grid-template-columns:86px minmax(0,1fr) 54px;align-items:center;gap:12px;display:grid}.r-head.svelte-1vm0fq0{font-size:var(--text-2xs);color:var(--color-ink-3)}.r-head.svelte-1vm0fq0 .num:where(.svelte-1vm0fq0),.solver.svelte-1vm0fq0{text-align:right}.d.svelte-1vm0fq0{font-size:var(--text-sm);color:var(--color-ink-2)}.track.svelte-1vm0fq0{align-items:center;gap:8px;height:14px;display:flex;position:relative}.bar.svelte-1vm0fq0{background:var(--color-ink);border-radius:1px;min-width:2px;height:10px}.v.svelte-1vm0fq0,.solver.svelte-1vm0fq0{font-size:var(--text-sm);color:var(--color-ink)}@media (width<=640px){.pairs.svelte-1vm0fq0{grid-template-columns:repeat(2,minmax(0,1fr))}.pair.test.svelte-1vm0fq0{border-left:0;padding-left:0}}.dil.svelte-u84p9y{justify-items:center;gap:18px;width:100%;display:grid}.strip-wrap.svelte-u84p9y{gap:8px;width:min(100%,560px);display:grid}.strip.svelte-u84p9y{flex-wrap:wrap;gap:3px;display:flex}.strip.svelte-u84p9y span:where(.svelte-u84p9y){background:#262626;border-radius:1px;width:8px;height:8px}.strip.svelte-u84p9y span.hot:where(.svelte-u84p9y){background:var(--color-ink)}.strip-note.svelte-u84p9y{font-size:var(--text-xs);color:var(--color-ink-3);margin:0;line-height:1.5}.bars.svelte-u84p9y{gap:10px;width:min(100%,560px);display:grid}.head.svelte-u84p9y,.row.svelte-u84p9y{grid-template-columns:minmax(120px,.8fr) minmax(0,1.4fr) 56px;align-items:center;gap:12px;display:grid}.row.first.svelte-u84p9y{margin-top:8px}.scale.svelte-u84p9y{height:16px;font-size:var(--text-2xs);color:var(--color-ink-3);position:relative}.scale.svelte-u84p9y span:where(.svelte-u84p9y){white-space:nowrap;position:absolute;top:0;transform:translate(-50%)}.scale.svelte-u84p9y span:where(.svelte-u84p9y):last-child{transform:translate(-100%)}.name.svelte-u84p9y{font-size:var(--text-sm);color:var(--color-ink);line-height:1.3;display:grid}.name.svelte-u84p9y small:where(.svelte-u84p9y){font-size:var(--text-2xs);color:var(--color-ink-3)}.track.svelte-u84p9y{background:#141414;border-radius:1px;height:10px;position:relative}.bar.svelte-u84p9y{background:#555;border-radius:1px;min-width:2px;position:absolute;inset:0 auto 0 0}.bar.lit.svelte-u84p9y{background:var(--color-ink)}.owner-line.svelte-u84p9y{border-left:1px dashed var(--color-ink-3);position:absolute;top:-5px;bottom:-5px}.val.svelte-u84p9y{text-align:right;font-size:var(--text-sm);color:var(--color-ink)}.cf.svelte-6m25mt{width:min(100%,600px);height:auto;font-family:var(--font-sans);margin:0 auto;display:block}.grid.svelte-6m25mt{stroke:var(--color-edge)}.zero.svelte-6m25mt{stroke:var(--color-rule);stroke-dasharray:3 3}.line.svelte-6m25mt{fill:none;stroke:var(--color-ink);stroke-width:1.5px}.line.dashed.svelte-6m25mt{stroke:var(--color-ink-2);stroke-dasharray:5 4}circle.svelte-6m25mt{fill:var(--color-ink)}circle.hollow.svelte-6m25mt{fill:var(--color-void);stroke:var(--color-ink-2);stroke-width:1.5px}.tick.svelte-6m25mt{fill:var(--color-ink-3);font-size:10px}.val.svelte-6m25mt{fill:var(--color-ink-2);font-variant-numeric:tabular-nums;font-size:10px}.name.svelte-6m25mt{fill:var(--color-ink);font-size:11px}.hl.svelte-mgy4er{width:min(100%,680px);height:auto;font-family:var(--font-sans);margin:0 auto;display:block}.grid.svelte-mgy4er{stroke:var(--color-edge);stroke-width:1px}.ctx.svelte-mgy4er{stroke:var(--color-rule);stroke-dasharray:3 3}.lane.svelte-mgy4er{stroke:var(--color-panel)}circle.svelte-mgy4er{fill:var(--color-ink);opacity:.85}.tick.svelte-mgy4er,.head.svelte-mgy4er{fill:var(--color-ink-3);font-size:10px}.model.svelte-mgy4er{fill:var(--color-ink);font-size:11px}.lay.svelte-mgy4er{fill:var(--color-ink-2);font-size:10px}.most.svelte-mgy4er{fill:var(--color-ink-2);font-size:10px;font-family:var(--font-mono)}tr.best.svelte-1tat9tc th:where(.svelte-1tat9tc),tr.best.svelte-1tat9tc td:where(.svelte-1tat9tc){color:var(--color-ink);font-weight:600}.evtext.svelte-1tat9tc{color:var(--color-ink-2)}.cut.svelte-1tat9tc{background:var(--color-ink);width:1.5px;height:1.05em;margin:0 3px -.18em;display:inline-block}.ef.svelte-1ik4gn1{width:100%;font-family:var(--font-sans);flex-wrap:wrap;justify-content:center;gap:10px 20px;display:flex}.chart.svelte-1ik4gn1{width:min(100%,320px);height:auto;display:block;overflow:visible}.grid.svelte-1ik4gn1{stroke:var(--color-edge);stroke-width:1px}.seed.svelte-1ik4gn1{fill:none;stroke-width:.8px;opacity:.45}.line.svelte-1ik4gn1{fill:none;stroke-width:1.6px}.term.svelte-1ik4gn1{stroke:var(--color-ink)}.rec.svelte-1ik4gn1{stroke:var(--color-ink);stroke-dasharray:5 3}.ctrl.svelte-1ik4gn1{stroke:var(--color-ink-3);stroke-dasharray:2 3}.tf.svelte-1ik4gn1{stroke:var(--color-ink-3)}circle.term.svelte-1ik4gn1,circle.rec.svelte-1ik4gn1{fill:var(--color-ink);stroke:none}circle.ctrl.svelte-1ik4gn1,circle.tf.svelte-1ik4gn1{fill:var(--color-ink-3);stroke:none}.tick.svelte-1ik4gn1{fill:var(--color-ink-3);font-variant-numeric:tabular-nums;font-size:10px}.name.svelte-1ik4gn1{fill:var(--color-ink);font-size:10.5px}.xf.svelte-yrcsy5{width:100%;font-family:var(--font-sans);flex-wrap:wrap;justify-content:center;align-items:flex-start;gap:10px 22px;display:flex}.chart.svelte-yrcsy5{height:auto;display:block;overflow:visible}.main.svelte-yrcsy5{width:min(100%,330px)}.side.svelte-yrcsy5{width:min(100%,214px)}.grid.svelte-yrcsy5{stroke:var(--color-edge);stroke-width:1px}.floor.svelte-yrcsy5{fill:none;stroke:var(--color-ink-3);stroke-width:1px;stroke-dasharray:4 3}.line.svelte-yrcsy5{fill:none;stroke-width:1.6px}.line.obj.svelte-yrcsy5,.line.plain.svelte-yrcsy5{stroke:var(--color-ink)}.line.plain.svelte-yrcsy5{stroke-dasharray:5 3}.line.free.svelte-yrcsy5{stroke:var(--color-ink-2);stroke-width:1.1px;stroke-dasharray:3 3;opacity:.7}.dot.free.svelte-yrcsy5{fill:var(--color-ink-2);opacity:.7}.seed.free.svelte-yrcsy5{fill:var(--color-ink-2)}.line.cot.svelte-yrcsy5,.line.direct.svelte-yrcsy5{stroke:var(--color-ink-3)}.line.direct.svelte-yrcsy5{stroke-dasharray:2 3}.dot.obj.svelte-yrcsy5,.dot.plain.svelte-yrcsy5,.seed.obj.svelte-yrcsy5,.seed.plain.svelte-yrcsy5{fill:var(--color-ink)}.dot.cot.svelte-yrcsy5,.dot.direct.svelte-yrcsy5,.seed.cot.svelte-yrcsy5,.seed.direct.svelte-yrcsy5{fill:var(--color-ink-3)}.seed.svelte-yrcsy5{opacity:.4}.bar.cot.svelte-yrcsy5,.bar.direct.svelte-yrcsy5{fill:var(--color-ink-3)}.tick.svelte-yrcsy5{fill:var(--color-ink-3);font-variant-numeric:tabular-nums;font-size:10px}.val.svelte-yrcsy5{fill:var(--color-ink-2)}.name.svelte-yrcsy5{fill:var(--color-ink);font-size:10.5px}.name.dim.svelte-yrcsy5{fill:var(--color-ink-3)}.af.svelte-1jeylpq{width:min(100%,330px);height:auto;font-family:var(--font-sans);margin:0 auto;display:block;overflow:visible}.grid.svelte-1jeylpq{stroke:var(--color-edge);stroke-width:1px}.train.svelte-1jeylpq{stroke:var(--color-rule);stroke-dasharray:3 3}.line.svelte-1jeylpq{fill:none;stroke-width:1.6px}.seed.svelte-1jeylpq{fill:none;stroke-width:.8px;opacity:.4}.markov.svelte-1jeylpq,.register.svelte-1jeylpq{stroke:var(--color-ink)}.register.svelte-1jeylpq{stroke-dasharray:5 3}.history.svelte-1jeylpq{stroke:var(--color-ink-3)}.dot.svelte-1jeylpq{stroke:none}.dot.markov.svelte-1jeylpq,.dot.register.svelte-1jeylpq{fill:var(--color-ink)}.dot.history.svelte-1jeylpq{fill:var(--color-ink-3)}.tick.svelte-1jeylpq{fill:var(--color-ink-3);font-variant-numeric:tabular-nums;font-size:10px}.name.svelte-1jeylpq{fill:var(--color-ink);font-size:10.5px}.sg.svelte-mkanvd{width:min(100%,420px);height:auto;font-family:var(--font-sans);margin:0 auto;display:block}.exact.svelte-mkanvd{fill:var(--color-ink)}.ring.svelte-mkanvd{fill:none;stroke:var(--color-ink-3);stroke-width:1px}.part.svelte-mkanvd{fill:var(--color-ink-3)}.tick.svelte-mkanvd{fill:var(--color-ink-3);font-variant-numeric:tabular-nums;font-size:9.5px}.name.svelte-mkanvd{fill:var(--color-ink);font-size:10.5px}.verdict.svelte-11tdhv2{white-space:nowrap}.landscape.svelte-11tdhv2{width:100%;height:auto;display:block}.progress.svelte-afq2el{top:var(--bar-h);z-index:19;background:var(--color-ink-3);transform-origin:0;pointer-events:none;height:2px;position:fixed;left:0;right:0}