boolean-simplifier{--w-tool-figure:520px;--w-map:600px;margin-block-start:var(--space-6);display:block}.bs-label{font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted);margin:0;padding:0}.bs-input{display:none}html[data-js=on] .bs-input{align-items:start;gap:var(--space-4) var(--space-6);max-width:var(--w-wide);flex-wrap:wrap;display:flex}.bs-group{border:0;min-width:0;margin:0;padding:0}.bs-options{gap:0 var(--space-3);flex-wrap:wrap;display:flex}.bs-option{align-items:center;gap:var(--space-2);min-height:44px;font:500 14px/1.2 var(--font-code);cursor:pointer;display:inline-flex}.bs-option input{width:20px;height:20px;accent-color:var(--accent);margin:0}.bs-option:has(input:disabled){color:var(--muted);cursor:default}.bs-fields{gap:var(--space-3);flex:18rem;min-width:0;display:grid}.bs-field{gap:var(--space-1);min-width:0;display:grid}.bs-field[hidden]{display:none}.bs-text,.bs-names{width:100%;padding:var(--space-2);border:1px solid var(--fig-muted);border-radius:var(--radius);background:var(--fig-surface);color:var(--fig-ink);font:500 16px/1.5 var(--font-code)}.bs-text{min-height:calc(3 * 1.5em + 2 * var(--space-2) + 2px);resize:vertical}.bs-names{min-height:44px}.bs-hint{font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted);margin:0}.bs-link,.bs-step{border-color:var(--fig-muted);background:var(--fig-surface);color:var(--fig-ink);font:500 14px/1.2 var(--font-code)}.bs-link{align-self:end}.bs-step[aria-disabled=true],.bs-step:disabled{color:var(--muted);cursor:default}html:not([data-js=on]) :is(.bs-show,.bs-step){display:none}.bs-summary{max-width:var(--w-wide);margin:var(--space-4) 0 0}.bs-note:empty,.bs-said:empty{display:none}.bs-note{max-width:var(--w-wide);margin:var(--space-2) 0 0;color:var(--muted)}.bs-said{max-width:var(--w-wide);margin:var(--space-2) 0 0;overflow-wrap:anywhere;font-weight:600}.bs-result{gap:var(--space-6);margin-block-start:var(--space-5);display:grid}.bs-result>*{min-width:0}.bs-forms{gap:var(--space-5);align-content:start;display:grid}.bs-form-head,.bs-form__label,.bs-textbook,.bs-spoken{-webkit-user-select:none;user-select:none}.bs-form-head{align-items:center;gap:var(--space-2) var(--space-3);flex-wrap:wrap;display:flex}.bs-form-label{font:600 var(--fs-body) / 1.4 var(--font-text);color:var(--ink);margin:0 auto 0 0}.bs-covers{align-items:center;gap:var(--space-3);display:flex}.bs-count{text-align:center;min-width:7ch;font:500 14px/1.2 var(--font-code)}.bs-form-line{margin:var(--space-2) 0 0}.bs-form-line>.bs-form__value{font-size:var(--fs-code);overflow-wrap:normal;background:0 0;border:0;padding:0;line-height:1.6}.bs-form__term{overflow-wrap:anywhere;max-width:100%;display:inline-block}.bs-textbook{margin:var(--space-2) 0 0;font-family:var(--font-text);font-size:var(--fs-body);color:var(--ink);line-height:1.6}.bs-textbook__term{max-width:100%;display:inline-block}.bs-textbook__bar{border-top:.07em solid;margin-inline:.08em;padding-top:.06em;line-height:1.05;display:inline-block}.bs-pair{margin-block-start:var(--space-5)}.bs-not-drawn{max-width:var(--w-text);margin:0}.bs [aria-busy=true]{opacity:.45}@media (width>=75rem){.bs-result{grid-template-columns:var(--w-map) var(--gap-pair) minmax(0, 1fr);gap:0}.bs-result>.bs-kmap{grid-column:1}.bs-result>.bs-forms{grid-column:3}.tool-pair>.bs-not-drawn{grid-area:1/3/span 2}.tool-pair[data-tool-wide]{grid-template-rows:none;grid-template-columns:minmax(0,1fr)}.tool-pair[data-tool-wide]>.figure__frame{grid-area:auto/1;position:static}.tool-pair[data-tool-wide]>.figure__caption{margin-block-start:var(--space-2)}}.km{--km-cell:56px;--km-rh:26px;--km-ch:22px;--km-rv:30px;container:km/inline-size}.km-maps{gap:var(--space-5) var(--space-6);grid-template-columns:max-content;justify-content:start;display:grid}@container km (width>=600px){.km:is([data-maps="2"],[data-maps="4"]) .km-maps{grid-template-columns:repeat(2,max-content)}.km[data-maps="4"] .km-map[data-place="1 1"]{grid-area:1/1}.km[data-maps="4"] .km-map[data-place="1 2"]{grid-area:1/2}.km[data-maps="4"] .km-map[data-place="2 1"]{grid-area:2/1}.km[data-maps="4"] .km-map[data-place="2 2"]{grid-area:2/2}}.km-map{margin:0}.km-title{margin:0 0 var(--space-1) calc(var(--km-rv) + 4px + var(--km-rh));font:600 13px/1.4 var(--font-code);color:var(--fig-ink);contain:inline-size;overflow-wrap:anywhere}.km-pair{white-space:nowrap}.km-body{grid-template-columns:var(--km-rv) auto;column-gap:4px;display:grid}.km-colvars{margin:0 0 0 var(--km-rh);max-width:calc(var(--km-cols) * var(--km-cell));font:13px/1.4 var(--font-code);color:var(--fig-ink);text-align:center;overflow-wrap:anywhere;grid-column:2}.km-colvars:empty{display:none}.km-rowvars{margin:var(--km-ch) 0 0;writing-mode:vertical-rl;max-height:calc(var(--km-rows) * var(--km-cell));font:12px/15px var(--font-code);color:var(--fig-ink);text-align:center;overflow-wrap:anywhere;grid-area:2/1;justify-self:center;transform:rotate(180deg)}.km-frame{grid-area:2/2;width:max-content;position:relative}.km-grid{border-collapse:collapse;table-layout:fixed}.km-grid td{padding:0}.km-corner,.km-rh{width:var(--km-rh)}.km-ch{height:var(--km-ch);text-align:center;vertical-align:bottom;font:12px/1 var(--font-code);color:var(--fig-muted);padding-bottom:4px}.km-grid .km-rh{box-sizing:border-box;text-align:right;font:12px/1 var(--font-code);color:var(--fig-muted);padding-right:5px}.km-grid td[role=gridcell]{width:var(--km-cell);height:var(--km-cell);background:var(--fig-surface)}.km-cell{width:var(--km-cell);height:var(--km-cell);background:var(--fig-surface);min-height:0;color:var(--fig-ink);font:400 18px/1 var(--font-code);border:0;border-radius:0;margin:0;padding:0;display:block}.km-cell:hover{border-color:#0000}.km-cell:disabled{cursor:default}.km-v1{color:var(--sig-hi);font-weight:700}.km-v2{color:var(--fig-muted)}.km-cell.km-lit{background:var(--hl-fill)}.km-cell:focus-visible{z-index:2;outline:2px solid var(--accent);outline-offset:-2px;position:relative}.km-groups{left:var(--km-rh);top:var(--km-ch);pointer-events:none;z-index:1;position:absolute;overflow:visible}.km-lines{fill:none;stroke:var(--fig-muted);stroke-width:1px}.km-group path{fill:none;stroke:var(--fig-ink);stroke-width:2px;stroke-linecap:round}.km-group.km-lit path{stroke:var(--hl);stroke-width:3px}.km-tag rect{fill:var(--fig-surface);stroke:var(--fig-ink);stroke-width:1px}.km-tag text{fill:var(--fig-ink);font:600 10px/1 var(--font-code);text-anchor:middle}.km-tag.km-lit rect{fill:var(--hl);stroke:var(--hl)}.km-tag.km-lit text{fill:var(--fig-surface)}.km-legend{gap:var(--space-2);margin:var(--space-4) 0 0;flex-wrap:wrap;padding:0;list-style:none;display:flex}.km-legend li{min-width:0;max-width:100%;display:flex}.km-key{align-items:center;gap:var(--space-2);max-width:100%;padding:var(--space-1) var(--space-2);border-color:var(--fig-muted);background:var(--fig-surface);color:var(--fig-ink);font:400 13px/1.4 var(--font-code);text-align:start;white-space:normal;display:inline-flex}.km-key:disabled{cursor:default}.km-key[aria-pressed=true]{border-color:var(--hl);box-shadow:inset 0 0 0 1px var(--hl)}.km-key.km-lit{background:var(--hl-fill)}.km-swatch{flex:none}.km-swatch path{fill:none;stroke:var(--fig-ink);stroke-width:2px;stroke-linecap:round}.km-key.km-lit .km-swatch path{stroke:var(--hl);stroke-width:3px}.km-num{border:1px solid var(--fig-ink);min-width:20px;font:600 10px/12px var(--font-code);text-align:center;border-radius:2px;flex:none;padding:0 3px}.km-key.km-lit .km-num{border-color:var(--hl);background:var(--hl);color:var(--fig-surface)}.km-key code{min-width:0;font-size:inherit;overflow-wrap:anywhere;background:0 0;border:0;padding:0}float-explorer{max-width:var(--w-wide);margin-block-start:var(--space-6);display:block}float-explorer :is(.fx-controls,.fx-inputs,.fx-copy){display:none}html[data-js=on] float-explorer :is(.fx-controls,.fx-inputs){display:flex}html[data-js=on] float-explorer .fx-copy{display:inline-block}.fx-controls,.fx-inputs,.fx-custom{align-items:end;gap:var(--space-3);flex-wrap:wrap}.fx-inputs{margin-block-start:var(--space-3)}.fx-custom{border:0;margin:0;padding:0;display:flex}.fx-custom[hidden]{display:none}.fx-field{gap:var(--space-1);display:grid}.fx-field--check{grid-auto-flow:column;align-items:center;min-height:44px}.fx-field--input{flex:16rem}.fx-label{font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted)}float-explorer :is(select,input[type=text],input[type=number],button){border:1px solid var(--fig-muted);border-radius:var(--radius);background:var(--fig-surface);min-height:44px;color:var(--fig-ink);font:500 14px/1.2 var(--font-code)}float-explorer :is(select,input[type=text],input[type=number]){padding:0 var(--space-2)}float-explorer input[type=number]{width:5.5rem}float-explorer input[type=checkbox]{width:24px;height:24px;margin:0}float-explorer button{padding:0 var(--space-3);cursor:pointer}.fx-input{width:100%}.fx-said{overflow-wrap:anywhere;margin:0;font-weight:600}.fx-hint{font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted);flex-basis:100%;margin:0}.fx-bits-region{margin-block-start:var(--space-5);container-type:inline-size}.fx-bits{gap:var(--space-3) var(--space-4);flex-wrap:wrap;display:flex}.fx-byte{flex:100%;grid-template-rows:auto 44px auto;grid-template-columns:repeat(4,minmax(0,1fr)) 4px repeat(4,minmax(0,1fr));gap:2px 4px;display:grid}@container (width>=544px){.fx-byte{flex-basis:calc((100% - var(--space-4)) / 2)}}@container (width>=1056px){.fx-byte{flex-basis:calc((100% - 3 * var(--space-4)) / 4)}}.fx-rail{border-top:1px solid var(--fig-muted);min-height:1.4em;font:11px/1.4 var(--font-code);color:var(--muted);white-space:nowrap;grid-row:1;padding-inline:2px;overflow:hidden}.fx-rail--fraction{border-top-style:dashed}.fx-rail--starts{border-left:1px solid var(--fig-muted)}.fx-rail--ends{border-right:1px solid var(--fig-muted)}.fx-bit{grid-row:2;min-width:24px;padding:0;scroll-margin-block-end:9rem}.fx-bit[aria-pressed=true]{border:2px solid var(--sig-hi);font-weight:700}.fx-hex{text-align:center;font:12px/1.4 var(--font-code);color:var(--muted);grid-row:3}.fx-summary-region{z-index:1;padding-block:var(--space-2);border-top:1px solid var(--rule);background:var(--surface);margin-block-start:var(--space-3);position:sticky;bottom:0}.fx-summary{align-items:baseline;gap:var(--space-1) var(--space-4);flex-wrap:wrap;margin:0;display:flex}.fx-refused{flex-basis:100%;font-weight:600}.fx-class{font-weight:600}.fx-readout-region{margin-block-start:var(--space-4);container-type:inline-size}.fx-rows{gap:var(--space-2);margin:0;display:grid}.fx-limits{border-top:1px solid var(--rule);margin-block-start:var(--space-4);padding-block-start:var(--space-3)}.fx-row{gap:0 var(--space-4);display:grid}@container (width>=544px){.fx-row{grid-template-columns:11rem minmax(0,1fr)}}.fx-row dt{font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted)}.fx-row dd{min-width:0;margin:0}.fx-line{display:block}.fx-formula,.fx-power{font-family:var(--font-code);font-size:.93em}.fx-readout-region code,.fx-summary code{overflow-wrap:anywhere}.fx-fold{color:var(--muted);white-space:nowrap;font-size:.85em}.fx-gap{color:var(--muted);display:block}.fx-fold-controls{align-items:center;gap:0 var(--space-3);flex-wrap:wrap;display:flex}.fx-all summary{cursor:pointer;min-height:44px;color:var(--muted);font-size:var(--fs-small);align-items:center;display:inline-flex}.fx-all[open]{flex-basis:100%;order:1}.fx-digits{display:block}.fx-note{margin:var(--space-3) 0 0}.fx-rounding{margin:var(--space-3) 0 0;font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted)}fsm-viewer{--w-tool-figure:520px;margin-block-start:var(--space-6);display:block}.fv-controls{display:none}html[data-js=on] .fv-controls{gap:var(--space-1);max-width:var(--w-wide);display:grid}.fv-label{font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted)}.fv-field{box-sizing:border-box;width:100%;min-height:44px;height:calc(8lh + 2 * var(--space-2) + 2px);padding:var(--space-2);border:1px solid var(--fig-muted);border-radius:var(--radius);background:var(--fig-surface);color:var(--fig-ink);font:400 14px/1.5 var(--font-code);resize:vertical;tab-size:2;white-space:pre;overflow:auto}.fv-under{justify-content:space-between;align-items:center;gap:var(--space-2) var(--space-4);flex-wrap:wrap;display:flex}.fv-hint{font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted);margin:0}.fv-link,.fv-goto{min-height:44px;padding:0 var(--space-3);border:1px solid var(--fig-muted);border-radius:var(--radius);background:var(--fig-surface);color:var(--fig-ink);font:500 14px/1.2 var(--font-code);cursor:pointer}.fv-summary{max-width:var(--w-wide);margin:var(--space-4) 0 0;overflow-wrap:anywhere}.fv-said{align-items:center;gap:var(--space-2) var(--space-3);max-width:var(--w-wide);overflow-wrap:anywhere;flex-wrap:wrap;margin:0;font-weight:600;display:flex}.fv-said:has(.fv-sentence:empty){display:none}.fv-pair>[aria-busy=true],.fv-pair[data-stale]>*{opacity:.45}.fv-not-drawn{max-width:var(--w-text)}.fv-why{margin:0}.fv-table{overflow-x:auto}.fv-table table{width:100%;border-collapse:collapse;font-size:var(--fs-small);line-height:var(--lh-small);margin-block-start:var(--space-4)}.fv-table caption{text-align:start;padding-block-end:var(--space-1);font-weight:600}.fv-table th,.fv-table td{padding:var(--space-1) var(--space-2) var(--space-1) 0;border-block-end:1px solid var(--rule);text-align:start;vertical-align:middle}.fv-table code{font-size:inherit;background:0 0;border:0;padding:0}.fv-table th{color:var(--muted);overflow-wrap:normal;font-weight:500}.fv-table tr[data-src]{cursor:default}.fv-table tr[data-src]:is(:hover,:focus-within){background:var(--hl-fill)}.fv-table tr[data-src]:is(:hover,:focus-within)>td:first-child{box-shadow:inset 2px 0 0 0 var(--hl)}.fv-table :is(th,td):first-child{padding-inline-start:var(--space-2)}.fv-line{min-width:44px;min-height:44px;color:var(--accent);font:inherit;font-family:var(--font-code);cursor:pointer;background:0 0;border:0;align-items:center;padding:0;text-decoration:underline;display:inline-flex}@media (width>=75rem){.fv-pair>.fv-not-drawn{grid-area:1/3/span 2}.fv-pair[data-tool-wide]{grid-template-rows:none;grid-template-columns:minmax(0,1fr)}.fv-pair[data-tool-wide]>.figure__frame{grid-area:auto/1;position:static}.fv-pair[data-tool-wide]>.figure__caption{margin-block-start:var(--space-2)}}sequence-detector-generator{--w-tool-figure:520px;margin-block-start:var(--space-6);display:block}.sdg-controls{display:none}html[data-js=on] .sdg-controls{align-items:start;gap:var(--space-4) var(--space-6);max-width:var(--w-wide);flex-wrap:wrap;display:flex}.sdg-pattern-field{gap:var(--space-1);flex:14rem;max-width:20rem;display:grid}.sdg-label{font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted);padding:0}.sdg-pattern{width:100%;min-height:44px;padding:0 var(--space-2);border:1px solid var(--fig-muted);border-radius:var(--radius);background:var(--fig-surface);color:var(--fig-ink);font:500 16px/1.2 var(--font-code)}.sdg-hint{font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted);margin:0}.sdg-group{border:0;min-width:0;margin:0;padding:0}.sdg-options{gap:0 var(--space-3);flex-wrap:wrap;display:flex}.sdg-option{align-items:center;gap:var(--space-2);min-height:44px;font:500 14px/1.2 var(--font-code);cursor:pointer;display:inline-flex}.sdg-option input{width:20px;height:20px;accent-color:var(--accent);margin:0}.sdg-option:has(input:disabled){color:var(--muted);cursor:default}.sdg-note{max-width:22rem;font-size:var(--fs-small);line-height:var(--lh-small);color:var(--muted);margin:0}.sdg-link{min-height:44px;padding:0 var(--space-3);border:1px solid var(--fig-muted);border-radius:var(--radius);background:var(--fig-surface);color:var(--fig-ink);font:500 14px/1.2 var(--font-code);cursor:pointer;align-self:end}.sdg-summary{max-width:var(--w-wide);margin:var(--space-4) 0 0}.sdg-said{max-width:var(--w-wide);overflow-wrap:anywhere;margin:0;font-weight:600}.tool-pair>[aria-busy=true]{opacity:.45}.code-block__download{min-height:32px;font-weight:600;position:relative}.code-block__download:after{content:"";position:absolute;inset-block:-6px;inset-inline:0}html:not([data-js=on]) .code-block__download{display:none}.tool-text[data-astro-cid-inrdwtoc]{margin-block-start:var(--space-7)}