.sieve-explorer[data-astro-cid-rsd5zcu7]{border:1px solid var(--line);background:var(--surface);border-radius:6px;min-width:0;margin:2.5rem 0;overflow:hidden}.figure-heading[data-astro-cid-rsd5zcu7]{border-bottom:1px solid var(--line);font:600 .9rem/1.6 var(--sans);color:var(--ink);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.5rem 1rem;padding:1.2rem 1.4rem;display:flex}.interactive-label[data-astro-cid-rsd5zcu7]{font:500 .75rem/1.5 var(--mono);color:var(--green)}.sieve-controls[data-astro-cid-rsd5zcu7]{grid-template-columns:1fr 1fr;gap:1rem;padding:1.3rem 1.4rem 0;display:grid}.sieve-controls[data-astro-cid-rsd5zcu7][hidden]{display:none}label[data-astro-cid-rsd5zcu7]{font:500 .8rem/1.6 var(--sans);color:var(--muted)}select[data-astro-cid-rsd5zcu7]{border:1px solid var(--line);background:var(--paper);width:100%;min-height:44px;color:var(--ink);cursor:pointer;font:500 .95rem/1.5 var(--sans);border-radius:4px;margin-top:.35rem;padding:.55rem .7rem;display:block}.sieve-product[data-astro-cid-rsd5zcu7]{font:500 .85rem/1.7 var(--mono);color:var(--green);overflow-wrap:anywhere;margin:1.3rem 1.4rem .8rem}.sieve-legend[data-astro-cid-rsd5zcu7]{color:var(--muted);font:.75rem/1.5 var(--sans);flex-wrap:wrap;gap:1.2rem;padding:0 1.4rem .9rem;display:flex}.sieve-legend[data-astro-cid-rsd5zcu7]>span[data-astro-cid-rsd5zcu7]{align-items:center;gap:.45rem;display:flex}.sieve-legend[data-astro-cid-rsd5zcu7] i[data-astro-cid-rsd5zcu7]{width:16px;height:16px;font:500 .7rem/1 var(--mono);justify-content:center;align-items:center;font-style:normal;display:inline-flex}.legend-kept[data-astro-cid-rsd5zcu7]{border:1px solid var(--green);background:#edf1e9}.legend-unit[data-astro-cid-rsd5zcu7]{border:1px solid var(--accent);color:var(--accent)}.sieve-legend[data-astro-cid-rsd5zcu7] s[data-astro-cid-rsd5zcu7]{width:16px;height:16px;font:500 .75rem/1 var(--mono);color:var(--muted);justify-content:center;align-items:center;display:inline-flex}.sieve-grid[data-astro-cid-rsd5zcu7]{grid-template-columns:repeat(10,minmax(0,1fr));gap:.35rem;margin:0;padding:0 1.4rem 1.4rem;list-style:none;display:grid}.sieve-grid[data-astro-cid-rsd5zcu7] .sieve-cell{min-width:0;min-height:33px;color:var(--green);font:500 .8rem/1.5 var(--mono);font-variant-numeric:tabular-nums;background:#edf1e9;border:1px solid #b9cbbc;border-radius:3px;justify-content:center;align-items:center;padding:.25rem .05rem;display:flex}.sieve-grid[data-astro-cid-rsd5zcu7] .sieve-cell.is-removed{background:var(--paper);color:var(--muted);border-color:#0000;text-decoration:line-through 1px}.sieve-grid[data-astro-cid-rsd5zcu7] .sieve-cell.is-unit{border-color:var(--accent);color:var(--accent);background:#fbf0e8}.sieve-results[data-astro-cid-rsd5zcu7]{border-top:1px solid var(--line);border-bottom:1px solid var(--line);background:var(--paper);grid-template-columns:1fr 1fr;display:grid}.sieve-results[data-astro-cid-rsd5zcu7]>div[data-astro-cid-rsd5zcu7]{min-width:0;padding:1.2rem 1.4rem}.sieve-results[data-astro-cid-rsd5zcu7]>div[data-astro-cid-rsd5zcu7]+div[data-astro-cid-rsd5zcu7]{border-left:1px solid var(--line)}.sieve-results[data-astro-cid-rsd5zcu7] span[data-astro-cid-rsd5zcu7]{color:var(--muted);font:500 .75rem/1.6 var(--sans);display:block}.sieve-results[data-astro-cid-rsd5zcu7] strong[data-astro-cid-rsd5zcu7]{color:var(--green);font:400 2.8rem/1.35 var(--serif);letter-spacing:-.04em;font-variant-numeric:tabular-nums;display:block}.sieve-results[data-astro-cid-rsd5zcu7] small[data-astro-cid-rsd5zcu7]{color:var(--muted);font:.72rem/1.6 var(--sans);display:block}.sieve-steps[data-astro-cid-rsd5zcu7]{border-bottom:1px solid var(--line);padding:0 1.4rem}summary[data-astro-cid-rsd5zcu7]{cursor:pointer;min-height:48px;color:var(--green);font:600 .85rem/1.6 var(--sans);padding:.95rem 0}.sieve-steps[data-astro-cid-rsd5zcu7] ol[data-astro-cid-rsd5zcu7]{margin:0;padding:0;list-style:none}.sieve-step-header[data-astro-cid-rsd5zcu7],.sieve-steps[data-astro-cid-rsd5zcu7] li{color:var(--muted);font:.8rem/1.6 var(--mono);font-variant-numeric:tabular-nums;grid-template-columns:1fr 1fr 1fr;gap:.5rem;padding:.55rem 0;display:grid}.sieve-step-header[data-astro-cid-rsd5zcu7]{font:.7rem/1.5 var(--sans);border-bottom:1px solid var(--line)}.sieve-steps[data-astro-cid-rsd5zcu7] li strong{color:var(--ink);font-weight:500}.sieve-step-header[data-astro-cid-rsd5zcu7] span[data-astro-cid-rsd5zcu7]:not(:first-child),.sieve-steps[data-astro-cid-rsd5zcu7] li>span{text-align:right}.sieve-steps[data-astro-cid-rsd5zcu7] p[data-astro-cid-rsd5zcu7]{color:var(--muted);font:.8rem/1.7 var(--sans);margin:.8rem 0 1.1rem}figcaption[data-astro-cid-rsd5zcu7]{color:var(--muted);font:.875rem/1.75 var(--sans);padding:1.15rem 1.4rem}figcaption[data-astro-cid-rsd5zcu7] strong[data-astro-cid-rsd5zcu7]{color:var(--ink)}.sieve-nojs[data-astro-cid-rsd5zcu7]{color:var(--muted);font:.8rem/1.6 var(--sans);margin:0;padding:0 1.4rem 1.2rem}.sieve-explorer[data-astro-cid-rsd5zcu7] .sieve-sr-only{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}select[data-astro-cid-rsd5zcu7]:focus-visible,summary[data-astro-cid-rsd5zcu7]:focus-visible{outline:2px solid var(--green);outline-offset:4px}@media (width<=600px){.figure-heading[data-astro-cid-rsd5zcu7]{padding:1rem}.sieve-controls[data-astro-cid-rsd5zcu7]{grid-template-columns:1fr;gap:.75rem;padding:1rem 1rem 0}.sieve-product[data-astro-cid-rsd5zcu7]{margin:1rem 1rem .8rem;font-size:.78rem}.sieve-legend[data-astro-cid-rsd5zcu7]{gap:.8rem;padding:0 1rem .85rem}.sieve-grid[data-astro-cid-rsd5zcu7]{gap:.2rem;padding:0 1rem 1rem}.sieve-grid[data-astro-cid-rsd5zcu7] .sieve-cell{min-height:27px;font-size:.68rem}.sieve-results[data-astro-cid-rsd5zcu7]>div[data-astro-cid-rsd5zcu7]{padding:1rem}.sieve-results[data-astro-cid-rsd5zcu7] strong[data-astro-cid-rsd5zcu7]{font-size:2.3rem}.sieve-results[data-astro-cid-rsd5zcu7] span[data-astro-cid-rsd5zcu7],.sieve-results[data-astro-cid-rsd5zcu7] small[data-astro-cid-rsd5zcu7]{font-size:.68rem}.sieve-steps[data-astro-cid-rsd5zcu7]{padding:0 1rem}figcaption[data-astro-cid-rsd5zcu7]{padding:1rem}.sieve-nojs[data-astro-cid-rsd5zcu7]{padding:0 1rem 1rem}}@media (prefers-reduced-motion:reduce){.sieve-explorer[data-astro-cid-rsd5zcu7] *{transition:none!important;animation:none!important}}@media print{.sieve-controls[data-astro-cid-rsd5zcu7],.interactive-label[data-astro-cid-rsd5zcu7],.sieve-steps[data-astro-cid-rsd5zcu7]{display:none}.sieve-explorer[data-astro-cid-rsd5zcu7]{break-inside:avoid}.sieve-grid[data-astro-cid-rsd5zcu7] .sieve-cell{print-color-adjust:exact}.sieve-results[data-astro-cid-rsd5zcu7]{background:#fff}}.sieve-article[data-astro-cid-nk6syg2d]{padding:1.8rem 0 4rem}.back-link[data-astro-cid-nk6syg2d]{color:var(--green);padding:.5rem 0;font-size:.875rem;text-decoration:none;display:inline-block}.article-hero[data-astro-cid-nk6syg2d]{border-bottom:1px solid var(--line);grid-template-columns:1.65fr 1fr;align-items:center;gap:3rem;max-width:1070px;margin:auto;padding:3.5rem 0 4.5rem;display:grid}.eyebrow[data-astro-cid-nk6syg2d],.section-number[data-astro-cid-nk6syg2d],.box-label[data-astro-cid-nk6syg2d]{font:600 .73rem/1.6 var(--sans);letter-spacing:.11em;text-transform:uppercase;color:var(--green);margin:0 0 1rem}h1[data-astro-cid-nk6syg2d]{letter-spacing:-.05em;margin:0;font-size:clamp(3rem,5.8vw,5rem);line-height:1.04}h1[data-astro-cid-nk6syg2d]>span[data-astro-cid-nk6syg2d]{color:var(--green);margin-top:.25em;font-size:.75em;line-height:1.13;display:block}.lead[data-astro-cid-nk6syg2d]{max-width:610px;margin:1.7rem 0 1.2rem;font-size:1.12rem;line-height:1.85}.byline[data-astro-cid-nk6syg2d]{color:var(--muted);flex-wrap:wrap;gap:.3rem .6rem;font-size:.77rem;line-height:1.7;display:flex}.hero-copy[data-astro-cid-nk6syg2d]{min-width:0}.hero-copy[data-astro-cid-nk6syg2d]>.text-link[data-astro-cid-nk6syg2d]{color:var(--green);margin-top:.4rem}.hero-sieve[data-astro-cid-nk6syg2d]{border-left:1px solid var(--line);min-width:0;margin:0 0 0 1rem;padding:2rem 0 1rem 2.5rem}.hero-dot-grid[data-astro-cid-nk6syg2d]{grid-template-columns:repeat(10,1fr);gap:clamp(8px,1.2vw,15px);max-width:270px;display:grid}.hero-dot-grid[data-astro-cid-nk6syg2d]>span[data-astro-cid-nk6syg2d]{background:#d6d8cc;border-radius:50%;place-self:center;width:8px;height:8px}.hero-dot-grid[data-astro-cid-nk6syg2d]>.kept[data-astro-cid-nk6syg2d]{background:var(--green);width:10px;height:10px}.hero-count[data-astro-cid-nk6syg2d]{font:400 2.6rem/1.2 var(--serif);align-items:baseline;gap:1.1rem;margin-top:2.1rem;display:flex}.hero-count[data-astro-cid-nk6syg2d]>span[data-astro-cid-nk6syg2d]:first-child{color:var(--muted)}.hero-count[data-astro-cid-nk6syg2d] .hero-arrow[data-astro-cid-nk6syg2d]{color:var(--accent);font:1.3rem var(--sans)}.hero-count[data-astro-cid-nk6syg2d] strong[data-astro-cid-nk6syg2d]{color:var(--green);font-weight:400}.hero-sieve[data-astro-cid-nk6syg2d] figcaption[data-astro-cid-nk6syg2d]{font:.73rem/1.7 var(--mono);color:var(--muted);margin-top:.7rem}.article-layout[data-astro-cid-nk6syg2d]{grid-template-columns:205px minmax(0,1fr);align-items:start;gap:3.5rem;max-width:1070px;margin:3rem auto 0;display:grid}.contents[data-astro-cid-nk6syg2d]{position:sticky;top:2rem}.contents[data-astro-cid-nk6syg2d] .eyebrow[data-astro-cid-nk6syg2d]{color:var(--muted);font-size:.7rem}.contents[data-astro-cid-nk6syg2d] ol[data-astro-cid-nk6syg2d]{margin:0 0 1.5rem;padding:0;list-style:none}.contents[data-astro-cid-nk6syg2d] li[data-astro-cid-nk6syg2d] a[data-astro-cid-nk6syg2d]{font:500 .82rem/1.55 var(--sans);color:var(--muted);gap:.65rem;padding:.65rem 0;text-decoration:none;display:flex}.contents[data-astro-cid-nk6syg2d] li[data-astro-cid-nk6syg2d] a[data-astro-cid-nk6syg2d] span[data-astro-cid-nk6syg2d]{font:400 .71rem/1.8 var(--mono)}.contents[data-astro-cid-nk6syg2d] li[data-astro-cid-nk6syg2d] a[data-astro-cid-nk6syg2d]:hover{color:var(--green)}.source-link[data-astro-cid-nk6syg2d]{border-top:1px solid var(--line);color:var(--green);padding-top:1.2rem;font-size:.8rem;text-decoration:none;display:block}.notation[data-astro-cid-nk6syg2d]{color:var(--muted);margin-top:1.7rem;font-size:.77rem;line-height:2.1}.article-body[data-astro-cid-nk6syg2d]{min-width:0;font-size:1.09rem;line-height:1.85}.article-body[data-astro-cid-nk6syg2d] p[data-astro-cid-nk6syg2d]{margin:.85rem 0 1.2rem}.article-body[data-astro-cid-nk6syg2d] a[data-astro-cid-nk6syg2d]{color:var(--green)}.opening[data-astro-cid-nk6syg2d]{border-bottom:1px solid var(--line);margin-bottom:3.5rem;padding-bottom:1.8rem;font-size:1.12rem}.opening[data-astro-cid-nk6syg2d] p[data-astro-cid-nk6syg2d]:first-child{margin-top:0}section[data-astro-cid-nk6syg2d]{margin-bottom:4.5rem;scroll-margin-top:2rem}.article-body[data-astro-cid-nk6syg2d] .section-number[data-astro-cid-nk6syg2d]{margin:0 0 .7rem;font-size:.72rem}.article-body[data-astro-cid-nk6syg2d] h2[data-astro-cid-nk6syg2d]{letter-spacing:-.035em;margin:0 0 1.5rem;font-size:clamp(1.9rem,3vw,2.65rem);line-height:1.16}.article-body[data-astro-cid-nk6syg2d] h3[data-astro-cid-nk6syg2d]{font:400 1.6rem/1.3 var(--serif);letter-spacing:-.02em;margin:2.4rem 0 1rem}.definition[data-astro-cid-nk6syg2d],.theorem[data-astro-cid-nk6syg2d],.example[data-astro-cid-nk6syg2d]{border:1px solid var(--line);border-left:3px solid var(--green);background:var(--surface);border-radius:0 4px 4px 0;min-width:0;margin:1.8rem 0;padding:1.2rem 1.4rem}.theorem[data-astro-cid-nk6syg2d]{background:#edf1e9}.example[data-astro-cid-nk6syg2d]{border-left-color:var(--accent)}.example[data-astro-cid-nk6syg2d] .box-label[data-astro-cid-nk6syg2d]{color:var(--accent)}.article-body[data-astro-cid-nk6syg2d] .box-label[data-astro-cid-nk6syg2d]{margin:0 0 .7rem;font-size:.72rem}.definition[data-astro-cid-nk6syg2d] p[data-astro-cid-nk6syg2d]:last-child,.theorem[data-astro-cid-nk6syg2d] p[data-astro-cid-nk6syg2d]:last-child,.example[data-astro-cid-nk6syg2d] p[data-astro-cid-nk6syg2d]:last-child{margin-bottom:0}.result[data-astro-cid-nk6syg2d]{background:var(--green);min-width:0;color:var(--surface);border-radius:4px;margin:2rem 0;padding:1.4rem 1.5rem}.result[data-astro-cid-nk6syg2d] .box-label[data-astro-cid-nk6syg2d]{color:#d8e2d2}.result[data-astro-cid-nk6syg2d] .math-block{color:var(--surface)}.value-strip[data-astro-cid-nk6syg2d]{border-block:1px solid var(--line);grid-template-columns:repeat(5,minmax(0,1fr));gap:.4rem;margin:1.6rem 0;padding:1.1rem 0;display:grid}.value-strip[data-astro-cid-nk6syg2d]>div[data-astro-cid-nk6syg2d]{flex-direction:column;align-items:center;gap:.4rem;font-size:.9rem;display:flex}.value-strip[data-astro-cid-nk6syg2d] strong[data-astro-cid-nk6syg2d]{font:400 1.5rem var(--serif);color:var(--green)}.proof[data-astro-cid-nk6syg2d]{border-block:1px solid var(--line);background:var(--surface);margin:1.6rem 0}.proof[data-astro-cid-nk6syg2d] summary[data-astro-cid-nk6syg2d]{cursor:pointer;min-height:52px;font:600 .9rem/1.65 var(--sans);color:var(--green);padding:.8rem .2rem}.proof[data-astro-cid-nk6syg2d]>div[data-astro-cid-nk6syg2d]{padding:0 .4rem .6rem;font-size:1rem}.proof[data-astro-cid-nk6syg2d]>div[data-astro-cid-nk6syg2d] p[data-astro-cid-nk6syg2d]:first-child{margin-top:.4rem}.closing-result[data-astro-cid-nk6syg2d]{border:1px solid var(--line);border-top:3px solid var(--green);background:#edf1e9;border-radius:4px;margin-top:2.5rem;padding:1.8rem}.closing-result[data-astro-cid-nk6syg2d] h3[data-astro-cid-nk6syg2d]{margin:.6rem 0 1rem}.closing-result[data-astro-cid-nk6syg2d] p[data-astro-cid-nk6syg2d]:last-child{margin-bottom:0}.references[data-astro-cid-nk6syg2d]{border-top:1px solid var(--line);padding-top:2.5rem;font-size:.95rem}.references[data-astro-cid-nk6syg2d] h2[data-astro-cid-nk6syg2d]{font-size:1.8rem}.bibliography[data-astro-cid-nk6syg2d]{padding-left:1.25rem}.bibliography[data-astro-cid-nk6syg2d] li[data-astro-cid-nk6syg2d]{margin-bottom:1rem;padding-left:.3rem;line-height:1.75}.editorial-note[data-astro-cid-nk6syg2d]{color:var(--muted);font-size:.8rem}.article-body[data-astro-cid-nk6syg2d] .math-block{scrollbar-width:thin;max-width:100%;padding:.4rem 0;font-size:.9em;overflow:auto hidden}.article-body[data-astro-cid-nk6syg2d] .katex-display{margin:.55em 0}.article-body[data-astro-cid-nk6syg2d] .katex-display>.katex{white-space:nowrap}@media (width<=1050px){.article-layout[data-astro-cid-nk6syg2d]{grid-template-columns:1fr;gap:2.3rem;max-width:800px}.contents[data-astro-cid-nk6syg2d]{border:1px solid var(--line);background:var(--surface);border-radius:4px;padding:1.2rem 1.5rem;position:static}.contents[data-astro-cid-nk6syg2d] ol[data-astro-cid-nk6syg2d]{grid-template-columns:1fr 1fr;column-gap:1rem;margin-bottom:.5rem;display:grid}.source-link[data-astro-cid-nk6syg2d]{padding-top:.8rem}.notation[data-astro-cid-nk6syg2d]{display:none}.hero-sieve[data-astro-cid-nk6syg2d]{margin-left:0;padding-left:1.7rem}.article-hero[data-astro-cid-nk6syg2d]{gap:2rem}}@media (width<=650px){.article-hero[data-astro-cid-nk6syg2d]{grid-template-columns:1fr;gap:2rem;padding:2.2rem 0 2.5rem}.article-hero[data-astro-cid-nk6syg2d] h1[data-astro-cid-nk6syg2d]{font-size:clamp(2.8rem,10vw,4rem)}.hero-sieve[data-astro-cid-nk6syg2d]{border-left:0;border-top:1px solid var(--line);grid-template-columns:1fr 1fr;align-items:center;gap:.5rem 1.7rem;padding:1.5rem 0 0;display:grid}.hero-dot-grid[data-astro-cid-nk6syg2d]{grid-row:span 2;gap:9px;max-width:180px}.hero-dot-grid[data-astro-cid-nk6syg2d]>span[data-astro-cid-nk6syg2d]{width:5px;height:5px}.hero-dot-grid[data-astro-cid-nk6syg2d]>.kept[data-astro-cid-nk6syg2d]{width:7px;height:7px}.hero-count[data-astro-cid-nk6syg2d]{gap:.6rem;margin:0;font-size:2.3rem}.hero-sieve[data-astro-cid-nk6syg2d] figcaption[data-astro-cid-nk6syg2d]{align-self:start;margin:0}.lead[data-astro-cid-nk6syg2d]{font-size:1.04rem}.contents[data-astro-cid-nk6syg2d]{padding:1rem}.contents[data-astro-cid-nk6syg2d] ol[data-astro-cid-nk6syg2d]{grid-template-columns:1fr}.contents[data-astro-cid-nk6syg2d] li[data-astro-cid-nk6syg2d] a[data-astro-cid-nk6syg2d]{min-height:40px;padding:.4rem 0}.article-layout[data-astro-cid-nk6syg2d]{margin-top:2rem}.article-body[data-astro-cid-nk6syg2d]{font-size:1.03rem;line-height:1.8}.opening[data-astro-cid-nk6syg2d]{margin-bottom:2.7rem;font-size:1.08rem}.definition[data-astro-cid-nk6syg2d],.theorem[data-astro-cid-nk6syg2d],.example[data-astro-cid-nk6syg2d],.result[data-astro-cid-nk6syg2d]{padding:1rem}.article-body[data-astro-cid-nk6syg2d] .math-block{font-size:.85em}.value-strip[data-astro-cid-nk6syg2d]>div[data-astro-cid-nk6syg2d]{font-size:.75rem}section[data-astro-cid-nk6syg2d]{margin-bottom:3.5rem}.closing-result[data-astro-cid-nk6syg2d]{padding:1.2rem}}@media (width<=380px){.article-hero[data-astro-cid-nk6syg2d] h1[data-astro-cid-nk6syg2d]{font-size:clamp(2rem,10vw,2.8rem)}.hero-sieve[data-astro-cid-nk6syg2d]{grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:.5rem 1rem}.hero-count[data-astro-cid-nk6syg2d]{gap:.4rem;font-size:clamp(1.5rem,8vw,2rem)}.hero-dot-grid[data-astro-cid-nk6syg2d]{gap:6px}}@media print{.contents[data-astro-cid-nk6syg2d],.back-link[data-astro-cid-nk6syg2d],.hero-copy[data-astro-cid-nk6syg2d]>.text-link[data-astro-cid-nk6syg2d]{display:none}.article-layout[data-astro-cid-nk6syg2d]{display:block}.article-hero[data-astro-cid-nk6syg2d]{gap:1rem;padding:1rem 0}.article-body[data-astro-cid-nk6syg2d]{font-size:11pt}.result[data-astro-cid-nk6syg2d]{color:#000;background:#fff;border:1px solid #aaa}.result[data-astro-cid-nk6syg2d] .box-label[data-astro-cid-nk6syg2d],.result[data-astro-cid-nk6syg2d] .math-block{color:#000}.definition[data-astro-cid-nk6syg2d],.theorem[data-astro-cid-nk6syg2d],.example[data-astro-cid-nk6syg2d]{break-inside:avoid}.proof[data-astro-cid-nk6syg2d]{background:#fff}.references[data-astro-cid-nk6syg2d]{font-size:10pt}}