progress-chart[data-astro-cid-cg7e3qka] [data-astro-cid-cg7e3qka][hidden]{display:none!important}progress-chart[data-astro-cid-cg7e3qka]{font-family:var(--font-sans,system-ui,sans-serif);font-size:max(16px,var(--font-min,16px));color:var(--fg);margin:1.25rem 0 .75rem;display:block}.mobile-heading[data-astro-cid-cg7e3qka],.level-short[data-astro-cid-cg7e3qka],.endpoint-short[data-astro-cid-cg7e3qka]{display:none}.plot-heading[data-astro-cid-cg7e3qka]{text-align:center;margin-bottom:4px;position:relative}.plot-heading[data-astro-cid-cg7e3qka] h2[data-astro-cid-cg7e3qka]{letter-spacing:normal;margin:0;padding:0 28px;font-family:inherit;font-size:17px;font-weight:500;line-height:1.4}.plot-info[data-astro-cid-cg7e3qka]{font:inherit;text-align:left;margin:0;position:absolute;top:0;right:0}.plot-info[data-astro-cid-cg7e3qka] p[data-astro-cid-cg7e3qka]:last-child{margin-bottom:0}.plot-legend[data-astro-cid-cg7e3qka]{flex-wrap:wrap;justify-content:center;align-items:center;gap:0 12px;margin:0 0 2px;display:flex}.plot-symbols[data-astro-cid-cg7e3qka]{font-size:var(--font-min);justify-content:center;align-items:center;gap:12px;line-height:1.4;display:flex}.breakthrough-key[data-astro-cid-cg7e3qka]{white-space:nowrap;align-items:center;gap:4px;display:inline-flex}.breakthrough-key[data-astro-cid-cg7e3qka] svg[data-astro-cid-cg7e3qka]{width:18px;height:18px;fill:var(--accent)}progress-chart[data-astro-cid-cg7e3qka] .plot-point.breakthrough{color:var(--accent)}.plot-levels[data-astro-cid-cg7e3qka]{min-width:max-content;font:inherit;border:0;justify-content:center;align-items:center;gap:12px;margin:0;padding:0;display:flex}.plot-levels[data-astro-cid-cg7e3qka] .level-label[data-astro-cid-cg7e3qka]{align-items:center;gap:4px;min-height:28px;display:flex}.plot-key[data-astro-cid-cg7e3qka].claimed{color:var(--claimed)}.plot-key[data-astro-cid-cg7e3qka].human-verified{color:var(--human-verified)}.plot-key[data-astro-cid-cg7e3qka].lean-verified{color:var(--lean-verified)}.plot-axis-title[data-astro-cid-cg7e3qka]{white-space:nowrap;position:absolute;top:152px;left:14px;transform:translate(-50%,-50%)rotate(-90deg)}.endpoint-key[data-astro-cid-cg7e3qka]{font:inherit;white-space:nowrap;align-items:center;gap:4px;margin:0;display:flex}.plot-area[data-astro-cid-cg7e3qka]{width:100%;height:330px;position:relative}.progress-svg[data-astro-cid-cg7e3qka]{width:100%;height:330px;display:block;overflow:visible}.plot-labels[data-astro-cid-cg7e3qka]{pointer-events:none;position:absolute;inset:0}.plot-reference[data-astro-cid-cg7e3qka]{background:var(--surface);font:inherit;padding:0 8px;position:absolute;top:0;left:108px}.plot-tooltip[data-astro-cid-cg7e3qka]{z-index:5;background:var(--surface);border:1px solid var(--line);overflow-wrap:anywhere;border-radius:6px;width:max-content;max-width:360px;padding:16px;line-height:1.6;position:absolute;box-shadow:0 4px 20px #0002}.plot-tooltip[data-astro-cid-cg7e3qka] p{margin:0 0 .5rem}.plot-tooltip[data-astro-cid-cg7e3qka] p:last-child{margin:0}.plot-tooltip[data-astro-cid-cg7e3qka] .plot-bound{max-width:100%;overflow-x:auto}.plot-reference-note[data-astro-cid-cg7e3qka]{text-align:center;margin:6px 0;font-size:16px;line-height:1.5}.plot-ranges[data-astro-cid-cg7e3qka]{justify-content:center;gap:4px;margin:3px 0 0;display:flex}.plot-ranges[data-astro-cid-cg7e3qka] button[data-astro-cid-cg7e3qka]{font:inherit;font-size:var(--font-min);border:1px solid var(--line);background:var(--surface);color:var(--fg);cursor:pointer;border-radius:4px;padding:4px 10px;line-height:1.25}.plot-ranges[data-astro-cid-cg7e3qka] button[data-astro-cid-cg7e3qka][aria-pressed=true]{background:var(--link);border-color:var(--link);color:var(--bg)}.plot-ranges[data-astro-cid-cg7e3qka] button[data-astro-cid-cg7e3qka]:focus-visible{outline:2px solid var(--fg);outline-offset:2px}.plot-state[data-astro-cid-cg7e3qka]{font:inherit;margin:.6rem 0 0}.plot-state[data-astro-cid-cg7e3qka]:empty{display:none}progress-chart[data-astro-cid-cg7e3qka] .axis-tick{text-align:right;color:var(--fg);white-space:nowrap;padding-right:12px;position:absolute;transform:translate(-100%,-50%)}progress-chart[data-astro-cid-cg7e3qka] .plot-grid{stroke:var(--line);stroke-width:1px}progress-chart[data-astro-cid-cg7e3qka] .plot-record{stroke:var(--link);fill:none;stroke-width:2.5px;stroke-linejoin:round}progress-chart[data-astro-cid-cg7e3qka] .plot-limit{stroke:var(--muted);stroke-width:1.5px;stroke-dasharray:6 5}progress-chart[data-astro-cid-cg7e3qka] .plot-date{font:max(16px,var(--font-min,16px)) var(--font-sans,system-ui,sans-serif);fill:var(--fg)}progress-chart[data-astro-cid-cg7e3qka] .plot-point{cursor:pointer;outline:none}progress-chart[data-astro-cid-cg7e3qka] .plot-point:focus .mark,progress-chart[data-astro-cid-cg7e3qka] .plot-point:hover .mark{stroke:var(--fg);stroke-width:3px}progress-chart[data-astro-cid-cg7e3qka] .mark{stroke:var(--surface);stroke-width:1.5px;fill:currentColor}progress-chart[data-astro-cid-cg7e3qka] .claimed{color:var(--claimed)}progress-chart[data-astro-cid-cg7e3qka] .human-verified{color:var(--human-verified)}progress-chart[data-astro-cid-cg7e3qka] .lean-verified{color:var(--lean-verified)}progress-chart[data-astro-cid-cg7e3qka] .endpoint .mark{fill:var(--surface);stroke:currentColor;stroke-width:2px}@media (width<=600px){.plot-heading[data-astro-cid-cg7e3qka] h2[data-astro-cid-cg7e3qka]{padding:0 26px;font-size:16px;line-height:1.35}.desktop-heading[data-astro-cid-cg7e3qka],.level-name[data-astro-cid-cg7e3qka],.endpoint-full[data-astro-cid-cg7e3qka],.plot-axis-title[data-astro-cid-cg7e3qka]{display:none}.mobile-heading[data-astro-cid-cg7e3qka],.mobile-bound-form[data-astro-cid-cg7e3qka]{display:block}.level-short[data-astro-cid-cg7e3qka],.endpoint-short[data-astro-cid-cg7e3qka]{white-space:nowrap;display:inline}.plot-legend[data-astro-cid-cg7e3qka]{flex-direction:column}.plot-levels[data-astro-cid-cg7e3qka]{font-size:var(--font-min);flex-wrap:nowrap;gap:8px;min-width:0}.plot-levels[data-astro-cid-cg7e3qka] .level-label[data-astro-cid-cg7e3qka]{white-space:nowrap;flex-shrink:0;gap:3px;min-height:32px}.plot-key[data-astro-cid-cg7e3qka]{font-size:13px}.endpoint-key[data-astro-cid-cg7e3qka]{white-space:nowrap;gap:3px}.plot-reference[data-astro-cid-cg7e3qka]{left:60px}.plot-tooltip[data-astro-cid-cg7e3qka]{max-width:calc(100% - 12px)}.plot-area[data-astro-cid-cg7e3qka],.progress-svg[data-astro-cid-cg7e3qka]{height:380px}progress-chart[data-astro-cid-cg7e3qka] .axis-tick{padding-right:8px}}.author-list[data-astro-cid-2nam5wwb]{overflow-wrap:anywhere;line-height:1.6}.author[data-astro-cid-2nam5wwb]{vertical-align:middle;max-width:100%;display:inline-block}.with-handle[data-astro-cid-2nam5wwb]{white-space:nowrap;overflow-wrap:normal}.author[data-astro-cid-2nam5wwb] a[data-astro-cid-2nam5wwb],li[data-astro-cid-2nam5wwb] a[data-astro-cid-2nam5wwb]{text-underline-offset:.18em;align-content:center;min-height:44px;text-decoration:underline;display:inline-block}.x-handle[data-astro-cid-2nam5wwb]{font-size:.9em}details[data-astro-cid-2nam5wwb]{vertical-align:top;max-width:100%;display:inline-block}summary[data-astro-cid-2nam5wwb]{cursor:pointer;min-height:44px;color:var(--link,var(--accent));text-underline-offset:.18em;align-content:center;text-decoration:underline}ul[data-astro-cid-2nam5wwb]{margin:.2rem 0;padding-left:1.2rem}a[data-astro-cid-2nam5wwb]:focus-visible,summary[data-astro-cid-2nam5wwb]:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.results-scroll[data-astro-cid-tv7t4kce]{border:1px solid var(--line);border-radius:.5rem}table[data-astro-cid-tv7t4kce]{border-collapse:collapse;width:100%;font-size:1rem}th[data-astro-cid-tv7t4kce],td[data-astro-cid-tv7t4kce]{text-align:left;border-bottom:1px solid var(--line);vertical-align:top;padding:.85rem .75rem}th[data-astro-cid-tv7t4kce]{color:var(--fg);background:var(--surface);letter-spacing:normal;font-size:1rem;font-weight:600}tr[data-astro-cid-tv7t4kce]:last-child td[data-astro-cid-tv7t4kce]{border-bottom:0}tr[data-astro-cid-tv7t4kce][hidden]{display:none}td[data-astro-cid-tv7t4kce].bound{position:relative}.bound[data-astro-cid-tv7t4kce]>span[data-astro-cid-tv7t4kce]{white-space:nowrap}.bound[data-astro-cid-tv7t4kce] .katex{font-size:22px}.level[data-astro-cid-tv7t4kce]{font-size:.95rem}a[data-astro-cid-tv7t4kce].level{text-underline-offset:.2em;align-content:center;min-height:44px;text-decoration:underline 1.5px;display:inline-block}a[data-astro-cid-tv7t4kce].level:focus-visible{outline-offset:3px;outline:2px solid}.level[data-astro-cid-tv7t4kce][data-evidence=claimed]{color:var(--claimed)}.level[data-astro-cid-tv7t4kce][data-evidence=human-verified]{color:var(--human-verified)}.level[data-astro-cid-tv7t4kce][data-evidence=lean-verified]{color:var(--lean-verified)}summary[data-astro-cid-tv7t4kce]{cursor:pointer;white-space:nowrap}.mobile-meta[data-astro-cid-tv7t4kce]{display:none}.mobile-meta[data-astro-cid-tv7t4kce] p[data-astro-cid-tv7t4kce]{margin:.6rem 0}td[data-astro-cid-tv7t4kce] time{white-space:nowrap}.breakthrough[data-astro-cid-tv7t4kce]{color:var(--accent);font-weight:600}.phone-label[data-astro-cid-tv7t4kce]{display:none}.assumptions[data-astro-cid-tv7t4kce]{margin-left:.4rem;display:inline-block}@media (width<=900px){.breakthrough[data-astro-cid-tv7t4kce]{overflow-wrap:normal;font-weight:500}table[data-astro-cid-tv7t4kce],thead[data-astro-cid-tv7t4kce],tbody[data-astro-cid-tv7t4kce]{display:block}tr[data-astro-cid-tv7t4kce]{border-bottom:1px solid var(--line);grid-template-columns:3rem minmax(0,1fr);display:grid}tr[data-astro-cid-tv7t4kce]:last-child{border-bottom:0}th[data-astro-cid-tv7t4kce],td[data-astro-cid-tv7t4kce]{border:0;min-width:0;padding:.7rem .35rem}th[data-astro-cid-tv7t4kce]{font-size:.9375rem}th[data-astro-cid-tv7t4kce]:first-child,td[data-astro-cid-tv7t4kce].rank{padding-left:.5rem}.supplemental[data-astro-cid-tv7t4kce]{display:none}.level[data-astro-cid-tv7t4kce]{white-space:normal;font-size:.9375rem;line-height:1.35;display:inline-block}.bound[data-astro-cid-tv7t4kce] .katex{font-size:22px}.level-cell[data-astro-cid-tv7t4kce]{grid-column:2;padding-top:0;padding-bottom:0}.level-cell[data-astro-cid-tv7t4kce] .level[data-astro-cid-tv7t4kce]{display:inline-block}.level-cell[data-astro-cid-tv7t4kce] .level[data-astro-cid-tv7t4kce] .level[data-astro-cid-tv7t4kce]{display:inline}thead[data-astro-cid-tv7t4kce] th[data-astro-cid-tv7t4kce]:nth-child(3){display:none}.mobile-meta[data-astro-cid-tv7t4kce]{overflow-wrap:anywhere;grid-column:1/-1;padding:.1rem .7rem .6rem;font-size:.9375rem;line-height:1.5;display:block}.mobile-meta[data-astro-cid-tv7t4kce] a[data-astro-cid-tv7t4kce]{overflow-wrap:anywhere}.desktop-label[data-astro-cid-tv7t4kce]{display:none}.phone-label[data-astro-cid-tv7t4kce]{display:inline}.results-scroll[data-astro-cid-tv7t4kce]{overflow:visible}.bound[data-astro-cid-tv7t4kce]{flex-wrap:wrap;align-content:start;gap:.3rem;display:flex}.assumptions[data-astro-cid-tv7t4kce]{margin:0}}.info-link[data-astro-cid-terdhxvy]{border:1px solid var(--line);border-radius:50%;justify-content:center;align-items:center;width:1.3rem;height:1.3rem;font:italic 1rem Georgia,serif;text-decoration:none;display:inline-flex}evidence-board[data-astro-cid-terdhxvy]{margin:1.5rem 0;display:block}fieldset[data-astro-cid-terdhxvy]{border:0;flex-wrap:wrap;align-items:center;gap:.75rem 1.25rem;margin:0 0 1rem;padding:0;display:flex}label[data-astro-cid-terdhxvy]{cursor:pointer;align-items:center;gap:.4rem;display:flex}input[data-astro-cid-terdhxvy]{width:1rem;height:1rem;accent-color:var(--accent)}.pagination[data-astro-cid-terdhxvy]{flex-wrap:wrap;justify-content:center;align-items:center;gap:1rem;margin-top:1rem;display:flex}button[data-astro-cid-terdhxvy]{font:inherit;border:1px solid var(--line);background:var(--surface);color:var(--fg);cursor:pointer;border-radius:.35rem;padding:.45rem .8rem}button[data-astro-cid-terdhxvy]:disabled{opacity:.45;cursor:default}@media (width<=600px){fieldset[data-astro-cid-terdhxvy]{gap:.2rem .8rem;margin-bottom:.6rem}label[data-astro-cid-terdhxvy]{min-height:36px}.pagination[data-astro-cid-terdhxvy]{grid-template-columns:auto minmax(0,1fr) auto;gap:.4rem;margin-top:.65rem;display:grid}.pagination[data-astro-cid-terdhxvy] span[data-astro-cid-terdhxvy]{text-align:center;font-size:.9375rem;line-height:1.35}.pagination[data-astro-cid-terdhxvy] button[data-astro-cid-terdhxvy]{min-height:44px;padding:.4rem .55rem;font-size:.9375rem}}.screen-reader-heading[data-astro-cid-oxocfh3m]{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.evidence-rules[data-astro-cid-oxocfh3m]{color:var(--fg);margin:1rem 0 1.5rem;padding-left:1.4rem}.evidence-rules[data-astro-cid-oxocfh3m] li[data-astro-cid-oxocfh3m]{margin:.5rem 0}.claimed[data-astro-cid-oxocfh3m]{color:var(--claimed)}.human-verified[data-astro-cid-oxocfh3m]{color:var(--human-verified)}.lean-verified[data-astro-cid-oxocfh3m]{color:var(--lean-verified)}.problem-intro[data-astro-cid-oxocfh3m]{max-width:72rem}.problem-intro[data-astro-cid-oxocfh3m] p[data-astro-cid-oxocfh3m]{margin-bottom:.85rem}.repos[data-astro-cid-oxocfh3m]{margin-top:2rem}.repos[data-astro-cid-oxocfh3m] h2[data-astro-cid-oxocfh3m]{font-size:1.35rem}.repos[data-astro-cid-oxocfh3m] ul[data-astro-cid-oxocfh3m]{margin:.6rem 0;padding-left:1.4rem}.repos[data-astro-cid-oxocfh3m] li[data-astro-cid-oxocfh3m]{margin:.3rem 0}.repos[data-astro-cid-oxocfh3m] a[data-astro-cid-oxocfh3m]{overflow-wrap:anywhere}