.returns.svelte-dk6yuc{max-width:40rem;margin:1.5rem auto}svg.svelte-dk6yuc{font-family:var(--anim-font)}.window.svelte-dk6yuc{fill:var(--anim-accent);fill-opacity:.08;stroke:var(--anim-accent);stroke-opacity:.35;stroke-dasharray:4 4}.grid.svelte-dk6yuc{stroke:var(--anim-rule);stroke-width:1px}.step.svelte-dk6yuc{stroke:var(--anim-muted);stroke-width:1.3px}.pt.svelte-dk6yuc{fill:var(--anim-muted)}.pt.visit.svelte-dk6yuc{fill:var(--anim-accent)}.ring.svelte-dk6yuc{fill:none;stroke:var(--anim-accent);stroke-width:2px}text.svelte-dk6yuc{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.lab.svelte-dk6yuc{fill:var(--anim-muted)}.it.svelte-dk6yuc{font-style:italic}.num.svelte-dk6yuc{fill:var(--anim-muted);font-size:16px}.status.svelte-dk6yuc{text-anchor:start;font-size:16px}.de-morgan.svelte-btwle{max-width:40rem;margin:1.5rem auto}svg.svelte-btwle{font-family:var(--anim-font)}.omega.svelte-btwle{fill:none;stroke:var(--anim-rule);stroke-width:1.2px}.set.svelte-btwle{fill:none;stroke:var(--anim-ink);stroke-width:1.4px}.fill.svelte-btwle{fill:var(--anim-accent);fill-opacity:.3}text.svelte-btwle{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.it.svelte-btwle{font-style:italic}.sub.svelte-btwle,.sup.svelte-btwle{font-size:12px;font-style:normal}.omega-lab.svelte-btwle{fill:var(--anim-muted);font-size:16px}.partitions.svelte-188dapy{max-width:40rem;margin:1.5rem auto}svg.svelte-188dapy{font-family:var(--anim-font)}.block.svelte-188dapy{fill:none;stroke:var(--anim-ink);stroke-width:1.3px}.block.small.svelte-188dapy{stroke:var(--anim-muted)}.block.on.svelte-188dapy{fill:var(--anim-accent);fill-opacity:.3;stroke:var(--anim-accent)}.pt.svelte-188dapy{fill:var(--anim-ink)}.rule.svelte-188dapy{stroke:var(--anim-rule)}text.svelte-188dapy{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.head.svelte-188dapy{fill:var(--anim-muted)}.count.svelte-188dapy,.name.svelte-188dapy{font-size:16px}.it.svelte-188dapy{font-style:italic}.sub.svelte-188dapy{font-size:12px}.union-fails.svelte-4uy7cl{max-width:40rem;margin:1.5rem auto}svg.svelte-4uy7cl{font-family:var(--anim-font)}.block.svelte-4uy7cl{fill:none;stroke:var(--anim-ink);stroke-width:1.3px}.block.on.svelte-4uy7cl{fill:var(--anim-accent);fill-opacity:.3;stroke:var(--anim-accent)}.missing.svelte-4uy7cl{fill:none;stroke:var(--anim-accent);stroke-width:1.6px;stroke-dasharray:5 5}.pt.svelte-4uy7cl{fill:var(--anim-ink)}text.svelte-4uy7cl{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.num.svelte-4uy7cl{fill:var(--anim-muted);font-size:16px}.preimage.svelte-1fsie7z{max-width:40rem;margin:1.5rem auto}svg.svelte-1fsie7z{font-family:var(--anim-font)}.arrow.svelte-1fsie7z{stroke:var(--anim-rule);stroke-width:1.2px}.arrow.on.svelte-1fsie7z{stroke:var(--anim-accent);stroke-width:1.6px}.head.svelte-1fsie7z{fill:var(--anim-rule)}.head.on.svelte-1fsie7z{fill:var(--anim-accent)}.pt.svelte-1fsie7z{fill:var(--anim-muted)}.pt.on.svelte-1fsie7z{fill:var(--anim-accent)}.set.svelte-1fsie7z{fill:none;stroke:var(--anim-ink);stroke-width:1.3px}text.svelte-1fsie7z{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.lab.svelte-1fsie7z{fill:var(--anim-muted)}.it.svelte-1fsie7z{font-style:italic}.sup.svelte-1fsie7z{font-size:12px;font-style:normal}.blocks.svelte-10zop8n{max-width:40rem;margin:1.5rem auto}svg.svelte-10zop8n{font-family:var(--anim-font)}.block.svelte-10zop8n{fill:none;stroke:var(--anim-ink);stroke-width:1.3px}.block.cut.svelte-10zop8n{stroke:var(--anim-accent);stroke-width:2px;stroke-dasharray:6 5}.pt.svelte-10zop8n{fill:var(--anim-bg,transparent);stroke:var(--anim-ink);stroke-width:1.5px;cursor:pointer}.pt.on.svelte-10zop8n{fill:var(--anim-accent);stroke:var(--anim-accent)}.pt.svelte-10zop8n:focus-visible{stroke:var(--anim-accent);stroke-width:3px;outline:none}text.svelte-10zop8n{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.it.svelte-10zop8n{font-style:italic}.status.svelte-10zop8n{text-anchor:start}.hint.svelte-10zop8n{text-anchor:start;fill:var(--anim-muted);font-size:16px}.merge.svelte-1ww9dit{max-width:40rem;margin:1.5rem auto}svg.svelte-1ww9dit{font-family:var(--anim-font)}.block.svelte-1ww9dit{fill:none;stroke:var(--anim-ink);stroke-width:1.3px}.block.on.svelte-1ww9dit{fill:var(--anim-accent);fill-opacity:.25;stroke:var(--anim-accent)}.block.cutb.svelte-1ww9dit{stroke:var(--anim-accent);stroke-width:2px;stroke-dasharray:6 5}.pt.svelte-1ww9dit{fill:var(--anim-muted)}.pt.hot.svelte-1ww9dit{fill:var(--anim-accent)}text.svelte-1ww9dit{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.row.svelte-1ww9dit{text-anchor:start;fill:var(--anim-muted);font-size:16px}.note.svelte-1ww9dit{text-anchor:start;font-size:16px}.it.svelte-1ww9dit{font-style:italic}.product.svelte-9id18w{max-width:40rem;margin:1.5rem auto}svg.svelte-9id18w{font-family:var(--anim-font);overflow:visible}.cell.svelte-9id18w{fill:none;stroke:var(--anim-rule);stroke-width:1px}.cell.on.svelte-9id18w{fill:var(--anim-accent);fill-opacity:.35;stroke:var(--anim-accent)}text.svelte-9id18w{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.lab.svelte-9id18w{fill:var(--anim-muted);font-size:16px}.lab.hot.svelte-9id18w{fill:var(--anim-accent);font-weight:600}.axis.svelte-9id18w{fill:var(--anim-muted)}.it.svelte-9id18w{font-style:italic}.coins.svelte-x9igbr{max-width:40rem;margin:1.5rem auto}svg.svelte-x9igbr{font-family:var(--anim-font)}.cell.svelte-x9igbr{fill:none;stroke:var(--anim-rule);stroke-width:1.2px}.cell.hh.svelte-x9igbr{fill:var(--anim-accent);fill-opacity:.18}.ev.svelte-x9igbr{fill:none;stroke:var(--anim-accent);stroke-width:2px}.ev.b.svelte-x9igbr{stroke:var(--anim-ink);stroke-dasharray:6 4}.ev.c.svelte-x9igbr{stroke:var(--anim-muted);stroke-width:2.5px;stroke-dasharray:2 4;stroke-linecap:round}text.svelte-x9igbr{fill:var(--anim-ink);text-anchor:middle;dominant-baseline:central;font-size:17px}.lab.svelte-x9igbr{fill:var(--anim-muted);font-size:16px}.out.svelte-x9igbr{font-size:18px}.ev-lab.svelte-x9igbr{font-style:italic;font-weight:600}.row.svelte-x9igbr{text-anchor:start}.muted.svelte-x9igbr{fill:var(--anim-muted)}.it.svelte-x9igbr{font-style:italic}
