.bs.svelte-59kl9h.svelte-59kl9h{background:var(--paper-alt);padding:22px 24px;margin:18px 0;border-top:2px solid var(--violet)}.bs__hd.svelte-59kl9h.svelte-59kl9h{display:flex;justify-content:space-between;align-items:baseline;gap:16px;flex-wrap:wrap;margin-bottom:16px}.bs__eyebrow.svelte-59kl9h.svelte-59kl9h{font-size:11px;color:var(--violet);letter-spacing:.08em;text-transform:uppercase;font-weight:600}.bs__hint.svelte-59kl9h.svelte-59kl9h{font-size:11px;color:var(--muted);letter-spacing:.04em}.bs__controls.svelte-59kl9h.svelte-59kl9h{display:grid;gap:10px;padding:12px 14px;background:var(--paper);border:1px solid var(--rule);margin-bottom:18px}.bs__row.svelte-59kl9h.svelte-59kl9h{display:grid;grid-template-columns:110px minmax(0,1fr);gap:12px;align-items:center}.bs__lbl.svelte-59kl9h.svelte-59kl9h{font-size:11px;color:var(--ink-2);letter-spacing:.04em;text-transform:uppercase}.bs__text.svelte-59kl9h.svelte-59kl9h{padding:5px 10px;background:var(--paper-alt);border:1px solid var(--rule);color:var(--ink);font-size:13px}.bs__text--num.svelte-59kl9h.svelte-59kl9h{max-width:100px}.bs__text.svelte-59kl9h.svelte-59kl9h:focus{outline:none;border-color:var(--violet)}.bs__viz.svelte-59kl9h.svelte-59kl9h{padding:18px 0 4px;display:grid;gap:14px;justify-items:center;overflow-x:auto}.bs__grid.svelte-59kl9h.svelte-59kl9h{display:flex;gap:4px;padding:32px 4px 40px}.bs__cell.svelte-59kl9h.svelte-59kl9h{width:var(--cell);height:var(--cell);display:grid;place-items:center;background:var(--paper);border:1px solid var(--rule);position:relative;transition:background .18s,border-color .18s,opacity .18s}.bs__cell--in.svelte-59kl9h.svelte-59kl9h{background:color-mix(in srgb,var(--violet) 8%,var(--paper));border-color:var(--violet)}.bs__cell--mid.svelte-59kl9h.svelte-59kl9h{background:color-mix(in srgb,var(--violet) 26%,var(--paper));border-color:var(--violet)}.bs__cell--hit.svelte-59kl9h.svelte-59kl9h{background:color-mix(in srgb,var(--verdant) 22%,var(--paper));border-color:var(--verdant)}.bs__cell--out.svelte-59kl9h.svelte-59kl9h{opacity:.35}.bs__idx.svelte-59kl9h.svelte-59kl9h{position:absolute;top:-16px;left:50%;transform:translate(-50%);font-size:10px;color:var(--muted)}.bs__val.svelte-59kl9h.svelte-59kl9h{font-size:calc(var(--cell) * .4);font-weight:600;color:var(--ink)}.bs__ptr.svelte-59kl9h.svelte-59kl9h{position:absolute;bottom:-22px;left:50%;transform:translate(-50%);font-size:10px;font-weight:700;letter-spacing:.1em;color:var(--violet);white-space:nowrap}.bs__cell--hit.svelte-59kl9h .bs__ptr.svelte-59kl9h{color:var(--verdant)}.bs__verdict.svelte-59kl9h.svelte-59kl9h{padding:8px 14px;background:var(--paper);border-left:3px solid var(--violet);width:100%;max-width:600px}.bs__verdict--hit.svelte-59kl9h.svelte-59kl9h{border-color:var(--verdant);background:color-mix(in srgb,var(--verdant) 7%,var(--paper))}.bs__verdict--miss.svelte-59kl9h.svelte-59kl9h{border-color:var(--rust);background:color-mix(in srgb,var(--rust) 7%,var(--paper))}.bs__verdict-text.svelte-59kl9h.svelte-59kl9h{font-size:12px;color:var(--ink);font-feature-settings:"tnum"}.bs__stats.svelte-59kl9h.svelte-59kl9h{display:flex;gap:18px;flex-wrap:wrap;padding:4px 0}.bs__stat.svelte-59kl9h.svelte-59kl9h{display:inline-flex;gap:8px;font-size:11px}.bs__stat-k.svelte-59kl9h.svelte-59kl9h{color:var(--muted);letter-spacing:.06em;text-transform:uppercase}.bs__stat-v.svelte-59kl9h.svelte-59kl9h{color:var(--ink);font-feature-settings:"tnum"}.bs__bar.svelte-59kl9h.svelte-59kl9h{display:flex;gap:6px;align-items:center;padding:14px 0 10px;flex-wrap:wrap}.bs__btn.svelte-59kl9h.svelte-59kl9h{font-size:11px;padding:5px 12px;background:var(--paper);border:1px solid var(--rule);color:var(--ink-2);cursor:pointer}.bs__btn.svelte-59kl9h.svelte-59kl9h:hover{background:var(--paper-alt);border-color:var(--ink-2)}.bs__btn--primary.svelte-59kl9h.svelte-59kl9h{background:var(--violet);color:var(--paper);border-color:var(--violet)}.bs__btn--primary.svelte-59kl9h.svelte-59kl9h:hover{background:var(--ink);border-color:var(--ink)}.bs__notes.svelte-59kl9h.svelte-59kl9h{padding-top:12px;border-top:1px solid var(--rule);font-size:12px;color:var(--ink-2);line-height:1.55;font-family:var(--type-display)}.bs__notes.svelte-59kl9h strong.svelte-59kl9h{font-weight:600;color:var(--ink);margin-right:4px;font-size:11px;letter-spacing:.04em;text-transform:uppercase}.bs__notes.svelte-59kl9h code.svelte-59kl9h{font-family:var(--type-mono);font-size:.9em;background:var(--paper);padding:1px 5px;border-radius:2px}.ba.svelte-18oi2tp.svelte-18oi2tp{background:var(--paper-alt);padding:22px 24px;margin:18px 0;border-top:2px solid var(--violet)}.ba__hd.svelte-18oi2tp.svelte-18oi2tp{display:flex;justify-content:space-between;align-items:baseline;gap:16px;flex-wrap:wrap;margin-bottom:16px}.ba__eyebrow.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--violet);letter-spacing:.08em;text-transform:uppercase;font-weight:600}.ba__hint.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--muted);letter-spacing:.04em}.ba__controls.svelte-18oi2tp.svelte-18oi2tp{display:grid;gap:10px;padding:12px 14px;background:var(--paper);border:1px solid var(--rule);margin-bottom:18px}.ba__row.svelte-18oi2tp.svelte-18oi2tp{display:grid;grid-template-columns:110px minmax(0,1fr);gap:12px;align-items:center}.ba__lbl.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--ink-2);letter-spacing:.04em;text-transform:uppercase}.ba__text.svelte-18oi2tp.svelte-18oi2tp{padding:5px 10px;background:var(--paper-alt);border:1px solid var(--rule);color:var(--ink);font-size:13px}.ba__text--num.svelte-18oi2tp.svelte-18oi2tp{max-width:100px}.ba__text.svelte-18oi2tp.svelte-18oi2tp:focus{outline:none;border-color:var(--violet)}.ba__viz.svelte-18oi2tp.svelte-18oi2tp{display:grid;gap:12px;padding:8px 0}.ba__row-lbl.svelte-18oi2tp.svelte-18oi2tp{font-size:10px;color:var(--muted);text-transform:uppercase;letter-spacing:.08em}.ba__viz.svelte-18oi2tp svg.svelte-18oi2tp{width:100%;height:auto;max-height:160px;background:var(--paper);border:1px solid var(--rule)}.ba__verdict.svelte-18oi2tp.svelte-18oi2tp{padding:8px 14px;background:var(--paper);border-left:3px solid var(--violet)}.ba__verdict--feasible.svelte-18oi2tp.svelte-18oi2tp{border-color:var(--verdant);background:color-mix(in srgb,var(--verdant) 7%,var(--paper))}.ba__verdict--infeasible.svelte-18oi2tp.svelte-18oi2tp{border-color:var(--rust);background:color-mix(in srgb,var(--rust) 7%,var(--paper))}.ba__verdict--found.svelte-18oi2tp.svelte-18oi2tp{border-color:var(--highlight);background:color-mix(in srgb,var(--highlight) 8%,var(--paper))}.ba__verdict-text.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--ink);font-feature-settings:"tnum";line-height:1.5}.ba__predicate.svelte-18oi2tp.svelte-18oi2tp{display:flex;gap:12px;flex-wrap:wrap;align-items:center;padding:8px 12px;background:var(--paper);border:1px solid var(--rule)}.ba__pred-k.svelte-18oi2tp.svelte-18oi2tp{font-size:10px;color:var(--muted);text-transform:uppercase;letter-spacing:.08em}.ba__pred-c.svelte-18oi2tp.svelte-18oi2tp{font-family:var(--type-mono);font-size:12px;color:var(--ink);background:var(--paper-alt);padding:2px 6px;border-radius:2px}.ba__pred-eval.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--ink-2)}.ba__bar.svelte-18oi2tp.svelte-18oi2tp{display:flex;gap:6px;align-items:center;padding:14px 0 10px;flex-wrap:wrap}.ba__btn.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;padding:5px 12px;background:var(--paper);border:1px solid var(--rule);color:var(--ink-2);cursor:pointer}.ba__btn.svelte-18oi2tp.svelte-18oi2tp:hover{background:var(--paper-alt);border-color:var(--ink-2)}.ba__btn--primary.svelte-18oi2tp.svelte-18oi2tp{background:var(--violet);color:var(--paper);border-color:var(--violet)}.ba__btn--primary.svelte-18oi2tp.svelte-18oi2tp:hover{background:var(--ink);border-color:var(--ink)}.ba__step.svelte-18oi2tp.svelte-18oi2tp{font-size:11px;color:var(--muted);margin-left:auto;font-feature-settings:"tnum"}.ba__notes.svelte-18oi2tp.svelte-18oi2tp{padding-top:12px;border-top:1px solid var(--rule);font-size:12px;color:var(--ink-2);line-height:1.55;font-family:var(--type-display)}.ba__notes.svelte-18oi2tp strong.svelte-18oi2tp{font-weight:600;color:var(--ink);margin-right:4px;font-size:11px;letter-spacing:.04em;text-transform:uppercase}.ba__notes.svelte-18oi2tp em.svelte-18oi2tp{font-style:italic;font-weight:500;color:var(--ink)}.ba__notes.svelte-18oi2tp code.svelte-18oi2tp{font-family:var(--type-mono);font-size:.9em;background:var(--paper);padding:1px 5px;border-radius:2px}